2.40/1.87
2.40/1.87 AbsCon 2
2.40/1.89
2.94/2.10 Instance
2.94/2.10 name=instance-4391353-1568388075, framework=COP, bounds=-infty..+infty
2.94/2.10
2.94/2.10 Loading variables...
3.24/2.17 Loading constraints...
7.73/3.62
7.73/3.62 Domains
7.73/3.62 nTypes=1, nValues=927360, sizes=[1932#480]
7.73/3.62 Variables
7.73/3.62 count=480, degrees=[3#30,30#30,31#420]
7.73/3.62 Objectives
7.73/3.62 way=min, type=ObjMaximumLE
7.73/3.62 Constraints
7.73/3.62 count=7006, nSpecific=6526, arities=[1#30,2#6975,30#1]
7.73/3.62 distribution=[CtrExtensionSmart-TableSmart#6525,CtrIntension#480,ObjMaximumLE#1]
7.73/3.62 tables=[2#6525], nTotalTuples=13050
7.73/3.62 nExtStructures=(6525,shared:0), nIntStructures=(153,shared:327)
7.73/3.62 wck=1.775, cpu=3.32, mem=360M224
8.33/3.88 Solver SolverBacktrack being built...
8.33/3.88
8.58/3.93
8.58/3.93 Solver
8.58/3.93 guaranteedGAC=true
8.58/3.93 wck=2.094, cpu=3.637, mem=499M657
79.22/73.96
79.22/73.96 Preprocessing
79.22/73.96 filters=1281, revisions=(1780,useless=55), ccks=1033717393, nACremovedValues=379088, nTotalRemovedValues=379088, inconcistency=false
79.22/73.96 wck=70.021, cpu=73.66, mem=524M426
79.22/73.96
90.52/83.32 num=0, depth=117..118, filters=6125, revisions=(7811,useless=3618), ccks=1176061847, wck=79.39, mem=472M546
90.52/83.32 decisions=138, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
90.52/83.32 nFilterCalls=134506, avgTableProportion=0.41767281756947644, avgTableSize=0.8353456351389529
90.52/83.32
99.92/92.65 num=1, depth=160..160, filters=11765, revisions=(14486,useless=7502), ccks=1327563265, wck=88.718, mem=489M87
99.92/92.65 decisions=320, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
99.92/92.65 nFilterCalls=253390, avgTableProportion=0.3933442519436442, avgTableSize=0.7866885038872884
99.92/92.65
109.14/101.82 num=2, depth=99..99, filters=18262, revisions=(21926,useless=11692), ccks=1479617909, wck=97.89, mem=508M960
109.14/101.82 decisions=443, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
109.14/101.82 nFilterCalls=375751, avgTableProportion=0.3744115118788772, avgTableSize=0.7488230237577544
109.14/101.82
117.75/110.45 num=3, depth=104..104, filters=25985, revisions=(28891,useless=15895), ccks=1622036922, wck=106.515, mem=518M897
117.75/110.45 decisions=573, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
117.75/110.45 nFilterCalls=488893, avgTableProportion=0.365050225714011, avgTableSize=0.730100451428022
117.75/110.45
126.48/119.16 num=4, depth=57..76, filters=30743, revisions=(34790,useless=19833), ccks=1762927090, wck=115.224, mem=533M802
126.48/119.16 decisions=677, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
126.48/119.16 nFilterCalls=578429, avgTableProportion=0.36490131027317096, avgTableSize=0.7298026205463419
126.48/119.16
135.68/128.33 num=5, depth=85..85, filters=36478, revisions=(41327,useless=23652), ccks=1913647185, wck=124.4, mem=548M707
135.68/128.33 decisions=794, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
135.68/128.33 nFilterCalls=689062, avgTableProportion=0.36242747387027585, avgTableSize=0.7248549477405517
135.68/128.33
144.31/136.96 num=6, depth=79..79, filters=50967, revisions=(49942,useless=28343), ccks=2055674141, wck=133.028, mem=563M612
144.31/136.96 decisions=907, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
144.31/136.96 nFilterCalls=830347, avgTableProportion=0.34870180779842647, avgTableSize=0.6974036155968529
144.31/136.96
154.03/146.64 num=7, depth=76..76, filters=62995, revisions=(60081,useless=34241), ccks=2212851145, wck=142.705, mem=578M517
154.03/146.64 decisions=1021, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
154.03/146.64 nFilterCalls=985964, avgTableProportion=0.33952811664523247, avgTableSize=0.6790562332904649
154.03/146.64
159.94/152.59 num=8, depth=9..10, filters=65688, revisions=(63546,useless=36356), ccks=2313063795, wck=148.657, mem=588M454
159.94/152.59 decisions=1074, wrong=134, backtracks=1, failedAssignments=133, nogoods=125
159.94/152.59 nFilterCalls=1041920, avgTableProportion=0.34453125, avgTableSize=0.6890625
159.94/152.59
169.14/161.79 num=9, depth=49..50, filters=74461, revisions=(70801,useless=40423), ccks=2464278578, wck=157.858, mem=603M359
169.14/161.79 decisions=1170, wrong=157, backtracks=1, failedAssignments=156, nogoods=148
169.14/161.79 nFilterCalls=1164466, avgTableProportion=0.34390484565457474, avgTableSize=0.6878096913091495
169.14/161.79
179.25/171.88 num=10, depth=59..59, filters=87428, revisions=(80825,useless=46276), ccks=2628603120, wck=167.95, mem=618M264
179.25/171.88 decisions=1279, wrong=182, backtracks=1, failedAssignments=181, nogoods=173
179.25/171.88 nFilterCalls=1321334, avgTableProportion=0.3350538168245122, avgTableSize=0.6701076336490244
179.25/171.88
188.56/181.13 num=11, depth=63..64, filters=99370, revisions=(91112,useless=52451), ccks=2778075867, wck=177.193, mem=638M137
188.56/181.13 decisions=1399, wrong=210, backtracks=1, failedAssignments=209, nogoods=201
188.56/181.13 nFilterCalls=1485118, avgTableProportion=0.32708209044668507, avgTableSize=0.6541641808933701
188.56/181.13
197.47/190.03 num=12, depth=67..68, filters=109608, revisions=(99660,useless=57626), ccks=2922866390, wck=186.093, mem=653M42
197.47/190.03 decisions=1529, wrong=241, backtracks=1, failedAssignments=240, nogoods=232
197.47/190.03 nFilterCalls=1625180, avgTableProportion=0.32311805461548876, avgTableSize=0.6462361092309775
197.47/190.03
205.76/198.36 num=13, depth=4..19, filters=119018, revisions=(105701,useless=61112), ccks=3059178837, wck=194.424, mem=667M947
205.76/198.36 decisions=1616, wrong=275, backtracks=1, failedAssignments=274, nogoods=266
205.76/198.36 nFilterCalls=1724002, avgTableProportion=0.3266165004448951, avgTableSize=0.6532330008897902
205.76/198.36
214.08/206.66 num=14, depth=32..32, filters=125488, revisions=(111847,useless=64646), ccks=3195253379, wck=202.723, mem=682M852
214.08/206.66 decisions=1722, wrong=312, backtracks=1, failedAssignments=311, nogoods=303
214.08/206.66 nFilterCalls=1825441, avgTableProportion=0.3281040033613795, avgTableSize=0.656208006722759
214.08/206.66
221.88/214.49 num=15, depth=22..22, filters=132032, revisions=(117576,useless=68084), ccks=3323123107, wck=210.553, mem=697M757
221.88/214.49 decisions=1826, wrong=353, backtracks=1, failedAssignments=352, nogoods=344
221.88/214.49 nFilterCalls=1917805, avgTableProportion=0.3302283078832311, avgTableSize=0.6604566157664622
221.88/214.49
229.29/221.81 num=16, depth=21..21, filters=136157, revisions=(122488,useless=70962), ccks=3445484140, wck=217.874, mem=707M694
229.29/221.81 decisions=1937, wrong=398, backtracks=1, failedAssignments=397, nogoods=389
229.29/221.81 nFilterCalls=1998993, avgTableProportion=0.3329929119311573, avgTableSize=0.6659858238623146
229.29/221.81
237.62/230.15 num=17, depth=20..20, filters=146039, revisions=(128019,useless=73859), ccks=3584884024, wck=226.212, mem=470M138
237.62/230.15 decisions=2057, wrong=448, backtracks=1, failedAssignments=447, nogoods=439
237.62/230.15 nFilterCalls=2093869, avgTableProportion=0.3344710199157636, avgTableSize=0.6689420398315272
237.62/230.15
249.11/241.69 num=18, depth=21..24, filters=169748, revisions=(142537,useless=82853), ccks=3765477515, wck=237.759, mem=499M435
249.11/241.69 decisions=2191, wrong=503, backtracks=1, failedAssignments=502, nogoods=494
249.11/241.69 nFilterCalls=2317899, avgTableProportion=0.3269258065170225, avgTableSize=0.653851613034045
249.11/241.69
258.21/250.78 num=19, depth=25..25, filters=175772, revisions=(148376,useless=86375), ccks=3914303069, wck=246.842, mem=514M83
258.21/250.78 decisions=2338, wrong=564, backtracks=1, failedAssignments=563, nogoods=555
258.21/250.78 nFilterCalls=2411941, avgTableProportion=0.3282899540245802, avgTableSize=0.6565799080491604
258.21/250.78
268.02/260.57 num=20, depth=23..23, filters=183388, revisions=(154813,useless=89596), ccks=4074698816, wck=256.641, mem=528M731
268.02/260.57 decisions=2495, wrong=631, backtracks=1, failedAssignments=630, nogoods=622
268.02/260.57 nFilterCalls=2523407, avgTableProportion=0.3294627065709178, avgTableSize=0.6589254131418356
268.02/260.57
276.73/269.21 num=21, depth=22..22, filters=190959, revisions=(161528,useless=93452), ccks=4217350745, wck=265.275, mem=543M379
276.73/269.21 decisions=2665, wrong=705, backtracks=1, failedAssignments=704, nogoods=696
276.73/269.21 nFilterCalls=2626477, avgTableProportion=0.32991798519461624, avgTableSize=0.6598359703892325
276.73/269.21
285.24/277.75 num=22, depth=6..21, filters=201064, revisions=(167887,useless=96947), ccks=4357680822, wck=273.817, mem=565M352
285.24/277.75 decisions=2848, wrong=786, backtracks=1, failedAssignments=785, nogoods=777
285.24/277.75 nFilterCalls=2731006, avgTableProportion=0.33132021679923074, avgTableSize=0.6626404335984615
285.24/277.75
294.55/287.07 num=23, depth=24..25, filters=207700, revisions=(175405,useless=101339), ccks=4509834640, wck=283.137, mem=580M0
294.55/287.07 decisions=3052, wrong=876, backtracks=2, failedAssignments=874, nogoods=817
294.55/287.07 nFilterCalls=2841377, avgTableProportion=0.3311602085890046, avgTableSize=0.6623204171780092
294.55/287.07
304.94/297.46 num=24, depth=21..23, filters=232341, revisions=(189673,useless=109860), ccks=4675246788, wck=293.526, mem=601M972
304.94/297.46 decisions=3272, wrong=975, backtracks=3, failedAssignments=972, nogoods=848
304.94/297.46 nFilterCalls=3060767, avgTableProportion=0.3250820790997812, avgTableSize=0.6501641581995624
304.94/297.46
314.44/306.97 num=25, depth=28..29, filters=248331, revisions=(200066,useless=115697), ccks=4827526501, wck=303.034, mem=616M621
314.44/306.97 decisions=3518, wrong=1084, backtracks=4, failedAssignments=1080, nogoods=902
314.44/306.97 nFilterCalls=3220305, avgTableProportion=0.32136769653806085, avgTableSize=0.6427353930761217
314.44/306.97
323.35/315.82 num=26, depth=21..25, filters=259584, revisions=(207832,useless=120303), ccks=4971377820, wck=311.884, mem=631M269
323.35/315.82 decisions=3782, wrong=1204, backtracks=5, failedAssignments=1199, nogoods=1018
323.35/315.82 nFilterCalls=3344655, avgTableProportion=0.32145781851939886, avgTableSize=0.6429156370387977
323.35/315.82
332.57/325.02 num=27, depth=25..26, filters=272960, revisions=(215921,useless=125292), ccks=5119824035, wck=321.085, mem=645M917
332.57/325.02 decisions=4070, wrong=1335, backtracks=5, failedAssignments=1330, nogoods=1149
332.57/325.02 nFilterCalls=3471343, avgTableProportion=0.32186879832963783, avgTableSize=0.6437375966592757
332.57/325.02
344.57/337.08 num=28, depth=23..30, filters=313656, revisions=(236426,useless=136566), ccks=5307684704, wck=333.146, mem=667M890
344.57/337.08 decisions=4402, wrong=1486, backtracks=12, failedAssignments=1474, nogoods=1244
344.57/337.08 nFilterCalls=3793092, avgTableProportion=0.31162373599163956, avgTableSize=0.6232474719832791
344.57/337.08
356.37/348.87 num=29, depth=23..35, filters=346583, revisions=(255851,useless=150247), ccks=5484193222, wck=344.939, mem=697M186
356.37/348.87 decisions=4759, wrong=1647, backtracks=15, failedAssignments=1632, nogoods=1382
356.37/348.87 nFilterCalls=4058502, avgTableProportion=0.3095390860962986, avgTableSize=0.6190781721925972
356.37/348.87
365.97/358.46 num=30, depth=11..29, filters=360328, revisions=(266202,useless=156337), ccks=5636964574, wck=354.523, mem=719M159
365.97/358.46 decisions=5138, wrong=1822, backtracks=16, failedAssignments=1806, nogoods=1554
365.97/358.46 nFilterCalls=4211379, avgTableProportion=0.3080882770227994, avgTableSize=0.6161765540455988
365.97/358.46
376.89/369.33 num=31, depth=21..23, filters=399002, revisions=(283099,useless=165596), ccks=5807135949, wck=365.396, mem=741M131
376.89/369.33 decisions=5543, wrong=2013, backtracks=16, failedAssignments=1997, nogoods=1745
376.89/369.33 nFilterCalls=4456132, avgTableProportion=0.3046095806856709, avgTableSize=0.6092191613713418
376.89/369.33
387.00/379.49 num=32, depth=22..25, filters=429386, revisions=(297654,useless=173506), ccks=5965815119, wck=375.554, mem=763M103
387.00/379.49 decisions=5990, wrong=2224, backtracks=16, failedAssignments=2208, nogoods=1956
387.00/379.49 nFilterCalls=4680328, avgTableProportion=0.30104129454175005, avgTableSize=0.6020825890835001
387.00/379.49
397.20/389.61 num=33, depth=24..33, filters=448267, revisions=(311098,useless=181308), ccks=6128006156, wck=385.68, mem=785M76
397.20/389.61 decisions=6489, wrong=2458, backtracks=18, failedAssignments=2440, nogoods=2046
397.20/389.61 nFilterCalls=4888986, avgTableProportion=0.2980519886945882, avgTableSize=0.5961039773891764
397.20/389.61
415.03/407.44 num=34, depth=21..25, filters=561956, revisions=(360765,useless=209085), ccks=6394154162, wck=403.502, mem=470M469
415.03/407.44 decisions=7024, wrong=2714, backtracks=20, failedAssignments=2695, nogoods=2168
415.03/407.44 nFilterCalls=5652409, avgTableProportion=0.28164088975160856, avgTableSize=0.5632817795032171
415.03/407.44
424.74/417.18 num=35, depth=12..21, filters=582458, revisions=(370395,useless=214505), ccks=6551717031, wck=413.248, mem=492M524
424.74/417.18 decisions=7607, wrong=2995, backtracks=20, failedAssignments=2976, nogoods=2449
424.74/417.18 nFilterCalls=5805084, avgTableProportion=0.282200395377569, avgTableSize=0.564400790755138
424.74/417.18
435.33/427.74 num=36, depth=19..23, filters=621640, revisions=(387137,useless=224815), ccks=6709571395, wck=423.807, mem=521M931
435.33/427.74 decisions=8250, wrong=3305, backtracks=21, failedAssignments=3285, nogoods=2648
435.33/427.74 nFilterCalls=6074336, avgTableProportion=0.28229505249627285, avgTableSize=0.5645901049925457
435.33/427.74
450.55/443.00 num=37, depth=6..23, filters=694386, revisions=(406855,useless=232733), ccks=6944553832, wck=439.068, mem=566M41
450.55/443.00 decisions=8953, wrong=3645, backtracks=21, failedAssignments=3625, nogoods=2988
450.55/443.00 nFilterCalls=6426546, avgTableProportion=0.2809731697244523, avgTableSize=0.5619463394489046
450.55/443.00
493.41/485.71 num=38, depth=21..24, filters=844461, revisions=(489769,useless=278687), ccks=7584644659, wck=481.775, mem=683M669
493.41/485.71 decisions=9728, wrong=4021, backtracks=23, failedAssignments=3999, nogoods=3350
493.41/485.71 nFilterCalls=7759509, avgTableProportion=0.2667283458270362, avgTableSize=0.5334566916540724
493.41/485.71
510.82/503.12 num=39, depth=19..24, filters=981319, revisions=(527883,useless=296710), ccks=7866384878, wck=499.19, mem=749M834
510.82/503.12 decisions=10579, wrong=4436, backtracks=27, failedAssignments=4410, nogoods=3631
510.82/503.12 nFilterCalls=8368468, avgTableProportion=0.26430393233265637, avgTableSize=0.5286078646653127
510.82/503.12
569.06/561.38 num=40, depth=20..22, filters=1087887, revisions=(592547,useless=334558), ccks=8765793070, wck=557.444, mem=508M539
569.06/561.38 decisions=11506, wrong=4889, backtracks=28, failedAssignments=4862, nogoods=4083
569.06/561.38 nFilterCalls=9426056, avgTableProportion=0.2618967572439629, avgTableSize=0.5237935144879258
569.06/561.38
592.96/585.12 num=41, depth=6..32, filters=1183167, revisions=(666097,useless=382571), ccks=9097678406, wck=581.186, mem=587M455
592.96/585.12 decisions=12607, wrong=5424, backtracks=66, failedAssignments=5359, nogoods=4279
592.96/585.12 nFilterCalls=10429437, avgTableProportion=0.2504863397707853, avgTableSize=0.5009726795415707
592.96/585.12
606.37/598.54 num=42, depth=27..29, filters=1265681, revisions=(699918,useless=399721), ccks=9302284806, wck=594.608, mem=621M276
606.37/598.54 decisions=13743, wrong=5978, backtracks=74, failedAssignments=5906, nogoods=4376
606.37/598.54 nFilterCalls=10976490, avgTableProportion=0.2466096630161372, avgTableSize=0.4932193260322744
606.37/598.54
621.42/613.54 num=43, depth=25..29, filters=1365844, revisions=(742927,useless=424547), ccks=9533626569, wck=609.61, mem=677M644
621.42/613.54 decisions=14987, wrong=6586, backtracks=80, failedAssignments=6508, nogoods=4627
621.42/613.54 nFilterCalls=11650603, avgTableProportion=0.24315891632390185, avgTableSize=0.4863178326478037
621.42/613.54
633.13/625.28 num=44, depth=28..31, filters=1423628, revisions=(767008,useless=437479), ccks=9717317386, wck=621.345, mem=722M739
633.13/625.28 decisions=16348, wrong=7252, backtracks=84, failedAssignments=7170, nogoods=4906
633.13/625.28 nFilterCalls=12046773, avgTableProportion=0.24270188373268095, avgTableSize=0.4854037674653619
633.13/625.28
647.45/639.54 num=45, depth=23..35, filters=1520703, revisions=(811141,useless=462169), ccks=9928157342, wck=635.605, mem=767M834
647.45/639.54 decisions=17856, wrong=7990, backtracks=94, failedAssignments=7898, nogoods=5103
647.45/639.54 nFilterCalls=12759796, avgTableProportion=0.23789259640201144, avgTableSize=0.47578519280402287
647.45/639.54
659.25/651.38 num=46, depth=28..35, filters=1563932, revisions=(848890,useless=486431), ccks=10101168522, wck=647.444, mem=812M928
659.25/651.38 decisions=19512, wrong=8804, backtracks=108, failedAssignments=8699, nogoods=5250
659.25/651.38 nFilterCalls=13291807, avgTableProportion=0.23636252015997525, avgTableSize=0.4727250403199505
659.25/651.38
678.85/670.99 num=47, depth=27..36, filters=1622827, revisions=(885413,useless=509360), ccks=10387394685, wck=667.052, mem=869M297
678.85/670.99 decisions=21344, wrong=9703, backtracks=126, failedAssignments=9580, nogoods=5523
678.85/670.99 nFilterCalls=13849162, avgTableProportion=0.23491659639767373, avgTableSize=0.46983319279534747
678.85/670.99
697.08/689.14 num=48, depth=23..27, filters=1691071, revisions=(929756,useless=536468), ccks=10653828702, wck=685.21, mem=914M391
697.08/689.14 decisions=23365, wrong=10701, backtracks=154, failedAssignments=10550, nogoods=5586
697.08/689.14 nFilterCalls=14509623, avgTableProportion=0.23461222941492002, avgTableSize=0.46922445882984004
697.08/689.14
724.48/716.59 num=49, depth=22..30, filters=1886899, revisions=(1010509,useless=583627), ccks=11022092338, wck=712.659, mem=1015M854
724.48/716.59 decisions=25583, wrong=11798, backtracks=186, failedAssignments=11617, nogoods=5875
724.48/716.59 nFilterCalls=15778791, avgTableProportion=0.23194638296432218, avgTableSize=0.46389276592864437
724.48/716.59
750.71/742.77 num=50, depth=21..40, filters=2052637, revisions=(1111735,useless=654396), ccks=11346168699, wck=738.841, mem=531M620
750.71/742.77 decisions=28005, wrong=12991, backtracks=207, failedAssignments=12790, nogoods=6053
750.71/742.77 nFilterCalls=17235166, avgTableProportion=0.22934716729737328, avgTableSize=0.45869433459474657
750.71/742.77
762.12/754.14 num=51, depth=31..35, filters=2088982, revisions=(1137611,useless=670136), ccks=11523143513, wck=750.207, mem=576M786
762.12/754.14 decisions=30654, wrong=14299, backtracks=224, failedAssignments=14081, nogoods=6242
762.12/754.14 nFilterCalls=17580243, avgTableProportion=0.2288763300939583, avgTableSize=0.4577526601879166
762.12/754.14
774.82/766.86 num=52, depth=33..39, filters=2142596, revisions=(1178631,useless=696233), ccks=11707847435, wck=762.931, mem=633M243
774.82/766.86 decisions=33563, wrong=15735, backtracks=240, failedAssignments=15501, nogoods=6560
774.82/766.86 nFilterCalls=18158551, avgTableProportion=0.22690532961578266, avgTableSize=0.4538106592315653
774.82/766.86
833.45/825.47 num=53, depth=17..28, filters=2735868, revisions=(1391413,useless=810525), ccks=12516586539, wck=821.532, mem=850M174
833.45/825.47 decisions=36781, wrong=17332, backtracks=276, failedAssignments=17063, nogoods=6687
833.45/825.47 nFilterCalls=21540014, avgTableProportion=0.21643764948342187, avgTableSize=0.43287529896684374
833.45/825.47
885.69/877.64 num=54, depth=9..34, filters=3332253, revisions=(1611166,useless=926815), ccks=13202617796, wck=873.707, mem=505M771
885.69/877.64 decisions=40308, wrong=19080, backtracks=307, failedAssignments=18781, nogoods=7441
885.69/877.64 nFilterCalls=24898738, avgTableProportion=0.20872278747621667, avgTableSize=0.41744557495243334
885.69/877.64
920.51/912.41 num=55, depth=26..36, filters=3799879, revisions=(1775732,useless=1017896), ccks=13656509396, wck=908.48, mem=686M593
920.51/912.41 decisions=44171, wrong=20998, backtracks=335, failedAssignments=20671, nogoods=7530
920.51/912.41 nFilterCalls=27340146, avgTableProportion=0.20448553932374758, avgTableSize=0.40897107864749516
920.51/912.41
937.12/929.01 num=56, depth=33..37, filters=3897516, revisions=(1850012,useless=1068840), ccks=13893522069, wck=925.079, mem=756M140
937.12/929.01 decisions=48513, wrong=23152, backtracks=410, failedAssignments=22750, nogoods=7671
937.12/929.01 nFilterCalls=28384841, avgTableProportion=0.2017658474817597, avgTableSize=0.4035316949635194
937.12/929.01
958.73/950.68 num=57, depth=13..31, filters=3996841, revisions=(1911657,useless=1108276), ccks=14191328029, wck=946.745, mem=839M596
958.73/950.68 decisions=53174, wrong=25467, backtracks=438, failedAssignments=25037, nogoods=7963
958.73/950.68 nFilterCalls=29379029, avgTableProportion=0.2028453356984671, avgTableSize=0.4056906713969342
958.73/950.68
993.85/985.76 num=58, depth=24..28, filters=4355286, revisions=(2129837,useless=1255645), ccks=14581092792, wck=981.828, mem=1034M327
993.85/985.76 decisions=58359, wrong=28047, backtracks=503, failedAssignments=27553, nogoods=8107
993.85/985.76 nFilterCalls=32478571, avgTableProportion=0.19784742068855185, avgTableSize=0.3956948413771037
993.85/985.76
1039.29/1031.14 num=59, depth=21..26, filters=4714194, revisions=(2290151,useless=1343914), ccks=15203133225, wck=1027.206, mem=533M934
1039.29/1031.14 decisions=64053, wrong=30882, backtracks=572, failedAssignments=30321, nogoods=8513
1039.29/1031.14 nFilterCalls=35182903, avgTableProportion=0.19648512233342427, avgTableSize=0.39297024466684854
1039.29/1031.14
1066.21/1058.06 num=60, depth=29..31, filters=4835769, revisions=(2371489,useless=1394146), ccks=15566254476, wck=1054.121, mem=645M341
1066.21/1058.06 decisions=70425, wrong=34053, backtracks=699, failedAssignments=33365, nogoods=8713
1066.21/1058.06 nFilterCalls=36361576, avgTableProportion=0.1968701246612633, avgTableSize=0.3937402493225266
1066.21/1058.06
1094.51/1086.35 num=61, depth=14..30, filters=5028566, revisions=(2483500,useless=1463912), ccks=15920184682, wck=1082.417, mem=770M674
1094.51/1086.35 decisions=77430, wrong=37542, backtracks=840, failedAssignments=36714, nogoods=9160
1094.51/1086.35 nFilterCalls=38163379, avgTableProportion=0.19618979493403874, avgTableSize=0.39237958986807747
1094.51/1086.35
1128.12/1119.95 num=62, depth=26..35, filters=5539801, revisions=(2674570,useless=1568368), ccks=16359874531, wck=1116.019, mem=951M711
1128.12/1119.95 decisions=84935, wrong=41281, backtracks=895, failedAssignments=40398, nogoods=9402
1128.12/1119.95 nFilterCalls=41033073, avgTableProportion=0.19311902376894852, avgTableSize=0.38623804753789703
1128.12/1119.95
1218.38/1210.18 num=63, depth=28..33, filters=6102609, revisions=(2922180,useless=1714297), ccks=17808515414, wck=1206.25, mem=625M922
1218.38/1210.18 decisions=93331, wrong=45464, backtracks=1026, failedAssignments=44450, nogoods=9426
1218.38/1210.18 nFilterCalls=44691502, avgTableProportion=0.19264049348800136, avgTableSize=0.3852809869760027
1218.38/1210.18
1280.11/1271.80 num=64, depth=25..31, filters=6553080, revisions=(3263603,useless=1964627), ccks=18479742936, wck=1267.868, mem=964M767
1280.11/1271.80 decisions=102536, wrong=50053, backtracks=1160, failedAssignments=48907, nogoods=9597
1280.11/1271.80 nFilterCalls=49326427, avgTableProportion=0.1924748573416842, avgTableSize=0.3849497146833684
1280.11/1271.80
1479.41/1471.05 num=65, depth=26..35, filters=7361369, revisions=(3742788,useless=2255833), ccks=21542210738, wck=1467.112, mem=803M647
1479.41/1471.05 decisions=112745, wrong=55144, backtracks=1349, failedAssignments=53810, nogoods=9739
1479.41/1471.05 nFilterCalls=56293225, avgTableProportion=0.1922173138952334, avgTableSize=0.3844346277904668
1479.41/1471.05
1573.96/1565.54 num=66, depth=20..31, filters=8143316, revisions=(4105749,useless=2476151), ccks=22749581597, wck=1561.608, mem=1174M949
1573.96/1565.54 decisions=123771, wrong=60646, backtracks=1461, failedAssignments=59204, nogoods=10082
1573.96/1565.54 nFilterCalls=61602886, avgTableProportion=0.19261819162173668, avgTableSize=0.38523638324347337
1573.96/1565.54
1885.87/1877.21 num=67, depth=6..44, filters=10701513, revisions=(5315232,useless=3204319), ccks=26957134279, wck=1873.271, mem=481M868
1885.87/1877.21 decisions=137190, wrong=67339, backtracks=2228, failedAssignments=65137, nogoods=10632
1885.87/1877.21 nFilterCalls=80282281, avgTableProportion=0.18183346708846004, avgTableSize=0.3636669341769201
1885.87/1877.21
1984.71/1976.06 num=68, depth=11..33, filters=11092744, revisions=(5459544,useless=3278640), ccks=28249299681, wck=1972.129, mem=858M893
1984.71/1976.06 decisions=150333, wrong=73897, backtracks=2261, failedAssignments=71663, nogoods=11419
1984.71/1976.06 nFilterCalls=82657843, avgTableProportion=0.18320196185133938, avgTableSize=0.36640392370267877
1984.71/1976.06
2032.93/2024.23 num=69, depth=18..22, filters=11443347, revisions=(5727091,useless=3457974), ccks=28789071250, wck=2020.301, mem=1115M955
2032.93/2024.23 decisions=165060, wrong=81251, backtracks=2437, failedAssignments=78842, nogoods=11690
2032.93/2024.23 nFilterCalls=86331444, avgTableProportion=0.18442190657670454, avgTableSize=0.3688438131534091
2032.93/2024.23
2237.24/2228.48 num=70, depth=14..28, filters=13066931, revisions=(6458461,useless=3881840), ccks=31544609780, wck=2224.544, mem=994M11
2237.24/2228.48 decisions=181534, wrong=89479, backtracks=2791, failedAssignments=86739, nogoods=12057
2237.24/2228.48 nFilterCalls=97394644, avgTableProportion=0.18222540553667407, avgTableSize=0.36445081107334815
2237.24/2228.48
2306.89/2298.05 num=71, depth=19..36, filters=13493559, revisions=(6688072,useless=4034074), ccks=32502109356, wck=2294.113, mem=528M885
2306.89/2298.05 decisions=199301, wrong=98346, backtracks=2975, failedAssignments=95426, nogoods=12204
2306.89/2298.05 nFilterCalls=100991739, avgTableProportion=0.18263961174091675, avgTableSize=0.3652792234818335
2306.89/2298.05
2400.07/2391.11
2400.07/2391.11 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 (13035 MiB free)
memory of node 1: 16384 MiB (12094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391353-1568388075/watcher-4391353-1568388075 -o /tmp/evaluation-result-4391353-1568388075/solver-4391353-1568388075 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568388035-8104 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391353-1568388075.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8127, runsolver pid=8124
Current StackSize limit: 8192 KiB
[startup+0.10609 s]*
/proc/loadavg: 1.51 1.76 1.76 7/229 8162
/proc/meminfo: memFree=25700108/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10659884 memory=28992 CPUtime=0.15 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 5706 0 0 0 14 1 0 0 20 0 15 0 414747698 10915721216 7248 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2664971 7248 2932 1 0 2627468 0
[pid=8127/tid=8129] ppid=8124 vsize=10659884 memory=-3103912127665269909 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) R 8124 8127 6698 0 -1 4202560 3243 0 0 0 9 0 0 0 20 0 15 0 414747698 10915721216 7380 33554432000 4194304 4196468 140723015712960 140623273870216 140623255318824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10659884 memory=4211973820539424138 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 7380 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 7380 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 7380 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 7380 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747700 10915721216 7380 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747701 10915721216 7380 33554432000 4194304 4196468 140723015712960 140622304118176 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747701 10915721216 7446 33554432000 4194304 4196468 140723015712960 140622303065584 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747703 10915721216 7446 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 414747703 10915721216 7446 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) R 8124 8127 6698 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 414747703 10915721216 7446 33554432000 4194304 4196468 140723015712960 140622299893672 140623254561628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0.03 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) R 8124 8127 6698 0 -1 4202560 651 0 0 0 3 0 0 0 20 0 15 0 414747703 10915721216 7446 33554432000 4194304 4196468 140723015712960 140622298852504 140623248598111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747704 10915721216 7446 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747704 10915721216 7512 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28992 KiB
[startup+0.210877 s]*
/proc/loadavg: 1.51 1.76 1.76 3/229 8162
/proc/meminfo: memFree=25682888/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10659884 memory=37280 CPUtime=0.32 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 9066 0 0 0 30 2 0 0 20 0 15 0 414747698 10915721216 9320 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2664971 9320 2989 1 0 2627468 0
[pid=8127/tid=8129] ppid=8124 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) R 8124 8127 6698 0 -1 4202560 6105 0 0 0 18 2 0 0 20 0 15 0 414747698 10915721216 9320 33554432000 4194304 4196468 140723015712960 140623273864240 140623269659805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10659884 memory=4211973820539424138 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 9320 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 9320 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 9320 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 9320 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747700 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747701 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622304118176 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747701 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622303065584 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747703 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 414747703 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 15 0 414747703 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0.05 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 701 0 0 0 5 0 0 0 20 0 15 0 414747703 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747704 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747704 10915721216 9320 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37280 KiB
[startup+0.310218 s]*
/proc/loadavg: 1.51 1.76 1.76 6/229 8162
/proc/meminfo: memFree=25678792/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10659884 memory=40076 CPUtime=0.47 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 9409 0 0 0 45 2 0 0 20 0 15 0 414747698 10915721216 10019 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2664971 10019 3002 1 0 2627468 0
[pid=8127/tid=8129] ppid=8124 vsize=10659884 memory=93309841 CPUtime=0.3 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) R 8124 8127 6698 0 -1 4202560 6379 0 0 0 28 2 0 0 20 0 15 0 414747698 10915721216 10019 33554432000 4194304 4196468 140723015712960 140623273869680 140623253718366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 10019 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10659884 memory=140094182887075 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 10019 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10659884 memory=140094182889503 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 10019 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10659884 memory=140094182889423 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747699 10915721216 10019 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10659884 memory=140094334636009 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747700 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10659884 memory=140094182898639 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747701 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622304118176 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10659884 memory=280188365804176 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747701 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622303065584 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10659884 memory=280188365801872 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747703 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 15 0 414747703 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10659884 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 414747703 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 414747703 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747704 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10659884 memory=140094334633600 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747704 10915721216 10019 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40076 KiB
[startup+0.700791 s]
/proc/loadavg: 1.51 1.76 1.76 4/229 8162
/proc/meminfo: memFree=25654652/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10661932 memory=62080 CPUtime=1.09 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 12602 0 0 0 105 4 0 0 20 0 15 0 414747698 10917818368 15520 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2665483 15520 3063 1 0 2627980 0
[pid=8127/tid=8129] ppid=8124 vsize=10661932 memory=1564 CPUtime=0.68 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) R 8124 8127 6698 0 -1 4202560 8802 0 0 0 65 3 0 0 20 0 15 0 414747698 10917818368 15520 33554432000 4194304 4196468 140723015712960 140623273863760 140623249909616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10661932 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10917818368 15520 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10917818368 15520 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10661932 memory=7596821954508186944 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10917818368 15520 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10661932 memory=7739276948478193255 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747699 10917818368 15520 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10661932 memory=5787213827147130983 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747700 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414747701 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622304118176 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414747701 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622303065584 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747703 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10661932 memory=1216 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) R 8124 8127 6698 0 -1 4202560 664 0 0 0 9 0 0 0 20 0 15 0 414747703 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622300960752 140623253024475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10661932 memory=984 CPUtime=0.11 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 696 0 0 0 11 0 0 0 20 0 15 0 414747703 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10661932 memory=14004 CPUtime=0.18 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 1081 0 0 0 18 0 0 0 20 0 15 0 414747703 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10661932 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414747704 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10661932 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747704 10917818368 15520 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62080 KiB
[startup+1.50073 s]
/proc/loadavg: 1.51 1.76 1.76 3/229 8162
/proc/meminfo: memFree=25621588/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10663980 memory=74928 CPUtime=1.98 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 16626 0 0 0 194 4 0 0 20 0 15 0 414747698 10919915520 18732 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2665995 18732 3094 1 0 2628492 0
[pid=8127/tid=8129] ppid=8124 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) R 8124 8127 6698 0 -1 4202560 11756 0 0 0 144 4 0 0 20 0 15 0 414747698 10919915520 18732 33554432000 4194304 4196468 140723015712960 140623273878160 140623253718366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10663980 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10919915520 18732 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10663980 memory=280188365777184 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10919915520 18732 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10663980 memory=13565994416150680 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414747699 10919915520 18732 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414747699 10919915520 18732 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414747700 10919915520 18732 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
################
# More data... #
################
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 4040 0 0 0 62 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 9938 0 0 0 6 3 0 0 20 0 16 0 414747700 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622304118240 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622303065600 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10748324 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2.31 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 12086 0 0 0 230 1 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2.51 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 18256 0 0 0 249 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 13163 0 0 0 88 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10748324 memory=3620 CPUtime=0.87 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1444 0 0 0 37 50 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8165] ppid=8124 vsize=10748324 memory=1060 CPUtime=2319.56 cores=1,3,5,7
/proc/8127/task/8165/stat : 8165 (java) R 8124 8127 6698 0 -1 4202560 34432 0 0 0 231939 17 0 0 20 0 16 0 414747885 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622279976680 140622891479112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 2331.24 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1483404 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 1.91 1.91 3/229 8541
/proc/meminfo: memFree=24051264/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2391.26 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 117567 0 0 0 238994 132 0 0 20 0 16 0 414747698 11006283776 370851 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2687081 370851 3378 1 0 2647217 0
[pid=8127/tid=8129] ppid=8124 vsize=10748324 memory=1483404 CPUtime=1.85 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) S 8124 8127 6698 0 -1 1077944384 13716 0 0 0 180 5 0 0 20 0 16 0 414747698 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623273880752 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.78 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 2340 0 0 0 63 15 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.76 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 2373 0 0 0 63 13 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.73 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 3852 0 0 0 59 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.76 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 4040 0 0 0 62 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 9943 0 0 0 6 3 0 0 20 0 16 0 414747700 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622304118240 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622303065600 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10748324 memory=0 CPUtime=2.31 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 12086 0 0 0 230 1 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10748324 memory=1483492 CPUtime=2.51 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 18256 0 0 0 249 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 13164 0 0 0 88 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10748324 memory=164 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1475 0 0 0 38 52 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8165] ppid=8124 vsize=10748324 memory=3620 CPUtime=2379.56 cores=1,3,5,7
/proc/8127/task/8165/stat : 8165 (java) R 8124 8127 6698 0 -1 4202560 34888 0 0 0 237939 17 0 0 20 0 16 0 414747885 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622279976680 140622884553270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 2391.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1483404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391.11 s]
/proc/loadavg: 1.87 1.89 1.90 3/229 8544
/proc/meminfo: memFree=24050820/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2400.07 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 117626 0 0 0 239875 132 0 0 20 0 16 0 414747698 11006283776 370851 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2687081 370851 3378 1 0 2647217 0
[pid=8127/tid=8129] ppid=8124 vsize=10748324 memory=1483404 CPUtime=1.85 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) S 8124 8127 6698 0 -1 1077944384 13716 0 0 0 180 5 0 0 20 0 16 0 414747698 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623273880752 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.78 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 2340 0 0 0 63 15 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.76 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 2373 0 0 0 63 13 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.73 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 3852 0 0 0 59 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.76 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 4040 0 0 0 62 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.1 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 9944 0 0 0 6 4 0 0 20 0 16 0 414747700 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622304118240 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622303065600 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10748324 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10748324 memory=10604 CPUtime=2.31 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 12088 0 0 0 230 1 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10748324 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 18258 0 0 0 249 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10748324 memory=1483492 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 13166 0 0 0 88 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1477 0 0 0 38 52 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8165] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2388.37 cores=1,3,5,7
/proc/8127/task/8165/stat : 8165 (java) R 8124 8127 6698 0 -1 4202560 34938 0 0 0 238820 17 0 0 20 0 16 0 414747885 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622279976680 140622884553256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1483404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2391.13 s]
# the end of solver process 8127 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.76 s, system=1.33819 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2391.11 s]
/proc/loadavg: 1.87 1.89 1.90 3/229 8544
/proc/meminfo: memFree=24050820/32770624 swapFree=66959224/67108860
[pid=8127] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2400.07 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 6698 0 -1 1077944320 117626 0 0 0 239875 132 0 0 20 0 16 0 414747698 11006283776 370851 33554432000 4194304 4196468 140723015712960 140723015695504 140623269637879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
/proc/8127/statm: 2687081 370851 3378 1 0 2647217 0
[pid=8127/tid=8129] ppid=8124 vsize=10748324 memory=1483404 CPUtime=1.85 cores=1,3,5,7
/proc/8127/task/8129/stat : 8129 (java) S 8124 8127 6698 0 -1 1077944384 13716 0 0 0 180 5 0 0 20 0 16 0 414747698 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623273880752 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8136] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.78 cores=1,3,5,7
/proc/8127/task/8136/stat : 8136 (java) S 8124 8127 6698 0 -1 1077944384 2340 0 0 0 63 15 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623206328592 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8137] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.76 cores=1,3,5,7
/proc/8127/task/8137/stat : 8137 (java) S 8124 8127 6698 0 -1 1077944384 2373 0 0 0 63 13 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623205276048 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8138] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.73 cores=1,3,5,7
/proc/8127/task/8138/stat : 8138 (java) S 8124 8127 6698 0 -1 1077944384 3852 0 0 0 59 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623204223504 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8139] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.76 cores=1,3,5,7
/proc/8127/task/8139/stat : 8139 (java) S 8124 8127 6698 0 -1 1077944384 4040 0 0 0 62 14 0 0 20 0 16 0 414747699 11006283776 370851 33554432000 4194304 4196468 140723015712960 140623203170960 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8145] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.1 cores=1,3,5,7
/proc/8127/task/8145/stat : 8145 (java) S 8124 8127 6698 0 -1 1077944384 9944 0 0 0 6 4 0 0 20 0 16 0 414747700 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622305171952 140623269649026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8146] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8146/stat : 8146 (java) S 8124 8127 6698 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622304118240 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8147] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8147/stat : 8147 (java) S 8124 8127 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414747701 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622303065600 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8151] ppid=8124 vsize=10748324 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8151/stat : 8151 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622302014160 140623269656475 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8152] ppid=8124 vsize=10748324 memory=10604 CPUtime=2.31 cores=1,3,5,7
/proc/8127/task/8152/stat : 8152 (java) S 8124 8127 6698 0 -1 1077944384 12088 0 0 0 230 1 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622300960752 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8153] ppid=8124 vsize=10748324 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/8127/task/8153/stat : 8153 (java) S 8124 8127 6698 0 -1 1077944384 18258 0 0 0 249 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622299908208 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8154] ppid=8124 vsize=10748324 memory=1483492 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8154/stat : 8154 (java) S 8124 8127 6698 0 -1 1077944384 13166 0 0 0 88 2 0 0 20 0 16 0 414747703 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622298855664 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8155] ppid=8124 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8127/task/8155/stat : 8155 (java) S 8124 8127 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622297803360 140623269648085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8156] ppid=8124 vsize=10748324 memory=1483404 CPUtime=0.9 cores=1,3,5,7
/proc/8127/task/8156/stat : 8156 (java) S 8124 8127 6698 0 -1 1077944384 1477 0 0 0 38 52 0 0 20 0 16 0 414747704 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622296750896 140623269649026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
[pid=8127/tid=8165] ppid=8124 vsize=10748324 memory=1483404 CPUtime=2388.37 cores=1,3,5,7
/proc/8127/task/8165/stat : 8165 (java) R 8124 8127 6698 0 -1 4202560 34938 0 0 0 238820 17 0 0 20 0 16 0 414747885 11006283776 370851 33554432000 4194304 4196468 140723015712960 140622279976680 140622884553256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17063936 140723015721995 140723015722098 140723015722098 140723015725007 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1483404 KiB
Child status: 143
Real time (s): 2391.13
CPU time (s): 2400.1
CPU user time (s): 2398.76
CPU system time (s): 1.33819
CPU usage (%): 100.375
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1483492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.76
system time used= 1.33819
maximum resident set size= 1483800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55924
involuntary context switches= 960
# summary of solver processes directly reported to runsolver:
# pid: 8127
# total CPU time (s): 2400.1
# total CPU user time (s): 2398.76
# total CPU system time (s): 1.33819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7846 second user time and 22.7172 second system time
The end