2.40/1.88
2.40/1.88 AbsCon 2
2.65/1.90
3.32/2.19 Instance
3.32/2.19 name=instance-4390789-1568381622, framework=COP, bounds=-infty..+infty
3.32/2.19
3.32/2.19 Loading variables...
3.66/2.26 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32474596
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2ba1b5
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e3d291
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a40f071
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fccb006
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938f612
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f71c10
5.06/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3d2b25
5.06/2.66
5.06/2.66
5.06/2.66 Domains
5.06/2.66 nTypes=6, nValues=3615, sizes=[2#1065,3#150,4#105,5#30,15#15,16#15]
5.06/2.66 Variables
5.06/2.66 count=1380, degrees=[2#495,3#870,31#15]
5.06/2.66 Objectives
5.06/2.66 way=min, type=ObjMaximumLE
5.06/2.66 Constraints
5.06/2.66 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.06/2.66 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.06/2.66 tables=[3#165,4#150,5#105,6#30], nTotalTuples=1800
5.06/2.66 nExtStructures=(454,shared:446), nIntStructures=(4,shared:416), nCftStructures=(454,shared:416,unbuilt:497)
5.06/2.66 wck=0.806, cpu=2.61, mem=82M3
5.42/2.74 Solver SolverBacktrack being built...
5.42/2.74
5.42/2.77
5.42/2.77 Solver
5.42/2.77 guaranteedGAC=false
5.42/2.77 wck=0.924, cpu=2.727, mem=134M950
5.68/2.80
5.68/2.80 Preprocessing
5.68/2.80 filters=30, revisions=(60,useless=49), ccks=456, nACremovedValues=43, nTotalRemovedValues=43, inconcistency=false
5.68/2.80 wck=0.025, cpu=2.753, mem=134M950
5.68/2.80
5.68/2.86 o 13
6.02/2.92 num=0, depth=1381..1379, filters=1834, revisions=(6799,useless=5511), ccks=6688, wck=0.145, mem=134M950
6.02/2.92 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=13
6.02/2.92 nFilterCalls=2688, avgTableProportion=0.7452380952380971, avgTableSize=3.138392857142857
6.02/2.92
6.02/2.94 num=1, depth=0..8, filters=3894, revisions=(12292,useless=9523), ccks=9377, wck=0.169, mem=137M593
6.02/2.94 decisions=46, wrong=12, backtracks=1, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=13
6.02/2.94 nFilterCalls=4083, avgTableProportion=0.7462119356682257, avgTableSize=3.1540533921136418
6.02/2.94
6.02/2.97 num=2, depth=8..23, filters=6468, revisions=(18440,useless=13884), ccks=14106, wck=0.189, mem=137M593
6.02/2.97 decisions=95, wrong=27, backtracks=5, failedAssignments=22, nogoods=7, foundSolutions=1, bestBound=13
6.02/2.97 nFilterCalls=5376, avgTableProportion=0.7494574652777937, avgTableSize=3.199404761904762
6.02/2.97
6.02/2.99 num=3, depth=19..28, filters=9276, revisions=(25306,useless=18602), ccks=19169, wck=0.213, mem=137M593
6.02/2.99 decisions=150, wrong=43, backtracks=10, failedAssignments=34, nogoods=11, foundSolutions=1, bestBound=13
6.02/2.99 nFilterCalls=6725, avgTableProportion=0.751454770755916, avgTableSize=3.2286988847583644
6.02/2.99
6.33/3.02 num=4, depth=20..27, filters=14708, revisions=(37222,useless=26953), ccks=27483, wck=0.246, mem=137M593
6.33/3.02 decisions=226, wrong=71, backtracks=28, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=13
6.33/3.02 nFilterCalls=9382, avgTableProportion=0.7548905705962206, avgTableSize=3.287571946280111
6.33/3.02
6.33/3.05 o 12
6.33/3.09 num=5, depth=22..1379, filters=16849, revisions=(45301,useless=33495), ccks=32526, wck=0.316, mem=137M593
6.33/3.09 decisions=271, wrong=78, backtracks=28, failedAssignments=54, nogoods=22, foundSolutions=2, bestBound=12
6.33/3.09 nFilterCalls=11763, avgTableProportion=0.7527147269687647, avgTableSize=3.253846807787129
6.33/3.09
6.64/3.14 num=6, depth=19..23, filters=22562, revisions=(60113,useless=44438), ccks=40746, wck=0.359, mem=137M593
6.64/3.14 decisions=347, wrong=106, backtracks=43, failedAssignments=70, nogoods=28, foundSolutions=2, bestBound=12
6.64/3.14 nFilterCalls=14981, avgTableProportion=0.7519813986604758, avgTableSize=3.228756424804753
6.64/3.14
6.64/3.16 o 11
6.92/3.20 num=7, depth=25..1379, filters=24563, revisions=(68276,useless=51150), ccks=45672, wck=0.426, mem=137M593
6.92/3.20 decisions=385, wrong=111, backtracks=43, failedAssignments=75, nogoods=33, foundSolutions=3, bestBound=11
6.92/3.20 nFilterCalls=17302, avgTableProportion=0.7509883250490395, avgTableSize=3.2155820136400415
6.92/3.20
6.92/3.22 num=8, depth=13..23, filters=26159, revisions=(74117,useless=55791), ccks=47902, wck=0.445, mem=140M235
6.92/3.22 decisions=432, wrong=124, backtracks=44, failedAssignments=87, nogoods=39, foundSolutions=3, bestBound=11
6.92/3.22 nFilterCalls=18559, avgTableProportion=0.750849542899119, avgTableSize=3.215421089498357
6.92/3.22
6.92/3.24 num=9, depth=10..26, filters=28074, revisions=(80662,useless=60918), ccks=51099, wck=0.46, mem=140M235
6.92/3.24 decisions=484, wrong=139, backtracks=48, failedAssignments=98, nogoods=46, foundSolutions=3, bestBound=11
6.92/3.24 nFilterCalls=19519, avgTableProportion=0.751181754529661, avgTableSize=3.2214252779343204
6.92/3.24
6.92/3.26 num=10, depth=0..33, filters=31002, revisions=(89839,useless=67989), ccks=55644, wck=0.481, mem=140M235
6.92/3.26 decisions=543, wrong=155, backtracks=54, failedAssignments=110, nogoods=54, foundSolutions=3, bestBound=11
6.92/3.26 nFilterCalls=20912, avgTableProportion=0.7516258607496858, avgTableSize=3.2280030604437644
6.92/3.26
6.92/3.28 o 10
7.22/3.32 num=11, depth=14..1379, filters=33021, revisions=(98037,useless=74693), ccks=60368, wck=0.547, mem=140M235
7.22/3.32 decisions=576, wrong=160, backtracks=54, failedAssignments=115, nogoods=59, foundSolutions=4, bestBound=10
7.22/3.32 nFilterCalls=23308, avgTableProportion=0.75090598363927, avgTableSize=3.2175647846233053
7.22/3.32
7.22/3.35 num=12, depth=13..20, filters=35887, revisions=(106949,useless=81458), ccks=64597, wck=0.57, mem=140M235
7.22/3.35 decisions=633, wrong=181, backtracks=63, failedAssignments=129, nogoods=70, foundSolutions=4, bestBound=10
7.22/3.35 nFilterCalls=25205, avgTableProportion=0.7513952258148741, avgTableSize=3.2271771473913904
7.22/3.35
7.22/3.37 num=13, depth=12..25, filters=38738, revisions=(115316,useless=87730), ccks=68986, wck=0.591, mem=140M235
7.22/3.37 decisions=691, wrong=201, backtracks=78, failedAssignments=140, nogoods=75, foundSolutions=4, bestBound=10
7.22/3.37 nFilterCalls=26655, avgTableProportion=0.7516007003062761, avgTableSize=3.2316263365222286
7.22/3.37
7.22/3.39 num=14, depth=19..34, filters=41778, revisions=(124538,useless=94776), ccks=73414, wck=0.614, mem=140M235
7.22/3.39 decisions=771, wrong=227, backtracks=97, failedAssignments=152, nogoods=80, foundSolutions=4, bestBound=10
7.22/3.39 nFilterCalls=28141, avgTableProportion=0.7518099333119056, avgTableSize=3.234533243310472
7.22/3.39
7.52/3.42 num=15, depth=13..24, filters=46564, revisions=(137541,useless=104346), ccks=79937, wck=0.646, mem=140M235
7.52/3.42 decisions=855, wrong=262, backtracks=125, failedAssignments=165, nogoods=83, foundSolutions=4, bestBound=10
7.52/3.42 nFilterCalls=30453, avgTableProportion=0.7523960419880915, avgTableSize=3.2448034676386563
7.52/3.42
7.52/3.45 o 9
7.52/3.48 num=16, depth=18..1379, filters=48745, revisions=(144627,useless=109909), ccks=84557, wck=0.703, mem=142M778
7.52/3.48 decisions=892, wrong=265, backtracks=125, failedAssignments=168, nogoods=86, foundSolutions=5, bestBound=9
7.52/3.48 nFilterCalls=32993, avgTableProportion=0.7517225876195026, avgTableSize=3.235231715818507
7.52/3.48
7.83/3.51 num=17, depth=14..29, filters=52983, revisions=(156397,useless=118602), ccks=90591, wck=0.737, mem=142M778
7.83/3.51 decisions=971, wrong=291, backtracks=136, failedAssignments=184, nogoods=91, foundSolutions=5, bestBound=9
7.83/3.51 nFilterCalls=35725, avgTableProportion=0.7515768602751647, avgTableSize=3.234709587123863
7.83/3.51
7.83/3.54 num=18, depth=18..21, filters=57611, revisions=(165918,useless=124978), ccks=96451, wck=0.762, mem=142M778
7.83/3.54 decisions=1030, wrong=311, backtracks=145, failedAssignments=195, nogoods=94, foundSolutions=5, bestBound=9
7.83/3.54 nFilterCalls=38237, avgTableProportion=0.752134494512206, avgTableSize=3.2472997358579385
7.83/3.54
7.83/3.56 num=19, depth=17..28, filters=60359, revisions=(173005,useless=130088), ccks=100654, wck=0.78, mem=142M778
7.83/3.56 decisions=1082, wrong=324, backtracks=146, failedAssignments=207, nogoods=104, foundSolutions=5, bestBound=9
7.83/3.56 nFilterCalls=39561, avgTableProportion=0.7519918606707767, avgTableSize=3.244912919289199
7.83/3.56
7.83/3.58 num=20, depth=18..20, filters=64228, revisions=(182183,useless=136624), ccks=106308, wck=0.803, mem=142M778
7.83/3.58 decisions=1137, wrong=342, backtracks=151, failedAssignments=220, nogoods=108, foundSolutions=5, bestBound=9
7.83/3.58 nFilterCalls=41521, avgTableProportion=0.7513563417707567, avgTableSize=3.2341465764312036
7.83/3.58
8.13/3.60 num=21, depth=19..21, filters=67960, revisions=(191343,useless=143136), ccks=111671, wck=0.825, mem=142M778
8.13/3.60 decisions=1191, wrong=359, backtracks=156, failedAssignments=234, nogoods=114, foundSolutions=5, bestBound=9
8.13/3.60 nFilterCalls=43384, avgTableProportion=0.7509830813202362, avgTableSize=3.227779826664208
8.13/3.60
8.13/3.63 num=22, depth=20..23, filters=71832, revisions=(201446,useless=150397), ccks=117362, wck=0.849, mem=142M778
8.13/3.63 decisions=1251, wrong=379, backtracks=161, failedAssignments=250, nogoods=116, foundSolutions=5, bestBound=9
8.13/3.63 nFilterCalls=45292, avgTableProportion=0.7506189466866279, avgTableSize=3.2219155700786013
8.13/3.63
8.13/3.65 num=23, depth=23..25, filters=76171, revisions=(212544,useless=158400), ccks=122964, wck=0.876, mem=142M778
8.13/3.65 decisions=1320, wrong=402, backtracks=169, failedAssignments=267, nogoods=120, foundSolutions=5, bestBound=9
8.13/3.65 nFilterCalls=47322, avgTableProportion=0.7501465139539968, avgTableSize=3.214868348759562
8.13/3.65
8.13/3.68 num=24, depth=19..22, filters=81742, revisions=(226662,useless=168397), ccks=131336, wck=0.908, mem=142M778
8.13/3.68 decisions=1396, wrong=430, backtracks=179, failedAssignments=286, nogoods=125, foundSolutions=5, bestBound=9
8.13/3.68 nFilterCalls=50054, avgTableProportion=0.7499680345226875, avgTableSize=3.213869021456827
8.13/3.68
8.45/3.70 num=25, depth=12..25, filters=84081, revisions=(233231,useless=173299), ccks=134836, wck=0.924, mem=142M778
8.45/3.70 decisions=1466, wrong=457, backtracks=185, failedAssignments=307, nogoods=131, foundSolutions=5, bestBound=9
8.45/3.70 nFilterCalls=51128, avgTableProportion=0.75016722735095, avgTableSize=3.2168087936160226
8.45/3.70
8.45/3.79 num=26, depth=15..19, filters=90001, revisions=(249491,useless=185264), ccks=143727, wck=1.01, mem=59M395
8.45/3.79 decisions=1549, wrong=490, backtracks=197, failedAssignments=330, nogoods=136, foundSolutions=5, bestBound=9
8.45/3.79 nFilterCalls=54140, avgTableProportion=0.7494849772195444, avgTableSize=3.203915773919468
8.45/3.79
8.78/3.82 num=27, depth=12..16, filters=96171, revisions=(265420,useless=196821), ccks=152888, wck=1.045, mem=59M395
8.78/3.82 decisions=1636, wrong=527, backtracks=212, failedAssignments=355, nogoods=143, foundSolutions=5, bestBound=9
8.78/3.82 nFilterCalls=57177, avgTableProportion=0.7489899784878532, avgTableSize=3.1947811182818264
8.78/3.82
8.78/3.86 num=28, depth=17..33, filters=102981, revisions=(281577,useless=208138), ccks=162754, wck=1.083, mem=59M395
8.78/3.86 decisions=1743, wrong=567, backtracks=226, failedAssignments=383, nogoods=153, foundSolutions=5, bestBound=9
8.78/3.86 nFilterCalls=60582, avgTableProportion=0.7492002575022585, avgTableSize=3.1988379386616486
8.78/3.86
9.08/3.90 num=29, depth=20..23, filters=111469, revisions=(301634,useless=221926), ccks=175270, wck=1.127, mem=59M395
9.08/3.90 decisions=1848, wrong=609, backtracks=240, failedAssignments=414, nogoods=156, foundSolutions=5, bestBound=9
9.08/3.90 nFilterCalls=64626, avgTableProportion=0.7497307585183101, avgTableSize=3.206990994336645
9.08/3.90
9.08/3.94 num=30, depth=17..26, filters=117905, revisions=(318532,useless=234099), ccks=185344, wck=1.165, mem=60M716
9.08/3.94 decisions=1964, wrong=656, backtracks=262, failedAssignments=448, nogoods=161, foundSolutions=5, bestBound=9
9.08/3.94 nFilterCalls=67713, avgTableProportion=0.7498572406087387, avgTableSize=3.208689616469511
9.08/3.94
9.08/3.99 num=31, depth=17..23, filters=128176, revisions=(338374,useless=246781), ccks=199222, wck=1.215, mem=60M716
9.08/3.99 decisions=2087, wrong=708, backtracks=279, failedAssignments=485, nogoods=169, foundSolutions=5, bestBound=9
9.08/3.99 nFilterCalls=72762, avgTableProportion=0.7502247052033942, avgTableSize=3.2155108435721944
9.08/3.99
9.41/4.03 num=32, depth=12..28, filters=134153, revisions=(355307,useless=259394), ccks=207735, wck=1.252, mem=63M331
9.41/4.03 decisions=2261, wrong=785, backtracks=328, failedAssignments=526, nogoods=176, foundSolutions=5, bestBound=9
9.41/4.03 nFilterCalls=75323, avgTableProportion=0.7501717049685183, avgTableSize=3.2139187233647095
9.41/4.03
9.41/4.07 num=33, depth=13..22, filters=141744, revisions=(373387,useless=272107), ccks=218739, wck=1.293, mem=63M331
9.41/4.07 decisions=2407, wrong=849, backtracks=350, failedAssignments=571, nogoods=182, foundSolutions=5, bestBound=9
9.41/4.07 nFilterCalls=78785, avgTableProportion=0.7505316155784231, avgTableSize=3.2180998921114425
9.41/4.07
9.71/4.12 o 8
9.71/4.15 num=34, depth=16..1379, filters=149617, revisions=(394453,useless=287702), ccks=231293, wck=1.378, mem=63M331
9.71/4.15 decisions=2544, wrong=899, backtracks=366, failedAssignments=608, nogoods=190, foundSolutions=6, bestBound=8
9.71/4.15 nFilterCalls=83938, avgTableProportion=0.7503881833418409, avgTableSize=3.214765660368367
9.71/4.15
9.98/4.23 num=35, depth=20..24, filters=162462, revisions=(425244,useless=309385), ccks=249087, wck=1.45, mem=63M331
9.98/4.23 decisions=2721, wrong=977, backtracks=394, failedAssignments=663, nogoods=194, foundSolutions=6, bestBound=8
9.98/4.23 nFilterCalls=90625, avgTableProportion=0.7505101609197508, avgTableSize=3.216783448275862
9.98/4.23
9.98/4.25 num=36, depth=14..16, filters=165922, revisions=(433577,useless=315137), ccks=255266, wck=1.47, mem=65M945
9.98/4.25 decisions=2766, wrong=992, backtracks=399, failedAssignments=674, nogoods=196, foundSolutions=6, bestBound=8
9.98/4.25 nFilterCalls=92439, avgTableProportion=0.7506717943727452, avgTableSize=3.2188902952217138
9.98/4.25
9.98/4.26 num=37, depth=11..20, filters=167619, revisions=(438596,useless=318912), ccks=258101, wck=1.482, mem=65M945
9.98/4.26 decisions=2813, wrong=1007, backtracks=403, failedAssignments=686, nogoods=203, foundSolutions=6, bestBound=8
9.98/4.26 nFilterCalls=93247, avgTableProportion=0.7506865278956983, avgTableSize=3.2193100046114083
9.98/4.26
9.98/4.27 num=38, depth=14..17, filters=169516, revisions=(444035,useless=322968), ccks=261295, wck=1.495, mem=65M945
9.98/4.27 decisions=2864, wrong=1025, backtracks=408, failedAssignments=699, nogoods=207, foundSolutions=6, bestBound=8
9.98/4.27 nFilterCalls=94180, avgTableProportion=0.7507059177464263, avgTableSize=3.2196432363559144
9.98/4.27
9.98/4.28 num=39, depth=16..19, filters=171524, revisions=(450238,useless=327691), ccks=264693, wck=1.509, mem=65M945
9.98/4.28 decisions=2920, wrong=1045, backtracks=414, failedAssignments=713, nogoods=208, foundSolutions=6, bestBound=8
9.98/4.28 nFilterCalls=95171, avgTableProportion=0.7508197525159221, avgTableSize=3.221842788244318
9.98/4.28
10.29/4.31 num=40, depth=14..16, filters=176256, revisions=(460068,useless=334078), ccks=271910, wck=1.533, mem=65M945
10.29/4.31 decisions=2977, wrong=1066, backtracks=419, failedAssignments=729, nogoods=213, foundSolutions=6, bestBound=8
10.29/4.31 nFilterCalls=97477, avgTableProportion=0.7510210955749893, avgTableSize=3.2241144064753735
10.29/4.31
10.29/4.33 num=41, depth=9..17, filters=178962, revisions=(467720,useless=339706), ccks=276334, wck=1.55, mem=65M945
10.29/4.33 decisions=3042, wrong=1091, backtracks=428, failedAssignments=746, nogoods=221, foundSolutions=6, bestBound=8
10.29/4.33 nFilterCalls=98703, avgTableProportion=0.7511303270082765, avgTableSize=3.225859396370931
10.29/4.33
10.29/4.36 num=42, depth=14..18, filters=185341, revisions=(481806,useless=349280), ccks=285105, wck=1.583, mem=65M945
10.29/4.36 decisions=3120, wrong=1123, backtracks=443, failedAssignments=765, nogoods=223, foundSolutions=6, bestBound=8
10.29/4.36 nFilterCalls=101755, avgTableProportion=0.751089217565437, avgTableSize=3.22457864478404
10.29/4.36
10.29/4.38 num=43, depth=9..37, filters=188857, revisions=(492588,useless=357499), ccks=290594, wck=1.608, mem=65M945
10.29/4.38 decisions=3227, wrong=1161, backtracks=470, failedAssignments=786, nogoods=231, foundSolutions=6, bestBound=8
10.29/4.38 nFilterCalls=103339, avgTableProportion=0.7511705809685285, avgTableSize=3.225935997058226
10.29/4.38
10.60/4.41 num=44, depth=14..18, filters=193833, revisions=(504694,useless=366039), ccks=298104, wck=1.636, mem=65M945
10.60/4.41 decisions=3306, wrong=1193, backtracks=482, failedAssignments=809, nogoods=236, foundSolutions=6, bestBound=8
10.60/4.41 nFilterCalls=105768, avgTableProportion=0.7512261112375905, avgTableSize=3.227157552378791
10.60/4.41
10.60/4.44 num=45, depth=15..19, filters=199185, revisions=(518274,useless=375714), ccks=306447, wck=1.666, mem=65M945
10.60/4.44 decisions=3390, wrong=1227, backtracks=494, failedAssignments=834, nogoods=243, foundSolutions=6, bestBound=8
10.60/4.44 nFilterCalls=108499, avgTableProportion=0.7513855734465847, avgTableSize=3.230306270103872
10.60/4.44
10.60/4.48 num=46, depth=15..17, filters=206306, revisions=(533659,useless=385962), ccks=317303, wck=1.702, mem=65M945
10.60/4.48 decisions=3475, wrong=1262, backtracks=502, failedAssignments=862, nogoods=254, foundSolutions=6, bestBound=8
10.60/4.48 nFilterCalls=111976, avgTableProportion=0.7515873937276992, avgTableSize=3.233246409944988
10.60/4.48
10.90/4.51 num=47, depth=11..23, filters=211885, revisions=(548061,useless=396283), ccks=325855, wck=1.735, mem=68M560
10.90/4.51 decisions=3593, wrong=1315, backtracks=531, failedAssignments=893, nogoods=256, foundSolutions=6, bestBound=8
10.90/4.51 nFilterCalls=114579, avgTableProportion=0.7519210908344612, avgTableSize=3.2384381082048193
10.90/4.51
10.90/4.54 num=48, depth=15..37, filters=216885, revisions=(563288,useless=407811), ccks=333824, wck=1.768, mem=68M560
10.90/4.54 decisions=3720, wrong=1364, backtracks=550, failedAssignments=927, nogoods=266, foundSolutions=6, bestBound=8
10.90/4.54 nFilterCalls=116908, avgTableProportion=0.7520139768027688, avgTableSize=3.239906593218599
10.90/4.54
11.20/4.60 num=49, depth=15..20, filters=226830, revisions=(587579,useless=425074), ccks=347978, wck=1.822, mem=68M560
11.20/4.60 decisions=3847, wrong=1420, backtracks=572, failedAssignments=964, nogoods=267, foundSolutions=6, bestBound=8
11.20/4.60 nFilterCalls=121902, avgTableProportion=0.7519704352682007, avgTableSize=3.2385276697675183
11.20/4.60
11.20/4.63 num=50, depth=16..33, filters=231998, revisions=(601731,useless=435531), ccks=354770, wck=1.855, mem=68M560
11.20/4.63 decisions=3987, wrong=1477, backtracks=593, failedAssignments=1005, nogoods=276, foundSolutions=6, bestBound=8
11.20/4.63 nFilterCalls=124186, avgTableProportion=0.7519673446824492, avgTableSize=3.2383199394456703
11.20/4.63
11.20/4.69 num=51, depth=20..23, filters=243277, revisions=(626625,useless=452565), ccks=371155, wck=1.916, mem=68M560
11.20/4.69 decisions=4130, wrong=1538, backtracks=610, failedAssignments=1050, nogoods=287, foundSolutions=6, bestBound=8
11.20/4.69 nFilterCalls=129753, avgTableProportion=0.7519614190044009, avgTableSize=3.2394241366288257
11.20/4.69
11.50/4.73 num=52, depth=11..30, filters=250986, revisions=(647825,useless=468292), ccks=382498, wck=1.951, mem=68M560
11.50/4.73 decisions=4313, wrong=1618, backtracks=646, failedAssignments=1100, nogoods=301, foundSolutions=6, bestBound=8
11.50/4.73 nFilterCalls=133224, avgTableProportion=0.7519992643974326, avgTableSize=3.2395139013991474
11.50/4.73
11.50/4.77 num=53, depth=18..22, filters=264418, revisions=(678071,useless=489042), ccks=401444, wck=1.998, mem=71M175
11.50/4.77 decisions=4484, wrong=1694, backtracks=669, failedAssignments=1155, nogoods=305, foundSolutions=6, bestBound=8
11.50/4.77 nFilterCalls=139818, avgTableProportion=0.7517554964317731, avgTableSize=3.2345620735527616
11.50/4.77
11.79/4.80 num=54, depth=8..22, filters=271440, revisions=(696509,useless=502291), ccks=411085, wck=2.025, mem=71M175
11.79/4.80 decisions=4655, wrong=1774, backtracks=695, failedAssignments=1216, nogoods=314, foundSolutions=6, bestBound=8
11.79/4.80 nFilterCalls=142816, avgTableProportion=0.7518400132578605, avgTableSize=3.2355548397938607
11.79/4.80
11.79/4.84 num=55, depth=9..12, filters=281822, revisions=(723518,useless=521839), ccks=428231, wck=2.063, mem=71M175
11.79/4.84 decisions=4836, wrong=1859, backtracks=718, failedAssignments=1283, nogoods=323, foundSolutions=6, bestBound=8
11.79/4.84 nFilterCalls=148026, avgTableProportion=0.751948306379354, avgTableSize=3.236039614662289
11.79/4.84
11.79/4.88 num=56, depth=10..24, filters=291560, revisions=(748344,useless=539390), ccks=441657, wck=2.1, mem=71M175
11.79/4.88 decisions=5056, wrong=1958, backtracks=748, failedAssignments=1357, nogoods=333, foundSolutions=6, bestBound=8
11.79/4.88 nFilterCalls=152271, avgTableProportion=0.7520763419612553, avgTableSize=3.237799712354946
11.79/4.88
12.10/4.94 num=57, depth=12..18, filters=310349, revisions=(788086,useless=565658), ccks=466492, wck=2.165, mem=71M175
12.10/4.94 decisions=5282, wrong=2065, backtracks=778, failedAssignments=1438, nogoods=347, foundSolutions=6, bestBound=8
12.10/4.94 nFilterCalls=161448, avgTableProportion=0.7520609319004413, avgTableSize=3.2362989941033646
12.10/4.94
12.10/4.99 o 7
12.42/5.02 num=58, depth=8..1379, filters=319877, revisions=(815655,useless=586326), ccks=481320, wck=2.246, mem=73M790
12.42/5.02 decisions=5540, wrong=2182, backtracks=818, failedAssignments=1522, nogoods=363, foundSolutions=7, bestBound=7
12.42/5.02 nFilterCalls=166861, avgTableProportion=0.7521284182651258, avgTableSize=3.236939728276829
12.42/5.02
12.42/5.10 num=59, depth=18..25, filters=342403, revisions=(864659,useless=619222), ccks=514266, wck=2.325, mem=73M790
12.42/5.10 decisions=5828, wrong=2316, backtracks=865, failedAssignments=1620, nogoods=365, foundSolutions=7, bestBound=7
12.42/5.10 nFilterCalls=178439, avgTableProportion=0.7512473917331122, avgTableSize=3.22188535017569
12.42/5.10
12.74/5.11 num=60, depth=9..14, filters=344348, revisions=(869519,useless=622629), ccks=517313, wck=2.332, mem=73M790
12.74/5.11 decisions=5871, wrong=2333, backtracks=871, failedAssignments=1631, nogoods=371, foundSolutions=7, bestBound=7
12.74/5.11 nFilterCalls=179268, avgTableProportion=0.7512678410729258, avgTableSize=3.2223765535399513
12.74/5.11
12.74/5.12 num=61, depth=10..14, filters=346884, revisions=(875274,useless=626622), ccks=520773, wck=2.341, mem=73M790
12.74/5.12 decisions=5913, wrong=2348, backtracks=875, failedAssignments=1643, nogoods=378, foundSolutions=7, bestBound=7
12.74/5.12 nFilterCalls=180461, avgTableProportion=0.7512131891846676, avgTableSize=3.221504923501477
12.74/5.12
12.74/5.13 num=62, depth=7..17, filters=349146, revisions=(880749,useless=630441), ccks=524149, wck=2.35, mem=73M790
12.74/5.13 decisions=5965, wrong=2369, backtracks=883, failedAssignments=1656, nogoods=383, foundSolutions=7, bestBound=7
12.74/5.13 nFilterCalls=181437, avgTableProportion=0.7512182373686157, avgTableSize=3.2217022988695803
12.74/5.13
12.74/5.14 num=63, depth=13..18, filters=352260, revisions=(888181,useless=635566), ccks=529122, wck=2.362, mem=73M790
12.74/5.14 decisions=6018, wrong=2388, backtracks=889, failedAssignments=1670, nogoods=387, foundSolutions=7, bestBound=7
12.74/5.14 nFilterCalls=182986, avgTableProportion=0.7512356136540885, avgTableSize=3.221956871017455
12.74/5.14
12.74/5.15 num=64, depth=13..18, filters=355025, revisions=(895857,useless=641219), ccks=533633, wck=2.373, mem=73M790
12.74/5.15 decisions=6078, wrong=2411, backtracks=899, failedAssignments=1686, nogoods=392, foundSolutions=7, bestBound=7
12.74/5.15 nFilterCalls=184328, avgTableProportion=0.7512513924458993, avgTableSize=3.2224567076081767
12.74/5.15
12.74/5.16 num=65, depth=13..16, filters=359004, revisions=(903797,useless=646444), ccks=538790, wck=2.385, mem=73M790
12.74/5.16 decisions=6135, wrong=2433, backtracks=905, failedAssignments=1703, nogoods=395, foundSolutions=7, bestBound=7
12.74/5.16 nFilterCalls=186227, avgTableProportion=0.7511988952555575, avgTableSize=3.2214447958674093
12.74/5.16
12.74/5.17 num=66, depth=9..16, filters=361725, revisions=(911401,useless=652015), ccks=542957, wck=2.396, mem=73M790
12.74/5.17 decisions=6204, wrong=2462, backtracks=916, failedAssignments=1722, nogoods=403, foundSolutions=7, bestBound=7
12.74/5.17 nFilterCalls=187438, avgTableProportion=0.7512283172751447, avgTableSize=3.2221801342310523
12.74/5.17
12.74/5.19 num=67, depth=11..14, filters=366502, revisions=(922203,useless=659216), ccks=549791, wck=2.41, mem=73M790
12.74/5.19 decisions=6270, wrong=2488, backtracks=922, failedAssignments=1743, nogoods=414, foundSolutions=7, bestBound=7
12.74/5.19 nFilterCalls=189713, avgTableProportion=0.7511576258176285, avgTableSize=3.2212658067712807
12.74/5.19
12.74/5.20 num=68, depth=7..12, filters=369172, revisions=(928945,useless=663956), ccks=553528, wck=2.42, mem=73M790
12.74/5.20 decisions=6337, wrong=2518, backtracks=929, failedAssignments=1766, nogoods=425, foundSolutions=7, bestBound=7
12.74/5.20 nFilterCalls=190839, avgTableProportion=0.7511661662452008, avgTableSize=3.2215637264919645
12.74/5.20
13.01/5.21 num=69, depth=8..12, filters=374946, revisions=(939843,useless=670920), ccks=560781, wck=2.436, mem=73M790
13.01/5.21 decisions=6407, wrong=2549, backtracks=936, failedAssignments=1791, nogoods=427, foundSolutions=7, bestBound=7
13.01/5.21 nFilterCalls=193566, avgTableProportion=0.7511416433329623, avgTableSize=3.2213198598927497
13.01/5.21
13.01/5.22 num=70, depth=7..12, filters=377978, revisions=(946627,useless=675459), ccks=564934, wck=2.446, mem=76M404
13.01/5.22 decisions=6483, wrong=2583, backtracks=942, failedAssignments=1819, nogoods=437, foundSolutions=7, bestBound=7
13.01/5.22 nFilterCalls=194811, avgTableProportion=0.7511318662706361, avgTableSize=3.2212708727946575
13.01/5.22
13.01/5.24 num=71, depth=14..18, filters=384583, revisions=(961736,useless=685687), ccks=575439, wck=2.465, mem=76M404
13.01/5.24 decisions=6574, wrong=2621, backtracks=953, failedAssignments=1850, nogoods=445, foundSolutions=7, bestBound=7
13.01/5.24 nFilterCalls=197963, avgTableProportion=0.7511684001557338, avgTableSize=3.221844486090835
13.01/5.24
13.01/5.26 num=72, depth=5..11, filters=389807, revisions=(974774,useless=694768), ccks=583325, wck=2.479, mem=76M404
13.01/5.26 decisions=6672, wrong=2666, backtracks=965, failedAssignments=1884, nogoods=454, foundSolutions=7, bestBound=7
13.01/5.26 nFilterCalls=200430, avgTableProportion=0.7510887425369573, avgTableSize=3.220775333033977
13.01/5.26
13.01/5.28 num=73, depth=9..14, filters=398504, revisions=(992353,useless=705830), ccks=597596, wck=2.501, mem=76M404
13.01/5.28 decisions=6770, wrong=2710, backtracks=975, failedAssignments=1921, nogoods=457, foundSolutions=7, bestBound=7
13.01/5.28 nFilterCalls=204736, avgTableProportion=0.7511633681097893, avgTableSize=3.22121170678337
13.01/5.28
13.31/5.30 num=74, depth=9..13, filters=407809, revisions=(1012418,useless=719289), ccks=610811, wck=2.524, mem=76M404
13.31/5.30 decisions=6890, wrong=2765, backtracks=992, failedAssignments=1962, nogoods=463, foundSolutions=7, bestBound=7
13.31/5.30 nFilterCalls=209071, avgTableProportion=0.7513446787613077, avgTableSize=3.224593559125847
13.31/5.30
13.31/5.32 num=75, depth=12..19, filters=414303, revisions=(1029342,useless=731246), ccks=620924, wck=2.542, mem=76M404
13.31/5.32 decisions=7024, wrong=2825, backtracks=1009, failedAssignments=2007, nogoods=468, foundSolutions=7, bestBound=7
13.31/5.32 nFilterCalls=212075, avgTableProportion=0.7511889661674168, avgTableSize=3.222690086054462
13.31/5.32
13.31/5.33 num=76, depth=7..16, filters=421082, revisions=(1046324,useless=743077), ccks=631018, wck=2.559, mem=76M404
13.31/5.33 decisions=7171, wrong=2895, backtracks=1034, failedAssignments=2057, nogoods=473, foundSolutions=7, bestBound=7
13.31/5.33 nFilterCalls=215109, avgTableProportion=0.7511715765802796, avgTableSize=3.2226778052057328
13.31/5.33
13.31/5.36 num=77, depth=7..17, filters=430989, revisions=(1067625,useless=757485), ccks=644203, wck=2.581, mem=76M404
13.31/5.36 decisions=7329, wrong=2970, backtracks=1056, failedAssignments=2112, nogoods=485, foundSolutions=7, bestBound=7
13.31/5.36 nFilterCalls=219650, avgTableProportion=0.7512129144847942, avgTableSize=3.2238424766674254
13.31/5.36
13.31/5.38 num=78, depth=3..17, filters=439809, revisions=(1087441,useless=770611), ccks=656235, wck=2.601, mem=76M404
13.31/5.38 decisions=7502, wrong=3055, backtracks=1083, failedAssignments=2173, nogoods=486, foundSolutions=7, bestBound=7
13.31/5.38 nFilterCalls=223402, avgTableProportion=0.7511609863231475, avgTableSize=3.223261206255987
13.31/5.38
13.61/5.41 num=79, depth=3..11, filters=456101, revisions=(1120421,useless=791795), ccks=680817, wck=2.635, mem=76M404
13.61/5.41 decisions=7686, wrong=3145, backtracks=1120, failedAssignments=2240, nogoods=489, foundSolutions=7, bestBound=7
13.61/5.41 nFilterCalls=231426, avgTableProportion=0.7511885008592687, avgTableSize=3.2222827167215438
13.61/5.41
13.61/5.44 num=80, depth=5..10, filters=467297, revisions=(1144853,useless=808011), ccks=694968, wck=2.66, mem=76M404
13.61/5.44 decisions=7878, wrong=3238, backtracks=1140, failedAssignments=2314, nogoods=503, foundSolutions=7, bestBound=7
13.61/5.44 nFilterCalls=236224, avgTableProportion=0.7511604804472287, avgTableSize=3.2220773503115687
13.61/5.44
13.61/5.46 num=81, depth=7..14, filters=480441, revisions=(1175681,useless=829284), ccks=712604, wck=2.688, mem=76M404
13.61/5.46 decisions=8096, wrong=3343, backtracks=1169, failedAssignments=2395, nogoods=516, foundSolutions=7, bestBound=7
13.61/5.46 nFilterCalls=242216, avgTableProportion=0.7511577132248461, avgTableSize=3.222557551937114
13.61/5.46
13.61/5.49 num=82, depth=7..16, filters=490011, revisions=(1198128,useless=844596), ccks=725684, wck=2.71, mem=76M404
13.61/5.49 decisions=8318, wrong=3450, backtracks=1194, failedAssignments=2484, nogoods=526, foundSolutions=7, bestBound=7
13.61/5.49 nFilterCalls=246275, avgTableProportion=0.7511946672071965, avgTableSize=3.2231895239062025
13.61/5.49
13.91/5.52 num=83, depth=7..14, filters=509544, revisions=(1236662,useless=869485), ccks=752432, wck=2.748, mem=76M404
13.91/5.52 decisions=8565, wrong=3569, backtracks=1222, failedAssignments=2582, nogoods=539, foundSolutions=7, bestBound=7
13.91/5.52 nFilterCalls=255522, avgTableProportion=0.7511118416407998, avgTableSize=3.222090465791595
13.91/5.52
13.91/5.55 num=84, depth=4..16, filters=522663, revisions=(1265949,useless=889264), ccks=769337, wck=2.778, mem=76M404
13.91/5.55 decisions=8851, wrong=3710, backtracks=1259, failedAssignments=2690, nogoods=562, foundSolutions=7, bestBound=7
13.91/5.55 nFilterCalls=261266, avgTableProportion=0.7510108471814443, avgTableSize=3.2207099278130333
13.91/5.55
14.21/5.60 num=85, depth=5..12, filters=546774, revisions=(1313530,useless=919641), ccks=801843, wck=2.826, mem=76M404
14.21/5.60 decisions=9145, wrong=3854, backtracks=1289, failedAssignments=2809, nogoods=566, foundSolutions=7, bestBound=7
14.21/5.60 nFilterCalls=272140, avgTableProportion=0.7510003429594767, avgTableSize=3.220037480708459
14.21/5.60
14.21/5.66 num=86, depth=4..15, filters=573222, revisions=(1372689,useless=959566), ccks=839982, wck=2.881, mem=76M404
14.21/5.66 decisions=9507, wrong=4033, backtracks=1349, failedAssignments=2940, nogoods=570, foundSolutions=7, bestBound=7
14.21/5.66 nFilterCalls=284832, avgTableProportion=0.7510125266809845, avgTableSize=3.220470312324458
14.21/5.66
14.49/5.71 num=87, depth=0..13, filters=602546, revisions=(1435825,useless=1001670), ccks=879350, wck=2.936, mem=76M404
14.49/5.71 decisions=9922, wrong=4237, backtracks=1416, failedAssignments=3084, nogoods=594, foundSolutions=7, bestBound=7
14.49/5.71 nFilterCalls=298120, avgTableProportion=0.7509899816613135, avgTableSize=3.2197940426673823
14.49/5.71
14.49/5.76 num=88, depth=9..18, filters=629013, revisions=(1495072,useless=1041971), ccks=917242, wck=2.988, mem=76M404
14.49/5.76 decisions=10362, wrong=4452, backtracks=1481, failedAssignments=3242, nogoods=604, foundSolutions=7, bestBound=7
14.49/5.76 nFilterCalls=310091, avgTableProportion=0.7510129284612455, avgTableSize=3.2210028669003616
14.49/5.76
14.66/5.81 num=89, depth=4..10, filters=652133, revisions=(1544779,useless=1074816), ccks=947564, wck=3.03, mem=79M19
14.66/5.81 decisions=10791, wrong=4664, backtracks=1525, failedAssignments=3416, nogoods=620, foundSolutions=7, bestBound=7
14.66/5.81 nFilterCalls=320071, avgTableProportion=0.7510021214025274, avgTableSize=3.220794761162367
14.66/5.81
14.66/5.87 num=90, depth=2..10, filters=686164, revisions=(1611173,useless=1116581), ccks=992302, wck=3.09, mem=79M19
14.66/5.87 decisions=11281, wrong=4908, backtracks=1588, failedAssignments=3607, nogoods=641, foundSolutions=7, bestBound=7
14.66/5.87 nFilterCalls=335773, avgTableProportion=0.7510094617475211, avgTableSize=3.2203750748273388
14.66/5.87
14.84/5.92 num=91, depth=8..15, filters=719564, revisions=(1686216,useless=1167826), ccks=1036919, wck=3.146, mem=79M19
14.84/5.92 decisions=11838, wrong=5182, backtracks=1665, failedAssignments=3818, nogoods=649, foundSolutions=7, bestBound=7
14.84/5.92 nFilterCalls=350688, avgTableProportion=0.7508304627834597, avgTableSize=3.21716454512273
14.84/5.92
14.84/5.99 num=92, depth=0..16, filters=764205, revisions=(1776616,useless=1225632), ccks=1098603, wck=3.219, mem=79M19
14.84/5.99 decisions=12467, wrong=5493, backtracks=1754, failedAssignments=4050, nogoods=660, foundSolutions=7, bestBound=7
14.84/5.99 nFilterCalls=370898, avgTableProportion=0.750623127290935, avgTableSize=3.21354927769899
14.84/5.99
14.95/6.06 num=93, depth=0..11, filters=803982, revisions=(1862226,useless=1281176), ccks=1153543, wck=3.285, mem=79M19
14.95/6.06 decisions=13118, wrong=5817, backtracks=1828, failedAssignments=4305, nogoods=686, foundSolutions=7, bestBound=7
14.95/6.06 nFilterCalls=388356, avgTableProportion=0.7506678580115839, avgTableSize=3.2140973745738446
14.95/6.06
15.06/6.14 num=94, depth=0..10, filters=852103, revisions=(1964016,useless=1348455), ccks=1217603, wck=3.363, mem=79M19
15.06/6.14 decisions=13884, wrong=6197, backtracks=1944, failedAssignments=4586, nogoods=703, foundSolutions=7, bestBound=7
15.06/6.14 nFilterCalls=408558, avgTableProportion=0.7507693726046254, avgTableSize=3.215509181070986
15.06/6.14
15.15/6.22 num=95, depth=0..8, filters=905348, revisions=(2069352,useless=1415883), ccks=1288653, wck=3.449, mem=79M19
15.15/6.22 decisions=14679, wrong=6593, backtracks=2044, failedAssignments=4895, nogoods=719, foundSolutions=7, bestBound=7
15.15/6.22 nFilterCalls=431909, avgTableProportion=0.7507400478633215, avgTableSize=3.215110127364792
15.15/6.22
15.26/6.33 num=96, depth=0..8, filters=968331, revisions=(2196874,useless=1498205), ccks=1373759, wck=3.551, mem=79M19
15.26/6.33 decisions=15571, wrong=7038, backtracks=2173, failedAssignments=5235, nogoods=736, foundSolutions=7, bestBound=7
15.26/6.33 nFilterCalls=459559, avgTableProportion=0.7507093394593465, avgTableSize=3.214394669672447
15.26/6.33
15.26/6.38
15.26/6.38 New Bounds: 7..6
15.26/6.38 num=97, depth=0..5, filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820, wck=3.607, mem=79M19
15.26/6.38 decisions=16093, wrong=7300, backtracks=2247, failedAssignments=5431, foundSolutions=7, bestBound=7
15.26/6.38 nFilterCalls=474307, avgTableProportion=0.7506519335913977, avgTableSize=3.213557885504536
15.26/6.38
15.26/6.38 Global
15.26/6.38 filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820
15.26/6.38 Stop=FULL_EXPLORATION, wrong=7300, bestBound=7, bestBoundWck=3.14, bestBoundCpu=4.89, foundSolutions=7, firstSolCpu=2.809
15.26/6.38 wck=4.532, cpu=6.281, mem=79M19
15.26/6.38
15.26/6.38 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>
15.26/6.38 s OPTIMUM FOUND
15.26/6.38
15.26/6.38 d WRONG_DECISIONS 7300
15.26/6.38 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 (14520 MiB free)
memory of node 1: 16384 MiB (15270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390789-1568381622/watcher-4390789-1568381622 -o /tmp/evaluation-result-4390789-1568381622/solver-4390789-1568381622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390789-1568381622.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4595, runsolver pid=4592
[startup+0.100059 s]*
/proc/loadavg: 1.87 1.89 1.38 4/227 4610
/proc/meminfo: memFree=30490284/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10659884 memory=27948 CPUtime=0.14 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 5500 0 0 0 13 1 0 0 20 0 15 0 414416822 10915721216 6987 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2664971 6987 2909 1 0 2627468 0
[pid=4595/tid=4597] ppid=4592 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) R 4592 4595 4259 0 -1 4202560 3207 0 0 0 8 1 0 0 20 0 15 0 414416822 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444583368904 140444579151254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416824 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414416825 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444069614496 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414416825 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444068561904 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4592 4595 4259 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444066458096 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4592 4595 4259 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444065405552 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) R 4592 4595 4259 0 -1 4202560 409 0 0 0 2 0 0 0 20 0 15 0 414416827 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444064350816 140444558259350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416828 10915721216 6987 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27948 KiB
[startup+0.211247 s]*
/proc/loadavg: 1.87 1.89 1.38 3/227 4610
/proc/meminfo: memFree=30482440/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10659884 memory=35320 CPUtime=0.33 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 6990 0 0 0 31 2 0 0 20 0 15 0 414416822 10915721216 8830 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2664971 8830 2987 1 0 2627468 0
[pid=4595/tid=4597] ppid=4592 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) R 4592 4595 4259 0 -1 4202560 3869 0 0 0 19 1 0 0 20 0 15 0 414416822 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444583371408 140444579161245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10659884 memory=3977718587677406880 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416824 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414416825 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444069614496 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414416825 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444068561904 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4592 4595 4259 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 414416827 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444066458096 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4592 4595 4259 0 -1 1077944384 640 0 0 0 3 0 0 0 20 0 15 0 414416827 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444065405552 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0.05 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 736 0 0 0 5 0 0 0 20 0 15 0 414416827 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416828 10915721216 8830 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35320 KiB
[startup+0.309985 s]*
/proc/loadavg: 1.87 1.89 1.38 3/227 4610
/proc/meminfo: memFree=30475240/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10659884 memory=40444 CPUtime=0.47 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 9504 0 0 0 44 3 0 0 20 0 15 0 414416822 10915721216 10111 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2664971 10111 2999 1 0 2627468 0
[pid=4595/tid=4597] ppid=4592 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) R 4592 4595 4259 0 -1 4202560 6331 0 0 0 28 2 0 0 20 0 15 0 414416822 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444583370960 140444563219806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10659884 memory=4123246643899987616 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416824 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414416825 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444069614496 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414416825 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444068561904 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) R 4592 4595 4259 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 15 0 414416827 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444066458192 140444579149525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4592 4595 4259 0 -1 1077944384 658 0 0 0 4 0 0 0 20 0 15 0 414416827 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444065405552 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0.08 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 414416827 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10659884 memory=140496332060288 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416828 10915721216 10111 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40444 KiB
[startup+0.701249 s]
/proc/loadavg: 1.80 1.87 1.38 3/227 4610
/proc/meminfo: memFree=30467824/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10661932 memory=63096 CPUtime=1.09 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 12905 0 0 0 105 4 0 0 20 0 15 0 414416822 10917818368 15774 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2665483 15774 3072 1 0 2627980 0
[pid=4595/tid=4597] ppid=4592 vsize=10661932 memory=9752 CPUtime=0.67 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) R 4592 4595 4259 0 -1 4202560 8869 0 0 0 64 3 0 0 20 0 15 0 414416822 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444583371680 140444579161245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416824 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414416825 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444069614496 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414416825 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444068561904 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10661932 memory=7086240636179075427 CPUtime=0.1 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4592 4595 4259 0 -1 1077944384 643 0 0 0 10 0 0 0 20 0 15 0 414416827 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444066458096 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10661932 memory=7453282923427948884 CPUtime=0.12 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) R 4592 4595 4259 0 -1 4202560 905 0 0 0 12 0 0 0 20 0 15 0 414416827 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444065405552 140444558359011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 1129 0 0 0 18 0 0 0 20 0 15 0 414416827 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416828 10917818368 15774 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63096 KiB
[startup+1.50073 s]
/proc/loadavg: 1.80 1.87 1.38 3/227 4610
/proc/meminfo: memFree=30451624/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10663980 memory=75056 CPUtime=2 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 18518 0 0 0 195 5 0 0 20 0 15 0 414416822 10919915520 18764 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2665995 18764 3092 1 0 2628492 0
[pid=4595/tid=4597] ppid=4592 vsize=10663980 memory=160261671594073 CPUtime=1.47 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) R 4592 4595 4259 0 -1 4202560 13120 0 0 0 143 4 0 0 20 0 15 0 414416822 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444583371344 140444563219806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414416823 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414416823 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414416824 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10663980 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414416825 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444069614496 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414416825 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444068561904 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10663980 memory=6943526294502006880 CPUtime=0.13 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4592 4595 4259 0 -1 1077944384 993 0 0 0 13 0 0 0 20 0 15 0 414416827 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444066458096 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10663980 memory=-2098775911743863648 CPUtime=0.19 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4592 4595 4259 0 -1 1077944384 1823 0 0 0 19 0 0 0 20 0 15 0 414416827 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444065405552 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10663980 memory=7100839861532598153 CPUtime=0.18 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 1132 0 0 0 18 0 0 0 20 0 15 0 414416827 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10663980 memory=4132769004644038186 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414416827 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 414416828 10919915520 18764 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75056 KiB
[startup+3.1103 s]
/proc/loadavg: 1.80 1.87 1.38 5/228 4613
/proc/meminfo: memFree=30275508/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10748324 memory=251000 CPUtime=6.64 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 35221 0 0 0 650 14 0 0 20 0 16 0 414416822 11006283776 62750 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2687081 62750 3347 1 0 2647217 0
[pid=4595/tid=4597] ppid=4592 vsize=10748324 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) S 4592 4595 4259 0 -1 1077944384 15375 0 0 0 180 6 0 0 20 0 16 0 414416822 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444583382192 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414416823 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10748324 memory=25076 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414416823 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414416823 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414416823 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10748324 memory=140496232060818 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 414416824 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10748324 memory=280992464669104 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414416825 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444069614560 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414416825 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444068561920 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414416827 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10748324 memory=6943526294502006880 CPUtime=1.25 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) R 4592 4595 4259 0 -1 4202560 3869 0 0 0 125 0 0 0 20 0 16 0 414416827 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444066438488 140444563045324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10748324 memory=-7361174377247368086 CPUtime=1.32 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) R 4592 4595 4259 0 -1 4202560 5039 0 0 0 132 0 0 0 20 0 16 0 414416827 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444065391576 140444556504083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10748324 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 4117 0 0 0 90 2 0 0 20 0 16 0 414416827 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414416827 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414416828 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4611] ppid=4592 vsize=10748324 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) R 4592 4595 4259 0 -1 4202560 4077 0 0 0 115 2 0 0 20 0 16 0 414417010 11006283776 62750 33554432000 4194304 4196468 140726573334048 140444045571968 140444181289560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 6.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 251000 KiB
[startup+6.30074 s]
/proc/loadavg: 1.97 1.91 1.39 3/228 4613
/proc/meminfo: memFree=30196220/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10748324 memory=321660 CPUtime=15.26 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 59292 0 0 0 1505 21 0 0 20 0 16 0 414416822 11006283776 80415 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2687081 80415 3372 1 0 2647217 0
[pid=4595/tid=4597] ppid=4592 vsize=10748324 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) S 4592 4595 4259 0 -1 1077944384 15375 0 0 0 180 6 0 0 20 0 16 0 414416822 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444583382192 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10748324 memory=55 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10748324 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 222 0 0 0 4 1 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10748324 memory=164 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 68 0 0 0 3 1 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10748324 memory=280992464244224 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 1162 0 0 0 1 0 0 0 20 0 16 0 414416824 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10748324 memory=270644 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414416825 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444069614560 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414416825 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444068561920 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10748324 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10748324 memory=2504 CPUtime=3.85 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4592 4595 4259 0 -1 1077944384 10036 0 0 0 384 1 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444066458096 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10748324 memory=317964 CPUtime=4.01 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4592 4595 4259 0 -1 1077944384 21038 0 0 0 398 3 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444065405552 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10748324 memory=1164 CPUtime=1 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 4622 0 0 0 98 2 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 16 0 414416828 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4611] ppid=4592 vsize=10748324 memory=140496232253344 CPUtime=4.31 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) R 4592 4595 4259 0 -1 4202560 4756 0 0 0 428 3 0 0 20 0 16 0 414417010 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444045582624 140444182406782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 321660 KiB
[startup+6.39749 s]
# the end of solver process 4595 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.1478 s, system=0.22322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.30074 s]
/proc/loadavg: 1.97 1.91 1.39 3/228 4613
/proc/meminfo: memFree=30196220/32770624 swapFree=66997100/67108860
[pid=4595] ppid=4592 vsize=10748324 memory=321660 CPUtime=15.26 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4592 4595 4259 0 -1 1077944320 59292 0 0 0 1505 21 0 0 20 0 16 0 414416822 11006283776 80415 33554432000 4194304 4196468 140726573334048 140726573316592 140444579139319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
/proc/4595/statm: 2687081 80415 3372 1 0 2647217 0
[pid=4595/tid=4597] ppid=4592 vsize=10748324 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/4595/task/4597/stat : 4597 (java) S 4592 4595 4259 0 -1 1077944384 15375 0 0 0 180 6 0 0 20 0 16 0 414416822 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444583382192 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4598] ppid=4592 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4592 4595 4259 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444505213712 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4599] ppid=4592 vsize=10748324 memory=55 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4592 4595 4259 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444504161168 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4600] ppid=4592 vsize=10748324 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4592 4595 4259 0 -1 1077944384 222 0 0 0 4 1 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444503108624 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4601] ppid=4592 vsize=10748324 memory=164 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4592 4595 4259 0 -1 1077944384 68 0 0 0 3 1 0 0 20 0 16 0 414416823 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444502056080 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4602] ppid=4592 vsize=10748324 memory=280992464244224 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4592 4595 4259 0 -1 1077944384 1162 0 0 0 1 0 0 0 20 0 16 0 414416824 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444070668272 140444579150466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4603] ppid=4592 vsize=10748324 memory=270644 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4592 4595 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414416825 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444069614560 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4604] ppid=4592 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4592 4595 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414416825 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444068561920 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4605] ppid=4592 vsize=10748324 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444067510480 140444579157915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4606] ppid=4592 vsize=10748324 memory=2504 CPUtime=3.85 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4592 4595 4259 0 -1 1077944384 10036 0 0 0 384 1 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444066458096 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4607] ppid=4592 vsize=10748324 memory=317964 CPUtime=4.01 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4592 4595 4259 0 -1 1077944384 21038 0 0 0 398 3 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444065405552 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4608] ppid=4592 vsize=10748324 memory=1164 CPUtime=1 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4592 4595 4259 0 -1 1077944384 4622 0 0 0 98 2 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444064353008 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4609] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4592 4595 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414416827 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444063300704 140444579149525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4610] ppid=4592 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4592 4595 4259 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 16 0 414416828 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444062247216 140444579150466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
[pid=4595/tid=4611] ppid=4592 vsize=10748324 memory=140496232253344 CPUtime=4.31 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) R 4592 4595 4259 0 -1 4202560 4756 0 0 0 428 3 0 0 20 0 16 0 414417010 11006283776 80415 33554432000 4194304 4196468 140726573334048 140444045582624 140444182406782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19410944 140726573335563 140726573335666 140726573335666 140726573338575 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 321660 KiB
Child status: 0
Real time (s): 6.39753
CPU time (s): 15.371
CPU user time (s): 15.1478
CPU system time (s): 0.22322
CPU usage (%): 240.265
Max. virtual memory (cumulated for all children) (KiB): 10750620
Max. memory (cumulated for all children) (KiB): 326512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1478
system time used= 0.22322
maximum resident set size= 326848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2976
involuntary context switches= 66
# summary of solver processes directly reported to runsolver:
# pid: 4595
# total CPU time (s): 15.371
# total CPU user time (s): 15.1478
# total CPU system time (s): 0.22322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071991 second user time and 0.104438 second system time
The end