2.59/2.90
2.59/2.90 AbsCon 2
2.59/2.98
3.20/3.23 Instance
3.20/3.23 name=instance-4391053-1568380515, framework=COP, bounds=-infty..+infty
3.20/3.23
3.20/3.23 Loading variables...
3.20/3.30 Loading constraints...
8.03/4.84
8.03/4.84 Domains
8.03/4.84 nTypes=1, nValues=927360, sizes=[1932#480]
8.03/4.84 Variables
8.03/4.84 count=480, degrees=[3#30,30#30,31#420]
8.03/4.84 Objectives
8.03/4.84 way=min, type=ObjMaximumLE
8.03/4.84 Constraints
8.03/4.84 count=7006, nSpecific=6526, arities=[1#30,2#6975,30#1]
8.03/4.84 distribution=[CtrExtensionSmart-TableSmart#6525,CtrIntension#480,ObjMaximumLE#1]
8.03/4.84 tables=[2#6525], nTotalTuples=13050
8.03/4.84 nExtStructures=(6525,shared:0), nIntStructures=(153,shared:327)
8.03/4.84 wck=1.973, cpu=3.31, mem=359M305
8.69/5.10 Solver SolverBacktrack being built...
8.69/5.10
8.96/5.15
8.96/5.15 Solver
8.96/5.15 guaranteedGAC=true
8.96/5.15 wck=2.284, cpu=3.614, mem=500M859
82.99/77.99
82.99/77.99 Preprocessing
82.99/77.99 filters=1281, revisions=(1780,useless=55), ccks=1033717393, nACremovedValues=379088, nTotalRemovedValues=379088, inconcistency=false
82.99/77.99 wck=72.836, cpu=76.306, mem=472M864
82.99/77.99
94.54/89.05 num=0, depth=117..118, filters=6125, revisions=(7811,useless=3618), ccks=1176061847, wck=83.897, mem=486M174
94.54/89.05 decisions=138, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
94.54/89.05 nFilterCalls=134506, avgTableProportion=0.41767281756947644, avgTableSize=0.8353456351389529
94.54/89.05
105.92/100.38 num=1, depth=160..160, filters=11765, revisions=(14486,useless=7502), ccks=1327563265, wck=95.224, mem=499M484
105.92/100.38 decisions=320, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
105.92/100.38 nFilterCalls=253390, avgTableProportion=0.3933442519436442, avgTableSize=0.7866885038872884
105.92/100.38
117.23/111.66 num=2, depth=99..99, filters=18262, revisions=(21926,useless=11692), ccks=1479617909, wck=106.509, mem=517M231
117.23/111.66 decisions=443, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
117.23/111.66 nFilterCalls=375751, avgTableProportion=0.3744115118788772, avgTableSize=0.7488230237577544
117.23/111.66
127.74/122.20 num=3, depth=104..104, filters=25985, revisions=(28891,useless=15895), ccks=1622036922, wck=117.043, mem=532M3
127.74/122.20 decisions=573, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
127.74/122.20 nFilterCalls=488893, avgTableProportion=0.365050225714011, avgTableSize=0.730100451428022
127.74/122.20
138.16/132.58 num=4, depth=57..76, filters=30743, revisions=(34790,useless=19833), ccks=1762927090, wck=127.426, mem=545M313
138.16/132.58 decisions=677, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
138.16/132.58 nFilterCalls=578429, avgTableProportion=0.36490131027317096, avgTableSize=0.7298026205463419
138.16/132.58
149.39/143.71 num=5, depth=85..85, filters=36478, revisions=(41327,useless=23652), ccks=1913647185, wck=138.559, mem=558M624
149.39/143.71 decisions=794, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
149.39/143.71 nFilterCalls=689062, avgTableProportion=0.36242747387027585, avgTableSize=0.7248549477405517
149.39/143.71
159.90/154.27 num=6, depth=79..79, filters=50967, revisions=(49942,useless=28343), ccks=2055674141, wck=149.117, mem=576M370
159.90/154.27 decisions=907, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
159.90/154.27 nFilterCalls=830347, avgTableProportion=0.34870180779842647, avgTableSize=0.6974036155968529
159.90/154.27
171.62/165.97 num=7, depth=76..76, filters=62995, revisions=(60081,useless=34241), ccks=2212851145, wck=160.815, mem=589M681
171.62/165.97 decisions=1021, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
171.62/165.97 nFilterCalls=985964, avgTableProportion=0.33952811664523247, avgTableSize=0.6790562332904649
171.62/165.97
179.03/173.33 num=8, depth=9..10, filters=65688, revisions=(63546,useless=36356), ccks=2313063795, wck=168.18, mem=598M554
179.03/173.33 decisions=1074, wrong=134, backtracks=1, failedAssignments=133, nogoods=125
179.03/173.33 nFilterCalls=1041920, avgTableProportion=0.34453125, avgTableSize=0.6890625
179.03/173.33
190.13/184.49 num=9, depth=49..50, filters=74461, revisions=(70801,useless=40423), ccks=2464278578, wck=179.342, mem=611M864
190.13/184.49 decisions=1170, wrong=157, backtracks=1, failedAssignments=156, nogoods=148
190.13/184.49 nFilterCalls=1164466, avgTableProportion=0.34390484565457474, avgTableSize=0.6878096913091495
190.13/184.49
202.24/196.56 num=10, depth=59..59, filters=87428, revisions=(80825,useless=46276), ccks=2628603120, wck=191.405, mem=629M611
202.24/196.56 decisions=1279, wrong=182, backtracks=1, failedAssignments=181, nogoods=173
202.24/196.56 nFilterCalls=1321334, avgTableProportion=0.3350538168245122, avgTableSize=0.6701076336490244
202.24/196.56
213.55/207.80 num=11, depth=63..64, filters=99370, revisions=(91112,useless=52451), ccks=2778075867, wck=202.647, mem=647M358
213.55/207.80 decisions=1399, wrong=210, backtracks=1, failedAssignments=209, nogoods=201
213.55/207.80 nFilterCalls=1485118, avgTableProportion=0.32708209044668507, avgTableSize=0.6541641808933701
213.55/207.80
224.25/218.56 num=12, depth=67..68, filters=109608, revisions=(99660,useless=57626), ccks=2922866390, wck=213.41, mem=665M104
224.25/218.56 decisions=1529, wrong=241, backtracks=1, failedAssignments=240, nogoods=232
224.25/218.56 nFilterCalls=1625180, avgTableProportion=0.32311805461548876, avgTableSize=0.6462361092309775
224.25/218.56
234.46/228.72 num=13, depth=4..19, filters=119018, revisions=(105701,useless=61112), ccks=3059178837, wck=223.57, mem=678M415
234.46/228.72 decisions=1616, wrong=275, backtracks=1, failedAssignments=274, nogoods=266
234.46/228.72 nFilterCalls=1724002, avgTableProportion=0.3266165004448951, avgTableSize=0.6532330008897902
234.46/228.72
244.56/238.82 num=14, depth=32..32, filters=125488, revisions=(111847,useless=64646), ccks=3195253379, wck=233.668, mem=691M725
244.56/238.82 decisions=1722, wrong=312, backtracks=1, failedAssignments=311, nogoods=303
244.56/238.82 nFilterCalls=1825441, avgTableProportion=0.3281040033613795, avgTableSize=0.656208006722759
244.56/238.82
254.01/248.28 num=15, depth=22..22, filters=132032, revisions=(117576,useless=68084), ccks=3323123107, wck=243.127, mem=486M953
254.01/248.28 decisions=1826, wrong=353, backtracks=1, failedAssignments=352, nogoods=344
254.01/248.28 nFilterCalls=1917805, avgTableProportion=0.3302283078832311, avgTableSize=0.6604566157664622
254.01/248.28
263.11/257.37 num=16, depth=21..21, filters=136157, revisions=(122488,useless=70962), ccks=3445484140, wck=252.22, mem=494M365
263.11/257.37 decisions=1937, wrong=398, backtracks=1, failedAssignments=397, nogoods=389
263.11/257.37 nFilterCalls=1998993, avgTableProportion=0.3329929119311573, avgTableSize=0.6659858238623146
263.11/257.37
273.42/267.61 num=17, depth=20..20, filters=146039, revisions=(128019,useless=73859), ccks=3584884024, wck=262.462, mem=512M686
273.42/267.61 decisions=2057, wrong=448, backtracks=1, failedAssignments=447, nogoods=439
273.42/267.61 nFilterCalls=2093869, avgTableProportion=0.3344710199157636, avgTableSize=0.6689420398315272
273.42/267.61
286.83/281.08 num=18, depth=21..24, filters=169748, revisions=(142537,useless=82853), ccks=3765477515, wck=275.932, mem=537M114
286.83/281.08 decisions=2191, wrong=503, backtracks=1, failedAssignments=502, nogoods=494
286.83/281.08 nFilterCalls=2317899, avgTableProportion=0.3269258065170225, avgTableSize=0.653851613034045
286.83/281.08
297.73/292.01 num=19, depth=25..25, filters=175772, revisions=(148376,useless=86375), ccks=3914303069, wck=286.853, mem=549M328
297.73/292.01 decisions=2338, wrong=564, backtracks=1, failedAssignments=563, nogoods=555
297.73/292.01 nFilterCalls=2411941, avgTableProportion=0.3282899540245802, avgTableSize=0.6565799080491604
297.73/292.01
309.63/303.83 num=20, depth=23..23, filters=183388, revisions=(154813,useless=89596), ccks=4074698816, wck=298.673, mem=567M649
309.63/303.83 decisions=2495, wrong=631, backtracks=1, failedAssignments=630, nogoods=622
309.63/303.83 nFilterCalls=2523407, avgTableProportion=0.3294627065709178, avgTableSize=0.6589254131418356
309.63/303.83
320.13/314.33 num=21, depth=22..22, filters=190959, revisions=(161528,useless=93452), ccks=4217350745, wck=309.178, mem=585M970
320.13/314.33 decisions=2665, wrong=705, backtracks=1, failedAssignments=704, nogoods=696
320.13/314.33 nFilterCalls=2626477, avgTableProportion=0.32991798519461624, avgTableSize=0.6598359703892325
320.13/314.33
330.55/324.70 num=22, depth=6..21, filters=201064, revisions=(167887,useless=96947), ccks=4357680822, wck=319.551, mem=598M184
330.55/324.70 decisions=2848, wrong=786, backtracks=1, failedAssignments=785, nogoods=777
330.55/324.70 nFilterCalls=2731006, avgTableProportion=0.33132021679923074, avgTableSize=0.6626404335984615
330.55/324.70
341.65/335.84 num=23, depth=24..25, filters=207700, revisions=(175405,useless=101339), ccks=4509834640, wck=330.686, mem=616M505
341.65/335.84 decisions=3052, wrong=876, backtracks=2, failedAssignments=874, nogoods=817
341.65/335.84 nFilterCalls=2841377, avgTableProportion=0.3311602085890046, avgTableSize=0.6623204171780092
341.65/335.84
353.96/348.19 num=24, depth=21..23, filters=232341, revisions=(189673,useless=109860), ccks=4675246788, wck=343.042, mem=634M826
353.96/348.19 decisions=3272, wrong=975, backtracks=3, failedAssignments=972, nogoods=848
353.96/348.19 nFilterCalls=3060767, avgTableProportion=0.3250820790997812, avgTableSize=0.6501641581995624
353.96/348.19
365.35/359.53 num=25, depth=28..29, filters=248331, revisions=(200066,useless=115697), ccks=4827526501, wck=354.382, mem=653M147
365.35/359.53 decisions=3518, wrong=1084, backtracks=4, failedAssignments=1080, nogoods=902
365.35/359.53 nFilterCalls=3220305, avgTableProportion=0.32136769653806085, avgTableSize=0.6427353930761217
365.35/359.53
376.06/370.21 num=26, depth=21..25, filters=259584, revisions=(207832,useless=120303), ccks=4971377820, wck=365.061, mem=665M361
376.06/370.21 decisions=3782, wrong=1204, backtracks=5, failedAssignments=1199, nogoods=1018
376.06/370.21 nFilterCalls=3344655, avgTableProportion=0.32145781851939886, avgTableSize=0.6429156370387977
376.06/370.21
387.07/381.23 num=27, depth=25..26, filters=272960, revisions=(215921,useless=125292), ccks=5119824035, wck=376.074, mem=683M682
387.07/381.23 decisions=4070, wrong=1335, backtracks=5, failedAssignments=1330, nogoods=1149
387.07/381.23 nFilterCalls=3471343, avgTableProportion=0.32186879832963783, avgTableSize=0.6437375966592757
387.07/381.23
401.17/395.38 num=28, depth=23..30, filters=313656, revisions=(236426,useless=136566), ccks=5307684704, wck=390.229, mem=708M110
401.17/395.38 decisions=4402, wrong=1486, backtracks=12, failedAssignments=1474, nogoods=1244
401.17/395.38 nFilterCalls=3793092, avgTableProportion=0.31162373599163956, avgTableSize=0.6232474719832791
401.17/395.38
414.99/409.12 num=29, depth=23..35, filters=346583, revisions=(255851,useless=150247), ccks=5484193222, wck=403.966, mem=732M538
414.99/409.12 decisions=4759, wrong=1647, backtracks=15, failedAssignments=1632, nogoods=1382
414.99/409.12 nFilterCalls=4058502, avgTableProportion=0.3095390860962986, avgTableSize=0.6190781721925972
414.99/409.12
426.39/420.54 num=30, depth=11..29, filters=360328, revisions=(266202,useless=156337), ccks=5636964574, wck=415.389, mem=756M967
426.39/420.54 decisions=5138, wrong=1822, backtracks=16, failedAssignments=1806, nogoods=1554
426.39/420.54 nFilterCalls=4211379, avgTableProportion=0.3080882770227994, avgTableSize=0.6161765540455988
426.39/420.54
439.19/433.31 num=31, depth=21..23, filters=399002, revisions=(283099,useless=165596), ccks=5807135949, wck=428.16, mem=777M438
439.19/433.31 decisions=5543, wrong=2013, backtracks=16, failedAssignments=1997, nogoods=1745
439.19/433.31 nFilterCalls=4456132, avgTableProportion=0.3046095806856709, avgTableSize=0.6092191613713418
439.19/433.31
451.13/445.25 num=32, depth=22..25, filters=429386, revisions=(297654,useless=173506), ccks=5965815119, wck=440.1, mem=493M391
451.13/445.25 decisions=5990, wrong=2224, backtracks=16, failedAssignments=2208, nogoods=1956
451.13/445.25 nFilterCalls=4680328, avgTableProportion=0.30104129454175005, avgTableSize=0.6020825890835001
451.13/445.25
463.24/457.36 num=33, depth=24..33, filters=448267, revisions=(311098,useless=181308), ccks=6128006156, wck=452.204, mem=511M757
463.24/457.36 decisions=6489, wrong=2458, backtracks=18, failedAssignments=2440, nogoods=2046
463.24/457.36 nFilterCalls=4888986, avgTableProportion=0.2980519886945882, avgTableSize=0.5961039773891764
463.24/457.36
484.25/478.33 num=34, depth=21..25, filters=561956, revisions=(360765,useless=209085), ccks=6394154162, wck=473.176, mem=566M856
484.25/478.33 decisions=7024, wrong=2714, backtracks=20, failedAssignments=2695, nogoods=2168
484.25/478.33 nFilterCalls=5652409, avgTableProportion=0.28164088975160856, avgTableSize=0.5632817795032171
484.25/478.33
495.96/490.09 num=35, depth=12..21, filters=582458, revisions=(370395,useless=214505), ccks=6551717031, wck=484.94, mem=591M344
495.96/490.09 decisions=7607, wrong=2995, backtracks=20, failedAssignments=2976, nogoods=2449
495.96/490.09 nFilterCalls=5805084, avgTableProportion=0.282200395377569, avgTableSize=0.564400790755138
495.96/490.09
508.36/502.41 num=36, depth=19..23, filters=621640, revisions=(387137,useless=224815), ccks=6709571395, wck=497.259, mem=621M954
508.36/502.41 decisions=8250, wrong=3305, backtracks=21, failedAssignments=3285, nogoods=2648
508.36/502.41 nFilterCalls=6074336, avgTableProportion=0.28229505249627285, avgTableSize=0.5645901049925457
508.36/502.41
525.99/520.07 num=37, depth=6..23, filters=694386, revisions=(406855,useless=232733), ccks=6944553832, wck=514.92, mem=664M808
525.99/520.07 decisions=8953, wrong=3645, backtracks=21, failedAssignments=3625, nogoods=2988
525.99/520.07 nFilterCalls=6426546, avgTableProportion=0.2809731697244523, avgTableSize=0.5619463394489046
525.99/520.07
574.26/568.24 num=38, depth=21..24, filters=844461, revisions=(489769,useless=278687), ccks=7584644659, wck=563.083, mem=476M814
574.26/568.24 decisions=9728, wrong=4021, backtracks=23, failedAssignments=3999, nogoods=3350
574.26/568.24 nFilterCalls=7759509, avgTableProportion=0.2667283458270362, avgTableSize=0.5334566916540724
574.26/568.24
595.87/589.82 num=39, depth=19..24, filters=981319, revisions=(527883,useless=296710), ccks=7866384878, wck=584.671, mem=545M876
595.87/589.82 decisions=10579, wrong=4436, backtracks=27, failedAssignments=4410, nogoods=3631
595.87/589.82 nFilterCalls=8368468, avgTableProportion=0.26430393233265637, avgTableSize=0.5286078646653127
595.87/589.82
661.30/655.24 num=40, depth=20..22, filters=1087887, revisions=(592547,useless=334558), ccks=8765793070, wck=650.086, mem=668M654
661.30/655.24 decisions=11506, wrong=4889, backtracks=28, failedAssignments=4862, nogoods=4083
661.30/655.24 nFilterCalls=9426056, avgTableProportion=0.2618967572439629, avgTableSize=0.5237935144879258
661.30/655.24
686.89/680.78 num=41, depth=6..32, filters=1183167, revisions=(666097,useless=382571), ccks=9097678406, wck=675.63, mem=745M390
686.89/680.78 decisions=12607, wrong=5424, backtracks=66, failedAssignments=5359, nogoods=4279
686.89/680.78 nFilterCalls=10429437, avgTableProportion=0.2504863397707853, avgTableSize=0.5009726795415707
686.89/680.78
702.71/696.55 num=42, depth=27..29, filters=1265681, revisions=(699918,useless=399721), ccks=9302284806, wck=691.397, mem=776M85
702.71/696.55 decisions=13743, wrong=5978, backtracks=74, failedAssignments=5906, nogoods=4376
702.71/696.55 nFilterCalls=10976490, avgTableProportion=0.2466096630161372, avgTableSize=0.4932193260322744
702.71/696.55
720.95/714.75 num=43, depth=25..29, filters=1365844, revisions=(742927,useless=424547), ccks=9533626569, wck=709.597, mem=837M473
720.95/714.75 decisions=14987, wrong=6586, backtracks=80, failedAssignments=6508, nogoods=4627
720.95/714.75 nFilterCalls=11650603, avgTableProportion=0.24315891632390185, avgTableSize=0.4863178326478037
720.95/714.75
735.19/728.96 num=44, depth=28..31, filters=1423628, revisions=(767008,useless=437479), ccks=9717317386, wck=723.811, mem=492M469
735.19/728.96 decisions=16348, wrong=7252, backtracks=84, failedAssignments=7170, nogoods=4906
735.19/728.96 nFilterCalls=12046773, avgTableProportion=0.24270188373268095, avgTableSize=0.4854037674653619
735.19/728.96
751.91/745.62 num=45, depth=23..35, filters=1520703, revisions=(811141,useless=462169), ccks=9928157342, wck=740.472, mem=546M292
751.91/745.62 decisions=17856, wrong=7990, backtracks=94, failedAssignments=7898, nogoods=5103
751.91/745.62 nFilterCalls=12759796, avgTableProportion=0.23789259640201144, avgTableSize=0.47578519280402287
751.91/745.62
765.71/759.45 num=46, depth=28..35, filters=1563932, revisions=(848890,useless=486431), ccks=10101168522, wck=754.293, mem=592M426
765.71/759.45 decisions=19512, wrong=8804, backtracks=108, failedAssignments=8699, nogoods=5250
765.71/759.45 nFilterCalls=13291807, avgTableProportion=0.23636252015997525, avgTableSize=0.4727250403199505
765.71/759.45
787.43/781.17 num=47, depth=27..36, filters=1622827, revisions=(885413,useless=509360), ccks=10387394685, wck=776.017, mem=638M560
787.43/781.17 decisions=21344, wrong=9703, backtracks=126, failedAssignments=9580, nogoods=5523
787.43/781.17 nFilterCalls=13849162, avgTableProportion=0.23491659639767373, avgTableSize=0.46983319279534747
787.43/781.17
808.54/802.24 num=48, depth=23..27, filters=1691071, revisions=(929756,useless=536468), ccks=10653828702, wck=797.09, mem=692M383
808.54/802.24 decisions=23365, wrong=10701, backtracks=154, failedAssignments=10550, nogoods=5586
808.54/802.24 nFilterCalls=14509623, avgTableProportion=0.23461222941492002, avgTableSize=0.46922445882984004
808.54/802.24
838.65/832.32 num=49, depth=22..30, filters=1886899, revisions=(1010509,useless=583627), ccks=11022092338, wck=827.169, mem=784M650
838.65/832.32 decisions=25583, wrong=11798, backtracks=186, failedAssignments=11617, nogoods=5875
838.65/832.32 nFilterCalls=15778791, avgTableProportion=0.23194638296432218, avgTableSize=0.46389276592864437
838.65/832.32
867.30/860.96 num=50, depth=21..40, filters=2052637, revisions=(1111735,useless=654396), ccks=11346168699, wck=855.808, mem=486M527
867.30/860.96 decisions=28005, wrong=12991, backtracks=207, failedAssignments=12790, nogoods=6053
867.30/860.96 nFilterCalls=17235166, avgTableProportion=0.22934716729737328, avgTableSize=0.45869433459474657
867.30/860.96
881.20/874.83 num=51, depth=31..35, filters=2088982, revisions=(1137611,useless=670136), ccks=11523143513, wck=869.68, mem=528M683
881.20/874.83 decisions=30654, wrong=14299, backtracks=224, failedAssignments=14081, nogoods=6242
881.20/874.83 nFilterCalls=17580243, avgTableProportion=0.2288763300939583, avgTableSize=0.4577526601879166
881.20/874.83
896.11/889.76 num=52, depth=33..39, filters=2142596, revisions=(1178631,useless=696233), ccks=11707847435, wck=884.604, mem=587M701
896.11/889.76 decisions=33563, wrong=15735, backtracks=240, failedAssignments=15501, nogoods=6560
896.11/889.76 nFilterCalls=18158551, avgTableProportion=0.22690532961578266, avgTableSize=0.4538106592315653
896.11/889.76
961.24/954.89 num=53, depth=17..28, filters=2735868, revisions=(1391413,useless=810525), ccks=12516586539, wck=949.733, mem=799M642
961.24/954.89 decisions=36781, wrong=17332, backtracks=276, failedAssignments=17063, nogoods=6687
961.24/954.89 nFilterCalls=21540014, avgTableProportion=0.21643764948342187, avgTableSize=0.43287529896684374
961.24/954.89
1017.89/1011.47 num=54, depth=9..34, filters=3332253, revisions=(1611166,useless=926815), ccks=13202617796, wck=1006.314, mem=604M752
1017.89/1011.47 decisions=40308, wrong=19080, backtracks=307, failedAssignments=18781, nogoods=7441
1017.89/1011.47 nFilterCalls=24898738, avgTableProportion=0.20872278747621667, avgTableSize=0.41744557495243334
1017.89/1011.47
1056.41/1049.90 num=55, depth=26..36, filters=3799879, revisions=(1775732,useless=1017896), ccks=13656509396, wck=1044.751, mem=781M786
1056.41/1049.90 decisions=44171, wrong=20998, backtracks=335, failedAssignments=20671, nogoods=7530
1056.41/1049.90 nFilterCalls=27340146, avgTableProportion=0.20448553932374758, avgTableSize=0.40897107864749516
1056.41/1049.90
1075.71/1069.22 num=56, depth=33..37, filters=3897516, revisions=(1850012,useless=1068840), ccks=13893522069, wck=1064.069, mem=857M658
1075.71/1069.22 decisions=48513, wrong=23152, backtracks=410, failedAssignments=22750, nogoods=7671
1075.71/1069.22 nFilterCalls=28384841, avgTableProportion=0.2017658474817597, avgTableSize=0.4035316949635194
1075.71/1069.22
1100.25/1093.76 num=57, depth=13..31, filters=3996841, revisions=(1911657,useless=1108276), ccks=14191328029, wck=1088.608, mem=514M682
1100.25/1093.76 decisions=53174, wrong=25467, backtracks=438, failedAssignments=25037, nogoods=7963
1100.25/1093.76 nFilterCalls=29379029, avgTableProportion=0.2028453356984671, avgTableSize=0.4056906713969342
1100.25/1093.76
1137.87/1131.38 num=58, depth=24..28, filters=4355286, revisions=(2129837,useless=1255645), ccks=14581092792, wck=1126.231, mem=702M205
1137.87/1131.38 decisions=58359, wrong=28047, backtracks=503, failedAssignments=27553, nogoods=8107
1137.87/1131.38 nFilterCalls=32478571, avgTableProportion=0.19784742068855185, avgTableSize=0.3956948413771037
1137.87/1131.38
1189.19/1182.67 num=59, depth=21..26, filters=4714194, revisions=(2290151,useless=1343914), ccks=15203133225, wck=1177.522, mem=898M657
1189.19/1182.67 decisions=64053, wrong=30882, backtracks=572, failedAssignments=30321, nogoods=8513
1189.19/1182.67 nFilterCalls=35182903, avgTableProportion=0.19648512233342427, avgTableSize=0.39297024466684854
1189.19/1182.67
1219.34/1212.71 num=60, depth=29..31, filters=4835769, revisions=(2371489,useless=1394146), ccks=15566254476, wck=1207.555, mem=565M402
1219.34/1212.71 decisions=70425, wrong=34053, backtracks=699, failedAssignments=33365, nogoods=8713
1219.34/1212.71 nFilterCalls=36361576, avgTableProportion=0.1968701246612633, avgTableSize=0.3937402493225266
1219.34/1212.71
1250.05/1243.41 num=61, depth=14..30, filters=5028566, revisions=(2483500,useless=1463912), ccks=15920184682, wck=1238.252, mem=686M530
1250.05/1243.41 decisions=77430, wrong=37542, backtracks=840, failedAssignments=36714, nogoods=9160
1250.05/1243.41 nFilterCalls=38163379, avgTableProportion=0.19618979493403874, avgTableSize=0.39237958986807747
1250.05/1243.41
1287.96/1281.38 num=62, depth=26..35, filters=5539801, revisions=(2674570,useless=1568368), ccks=16359874531, wck=1276.229, mem=868M221
1287.96/1281.38 decisions=84935, wrong=41281, backtracks=895, failedAssignments=40398, nogoods=9402
1287.96/1281.38 nFilterCalls=41033073, avgTableProportion=0.19311902376894852, avgTableSize=0.38623804753789703
1287.96/1281.38
1399.22/1392.55 num=63, depth=28..33, filters=6102609, revisions=(2922180,useless=1714297), ccks=17808515414, wck=1387.395, mem=814M88
1399.22/1392.55 decisions=93331, wrong=45464, backtracks=1026, failedAssignments=44450, nogoods=9426
1399.22/1392.55 nFilterCalls=44691502, avgTableProportion=0.19264049348800136, avgTableSize=0.3852809869760027
1399.22/1392.55
1464.58/1457.86 num=64, depth=25..31, filters=6553080, revisions=(3263603,useless=1964627), ccks=18479742936, wck=1452.71, mem=722M200
1464.58/1457.86 decisions=102536, wrong=50053, backtracks=1160, failedAssignments=48907, nogoods=9597
1464.58/1457.86 nFilterCalls=49326427, avgTableProportion=0.1924748573416842, avgTableSize=0.3849497146833684
1464.58/1457.86
1696.92/1690.04 num=65, depth=26..35, filters=7361369, revisions=(3742788,useless=2255833), ccks=21542210738, wck=1684.883, mem=577M277
1696.92/1690.04 decisions=112745, wrong=55144, backtracks=1349, failedAssignments=53810, nogoods=9739
1696.92/1690.04 nFilterCalls=56293225, avgTableProportion=0.1922173138952334, avgTableSize=0.3844346277904668
1696.92/1690.04
1800.12/1793.13 num=66, depth=20..31, filters=8143316, revisions=(4105749,useless=2476151), ccks=22749581597, wck=1787.975, mem=566M685
1800.12/1793.13 decisions=123771, wrong=60646, backtracks=1461, failedAssignments=59204, nogoods=10082
1800.12/1793.13 nFilterCalls=61602886, avgTableProportion=0.19261819162173668, avgTableSize=0.38523638324347337
1800.12/1793.13
2138.15/2130.95 num=67, depth=6..44, filters=10701513, revisions=(5315232,useless=3204319), ccks=26957134279, wck=2125.793, mem=497M387
2138.15/2130.95 decisions=137190, wrong=67339, backtracks=2228, failedAssignments=65137, nogoods=10632
2138.15/2130.95 nFilterCalls=80282281, avgTableProportion=0.18183346708846004, avgTableSize=0.3636669341769201
2138.15/2130.95
2236.48/2229.28 num=68, depth=11..33, filters=11092744, revisions=(5459544,useless=3278640), ccks=28249299681, wck=2224.128, mem=529M647
2236.48/2229.28 decisions=150333, wrong=73897, backtracks=2261, failedAssignments=71663, nogoods=11419
2236.48/2229.28 nFilterCalls=82657843, avgTableProportion=0.18320196185133938, avgTableSize=0.36640392370267877
2236.48/2229.28
2288.11/2280.85 num=69, depth=18..22, filters=11443347, revisions=(5727091,useless=3457974), ccks=28789071250, wck=2275.698, mem=779M873
2288.11/2280.85 decisions=165060, wrong=81251, backtracks=2437, failedAssignments=78842, nogoods=11690
2288.11/2280.85 nFilterCalls=86331444, avgTableProportion=0.18442190657670454, avgTableSize=0.3688438131534091
2288.11/2280.85
2510.02/2502.63 num=70, depth=14..28, filters=13066931, revisions=(6458461,useless=3881840), ccks=31544609780, wck=2497.478, mem=555M446
2510.02/2502.63 decisions=181534, wrong=89479, backtracks=2791, failedAssignments=86739, nogoods=12057
2510.02/2502.63 nFilterCalls=97394644, avgTableProportion=0.18222540553667407, avgTableSize=0.36445081107334815
2510.02/2502.63
2520.01/2512.60
2520.01/2512.60 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8451 MiB free)
memory of node 1: 16384 MiB (15706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391053-1568380515/watcher-4391053-1568380515 -o /tmp/evaluation-result-4391053-1568380515/solver-4391053-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17710 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391053-1568380515.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17737, runsolver pid=17730
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 0.00 0.01 0.05 1/201 17742
/proc/meminfo: memFree=24735136/32770624 swapFree=67019984/67108860
[pid=17737] ppid=17730 vsize=103032 memory=4832 CPUtime=0 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 1492 0 0 0 0 0 0 0 20 0 2 0 414324118 105504768 1208 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 25758 1208 891 1 0 16800 0
[pid=17737/tid=17742] ppid=17730 vsize=103032 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) D 17730 17737 17678 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 2 0 414324127 105504768 1208 33554432000 4194304 4196468 140735359800896 140290731948056 140290720392565 0 0 4096 0 18446744072101748260 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 103032 KiB
Current children cumulated memory: 4832 KiB
[startup+0.209885 s]*
/proc/loadavg: 0.00 0.01 0.05 4/211 17753
/proc/meminfo: memFree=24715512/32770624 swapFree=67019984/67108860
[pid=17737] ppid=17730 vsize=10260324 memory=19664 CPUtime=0.02 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 3765 0 0 0 1 1 0 0 20 0 9 0 414324118 10506571776 4916 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2565081 4916 2107 1 0 2527622 0
[pid=17737/tid=17742] ppid=17730 vsize=10260324 memory=7022364594140610616 CPUtime=0.01 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) S 17730 17737 17678 0 -1 1077944384 2411 0 0 0 1 0 0 0 20 0 9 0 414324127 10506571776 4916 33554432000 4194304 4196468 140735359800896 140290731949936 140290720411133 0 4 0 16784584 18446744071581020693 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10260324 memory=345 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4916 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10260324 memory=288370681117857408 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4916 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 4916 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324138 10506571776 4916 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10260324 memory=140304966145664 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 4916 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 4916 33554432000 4194304 4196468 140735359800896 140289979786400 140290727724757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414324140 10506571776 4916 33554432000 4194304 4196468 140735359800896 140289978733360 140290727724757 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 19664 KiB
[startup+0.309959 s]*
/proc/loadavg: 0.00 0.01 0.05 1/215 17757
/proc/meminfo: memFree=24714424/32770624 swapFree=67019984/67108860
[pid=17737] ppid=17730 vsize=10260324 memory=20380 CPUtime=0.04 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 3985 0 0 0 3 1 0 0 20 0 9 0 414324118 10506571776 5095 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2565081 5095 2187 1 0 2527622 0
[pid=17737/tid=17742] ppid=17730 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) D 17730 17737 17678 0 -1 1077944384 2631 0 0 0 3 0 0 0 20 0 9 0 414324127 10506571776 5095 33554432000 4194304 4196468 140735359800896 140290731949592 140290720392565 0 4 0 16800971 18446744072101748260 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10260324 memory=345 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5095 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10260324 memory=301934463524995712 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5095 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10260324 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324137 10506571776 5095 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10260324 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324138 10506571776 5095 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10260324 memory=8313631802812937721 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 5095 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414324139 10506571776 5095 33554432000 4194304 4196468 140735359800896 140289979786400 140290727724757 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414324140 10506571776 5095 33554432000 4194304 4196468 140735359800896 140289978733296 140290727724757 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20380 KiB
[startup+0.700764 s]
/proc/loadavg: 0.00 0.01 0.05 4/226 17768
/proc/meminfo: memFree=24710900/32770624 swapFree=67019984/67108860
[pid=17737] ppid=17730 vsize=10659884 memory=35696 CPUtime=0.33 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 6525 0 0 0 31 2 0 0 20 0 15 0 414324118 10915721216 8924 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2664971 8924 2988 1 0 2627468 0
[pid=17737/tid=17742] ppid=17730 vsize=10659884 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) R 17730 17737 17678 0 -1 4202560 3478 0 0 0 19 1 0 0 20 0 15 0 414324127 10915721216 8924 33554432000 4194304 4196468 140735359800896 140290731940912 140290727736477 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10659884 memory=152505698781873 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8924 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8924 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10915721216 8924 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324138 10915721216 8924 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324139 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10659884 memory=2876 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414324139 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289979786400 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10659884 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414324140 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289978733296 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10659884 memory=880 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324160 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10659884 memory=1760 CPUtime=0.03 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 15 0 414324160 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10659884 memory=111632 CPUtime=0.02 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 414324160 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10659884 memory=804 CPUtime=0.05 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) S 17730 17737 17678 0 -1 1077944384 625 0 0 0 5 0 0 0 20 0 15 0 414324160 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289974524400 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17762] ppid=17730 vsize=10659884 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17762/stat : 17762 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324160 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289973472096 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17768] ppid=17730 vsize=10659884 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17768/stat : 17768 (java) S 17730 17737 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414324168 10915721216 8924 33554432000 4194304 4196468 140735359800896 140289972419120 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35696 KiB
[startup+1.50811 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 17769
/proc/meminfo: memFree=24658312/32770624 swapFree=67019984/67108860
[pid=17737] ppid=17730 vsize=10663980 memory=68516 CPUtime=1.43 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 13299 0 0 0 138 5 0 0 20 0 15 0 414324118 10919915520 17129 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2665995 17129 3060 1 0 2628492 0
[pid=17737/tid=17742] ppid=17730 vsize=10663980 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) R 17730 17737 17678 0 -1 4202560 9035 0 0 0 95 4 0 0 20 0 15 0 414324127 10919915520 17129 33554432000 4194304 4196468 140735359800896 140290731940432 140290713918470 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10663980 memory=140304837771152 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17129 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17129 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324137 10919915520 17129 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324138 10919915520 17129 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414324139 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10663980 memory=280609675410544 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414324139 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289979786400 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414324140 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289978733296 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10663980 memory=-7595718147998063045 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324160 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10663980 memory=-7027408097459412384 CPUtime=0.12 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 15 0 414324160 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10663980 memory=-7457052372387209120 CPUtime=0.12 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 414324160 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10663980 memory=4132774494331964790 CPUtime=0.18 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) S 17730 17737 17678 0 -1 1077944384 1154 0 0 0 18 0 0 0 20 0 15 0 414324160 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289974524400 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17762] ppid=17730 vsize=10663980 memory=7100839870106213769 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17762/stat : 17762 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414324160 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289973472096 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17768] ppid=17730 vsize=10663980 memory=7667210601498438229 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17768/stat : 17768 (java) S 17730 17737 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414324168 10919915520 17129 33554432000 4194304 4196468 140735359800896 140289972419120 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 68516 KiB
[startup+3.11626 s]
/proc/loadavg: 0.16 0.05 0.06 9/229 17771
/proc/meminfo: memFree=24520784/32770624 swapFree=67019984/67108860
[pid=17737] ppid=17730 vsize=10744136 memory=143560 CPUtime=2.98 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 20628 0 6 0 289 9 0 0 20 0 16 0 414324118 11001995264 35890 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2686034 35890 3300 1 0 2646705 0
[pid=17737/tid=17742] ppid=17730 vsize=10744136 memory=6944656592387989600 CPUtime=1.85 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) S 17730 17737 17678 0 -1 1077944384 13062 0 6 0 180 5 0 0 20 0 16 0 414324127 11001995264 35890 33554432000 4194304 4196468 140735359800896 140290731957424 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 16 0 414324137 11001995264 35890 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10744136 memory=216453466852017 CPUtime=0.01 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 414324137 11001995264 35890 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 414324137 11001995264 35890 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414324138 11001995264 35890 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 16 0 414324139 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10744136 memory=7 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414324139 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289979786464 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414324140 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289978733312 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10744136 memory=280609675162888 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10744136 memory=527 CPUtime=0.29 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 1422 0 0 0 29 0 0 0 20 0 16 0 414324160 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10744136 memory=2037 CPUtime=0.32 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 1732 0 0 0 32 0 0 0 20 0 16 0 414324160 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10744136 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) R 17730 17737 17678 0 -1 4202560 1484 0 0 0 30 0 0 0 20 0 16 0 414324160 11001995264 35890 33554432000 4194304 4196468 140735359800896 140289974524528 140290727735898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
################
# More data... #
################
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 13397 0 0 0 49 14 0 0 20 0 16 0 414324138 11006283776 262004 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10748324 memory=1065972 CPUtime=0.09 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 8711 0 0 0 7 2 0 0 20 0 16 0 414324139 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10748324 memory=13240 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289979786464 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10748324 memory=1065972 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289978733312 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10748324 memory=1065972 CPUtime=2.58 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 17618 0 0 0 255 3 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10748324 memory=1065972 CPUtime=2.36 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 16244 0 0 0 234 2 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0.89 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) S 17730 17737 17678 0 -1 1077944384 15873 0 0 0 87 2 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289974524400 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17762] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17762/stat : 17762 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289973472096 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17768] ppid=17730 vsize=10748324 memory=1065972 CPUtime=0.8 cores=1,3,5,7
/proc/17737/task/17768/stat : 17768 (java) S 17730 17737 17678 0 -1 1077944384 1738 0 0 0 38 42 0 0 20 0 16 0 414324168 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289972419120 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17771] ppid=17730 vsize=10748324 memory=1612 CPUtime=2378.39 cores=1,3,5,7
/proc/17737/task/17771/stat : 17771 (java) R 17730 17737 17678 0 -1 4202560 57181 0 0 0 237828 11 0 0 20 0 16 0 414324408 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289955351920 140290366914344 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 2389.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1048016 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 1.87 4/229 17996
/proc/meminfo: memFree=19883644/32770624 swapFree=67020048/67108860
[pid=17737] ppid=17730 vsize=10748324 memory=1048016 CPUtime=2449.68 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 162916 0 6 0 244839 129 0 0 20 0 16 0 414324118 11006283776 262004 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2687081 262004 3378 1 0 2647217 0
[pid=17737/tid=17742] ppid=17730 vsize=10748324 memory=1048016 CPUtime=1.85 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) S 17730 17737 17678 0 -1 1077944384 13062 0 6 0 180 5 0 0 20 0 16 0 414324127 11006283776 262004 33554432000 4194304 4196468 140735359800896 140290731957424 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10748324 memory=241048 CPUtime=0.67 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 10807 0 0 0 50 17 0 0 20 0 16 0 414324137 11006283776 262004 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10748324 memory=56 CPUtime=0.64 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2407 0 0 0 49 15 0 0 20 0 16 0 414324137 11006283776 262004 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0.65 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 3316 0 0 0 50 15 0 0 20 0 16 0 414324137 11006283776 262004 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0.63 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 13397 0 0 0 49 14 0 0 20 0 16 0 414324138 11006283776 262004 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0.09 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 8719 0 0 0 7 2 0 0 20 0 16 0 414324139 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289979786464 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289978733312 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10748324 memory=1048016 CPUtime=2.58 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 17629 0 0 0 255 3 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10748324 memory=1048016 CPUtime=2.36 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 16246 0 0 0 234 2 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0.89 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) S 17730 17737 17678 0 -1 1077944384 15882 0 0 0 87 2 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289974524400 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17762] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17762/stat : 17762 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289973472096 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17768] ppid=17730 vsize=10748324 memory=4120 CPUtime=0.82 cores=1,3,5,7
/proc/17737/task/17768/stat : 17768 (java) S 17730 17737 17678 0 -1 1077944384 1775 0 0 0 39 43 0 0 20 0 16 0 414324168 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289972419120 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17771] ppid=17730 vsize=10748324 memory=1048016 CPUtime=2438.38 cores=1,3,5,7
/proc/17737/task/17771/stat : 17771 (java) R 17730 17737 17678 0 -1 4202560 58278 0 0 0 243827 11 0 0 20 0 16 0 414324408 11006283776 262004 33554432000 4194304 4196468 140735359800896 140289955351808 140290366914473 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 2449.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1048016 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 2.00 1.87 4/229 18002
/proc/meminfo: memFree=19889860/32770624 swapFree=67020048/67108860
[pid=17737] ppid=17730 vsize=10748324 memory=1040812 CPUtime=2509.72 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 165497 0 6 0 250841 131 0 0 20 0 16 0 414324118 11006283776 260203 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2687081 260203 3378 1 0 2647217 0
[pid=17737/tid=17742] ppid=17730 vsize=10748324 memory=1040812 CPUtime=1.85 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) S 17730 17737 17678 0 -1 1077944384 13062 0 6 0 180 5 0 0 20 0 16 0 414324127 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290731957424 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0.67 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 10887 0 0 0 50 17 0 0 20 0 16 0 414324137 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10748324 memory=1048016 CPUtime=0.64 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2670 0 0 0 49 15 0 0 20 0 16 0 414324137 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0.65 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 3336 0 0 0 50 15 0 0 20 0 16 0 414324137 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0.64 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 14419 0 0 0 50 14 0 0 20 0 16 0 414324138 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10748324 memory=2593 CPUtime=0.09 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 8971 0 0 0 7 2 0 0 20 0 16 0 414324139 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289979786464 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289978733312 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10748324 memory=140304837828545 CPUtime=2.58 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 17629 0 0 0 255 3 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10748324 memory=4120 CPUtime=2.36 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 16246 0 0 0 234 2 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10748324 memory=21440 CPUtime=0.89 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) S 17730 17737 17678 0 -1 1077944384 15882 0 0 0 87 2 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289974524400 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17762] ppid=17730 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17762/stat : 17762 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289973472096 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17768] ppid=17730 vsize=10748324 memory=-7088785026379990432 CPUtime=0.85 cores=1,3,5,7
/proc/17737/task/17768/stat : 17768 (java) S 17730 17737 17678 0 -1 1077944384 1782 0 0 0 40 45 0 0 20 0 16 0 414324168 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289972419120 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17771] ppid=17730 vsize=10748324 memory=1040812 CPUtime=2498.37 cores=1,3,5,7
/proc/17737/task/17771/stat : 17771 (java) R 17730 17737 17678 0 -1 4202560 59215 0 0 0 249826 11 0 0 20 0 16 0 414324408 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289955351808 140290367375455 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 2509.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1040812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.6 s]
/proc/loadavg: 1.95 2.00 1.87 3/229 18081
/proc/meminfo: memFree=23402092/32770624 swapFree=67020048/67108860
[pid=17737] ppid=17730 vsize=10748324 memory=1040812 CPUtime=2520.01 cores=1,3,5,7
/proc/17737/stat : 17737 (java) S 17730 17737 17678 0 -1 1077944320 165830 0 6 0 251869 132 0 0 20 0 16 0 414324118 11006283776 260203 33554432000 4194304 4196468 140735359800896 140735359783440 140290727714551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
/proc/17737/statm: 2687081 260203 3378 1 0 2647217 0
[pid=17737/tid=17742] ppid=17730 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/17737/task/17742/stat : 17742 (java) S 17730 17737 17678 0 -1 1077944384 13062 0 6 0 180 5 0 0 20 0 16 0 414324127 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290731957424 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17748] ppid=17730 vsize=10748324 memory=3312 CPUtime=0.67 cores=1,3,5,7
/proc/17737/task/17748/stat : 17748 (java) S 17730 17737 17678 0 -1 1077944384 10887 0 0 0 50 17 0 0 20 0 16 0 414324137 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290680335376 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17749] ppid=17730 vsize=10748324 memory=1040812 CPUtime=0.64 cores=1,3,5,7
/proc/17737/task/17749/stat : 17749 (java) S 17730 17737 17678 0 -1 1077944384 2670 0 0 0 49 15 0 0 20 0 16 0 414324137 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290679282832 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17750] ppid=17730 vsize=10748324 memory=4096 CPUtime=0.65 cores=1,3,5,7
/proc/17737/task/17750/stat : 17750 (java) S 17730 17737 17678 0 -1 1077944384 3336 0 0 0 50 15 0 0 20 0 16 0 414324137 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290332220176 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17751] ppid=17730 vsize=10748324 memory=1408 CPUtime=0.64 cores=1,3,5,7
/proc/17737/task/17751/stat : 17751 (java) S 17730 17737 17678 0 -1 1077944384 14419 0 0 0 50 14 0 0 20 0 16 0 414324138 11006283776 260203 33554432000 4194304 4196468 140735359800896 140290331167632 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17752] ppid=17730 vsize=10748324 memory=2552 CPUtime=0.09 cores=1,3,5,7
/proc/17737/task/17752/stat : 17752 (java) S 17730 17737 17678 0 -1 1077944384 8971 0 0 0 7 2 0 0 20 0 16 0 414324139 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289980840176 140290727725698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17754] ppid=17730 vsize=10748324 memory=300040 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17754/stat : 17754 (java) S 17730 17737 17678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414324139 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289979786464 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17756] ppid=17730 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17756/stat : 17756 (java) S 17730 17737 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414324140 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289978733312 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17758] ppid=17730 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17758/stat : 17758 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289977681872 140290727733147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17759] ppid=17730 vsize=10748324 memory=6791534058613427641 CPUtime=2.58 cores=1,3,5,7
/proc/17737/task/17759/stat : 17759 (java) S 17730 17737 17678 0 -1 1077944384 17629 0 0 0 255 3 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289976630000 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17760] ppid=17730 vsize=10748324 memory=4872558044660077418 CPUtime=2.36 cores=1,3,5,7
/proc/17737/task/17760/stat : 17760 (java) S 17730 17737 17678 0 -1 1077944384 16246 0 0 0 234 2 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289975577456 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17761] ppid=17730 vsize=10748324 memory=4096 CPUtime=0.89 cores=1,3,5,7
/proc/17737/task/17761/stat : 17761 (java) S 17730 17737 17678 0 -1 1077944384 15882 0 0 0 87 2 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289974524400 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17762] ppid=17730 vsize=10748324 memory=1364 CPUtime=0 cores=1,3,5,7
/proc/17737/task/17762/stat : 17762 (java) S 17730 17737 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414324160 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289973472096 140290727724757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17768] ppid=17730 vsize=10748324 memory=1836 CPUtime=0.85 cores=1,3,5,7
/proc/17737/task/17768/stat : 17768 (java) S 17730 17737 17678 0 -1 1077944384 1782 0 0 0 40 45 0 0 20 0 16 0 414324168 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289972419120 140290727725698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
[pid=17737/tid=17771] ppid=17730 vsize=10748324 memory=288230574492221466 CPUtime=2508.66 cores=1,3,5,7
/proc/17737/task/17771/stat : 17771 (java) R 17730 17737 17678 0 -1 4202560 59548 0 0 0 250854 12 0 0 20 0 16 0 414324408 11006283776 260203 33554432000 4194304 4196468 140735359800896 140289955343744 140290366835418 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 23261184 140735359804427 140735359804530 140735359804530 140735359807439 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1040812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.62 s]
# the end of solver process 17737 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.71 s, system=1.33206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2512.62
CPU time (s): 2520.04
CPU user time (s): 2518.71
CPU system time (s): 1.33206
CPU usage (%): 100.295
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 1122972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.33206
maximum resident set size= 1137292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166705
page faults= 6
swaps= 0
block input operations= 15368
block output operations= 2328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58811
involuntary context switches= 2328
# summary of solver processes directly reported to runsolver:
# pid: 17737
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.71
# total CPU system time (s): 1.33206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0334 second user time and 23.7824 second system time
The end