2.40/1.89
2.40/1.89 AbsCon 2
2.64/1.91
3.32/2.18 Instance
3.32/2.18 name=instance-4391075-1568391551, framework=COP, bounds=-infty..+infty
3.32/2.18
3.32/2.18 Loading variables...
3.65/2.24 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d81baa2
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde22e
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe45ffc
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a
5.09/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271
5.09/2.66
5.09/2.66
5.09/2.66 Domains
5.09/2.66 nTypes=6, nValues=3615, sizes=[2#1065,3#150,4#105,5#30,15#15,16#15]
5.09/2.66 Variables
5.09/2.66 count=1380, degrees=[2#495,3#870,31#15]
5.09/2.66 Objectives
5.09/2.66 way=min, type=ObjMaximumLE
5.09/2.66 Constraints
5.09/2.66 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.09/2.66 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.09/2.66 tables=[3#165,5#150,7#105,9#30], nTotalTuples=2250
5.09/2.66 nExtStructures=(454,shared:446), nIntStructures=(4,shared:416), nCftStructures=(454,shared:416,unbuilt:497)
5.09/2.66 wck=0.803, cpu=2.627, mem=79M361
5.43/2.73 Solver SolverBacktrack being built...
5.43/2.73
5.43/2.77
5.43/2.77 Solver
5.43/2.77 guaranteedGAC=false
5.43/2.77 wck=0.909, cpu=2.731, mem=132M303
5.43/2.79
5.43/2.79 Preprocessing
5.43/2.79 filters=30, revisions=(60,useless=49), ccks=456, nACremovedValues=43, nTotalRemovedValues=43, inconcistency=false
5.43/2.79 wck=0.024, cpu=2.757, mem=132M303
5.43/2.79
5.70/2.86 o 13
6.02/2.91 num=0, depth=1381..1379, filters=1834, revisions=(6799,useless=5511), ccks=6688, wck=0.145, mem=134M945
6.02/2.91 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=13
6.02/2.91 nFilterCalls=2688, avgTableProportion=0.7823129251700756, avgTableSize=4.276785714285714
6.02/2.91
6.02/2.94 num=1, depth=0..8, filters=3894, revisions=(12292,useless=9523), ccks=9377, wck=0.168, mem=134M945
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.7836799116740196, avgTableSize=4.3081067842272835
6.02/2.94
6.02/2.96 num=2, depth=8..23, filters=6468, revisions=(18440,useless=13884), ccks=14106, wck=0.188, mem=134M945
6.02/2.96 decisions=95, wrong=27, backtracks=5, failedAssignments=22, nogoods=7, foundSolutions=1, bestBound=13
6.02/2.96 nFilterCalls=5376, avgTableProportion=0.7886054421768608, avgTableSize=4.398809523809524
6.02/2.96
6.02/2.98 num=3, depth=19..28, filters=9276, revisions=(25306,useless=18602), ccks=19169, wck=0.211, mem=134M945
6.02/2.98 decisions=150, wrong=43, backtracks=10, failedAssignments=34, nogoods=11, foundSolutions=1, bestBound=13
6.02/2.98 nFilterCalls=6725, avgTableProportion=0.7914821502331112, avgTableSize=4.457397769516729
6.02/2.98
6.36/3.02 num=4, depth=20..27, filters=14708, revisions=(37222,useless=26953), ccks=27483, wck=0.248, mem=134M945
6.36/3.02 decisions=226, wrong=71, backtracks=28, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=13
6.36/3.02 nFilterCalls=9382, avgTableProportion=0.7961060186172837, avgTableSize=4.575143892560222
6.36/3.02
6.36/3.05 o 12
6.36/3.09 num=5, depth=22..1379, filters=16849, revisions=(45301,useless=33495), ccks=32526, wck=0.317, mem=134M945
6.36/3.09 decisions=271, wrong=78, backtracks=28, failedAssignments=54, nogoods=22, foundSolutions=2, bestBound=12
6.36/3.09 nFilterCalls=11763, avgTableProportion=0.7930036204456224, avgTableSize=4.507693615574258
6.36/3.09
6.67/3.14 num=6, depth=19..23, filters=22562, revisions=(60113,useless=44438), ccks=40746, wck=0.367, mem=134M945
6.67/3.14 decisions=347, wrong=106, backtracks=43, failedAssignments=70, nogoods=28, foundSolutions=2, bestBound=12
6.67/3.14 nFilterCalls=14981, avgTableProportion=0.7925742978141984, avgTableSize=4.457512849609506
6.67/3.14
6.67/3.17 o 11
6.94/3.21 num=7, depth=25..1379, filters=24563, revisions=(68276,useless=51150), ccks=45672, wck=0.438, mem=137M588
6.94/3.21 decisions=385, wrong=111, backtracks=43, failedAssignments=75, nogoods=33, foundSolutions=3, bestBound=11
6.94/3.21 nFilterCalls=17302, avgTableProportion=0.7910570940508563, avgTableSize=4.431164027280083
6.94/3.21
6.94/3.23 num=8, depth=13..23, filters=26159, revisions=(74117,useless=55791), ccks=47902, wck=0.46, mem=137M588
6.94/3.23 decisions=432, wrong=124, backtracks=44, failedAssignments=87, nogoods=39, foundSolutions=3, bestBound=11
6.94/3.23 nFilterCalls=18559, avgTableProportion=0.7907705755217814, avgTableSize=4.430842178996714
6.94/3.23
6.94/3.25 num=9, depth=10..26, filters=28074, revisions=(80662,useless=60918), ccks=51099, wck=0.478, mem=137M588
6.94/3.25 decisions=484, wrong=139, backtracks=48, failedAssignments=98, nogoods=46, foundSolutions=3, bestBound=11
6.94/3.25 nFilterCalls=19519, avgTableProportion=0.7912010844946616, avgTableSize=4.442850555868641
6.94/3.25
6.94/3.27 num=10, depth=0..33, filters=31002, revisions=(89839,useless=67989), ccks=55644, wck=0.505, mem=137M588
6.94/3.27 decisions=543, wrong=155, backtracks=54, failedAssignments=110, nogoods=54, foundSolutions=3, bestBound=11
6.94/3.27 nFilterCalls=20912, avgTableProportion=0.7918582480172357, avgTableSize=4.456006120887529
6.94/3.27
7.25/3.30 o 10
7.25/3.34 num=11, depth=14..1379, filters=33021, revisions=(98037,useless=74693), ccks=60368, wck=0.575, mem=137M588
7.25/3.34 decisions=576, wrong=160, backtracks=54, failedAssignments=115, nogoods=59, foundSolutions=4, bestBound=10
7.25/3.34 nFilterCalls=23308, avgTableProportion=0.790802258778765, avgTableSize=4.435129569246611
7.25/3.34
7.25/3.37 num=12, depth=13..20, filters=35887, revisions=(106949,useless=81458), ccks=64597, wck=0.605, mem=137M588
7.25/3.37 decisions=633, wrong=181, backtracks=63, failedAssignments=129, nogoods=70, foundSolutions=4, bestBound=10
7.25/3.37 nFilterCalls=25205, avgTableProportion=0.7914217070811417, avgTableSize=4.454354294782781
7.25/3.37
7.55/3.41 num=13, depth=12..25, filters=38738, revisions=(115316,useless=87730), ccks=68986, wck=0.63, mem=137M588
7.55/3.41 decisions=691, wrong=201, backtracks=78, failedAssignments=140, nogoods=75, foundSolutions=4, bestBound=10
7.55/3.41 nFilterCalls=26655, avgTableProportion=0.791656826051714, avgTableSize=4.463252673044457
7.55/3.41
7.55/3.42 num=14, depth=19..34, filters=41778, revisions=(124538,useless=94776), ccks=73414, wck=0.656, mem=137M588
7.55/3.42 decisions=771, wrong=227, backtracks=97, failedAssignments=152, nogoods=80, foundSolutions=4, bestBound=10
7.55/3.42 nFilterCalls=28141, avgTableProportion=0.791971495016705, avgTableSize=4.469066486620944
7.55/3.42
7.55/3.46 num=15, depth=13..24, filters=46564, revisions=(137541,useless=104346), ccks=79937, wck=0.691, mem=137M588
7.55/3.46 decisions=855, wrong=262, backtracks=125, failedAssignments=165, nogoods=83, foundSolutions=4, bestBound=10
7.55/3.46 nFilterCalls=30453, avgTableProportion=0.7927567800287926, avgTableSize=4.489606935277313
7.55/3.46
7.55/3.49 o 9
7.85/3.53 num=16, depth=18..1379, filters=48745, revisions=(144627,useless=109909), ccks=84557, wck=0.759, mem=140M230
7.85/3.53 decisions=892, wrong=265, backtracks=125, failedAssignments=168, nogoods=86, foundSolutions=5, bestBound=9
7.85/3.53 nFilterCalls=32993, avgTableProportion=0.7917552496703933, avgTableSize=4.470463431637014
7.85/3.53
7.85/3.57 num=17, depth=14..29, filters=52983, revisions=(156397,useless=118602), ccks=90591, wck=0.797, mem=140M230
7.85/3.57 decisions=971, wrong=291, backtracks=136, failedAssignments=184, nogoods=91, foundSolutions=5, bestBound=9
7.85/3.57 nFilterCalls=35725, avgTableProportion=0.7914615837469277, avgTableSize=4.469419174247726
7.85/3.57
7.85/3.59 num=18, depth=18..21, filters=57611, revisions=(165918,useless=124978), ccks=96451, wck=0.825, mem=140M230
7.85/3.59 decisions=1030, wrong=311, backtracks=145, failedAssignments=195, nogoods=94, foundSolutions=5, bestBound=9
7.85/3.59 nFilterCalls=38237, avgTableProportion=0.7920834594264438, avgTableSize=4.494599471715877
7.85/3.59
8.15/3.62 num=19, depth=17..28, filters=60359, revisions=(173005,useless=130088), ccks=100654, wck=0.847, mem=140M230
8.15/3.62 decisions=1082, wrong=324, backtracks=146, failedAssignments=207, nogoods=104, foundSolutions=5, bestBound=9
8.15/3.62 nFilterCalls=39561, avgTableProportion=0.7918818557476167, avgTableSize=4.489825838578398
8.15/3.62
8.15/3.64 num=20, depth=18..20, filters=64228, revisions=(182183,useless=136624), ccks=106308, wck=0.874, mem=140M230
8.15/3.64 decisions=1137, wrong=342, backtracks=151, failedAssignments=220, nogoods=108, foundSolutions=5, bestBound=9
8.15/3.64 nFilterCalls=41521, avgTableProportion=0.791002143493488, avgTableSize=4.468293152862407
8.15/3.64
8.15/3.67 num=21, depth=19..21, filters=67960, revisions=(191343,useless=143136), ccks=111671, wck=0.902, mem=140M230
8.15/3.67 decisions=1191, wrong=359, backtracks=156, failedAssignments=234, nogoods=114, foundSolutions=5, bestBound=9
8.15/3.67 nFilterCalls=43384, avgTableProportion=0.7904811663431125, avgTableSize=4.455559653328416
8.15/3.67
8.45/3.70 num=22, depth=20..23, filters=71832, revisions=(201446,useless=150397), ccks=117362, wck=0.931, mem=140M230
8.45/3.70 decisions=1251, wrong=379, backtracks=161, failedAssignments=250, nogoods=116, foundSolutions=5, bestBound=9
8.45/3.70 nFilterCalls=45292, avgTableProportion=0.7899655007576105, avgTableSize=4.443831140157203
8.45/3.70
8.45/3.73 num=23, depth=23..25, filters=76171, revisions=(212544,useless=158400), ccks=122964, wck=0.962, mem=140M230
8.45/3.73 decisions=1320, wrong=402, backtracks=169, failedAssignments=267, nogoods=120, foundSolutions=5, bestBound=9
8.45/3.73 nFilterCalls=47322, avgTableProportion=0.7892685237175641, avgTableSize=4.429736697519124
8.45/3.73
8.45/3.77 num=24, depth=19..22, filters=81742, revisions=(226662,useless=168397), ccks=131336, wck=1.002, mem=140M230
8.45/3.77 decisions=1396, wrong=430, backtracks=179, failedAssignments=286, nogoods=125, foundSolutions=5, bestBound=9
8.45/3.77 nFilterCalls=50054, avgTableProportion=0.7889339830443352, avgTableSize=4.427738042913654
8.45/3.77
8.45/3.79 num=25, depth=12..25, filters=84081, revisions=(233231,useless=173299), ccks=134836, wck=1.022, mem=140M230
8.45/3.79 decisions=1466, wrong=457, backtracks=185, failedAssignments=307, nogoods=131, foundSolutions=5, bestBound=9
8.45/3.79 nFilterCalls=51128, avgTableProportion=0.7892270380222418, avgTableSize=4.433617587232045
8.45/3.79
8.77/3.84 num=26, depth=15..19, filters=90001, revisions=(249491,useless=185264), ccks=143727, wck=1.068, mem=142M778
8.77/3.84 decisions=1549, wrong=490, backtracks=197, failedAssignments=330, nogoods=136, foundSolutions=5, bestBound=9
8.77/3.84 nFilterCalls=54140, avgTableProportion=0.7883528301113064, avgTableSize=4.407831547838936
8.77/3.84
8.77/3.88 num=27, depth=12..16, filters=96171, revisions=(265420,useless=196821), ccks=152888, wck=1.113, mem=142M778
8.77/3.88 decisions=1636, wrong=527, backtracks=212, failedAssignments=355, nogoods=143, foundSolutions=5, bestBound=9
8.77/3.88 nFilterCalls=57177, avgTableProportion=0.7876972397882293, avgTableSize=4.389562236563653
8.77/3.88
9.07/3.93 num=28, depth=17..33, filters=102981, revisions=(281577,useless=208138), ccks=162754, wck=1.161, mem=142M778
9.07/3.93 decisions=1743, wrong=567, backtracks=226, failedAssignments=383, nogoods=153, foundSolutions=5, bestBound=9
9.07/3.93 nFilterCalls=60582, avgTableProportion=0.7879591245345139, avgTableSize=4.397675877323297
9.07/3.93
9.07/3.99 num=29, depth=20..23, filters=111469, revisions=(301634,useless=221926), ccks=175270, wck=1.216, mem=142M778
9.07/3.99 decisions=1848, wrong=609, backtracks=240, failedAssignments=414, nogoods=156, foundSolutions=5, bestBound=9
9.07/3.99 nFilterCalls=64626, avgTableProportion=0.7887368541534998, avgTableSize=4.41398198867329
9.07/3.99
9.40/4.02 num=30, depth=17..26, filters=117905, revisions=(318532,useless=234099), ccks=185344, wck=1.255, mem=142M778
9.40/4.02 decisions=1964, wrong=656, backtracks=262, failedAssignments=448, nogoods=161, foundSolutions=5, bestBound=9
9.40/4.02 nFilterCalls=67713, avgTableProportion=0.788913338486089, avgTableSize=4.417379232939022
9.40/4.02
9.40/4.07 num=31, depth=17..23, filters=128176, revisions=(338374,useless=246781), ccks=199222, wck=1.302, mem=142M778
9.40/4.07 decisions=2087, wrong=708, backtracks=279, failedAssignments=485, nogoods=169, foundSolutions=5, bestBound=9
9.40/4.07 nFilterCalls=72762, avgTableProportion=0.7893826491504609, avgTableSize=4.431021687144389
9.40/4.07
9.70/4.11 num=32, depth=12..28, filters=134153, revisions=(355307,useless=259394), ccks=207735, wck=1.337, mem=142M778
9.70/4.11 decisions=2261, wrong=785, backtracks=328, failedAssignments=526, nogoods=176, foundSolutions=5, bestBound=9
9.70/4.11 nFilterCalls=75323, avgTableProportion=0.7893410579499632, avgTableSize=4.427837446729419
9.70/4.11
9.70/4.18 num=33, depth=13..22, filters=141744, revisions=(373387,useless=272107), ccks=218739, wck=1.415, mem=59M376
9.70/4.18 decisions=2407, wrong=849, backtracks=350, failedAssignments=571, nogoods=182, foundSolutions=5, bestBound=9
9.70/4.18 nFilterCalls=78785, avgTableProportion=0.7899224229900662, avgTableSize=4.436199784222885
9.70/4.18
10.01/4.23 o 8
10.01/4.26 num=34, depth=16..1379, filters=149617, revisions=(394453,useless=287702), ccks=231293, wck=1.489, mem=59M376
10.01/4.26 decisions=2544, wrong=899, backtracks=366, failedAssignments=608, nogoods=190, foundSolutions=6, bestBound=8
10.01/4.26 nFilterCalls=83938, avgTableProportion=0.7897892132784932, avgTableSize=4.429531320736734
10.01/4.26
10.31/4.31 num=35, depth=20..24, filters=162462, revisions=(425244,useless=309385), ccks=249087, wck=1.544, mem=59M376
10.31/4.31 decisions=2721, wrong=977, backtracks=394, failedAssignments=663, nogoods=194, foundSolutions=6, bestBound=8
10.31/4.31 nFilterCalls=90625, avgTableProportion=0.7899885363991667, avgTableSize=4.433566896551724
10.31/4.31
10.31/4.33 num=36, depth=14..16, filters=165922, revisions=(433577,useless=315137), ccks=255266, wck=1.558, mem=59M376
10.31/4.33 decisions=2766, wrong=992, backtracks=399, failedAssignments=674, nogoods=196, foundSolutions=6, bestBound=8
10.31/4.33 nFilterCalls=92439, avgTableProportion=0.7902303312170206, avgTableSize=4.4377805904434275
10.31/4.33
10.31/4.34 num=37, depth=11..20, filters=167619, revisions=(438596,useless=318912), ccks=258101, wck=1.567, mem=59M376
10.31/4.34 decisions=2813, wrong=1007, backtracks=403, failedAssignments=686, nogoods=203, foundSolutions=6, bestBound=8
10.31/4.34 nFilterCalls=93247, avgTableProportion=0.7902425389751634, avgTableSize=4.4386200092228165
10.31/4.34
10.31/4.35 num=38, depth=14..17, filters=169516, revisions=(444035,useless=322968), ccks=261295, wck=1.577, mem=59M376
10.31/4.35 decisions=2864, wrong=1025, backtracks=408, failedAssignments=699, nogoods=207, foundSolutions=6, bestBound=8
10.31/4.35 nFilterCalls=94180, avgTableProportion=0.7902677412729849, avgTableSize=4.439286472711829
10.31/4.35
10.31/4.36 num=39, depth=16..19, filters=171524, revisions=(450238,useless=327691), ccks=264693, wck=1.587, mem=59M376
10.31/4.36 decisions=2920, wrong=1045, backtracks=414, failedAssignments=713, nogoods=208, foundSolutions=6, bestBound=8
10.31/4.36 nFilterCalls=95171, avgTableProportion=0.7904122454277088, avgTableSize=4.443685576488636
10.31/4.36
10.31/4.37 num=40, depth=14..16, filters=176256, revisions=(460068,useless=334078), ccks=271910, wck=1.605, mem=59M376
10.31/4.37 decisions=2977, wrong=1066, backtracks=419, failedAssignments=729, nogoods=213, foundSolutions=6, bestBound=8
10.31/4.37 nFilterCalls=97477, avgTableProportion=0.7907310979839192, avgTableSize=4.448228812950747
10.31/4.37
10.31/4.39 num=41, depth=9..17, filters=178962, revisions=(467720,useless=339706), ccks=276334, wck=1.617, mem=59M376
10.31/4.39 decisions=3042, wrong=1091, backtracks=428, failedAssignments=746, nogoods=221, foundSolutions=6, bestBound=8
10.31/4.39 nFilterCalls=98703, avgTableProportion=0.7908868179020734, avgTableSize=4.451718792741862
10.31/4.39
10.61/4.41 num=42, depth=14..18, filters=185341, revisions=(481806,useless=349280), ccks=285105, wck=1.641, mem=62M18
10.61/4.41 decisions=3120, wrong=1123, backtracks=443, failedAssignments=765, nogoods=223, foundSolutions=6, bestBound=8
10.61/4.41 nFilterCalls=101755, avgTableProportion=0.790845611893188, avgTableSize=4.44915728956808
10.61/4.41
10.61/4.43 num=43, depth=9..37, filters=188857, revisions=(492588,useless=357499), ccks=290594, wck=1.66, mem=62M18
10.61/4.43 decisions=3227, wrong=1161, backtracks=470, failedAssignments=786, nogoods=231, foundSolutions=6, bestBound=8
10.61/4.43 nFilterCalls=103339, avgTableProportion=0.7909566864008146, avgTableSize=4.451871994116452
10.61/4.43
10.61/4.45 num=44, depth=14..18, filters=193833, revisions=(504694,useless=366039), ccks=298104, wck=1.681, mem=62M18
10.61/4.45 decisions=3306, wrong=1193, backtracks=482, failedAssignments=809, nogoods=236, foundSolutions=6, bestBound=8
10.61/4.45 nFilterCalls=105768, avgTableProportion=0.7910177771544921, avgTableSize=4.454315104757582
10.61/4.45
10.61/4.47 num=45, depth=15..19, filters=199185, revisions=(518274,useless=375714), ccks=306447, wck=1.703, mem=62M18
10.61/4.47 decisions=3390, wrong=1227, backtracks=494, failedAssignments=834, nogoods=243, foundSolutions=6, bestBound=8
10.61/4.47 nFilterCalls=108499, avgTableProportion=0.7912177670582453, avgTableSize=4.460612540207744
10.61/4.47
10.61/4.49 num=46, depth=15..17, filters=206306, revisions=(533659,useless=385962), ccks=317303, wck=1.726, mem=63M339
10.61/4.49 decisions=3475, wrong=1262, backtracks=502, failedAssignments=862, nogoods=254, foundSolutions=6, bestBound=8
10.61/4.49 nFilterCalls=111976, avgTableProportion=0.7915114463314625, avgTableSize=4.466492819889976
10.61/4.49
10.93/4.52 num=47, depth=11..23, filters=211885, revisions=(548061,useless=396283), ccks=325855, wck=1.747, mem=63M339
10.93/4.52 decisions=3593, wrong=1315, backtracks=531, failedAssignments=893, nogoods=256, foundSolutions=6, bestBound=8
10.93/4.52 nFilterCalls=114579, avgTableProportion=0.7919912192015565, avgTableSize=4.4768762164096385
10.93/4.52
10.93/4.54 num=48, depth=15..37, filters=216885, revisions=(563288,useless=407811), ccks=333824, wck=1.768, mem=63M339
10.93/4.54 decisions=3720, wrong=1364, backtracks=550, failedAssignments=927, nogoods=266, foundSolutions=6, bestBound=8
10.93/4.54 nFilterCalls=116908, avgTableProportion=0.7921248617158225, avgTableSize=4.479813186437198
10.93/4.54
10.93/4.57 num=49, depth=15..20, filters=226830, revisions=(587579,useless=425074), ccks=347978, wck=1.798, mem=63M339
10.93/4.57 decisions=3847, wrong=1420, backtracks=572, failedAssignments=964, nogoods=267, foundSolutions=6, bestBound=8
10.93/4.57 nFilterCalls=121902, avgTableProportion=0.7921094566478168, avgTableSize=4.4770553395350365
10.93/4.57
10.93/4.59 num=50, depth=16..33, filters=231998, revisions=(601731,useless=435531), ccks=354770, wck=1.817, mem=63M339
10.93/4.59 decisions=3987, wrong=1477, backtracks=593, failedAssignments=1005, nogoods=276, foundSolutions=6, bestBound=8
10.93/4.59 nFilterCalls=124186, avgTableProportion=0.7921113721136437, avgTableSize=4.476639878891341
10.93/4.59
11.23/4.62 num=51, depth=20..23, filters=243277, revisions=(626625,useless=452565), ccks=371155, wck=1.852, mem=63M339
11.23/4.62 decisions=4130, wrong=1538, backtracks=610, failedAssignments=1050, nogoods=287, foundSolutions=6, bestBound=8
11.23/4.62 nFilterCalls=129753, avgTableProportion=0.7920420227016534, avgTableSize=4.478848273257651
11.23/4.62
11.23/4.64 num=52, depth=11..30, filters=250986, revisions=(647825,useless=468292), ccks=382498, wck=1.876, mem=63M339
11.23/4.64 decisions=4313, wrong=1618, backtracks=646, failedAssignments=1100, nogoods=301, foundSolutions=6, bestBound=8
11.23/4.64 nFilterCalls=133224, avgTableProportion=0.7921172027743623, avgTableSize=4.479027802798295
11.23/4.64
11.23/4.68 num=53, depth=18..22, filters=264418, revisions=(678071,useless=489042), ccks=401444, wck=1.91, mem=63M339
11.23/4.68 decisions=4484, wrong=1694, backtracks=669, failedAssignments=1155, nogoods=305, foundSolutions=6, bestBound=8
11.23/4.68 nFilterCalls=139818, avgTableProportion=0.7918077627915417, avgTableSize=4.469124147105523
11.23/4.68
11.53/4.70 num=54, depth=8..22, filters=271440, revisions=(696509,useless=502291), ccks=411085, wck=1.928, mem=65M981
11.53/4.70 decisions=4655, wrong=1774, backtracks=695, failedAssignments=1216, nogoods=314, foundSolutions=6, bestBound=8
11.53/4.70 nFilterCalls=142816, avgTableProportion=0.7919474141901517, avgTableSize=4.471109679587721
11.53/4.70
11.53/4.72 num=55, depth=9..12, filters=281822, revisions=(723518,useless=521839), ccks=428231, wck=1.953, mem=65M981
11.53/4.72 decisions=4836, wrong=1859, backtracks=718, failedAssignments=1283, nogoods=323, foundSolutions=6, bestBound=8
11.53/4.72 nFilterCalls=148026, avgTableProportion=0.7921482691066016, avgTableSize=4.472079229324578
11.53/4.72
11.53/4.75 num=56, depth=10..24, filters=291560, revisions=(748344,useless=539390), ccks=441657, wck=1.977, mem=65M981
11.53/4.75 decisions=5056, wrong=1958, backtracks=748, failedAssignments=1357, nogoods=333, foundSolutions=6, bestBound=8
11.53/4.75 nFilterCalls=152271, avgTableProportion=0.7923453933912034, avgTableSize=4.475599424709892
11.53/4.75
11.53/4.79 num=57, depth=12..18, filters=310349, revisions=(788086,useless=565658), ccks=466492, wck=2.017, mem=65M981
11.53/4.79 decisions=5282, wrong=2065, backtracks=778, failedAssignments=1438, nogoods=347, foundSolutions=6, bestBound=8
11.53/4.79 nFilterCalls=161448, avgTableProportion=0.7923872289133808, avgTableSize=4.472597988206729
11.53/4.79
11.83/4.82 o 7
11.83/4.85 num=58, depth=8..1379, filters=319877, revisions=(815655,useless=586326), ccks=481320, wck=2.081, mem=65M981
11.83/4.85 decisions=5540, wrong=2182, backtracks=818, failedAssignments=1522, nogoods=363, foundSolutions=7, bestBound=7
11.83/4.85 nFilterCalls=166861, avgTableProportion=0.7925027608301008, avgTableSize=4.473879456553658
11.83/4.85
12.13/4.91 num=59, depth=18..25, filters=342403, revisions=(864659,useless=619222), ccks=514266, wck=2.141, mem=65M981
12.13/4.91 decisions=5828, wrong=2316, backtracks=865, failedAssignments=1620, nogoods=365, foundSolutions=7, bestBound=7
12.13/4.91 nFilterCalls=178439, avgTableProportion=0.7913102134328316, avgTableSize=4.44377070035138
12.13/4.91
12.13/4.92 num=60, depth=9..14, filters=344348, revisions=(869519,useless=622629), ccks=517313, wck=2.146, mem=65M981
12.13/4.92 decisions=5871, wrong=2333, backtracks=871, failedAssignments=1631, nogoods=371, foundSolutions=7, bestBound=7
12.13/4.92 nFilterCalls=179268, avgTableProportion=0.7913322644369359, avgTableSize=4.444753107079903
12.13/4.92
12.13/4.92 num=61, depth=10..14, filters=346884, revisions=(875274,useless=626622), ccks=520773, wck=2.153, mem=68M622
12.13/4.92 decisions=5913, wrong=2348, backtracks=875, failedAssignments=1643, nogoods=378, foundSolutions=7, bestBound=7
12.13/4.92 nFilterCalls=180461, avgTableProportion=0.7912546025208302, avgTableSize=4.443009847002954
12.13/4.92
12.13/4.93 num=62, depth=7..17, filters=349146, revisions=(880749,useless=630441), ccks=524149, wck=2.159, mem=68M622
12.13/4.93 decisions=5965, wrong=2369, backtracks=883, failedAssignments=1656, nogoods=383, foundSolutions=7, bestBound=7
12.13/4.93 nFilterCalls=181437, avgTableProportion=0.7912565741702218, avgTableSize=4.4434045977391605
12.13/4.93
12.13/4.94 num=63, depth=13..18, filters=352260, revisions=(888181,useless=635566), ccks=529122, wck=2.168, mem=68M622
12.13/4.94 decisions=6018, wrong=2388, backtracks=889, failedAssignments=1670, nogoods=387, foundSolutions=7, bestBound=7
12.13/4.94 nFilterCalls=182986, avgTableProportion=0.791279443878471, avgTableSize=4.44391374203491
12.13/4.94
12.13/4.95 num=64, depth=13..18, filters=355025, revisions=(895857,useless=641219), ccks=533633, wck=2.176, mem=68M622
12.13/4.95 decisions=6078, wrong=2411, backtracks=899, failedAssignments=1686, nogoods=392, foundSolutions=7, bestBound=7
12.13/4.95 nFilterCalls=184328, avgTableProportion=0.7912914728269427, avgTableSize=4.444913415216353
12.13/4.95
12.13/4.95 num=65, depth=13..16, filters=359004, revisions=(903797,useless=646444), ccks=538790, wck=2.185, mem=68M622
12.13/4.95 decisions=6135, wrong=2433, backtracks=905, failedAssignments=1703, nogoods=395, foundSolutions=7, bestBound=7
12.13/4.95 nFilterCalls=186227, avgTableProportion=0.7912237846610866, avgTableSize=4.442889591734819
12.13/4.95
12.13/4.96 num=66, depth=9..16, filters=361725, revisions=(911401,useless=652015), ccks=542957, wck=2.192, mem=68M622
12.13/4.96 decisions=6204, wrong=2462, backtracks=916, failedAssignments=1722, nogoods=403, foundSolutions=7, bestBound=7
12.13/4.96 nFilterCalls=187438, avgTableProportion=0.7912548098446069, avgTableSize=4.444360268462105
12.13/4.96
12.13/4.97 num=67, depth=11..14, filters=366502, revisions=(922203,useless=659216), ccks=549791, wck=2.203, mem=68M622
12.13/4.97 decisions=6270, wrong=2488, backtracks=922, failedAssignments=1743, nogoods=414, foundSolutions=7, bestBound=7
12.13/4.97 nFilterCalls=189713, avgTableProportion=0.7911457565936093, avgTableSize=4.442531613542561
12.13/4.97
12.13/4.98 num=68, depth=7..12, filters=369172, revisions=(928945,useless=663956), ccks=553528, wck=2.21, mem=68M622
12.13/4.98 decisions=6337, wrong=2518, backtracks=929, failedAssignments=1766, nogoods=425, foundSolutions=7, bestBound=7
12.13/4.98 nFilterCalls=190839, avgTableProportion=0.7911510882978744, avgTableSize=4.443127452983929
12.13/4.98
12.13/4.99 num=69, depth=8..12, filters=374946, revisions=(939843,useless=670920), ccks=560781, wck=2.222, mem=68M622
12.13/4.99 decisions=6407, wrong=2549, backtracks=936, failedAssignments=1791, nogoods=427, foundSolutions=7, bestBound=7
12.13/4.99 nFilterCalls=193566, avgTableProportion=0.791111255436417, avgTableSize=4.442639719785499
12.13/4.99
12.13/5.00 num=70, depth=7..12, filters=377978, revisions=(946627,useless=675459), ccks=564934, wck=2.23, mem=68M622
12.13/5.00 decisions=6483, wrong=2583, backtracks=942, failedAssignments=1819, nogoods=437, foundSolutions=7, bestBound=7
12.13/5.00 nFilterCalls=194811, avgTableProportion=0.7910932965306176, avgTableSize=4.442541745589315
12.13/5.00
12.46/5.01 num=71, depth=14..18, filters=384583, revisions=(961736,useless=685687), ccks=575439, wck=2.245, mem=68M622
12.46/5.01 decisions=6574, wrong=2621, backtracks=953, failedAssignments=1850, nogoods=445, foundSolutions=7, bestBound=7
12.46/5.01 nFilterCalls=197963, avgTableProportion=0.7911391169854293, avgTableSize=4.44368897218167
12.46/5.01
12.46/5.03 num=72, depth=5..11, filters=389807, revisions=(974774,useless=694768), ccks=583325, wck=2.258, mem=68M622
12.46/5.03 decisions=6672, wrong=2666, backtracks=965, failedAssignments=1884, nogoods=454, foundSolutions=7, bestBound=7
12.46/5.03 nFilterCalls=200430, avgTableProportion=0.7910172177431843, avgTableSize=4.441550666067954
12.46/5.03
12.46/5.05 num=73, depth=9..14, filters=398504, revisions=(992353,useless=705830), ccks=597596, wck=2.277, mem=68M622
12.46/5.05 decisions=6770, wrong=2710, backtracks=975, failedAssignments=1921, nogoods=457, foundSolutions=7, bestBound=7
12.46/5.05 nFilterCalls=204736, avgTableProportion=0.7911521829730426, avgTableSize=4.44242341356674
12.46/5.05
12.46/5.07 num=74, depth=9..13, filters=407809, revisions=(1012418,useless=719289), ccks=610811, wck=2.297, mem=68M622
12.46/5.07 decisions=6890, wrong=2765, backtracks=992, failedAssignments=1962, nogoods=463, foundSolutions=7, bestBound=7
12.46/5.07 nFilterCalls=209071, avgTableProportion=0.7913842893643291, avgTableSize=4.449187118251694
12.46/5.07
12.46/5.08 num=75, depth=12..19, filters=414303, revisions=(1029342,useless=731246), ccks=620924, wck=2.313, mem=68M622
12.46/5.08 decisions=7024, wrong=2825, backtracks=1009, failedAssignments=2007, nogoods=468, foundSolutions=7, bestBound=7
12.46/5.08 nFilterCalls=212075, avgTableProportion=0.7911391335413548, avgTableSize=4.445380172108924
12.46/5.08
12.46/5.10 num=76, depth=7..16, filters=421082, revisions=(1046324,useless=743077), ccks=631018, wck=2.327, mem=68M622
12.46/5.10 decisions=7171, wrong=2895, backtracks=1034, failedAssignments=2057, nogoods=473, foundSolutions=7, bestBound=7
12.46/5.10 nFilterCalls=215109, avgTableProportion=0.7911045171843941, avgTableSize=4.4453556104114655
12.46/5.10
12.77/5.12 num=77, depth=7..17, filters=430989, revisions=(1067625,useless=757485), ccks=644203, wck=2.346, mem=68M622
12.77/5.12 decisions=7329, wrong=2970, backtracks=1056, failedAssignments=2112, nogoods=485, foundSolutions=7, bestBound=7
12.77/5.12 nFilterCalls=219650, avgTableProportion=0.7911401616553624, avgTableSize=4.447684953334851
12.77/5.12
12.77/5.13 num=78, depth=3..17, filters=439809, revisions=(1087441,useless=770611), ccks=656235, wck=2.364, mem=68M622
12.77/5.13 decisions=7502, wrong=3055, backtracks=1083, failedAssignments=2173, nogoods=486, foundSolutions=7, bestBound=7
12.77/5.13 nFilterCalls=223402, avgTableProportion=0.7910538096087955, avgTableSize=4.446522412511974
12.77/5.13
12.77/5.16 num=79, depth=3..11, filters=456101, revisions=(1120421,useless=791795), ccks=680817, wck=2.394, mem=68M622
12.77/5.16 decisions=7686, wrong=3145, backtracks=1120, failedAssignments=2240, nogoods=489, foundSolutions=7, bestBound=7
12.77/5.16 nFilterCalls=231426, avgTableProportion=0.791155402410526, avgTableSize=4.4445654334430875
12.77/5.16
12.77/5.18 num=80, depth=5..10, filters=467297, revisions=(1144853,useless=808011), ccks=694968, wck=2.414, mem=68M622
12.77/5.18 decisions=7878, wrong=3238, backtracks=1140, failedAssignments=2314, nogoods=503, foundSolutions=7, bestBound=7
12.77/5.18 nFilterCalls=236224, avgTableProportion=0.7911054559975633, avgTableSize=4.444154700623137
12.77/5.18
13.03/5.21 num=81, depth=7..14, filters=480441, revisions=(1175681,useless=829284), ccks=712604, wck=2.439, mem=68M622
13.03/5.21 decisions=8096, wrong=3343, backtracks=1169, failedAssignments=2395, nogoods=516, foundSolutions=7, bestBound=7
13.03/5.21 nFilterCalls=242216, avgTableProportion=0.7910782242874437, avgTableSize=4.445115103874228
13.03/5.21
13.03/5.23 num=82, depth=7..16, filters=490011, revisions=(1198128,useless=844596), ccks=725684, wck=2.457, mem=68M622
13.03/5.23 decisions=8318, wrong=3450, backtracks=1194, failedAssignments=2484, nogoods=526, foundSolutions=7, bestBound=7
13.03/5.23 nFilterCalls=246275, avgTableProportion=0.7911317100969212, avgTableSize=4.446379047812405
13.03/5.23
13.03/5.26 num=83, depth=7..14, filters=509544, revisions=(1236662,useless=869485), ccks=752432, wck=2.492, mem=68M622
13.03/5.26 decisions=8565, wrong=3569, backtracks=1222, failedAssignments=2582, nogoods=539, foundSolutions=7, bestBound=7
13.03/5.26 nFilterCalls=255522, avgTableProportion=0.7910079373125661, avgTableSize=4.44418093158319
13.03/5.26
13.03/5.29 num=84, depth=4..16, filters=522663, revisions=(1265949,useless=889264), ccks=769337, wck=2.517, mem=68M622
13.03/5.29 decisions=8851, wrong=3710, backtracks=1259, failedAssignments=2690, nogoods=562, foundSolutions=7, bestBound=7
13.03/5.29 nFilterCalls=261266, avgTableProportion=0.7908522591856276, avgTableSize=4.441419855626067
13.03/5.29
13.24/5.33 num=85, depth=5..12, filters=546774, revisions=(1313530,useless=919641), ccks=801843, wck=2.557, mem=68M622
13.24/5.33 decisions=9145, wrong=3854, backtracks=1289, failedAssignments=2809, nogoods=566, foundSolutions=7, bestBound=7
13.24/5.33 nFilterCalls=272140, avgTableProportion=0.7908665357782012, avgTableSize=4.440074961416918
13.24/5.33
13.24/5.37 num=86, depth=4..15, filters=573222, revisions=(1372689,useless=959566), ccks=839982, wck=2.602, mem=68M622
13.24/5.37 decisions=9507, wrong=4033, backtracks=1349, failedAssignments=2940, nogoods=570, foundSolutions=7, bestBound=7
13.24/5.37 nFilterCalls=284832, avgTableProportion=0.7908759359976728, avgTableSize=4.440940624648916
13.24/5.37
13.39/5.42 num=87, depth=0..13, filters=602546, revisions=(1435825,useless=1001670), ccks=879350, wck=2.65, mem=68M622
13.39/5.42 decisions=9922, wrong=4237, backtracks=1416, failedAssignments=3084, nogoods=594, foundSolutions=7, bestBound=7
13.39/5.42 nFilterCalls=298120, avgTableProportion=0.7908640815737342, avgTableSize=4.439588085334765
13.39/5.42
13.39/5.46 num=88, depth=9..18, filters=629013, revisions=(1495072,useless=1041971), ccks=917242, wck=2.696, mem=68M622
13.39/5.46 decisions=10362, wrong=4452, backtracks=1481, failedAssignments=3242, nogoods=604, foundSolutions=7, bestBound=7
13.39/5.46 nFilterCalls=310091, avgTableProportion=0.7908567751163116, avgTableSize=4.442005733800723
13.39/5.46
13.50/5.50 num=89, depth=4..10, filters=652133, revisions=(1544779,useless=1074816), ccks=947564, wck=2.734, mem=68M622
13.50/5.50 decisions=10791, wrong=4664, backtracks=1525, failedAssignments=3416, nogoods=620, foundSolutions=7, bestBound=7
13.50/5.50 nFilterCalls=320071, avgTableProportion=0.7908450867972634, avgTableSize=4.441589522324734
13.50/5.50
13.50/5.56 num=90, depth=2..10, filters=686164, revisions=(1611173,useless=1116581), ccks=992302, wck=2.788, mem=68M622
13.50/5.56 decisions=11281, wrong=4908, backtracks=1588, failedAssignments=3607, nogoods=641, foundSolutions=7, bestBound=7
13.50/5.56 nFilterCalls=335773, avgTableProportion=0.7908792500025017, avgTableSize=4.4407501496546775
13.50/5.56
13.60/5.61 num=91, depth=8..15, filters=719564, revisions=(1686216,useless=1167826), ccks=1036919, wck=2.844, mem=68M622
13.60/5.61 decisions=11838, wrong=5182, backtracks=1665, failedAssignments=3818, nogoods=649, foundSolutions=7, bestBound=7
13.60/5.61 nFilterCalls=350688, avgTableProportion=0.7906327081995681, avgTableSize=4.43432909024546
13.60/5.61
13.60/5.68 num=92, depth=0..16, filters=764205, revisions=(1776616,useless=1225632), ccks=1098603, wck=2.915, mem=71M263
13.60/5.68 decisions=12467, wrong=5493, backtracks=1754, failedAssignments=4050, nogoods=660, foundSolutions=7, bestBound=7
13.60/5.68 nFilterCalls=370898, avgTableProportion=0.7903606750356228, avgTableSize=4.42709855539798
13.60/5.68
13.70/5.75 num=93, depth=0..11, filters=803982, revisions=(1862226,useless=1281176), ccks=1153543, wck=2.98, mem=71M263
13.70/5.75 decisions=13118, wrong=5817, backtracks=1828, failedAssignments=4305, nogoods=686, foundSolutions=7, bestBound=7
13.70/5.75 nFilterCalls=388356, avgTableProportion=0.7904308712295257, avgTableSize=4.428194749147689
13.70/5.75
13.81/5.83 num=94, depth=0..10, filters=852103, revisions=(1964016,useless=1348455), ccks=1217603, wck=3.058, mem=71M263
13.81/5.83 decisions=13884, wrong=6197, backtracks=1944, failedAssignments=4586, nogoods=703, foundSolutions=7, bestBound=7
13.81/5.83 nFilterCalls=408558, avgTableProportion=0.7905874761819591, avgTableSize=4.431018362141972
13.81/5.83
13.91/5.91 num=95, depth=0..8, filters=905348, revisions=(2069352,useless=1415883), ccks=1288653, wck=3.143, mem=71M263
13.91/5.91 decisions=14679, wrong=6593, backtracks=2044, failedAssignments=4895, nogoods=719, foundSolutions=7, bestBound=7
13.91/5.91 nFilterCalls=431909, avgTableProportion=0.7905393945574325, avgTableSize=4.430220254729584
13.91/5.91
14.03/6.01 num=96, depth=0..8, filters=968331, revisions=(2196874,useless=1498205), ccks=1373759, wck=3.245, mem=71M263
14.03/6.01 decisions=15571, wrong=7038, backtracks=2173, failedAssignments=5235, nogoods=736, foundSolutions=7, bestBound=7
14.03/6.01 nFilterCalls=459559, avgTableProportion=0.7905118561363562, avgTableSize=4.428789339344894
14.03/6.01
14.03/6.07
14.03/6.07 New Bounds: 7..6
14.03/6.07 num=97, depth=0..5, filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820, wck=3.301, mem=71M263
14.03/6.07 decisions=16093, wrong=7300, backtracks=2247, failedAssignments=5431, foundSolutions=7, bestBound=7
14.03/6.07 nFilterCalls=474307, avgTableProportion=0.7904238835846653, avgTableSize=4.427115771009072
14.03/6.07
14.03/6.07 Global
14.03/6.07 filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820
14.03/6.07 Stop=FULL_EXPLORATION, wrong=7300, bestBound=7, bestBoundWck=2.961, bestBoundCpu=4.732, foundSolutions=7, firstSolCpu=2.815
14.03/6.07 wck=4.212, cpu=5.983, mem=71M263
14.03/6.07
14.03/6.07 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>
14.03/6.07 s OPTIMUM FOUND
14.03/6.07
14.03/6.07 d WRONG_DECISIONS 7300
14.03/6.07 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 (15301 MiB free)
memory of node 1: 16384 MiB (13961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391075-1568391551/watcher-4391075-1568391551 -o /tmp/evaluation-result-4391075-1568391551/solver-4391075-1568391551 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391075-1568391551.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28860, runsolver pid=28857
Current StackSize limit: 8192 KiB
[startup+0.101456 s]*
/proc/loadavg: 1.92 1.81 1.74 4/229 28875
/proc/meminfo: memFree=29950368/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10659884 memory=29288 CPUtime=0.14 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 5816 0 0 0 13 1 0 0 20 0 15 0 415092978 10915721216 7322 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2664971 7322 2902 1 0 2627468 0
[pid=28860/tid=28862] ppid=28857 vsize=10659884 memory=7892391828772250251 CPUtime=0.1 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) R 28857 28860 26121 0 -1 4202560 3218 0 0 0 9 1 0 0 20 0 15 0 415092979 10915721216 7388 33554432000 4194304 4196468 140736253801888 140222353186008 140221974916592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 7388 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 7388 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 7388 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 7388 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221906994720 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221905941872 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) S 28857 28860 26121 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221903837552 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) S 28857 28860 26121 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221902784752 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0.02 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) R 28857 28860 26121 0 -1 4202560 596 0 0 0 2 0 0 0 20 0 15 0 415092984 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221901727832 140222327887159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 7388 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29288 KiB
[startup+0.210674 s]*
/proc/loadavg: 1.92 1.81 1.74 5/229 28875
/proc/meminfo: memFree=29937992/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10659884 memory=36952 CPUtime=0.33 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 9000 0 0 0 30 3 0 0 20 0 15 0 415092978 10915721216 9238 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2664971 9238 2989 1 0 2627468 0
[pid=28860/tid=28862] ppid=28857 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) R 28857 28860 26121 0 -1 4202560 6087 0 0 0 18 2 0 0 20 0 15 0 415092979 10915721216 9238 33554432000 4194304 4196468 140736253801888 140222353181744 140222348977309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9238 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10659884 memory=288370100840871552 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9238 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9238 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9238 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221906994720 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221905941872 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) S 28857 28860 26121 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 415092984 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221903837552 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) S 28857 28860 26121 0 -1 1077944384 371 0 0 0 3 0 0 0 20 0 15 0 415092984 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221902784752 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0.05 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 636 0 0 0 5 0 0 0 20 0 15 0 415092984 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 9238 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36952 KiB
[startup+0.310674 s]*
/proc/loadavg: 1.93 1.82 1.74 4/229 28875
/proc/meminfo: memFree=29935944/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10659884 memory=39756 CPUtime=0.48 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 9198 0 0 0 45 3 0 0 20 0 15 0 415092978 10915721216 9939 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2664971 9939 3020 1 0 2627468 0
[pid=28860/tid=28862] ppid=28857 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) R 28857 28860 26121 0 -1 4202560 6214 0 0 0 28 2 0 0 20 0 15 0 415092979 10915721216 9939 33554432000 4194304 4196468 140736253801888 140222353187792 140222348977309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9939 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10659884 memory=288370100840871552 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9939 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9939 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10915721216 9939 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221906994720 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415092981 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221905941872 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) S 28857 28860 26121 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 415092984 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221903837552 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) S 28857 28860 26121 0 -1 1077944384 412 0 0 0 5 0 0 0 20 0 15 0 415092984 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221902784752 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0.08 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 658 0 0 0 8 0 0 0 20 0 15 0 415092984 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10659884 memory=139724689159808 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092984 10915721216 9939 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39756 KiB
[startup+0.707712 s]
/proc/loadavg: 1.93 1.82 1.74 3/229 28875
/proc/meminfo: memFree=29926020/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10661932 memory=63636 CPUtime=1.13 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 12913 0 0 0 108 5 0 0 20 0 15 0 415092978 10917818368 15909 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2665483 15909 3074 1 0 2627980 0
[pid=28860/tid=28862] ppid=28857 vsize=10661932 memory=4481 CPUtime=0.68 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) R 28857 28860 26121 0 -1 4202560 8786 0 0 0 65 3 0 0 20 0 15 0 415092979 10917818368 15909 33554432000 4194304 4196468 140736253801888 140222353187408 140222329230518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10917818368 15909 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10917818368 15909 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10917818368 15909 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10917818368 15909 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10661932 memory=263707368129570 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092981 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415092981 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221906994720 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415092981 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221905941872 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10661932 memory=279449094351776 CPUtime=0.11 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) R 28857 28860 26121 0 -1 4202560 905 0 0 0 11 0 0 0 20 0 15 0 415092984 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221903823520 140222334081774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10661932 memory=19153 CPUtime=0.11 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) S 28857 28860 26121 0 -1 1077944384 693 0 0 0 11 0 0 0 20 0 15 0 415092984 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221902784752 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10661932 memory=279449094324464 CPUtime=0.19 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 1170 0 0 0 19 0 0 0 20 0 15 0 415092984 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415092984 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092984 10917818368 15909 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63636 KiB
[startup+1.50071 s]
/proc/loadavg: 1.93 1.82 1.74 3/229 28875
/proc/meminfo: memFree=29909892/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10663980 memory=75428 CPUtime=2.01 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 18450 0 0 0 196 5 0 0 20 0 15 0 415092978 10919915520 18857 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2665995 18857 3097 1 0 2628492 0
[pid=28860/tid=28862] ppid=28857 vsize=10663980 memory=279449095201440 CPUtime=1.48 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) R 28857 28860 26121 0 -1 4202560 12969 0 0 0 144 4 0 0 20 0 15 0 415092979 10919915520 18857 33554432000 4194304 4196468 140736253801888 140222353181264 140222333035870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10663980 memory=279449094374320 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10919915520 18857 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10919915520 18857 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415092979 10919915520 18857 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415092979 10919915520 18857 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 415092981 10919915520 18857 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
################
# More data... #
################
[startup+3.20091 s]
/proc/loadavg: 1.93 1.82 1.74 5/230 28876
/proc/meminfo: memFree=29734908/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10748324 memory=251160 CPUtime=6.94 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 34848 0 0 0 681 13 0 0 20 0 16 0 415092978 11006283776 62790 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2687081 62790 3350 1 0 2647217 0
[pid=28860/tid=28862] ppid=28857 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) S 28857 28860 26121 0 -1 1077944384 15239 0 0 0 182 6 0 0 20 0 16 0 415092979 11006283776 62790 33554432000 4194304 4196468 140736253801888 140222353198256 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 415092979 11006283776 62790 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10748324 memory=8252 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 415092979 11006283776 62790 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10748324 memory=528 CPUtime=0.01 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 16 0 415092979 11006283776 62790 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 415092979 11006283776 62790 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 415092981 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221906994784 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10748324 memory=139724547593684 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221905941888 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10748324 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10748324 memory=1980 CPUtime=1.4 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) R 28857 28860 26121 0 -1 4202560 5042 0 0 0 140 0 0 0 20 0 16 0 415092984 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221903818568 140222334062956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10748324 memory=2432 CPUtime=1.37 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) R 28857 28860 26121 0 -1 4202560 3625 0 0 0 137 0 0 0 20 0 16 0 415092984 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221902770808 140222341244832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10748324 memory=1760 CPUtime=0.92 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 4190 0 0 0 91 1 0 0 20 0 16 0 415092984 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28876] ppid=28857 vsize=10748324 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/28860/task/28876/stat : 28876 (java) R 28857 28860 26121 0 -1 4202560 3998 0 0 0 123 2 0 0 20 0 16 0 415093168 11006283776 62790 33554432000 4194304 4196468 140736253801888 140221814508032 140221983777744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 6.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 251160 KiB
[startup+4.80073 s]
/proc/loadavg: 1.93 1.82 1.74 5/230 28876
/proc/meminfo: memFree=29697260/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10748324 memory=318836 CPUtime=11.83 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 45963 0 0 0 1163 20 0 0 20 0 16 0 415092978 11006283776 79709 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2687081 79709 3372 1 0 2647217 0
[pid=28860/tid=28862] ppid=28857 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) S 28857 28860 26121 0 -1 1077944384 15239 0 0 0 182 6 0 0 20 0 16 0 415092979 11006283776 79709 33554432000 4194304 4196468 140736253801888 140222353198256 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10748324 memory=6944656592455360569 CPUtime=0.05 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 218 0 0 0 4 1 0 0 20 0 16 0 415092979 11006283776 79709 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 16 0 415092979 11006283776 79709 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10748324 memory=8929 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 16 0 415092979 11006283776 79709 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10748324 memory=4420 CPUtime=0.04 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 145 0 0 0 3 1 0 0 20 0 16 0 415092979 11006283776 79709 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10748324 memory=6628 CPUtime=0.01 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 1139 0 0 0 1 0 0 0 20 0 16 0 415092981 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10748324 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221906994784 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221905941888 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10748324 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10748324 memory=6628 CPUtime=2.98 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) R 28857 28860 26121 0 -1 4202560 7963 0 0 0 297 1 0 0 20 0 16 0 415092984 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221903819088 140222332452066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10748324 memory=8836 CPUtime=2.95 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) R 28857 28860 26121 0 -1 4202560 11057 0 0 0 293 2 0 0 20 0 16 0 415092984 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221902774392 140222332366277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10748324 memory=7162501761800888406 CPUtime=0.97 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 4285 0 0 0 96 1 0 0 20 0 16 0 415092984 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10748324 memory=279449094880064 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28876] ppid=28857 vsize=10748324 memory=288230583166042426 CPUtime=2.81 cores=0,2,4,6
/proc/28860/task/28876/stat : 28876 (java) R 28857 28860 26121 0 -1 4202560 4248 0 0 0 278 3 0 0 20 0 16 0 415093168 11006283776 79709 33554432000 4194304 4196468 140736253801888 140221814513488 140221975133184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 11.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 318836 KiB
[startup+5.60065 s]
/proc/loadavg: 1.93 1.82 1.74 5/230 28876
/proc/meminfo: memFree=29654192/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10748324 memory=324156 CPUtime=13.6 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 55109 0 0 0 1339 21 0 0 20 0 16 0 415092978 11006283776 81039 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2687081 81039 3374 1 0 2647217 0
[pid=28860/tid=28862] ppid=28857 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) S 28857 28860 26121 0 -1 1077944384 15239 0 0 0 182 6 0 0 20 0 16 0 415092979 11006283776 81039 33554432000 4194304 4196468 140736253801888 140222353198256 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10748324 memory=275840 CPUtime=0.05 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 218 0 0 0 4 1 0 0 20 0 16 0 415092979 11006283776 81039 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 16 0 415092979 11006283776 81039 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 16 0 415092979 11006283776 81039 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10748324 memory=1 CPUtime=0.04 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 145 0 0 0 3 1 0 0 20 0 16 0 415092979 11006283776 81039 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 16 0 415092981 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10748324 memory=2186 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221906994784 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10748324 memory=3 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221905941888 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10748324 memory=667 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10748324 memory=1134 CPUtime=3.37 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) S 28857 28860 26121 0 -1 1077944384 11060 0 0 0 336 1 0 0 20 0 16 0 415092984 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221903837552 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10748324 memory=240 CPUtime=3.5 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) S 28857 28860 26121 0 -1 1077944384 15786 0 0 0 348 2 0 0 20 0 16 0 415092984 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221902784752 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10748324 memory=292 CPUtime=0.99 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 4541 0 0 0 98 1 0 0 20 0 16 0 415092984 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10748324 memory=237643 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10748324 memory=1 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 634 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28876] ppid=28857 vsize=10748324 memory=1704 CPUtime=3.61 cores=0,2,4,6
/proc/28860/task/28876/stat : 28876 (java) R 28857 28860 26121 0 -1 4202560 4709 0 0 0 358 3 0 0 20 0 16 0 415093168 11006283776 81039 33554432000 4194304 4196468 140736253801888 140221814519712 140221984660896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 13.6 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 324156 KiB
[startup+6.00062 s]*
/proc/loadavg: 2.01 1.84 1.75 3/230 28876
/proc/meminfo: memFree=29653720/32770624 swapFree=66918708/67108860
[pid=28860] ppid=28857 vsize=10748324 memory=324160 CPUtime=14.03 cores=0,2,4,6
/proc/28860/stat : 28860 (java) S 28857 28860 26121 0 -1 1077944320 55368 0 0 0 1382 21 0 0 20 0 16 0 415092978 11006283776 81040 33554432000 4194304 4196468 140736253801888 140736253784432 140222348955383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
/proc/28860/statm: 2687081 81040 3374 1 0 2647217 0
[pid=28860/tid=28862] ppid=28857 vsize=10748324 memory=8317482817917895235 CPUtime=1.88 cores=0,2,4,6
/proc/28860/task/28862/stat : 28862 (java) S 28857 28860 26121 0 -1 1077944384 15239 0 0 0 182 6 0 0 20 0 16 0 415092979 11006283776 81040 33554432000 4194304 4196468 140736253801888 140222353198256 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28863] ppid=28857 vsize=10748324 memory=4126316290023845779 CPUtime=0.05 cores=0,2,4,6
/proc/28860/task/28863/stat : 28863 (java) S 28857 28860 26121 0 -1 1077944384 218 0 0 0 4 1 0 0 20 0 16 0 415092979 11006283776 81040 33554432000 4194304 4196468 140736253801888 140222301575824 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28864] ppid=28857 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28864/stat : 28864 (java) S 28857 28860 26121 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 16 0 415092979 11006283776 81040 33554432000 4194304 4196468 140736253801888 140222300523024 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28865] ppid=28857 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28860/task/28865/stat : 28865 (java) S 28857 28860 26121 0 -1 1077944384 146 0 0 0 2 1 0 0 20 0 16 0 415092979 11006283776 81040 33554432000 4194304 4196468 140736253801888 140222299470224 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28866] ppid=28857 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28860/task/28866/stat : 28866 (java) S 28857 28860 26121 0 -1 1077944384 145 0 0 0 3 1 0 0 20 0 16 0 415092979 11006283776 81040 33554432000 4194304 4196468 140736253801888 140222298417424 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28867] ppid=28857 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28860/task/28867/stat : 28867 (java) S 28857 28860 26121 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 16 0 415092981 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221908048752 140222348966530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28868] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28868/stat : 28868 (java) S 28857 28860 26121 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221906994784 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28869] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28869/stat : 28869 (java) S 28857 28860 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415092981 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221905941888 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28870] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28870/stat : 28870 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221904890192 140222348973979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28871] ppid=28857 vsize=10748324 memory=0 CPUtime=3.38 cores=0,2,4,6
/proc/28860/task/28871/stat : 28871 (java) S 28857 28860 26121 0 -1 1077944384 11077 0 0 0 337 1 0 0 20 0 16 0 415092984 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221903837552 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28872] ppid=28857 vsize=10748324 memory=0 CPUtime=3.5 cores=0,2,4,6
/proc/28860/task/28872/stat : 28872 (java) S 28857 28860 26121 0 -1 1077944384 15788 0 0 0 348 2 0 0 20 0 16 0 415092984 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221902784752 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28873] ppid=28857 vsize=10748324 memory=0 CPUtime=1 cores=0,2,4,6
/proc/28860/task/28873/stat : 28873 (java) S 28857 28860 26121 0 -1 1077944384 4567 0 0 0 99 1 0 0 20 0 16 0 415092984 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221901731952 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28874] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28874/stat : 28874 (java) S 28857 28860 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221900679392 140222348965589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28875] ppid=28857 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28860/task/28875/stat : 28875 (java) S 28857 28860 26121 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 16 0 415092984 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221899627696 140222348966530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
[pid=28860/tid=28876] ppid=28857 vsize=10748324 memory=0 CPUtime=4.02 cores=0,2,4,6
/proc/28860/task/28876/stat : 28876 (java) R 28857 28860 26121 0 -1 4202560 4907 0 0 0 399 3 0 0 20 0 16 0 415093168 11006283776 81040 33554432000 4194304 4196468 140736253801888 140221814519624 140221984893246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36933632 140736253809675 140736253809778 140736253809778 140736253812687 0
Current children cumulated CPU time: 14.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 324160 KiB
Child status: 0
Real time (s): 6.08697
CPU time (s): 14.1196
CPU user time (s): 13.8962
CPU system time (s): 0.223402
CPU usage (%): 231.965
Max. virtual memory (cumulated for all children) (KiB): 10750988
Max. memory (cumulated for all children) (KiB): 324160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8962
system time used= 0.223402
maximum resident set size= 324732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57100
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2959
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 28860
# total CPU time (s): 14.1196
# total CPU user time (s): 13.8962
# total CPU system time (s): 0.223402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073599 second user time and 0.102368 second system time
The end