2.41/1.89
2.41/1.89 AbsCon 2
2.66/1.91
3.66/2.20 Instance
3.66/2.20 name=instance-4390775-1568386500, framework=COP, bounds=-infty..+infty
3.66/2.20
3.66/2.20 Loading variables...
3.66/2.26 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32474596
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2ba1b5
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e3d291
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a40f071
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fccb006
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938f612
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f71c10
5.09/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3d2b25
5.09/2.67
5.09/2.67
5.09/2.67 Domains
5.09/2.67 nTypes=6, nValues=3615, sizes=[2#1065,3#150,4#105,5#30,15#15,16#15]
5.09/2.67 Variables
5.09/2.67 count=1380, degrees=[2#495,3#870,31#15]
5.09/2.67 Objectives
5.09/2.67 way=min, type=ObjMaximumLE
5.09/2.67 Constraints
5.09/2.67 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15]
5.09/2.67 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15]
5.09/2.67 tables=[3#165,5#150,7#105,9#30], nTotalTuples=2250
5.09/2.67 nExtStructures=(454,shared:446), nIntStructures=(4,shared:416), nCftStructures=(454,shared:416,unbuilt:497)
5.09/2.67 wck=0.81, cpu=2.62, mem=82M4
5.42/2.73 Solver SolverBacktrack being built...
5.42/2.73
5.42/2.77
5.42/2.77 Solver
5.42/2.77 guaranteedGAC=false
5.42/2.77 wck=0.911, cpu=2.718, mem=134M945
5.42/2.79
5.42/2.79 Preprocessing
5.42/2.79 filters=30, revisions=(60,useless=49), ccks=456, nACremovedValues=43, nTotalRemovedValues=43, inconcistency=false
5.42/2.79 wck=0.024, cpu=2.745, mem=134M945
5.42/2.79
5.63/2.86 o 13
5.96/2.91 num=0, depth=1381..1379, filters=1834, revisions=(6799,useless=5511), ccks=6688, wck=0.144, mem=137M588
5.96/2.91 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=13
5.96/2.91 nFilterCalls=2688, avgTableProportion=0.7823129251700756, avgTableSize=4.276785714285714
5.96/2.91
5.96/2.94 num=1, depth=0..8, filters=3894, revisions=(12292,useless=9523), ccks=9377, wck=0.168, mem=137M588
5.96/2.94 decisions=46, wrong=12, backtracks=1, failedAssignments=11, nogoods=3, foundSolutions=1, bestBound=13
5.96/2.94 nFilterCalls=4083, avgTableProportion=0.7836799116740196, avgTableSize=4.3081067842272835
5.96/2.94
5.96/2.96 num=2, depth=8..23, filters=6468, revisions=(18440,useless=13884), ccks=14106, wck=0.189, mem=137M588
5.96/2.96 decisions=95, wrong=27, backtracks=5, failedAssignments=22, nogoods=7, foundSolutions=1, bestBound=13
5.96/2.96 nFilterCalls=5376, avgTableProportion=0.7886054421768608, avgTableSize=4.398809523809524
5.96/2.96
5.96/2.98 num=3, depth=19..28, filters=9276, revisions=(25306,useless=18602), ccks=19169, wck=0.212, mem=137M588
5.96/2.98 decisions=150, wrong=43, backtracks=10, failedAssignments=34, nogoods=11, foundSolutions=1, bestBound=13
5.96/2.98 nFilterCalls=6725, avgTableProportion=0.7914821502331112, avgTableSize=4.457397769516729
5.96/2.98
6.30/3.01 num=4, depth=20..27, filters=14708, revisions=(37222,useless=26953), ccks=27483, wck=0.246, mem=137M588
6.30/3.01 decisions=226, wrong=71, backtracks=28, failedAssignments=47, nogoods=15, foundSolutions=1, bestBound=13
6.30/3.01 nFilterCalls=9382, avgTableProportion=0.7961060186172837, avgTableSize=4.575143892560222
6.30/3.01
6.30/3.04 o 12
6.30/3.09 num=5, depth=22..1379, filters=16849, revisions=(45301,useless=33495), ccks=32526, wck=0.316, mem=137M588
6.30/3.09 decisions=271, wrong=78, backtracks=28, failedAssignments=54, nogoods=22, foundSolutions=2, bestBound=12
6.30/3.09 nFilterCalls=11763, avgTableProportion=0.7930036204456224, avgTableSize=4.507693615574258
6.30/3.09
6.60/3.14 num=6, depth=19..23, filters=22562, revisions=(60113,useless=44438), ccks=40746, wck=0.366, mem=137M588
6.60/3.14 decisions=347, wrong=106, backtracks=43, failedAssignments=70, nogoods=28, foundSolutions=2, bestBound=12
6.60/3.14 nFilterCalls=14981, avgTableProportion=0.7925742978141984, avgTableSize=4.457512849609506
6.60/3.14
6.60/3.16 o 11
6.88/3.20 num=7, depth=25..1379, filters=24563, revisions=(68276,useless=51150), ccks=45672, wck=0.434, mem=140M230
6.88/3.20 decisions=385, wrong=111, backtracks=43, failedAssignments=75, nogoods=33, foundSolutions=3, bestBound=11
6.88/3.20 nFilterCalls=17302, avgTableProportion=0.7910570940508563, avgTableSize=4.431164027280083
6.88/3.20
6.88/3.22 num=8, depth=13..23, filters=26159, revisions=(74117,useless=55791), ccks=47902, wck=0.455, mem=140M230
6.88/3.22 decisions=432, wrong=124, backtracks=44, failedAssignments=87, nogoods=39, foundSolutions=3, bestBound=11
6.88/3.22 nFilterCalls=18559, avgTableProportion=0.7907705755217814, avgTableSize=4.430842178996714
6.88/3.22
6.88/3.24 num=9, depth=10..26, filters=28074, revisions=(80662,useless=60918), ccks=51099, wck=0.472, mem=140M230
6.88/3.24 decisions=484, wrong=139, backtracks=48, failedAssignments=98, nogoods=46, foundSolutions=3, bestBound=11
6.88/3.24 nFilterCalls=19519, avgTableProportion=0.7912010844946616, avgTableSize=4.442850555868641
6.88/3.24
6.88/3.26 num=10, depth=0..33, filters=31002, revisions=(89839,useless=67989), ccks=55644, wck=0.494, mem=140M230
6.88/3.26 decisions=543, wrong=155, backtracks=54, failedAssignments=110, nogoods=54, foundSolutions=3, bestBound=11
6.88/3.26 nFilterCalls=20912, avgTableProportion=0.7918582480172357, avgTableSize=4.456006120887529
6.88/3.26
6.88/3.29 o 10
7.18/3.32 num=11, depth=14..1379, filters=33021, revisions=(98037,useless=74693), ccks=60368, wck=0.555, mem=140M230
7.18/3.32 decisions=576, wrong=160, backtracks=54, failedAssignments=115, nogoods=59, foundSolutions=4, bestBound=10
7.18/3.32 nFilterCalls=23308, avgTableProportion=0.790802258778765, avgTableSize=4.435129569246611
7.18/3.32
7.18/3.35 num=12, depth=13..20, filters=35887, revisions=(106949,useless=81458), ccks=64597, wck=0.582, mem=140M230
7.18/3.35 decisions=633, wrong=181, backtracks=63, failedAssignments=129, nogoods=70, foundSolutions=4, bestBound=10
7.18/3.35 nFilterCalls=25205, avgTableProportion=0.7914217070811417, avgTableSize=4.454354294782781
7.18/3.35
7.18/3.37 num=13, depth=12..25, filters=38738, revisions=(115316,useless=87730), ccks=68986, wck=0.604, mem=140M230
7.18/3.37 decisions=691, wrong=201, backtracks=78, failedAssignments=140, nogoods=75, foundSolutions=4, bestBound=10
7.18/3.37 nFilterCalls=26655, avgTableProportion=0.791656826051714, avgTableSize=4.463252673044457
7.18/3.37
7.18/3.40 num=14, depth=19..34, filters=41778, revisions=(124538,useless=94776), ccks=73414, wck=0.628, mem=140M230
7.18/3.40 decisions=771, wrong=227, backtracks=97, failedAssignments=152, nogoods=80, foundSolutions=4, bestBound=10
7.18/3.40 nFilterCalls=28141, avgTableProportion=0.791971495016705, avgTableSize=4.469066486620944
7.18/3.40
7.48/3.43 num=15, depth=13..24, filters=46564, revisions=(137541,useless=104346), ccks=79937, wck=0.66, mem=140M230
7.48/3.43 decisions=855, wrong=262, backtracks=125, failedAssignments=165, nogoods=83, foundSolutions=4, bestBound=10
7.48/3.43 nFilterCalls=30453, avgTableProportion=0.7927567800287926, avgTableSize=4.489606935277313
7.48/3.43
7.48/3.45 o 9
7.48/3.49 num=16, depth=18..1379, filters=48745, revisions=(144627,useless=109909), ccks=84557, wck=0.717, mem=142M778
7.48/3.49 decisions=892, wrong=265, backtracks=125, failedAssignments=168, nogoods=86, foundSolutions=5, bestBound=9
7.48/3.49 nFilterCalls=32993, avgTableProportion=0.7917552496703933, avgTableSize=4.470463431637014
7.48/3.49
7.79/3.52 num=17, depth=14..29, filters=52983, revisions=(156397,useless=118602), ccks=90591, wck=0.754, mem=142M778
7.79/3.52 decisions=971, wrong=291, backtracks=136, failedAssignments=184, nogoods=91, foundSolutions=5, bestBound=9
7.79/3.52 nFilterCalls=35725, avgTableProportion=0.7914615837469277, avgTableSize=4.469419174247726
7.79/3.52
7.79/3.55 num=18, depth=18..21, filters=57611, revisions=(165918,useless=124978), ccks=96451, wck=0.777, mem=142M778
7.79/3.55 decisions=1030, wrong=311, backtracks=145, failedAssignments=195, nogoods=94, foundSolutions=5, bestBound=9
7.79/3.55 nFilterCalls=38237, avgTableProportion=0.7920834594264438, avgTableSize=4.494599471715877
7.79/3.55
7.79/3.56 num=19, depth=17..28, filters=60359, revisions=(173005,useless=130088), ccks=100654, wck=0.793, mem=142M778
7.79/3.56 decisions=1082, wrong=324, backtracks=146, failedAssignments=207, nogoods=104, foundSolutions=5, bestBound=9
7.79/3.56 nFilterCalls=39561, avgTableProportion=0.7918818557476167, avgTableSize=4.489825838578398
7.79/3.56
7.79/3.58 num=20, depth=18..20, filters=64228, revisions=(182183,useless=136624), ccks=106308, wck=0.814, mem=142M778
7.79/3.58 decisions=1137, wrong=342, backtracks=151, failedAssignments=220, nogoods=108, foundSolutions=5, bestBound=9
7.79/3.58 nFilterCalls=41521, avgTableProportion=0.791002143493488, avgTableSize=4.468293152862407
7.79/3.58
8.09/3.60 num=21, depth=19..21, filters=67960, revisions=(191343,useless=143136), ccks=111671, wck=0.834, mem=142M778
8.09/3.60 decisions=1191, wrong=359, backtracks=156, failedAssignments=234, nogoods=114, foundSolutions=5, bestBound=9
8.09/3.60 nFilterCalls=43384, avgTableProportion=0.7904811663431125, avgTableSize=4.455559653328416
8.09/3.60
8.09/3.62 num=22, depth=20..23, filters=71832, revisions=(201446,useless=150397), ccks=117362, wck=0.855, mem=142M778
8.09/3.62 decisions=1251, wrong=379, backtracks=161, failedAssignments=250, nogoods=116, foundSolutions=5, bestBound=9
8.09/3.62 nFilterCalls=45292, avgTableProportion=0.7899655007576105, avgTableSize=4.443831140157203
8.09/3.62
8.09/3.65 num=23, depth=23..25, filters=76171, revisions=(212544,useless=158400), ccks=122964, wck=0.879, mem=142M778
8.09/3.65 decisions=1320, wrong=402, backtracks=169, failedAssignments=267, nogoods=120, foundSolutions=5, bestBound=9
8.09/3.65 nFilterCalls=47322, avgTableProportion=0.7892685237175641, avgTableSize=4.429736697519124
8.09/3.65
8.09/3.68 num=24, depth=19..22, filters=81742, revisions=(226662,useless=168397), ccks=131336, wck=0.909, mem=142M778
8.09/3.68 decisions=1396, wrong=430, backtracks=179, failedAssignments=286, nogoods=125, foundSolutions=5, bestBound=9
8.09/3.68 nFilterCalls=50054, avgTableProportion=0.7889339830443352, avgTableSize=4.427738042913654
8.09/3.68
8.09/3.69 num=25, depth=12..25, filters=84081, revisions=(233231,useless=173299), ccks=134836, wck=0.924, mem=142M778
8.09/3.69 decisions=1466, wrong=457, backtracks=185, failedAssignments=307, nogoods=131, foundSolutions=5, bestBound=9
8.09/3.69 nFilterCalls=51128, avgTableProportion=0.7892270380222418, avgTableSize=4.433617587232045
8.09/3.69
8.40/3.72 num=26, depth=15..19, filters=90001, revisions=(249491,useless=185264), ccks=143727, wck=0.952, mem=142M778
8.40/3.72 decisions=1549, wrong=490, backtracks=197, failedAssignments=330, nogoods=136, foundSolutions=5, bestBound=9
8.40/3.72 nFilterCalls=54140, avgTableProportion=0.7883528301113064, avgTableSize=4.407831547838936
8.40/3.72
8.40/3.75 num=27, depth=12..16, filters=96171, revisions=(265420,useless=196821), ccks=152888, wck=0.978, mem=142M778
8.40/3.75 decisions=1636, wrong=527, backtracks=212, failedAssignments=355, nogoods=143, foundSolutions=5, bestBound=9
8.40/3.75 nFilterCalls=57177, avgTableProportion=0.7876972397882293, avgTableSize=4.389562236563653
8.40/3.75
8.40/3.78 num=28, depth=17..33, filters=102981, revisions=(281577,useless=208138), ccks=162754, wck=1.007, mem=142M778
8.40/3.78 decisions=1743, wrong=567, backtracks=226, failedAssignments=383, nogoods=153, foundSolutions=5, bestBound=9
8.40/3.78 nFilterCalls=60582, avgTableProportion=0.7879591245345139, avgTableSize=4.397675877323297
8.40/3.78
8.71/3.81 num=29, depth=20..23, filters=111469, revisions=(301634,useless=221926), ccks=175270, wck=1.04, mem=142M778
8.71/3.81 decisions=1848, wrong=609, backtracks=240, failedAssignments=414, nogoods=156, foundSolutions=5, bestBound=9
8.71/3.81 nFilterCalls=64626, avgTableProportion=0.7887368541534998, avgTableSize=4.41398198867329
8.71/3.81
8.71/3.83 num=30, depth=17..26, filters=117905, revisions=(318532,useless=234099), ccks=185344, wck=1.066, mem=142M778
8.71/3.83 decisions=1964, wrong=656, backtracks=262, failedAssignments=448, nogoods=161, foundSolutions=5, bestBound=9
8.71/3.83 nFilterCalls=67713, avgTableProportion=0.788913338486089, avgTableSize=4.417379232939022
8.71/3.83
8.71/3.87 num=31, depth=17..23, filters=128176, revisions=(338374,useless=246781), ccks=199222, wck=1.1, mem=142M778
8.71/3.87 decisions=2087, wrong=708, backtracks=279, failedAssignments=485, nogoods=169, foundSolutions=5, bestBound=9
8.71/3.87 nFilterCalls=72762, avgTableProportion=0.7893826491504609, avgTableSize=4.431021687144389
8.71/3.87
8.71/3.89 num=32, depth=12..28, filters=134153, revisions=(355307,useless=259394), ccks=207735, wck=1.124, mem=142M778
8.71/3.89 decisions=2261, wrong=785, backtracks=328, failedAssignments=526, nogoods=176, foundSolutions=5, bestBound=9
8.71/3.89 nFilterCalls=75323, avgTableProportion=0.7893410579499632, avgTableSize=4.427837446729419
8.71/3.89
9.01/3.92 num=33, depth=13..22, filters=141744, revisions=(373387,useless=272107), ccks=218739, wck=1.148, mem=142M778
9.01/3.92 decisions=2407, wrong=849, backtracks=350, failedAssignments=571, nogoods=182, foundSolutions=5, bestBound=9
9.01/3.92 nFilterCalls=78785, avgTableProportion=0.7899224229900662, avgTableSize=4.436199784222885
9.01/3.92
9.01/3.95 o 8
9.37/4.02 num=34, depth=16..1379, filters=149617, revisions=(394453,useless=287702), ccks=231293, wck=1.248, mem=59M376
9.37/4.02 decisions=2544, wrong=899, backtracks=366, failedAssignments=608, nogoods=190, foundSolutions=6, bestBound=8
9.37/4.02 nFilterCalls=83938, avgTableProportion=0.7897892132784932, avgTableSize=4.429531320736734
9.37/4.02
9.37/4.05 num=35, depth=20..24, filters=162462, revisions=(425244,useless=309385), ccks=249087, wck=1.279, mem=59M376
9.37/4.05 decisions=2721, wrong=977, backtracks=394, failedAssignments=663, nogoods=194, foundSolutions=6, bestBound=8
9.37/4.05 nFilterCalls=90625, avgTableProportion=0.7899885363991667, avgTableSize=4.433566896551724
9.37/4.05
9.37/4.06 num=36, depth=14..16, filters=165922, revisions=(433577,useless=315137), ccks=255266, wck=1.287, mem=59M376
9.37/4.06 decisions=2766, wrong=992, backtracks=399, failedAssignments=674, nogoods=196, foundSolutions=6, bestBound=8
9.37/4.06 nFilterCalls=92439, avgTableProportion=0.7902303312170206, avgTableSize=4.4377805904434275
9.37/4.06
9.37/4.06 num=37, depth=11..20, filters=167619, revisions=(438596,useless=318912), ccks=258101, wck=1.291, mem=59M376
9.37/4.06 decisions=2813, wrong=1007, backtracks=403, failedAssignments=686, nogoods=203, foundSolutions=6, bestBound=8
9.37/4.06 nFilterCalls=93247, avgTableProportion=0.7902425389751634, avgTableSize=4.4386200092228165
9.37/4.06
9.37/4.07 num=38, depth=14..17, filters=169516, revisions=(444035,useless=322968), ccks=261295, wck=1.296, mem=59M376
9.37/4.07 decisions=2864, wrong=1025, backtracks=408, failedAssignments=699, nogoods=207, foundSolutions=6, bestBound=8
9.37/4.07 nFilterCalls=94180, avgTableProportion=0.7902677412729849, avgTableSize=4.439286472711829
9.37/4.07
9.37/4.07 num=39, depth=16..19, filters=171524, revisions=(450238,useless=327691), ccks=264693, wck=1.301, mem=59M376
9.37/4.07 decisions=2920, wrong=1045, backtracks=414, failedAssignments=713, nogoods=208, foundSolutions=6, bestBound=8
9.37/4.07 nFilterCalls=95171, avgTableProportion=0.7904122454277088, avgTableSize=4.443685576488636
9.37/4.07
9.37/4.08 num=40, depth=14..16, filters=176256, revisions=(460068,useless=334078), ccks=271910, wck=1.31, mem=59M376
9.37/4.08 decisions=2977, wrong=1066, backtracks=419, failedAssignments=729, nogoods=213, foundSolutions=6, bestBound=8
9.37/4.08 nFilterCalls=97477, avgTableProportion=0.7907310979839192, avgTableSize=4.448228812950747
9.37/4.08
9.37/4.08 num=41, depth=9..17, filters=178962, revisions=(467720,useless=339706), ccks=276334, wck=1.316, mem=59M376
9.37/4.08 decisions=3042, wrong=1091, backtracks=428, failedAssignments=746, nogoods=221, foundSolutions=6, bestBound=8
9.37/4.08 nFilterCalls=98703, avgTableProportion=0.7908868179020734, avgTableSize=4.451718792741862
9.37/4.08
9.37/4.10 num=42, depth=14..18, filters=185341, revisions=(481806,useless=349280), ccks=285105, wck=1.328, mem=59M376
9.37/4.10 decisions=3120, wrong=1123, backtracks=443, failedAssignments=765, nogoods=223, foundSolutions=6, bestBound=8
9.37/4.10 nFilterCalls=101755, avgTableProportion=0.790845611893188, avgTableSize=4.44915728956808
9.37/4.10
9.37/4.11 num=43, depth=9..37, filters=188857, revisions=(492588,useless=357499), ccks=290594, wck=1.337, mem=59M376
9.37/4.11 decisions=3227, wrong=1161, backtracks=470, failedAssignments=786, nogoods=231, foundSolutions=6, bestBound=8
9.37/4.11 nFilterCalls=103339, avgTableProportion=0.7909566864008146, avgTableSize=4.451871994116452
9.37/4.11
9.61/4.12 num=44, depth=14..18, filters=193833, revisions=(504694,useless=366039), ccks=298104, wck=1.347, mem=59M376
9.61/4.12 decisions=3306, wrong=1193, backtracks=482, failedAssignments=809, nogoods=236, foundSolutions=6, bestBound=8
9.61/4.12 nFilterCalls=105768, avgTableProportion=0.7910177771544921, avgTableSize=4.454315104757582
9.61/4.12
9.61/4.13 num=45, depth=15..19, filters=199185, revisions=(518274,useless=375714), ccks=306447, wck=1.357, mem=59M376
9.61/4.13 decisions=3390, wrong=1227, backtracks=494, failedAssignments=834, nogoods=243, foundSolutions=6, bestBound=8
9.61/4.13 nFilterCalls=108499, avgTableProportion=0.7912177670582453, avgTableSize=4.460612540207744
9.61/4.13
9.61/4.14 num=46, depth=15..17, filters=206306, revisions=(533659,useless=385962), ccks=317303, wck=1.368, mem=60M697
9.61/4.14 decisions=3475, wrong=1262, backtracks=502, failedAssignments=862, nogoods=254, foundSolutions=6, bestBound=8
9.61/4.14 nFilterCalls=111976, avgTableProportion=0.7915114463314625, avgTableSize=4.466492819889976
9.61/4.14
9.61/4.15 num=47, depth=11..23, filters=211885, revisions=(548061,useless=396283), ccks=325855, wck=1.38, mem=60M697
9.61/4.15 decisions=3593, wrong=1315, backtracks=531, failedAssignments=893, nogoods=256, foundSolutions=6, bestBound=8
9.61/4.15 nFilterCalls=114579, avgTableProportion=0.7919912192015565, avgTableSize=4.4768762164096385
9.61/4.15
9.61/4.16 num=48, depth=15..37, filters=216885, revisions=(563288,useless=407811), ccks=333824, wck=1.392, mem=60M697
9.61/4.16 decisions=3720, wrong=1364, backtracks=550, failedAssignments=927, nogoods=266, foundSolutions=6, bestBound=8
9.61/4.16 nFilterCalls=116908, avgTableProportion=0.7921248617158225, avgTableSize=4.479813186437198
9.61/4.16
9.61/4.18 num=49, depth=15..20, filters=226830, revisions=(587579,useless=425074), ccks=347978, wck=1.41, mem=60M697
9.61/4.18 decisions=3847, wrong=1420, backtracks=572, failedAssignments=964, nogoods=267, foundSolutions=6, bestBound=8
9.61/4.18 nFilterCalls=121902, avgTableProportion=0.7921094566478168, avgTableSize=4.4770553395350365
9.61/4.18
9.61/4.19 num=50, depth=16..33, filters=231998, revisions=(601731,useless=435531), ccks=354770, wck=1.421, mem=60M697
9.61/4.19 decisions=3987, wrong=1477, backtracks=593, failedAssignments=1005, nogoods=276, foundSolutions=6, bestBound=8
9.61/4.19 nFilterCalls=124186, avgTableProportion=0.7921113721136437, avgTableSize=4.476639878891341
9.61/4.19
9.80/4.21 num=51, depth=20..23, filters=243277, revisions=(626625,useless=452565), ccks=371155, wck=1.443, mem=60M697
9.80/4.21 decisions=4130, wrong=1538, backtracks=610, failedAssignments=1050, nogoods=287, foundSolutions=6, bestBound=8
9.80/4.21 nFilterCalls=129753, avgTableProportion=0.7920420227016534, avgTableSize=4.478848273257651
9.80/4.21
9.80/4.23 num=52, depth=11..30, filters=250986, revisions=(647825,useless=468292), ccks=382498, wck=1.459, mem=60M697
9.80/4.23 decisions=4313, wrong=1618, backtracks=646, failedAssignments=1100, nogoods=301, foundSolutions=6, bestBound=8
9.80/4.23 nFilterCalls=133224, avgTableProportion=0.7921172027743623, avgTableSize=4.479027802798295
9.80/4.23
9.80/4.25 num=53, depth=18..22, filters=264418, revisions=(678071,useless=489042), ccks=401444, wck=1.481, mem=60M697
9.80/4.25 decisions=4484, wrong=1694, backtracks=669, failedAssignments=1155, nogoods=305, foundSolutions=6, bestBound=8
9.80/4.25 nFilterCalls=139818, avgTableProportion=0.7918077627915417, avgTableSize=4.469124147105523
9.80/4.25
9.80/4.26 num=54, depth=8..22, filters=271440, revisions=(696509,useless=502291), ccks=411085, wck=1.494, mem=60M697
9.80/4.26 decisions=4655, wrong=1774, backtracks=695, failedAssignments=1216, nogoods=314, foundSolutions=6, bestBound=8
9.80/4.26 nFilterCalls=142816, avgTableProportion=0.7919474141901517, avgTableSize=4.471109679587721
9.80/4.26
9.80/4.28 num=55, depth=9..12, filters=281822, revisions=(723518,useless=521839), ccks=428231, wck=1.512, mem=60M697
9.80/4.28 decisions=4836, wrong=1859, backtracks=718, failedAssignments=1283, nogoods=323, foundSolutions=6, bestBound=8
9.80/4.28 nFilterCalls=148026, avgTableProportion=0.7921482691066016, avgTableSize=4.472079229324578
9.80/4.28
9.94/4.30 num=56, depth=10..24, filters=291560, revisions=(748344,useless=539390), ccks=441657, wck=1.53, mem=60M697
9.94/4.30 decisions=5056, wrong=1958, backtracks=748, failedAssignments=1357, nogoods=333, foundSolutions=6, bestBound=8
9.94/4.30 nFilterCalls=152271, avgTableProportion=0.7923453933912034, avgTableSize=4.475599424709892
9.94/4.30
9.94/4.33 num=57, depth=12..18, filters=310349, revisions=(788086,useless=565658), ccks=466492, wck=1.561, mem=60M697
9.94/4.33 decisions=5282, wrong=2065, backtracks=778, failedAssignments=1438, nogoods=347, foundSolutions=6, bestBound=8
9.94/4.33 nFilterCalls=161448, avgTableProportion=0.7923872289133808, avgTableSize=4.472597988206729
9.94/4.33
9.94/4.36 o 7
9.94/4.39 num=58, depth=8..1379, filters=319877, revisions=(815655,useless=586326), ccks=481320, wck=1.617, mem=60M697
9.94/4.39 decisions=5540, wrong=2182, backtracks=818, failedAssignments=1522, nogoods=363, foundSolutions=7, bestBound=7
9.94/4.39 nFilterCalls=166861, avgTableProportion=0.7925027608301008, avgTableSize=4.473879456553658
9.94/4.39
10.13/4.43 num=59, depth=18..25, filters=342403, revisions=(864659,useless=619222), ccks=514266, wck=1.666, mem=63M287
10.13/4.43 decisions=5828, wrong=2316, backtracks=865, failedAssignments=1620, nogoods=365, foundSolutions=7, bestBound=7
10.13/4.43 nFilterCalls=178439, avgTableProportion=0.7913102134328316, avgTableSize=4.44377070035138
10.13/4.43
10.13/4.44 num=60, depth=9..14, filters=344348, revisions=(869519,useless=622629), ccks=517313, wck=1.67, mem=63M287
10.13/4.44 decisions=5871, wrong=2333, backtracks=871, failedAssignments=1631, nogoods=371, foundSolutions=7, bestBound=7
10.13/4.44 nFilterCalls=179268, avgTableProportion=0.7913322644369359, avgTableSize=4.444753107079903
10.13/4.44
10.13/4.44 num=61, depth=10..14, filters=346884, revisions=(875274,useless=626622), ccks=520773, wck=1.676, mem=63M287
10.13/4.44 decisions=5913, wrong=2348, backtracks=875, failedAssignments=1643, nogoods=378, foundSolutions=7, bestBound=7
10.13/4.44 nFilterCalls=180461, avgTableProportion=0.7912546025208302, avgTableSize=4.443009847002954
10.13/4.44
10.13/4.45 num=62, depth=7..17, filters=349146, revisions=(880749,useless=630441), ccks=524149, wck=1.681, mem=63M287
10.13/4.45 decisions=5965, wrong=2369, backtracks=883, failedAssignments=1656, nogoods=383, foundSolutions=7, bestBound=7
10.13/4.45 nFilterCalls=181437, avgTableProportion=0.7912565741702218, avgTableSize=4.4434045977391605
10.13/4.45
10.13/4.46 num=63, depth=13..18, filters=352260, revisions=(888181,useless=635566), ccks=529122, wck=1.688, mem=63M287
10.13/4.46 decisions=6018, wrong=2388, backtracks=889, failedAssignments=1670, nogoods=387, foundSolutions=7, bestBound=7
10.13/4.46 nFilterCalls=182986, avgTableProportion=0.791279443878471, avgTableSize=4.44391374203491
10.13/4.46
10.13/4.46 num=64, depth=13..18, filters=355025, revisions=(895857,useless=641219), ccks=533633, wck=1.695, mem=63M287
10.13/4.46 decisions=6078, wrong=2411, backtracks=899, failedAssignments=1686, nogoods=392, foundSolutions=7, bestBound=7
10.13/4.46 nFilterCalls=184328, avgTableProportion=0.7912914728269427, avgTableSize=4.444913415216353
10.13/4.46
10.13/4.47 num=65, depth=13..16, filters=359004, revisions=(903797,useless=646444), ccks=538790, wck=1.703, mem=63M287
10.13/4.47 decisions=6135, wrong=2433, backtracks=905, failedAssignments=1703, nogoods=395, foundSolutions=7, bestBound=7
10.13/4.47 nFilterCalls=186227, avgTableProportion=0.7912237846610866, avgTableSize=4.442889591734819
10.13/4.47
10.13/4.48 num=66, depth=9..16, filters=361725, revisions=(911401,useless=652015), ccks=542957, wck=1.709, mem=63M287
10.13/4.48 decisions=6204, wrong=2462, backtracks=916, failedAssignments=1722, nogoods=403, foundSolutions=7, bestBound=7
10.13/4.48 nFilterCalls=187438, avgTableProportion=0.7912548098446069, avgTableSize=4.444360268462105
10.13/4.48
10.13/4.49 num=67, depth=11..14, filters=366502, revisions=(922203,useless=659216), ccks=549791, wck=1.719, mem=63M287
10.13/4.49 decisions=6270, wrong=2488, backtracks=922, failedAssignments=1743, nogoods=414, foundSolutions=7, bestBound=7
10.13/4.49 nFilterCalls=189713, avgTableProportion=0.7911457565936093, avgTableSize=4.442531613542561
10.13/4.49
10.13/4.49 num=68, depth=7..12, filters=369172, revisions=(928945,useless=663956), ccks=553528, wck=1.724, mem=63M287
10.13/4.49 decisions=6337, wrong=2518, backtracks=929, failedAssignments=1766, nogoods=425, foundSolutions=7, bestBound=7
10.13/4.49 nFilterCalls=190839, avgTableProportion=0.7911510882978744, avgTableSize=4.443127452983929
10.13/4.49
10.41/4.50 num=69, depth=8..12, filters=374946, revisions=(939843,useless=670920), ccks=560781, wck=1.735, mem=63M287
10.41/4.50 decisions=6407, wrong=2549, backtracks=936, failedAssignments=1791, nogoods=427, foundSolutions=7, bestBound=7
10.41/4.50 nFilterCalls=193566, avgTableProportion=0.791111255436417, avgTableSize=4.442639719785499
10.41/4.50
10.41/4.51 num=70, depth=7..12, filters=377978, revisions=(946627,useless=675459), ccks=564934, wck=1.742, mem=63M287
10.41/4.51 decisions=6483, wrong=2583, backtracks=942, failedAssignments=1819, nogoods=437, foundSolutions=7, bestBound=7
10.41/4.51 nFilterCalls=194811, avgTableProportion=0.7910932965306176, avgTableSize=4.442541745589315
10.41/4.51
10.41/4.52 num=71, depth=14..18, filters=384583, revisions=(961736,useless=685687), ccks=575439, wck=1.754, mem=63M287
10.41/4.52 decisions=6574, wrong=2621, backtracks=953, failedAssignments=1850, nogoods=445, foundSolutions=7, bestBound=7
10.41/4.52 nFilterCalls=197963, avgTableProportion=0.7911391169854293, avgTableSize=4.44368897218167
10.41/4.52
10.41/4.53 num=72, depth=5..11, filters=389807, revisions=(974774,useless=694768), ccks=583325, wck=1.764, mem=63M287
10.41/4.53 decisions=6672, wrong=2666, backtracks=965, failedAssignments=1884, nogoods=454, foundSolutions=7, bestBound=7
10.41/4.53 nFilterCalls=200430, avgTableProportion=0.7910172177431843, avgTableSize=4.441550666067954
10.41/4.53
10.41/4.55 num=73, depth=9..14, filters=398504, revisions=(992353,useless=705830), ccks=597596, wck=1.778, mem=63M287
10.41/4.55 decisions=6770, wrong=2710, backtracks=975, failedAssignments=1921, nogoods=457, foundSolutions=7, bestBound=7
10.41/4.55 nFilterCalls=204736, avgTableProportion=0.7911521829730426, avgTableSize=4.44242341356674
10.41/4.55
10.41/4.56 num=74, depth=9..13, filters=407809, revisions=(1012418,useless=719289), ccks=610811, wck=1.793, mem=63M287
10.41/4.56 decisions=6890, wrong=2765, backtracks=992, failedAssignments=1962, nogoods=463, foundSolutions=7, bestBound=7
10.41/4.56 nFilterCalls=209071, avgTableProportion=0.7913842893643291, avgTableSize=4.449187118251694
10.41/4.56
10.41/4.58 num=75, depth=12..19, filters=414303, revisions=(1029342,useless=731246), ccks=620924, wck=1.808, mem=63M287
10.41/4.58 decisions=7024, wrong=2825, backtracks=1009, failedAssignments=2007, nogoods=468, foundSolutions=7, bestBound=7
10.41/4.58 nFilterCalls=212075, avgTableProportion=0.7911391335413548, avgTableSize=4.445380172108924
10.41/4.58
10.41/4.59 num=76, depth=7..16, filters=421082, revisions=(1046324,useless=743077), ccks=631018, wck=1.821, mem=63M287
10.41/4.59 decisions=7171, wrong=2895, backtracks=1034, failedAssignments=2057, nogoods=473, foundSolutions=7, bestBound=7
10.41/4.59 nFilterCalls=215109, avgTableProportion=0.7911045171843941, avgTableSize=4.4453556104114655
10.41/4.59
10.58/4.61 num=77, depth=7..17, filters=430989, revisions=(1067625,useless=757485), ccks=644203, wck=1.838, mem=63M287
10.58/4.61 decisions=7329, wrong=2970, backtracks=1056, failedAssignments=2112, nogoods=485, foundSolutions=7, bestBound=7
10.58/4.61 nFilterCalls=219650, avgTableProportion=0.7911401616553624, avgTableSize=4.447684953334851
10.58/4.61
10.58/4.62 num=78, depth=3..17, filters=439809, revisions=(1087441,useless=770611), ccks=656235, wck=1.853, mem=63M287
10.58/4.62 decisions=7502, wrong=3055, backtracks=1083, failedAssignments=2173, nogoods=486, foundSolutions=7, bestBound=7
10.58/4.62 nFilterCalls=223402, avgTableProportion=0.7910538096087955, avgTableSize=4.446522412511974
10.58/4.62
10.58/4.65 num=79, depth=3..11, filters=456101, revisions=(1120421,useless=791795), ccks=680817, wck=1.879, mem=63M287
10.58/4.65 decisions=7686, wrong=3145, backtracks=1120, failedAssignments=2240, nogoods=489, foundSolutions=7, bestBound=7
10.58/4.65 nFilterCalls=231426, avgTableProportion=0.791155402410526, avgTableSize=4.4445654334430875
10.58/4.65
10.58/4.67 num=80, depth=5..10, filters=467297, revisions=(1144853,useless=808011), ccks=694968, wck=1.899, mem=63M287
10.58/4.67 decisions=7878, wrong=3238, backtracks=1140, failedAssignments=2314, nogoods=503, foundSolutions=7, bestBound=7
10.58/4.67 nFilterCalls=236224, avgTableProportion=0.7911054559975633, avgTableSize=4.444154700623137
10.58/4.67
10.58/4.69 num=81, depth=7..14, filters=480441, revisions=(1175681,useless=829284), ccks=712604, wck=1.921, mem=63M287
10.58/4.69 decisions=8096, wrong=3343, backtracks=1169, failedAssignments=2395, nogoods=516, foundSolutions=7, bestBound=7
10.58/4.69 nFilterCalls=242216, avgTableProportion=0.7910782242874437, avgTableSize=4.445115103874228
10.58/4.69
10.68/4.71 num=82, depth=7..16, filters=490011, revisions=(1198128,useless=844596), ccks=725684, wck=1.939, mem=63M287
10.68/4.71 decisions=8318, wrong=3450, backtracks=1194, failedAssignments=2484, nogoods=526, foundSolutions=7, bestBound=7
10.68/4.71 nFilterCalls=246275, avgTableProportion=0.7911317100969212, avgTableSize=4.446379047812405
10.68/4.71
10.68/4.74 num=83, depth=7..14, filters=509544, revisions=(1236662,useless=869485), ccks=752432, wck=1.97, mem=63M287
10.68/4.74 decisions=8565, wrong=3569, backtracks=1222, failedAssignments=2582, nogoods=539, foundSolutions=7, bestBound=7
10.68/4.74 nFilterCalls=255522, avgTableProportion=0.7910079373125661, avgTableSize=4.44418093158319
10.68/4.74
10.68/4.76 num=84, depth=4..16, filters=522663, revisions=(1265949,useless=889264), ccks=769337, wck=1.993, mem=63M287
10.68/4.76 decisions=8851, wrong=3710, backtracks=1259, failedAssignments=2690, nogoods=562, foundSolutions=7, bestBound=7
10.68/4.76 nFilterCalls=261266, avgTableProportion=0.7908522591856276, avgTableSize=4.441419855626067
10.68/4.76
10.79/4.80 num=85, depth=5..12, filters=546774, revisions=(1313530,useless=919641), ccks=801843, wck=2.031, mem=63M287
10.79/4.80 decisions=9145, wrong=3854, backtracks=1289, failedAssignments=2809, nogoods=566, foundSolutions=7, bestBound=7
10.79/4.80 nFilterCalls=272140, avgTableProportion=0.7908665357782012, avgTableSize=4.440074961416918
10.79/4.80
10.79/4.84 num=86, depth=4..15, filters=573222, revisions=(1372689,useless=959566), ccks=839982, wck=2.074, mem=63M287
10.79/4.84 decisions=9507, wrong=4033, backtracks=1349, failedAssignments=2940, nogoods=570, foundSolutions=7, bestBound=7
10.79/4.84 nFilterCalls=284832, avgTableProportion=0.7908759359976728, avgTableSize=4.440940624648916
10.79/4.84
10.79/4.89 num=87, depth=0..13, filters=602546, revisions=(1435825,useless=1001670), ccks=879350, wck=2.122, mem=63M287
10.79/4.89 decisions=9922, wrong=4237, backtracks=1416, failedAssignments=3084, nogoods=594, foundSolutions=7, bestBound=7
10.79/4.89 nFilterCalls=298120, avgTableProportion=0.7908640815737342, avgTableSize=4.439588085334765
10.79/4.89
10.91/4.94 num=88, depth=9..18, filters=629013, revisions=(1495072,useless=1041971), ccks=917242, wck=2.167, mem=63M287
10.91/4.94 decisions=10362, wrong=4452, backtracks=1481, failedAssignments=3242, nogoods=604, foundSolutions=7, bestBound=7
10.91/4.94 nFilterCalls=310091, avgTableProportion=0.7908567751163116, avgTableSize=4.442005733800723
10.91/4.94
10.91/4.98 num=89, depth=4..10, filters=652133, revisions=(1544779,useless=1074816), ccks=947564, wck=2.209, mem=63M287
10.91/4.98 decisions=10791, wrong=4664, backtracks=1525, failedAssignments=3416, nogoods=620, foundSolutions=7, bestBound=7
10.91/4.98 nFilterCalls=320071, avgTableProportion=0.7908450867972634, avgTableSize=4.441589522324734
10.91/4.98
11.02/5.03 num=90, depth=2..10, filters=686164, revisions=(1611173,useless=1116581), ccks=992302, wck=2.266, mem=65M876
11.02/5.03 decisions=11281, wrong=4908, backtracks=1588, failedAssignments=3607, nogoods=641, foundSolutions=7, bestBound=7
11.02/5.03 nFilterCalls=335773, avgTableProportion=0.7908792500025017, avgTableSize=4.4407501496546775
11.02/5.03
11.02/5.09 num=91, depth=8..15, filters=719564, revisions=(1686216,useless=1167826), ccks=1036919, wck=2.323, mem=65M876
11.02/5.09 decisions=11838, wrong=5182, backtracks=1665, failedAssignments=3818, nogoods=649, foundSolutions=7, bestBound=7
11.02/5.09 nFilterCalls=350688, avgTableProportion=0.7906327081995681, avgTableSize=4.43432909024546
11.02/5.09
11.12/5.16 num=92, depth=0..16, filters=764205, revisions=(1776616,useless=1225632), ccks=1098603, wck=2.396, mem=65M876
11.12/5.16 decisions=12467, wrong=5493, backtracks=1754, failedAssignments=4050, nogoods=660, foundSolutions=7, bestBound=7
11.12/5.16 nFilterCalls=370898, avgTableProportion=0.7903606750356228, avgTableSize=4.42709855539798
11.12/5.16
11.21/5.23 num=93, depth=0..11, filters=803982, revisions=(1862226,useless=1281176), ccks=1153543, wck=2.461, mem=65M876
11.21/5.23 decisions=13118, wrong=5817, backtracks=1828, failedAssignments=4305, nogoods=686, foundSolutions=7, bestBound=7
11.21/5.23 nFilterCalls=388356, avgTableProportion=0.7904308712295257, avgTableSize=4.428194749147689
11.21/5.23
11.31/5.31 num=94, depth=0..10, filters=852103, revisions=(1964016,useless=1348455), ccks=1217603, wck=2.538, mem=65M876
11.31/5.31 decisions=13884, wrong=6197, backtracks=1944, failedAssignments=4586, nogoods=703, foundSolutions=7, bestBound=7
11.31/5.31 nFilterCalls=408558, avgTableProportion=0.7905874761819591, avgTableSize=4.431018362141972
11.31/5.31
11.31/5.39 num=95, depth=0..8, filters=905348, revisions=(2069352,useless=1415883), ccks=1288653, wck=2.623, mem=65M876
11.31/5.39 decisions=14679, wrong=6593, backtracks=2044, failedAssignments=4895, nogoods=719, foundSolutions=7, bestBound=7
11.31/5.39 nFilterCalls=431909, avgTableProportion=0.7905393945574325, avgTableSize=4.430220254729584
11.31/5.39
11.42/5.49 num=96, depth=0..8, filters=968331, revisions=(2196874,useless=1498205), ccks=1373759, wck=2.725, mem=65M876
11.42/5.49 decisions=15571, wrong=7038, backtracks=2173, failedAssignments=5235, nogoods=736, foundSolutions=7, bestBound=7
11.42/5.49 nFilterCalls=459559, avgTableProportion=0.7905118561363562, avgTableSize=4.428789339344894
11.42/5.49
11.54/5.55
11.54/5.55 New Bounds: 7..6
11.54/5.55 num=97, depth=0..5, filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820, wck=2.781, mem=65M876
11.54/5.55 decisions=16093, wrong=7300, backtracks=2247, failedAssignments=5431, foundSolutions=7, bestBound=7
11.54/5.55 nFilterCalls=474307, avgTableProportion=0.7904238835846653, avgTableSize=4.427115771009072
11.54/5.55
11.54/5.55 Global
11.54/5.55 filters=1002418, revisions=(2269344,useless=1546890), ccks=1420820
11.54/5.55 Stop=FULL_EXPLORATION, wrong=7300, bestBound=7, bestBoundWck=2.498, bestBoundCpu=4.27, foundSolutions=7, firstSolCpu=2.803
11.54/5.55 wck=3.693, cpu=5.464, mem=65M876
11.54/5.55
11.54/5.55 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>
11.54/5.55 s OPTIMUM FOUND
11.54/5.55
11.54/5.55 d WRONG_DECISIONS 7300
11.54/5.55 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 (12736 MiB free)
memory of node 1: 16384 MiB (13058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390775-1568386500/watcher-4390775-1568386500 -o /tmp/evaluation-result-4390775-1568386500/solver-4390775-1568386500 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17198 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390775-1568386500.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19181, runsolver pid=19178
[startup+0.105029 s]*
/proc/loadavg: 1.85 1.80 1.80 3/229 19196
/proc/meminfo: memFree=26399596/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10659884 memory=28184 CPUtime=0.14 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 5561 0 0 0 13 1 0 0 20 0 15 0 414897304 10915721216 7046 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2664971 7046 2914 1 0 2627468 0
[pid=19181/tid=19183] ppid=19178 vsize=10659884 memory=-8197568871503400322 CPUtime=0.1 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) R 19178 19181 17167 0 -1 4202560 3235 0 0 0 9 1 0 0 20 0 15 0 414897304 10915721216 7178 33554432000 4194304 4196468 140732671012752 139953188165440 139953168016734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952218703520 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952217650416 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) R 19178 19181 17167 0 -1 4202560 417 0 0 0 1 0 0 0 20 0 15 0 414897310 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952215546096 139953164447742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) R 19178 19181 17167 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0.02 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) R 19178 19181 17167 0 -1 4202560 439 0 0 0 2 0 0 0 20 0 15 0 414897310 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952213438304 139953162304886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 7178 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28184 KiB
[startup+0.211157 s]*
/proc/loadavg: 1.85 1.80 1.80 3/229 19196
/proc/meminfo: memFree=26392412/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10659884 memory=35468 CPUtime=0.32 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 6954 0 0 0 30 2 0 0 20 0 15 0 414897304 10915721216 8867 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2664971 8867 2989 1 0 2627468 0
[pid=19181/tid=19183] ppid=19178 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) R 19178 19181 17167 0 -1 4202560 3877 0 0 0 18 1 0 0 20 0 15 0 414897304 10915721216 8867 33554432000 4194304 4196468 140732671012752 139953188168336 139953166132984 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10659884 memory=3473317210146285216 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952218703520 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952217650416 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) S 19178 19181 17167 0 -1 1077944384 636 0 0 0 3 0 0 0 20 0 15 0 414897310 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952215546096 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 414897310 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0.05 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 669 0 0 0 5 0 0 0 20 0 15 0 414897310 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 8867 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35468 KiB
[startup+0.310177 s]*
/proc/loadavg: 1.85 1.80 1.80 3/229 19196
/proc/meminfo: memFree=26387380/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10659884 memory=40532 CPUtime=0.46 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 9455 0 0 0 43 3 0 0 20 0 15 0 414897304 10915721216 10133 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2664971 10133 3001 1 0 2627468 0
[pid=19181/tid=19183] ppid=19178 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) R 19178 19181 17167 0 -1 4202560 6312 0 0 0 27 2 0 0 20 0 15 0 414897304 10915721216 10133 33554432000 4194304 4196468 140732671012752 139953188157136 139953183958173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10659884 memory=4123521107813017248 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897305 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952218703520 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897307 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952217650416 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) S 19178 19181 17167 0 -1 1077944384 667 0 0 0 4 0 0 0 20 0 15 0 414897310 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952215546096 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 15 0 414897310 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0.07 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 689 0 0 0 7 0 0 0 20 0 15 0 414897310 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10659884 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897310 10915721216 10133 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40532 KiB
[startup+0.700776 s]
/proc/loadavg: 1.85 1.80 1.80 3/229 19196
/proc/meminfo: memFree=26376116/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10661932 memory=61468 CPUtime=1.12 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 13046 0 0 0 107 5 0 0 20 0 15 0 414897304 10917818368 15367 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2665483 15367 3062 1 0 2627980 0
[pid=19181/tid=19183] ppid=19178 vsize=10661932 memory=1436 CPUtime=0.66 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) R 19178 19181 17167 0 -1 4202560 8867 0 0 0 63 3 0 0 20 0 15 0 414897304 10917818368 15367 33554432000 4194304 4196468 140732671012752 139953188153280 139953183958173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10661932 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10661932 memory=692 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897305 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10661932 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897307 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897307 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952218703520 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897307 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952217650416 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10661932 memory=7739276948478061671 CPUtime=0.11 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) S 19178 19181 17167 0 -1 1077944384 1010 0 0 0 11 0 0 0 20 0 15 0 414897310 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952215546096 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10661932 memory=7019257425709197167 CPUtime=0.13 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 706 0 0 0 13 0 0 0 20 0 15 0 414897310 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 1104 0 0 0 18 0 0 0 20 0 15 0 414897310 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897310 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897310 10917818368 15367 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61468 KiB
[startup+1.50081 s]
/proc/loadavg: 1.85 1.80 1.80 3/229 19196
/proc/meminfo: memFree=26359756/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10663980 memory=75928 CPUtime=2.02 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 17199 0 0 0 197 5 0 0 20 0 15 0 414897304 10919915520 18982 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2665995 18982 3095 1 0 2628492 0
[pid=19181/tid=19183] ppid=19178 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) R 19178 19181 17167 0 -1 4202560 11899 0 0 0 143 4 0 0 20 0 15 0 414897304 10919915520 18982 33554432000 4194304 4196468 140732671012752 139953188168272 139953183958173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10919915520 18982 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10919915520 18982 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897305 10919915520 18982 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897305 10919915520 18982 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414897307 10919915520 18982 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
################
# More data... #
################
[startup+4.80062 s]
/proc/loadavg: 1.78 1.79 1.80 5/230 19197
/proc/meminfo: memFree=26113792/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10748324 memory=315976 CPUtime=10.79 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 40499 0 0 0 1060 19 0 0 20 0 16 0 414897304 11006283776 78994 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2687081 78994 3369 1 0 2647217 0
[pid=19181/tid=19183] ppid=19178 vsize=10748324 memory=167188 CPUtime=1.86 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) S 19178 19181 17167 0 -1 1077944384 13738 0 0 0 180 6 0 0 20 0 16 0 414897304 11006283776 78994 33554432000 4194304 4196468 140732671012752 139953188179120 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10748324 memory=222427766363613 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 631 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 168 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10748324 memory=71432 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 769 0 0 0 1 0 0 0 20 0 16 0 414897307 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10748324 memory=7088773812221943410 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952218703584 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10748324 memory=8128038100524242582 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952217650432 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10748324 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10748324 memory=-3704326594973231466 CPUtime=2.53 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) S 19178 19181 17167 0 -1 1077944384 7750 0 0 0 252 1 0 0 20 0 16 0 414897310 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952215546096 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10748324 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 5589 0 0 0 237 1 0 0 20 0 16 0 414897310 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10748324 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 4681 0 0 0 96 2 0 0 20 0 16 0 414897310 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10748324 memory=3472468356987799012 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10748324 memory=6944656425122961013 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19197] ppid=19178 vsize=10748324 memory=8475934422144292502 CPUtime=2.83 cores=0,2,4,6
/proc/19181/task/19197/stat : 19197 (java) R 19178 19181 17167 0 -1 4202560 5513 0 0 0 281 2 0 0 20 0 16 0 414897493 11006283776 78994 33554432000 4194304 4196468 140732671012752 139952194260944 139952810366069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 10.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 315976 KiB
[startup+5.20065 s]
/proc/loadavg: 1.78 1.79 1.80 3/230 19197
/proc/meminfo: memFree=26109564/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10748324 memory=316020 CPUtime=11.21 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 41734 0 0 0 1101 20 0 0 20 0 16 0 414897304 11006283776 79005 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2687081 79005 3369 1 0 2647217 0
[pid=19181/tid=19183] ppid=19178 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) S 19178 19181 17167 0 -1 1077944384 13738 0 0 0 180 6 0 0 20 0 16 0 414897304 11006283776 79005 33554432000 4194304 4196468 140732671012752 139953188179120 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10748324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 631 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 168 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10748324 memory=-6948047529741492128 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 782 0 0 0 1 0 0 0 20 0 16 0 414897307 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952218703584 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952217650432 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10748324 memory=0 CPUtime=2.54 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) S 19178 19181 17167 0 -1 1077944384 7780 0 0 0 253 1 0 0 20 0 16 0 414897310 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952215546096 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10748324 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 5627 0 0 0 237 1 0 0 20 0 16 0 414897310 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10748324 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 4776 0 0 0 96 2 0 0 20 0 16 0 414897310 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10748324 memory=280121525622112 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1017 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19197] ppid=19178 vsize=10748324 memory=668169 CPUtime=3.23 cores=0,2,4,6
/proc/19181/task/19197/stat : 19197 (java) R 19178 19181 17167 0 -1 4202560 5563 0 0 0 320 3 0 0 20 0 16 0 414897493 11006283776 79005 33554432000 4194304 4196468 140732671012752 139952194260944 139952811010893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 11.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 316020 KiB
[startup+5.40056 s]
/proc/loadavg: 1.78 1.79 1.80 3/230 19197
/proc/meminfo: memFree=26109564/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10748324 memory=316052 CPUtime=11.42 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 42212 0 0 0 1122 20 0 0 20 0 16 0 414897304 11006283776 79013 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2687081 79013 3369 1 0 2647217 0
[pid=19181/tid=19183] ppid=19178 vsize=10748324 memory=11421181081 CPUtime=1.86 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) S 19178 19181 17167 0 -1 1077944384 13738 0 0 0 180 6 0 0 20 0 16 0 414897304 11006283776 79013 33554432000 4194304 4196468 140732671012752 139953188179120 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10748324 memory=280121525530552 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10748324 memory=280121525532824 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 631 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10748324 memory=280121525535096 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 168 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10748324 memory=280121525537368 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10748324 memory=280121525539640 CPUtime=0.01 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 782 0 0 0 1 0 0 0 20 0 16 0 414897307 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10748324 memory=280121525541912 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952218703584 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10748324 memory=280121525544184 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952217650432 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10748324 memory=280121525546456 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10748324 memory=280121525548728 CPUtime=2.54 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) S 19178 19181 17167 0 -1 1077944384 7782 0 0 0 253 1 0 0 20 0 16 0 414897310 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952215546096 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10748324 memory=280121525551000 CPUtime=2.38 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 5640 0 0 0 237 1 0 0 20 0 16 0 414897310 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10748324 memory=280121525512264 CPUtime=0.99 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 4993 0 0 0 97 2 0 0 20 0 16 0 414897310 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10748324 memory=280121525751488 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10748324 memory=140060863309440 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1019 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19197] ppid=19178 vsize=10748324 memory=0 CPUtime=3.43 cores=0,2,4,6
/proc/19181/task/19197/stat : 19197 (java) R 19178 19181 17167 0 -1 4202560 5807 0 0 0 340 3 0 0 20 0 16 0 414897493 11006283776 79013 33554432000 4194304 4196468 140732671012752 139952194266912 139952810902024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 316052 KiB
[startup+5.50071 s]
/proc/loadavg: 1.78 1.79 1.80 3/230 19197
/proc/meminfo: memFree=26109564/32770624 swapFree=66927240/67108860
[pid=19181] ppid=19178 vsize=10748324 memory=316072 CPUtime=11.54 cores=0,2,4,6
/proc/19181/stat : 19181 (java) S 19178 19181 17167 0 -1 1077944320 42628 0 0 0 1134 20 0 0 20 0 16 0 414897304 11006283776 79018 33554432000 4194304 4196468 140732671012752 140732670995296 139953183936247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
/proc/19181/statm: 2687081 79018 3369 1 0 2647217 0
[pid=19181/tid=19183] ppid=19178 vsize=10748324 memory=3580 CPUtime=1.86 cores=0,2,4,6
/proc/19181/task/19183/stat : 19183 (java) S 19178 19181 17167 0 -1 1077944384 13738 0 0 0 180 6 0 0 20 0 16 0 414897304 11006283776 79018 33554432000 4194304 4196468 140732671012752 139953188179120 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19184] ppid=19178 vsize=10748324 memory=39628 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19184/stat : 19184 (java) S 19178 19181 17167 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952790563344 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19185] ppid=19178 vsize=10748324 memory=316028 CPUtime=0.03 cores=0,2,4,6
/proc/19181/task/19185/stat : 19185 (java) S 19178 19181 17167 0 -1 1077944384 631 0 0 0 2 1 0 0 20 0 16 0 414897305 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952789510800 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19186] ppid=19178 vsize=10748324 memory=6944656425122961013 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19186/stat : 19186 (java) S 19178 19181 17167 0 -1 1077944384 168 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952788457744 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19187] ppid=19178 vsize=10748324 memory=7959527203287422601 CPUtime=0.04 cores=0,2,4,6
/proc/19181/task/19187/stat : 19187 (java) S 19178 19181 17167 0 -1 1077944384 190 0 0 0 3 1 0 0 20 0 16 0 414897305 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952787405200 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19188] ppid=19178 vsize=10748324 memory=280121525816960 CPUtime=0.01 cores=0,2,4,6
/proc/19181/task/19188/stat : 19188 (java) S 19178 19181 17167 0 -1 1077944384 782 0 0 0 1 0 0 0 20 0 16 0 414897307 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952219757296 139953183947394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19189] ppid=19178 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19189/stat : 19189 (java) S 19178 19181 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952218703584 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19190] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19190/stat : 19190 (java) S 19178 19181 17167 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414897307 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952217650432 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19191] ppid=19178 vsize=10748324 memory=6935650410838380624 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19191/stat : 19191 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952216598992 139953183954843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19192] ppid=19178 vsize=10748324 memory=7883944108235712103 CPUtime=2.54 cores=0,2,4,6
/proc/19181/task/19192/stat : 19192 (java) R 19178 19181 17167 0 -1 4202560 7865 0 0 0 253 1 0 0 20 0 16 0 414897310 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952215546096 139953163789808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19193] ppid=19178 vsize=10748324 memory=7451013617207501144 CPUtime=2.4 cores=0,2,4,6
/proc/19181/task/19193/stat : 19193 (java) S 19178 19181 17167 0 -1 1077944384 5965 0 0 0 239 1 0 0 20 0 16 0 414897310 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952214493552 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19194] ppid=19178 vsize=10748324 memory=98 CPUtime=0.99 cores=0,2,4,6
/proc/19181/task/19194/stat : 19194 (java) S 19178 19181 17167 0 -1 1077944384 4993 0 0 0 97 2 0 0 20 0 16 0 414897310 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952213440496 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19195] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19195/stat : 19195 (java) S 19178 19181 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952212388192 139953183946453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19196] ppid=19178 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19181/task/19196/stat : 19196 (java) S 19178 19181 17167 0 -1 1077944384 1019 0 0 0 0 0 0 0 20 0 16 0 414897310 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952211336240 139953183947394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
[pid=19181/tid=19197] ppid=19178 vsize=10748324 memory=293 CPUtime=3.53 cores=0,2,4,6
/proc/19181/task/19197/stat : 19197 (java) R 19178 19181 17167 0 -1 4202560 5815 0 0 0 350 3 0 0 20 0 16 0 414897493 11006283776 79018 33554432000 4194304 4196468 140732671012752 139952194266912 139952810366074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15679488 140732671017995 140732671018098 140732671018098 140732671021007 0
Current children cumulated CPU time: 11.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 316072 KiB
Child status: 0
Real time (s): 5.56455
CPU time (s): 11.6184
CPU user time (s): 11.4016
CPU system time (s): 0.216855
CPU usage (%): 208.794
Max. virtual memory (cumulated for all children) (KiB): 10750620
Max. memory (cumulated for all children) (KiB): 316072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4016
system time used= 0.216855
maximum resident set size= 316912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43128
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= 3128
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 19181
# total CPU time (s): 11.6184
# total CPU user time (s): 11.4016
# total CPU system time (s): 0.216855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05752 second user time and 0.104949 second system time
The end