2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
3.37/2.17 Instance
3.37/2.17 name=instance-4391089-1568389619, framework=COP, bounds=-infty..+infty
3.37/2.17
3.37/2.17 Loading variables...
3.67/2.23 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d81baa2
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
4.74/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
4.74/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
4.74/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
4.74/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
5.11/2.63
5.11/2.63
5.11/2.63 Domains
5.11/2.63 nTypes=6, nValues=3615, sizes=[2#1065,3#150,4#105,5#30,15#15,16#15]
5.11/2.63 Variables
5.11/2.63 count=1380, degrees=[2#495,3#870,31#15]
5.11/2.63 Objectives
5.11/2.63 way=min, type=ObjMaximumLE
5.11/2.63 Constraints
5.11/2.63 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.11/2.63 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.11/2.63 tables=[3#165,4#150,5#105,6#30], nTotalTuples=1800
5.11/2.63 nExtStructures=(454,shared:446), nIntStructures=(4,shared:416), nCftStructures=(454,shared:416,unbuilt:497)
5.11/2.63 wck=0.782, cpu=2.596, mem=79M361
5.41/2.70 Solver SolverBacktrack being built...
5.41/2.70
5.41/2.73
5.41/2.73 Solver
5.41/2.73 guaranteedGAC=false
5.41/2.73 wck=0.884, cpu=2.696, mem=132M304
5.41/2.76
5.41/2.76 Preprocessing
5.41/2.76 filters=30, revisions=(60,useless=49), ccks=456, nACremovedValues=43, nTotalRemovedValues=43, inconcistency=false
5.41/2.76 wck=0.024, cpu=2.722, mem=132M304
5.41/2.76
5.68/2.83 o 13
6.00/2.90 num=0, depth=1381..1379, filters=1834, revisions=(6799,useless=5511), ccks=6688, wck=0.164, mem=132M304
6.00/2.90 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=13
6.00/2.90 nFilterCalls=2688, avgTableProportion=0.7452380952380971, avgTableSize=3.138392857142857
6.00/2.90
6.00/2.92 num=1, depth=0..8, filters=3894, revisions=(12292,useless=9523), ccks=9377, wck=0.188, mem=132M304
6.00/2.92 decisions=46, wrong=12, backtracks=1, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=13
6.00/2.92 nFilterCalls=4083, avgTableProportion=0.7462119356682257, avgTableSize=3.1540533921136418
6.00/2.92
6.00/2.94 num=2, depth=8..23, filters=6468, revisions=(18440,useless=13884), ccks=14106, wck=0.21, mem=134M947
6.00/2.94 decisions=95, wrong=27, backtracks=5, failedAssignments=22, nogoods=7, foundSolutions=1, bestBound=13
6.00/2.94 nFilterCalls=5376, avgTableProportion=0.7494574652777937, avgTableSize=3.199404761904762
6.00/2.94
6.00/2.97 num=3, depth=19..28, filters=9276, revisions=(25306,useless=18602), ccks=19169, wck=0.236, mem=134M947
6.00/2.97 decisions=150, wrong=43, backtracks=10, failedAssignments=34, nogoods=11, foundSolutions=1, bestBound=13
6.00/2.97 nFilterCalls=6725, avgTableProportion=0.751454770755916, avgTableSize=3.2286988847583644
6.00/2.97
6.34/3.02 num=4, depth=20..27, filters=14708, revisions=(37222,useless=26953), ccks=27483, wck=0.281, mem=134M947
6.34/3.02 decisions=226, wrong=71, backtracks=28, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=13
6.34/3.02 nFilterCalls=9382, avgTableProportion=0.7548905705962206, avgTableSize=3.287571946280111
6.34/3.02
6.34/3.05 o 12
6.64/3.11 num=5, depth=22..1379, filters=16849, revisions=(45301,useless=33495), ccks=32526, wck=0.379, mem=134M947
6.64/3.11 decisions=271, wrong=78, backtracks=28, failedAssignments=54, nogoods=22, foundSolutions=2, bestBound=12
6.64/3.11 nFilterCalls=11763, avgTableProportion=0.7527147269687647, avgTableSize=3.253846807787129
6.64/3.11
6.64/3.16 num=6, depth=19..23, filters=22562, revisions=(60113,useless=44438), ccks=40746, wck=0.426, mem=134M947
6.64/3.16 decisions=347, wrong=106, backtracks=43, failedAssignments=70, nogoods=28, foundSolutions=2, bestBound=12
6.64/3.16 nFilterCalls=14981, avgTableProportion=0.7519813986604758, avgTableSize=3.228756424804753
6.64/3.16
6.64/3.19 o 11
6.92/3.26 num=7, depth=25..1379, filters=24563, revisions=(68276,useless=51150), ccks=45672, wck=0.522, mem=134M947
6.92/3.26 decisions=385, wrong=111, backtracks=43, failedAssignments=75, nogoods=33, foundSolutions=3, bestBound=11
6.92/3.26 nFilterCalls=17302, avgTableProportion=0.7509883250490395, avgTableSize=3.2155820136400415
6.92/3.26
6.92/3.28 num=8, depth=13..23, filters=26159, revisions=(74117,useless=55791), ccks=47902, wck=0.545, mem=137M589
6.92/3.28 decisions=432, wrong=124, backtracks=44, failedAssignments=87, nogoods=39, foundSolutions=3, bestBound=11
6.92/3.28 nFilterCalls=18559, avgTableProportion=0.750849542899119, avgTableSize=3.215421089498357
6.92/3.28
7.22/3.30 num=9, depth=10..26, filters=28074, revisions=(80662,useless=60918), ccks=51099, wck=0.563, mem=137M589
7.22/3.30 decisions=484, wrong=139, backtracks=48, failedAssignments=98, nogoods=46, foundSolutions=3, bestBound=11
7.22/3.30 nFilterCalls=19519, avgTableProportion=0.751181754529661, avgTableSize=3.2214252779343204
7.22/3.30
7.22/3.32 num=10, depth=0..33, filters=31002, revisions=(89839,useless=67989), ccks=55644, wck=0.59, mem=137M589
7.22/3.32 decisions=543, wrong=155, backtracks=54, failedAssignments=110, nogoods=54, foundSolutions=3, bestBound=11
7.22/3.32 nFilterCalls=20912, avgTableProportion=0.7516258607496858, avgTableSize=3.2280030604437644
7.22/3.32
7.22/3.35 o 10
7.52/3.42 num=11, depth=14..1379, filters=33021, revisions=(98037,useless=74693), ccks=60368, wck=0.686, mem=137M589
7.52/3.42 decisions=576, wrong=160, backtracks=54, failedAssignments=115, nogoods=59, foundSolutions=4, bestBound=10
7.52/3.42 nFilterCalls=23308, avgTableProportion=0.75090598363927, avgTableSize=3.2175647846233053
7.52/3.42
7.52/3.45 num=12, depth=13..20, filters=35887, revisions=(106949,useless=81458), ccks=64597, wck=0.718, mem=137M589
7.52/3.45 decisions=633, wrong=181, backtracks=63, failedAssignments=129, nogoods=70, foundSolutions=4, bestBound=10
7.52/3.45 nFilterCalls=25205, avgTableProportion=0.7513952258148741, avgTableSize=3.2271771473913904
7.52/3.45
7.52/3.48 num=13, depth=12..25, filters=38738, revisions=(115316,useless=87730), ccks=68986, wck=0.744, mem=137M589
7.52/3.48 decisions=691, wrong=201, backtracks=78, failedAssignments=140, nogoods=75, foundSolutions=4, bestBound=10
7.52/3.48 nFilterCalls=26655, avgTableProportion=0.7516007003062761, avgTableSize=3.2316263365222286
7.52/3.48
7.82/3.51 num=14, depth=19..34, filters=41778, revisions=(124538,useless=94776), ccks=73414, wck=0.774, mem=137M589
7.82/3.51 decisions=771, wrong=227, backtracks=97, failedAssignments=152, nogoods=80, foundSolutions=4, bestBound=10
7.82/3.51 nFilterCalls=28141, avgTableProportion=0.7518099333119056, avgTableSize=3.234533243310472
7.82/3.51
7.82/3.55 num=15, depth=13..24, filters=46564, revisions=(137541,useless=104346), ccks=79937, wck=0.814, mem=137M589
7.82/3.55 decisions=855, wrong=262, backtracks=125, failedAssignments=165, nogoods=83, foundSolutions=4, bestBound=10
7.82/3.55 nFilterCalls=30453, avgTableProportion=0.7523960419880915, avgTableSize=3.2448034676386563
7.82/3.55
7.82/3.58 o 9
8.73/3.84 num=16, depth=18..1379, filters=48745, revisions=(144627,useless=109909), ccks=84557, wck=0.913, mem=140M235
8.73/3.84 decisions=892, wrong=265, backtracks=125, failedAssignments=168, nogoods=86, foundSolutions=5, bestBound=9
8.73/3.84 nFilterCalls=32993, avgTableProportion=0.7517225876195026, avgTableSize=3.235231715818507
8.73/3.84
8.73/3.84 num=17, depth=14..29, filters=52983, revisions=(156397,useless=118602), ccks=90591, wck=0.963, mem=140M235
8.73/3.84 decisions=971, wrong=291, backtracks=136, failedAssignments=184, nogoods=91, foundSolutions=5, bestBound=9
8.73/3.84 nFilterCalls=35725, avgTableProportion=0.7515768602751647, avgTableSize=3.234709587123863
8.73/3.84
8.73/3.84 num=18, depth=18..21, filters=57611, revisions=(165918,useless=124978), ccks=96451, wck=0.999, mem=140M235
8.73/3.84 decisions=1030, wrong=311, backtracks=145, failedAssignments=195, nogoods=94, foundSolutions=5, bestBound=9
8.73/3.84 nFilterCalls=38237, avgTableProportion=0.752134494512206, avgTableSize=3.2472997358579385
8.73/3.84
8.73/3.84 num=19, depth=17..28, filters=60359, revisions=(173005,useless=130088), ccks=100654, wck=1.025, mem=140M235
8.73/3.84 decisions=1082, wrong=324, backtracks=146, failedAssignments=207, nogoods=104, foundSolutions=5, bestBound=9
8.73/3.84 nFilterCalls=39561, avgTableProportion=0.7519918606707767, avgTableSize=3.244912919289199
8.73/3.84
8.73/3.84 num=20, depth=18..20, filters=64228, revisions=(182183,useless=136624), ccks=106308, wck=1.058, mem=140M235
8.73/3.84 decisions=1137, wrong=342, backtracks=151, failedAssignments=220, nogoods=108, foundSolutions=5, bestBound=9
8.73/3.84 nFilterCalls=41521, avgTableProportion=0.7513563417707567, avgTableSize=3.2341465764312036
8.73/3.84
8.73/3.84 num=21, depth=19..21, filters=67960, revisions=(191343,useless=143136), ccks=111671, wck=1.093, mem=140M235
8.73/3.84 decisions=1191, wrong=359, backtracks=156, failedAssignments=234, nogoods=114, foundSolutions=5, bestBound=9
8.73/3.84 nFilterCalls=43384, avgTableProportion=0.7509830813202362, avgTableSize=3.227779826664208
8.73/3.84
8.73/3.86 num=22, depth=20..23, filters=71832, revisions=(201446,useless=150397), ccks=117362, wck=1.13, mem=140M235
8.73/3.86 decisions=1251, wrong=379, backtracks=161, failedAssignments=250, nogoods=116, foundSolutions=5, bestBound=9
8.73/3.86 nFilterCalls=45292, avgTableProportion=0.7506189466866279, avgTableSize=3.2219155700786013
8.73/3.86
8.73/3.89 num=23, depth=23..25, filters=76171, revisions=(212544,useless=158400), ccks=122964, wck=1.157, mem=140M235
8.73/3.89 decisions=1320, wrong=402, backtracks=169, failedAssignments=267, nogoods=120, foundSolutions=5, bestBound=9
8.73/3.89 nFilterCalls=47322, avgTableProportion=0.7501465139539968, avgTableSize=3.214868348759562
8.73/3.89
9.04/3.92 num=24, depth=19..22, filters=81742, revisions=(226662,useless=168397), ccks=131336, wck=1.183, mem=140M235
9.04/3.92 decisions=1396, wrong=430, backtracks=179, failedAssignments=286, nogoods=125, foundSolutions=5, bestBound=9
9.04/3.92 nFilterCalls=50054, avgTableProportion=0.7499680345226875, avgTableSize=3.213869021456827
9.04/3.92
9.04/3.93 num=25, depth=12..25, filters=84081, revisions=(233231,useless=173299), ccks=134836, wck=1.198, mem=140M235
9.04/3.93 decisions=1466, wrong=457, backtracks=185, failedAssignments=307, nogoods=131, foundSolutions=5, bestBound=9
9.04/3.93 nFilterCalls=51128, avgTableProportion=0.75016722735095, avgTableSize=3.2168087936160226
9.04/3.93
9.04/3.96 num=26, depth=15..19, filters=90001, revisions=(249491,useless=185264), ccks=143727, wck=1.225, mem=140M235
9.04/3.96 decisions=1549, wrong=490, backtracks=197, failedAssignments=330, nogoods=136, foundSolutions=5, bestBound=9
9.04/3.96 nFilterCalls=54140, avgTableProportion=0.7494849772195444, avgTableSize=3.203915773919468
9.04/3.96
9.04/3.98 num=27, depth=12..16, filters=96171, revisions=(265420,useless=196821), ccks=152888, wck=1.251, mem=142M778
9.04/3.98 decisions=1636, wrong=527, backtracks=212, failedAssignments=355, nogoods=143, foundSolutions=5, bestBound=9
9.04/3.98 nFilterCalls=57177, avgTableProportion=0.7489899784878532, avgTableSize=3.1947811182818264
9.04/3.98
9.37/4.01 num=28, depth=17..33, filters=102981, revisions=(281577,useless=208138), ccks=162754, wck=1.278, mem=142M778
9.37/4.01 decisions=1743, wrong=567, backtracks=226, failedAssignments=383, nogoods=153, foundSolutions=5, bestBound=9
9.37/4.01 nFilterCalls=60582, avgTableProportion=0.7492002575022585, avgTableSize=3.1988379386616486
9.37/4.01
9.37/4.04 num=29, depth=20..23, filters=111469, revisions=(301634,useless=221926), ccks=175270, wck=1.307, mem=142M778
9.37/4.04 decisions=1848, wrong=609, backtracks=240, failedAssignments=414, nogoods=156, foundSolutions=5, bestBound=9
9.37/4.04 nFilterCalls=64626, avgTableProportion=0.7497307585183101, avgTableSize=3.206990994336645
9.37/4.04
9.37/4.07 num=30, depth=17..26, filters=117905, revisions=(318532,useless=234099), ccks=185344, wck=1.332, mem=142M778
9.37/4.07 decisions=1964, wrong=656, backtracks=262, failedAssignments=448, nogoods=161, foundSolutions=5, bestBound=9
9.37/4.07 nFilterCalls=67713, avgTableProportion=0.7498572406087387, avgTableSize=3.208689616469511
9.37/4.07
9.37/4.10 num=31, depth=17..23, filters=128176, revisions=(338374,useless=246781), ccks=199222, wck=1.365, mem=142M778
9.37/4.10 decisions=2087, wrong=708, backtracks=279, failedAssignments=485, nogoods=169, foundSolutions=5, bestBound=9
9.37/4.10 nFilterCalls=72762, avgTableProportion=0.7502247052033942, avgTableSize=3.2155108435721944
9.37/4.10
9.67/4.13 num=32, depth=12..28, filters=134153, revisions=(355307,useless=259394), ccks=207735, wck=1.392, mem=142M778
9.67/4.13 decisions=2261, wrong=785, backtracks=328, failedAssignments=526, nogoods=176, foundSolutions=5, bestBound=9
9.67/4.13 nFilterCalls=75323, avgTableProportion=0.7501717049685183, avgTableSize=3.2139187233647095
9.67/4.13
9.67/4.15 num=33, depth=13..22, filters=141744, revisions=(373387,useless=272107), ccks=218739, wck=1.419, mem=142M778
9.67/4.15 decisions=2407, wrong=849, backtracks=350, failedAssignments=571, nogoods=182, foundSolutions=5, bestBound=9
9.67/4.15 nFilterCalls=78785, avgTableProportion=0.7505316155784231, avgTableSize=3.2180998921114425
9.67/4.15
10.00/4.23 o 8
10.00/4.27 num=34, depth=16..1379, filters=149617, revisions=(394453,useless=287702), ccks=231293, wck=1.537, mem=59M395
10.00/4.27 decisions=2544, wrong=899, backtracks=366, failedAssignments=608, nogoods=190, foundSolutions=6, bestBound=8
10.00/4.27 nFilterCalls=83938, avgTableProportion=0.7503881833418409, avgTableSize=3.214765660368367
10.00/4.27
10.28/4.31 num=35, depth=20..24, filters=162462, revisions=(425244,useless=309385), ccks=249087, wck=1.576, mem=59M395
10.28/4.31 decisions=2721, wrong=977, backtracks=394, failedAssignments=663, nogoods=194, foundSolutions=6, bestBound=8
10.28/4.31 nFilterCalls=90625, avgTableProportion=0.7505101609197508, avgTableSize=3.216783448275862
10.28/4.31
10.28/4.32 num=36, depth=14..16, filters=165922, revisions=(433577,useless=315137), ccks=255266, wck=1.585, mem=59M395
10.28/4.32 decisions=2766, wrong=992, backtracks=399, failedAssignments=674, nogoods=196, foundSolutions=6, bestBound=8
10.28/4.32 nFilterCalls=92439, avgTableProportion=0.7506717943727452, avgTableSize=3.2188902952217138
10.28/4.32
10.28/4.32 num=37, depth=11..20, filters=167619, revisions=(438596,useless=318912), ccks=258101, wck=1.591, mem=59M395
10.28/4.32 decisions=2813, wrong=1007, backtracks=403, failedAssignments=686, nogoods=203, foundSolutions=6, bestBound=8
10.28/4.32 nFilterCalls=93247, avgTableProportion=0.7506865278956983, avgTableSize=3.2193100046114083
10.28/4.32
10.28/4.33 num=38, depth=14..17, filters=169516, revisions=(444035,useless=322968), ccks=261295, wck=1.597, mem=59M395
10.28/4.33 decisions=2864, wrong=1025, backtracks=408, failedAssignments=699, nogoods=207, foundSolutions=6, bestBound=8
10.28/4.33 nFilterCalls=94180, avgTableProportion=0.7507059177464263, avgTableSize=3.2196432363559144
10.28/4.33
10.28/4.34 num=39, depth=16..19, filters=171524, revisions=(450238,useless=327691), ccks=264693, wck=1.603, mem=59M395
10.28/4.34 decisions=2920, wrong=1045, backtracks=414, failedAssignments=713, nogoods=208, foundSolutions=6, bestBound=8
10.28/4.34 nFilterCalls=95171, avgTableProportion=0.7508197525159221, avgTableSize=3.221842788244318
10.28/4.34
10.28/4.35 num=40, depth=14..16, filters=176256, revisions=(460068,useless=334078), ccks=271910, wck=1.614, mem=59M395
10.28/4.35 decisions=2977, wrong=1066, backtracks=419, failedAssignments=729, nogoods=213, foundSolutions=6, bestBound=8
10.28/4.35 nFilterCalls=97477, avgTableProportion=0.7510210955749893, avgTableSize=3.2241144064753735
10.28/4.35
10.28/4.36 num=41, depth=9..17, filters=178962, revisions=(467720,useless=339706), ccks=276334, wck=1.621, mem=59M395
10.28/4.36 decisions=3042, wrong=1091, backtracks=428, failedAssignments=746, nogoods=221, foundSolutions=6, bestBound=8
10.28/4.36 nFilterCalls=98703, avgTableProportion=0.7511303270082765, avgTableSize=3.225859396370931
10.28/4.36
10.28/4.37 num=42, depth=14..18, filters=185341, revisions=(481806,useless=349280), ccks=285105, wck=1.635, mem=59M395
10.28/4.37 decisions=3120, wrong=1123, backtracks=443, failedAssignments=765, nogoods=223, foundSolutions=6, bestBound=8
10.28/4.37 nFilterCalls=101755, avgTableProportion=0.751089217565437, avgTableSize=3.22457864478404
10.28/4.37
10.28/4.38 num=43, depth=9..37, filters=188857, revisions=(492588,useless=357499), ccks=290594, wck=1.647, mem=59M395
10.28/4.38 decisions=3227, wrong=1161, backtracks=470, failedAssignments=786, nogoods=231, foundSolutions=6, bestBound=8
10.28/4.38 nFilterCalls=103339, avgTableProportion=0.7511705809685285, avgTableSize=3.225935997058226
10.28/4.38
10.28/4.39 num=44, depth=14..18, filters=193833, revisions=(504694,useless=366039), ccks=298104, wck=1.657, mem=59M395
10.28/4.39 decisions=3306, wrong=1193, backtracks=482, failedAssignments=809, nogoods=236, foundSolutions=6, bestBound=8
10.28/4.39 nFilterCalls=105768, avgTableProportion=0.7512261112375905, avgTableSize=3.227157552378791
10.28/4.39
10.56/4.40 num=45, depth=15..19, filters=199185, revisions=(518274,useless=375714), ccks=306447, wck=1.668, mem=59M395
10.56/4.40 decisions=3390, wrong=1227, backtracks=494, failedAssignments=834, nogoods=243, foundSolutions=6, bestBound=8
10.56/4.40 nFilterCalls=108499, avgTableProportion=0.7513855734465847, avgTableSize=3.230306270103872
10.56/4.40
10.56/4.41 num=46, depth=15..17, filters=206306, revisions=(533659,useless=385962), ccks=317303, wck=1.681, mem=60M716
10.56/4.41 decisions=3475, wrong=1262, backtracks=502, failedAssignments=862, nogoods=254, foundSolutions=6, bestBound=8
10.56/4.41 nFilterCalls=111976, avgTableProportion=0.7515873937276992, avgTableSize=3.233246409944988
10.56/4.41
10.56/4.43 num=47, depth=11..23, filters=211885, revisions=(548061,useless=396283), ccks=325855, wck=1.693, mem=60M716
10.56/4.43 decisions=3593, wrong=1315, backtracks=531, failedAssignments=893, nogoods=256, foundSolutions=6, bestBound=8
10.56/4.43 nFilterCalls=114579, avgTableProportion=0.7519210908344612, avgTableSize=3.2384381082048193
10.56/4.43
10.56/4.44 num=48, depth=15..37, filters=216885, revisions=(563288,useless=407811), ccks=333824, wck=1.705, mem=63M357
10.56/4.44 decisions=3720, wrong=1364, backtracks=550, failedAssignments=927, nogoods=266, foundSolutions=6, bestBound=8
10.56/4.44 nFilterCalls=116908, avgTableProportion=0.7520139768027688, avgTableSize=3.239906593218599
10.56/4.44
10.56/4.46 num=49, depth=15..20, filters=226830, revisions=(587579,useless=425074), ccks=347978, wck=1.723, mem=63M357
10.56/4.46 decisions=3847, wrong=1420, backtracks=572, failedAssignments=964, nogoods=267, foundSolutions=6, bestBound=8
10.56/4.46 nFilterCalls=121902, avgTableProportion=0.7519704352682007, avgTableSize=3.2385276697675183
10.56/4.46
10.56/4.47 num=50, depth=16..33, filters=231998, revisions=(601731,useless=435531), ccks=354770, wck=1.734, mem=63M357
10.56/4.47 decisions=3987, wrong=1477, backtracks=593, failedAssignments=1005, nogoods=276, foundSolutions=6, bestBound=8
10.56/4.47 nFilterCalls=124186, avgTableProportion=0.7519673446824492, avgTableSize=3.2383199394456703
10.56/4.47
10.56/4.49 num=51, depth=20..23, filters=243277, revisions=(626625,useless=452565), ccks=371155, wck=1.757, mem=63M357
10.56/4.49 decisions=4130, wrong=1538, backtracks=610, failedAssignments=1050, nogoods=287, foundSolutions=6, bestBound=8
10.56/4.49 nFilterCalls=129753, avgTableProportion=0.7519614190044009, avgTableSize=3.2394241366288257
10.56/4.49
10.74/4.51 num=52, depth=11..30, filters=250986, revisions=(647825,useless=468292), ccks=382498, wck=1.774, mem=63M357
10.74/4.51 decisions=4313, wrong=1618, backtracks=646, failedAssignments=1100, nogoods=301, foundSolutions=6, bestBound=8
10.74/4.51 nFilterCalls=133224, avgTableProportion=0.7519992643974326, avgTableSize=3.2395139013991474
10.74/4.51
10.74/4.53 num=53, depth=18..22, filters=264418, revisions=(678071,useless=489042), ccks=401444, wck=1.797, mem=63M357
10.74/4.53 decisions=4484, wrong=1694, backtracks=669, failedAssignments=1155, nogoods=305, foundSolutions=6, bestBound=8
10.74/4.53 nFilterCalls=139818, avgTableProportion=0.7517554964317731, avgTableSize=3.2345620735527616
10.74/4.53
10.74/4.54 num=54, depth=8..22, filters=271440, revisions=(696509,useless=502291), ccks=411085, wck=1.811, mem=63M357
10.74/4.54 decisions=4655, wrong=1774, backtracks=695, failedAssignments=1216, nogoods=314, foundSolutions=6, bestBound=8
10.74/4.54 nFilterCalls=142816, avgTableProportion=0.7518400132578605, avgTableSize=3.2355548397938607
10.74/4.54
10.74/4.56 num=55, depth=9..12, filters=281822, revisions=(723518,useless=521839), ccks=428231, wck=1.83, mem=63M357
10.74/4.56 decisions=4836, wrong=1859, backtracks=718, failedAssignments=1283, nogoods=323, foundSolutions=6, bestBound=8
10.74/4.56 nFilterCalls=148026, avgTableProportion=0.751948306379354, avgTableSize=3.236039614662289
10.74/4.56
10.74/4.58 num=56, depth=10..24, filters=291560, revisions=(748344,useless=539390), ccks=441657, wck=1.849, mem=63M357
10.74/4.58 decisions=5056, wrong=1958, backtracks=748, failedAssignments=1357, nogoods=333, foundSolutions=6, bestBound=8
10.74/4.58 nFilterCalls=152271, avgTableProportion=0.7520763419612553, avgTableSize=3.237799712354946
10.74/4.58
10.85/4.62 num=57, depth=12..18, filters=310349, revisions=(788086,useless=565658), ccks=466492, wck=1.882, mem=63M357
10.85/4.62 decisions=5282, wrong=2065, backtracks=778, failedAssignments=1438, nogoods=347, foundSolutions=6, bestBound=8
10.85/4.62 nFilterCalls=161448, avgTableProportion=0.7520609319004413, avgTableSize=3.2362989941033646
10.85/4.62
10.85/4.64 o 7
10.85/4.67 num=58, depth=8..1379, filters=319877, revisions=(815655,useless=586326), ccks=481320, wck=1.938, mem=65M999
10.85/4.67 decisions=5540, wrong=2182, backtracks=818, failedAssignments=1522, nogoods=363, foundSolutions=7, bestBound=7
10.85/4.67 nFilterCalls=166861, avgTableProportion=0.7521284182651258, avgTableSize=3.236939728276829
10.85/4.67
11.06/4.72 num=59, depth=18..25, filters=342403, revisions=(864659,useless=619222), ccks=514266, wck=1.988, mem=65M999
11.06/4.72 decisions=5828, wrong=2316, backtracks=865, failedAssignments=1620, nogoods=365, foundSolutions=7, bestBound=7
11.06/4.72 nFilterCalls=178439, avgTableProportion=0.7512473917331122, avgTableSize=3.22188535017569
11.06/4.72
11.06/4.73 num=60, depth=9..14, filters=344348, revisions=(869519,useless=622629), ccks=517313, wck=1.992, mem=65M999
11.06/4.73 decisions=5871, wrong=2333, backtracks=871, failedAssignments=1631, nogoods=371, foundSolutions=7, bestBound=7
11.06/4.73 nFilterCalls=179268, avgTableProportion=0.7512678410729258, avgTableSize=3.2223765535399513
11.06/4.73
11.06/4.73 num=61, depth=10..14, filters=346884, revisions=(875274,useless=626622), ccks=520773, wck=1.997, mem=65M999
11.06/4.73 decisions=5913, wrong=2348, backtracks=875, failedAssignments=1643, nogoods=378, foundSolutions=7, bestBound=7
11.06/4.73 nFilterCalls=180461, avgTableProportion=0.7512131891846676, avgTableSize=3.221504923501477
11.06/4.73
11.06/4.74 num=62, depth=7..17, filters=349146, revisions=(880749,useless=630441), ccks=524149, wck=2.002, mem=65M999
11.06/4.74 decisions=5965, wrong=2369, backtracks=883, failedAssignments=1656, nogoods=383, foundSolutions=7, bestBound=7
11.06/4.74 nFilterCalls=181437, avgTableProportion=0.7512182373686157, avgTableSize=3.2217022988695803
11.06/4.74
11.06/4.74 num=63, depth=13..18, filters=352260, revisions=(888181,useless=635566), ccks=529122, wck=2.009, mem=65M999
11.06/4.74 decisions=6018, wrong=2388, backtracks=889, failedAssignments=1670, nogoods=387, foundSolutions=7, bestBound=7
11.06/4.74 nFilterCalls=182986, avgTableProportion=0.7512356136540885, avgTableSize=3.221956871017455
11.06/4.74
11.06/4.75 num=64, depth=13..18, filters=355025, revisions=(895857,useless=641219), ccks=533633, wck=2.015, mem=65M999
11.06/4.75 decisions=6078, wrong=2411, backtracks=899, failedAssignments=1686, nogoods=392, foundSolutions=7, bestBound=7
11.06/4.75 nFilterCalls=184328, avgTableProportion=0.7512513924458993, avgTableSize=3.2224567076081767
11.06/4.75
11.06/4.76 num=65, depth=13..16, filters=359004, revisions=(903797,useless=646444), ccks=538790, wck=2.023, mem=65M999
11.06/4.76 decisions=6135, wrong=2433, backtracks=905, failedAssignments=1703, nogoods=395, foundSolutions=7, bestBound=7
11.06/4.76 nFilterCalls=186227, avgTableProportion=0.7511988952555575, avgTableSize=3.2214447958674093
11.06/4.76
11.06/4.76 num=66, depth=9..16, filters=361725, revisions=(911401,useless=652015), ccks=542957, wck=2.029, mem=65M999
11.06/4.76 decisions=6204, wrong=2462, backtracks=916, failedAssignments=1722, nogoods=403, foundSolutions=7, bestBound=7
11.06/4.76 nFilterCalls=187438, avgTableProportion=0.7512283172751447, avgTableSize=3.2221801342310523
11.06/4.76
11.06/4.77 num=67, depth=11..14, filters=366502, revisions=(922203,useless=659216), ccks=549791, wck=2.037, mem=65M999
11.06/4.77 decisions=6270, wrong=2488, backtracks=922, failedAssignments=1743, nogoods=414, foundSolutions=7, bestBound=7
11.06/4.77 nFilterCalls=189713, avgTableProportion=0.7511576258176285, avgTableSize=3.2212658067712807
11.06/4.77
11.06/4.78 num=68, depth=7..12, filters=369172, revisions=(928945,useless=663956), ccks=553528, wck=2.043, mem=65M999
11.06/4.78 decisions=6337, wrong=2518, backtracks=929, failedAssignments=1766, nogoods=425, foundSolutions=7, bestBound=7
11.06/4.78 nFilterCalls=190839, avgTableProportion=0.7511661662452008, avgTableSize=3.2215637264919645
11.06/4.78
11.06/4.79 num=69, depth=8..12, filters=374946, revisions=(939843,useless=670920), ccks=560781, wck=2.052, mem=65M999
11.06/4.79 decisions=6407, wrong=2549, backtracks=936, failedAssignments=1791, nogoods=427, foundSolutions=7, bestBound=7
11.06/4.79 nFilterCalls=193566, avgTableProportion=0.7511416433329623, avgTableSize=3.2213198598927497
11.06/4.79
11.06/4.79 num=70, depth=7..12, filters=377978, revisions=(946627,useless=675459), ccks=564934, wck=2.059, mem=65M999
11.06/4.79 decisions=6483, wrong=2583, backtracks=942, failedAssignments=1819, nogoods=437, foundSolutions=7, bestBound=7
11.06/4.79 nFilterCalls=194811, avgTableProportion=0.7511318662706361, avgTableSize=3.2212708727946575
11.06/4.79
11.23/4.81 num=71, depth=14..18, filters=384583, revisions=(961736,useless=685687), ccks=575439, wck=2.072, mem=68M640
11.23/4.81 decisions=6574, wrong=2621, backtracks=953, failedAssignments=1850, nogoods=445, foundSolutions=7, bestBound=7
11.23/4.81 nFilterCalls=197963, avgTableProportion=0.7511684001557338, avgTableSize=3.221844486090835
11.23/4.81
11.23/4.82 num=72, depth=5..11, filters=389807, revisions=(974774,useless=694768), ccks=583325, wck=2.082, mem=68M640
11.23/4.82 decisions=6672, wrong=2666, backtracks=965, failedAssignments=1884, nogoods=454, foundSolutions=7, bestBound=7
11.23/4.82 nFilterCalls=200430, avgTableProportion=0.7510887425369573, avgTableSize=3.220775333033977
11.23/4.82
11.23/4.83 num=73, depth=9..14, filters=398504, revisions=(992353,useless=705830), ccks=597596, wck=2.097, mem=68M640
11.23/4.83 decisions=6770, wrong=2710, backtracks=975, failedAssignments=1921, nogoods=457, foundSolutions=7, bestBound=7
11.23/4.83 nFilterCalls=204736, avgTableProportion=0.7511633681097893, avgTableSize=3.22121170678337
11.23/4.83
11.23/4.85 num=74, depth=9..13, filters=407809, revisions=(1012418,useless=719289), ccks=610811, wck=2.114, mem=68M640
11.23/4.85 decisions=6890, wrong=2765, backtracks=992, failedAssignments=1962, nogoods=463, foundSolutions=7, bestBound=7
11.23/4.85 nFilterCalls=209071, avgTableProportion=0.7513446787613077, avgTableSize=3.224593559125847
11.23/4.85
11.23/4.86 num=75, depth=12..19, filters=414303, revisions=(1029342,useless=731246), ccks=620924, wck=2.128, mem=68M640
11.23/4.86 decisions=7024, wrong=2825, backtracks=1009, failedAssignments=2007, nogoods=468, foundSolutions=7, bestBound=7
11.23/4.86 nFilterCalls=212075, avgTableProportion=0.7511889661674168, avgTableSize=3.222690086054462
11.23/4.86
11.23/4.87 num=76, depth=7..16, filters=421082, revisions=(1046324,useless=743077), ccks=631018, wck=2.141, mem=68M640
11.23/4.87 decisions=7171, wrong=2895, backtracks=1034, failedAssignments=2057, nogoods=473, foundSolutions=7, bestBound=7
11.23/4.87 nFilterCalls=215109, avgTableProportion=0.7511715765802796, avgTableSize=3.2226778052057328
11.23/4.87
11.23/4.89 num=77, depth=7..17, filters=430989, revisions=(1067625,useless=757485), ccks=644203, wck=2.159, mem=68M640
11.23/4.89 decisions=7329, wrong=2970, backtracks=1056, failedAssignments=2112, nogoods=485, foundSolutions=7, bestBound=7
11.23/4.89 nFilterCalls=219650, avgTableProportion=0.7512129144847942, avgTableSize=3.2238424766674254
11.23/4.89
11.34/4.91 num=78, depth=3..17, filters=439809, revisions=(1087441,useless=770611), ccks=656235, wck=2.176, mem=68M640
11.34/4.91 decisions=7502, wrong=3055, backtracks=1083, failedAssignments=2173, nogoods=486, foundSolutions=7, bestBound=7
11.34/4.91 nFilterCalls=223402, avgTableProportion=0.7511609863231475, avgTableSize=3.223261206255987
11.34/4.91
11.34/4.94 num=79, depth=3..11, filters=456101, revisions=(1120421,useless=791795), ccks=680817, wck=2.204, mem=68M640
11.34/4.94 decisions=7686, wrong=3145, backtracks=1120, failedAssignments=2240, nogoods=489, foundSolutions=7, bestBound=7
11.34/4.94 nFilterCalls=231426, avgTableProportion=0.7511885008592687, avgTableSize=3.2222827167215438
11.34/4.94
11.34/4.96 num=80, depth=5..10, filters=467297, revisions=(1144853,useless=808011), ccks=694968, wck=2.223, mem=68M640
11.34/4.96 decisions=7878, wrong=3238, backtracks=1140, failedAssignments=2314, nogoods=503, foundSolutions=7, bestBound=7
11.34/4.96 nFilterCalls=236224, avgTableProportion=0.7511604804472287, avgTableSize=3.2220773503115687
11.34/4.96
11.34/4.98 num=81, depth=7..14, filters=480441, revisions=(1175681,useless=829284), ccks=712604, wck=2.247, mem=68M640
11.34/4.98 decisions=8096, wrong=3343, backtracks=1169, failedAssignments=2395, nogoods=516, foundSolutions=7, bestBound=7
11.34/4.98 nFilterCalls=242216, avgTableProportion=0.7511577132248461, avgTableSize=3.222557551937114
11.34/4.98
11.34/5.00 num=82, depth=7..16, filters=490011, revisions=(1198128,useless=844596), ccks=725684, wck=2.265, mem=71M282
11.34/5.00 decisions=8318, wrong=3450, backtracks=1194, failedAssignments=2484, nogoods=526, foundSolutions=7, bestBound=7
11.34/5.00 nFilterCalls=246275, avgTableProportion=0.7511946672071965, avgTableSize=3.2231895239062025
11.34/5.00
11.46/5.03 num=83, depth=7..14, filters=509544, revisions=(1236662,useless=869485), ccks=752432, wck=2.299, mem=71M282
11.46/5.03 decisions=8565, wrong=3569, backtracks=1222, failedAssignments=2582, nogoods=539, foundSolutions=7, bestBound=7
11.46/5.03 nFilterCalls=255522, avgTableProportion=0.7511118416407998, avgTableSize=3.222090465791595
11.46/5.03
11.46/5.06 num=84, depth=4..16, filters=522663, revisions=(1265949,useless=889264), ccks=769337, wck=2.324, mem=71M282
11.46/5.06 decisions=8851, wrong=3710, backtracks=1259, failedAssignments=2690, nogoods=562, foundSolutions=7, bestBound=7
11.46/5.06 nFilterCalls=261266, avgTableProportion=0.7510108471814443, avgTableSize=3.2207099278130333
11.46/5.06
11.46/5.10 num=85, depth=5..12, filters=546774, revisions=(1313530,useless=919641), ccks=801843, wck=2.364, mem=71M282
11.46/5.10 decisions=9145, wrong=3854, backtracks=1289, failedAssignments=2809, nogoods=566, foundSolutions=7, bestBound=7
11.46/5.10 nFilterCalls=272140, avgTableProportion=0.7510003429594767, avgTableSize=3.220037480708459
11.46/5.10
11.57/5.14 num=86, depth=4..15, filters=573222, revisions=(1372689,useless=959566), ccks=839982, wck=2.41, mem=71M282
11.57/5.14 decisions=9507, wrong=4033, backtracks=1349, failedAssignments=2940, nogoods=570, foundSolutions=7, bestBound=7
11.57/5.14 nFilterCalls=284832, avgTableProportion=0.7510125266809845, avgTableSize=3.220470312324458
11.57/5.14
11.57/5.19 num=87, depth=0..13, filters=602546, revisions=(1435825,useless=1001670), ccks=879350, wck=2.459, mem=73M923
11.57/5.19 decisions=9922, wrong=4237, backtracks=1416, failedAssignments=3084, nogoods=594, foundSolutions=7, bestBound=7
11.57/5.19 nFilterCalls=298120, avgTableProportion=0.7509899816613135, avgTableSize=3.2197940426673823
11.57/5.19
11.67/5.24 num=88, depth=9..18, filters=629013, revisions=(1495072,useless=1041971), ccks=917242, wck=2.507, mem=73M923
11.67/5.24 decisions=10362, wrong=4452, backtracks=1481, failedAssignments=3242, nogoods=604, foundSolutions=7, bestBound=7
11.67/5.24 nFilterCalls=310091, avgTableProportion=0.7510129284612455, avgTableSize=3.2210028669003616
11.67/5.24
11.67/5.28 num=89, depth=4..10, filters=652133, revisions=(1544779,useless=1074816), ccks=947564, wck=2.547, mem=73M923
11.67/5.28 decisions=10791, wrong=4664, backtracks=1525, failedAssignments=3416, nogoods=620, foundSolutions=7, bestBound=7
11.67/5.28 nFilterCalls=320071, avgTableProportion=0.7510021214025274, avgTableSize=3.220794761162367
11.67/5.28
11.78/5.34 num=90, depth=2..10, filters=686164, revisions=(1611173,useless=1116581), ccks=992302, wck=2.604, mem=73M923
11.78/5.34 decisions=11281, wrong=4908, backtracks=1588, failedAssignments=3607, nogoods=641, foundSolutions=7, bestBound=7
11.78/5.34 nFilterCalls=335773, avgTableProportion=0.7510094617475211, avgTableSize=3.2203750748273388
11.78/5.34
11.78/5.39 num=91, depth=8..15, filters=719564, revisions=(1686216,useless=1167826), ccks=1036919, wck=2.661, mem=73M923
11.78/5.39 decisions=11838, wrong=5182, backtracks=1665, failedAssignments=3818, nogoods=649, foundSolutions=7, bestBound=7
11.78/5.39 nFilterCalls=350688, avgTableProportion=0.7508304627834597, avgTableSize=3.21716454512273
11.78/5.39
11.88/5.47 num=92, depth=0..16, filters=764205, revisions=(1776616,useless=1225632), ccks=1098603, wck=2.733, mem=76M564
11.88/5.47 decisions=12467, wrong=5493, backtracks=1754, failedAssignments=4050, nogoods=660, foundSolutions=7, bestBound=7
11.88/5.47 nFilterCalls=370898, avgTableProportion=0.750623127290935, avgTableSize=3.21354927769899
11.88/5.47
11.98/5.53 num=93, depth=0..11, filters=803982, revisions=(1862226,useless=1281176), ccks=1153543, wck=2.799, mem=76M564
11.98/5.53 decisions=13118, wrong=5817, backtracks=1828, failedAssignments=4305, nogoods=686, foundSolutions=7, bestBound=7
11.98/5.53 nFilterCalls=388356, avgTableProportion=0.7506678580115839, avgTableSize=3.2140973745738446
11.98/5.53
12.08/5.61 num=94, depth=0..10, filters=852103, revisions=(1964016,useless=1348455), ccks=1217603, wck=2.878, mem=76M564
12.08/5.61 decisions=13884, wrong=6197, backtracks=1944, failedAssignments=4586, nogoods=703, foundSolutions=7, bestBound=7
12.08/5.61 nFilterCalls=408558, avgTableProportion=0.7507693726046254, avgTableSize=3.215509181070986
12.08/5.61
12.19/5.70 num=95, depth=0..8, filters=905348, revisions=(2069352,useless=1415883), ccks=1288653, wck=2.965, mem=76M564
12.19/5.70 decisions=14679, wrong=6593, backtracks=2044, failedAssignments=4895, nogoods=719, foundSolutions=7, bestBound=7
12.19/5.70 nFilterCalls=431909, avgTableProportion=0.7507400478633215, avgTableSize=3.215110127364792
12.19/5.70
12.30/5.80 num=96, depth=0..8, filters=968331, revisions=(2196874,useless=1498205), ccks=1373759, wck=3.068, mem=79M206
12.30/5.80 decisions=15571, wrong=7038, backtracks=2173, failedAssignments=5235, nogoods=736, foundSolutions=7, bestBound=7
12.30/5.80 nFilterCalls=459559, avgTableProportion=0.7507093394593465, avgTableSize=3.214394669672447
12.30/5.80
12.30/5.86
12.30/5.86 New Bounds: 7..6
12.30/5.86 num=97, depth=0..5, filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820, wck=3.124, mem=79M206
12.30/5.86 decisions=16093, wrong=7300, backtracks=2247, failedAssignments=5431, foundSolutions=7, bestBound=7
12.30/5.86 nFilterCalls=474307, avgTableProportion=0.7506519335913977, avgTableSize=3.213557885504536
12.30/5.86
12.30/5.86 Global
12.30/5.86 filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820
12.30/5.86 Stop=FULL_EXPLORATION, wrong=7300, bestBound=7, bestBoundWck=2.793, bestBoundCpu=4.558, foundSolutions=7, firstSolCpu=2.779
12.30/5.86 wck=4.009, cpu=5.774, mem=79M206
12.30/5.86
12.30/5.86 v <instantiation id='sol7' type='solution' cost='7'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 1 0 13 12 5 6 4 3 14 10 2 9 8 7 11 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 2 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 2 2 2 2 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 0 0 0 0 0 1 1 1 1 1 2 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 0 1 2 2 2 2 3 4 4 4 4 4 4 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 4 5 7 7 6 7 7 7 7 7 7 7 7 6 4 </values> </instantiation>
12.30/5.86 s OPTIMUM FOUND
12.30/5.86
12.30/5.86 d WRONG_DECISIONS 7300
12.30/5.86 d NUMBER_SOLUTIONS 7
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 (9764 MiB free)
memory of node 1: 16384 MiB (11657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391089-1568389619/watcher-4391089-1568389619 -o /tmp/evaluation-result-4391089-1568389619/solver-4391089-1568389619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4913 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391089-1568389619.xml -cm
running on 4 cores: 0,2,4,6
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=4943, runsolver pid=4939
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 0.88 0.90 1.12 8/227 4972
/proc/meminfo: memFree=21904360/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10659884 memory=29228 CPUtime=0.14 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 5254 0 0 0 13 1 0 0 20 0 15 0 414900367 10915721216 7307 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2664971 7307 2906 1 0 2627468 0
[pid=4943/tid=4946] ppid=4939 vsize=10659884 memory=-8393408367969531072 CPUtime=0.09 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) R 4939 4943 2817 0 -1 4202560 2972 0 0 0 9 0 0 0 20 0 15 0 414900367 10915721216 7307 33554432000 4194304 4196468 140725403872512 139675245691720 139675241485469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7307 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7307 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7307 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7307 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674731357600 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674730305008 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) S 4939 4943 2817 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674728200176 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) R 4939 4943 2817 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 414900373 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674726091768 139675220020102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 7307 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29228 KiB
[startup+0.21039 s]*
/proc/loadavg: 0.88 0.90 1.12 4/227 4972
/proc/meminfo: memFree=21891560/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10659884 memory=35228 CPUtime=0.33 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 6487 0 0 0 31 2 0 0 20 0 15 0 414900367 10915721216 8807 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2664971 8807 2989 1 0 2627468 0
[pid=4943/tid=4946] ppid=4939 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) R 4939 4943 2817 0 -1 4202560 3458 0 0 0 19 1 0 0 20 0 15 0 414900367 10915721216 8807 33554432000 4194304 4196468 140725403872512 139675245689904 139675241485469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8807 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10659884 memory=288370646176528000 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8807 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8807 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8807 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674731357600 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674730305008 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) S 4939 4943 2817 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 414900373 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674728200176 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 414900373 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0.05 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 414900373 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 8807 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35228 KiB
[startup+0.310004 s]*
/proc/loadavg: 0.88 0.90 1.12 5/227 4972
/proc/meminfo: memFree=21875632/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10659884 memory=40152 CPUtime=0.47 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 8946 0 0 0 44 3 0 0 20 0 15 0 414900367 10915721216 10038 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2664971 10038 3001 1 0 2627468 0
[pid=4943/tid=4946] ppid=4939 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) R 4939 4943 2817 0 -1 4202560 5856 0 0 0 28 2 0 0 20 0 15 0 414900367 10915721216 10038 33554432000 4194304 4196468 140725403872512 139675245695344 139675241484890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10659884 memory=4297096155 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10038 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10659884 memory=288370646176528000 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10038 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10038 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10038 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674731357600 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674730305008 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) S 4939 4943 2817 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 414900373 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674728200176 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 639 0 0 0 5 0 0 0 20 0 15 0 414900373 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0.08 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 712 0 0 0 8 0 0 0 20 0 15 0 414900373 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10659884 memory=140270024816256 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 10038 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40152 KiB
[startup+0.70125 s]
/proc/loadavg: 0.88 0.90 1.12 5/227 4972
/proc/meminfo: memFree=21859304/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10661932 memory=64060 CPUtime=1.1 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 12670 0 0 0 105 5 0 0 20 0 15 0 414900367 10917818368 16015 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2665483 16015 3062 1 0 2627980 0
[pid=4943/tid=4946] ppid=4939 vsize=10661932 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) R 4939 4943 2817 0 -1 4202560 8401 0 0 0 64 4 0 0 20 0 15 0 414900367 10917818368 16015 33554432000 4194304 4196468 140725403872512 139675245680336 139675223028513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10661932 memory=18832 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 16015 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10661932 memory=532 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 16015 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 16015 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 16015 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10661932 memory=3680 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900370 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10661932 memory=864 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674731357600 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674730305008 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10661932 memory=4640781674728153957 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10661932 memory=7163086641608552552 CPUtime=0.1 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) R 4939 4943 2817 0 -1 4202560 721 0 0 0 10 0 0 0 20 0 15 0 414900373 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674728200176 139675227477860 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10661932 memory=7523071198212214892 CPUtime=0.11 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 950 0 0 0 11 0 0 0 20 0 15 0 414900373 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 1238 0 0 0 18 0 0 0 20 0 15 0 414900373 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900373 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10661932 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10917818368 16015 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64060 KiB
[startup+1.5008 s]
/proc/loadavg: 0.89 0.91 1.12 4/227 4972
/proc/meminfo: memFree=21827788/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10663980 memory=76020 CPUtime=2 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 17982 0 0 0 194 6 0 0 20 0 15 0 414900367 10919915520 19005 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2665995 19005 3097 1 0 2628492 0
[pid=4943/tid=4946] ppid=4939 vsize=10663980 memory=72032 CPUtime=1.48 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) R 4939 4943 2817 0 -1 4202560 12423 0 0 0 143 5 0 0 20 0 15 0 414900367 10919915520 19005 33554432000 4194304 4196468 140725403872512 139675245694432 139675225544030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 19005 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 19005 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 19005 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 19005 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 414900370 10919915520 19005 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
################
# More data... #
################
[startup+3.2009 s]
/proc/loadavg: 0.89 0.91 1.12 8/230 4976
/proc/meminfo: memFree=21471852/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10750164 memory=259840 CPUtime=6.92 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 36248 0 0 0 675 17 0 0 20 0 16 0 414900367 11008167936 64960 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2687541 64960 3356 1 0 2647677 0
[pid=4943/tid=4946] ppid=4939 vsize=10750164 memory=8303054830060986464 CPUtime=1.86 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) S 4939 4943 2817 0 -1 1077944384 14584 0 0 0 180 6 0 0 20 0 16 0 414900367 11008167936 64960 33554432000 4194304 4196468 140725403872512 139675245706416 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10750164 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414900368 11008167936 64960 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10750164 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 414900368 11008167936 64960 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10750164 memory=7666649812013832304 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414900368 11008167936 64960 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10750164 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414900368 11008167936 64960 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10750164 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 1019 0 0 0 1 0 0 0 20 0 16 0 414900370 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10750164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414900370 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674731357664 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10750164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414900370 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674730305024 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10750164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10750164 memory=6656426216303648864 CPUtime=1.4 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) R 4939 4943 2817 0 -1 4202560 6114 0 0 0 138 2 0 0 20 0 16 0 414900373 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674728184648 139675223006835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10750164 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) R 4939 4943 2817 0 -1 4202560 4813 0 0 0 138 1 0 0 20 0 16 0 414900373 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674727127848 139675224960327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10750164 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 4073 0 0 0 88 1 0 0 20 0 16 0 414900373 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10750164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10750164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414900373 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4976] ppid=4939 vsize=10750164 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/4943/task/4976/stat : 4976 (java) R 4939 4943 2817 0 -1 4202560 4011 0 0 0 124 3 0 0 20 0 16 0 414900555 11008167936 64960 33554432000 4194304 4196468 140725403872512 139674707327256 139674845182796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 6.92 s
Current children cumulated vsize: 10750164 KiB
Current children cumulated memory: 259840 KiB
[startup+4.80074 s]
/proc/loadavg: 0.89 0.91 1.12 6/230 4976
/proc/meminfo: memFree=21364044/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10748324 memory=333568 CPUtime=11.23 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 46162 0 0 0 1100 23 0 0 20 0 16 0 414900367 11006283776 83392 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2687081 83392 3372 1 0 2647217 0
[pid=4943/tid=4946] ppid=4939 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) S 4939 4943 2817 0 -1 1077944384 14584 0 0 0 180 6 0 0 20 0 16 0 414900367 11006283776 83392 33554432000 4194304 4196468 140725403872512 139675245706416 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 196 0 0 0 3 1 0 0 20 0 16 0 414900368 11006283776 83392 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 83392 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 16 0 414900368 11006283776 83392 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 83392 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10748324 memory=288230621803970871 CPUtime=0.01 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 1055 0 0 0 1 0 0 0 20 0 16 0 414900370 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10748324 memory=13846356926138795 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674731357664 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10748324 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674730305024 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10748324 memory=14060 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10748324 memory=2116 CPUtime=2.7 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) R 4939 4943 2817 0 -1 4202560 11922 0 0 0 268 2 0 0 20 0 16 0 414900373 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674728200176 139675222990606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10748324 memory=18832 CPUtime=2.66 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 8123 0 0 0 265 1 0 0 20 0 16 0 414900373 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10748324 memory=6425271076035 CPUtime=0.94 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 4212 0 0 0 93 1 0 0 20 0 16 0 414900373 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10748324 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10748324 memory=13846356926138795 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4976] ppid=4939 vsize=10748324 memory=0 CPUtime=2.82 cores=0,2,4,6
/proc/4943/task/4976/stat : 4976 (java) R 4939 4943 2817 0 -1 4202560 4263 0 0 0 278 4 0 0 20 0 16 0 414900555 11006283776 83392 33554432000 4194304 4196468 140725403872512 139674707315152 139674846096960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 11.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 333568 KiB
[startup+5.60061 s]
/proc/loadavg: 0.89 0.91 1.12 4/230 4976
/proc/meminfo: memFree=21317920/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10748324 memory=312852 CPUtime=12.08 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 48100 0 0 0 1185 23 0 0 20 0 16 0 414900367 11006283776 78213 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2687081 78213 3372 1 0 2647217 0
[pid=4943/tid=4946] ppid=4939 vsize=10748324 memory=39212 CPUtime=1.86 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) S 4939 4943 2817 0 -1 1077944384 14584 0 0 0 180 6 0 0 20 0 16 0 414900367 11006283776 78213 33554432000 4194304 4196468 140725403872512 139675245706416 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10748324 memory=988 CPUtime=0.04 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 196 0 0 0 3 1 0 0 20 0 16 0 414900368 11006283776 78213 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 78213 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 16 0 414900368 11006283776 78213 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 78213 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 1059 0 0 0 1 0 0 0 20 0 16 0 414900370 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674731357664 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674730305024 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10748324 memory=134 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10748324 memory=548 CPUtime=2.72 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) S 4939 4943 2817 0 -1 1077944384 12151 0 0 0 270 2 0 0 20 0 16 0 414900373 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674728200176 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10748324 memory=2012 CPUtime=2.68 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 8444 0 0 0 267 1 0 0 20 0 16 0 414900373 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10748324 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 4247 0 0 0 94 1 0 0 20 0 16 0 414900373 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10748324 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10748324 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 1123 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4976] ppid=4939 vsize=10748324 memory=319 CPUtime=3.62 cores=0,2,4,6
/proc/4943/task/4976/stat : 4976 (java) R 4939 4943 2817 0 -1 4202560 4501 0 0 0 358 4 0 0 20 0 16 0 414900555 11006283776 78213 33554432000 4194304 4196468 140725403872512 139674707326144 139674846070279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 12.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312852 KiB
[startup+5.80062 s]
/proc/loadavg: 0.89 0.91 1.12 4/230 4976
/proc/meminfo: memFree=21317920/32770624 swapFree=66999272/67108860
[pid=4943] ppid=4939 vsize=10748324 memory=312952 CPUtime=12.3 cores=0,2,4,6
/proc/4943/stat : 4943 (java) S 4939 4943 2817 0 -1 1077944320 48411 0 0 0 1207 23 0 0 20 0 16 0 414900367 11006283776 78238 33554432000 4194304 4196468 140725403872512 140725403855056 139675241463543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
/proc/4943/statm: 2687081 78238 3372 1 0 2647217 0
[pid=4943/tid=4946] ppid=4939 vsize=10748324 memory=7380108234183108689 CPUtime=1.86 cores=0,2,4,6
/proc/4943/task/4946/stat : 4946 (java) S 4939 4943 2817 0 -1 1077944384 14584 0 0 0 180 6 0 0 20 0 16 0 414900367 11006283776 78238 33554432000 4194304 4196468 140725403872512 139675245706416 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4951] ppid=4939 vsize=10748324 memory=7810487918915055718 CPUtime=0.04 cores=0,2,4,6
/proc/4943/task/4951/stat : 4951 (java) S 4939 4943 2817 0 -1 1077944384 196 0 0 0 3 1 0 0 20 0 16 0 414900368 11006283776 78238 33554432000 4194304 4196468 140725403872512 139675167537424 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4952] ppid=4939 vsize=10748324 memory=-7028383565733675155 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4952/stat : 4952 (java) S 4939 4943 2817 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 78238 33554432000 4194304 4196468 140725403872512 139675166484880 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4953] ppid=4939 vsize=10748324 memory=-6237260532469557610 CPUtime=0.04 cores=0,2,4,6
/proc/4943/task/4953/stat : 4953 (java) S 4939 4943 2817 0 -1 1077944384 214 0 0 0 3 1 0 0 20 0 16 0 414900368 11006283776 78238 33554432000 4194304 4196468 140725403872512 139675165432336 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4954] ppid=4939 vsize=10748324 memory=7162811802775277910 CPUtime=0.02 cores=0,2,4,6
/proc/4943/task/4954/stat : 4954 (java) S 4939 4943 2817 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 78238 33554432000 4194304 4196468 140725403872512 139675164379792 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4956] ppid=4939 vsize=10748324 memory=6081619128951914599 CPUtime=0.01 cores=0,2,4,6
/proc/4943/task/4956/stat : 4956 (java) S 4939 4943 2817 0 -1 1077944384 1059 0 0 0 1 0 0 0 20 0 16 0 414900370 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674732411376 139675241474690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4959] ppid=4939 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4959/stat : 4959 (java) S 4939 4943 2817 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674731357664 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4960] ppid=4939 vsize=10748324 memory=140269874250015 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4960/stat : 4960 (java) S 4939 4943 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674730305024 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4966] ppid=4939 vsize=10748324 memory=280539748562864 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4966/stat : 4966 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674729253584 139675241482139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4967] ppid=4939 vsize=10748324 memory=280539748562800 CPUtime=2.74 cores=0,2,4,6
/proc/4943/task/4967/stat : 4967 (java) S 4939 4943 2817 0 -1 1077944384 12362 0 0 0 272 2 0 0 20 0 16 0 414900373 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674728200176 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4968] ppid=4939 vsize=10748324 memory=1 CPUtime=2.68 cores=0,2,4,6
/proc/4943/task/4968/stat : 4968 (java) S 4939 4943 2817 0 -1 1077944384 8464 0 0 0 267 1 0 0 20 0 16 0 414900373 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674727147632 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4969] ppid=4939 vsize=10748324 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/4943/task/4969/stat : 4969 (java) S 4939 4943 2817 0 -1 1077944384 4322 0 0 0 95 1 0 0 20 0 16 0 414900373 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674726095088 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4971] ppid=4939 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4971/stat : 4971 (java) S 4939 4943 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674725042784 139675241473749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4972] ppid=4939 vsize=10748324 memory=5 CPUtime=0 cores=0,2,4,6
/proc/4943/task/4972/stat : 4972 (java) S 4939 4943 2817 0 -1 1077944384 1123 0 0 0 0 0 0 0 20 0 16 0 414900373 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674723990320 139675241474690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
[pid=4943/tid=4976] ppid=4939 vsize=10748324 memory=1 CPUtime=3.82 cores=0,2,4,6
/proc/4943/task/4976/stat : 4976 (java) R 4939 4943 2817 0 -1 4202560 4506 0 0 0 378 4 0 0 20 0 16 0 414900555 11006283776 78238 33554432000 4194304 4196468 140725403872512 139674707326144 139674846546244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36864000 140725403878411 140725403878514 140725403878514 140725403881423 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312952 KiB
Child status: 0
Real time (s): 5.87281
CPU time (s): 12.3872
CPU user time (s): 12.1427
CPU system time (s): 0.244584
CPU usage (%): 210.925
Max. virtual memory (cumulated for all children) (KiB): 10750956
Max. memory (cumulated for all children) (KiB): 333660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1427
system time used= 0.244584
maximum resident set size= 333724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3131
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 4943
# total CPU time (s): 12.3872
# total CPU user time (s): 12.1427
# total CPU system time (s): 0.244584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055827 second user time and 0.106329 second system time
The end