2.40/1.89
2.40/1.89 AbsCon 2
2.63/1.91
3.27/2.13 Instance
3.27/2.13 name=instance-4391128-1568389675, framework=COP, bounds=-infty..+infty
3.27/2.13
3.27/2.13 Loading variables...
3.27/2.18 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fe2a99
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e2b6ada
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510beb13
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e54303b
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e6f908
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34edd24d
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538dd6ec
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ddcdb45
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1988477f
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d210690
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce11c4e
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6823db8a
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73816f51
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1285eaee
4.08/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d53fa47
4.08/2.46
4.08/2.46
4.08/2.46 Domains
4.08/2.46 nTypes=4, nValues=2040, sizes=[2#450,3#225,15#15,16#15]
4.08/2.46 Variables
4.08/2.46 count=705, degrees=[2#255,3#435,16#15]
4.08/2.46 Objectives
4.08/2.46 way=min, type=ObjMaximumLE
4.08/2.46 Constraints
4.08/2.46 count=692, nSpecific=257, arities=[2#240,3#435,15#2,16#15]
4.08/2.46 distribution=[AllDifferent#1,CtrExtensionCT-Table#225,CtrExtensionV-Bits#225,CtrIntension#210,EQ#15,ObjMaximumLE#1,SumWeightedEQ#15]
4.08/2.46 tables=[4#225], nTotalTuples=900
4.08/2.46 nExtStructures=(226,shared:224), nIntStructures=(1,shared:209), nCftStructures=(226,shared:209,unbuilt:257)
4.08/2.46 wck=0.59, cpu=2.422, mem=47M651
4.08/2.48 Solver SolverBacktrack being built...
4.08/2.48
4.43/2.51
4.43/2.51 Solver
4.43/2.51 guaranteedGAC=false
4.43/2.51 wck=0.646, cpu=2.475, mem=71M508
4.43/2.53
4.43/2.53 Preprocessing
4.43/2.53 filters=15, revisions=(30,useless=30), ccks=123, nACremovedValues=15, nTotalRemovedValues=15, inconcistency=false
4.43/2.53 wck=0.015, cpu=2.492, mem=71M508
4.43/2.53
4.43/2.57 o 14
4.43/2.59 num=0, depth=706..704, filters=1034, revisions=(3418,useless=2773), ccks=2957, wck=0.083, mem=71M508
4.43/2.59 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=14
4.43/2.59 nFilterCalls=1350, avgTableProportion=0.75, avgTableSize=3.0
4.43/2.59
4.71/2.61 o 13
4.71/2.62 num=1, depth=0..704, filters=2132, revisions=(7060,useless=5695), ccks=4827, wck=0.109, mem=71M508
4.71/2.62 decisions=35, wrong=3, backtracks=0, failedAssignments=3, nogoods=2, foundSolutions=2, bestBound=13
4.71/2.62 nFilterCalls=2726, avgTableProportion=0.75, avgTableSize=3.0
4.71/2.62
4.71/2.63 num=2, depth=0..20, filters=3499, revisions=(10609,useless=8339), ccks=6272, wck=0.121, mem=71M508
4.71/2.63 decisions=79, wrong=17, backtracks=4, failedAssignments=14, nogoods=5, foundSolutions=2, bestBound=13
4.71/2.63 nFilterCalls=3532, avgTableProportion=0.75, avgTableSize=3.0
4.71/2.63
4.71/2.64 num=3, depth=2..24, filters=4752, revisions=(12734,useless=9411), ccks=8339, wck=0.131, mem=71M508
4.71/2.64 decisions=123, wrong=30, backtracks=6, failedAssignments=25, nogoods=11, foundSolutions=2, bestBound=13
4.71/2.64 nFilterCalls=4023, avgTableProportion=0.75, avgTableSize=3.0
4.71/2.64
4.71/2.65 o 11
4.71/2.66 num=4, depth=3..704, filters=6009, revisions=(16736,useless=12509), ccks=10934, wck=0.151, mem=71M508
4.71/2.66 decisions=167, wrong=37, backtracks=6, failedAssignments=32, nogoods=18, foundSolutions=3, bestBound=11
4.71/2.66 nFilterCalls=5265, avgTableProportion=0.75, avgTableSize=3.0
4.71/2.66
4.71/2.67 num=5, depth=3..32, filters=7111, revisions=(20052,useless=15006), ccks=12726, wck=0.162, mem=71M508
4.71/2.67 decisions=220, wrong=51, backtracks=7, failedAssignments=45, nogoods=29, foundSolutions=3, bestBound=11
4.71/2.67 nFilterCalls=6022, avgTableProportion=0.75, avgTableSize=3.0
4.71/2.67
4.71/2.68 o 10
4.71/2.69 num=6, depth=3..704, filters=8314, revisions=(24234,useless=18326), ccks=15329, wck=0.181, mem=71M508
4.71/2.69 decisions=272, wrong=58, backtracks=7, failedAssignments=52, nogoods=36, foundSolutions=4, bestBound=10
4.71/2.69 nFilterCalls=7246, avgTableProportion=0.75, avgTableSize=3.0
4.71/2.69
5.04/2.70 o 9
5.04/2.71 num=7, depth=11..704, filters=9419, revisions=(28312,useless=21639), ccks=17709, wck=0.203, mem=74M150
5.04/2.71 decisions=315, wrong=64, backtracks=7, failedAssignments=58, nogoods=42, foundSolutions=5, bestBound=9
5.04/2.71 nFilterCalls=8670, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.71
5.04/2.72 num=8, depth=3..31, filters=10018, revisions=(30052,useless=22921), ccks=18625, wck=0.211, mem=74M150
5.04/2.72 decisions=368, wrong=80, backtracks=13, failedAssignments=69, nogoods=51, foundSolutions=5, bestBound=9
5.04/2.72 nFilterCalls=9185, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.72
5.04/2.73 o 8
5.04/2.74 num=9, depth=5..704, filters=11183, revisions=(34062,useless=26129), ccks=20880, wck=0.229, mem=74M150
5.04/2.74 decisions=416, wrong=85, backtracks=13, failedAssignments=74, nogoods=56, foundSolutions=6, bestBound=8
5.04/2.74 nFilterCalls=10398, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.74
5.04/2.75 o 7
5.04/2.76 num=10, depth=31..704, filters=12115, revisions=(37528,useless=28956), ccks=22804, wck=0.248, mem=74M150
5.04/2.76 decisions=449, wrong=86, backtracks=13, failedAssignments=75, nogoods=57, foundSolutions=7, bestBound=7
5.04/2.76 nFilterCalls=11791, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.76
5.04/2.77 num=11, depth=3..20, filters=13487, revisions=(40342,useless=30634), ccks=24978, wck=0.259, mem=74M150
5.04/2.77 decisions=492, wrong=101, backtracks=17, failedAssignments=86, nogoods=62, foundSolutions=7, bestBound=7
5.04/2.77 nFilterCalls=12667, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.77
5.04/2.78 o 6
5.04/2.79 num=12, depth=4..704, filters=14508, revisions=(43814,useless=33378), ccks=27159, wck=0.277, mem=74M150
5.04/2.79 decisions=531, wrong=104, backtracks=17, failedAssignments=89, nogoods=65, foundSolutions=8, bestBound=6
5.04/2.79 nFilterCalls=13894, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.79
5.04/2.80 num=13, depth=20..23, filters=16089, revisions=(46985,useless=35421), ccks=28866, wck=0.288, mem=74M150
5.04/2.80 decisions=579, wrong=118, backtracks=20, failedAssignments=101, nogoods=74, foundSolutions=8, bestBound=6
5.04/2.80 nFilterCalls=14891, avgTableProportion=0.75, avgTableSize=3.0
5.04/2.80
5.34/2.81 num=14, depth=9..22, filters=17879, revisions=(50466,useless=37594), ccks=31087, wck=0.298, mem=74M150
5.34/2.81 decisions=627, wrong=135, backtracks=27, failedAssignments=112, nogoods=77, foundSolutions=8, bestBound=6
5.34/2.81 nFilterCalls=15751, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.81
5.34/2.82 num=15, depth=12..31, filters=20437, revisions=(55589,useless=40929), ccks=34079, wck=0.312, mem=74M150
5.34/2.82 decisions=690, wrong=154, backtracks=35, failedAssignments=124, nogoods=83, foundSolutions=8, bestBound=6
5.34/2.82 nFilterCalls=17066, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.82
5.34/2.83 o 5
5.34/2.84 num=16, depth=18..704, filters=21533, revisions=(59217,useless=43781), ccks=36254, wck=0.331, mem=74M150
5.34/2.84 decisions=733, wrong=160, backtracks=35, failedAssignments=130, nogoods=89, foundSolutions=9, bestBound=5
5.34/2.84 nFilterCalls=18330, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.84
5.34/2.85 num=17, depth=16..24, filters=22762, revisions=(61996,useless=45666), ccks=37665, wck=0.341, mem=74M150
5.34/2.85 decisions=787, wrong=177, backtracks=39, failedAssignments=144, nogoods=95, foundSolutions=9, bestBound=5
5.34/2.85 nFilterCalls=19148, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.85
5.34/2.86 num=18, depth=8..27, filters=24311, revisions=(65553,useless=48091), ccks=39911, wck=0.35, mem=74M150
5.34/2.86 decisions=834, wrong=192, backtracks=43, failedAssignments=155, nogoods=103, foundSolutions=9, bestBound=5
5.34/2.86 nFilterCalls=20006, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.86
5.34/2.87 num=19, depth=19..25, filters=26120, revisions=(69159,useless=50353), ccks=42145, wck=0.361, mem=76M793
5.34/2.87 decisions=883, wrong=207, backtracks=50, failedAssignments=167, nogoods=110, foundSolutions=9, bestBound=5
5.34/2.87 nFilterCalls=20892, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.87
5.34/2.88 num=20, depth=9..18, filters=27132, revisions=(71704,useless=52133), ccks=43613, wck=0.367, mem=76M793
5.34/2.88 decisions=927, wrong=222, backtracks=52, failedAssignments=180, nogoods=113, foundSolutions=9, bestBound=5
5.34/2.88 nFilterCalls=21443, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.88
5.34/2.89 num=21, depth=11..16, filters=28628, revisions=(74630,useless=53951), ccks=45762, wck=0.376, mem=76M793
5.34/2.89 decisions=969, wrong=237, backtracks=56, failedAssignments=194, nogoods=121, foundSolutions=9, bestBound=5
5.34/2.89 nFilterCalls=22225, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.89
5.34/2.90 num=22, depth=13..24, filters=30024, revisions=(77768,useless=56056), ccks=47748, wck=0.386, mem=76M793
5.34/2.90 decisions=1021, wrong=255, backtracks=61, failedAssignments=210, nogoods=128, foundSolutions=9, bestBound=5
5.34/2.90 nFilterCalls=22970, avgTableProportion=0.75, avgTableSize=3.0
5.34/2.90
5.64/2.92 num=23, depth=10..17, filters=34243, revisions=(85245,useless=60585), ccks=53214, wck=0.406, mem=76M793
5.64/2.92 decisions=1078, wrong=276, backtracks=65, failedAssignments=227, nogoods=142, foundSolutions=9, bestBound=5
5.64/2.92 nFilterCalls=25205, avgTableProportion=0.75, avgTableSize=3.0
5.64/2.92
5.64/2.93 num=24, depth=11..29, filters=37721, revisions=(91404,useless=64322), ccks=57542, wck=0.424, mem=76M793
5.64/2.93 decisions=1150, wrong=303, backtracks=76, failedAssignments=246, nogoods=149, foundSolutions=9, bestBound=5
5.64/2.93 nFilterCalls=27074, avgTableProportion=0.75, avgTableSize=3.0
5.64/2.93
5.64/2.96 num=25, depth=17..20, filters=42888, revisions=(100471,useless=69789), ccks=63735, wck=0.447, mem=76M793
5.64/2.96 decisions=1218, wrong=328, backtracks=82, failedAssignments=267, nogoods=157, foundSolutions=9, bestBound=5
5.64/2.96 nFilterCalls=29615, avgTableProportion=0.75, avgTableSize=3.0
5.64/2.96
5.64/2.98 num=26, depth=12..21, filters=46917, revisions=(107911,useless=74303), ccks=68539, wck=0.468, mem=76M793
5.64/2.98 decisions=1292, wrong=357, backtracks=91, failedAssignments=290, nogoods=169, foundSolutions=9, bestBound=5
5.64/2.98 nFilterCalls=31614, avgTableProportion=0.75, avgTableSize=3.0
5.64/2.98
5.64/3.00 num=27, depth=9..16, filters=50387, revisions=(115297,useless=79010), ccks=73305, wck=0.487, mem=76M793
5.64/3.00 decisions=1367, wrong=388, backtracks=97, failedAssignments=315, nogoods=182, foundSolutions=9, bestBound=5
5.64/3.00 nFilterCalls=33239, avgTableProportion=0.75, avgTableSize=3.0
5.64/3.00
5.97/3.02 num=28, depth=12..21, filters=54286, revisions=(122215,useless=83199), ccks=77887, wck=0.507, mem=76M793
5.97/3.02 decisions=1450, wrong=423, backtracks=106, failedAssignments=343, nogoods=185, foundSolutions=9, bestBound=5
5.97/3.02 nFilterCalls=35246, avgTableProportion=0.75, avgTableSize=3.0
5.97/3.02
5.97/3.06 num=29, depth=9..20, filters=62600, revisions=(137349,useless=91843), ccks=90024, wck=0.548, mem=76M793
5.97/3.06 decisions=1551, wrong=467, backtracks=122, failedAssignments=374, nogoods=191, foundSolutions=9, bestBound=5
5.97/3.06 nFilterCalls=39896, avgTableProportion=0.75, avgTableSize=3.0
5.97/3.06
5.97/3.07 num=30, depth=1..18, filters=65726, revisions=(143452,useless=95745), ccks=93714, wck=0.565, mem=79M435
5.97/3.07 decisions=1644, wrong=506, backtracks=127, failedAssignments=408, nogoods=205, foundSolutions=9, bestBound=5
5.97/3.07 nFilterCalls=41480, avgTableProportion=0.75, avgTableSize=3.0
5.97/3.07
5.97/3.10 num=31, depth=2..14, filters=71724, revisions=(154481,useless=102720), ccks=101153, wck=0.594, mem=79M435
5.97/3.10 decisions=1746, wrong=552, backtracks=137, failedAssignments=445, nogoods=208, foundSolutions=9, bestBound=5
5.97/3.10 nFilterCalls=44589, avgTableProportion=0.75, avgTableSize=3.0
5.97/3.10
6.28/3.13 num=32, depth=4..20, filters=75907, revisions=(162900,useless=108147), ccks=106659, wck=0.616, mem=79M435
6.28/3.13 decisions=1854, wrong=598, backtracks=143, failedAssignments=486, nogoods=223, foundSolutions=9, bestBound=5
6.28/3.13 nFilterCalls=46735, avgTableProportion=0.75, avgTableSize=3.0
6.28/3.13
6.28/3.16 num=33, depth=5..16, filters=83268, revisions=(176670,useless=116867), ccks=115311, wck=0.652, mem=79M435
6.28/3.16 decisions=1975, wrong=653, backtracks=156, failedAssignments=531, nogoods=232, foundSolutions=9, bestBound=5
6.28/3.16 nFilterCalls=50644, avgTableProportion=0.75, avgTableSize=3.0
6.28/3.16
6.55/3.20 num=34, depth=12..17, filters=91162, revisions=(191420,useless=126266), ccks=124218, wck=0.69, mem=79M435
6.55/3.20 decisions=2119, wrong=717, backtracks=173, failedAssignments=581, nogoods=246, foundSolutions=9, bestBound=5
6.55/3.20 nFilterCalls=54674, avgTableProportion=0.75, avgTableSize=3.0
6.55/3.20
6.55/3.24 num=35, depth=12..18, filters=98248, revisions=(205346,useless=134822), ccks=133524, wck=0.725, mem=79M435
6.55/3.24 decisions=2274, wrong=787, backtracks=192, failedAssignments=636, nogoods=259, foundSolutions=9, bestBound=5
6.55/3.24 nFilterCalls=58084, avgTableProportion=0.75, avgTableSize=3.0
6.55/3.24
6.55/3.28 num=36, depth=12..21, filters=108847, revisions=(223124,useless=145366), ccks=144374, wck=0.767, mem=79M435
6.55/3.28 decisions=2449, wrong=867, backtracks=219, failedAssignments=697, nogoods=264, foundSolutions=9, bestBound=5
6.55/3.28 nFilterCalls=63248, avgTableProportion=0.75, avgTableSize=3.0
6.55/3.28
6.85/3.31 num=37, depth=6..12, filters=117954, revisions=(239414,useless=154971), ccks=155457, wck=0.8, mem=82M78
6.85/3.31 decisions=2625, wrong=951, backtracks=243, failedAssignments=764, nogoods=268, foundSolutions=9, bestBound=5
6.85/3.31 nFilterCalls=67762, avgTableProportion=0.75, avgTableSize=3.0
6.85/3.31
6.85/3.36 num=38, depth=8..16, filters=132112, revisions=(263847,useless=169593), ccks=170429, wck=0.846, mem=82M78
6.85/3.36 decisions=2837, wrong=1051, backtracks=279, failedAssignments=838, nogoods=291, foundSolutions=9, bestBound=5
6.85/3.36 nFilterCalls=74950, avgTableProportion=0.75, avgTableSize=3.0
6.85/3.36
7.16/3.40 num=39, depth=9..21, filters=145541, revisions=(286842,useless=183294), ccks=186093, wck=0.889, mem=82M78
7.16/3.40 decisions=3072, wrong=1162, backtracks=324, failedAssignments=919, nogoods=298, foundSolutions=9, bestBound=5
7.16/3.40 nFilterCalls=81970, avgTableProportion=0.75, avgTableSize=3.0
7.16/3.40
7.16/3.45 num=40, depth=0..19, filters=161169, revisions=(316644,useless=202159), ccks=204243, wck=0.941, mem=82M78
7.16/3.45 decisions=3352, wrong=1296, backtracks=380, failedAssignments=1008, nogoods=312, foundSolutions=9, bestBound=5
7.16/3.45 nFilterCalls=89991, avgTableProportion=0.75, avgTableSize=3.0
7.16/3.45
7.46/3.52 num=41, depth=9..15, filters=183913, revisions=(359586,useless=229026), ccks=235016, wck=1.013, mem=84M721
7.46/3.52 decisions=3674, wrong=1452, backtracks=449, failedAssignments=1106, nogoods=330, foundSolutions=9, bestBound=5
7.46/3.52 nFilterCalls=102328, avgTableProportion=0.75, avgTableSize=3.0
7.46/3.52
7.46/3.58 num=42, depth=10..25, filters=200456, revisions=(388788,useless=247117), ccks=254639, wck=1.065, mem=84M721
7.46/3.58 decisions=3974, wrong=1595, backtracks=501, failedAssignments=1214, nogoods=341, foundSolutions=9, bestBound=5
7.46/3.58 nFilterCalls=110740, avgTableProportion=0.75, avgTableSize=3.0
7.46/3.58
7.76/3.63 num=43, depth=12..27, filters=222640, revisions=(425239,useless=268445), ccks=279309, wck=1.124, mem=84M721
7.76/3.63 decisions=4295, wrong=1747, backtracks=552, failedAssignments=1333, nogoods=352, foundSolutions=9, bestBound=5
7.76/3.63 nFilterCalls=121619, avgTableProportion=0.75, avgTableSize=3.0
7.76/3.63
7.76/3.69 num=44, depth=17..28, filters=244146, revisions=(462799,useless=291727), ccks=303034, wck=1.18, mem=84M721
7.76/3.69 decisions=4685, wrong=1932, backtracks=628, failedAssignments=1464, nogoods=356, foundSolutions=9, bestBound=5
7.76/3.69 nFilterCalls=132450, avgTableProportion=0.75, avgTableSize=3.0
7.76/3.69
8.06/3.72 o 4
8.06/3.73 num=45, depth=9..704, filters=254565, revisions=(483681,useless=305781), ccks=315030, wck=1.217, mem=87M363
8.06/3.73 decisions=4974, wrong=2065, backtracks=653, failedAssignments=1575, nogoods=379, foundSolutions=10, bestBound=4
8.06/3.73 nFilterCalls=138112, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.73
8.06/3.76 num=46, depth=13..20, filters=264569, revisions=(505270,useless=320040), ccks=326182, wck=1.246, mem=87M363
8.06/3.76 decisions=5350, wrong=2246, backtracks=680, failedAssignments=1733, nogoods=388, foundSolutions=10, bestBound=4
8.06/3.76 nFilterCalls=143017, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.76
8.06/3.76 num=47, depth=1..20, filters=265276, revisions=(507272,useless=321488), ccks=327272, wck=1.249, mem=87M363
8.06/3.76 decisions=5390, wrong=2257, backtracks=680, failedAssignments=1744, nogoods=399, foundSolutions=10, bestBound=4
8.06/3.76 nFilterCalls=143397, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.76
8.06/3.76 num=48, depth=1..17, filters=266428, revisions=(510008,useless=323359), ccks=328821, wck=1.253, mem=87M363
8.06/3.76 decisions=5435, wrong=2274, backtracks=685, failedAssignments=1756, nogoods=405, foundSolutions=10, bestBound=4
8.06/3.76 nFilterCalls=143992, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.76
8.06/3.77 num=49, depth=1..18, filters=267414, revisions=(512450,useless=325046), ccks=330277, wck=1.257, mem=87M363
8.06/3.77 decisions=5477, wrong=2288, backtracks=688, failedAssignments=1769, nogoods=415, foundSolutions=10, bestBound=4
8.06/3.77 nFilterCalls=144486, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.77
8.06/3.77 num=50, depth=8..12, filters=268471, revisions=(515174,useless=326958), ccks=331889, wck=1.26, mem=87M363
8.06/3.77 decisions=5522, wrong=2306, backtracks=692, failedAssignments=1783, nogoods=420, foundSolutions=10, bestBound=4
8.06/3.77 nFilterCalls=145025, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.77
8.06/3.77 num=51, depth=1..12, filters=270064, revisions=(518177,useless=328758), ccks=333547, wck=1.265, mem=87M363
8.06/3.77 decisions=5566, wrong=2324, backtracks=695, failedAssignments=1799, nogoods=425, foundSolutions=10, bestBound=4
8.06/3.77 nFilterCalls=145851, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.77
8.06/3.78 num=52, depth=5..12, filters=271443, revisions=(521274,useless=330771), ccks=335340, wck=1.269, mem=87M363
8.06/3.78 decisions=5615, wrong=2346, backtracks=703, failedAssignments=1816, nogoods=435, foundSolutions=10, bestBound=4
8.06/3.78 nFilterCalls=146527, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.78
8.06/3.78 num=53, depth=2..15, filters=273584, revisions=(526261,useless=334182), ccks=338213, wck=1.275, mem=87M363
8.06/3.78 decisions=5691, wrong=2382, backtracks=724, failedAssignments=1835, nogoods=447, foundSolutions=10, bestBound=4
8.06/3.78 nFilterCalls=147623, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.78
8.06/3.79 num=54, depth=2..7, filters=275510, revisions=(530133,useless=336593), ccks=340802, wck=1.28, mem=87M363
8.06/3.79 decisions=5746, wrong=2408, backtracks=733, failedAssignments=1856, nogoods=449, foundSolutions=10, bestBound=4
8.06/3.79 nFilterCalls=148546, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.79
8.06/3.79 num=55, depth=6..23, filters=276722, revisions=(533208,useless=338756), ccks=342430, wck=1.285, mem=87M363
8.06/3.79 decisions=5818, wrong=2436, backtracks=739, failedAssignments=1879, nogoods=455, foundSolutions=10, bestBound=4
8.06/3.79 nFilterCalls=149104, avgTableProportion=0.75, avgTableSize=3.0
8.06/3.79
8.36/3.80 num=56, depth=1..11, filters=278846, revisions=(537643,useless=341589), ccks=345136, wck=1.291, mem=87M363
8.36/3.80 decisions=5888, wrong=2470, backtracks=751, failedAssignments=1904, nogoods=463, foundSolutions=10, bestBound=4
8.36/3.80 nFilterCalls=150129, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.80
8.36/3.81 num=57, depth=7..21, filters=281359, revisions=(543277,useless=345446), ccks=348847, wck=1.298, mem=87M363
8.36/3.81 decisions=5972, wrong=2503, backtracks=756, failedAssignments=1932, nogoods=476, foundSolutions=10, bestBound=4
8.36/3.81 nFilterCalls=151555, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.81
8.36/3.82 num=58, depth=1..17, filters=284482, revisions=(549384,useless=349280), ccks=352642, wck=1.307, mem=87M363
8.36/3.82 decisions=6071, wrong=2546, backtracks=769, failedAssignments=1963, nogoods=486, foundSolutions=10, bestBound=4
8.36/3.82 nFilterCalls=153067, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.82
8.36/3.82 num=59, depth=1..22, filters=287411, revisions=(555213,useless=353034), ccks=355966, wck=1.315, mem=87M363
8.36/3.82 decisions=6168, wrong=2587, backtracks=777, failedAssignments=1997, nogoods=494, foundSolutions=10, bestBound=4
8.36/3.82 nFilterCalls=154438, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.82
8.36/3.83 num=60, depth=3..15, filters=290486, revisions=(561767,useless=357241), ccks=360458, wck=1.324, mem=87M363
8.36/3.83 decisions=6281, wrong=2639, backtracks=793, failedAssignments=2034, nogoods=499, foundSolutions=10, bestBound=4
8.36/3.83 nFilterCalls=155979, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.83
8.36/3.84 num=61, depth=3..13, filters=294508, revisions=(570638,useless=363158), ccks=365535, wck=1.334, mem=87M363
8.36/3.84 decisions=6402, wrong=2695, backtracks=813, failedAssignments=2075, nogoods=508, foundSolutions=10, bestBound=4
8.36/3.84 nFilterCalls=157847, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.84
8.36/3.86 num=62, depth=5..12, filters=299766, revisions=(582350,useless=371088), ccks=371497, wck=1.348, mem=87M363
8.36/3.86 decisions=6546, wrong=2764, backtracks=848, failedAssignments=2120, nogoods=514, foundSolutions=10, bestBound=4
8.36/3.86 nFilterCalls=160429, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.86
8.36/3.87 num=63, depth=6..20, filters=304360, revisions=(591679,useless=377181), ccks=376901, wck=1.359, mem=87M363
8.36/3.87 decisions=6702, wrong=2833, backtracks=871, failedAssignments=2170, nogoods=531, foundSolutions=10, bestBound=4
8.36/3.87 nFilterCalls=162703, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.87
8.36/3.88 num=64, depth=7..14, filters=308928, revisions=(601868,useless=383976), ccks=382582, wck=1.371, mem=87M363
8.36/3.88 decisions=6847, wrong=2900, backtracks=888, failedAssignments=2225, nogoods=541, foundSolutions=10, bestBound=4
8.36/3.88 nFilterCalls=164781, avgTableProportion=0.75, avgTableSize=3.0
8.36/3.88
8.66/3.90 num=65, depth=12..19, filters=319133, revisions=(623236,useless=398011), ccks=397127, wck=1.393, mem=87M363
8.66/3.90 decisions=7036, wrong=2988, backtracks=924, failedAssignments=2286, nogoods=552, foundSolutions=10, bestBound=4
8.66/3.90 nFilterCalls=170515, avgTableProportion=0.75, avgTableSize=3.0
8.66/3.90
8.66/3.92 num=66, depth=5..27, filters=327815, revisions=(640162,useless=408886), ccks=407254, wck=1.413, mem=90M6
8.66/3.92 decisions=7247, wrong=3084, backtracks=957, failedAssignments=2353, nogoods=569, foundSolutions=10, bestBound=4
8.66/3.92 nFilterCalls=174799, avgTableProportion=0.75, avgTableSize=3.0
8.66/3.92
8.66/3.95 num=67, depth=11..17, filters=339934, revisions=(664585,useless=424500), ccks=422707, wck=1.438, mem=90M6
8.66/3.95 decisions=7467, wrong=3187, backtracks=991, failedAssignments=2427, nogoods=587, foundSolutions=10, bestBound=4
8.66/3.95 nFilterCalls=180743, avgTableProportion=0.75, avgTableSize=3.0
8.66/3.95
8.66/3.97 num=68, depth=4..18, filters=354618, revisions=(692190,useless=441438), ccks=441194, wck=1.461, mem=90M6
8.66/3.97 decisions=7734, wrong=3317, backtracks=1049, failedAssignments=2508, nogoods=594, foundSolutions=10, bestBound=4
8.66/3.97 nFilterCalls=188034, avgTableProportion=0.75, avgTableSize=3.0
8.66/3.97
8.66/3.98 num=69, depth=4..15, filters=362586, revisions=(706716,useless=450281), ccks=450209, wck=1.475, mem=90M6
8.66/3.98 decisions=7964, wrong=3425, backtracks=1072, failedAssignments=2597, nogoods=604, foundSolutions=10, bestBound=4
8.66/3.98 nFilterCalls=191661, avgTableProportion=0.75, avgTableSize=3.0
8.66/3.98
8.66/4.00 num=70, depth=5..14, filters=374283, revisions=(728666,useless=463896), ccks=463902, wck=1.494, mem=90M6
8.66/4.00 decisions=8218, wrong=3548, backtracks=1101, failedAssignments=2695, nogoods=618, foundSolutions=10, bestBound=4
8.66/4.00 nFilterCalls=197328, avgTableProportion=0.75, avgTableSize=3.0
8.66/4.00
8.90/4.03 num=71, depth=7..24, filters=388004, revisions=(755452,useless=480955), ccks=480025, wck=1.518, mem=90M6
8.90/4.03 decisions=8536, wrong=3699, backtracks=1149, failedAssignments=2803, nogoods=636, foundSolutions=10, bestBound=4
8.90/4.03 nFilterCalls=204199, avgTableProportion=0.75, avgTableSize=3.0
8.90/4.03
8.90/4.05 num=72, depth=15..23, filters=402572, revisions=(782530,useless=497892), ccks=496048, wck=1.541, mem=90M6
8.90/4.05 decisions=8849, wrong=3847, backtracks=1183, failedAssignments=2922, nogoods=645, foundSolutions=10, bestBound=4
8.90/4.05 nFilterCalls=210976, avgTableProportion=0.75, avgTableSize=3.0
8.90/4.05
8.90/4.08 num=73, depth=14..22, filters=420809, revisions=(815517,useless=517843), ccks=516529, wck=1.57, mem=90M6
8.90/4.08 decisions=9204, wrong=4015, backtracks=1229, failedAssignments=3053, nogoods=666, foundSolutions=10, bestBound=4
8.90/4.08 nFilterCalls=219639, avgTableProportion=0.75, avgTableSize=3.0
8.90/4.08
9.07/4.11 num=74, depth=10..26, filters=439541, revisions=(850644,useless=539984), ccks=538071, wck=1.599, mem=92M648
9.07/4.11 decisions=9595, wrong=4201, backtracks=1278, failedAssignments=3197, nogoods=681, foundSolutions=10, bestBound=4
9.07/4.11 nFilterCalls=228753, avgTableProportion=0.75, avgTableSize=3.0
9.07/4.11
9.07/4.14 num=75, depth=11..24, filters=456747, revisions=(883287,useless=560456), ccks=559239, wck=1.628, mem=92M648
9.07/4.14 decisions=10016, wrong=4403, backtracks=1327, failedAssignments=3355, nogoods=692, foundSolutions=10, bestBound=4
9.07/4.14 nFilterCalls=237224, avgTableProportion=0.75, avgTableSize=3.0
9.07/4.14
9.07/4.17 num=76, depth=12..21, filters=478394, revisions=(922151,useless=584730), ccks=581799, wck=1.66, mem=92M648
9.07/4.17 decisions=10483, wrong=4629, backtracks=1389, failedAssignments=3529, nogoods=700, foundSolutions=10, bestBound=4
9.07/4.17 nFilterCalls=246928, avgTableProportion=0.75, avgTableSize=3.0
9.07/4.17
9.17/4.21 num=77, depth=13..26, filters=501287, revisions=(965765,useless=611776), ccks=608253, wck=1.696, mem=92M648
9.17/4.21 decisions=10958, wrong=4860, backtracks=1438, failedAssignments=3720, nogoods=701, foundSolutions=10, bestBound=4
9.17/4.21 nFilterCalls=258364, avgTableProportion=0.75, avgTableSize=3.0
9.17/4.21
9.17/4.24 num=78, depth=7..30, filters=525471, revisions=(1012923,useless=642343), ccks=636060, wck=1.733, mem=92M648
9.17/4.24 decisions=11559, wrong=5147, backtracks=1529, failedAssignments=3931, nogoods=720, foundSolutions=10, bestBound=4
9.17/4.24 nFilterCalls=270129, avgTableProportion=0.75, avgTableSize=3.0
9.17/4.24
9.17/4.28 num=79, depth=6..16, filters=548256, revisions=(1059677,useless=673428), ccks=666219, wck=1.771, mem=92M648
9.17/4.28 decisions=12153, wrong=5440, backtracks=1598, failedAssignments=4163, nogoods=738, foundSolutions=10, bestBound=4
9.17/4.28 nFilterCalls=282410, avgTableProportion=0.75, avgTableSize=3.0
9.17/4.28
9.28/4.32 num=80, depth=15..23, filters=575447, revisions=(1112550,useless=707578), ccks=698625, wck=1.813, mem=92M648
9.28/4.32 decisions=12802, wrong=5755, backtracks=1680, failedAssignments=4418, nogoods=757, foundSolutions=10, bestBound=4
9.28/4.32 nFilterCalls=295999, avgTableProportion=0.75, avgTableSize=3.0
9.28/4.32
9.28/4.37 num=81, depth=18..30, filters=608532, revisions=(1174257,useless=747654), ccks=734014, wck=1.864, mem=92M648
9.28/4.37 decisions=13566, wrong=6126, backtracks=1801, failedAssignments=4699, nogoods=767, foundSolutions=10, bestBound=4
9.28/4.37 nFilterCalls=312493, avgTableProportion=0.75, avgTableSize=3.0
9.28/4.37
9.38/4.43 num=82, depth=10..19, filters=647212, revisions=(1247347,useless=793988), ccks=781092, wck=1.924, mem=92M648
9.38/4.43 decisions=14346, wrong=6509, backtracks=1891, failedAssignments=5008, nogoods=782, foundSolutions=10, bestBound=4
9.38/4.43 nFilterCalls=333030, avgTableProportion=0.75, avgTableSize=3.0
9.38/4.43
9.38/4.50 num=83, depth=16..27, filters=688155, revisions=(1325995,useless=845677), ccks=833028, wck=1.987, mem=92M648
9.38/4.50 decisions=15221, wrong=6937, backtracks=2000, failedAssignments=5348, nogoods=802, foundSolutions=10, bestBound=4
9.38/4.50 nFilterCalls=354953, avgTableProportion=0.75, avgTableSize=3.0
9.38/4.50
9.48/4.56 num=84, depth=15..23, filters=732135, revisions=(1405999,useless=895968), ccks=882432, wck=2.053, mem=92M648
9.48/4.56 decisions=16181, wrong=7409, backtracks=2129, failedAssignments=5722, nogoods=814, foundSolutions=10, bestBound=4
9.48/4.56 nFilterCalls=376384, avgTableProportion=0.75, avgTableSize=3.0
9.48/4.56
9.61/4.62 num=85, depth=7..18, filters=767561, revisions=(1481690,useless=946038), ccks=925816, wck=2.112, mem=92M648
9.61/4.62 decisions=17246, wrong=7937, backtracks=2274, failedAssignments=6133, nogoods=832, foundSolutions=10, bestBound=4
9.61/4.62 nFilterCalls=393995, avgTableProportion=0.75, avgTableSize=3.0
9.61/4.62
9.71/4.71 num=86, depth=19..32, filters=829675, revisions=(1588775,useless=1013751), ccks=988299, wck=2.201, mem=92M648
9.71/4.71 decisions=18468, wrong=8536, backtracks=2466, failedAssignments=6585, nogoods=842, foundSolutions=10, bestBound=4
9.71/4.71 nFilterCalls=425358, avgTableProportion=0.75, avgTableSize=3.0
9.71/4.71
9.71/4.79 num=87, depth=2..13, filters=878250, revisions=(1698420,useless=1086705), ccks=1052085, wck=2.281, mem=92M648
9.71/4.79 decisions=19757, wrong=9179, backtracks=2641, failedAssignments=7082, nogoods=856, foundSolutions=10, bestBound=4
9.71/4.79 nFilterCalls=452505, avgTableProportion=0.75, avgTableSize=3.0
9.71/4.79
9.83/4.89 num=88, depth=4..36, filters=942306, revisions=(1821366,useless=1163661), ccks=1133470, wck=2.381, mem=92M648
9.83/4.89 decisions=21196, wrong=9896, backtracks=2849, failedAssignments=7629, nogoods=862, foundSolutions=10, bestBound=4
9.83/4.89 nFilterCalls=486004, avgTableProportion=0.75, avgTableSize=3.0
9.83/4.89
9.93/4.99 num=89, depth=25..34, filters=1007585, revisions=(1955355,useless=1250355), ccks=1213978, wck=2.485, mem=92M648
9.93/4.99 decisions=22773, wrong=10671, backtracks=3063, failedAssignments=8231, nogoods=886, foundSolutions=10, bestBound=4
9.93/4.99 nFilterCalls=517224, avgTableProportion=0.75, avgTableSize=3.0
9.93/4.99
10.16/5.11 num=90, depth=16..30, filters=1082643, revisions=(2095837,useless=1338817), ccks=1299597, wck=2.601, mem=92M648
10.16/5.11 decisions=24488, wrong=11519, backtracks=3307, failedAssignments=8893, nogoods=906, foundSolutions=10, bestBound=4
10.16/5.11 nFilterCalls=555299, avgTableProportion=0.75, avgTableSize=3.0
10.16/5.11
10.26/5.23 num=91, depth=8..19, filters=1162331, revisions=(2247227,useless=1434505), ccks=1388122, wck=2.723, mem=92M648
10.26/5.23 decisions=26301, wrong=12418, backtracks=3525, failedAssignments=9621, nogoods=937, foundSolutions=10, bestBound=4
10.26/5.23 nFilterCalls=595183, avgTableProportion=0.75, avgTableSize=3.0
10.26/5.23
10.36/5.38 num=92, depth=7..22, filters=1259732, revisions=(2431235,useless=1550066), ccks=1495466, wck=2.868, mem=92M648
10.36/5.38 decisions=28301, wrong=13414, backtracks=3779, failedAssignments=10422, nogoods=959, foundSolutions=10, bestBound=4
10.36/5.38 nFilterCalls=643135, avgTableProportion=0.75, avgTableSize=3.0
10.36/5.38
10.57/5.53 num=93, depth=2..17, filters=1354975, revisions=(2623918,useless=1674262), ccks=1607483, wck=3.016, mem=92M648
10.57/5.53 decisions=30712, wrong=14618, backtracks=4206, failedAssignments=11303, nogoods=968, foundSolutions=10, bestBound=4
10.57/5.53 nFilterCalls=687824, avgTableProportion=0.75, avgTableSize=3.0
10.57/5.53
10.77/5.73 num=94, depth=1..20, filters=1491899, revisions=(2871277,useless=1826761), ccks=1760196, wck=3.217, mem=92M648
10.77/5.73 decisions=33213, wrong=15865, backtracks=4589, failedAssignments=12273, nogoods=997, foundSolutions=10, bestBound=4
10.77/5.73 nFilterCalls=755825, avgTableProportion=0.75, avgTableSize=3.0
10.77/5.73
10.97/5.93 num=95, depth=5..27, filters=1633451, revisions=(3131855,useless=1988305), ccks=1919686, wck=3.425, mem=92M648
10.97/5.93 decisions=36028, wrong=17268, backtracks=5005, failedAssignments=13340, nogoods=1011, foundSolutions=10, bestBound=4
10.97/5.93 nFilterCalls=824432, avgTableProportion=0.75, avgTableSize=3.0
10.97/5.93
11.18/6.18 num=96, depth=14..23, filters=1804231, revisions=(3420642,useless=2163170), ccks=2090850, wck=3.672, mem=92M648
11.18/6.18 decisions=39068, wrong=18780, backtracks=5424, failedAssignments=14513, nogoods=1036, foundSolutions=10, bestBound=4
11.18/6.18 nFilterCalls=911887, avgTableProportion=0.75, avgTableSize=3.0
11.18/6.18
11.47/6.41 num=97, depth=0..21, filters=1951775, revisions=(3712474,useless=2351641), ccks=2276527, wck=3.903, mem=92M648
11.47/6.41 decisions=42383, wrong=20434, backtracks=5917, failedAssignments=15804, nogoods=1064, foundSolutions=10, bestBound=4
11.47/6.41 nFilterCalls=989387, avgTableProportion=0.75, avgTableSize=3.0
11.47/6.41
11.67/6.68 num=98, depth=7..25, filters=2137927, revisions=(4043260,useless=2555181), ccks=2469989, wck=4.171, mem=92M648
11.67/6.68 decisions=46060, wrong=22267, backtracks=6469, failedAssignments=17224, nogoods=1081, foundSolutions=10, bestBound=4
11.67/6.68 nFilterCalls=1081728, avgTableProportion=0.75, avgTableSize=3.0
11.67/6.68
11.98/6.97 num=99, depth=0..19, filters=2329491, revisions=(4414846,useless=2792812), ccks=2689733, wck=4.459, mem=92M648
11.98/6.97 decisions=50220, wrong=24342, backtracks=7097, failedAssignments=18786, nogoods=1104, foundSolutions=10, bestBound=4
11.98/6.97 nFilterCalls=1174651, avgTableProportion=0.75, avgTableSize=3.0
11.98/6.97
12.38/7.35 num=100, depth=11..28, filters=2594861, revisions=(4900478,useless=3101994), ccks=2970023, wck=4.838, mem=92M648
12.38/7.35 decisions=55015, wrong=26733, backtracks=8020, failedAssignments=20504, nogoods=1117, foundSolutions=10, bestBound=4
12.38/7.35 nFilterCalls=1309687, avgTableProportion=0.75, avgTableSize=3.0
12.38/7.35
12.68/7.69 num=101, depth=0..20, filters=2817143, revisions=(5330914,useless=3370387), ccks=3234493, wck=5.175, mem=92M648
12.68/7.69 decisions=59951, wrong=29199, backtracks=8813, failedAssignments=22394, nogoods=1125, foundSolutions=10, bestBound=4
12.68/7.69 nFilterCalls=1416044, avgTableProportion=0.75, avgTableSize=3.0
12.68/7.69
13.10/8.06 num=102, depth=0..26, filters=3068097, revisions=(5816323,useless=3677558), ccks=3531067, wck=5.554, mem=92M648
13.10/8.06 decisions=65474, wrong=31954, backtracks=9696, failedAssignments=24473, nogoods=1138, foundSolutions=10, bestBound=4
13.10/8.06 nFilterCalls=1536907, avgTableProportion=0.75, avgTableSize=3.0
13.10/8.06
13.49/8.43 num=103, depth=0..19, filters=3315061, revisions=(6273170,useless=3958903), ccks=3802891, wck=5.919, mem=92M648
13.49/8.43 decisions=71190, wrong=34809, backtracks=10437, failedAssignments=26760, nogoods=1158, foundSolutions=10, bestBound=4
13.49/8.43 nFilterCalls=1648927, avgTableProportion=0.75, avgTableSize=3.0
13.49/8.43
13.92/8.90 num=104, depth=3..26, filters=3632254, revisions=(6867861,useless=4331589), ccks=4160202, wck=6.386, mem=92M648
13.92/8.90 decisions=77967, wrong=38192, backtracks=11585, failedAssignments=29276, nogoods=1175, foundSolutions=10, bestBound=4
13.92/8.90 nFilterCalls=1798009, avgTableProportion=0.75, avgTableSize=3.0
13.92/8.90
14.52/9.43 num=105, depth=4..21, filters=3996192, revisions=(7559128,useless=4774818), ccks=4570073, wck=6.922, mem=92M648
14.52/9.43 decisions=85428, wrong=41919, backtracks=12859, failedAssignments=32044, nogoods=1203, foundSolutions=10, bestBound=4
14.52/9.43 nFilterCalls=1978723, avgTableProportion=0.75, avgTableSize=3.0
14.52/9.43
15.42/10.33 num=106, depth=18..32, filters=4640882, revisions=(8673823,useless=5468260), ccks=5238926, wck=7.825, mem=95M290
15.42/10.33 decisions=94128, wrong=46258, backtracks=14672, failedAssignments=35088, nogoods=1224, foundSolutions=10, bestBound=4
15.42/10.33 nFilterCalls=2313604, avgTableProportion=0.75, avgTableSize=3.0
15.42/10.33
16.02/11.00 num=107, depth=0..16, filters=5088748, revisions=(9524551,useless=6010954), ccks=5759499, wck=8.489, mem=95M290
16.02/11.00 decisions=103206, wrong=50794, backtracks=16370, failedAssignments=38437, nogoods=1245, foundSolutions=10, bestBound=4
16.02/11.00 nFilterCalls=2541150, avgTableProportion=0.75, avgTableSize=3.0
16.02/11.00
16.73/11.66 num=108, depth=3..23, filters=5527471, revisions=(10421211,useless=6603963), ccks=6278864, wck=9.153, mem=95M290
16.73/11.66 decisions=112968, wrong=55670, backtracks=17848, failedAssignments=42121, nogoods=1268, foundSolutions=10, bestBound=4
16.73/11.66 nFilterCalls=2760919, avgTableProportion=0.75, avgTableSize=3.0
16.73/11.66
17.73/12.61 num=109, depth=4..19, filters=6189457, revisions=(11645103,useless=7386790), ccks=6971142, wck=10.098, mem=95M290
17.73/12.61 decisions=124655, wrong=61508, backtracks=20100, failedAssignments=46173, nogoods=1289, foundSolutions=10, bestBound=4
17.73/12.61 nFilterCalls=3093053, avgTableProportion=0.75, avgTableSize=3.0
17.73/12.61
18.84/13.74 num=110, depth=13..24, filters=6990823, revisions=(13115942,useless=8316490), ccks=7817414, wck=11.229, mem=95M290
18.84/13.74 decisions=136861, wrong=67603, backtracks=22318, failedAssignments=50630, nogoods=1306, foundSolutions=10, bestBound=4
18.84/13.74 nFilterCalls=3501891, avgTableProportion=0.75, avgTableSize=3.0
18.84/13.74
19.76/14.62 num=111, depth=0..19, filters=7578131, revisions=(14232280,useless=9026840), ccks=8489497, wck=12.11, mem=95M290
19.76/14.62 decisions=149720, wrong=74030, backtracks=24428, failedAssignments=55533, nogoods=1321, foundSolutions=10, bestBound=4
19.76/14.62 nFilterCalls=3798997, avgTableProportion=0.75, avgTableSize=3.0
19.76/14.62
20.76/15.64 num=112, depth=3..25, filters=8248700, revisions=(15589933,useless=9935517), ccks=9256055, wck=13.13, mem=95M290
20.76/15.64 decisions=164528, wrong=81429, backtracks=26979, failedAssignments=60927, nogoods=1348, foundSolutions=10, bestBound=4
20.76/15.64 nFilterCalls=4142068, avgTableProportion=0.75, avgTableSize=3.0
20.76/15.64
22.16/17.04 num=113, depth=6..30, filters=9214066, revisions=(17374224,useless=11073074), ccks=10290296, wck=14.529, mem=95M290
22.16/17.04 decisions=181476, wrong=89898, backtracks=30248, failedAssignments=66860, nogoods=1370, foundSolutions=10, bestBound=4
22.16/17.04 nFilterCalls=4630669, avgTableProportion=0.75, avgTableSize=3.0
22.16/17.04
23.46/18.38 num=114, depth=0..17, filters=10096609, revisions=(19135306,useless=12221629), ccks=11305108, wck=15.869, mem=95M290
23.46/18.38 decisions=199547, wrong=98930, backtracks=33771, failedAssignments=73386, nogoods=1383, foundSolutions=10, bestBound=4
23.46/18.38 nFilterCalls=5081229, avgTableProportion=0.75, avgTableSize=3.0
23.46/18.38
24.86/19.74 num=115, depth=3..25, filters=10992370, revisions=(20911148,useless=13382721), ccks=12351576, wck=17.227, mem=95M290
24.86/19.74 decisions=218882, wrong=108594, backtracks=37325, failedAssignments=80565, nogoods=1405, foundSolutions=10, bestBound=4
24.86/19.74 nFilterCalls=5537014, avgTableProportion=0.75, avgTableSize=3.0
24.86/19.74
26.46/21.31 num=116, depth=0..20, filters=12049824, revisions=(22902614,useless=14652406), ccks=13547429, wck=18.8, mem=95M290
26.46/21.31 decisions=240631, wrong=119467, backtracks=41540, failedAssignments=88462, nogoods=1421, foundSolutions=10, bestBound=4
26.46/21.31 nFilterCalls=6074126, avgTableProportion=0.75, avgTableSize=3.0
26.46/21.31
28.27/23.15 num=117, depth=0..21, filters=13308168, revisions=(25199366,useless=16097059), ccks=14920125, wck=20.636, mem=97M933
28.27/23.15 decisions=264385, wrong=131342, backtracks=46454, failedAssignments=97149, nogoods=1434, foundSolutions=10, bestBound=4
28.27/23.15 nFilterCalls=6716040, avgTableProportion=0.75, avgTableSize=3.0
28.27/23.15
30.27/25.16 num=118, depth=1..20, filters=14682806, revisions=(27772319,useless=17750877), ccks=16481243, wck=22.654, mem=97M933
30.27/25.16 decisions=291598, wrong=144947, backtracks=52304, failedAssignments=106704, nogoods=1457, foundSolutions=10, bestBound=4
30.27/25.16 nFilterCalls=7419060, avgTableProportion=0.75, avgTableSize=3.0
30.27/25.16
32.56/27.49 num=119, depth=0..19, filters=16247840, revisions=(30749463,useless=19654726), ccks=18235718, wck=24.979, mem=97M933
32.56/27.49 decisions=321300, wrong=159796, backtracks=58287, failedAssignments=117215, nogoods=1481, foundSolutions=10, bestBound=4
32.56/27.49 nFilterCalls=8215027, avgTableProportion=0.75, avgTableSize=3.0
32.56/27.49
35.27/30.11 num=120, depth=0..19, filters=18013241, revisions=(34185695,useless=21892899), ccks=20192421, wck=27.604, mem=97M933
35.27/30.11 decisions=354661, wrong=176474, backtracks=65014, failedAssignments=128777, nogoods=1502, foundSolutions=10, bestBound=4
35.27/30.11 nFilterCalls=9114051, avgTableProportion=0.75, avgTableSize=3.0
35.27/30.11
38.08/32.99 num=121, depth=0..23, filters=19958214, revisions=(37854555,useless=24249586), ccks=22317706, wck=30.482, mem=97M933
38.08/32.99 decisions=391069, wrong=194675, backtracks=72537, failedAssignments=141495, nogoods=1521, foundSolutions=10, bestBound=4
38.08/32.99 nFilterCalls=10105550, avgTableProportion=0.75, avgTableSize=3.0
38.08/32.99
41.20/36.04 num=122, depth=0..21, filters=21969843, revisions=(41825253,useless=26835705), ccks=24641213, wck=33.529, mem=97M933
41.20/36.04 decisions=431031, wrong=214654, backtracks=80913, failedAssignments=155485, nogoods=1527, foundSolutions=10, bestBound=4
41.20/36.04 nFilterCalls=11135719, avgTableProportion=0.75, avgTableSize=3.0
41.20/36.04
41.30/36.14
41.30/36.14 New Bounds: 4..3
41.30/36.14 num=123, depth=0..16, filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203, wck=33.635, mem=97M933
41.30/36.14 decisions=432429, wrong=215354, backtracks=81234, failedAssignments=155947, foundSolutions=10, bestBound=4
41.30/36.14 nFilterCalls=11170368, avgTableProportion=0.75, avgTableSize=3.0
41.30/36.14
41.30/36.15 Global
41.30/36.15 filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203
41.30/36.15 Stop=FULL_EXPLORATION, wrong=215354, bestBound=4, bestBoundWck=1.857, bestBoundCpu=3.685, foundSolutions=10, firstSolCpu=2.535
41.30/36.15 wck=34.282, cpu=36.111, mem=97M933
41.30/36.15
41.30/36.15 v <instantiation id='sol10' type='solution' cost='4'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 7 13 8 5 12 11 4 9 3 14 6 1 0 2 10 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 1 1 2 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 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 1 0 0 1 1 0 0 0 1 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 1 0 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 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 </values> </instantiation>
41.30/36.15 s OPTIMUM FOUND
41.30/36.15
41.30/36.15 d WRONG_DECISIONS 215354
41.30/36.15 d NUMBER_SOLUTIONS 10
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 (11654 MiB free)
memory of node 1: 16384 MiB (13891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391128-1568389675/watcher-4391128-1568389675 -o /tmp/evaluation-result-4391128-1568389675/solver-4391128-1568389675 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391128-1568389675.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4412, runsolver pid=4409
Current StackSize limit: 8192 KiB
[startup+0.104912 s]*
/proc/loadavg: 1.84 1.84 1.87 6/228 4427
/proc/meminfo: memFree=26141932/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10659884 memory=30528 CPUtime=0.15 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 5662 0 0 0 14 1 0 0 20 0 15 0 414881331 10915721216 7632 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2664971 7632 2919 1 0 2627468 0
[pid=4412/tid=4414] ppid=4409 vsize=10659884 memory=-8393405108072576192 CPUtime=0.09 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) R 4409 4412 3758 0 -1 4202560 2988 0 0 0 9 0 0 0 20 0 15 0 414881331 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719668952736 140719656962878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719155643936 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719154591088 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 15 0 414881337 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) R 4409 4412 3758 0 -1 4202560 194 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719151414984 140719642418064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0.03 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) R 4409 4412 3758 0 -1 4202560 668 0 0 0 3 0 0 0 20 0 15 0 414881337 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719150377336 140719664737686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 7698 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30528 KiB
[startup+0.210542 s]*
/proc/loadavg: 1.84 1.84 1.87 3/228 4427
/proc/meminfo: memFree=26129960/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10659884 memory=37652 CPUtime=0.33 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 8690 0 0 0 31 2 0 0 20 0 15 0 414881331 10915721216 9413 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2664971 9413 2979 1 0 2627468 0
[pid=4412/tid=4414] ppid=4409 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) R 4409 4412 3758 0 -1 4202560 5686 0 0 0 18 2 0 0 20 0 15 0 414881331 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719668952112 140719664747677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10659884 memory=140282403332708 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719155643936 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719154591088 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 700 0 0 0 3 0 0 0 20 0 15 0 414881337 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) S 4409 4412 3758 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 414881337 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719151433968 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0.05 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 690 0 0 0 5 0 0 0 20 0 15 0 414881337 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 9413 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37652 KiB
[startup+0.310283 s]*
/proc/loadavg: 1.84 1.84 1.87 3/228 4427
/proc/meminfo: memFree=26128160/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10659884 memory=40228 CPUtime=0.48 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 8825 0 0 0 45 3 0 0 20 0 15 0 414881331 10915721216 10057 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2664971 10057 3011 1 0 2627468 0
[pid=4412/tid=4414] ppid=4409 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) R 4409 4412 3758 0 -1 4202560 5763 0 0 0 28 2 0 0 20 0 15 0 414881331 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719668957552 140719664747677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10659884 memory=14268131518338712 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719155643936 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881334 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719154591088 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) R 4409 4412 3758 0 -1 4202560 708 0 0 0 4 0 0 0 20 0 15 0 414881337 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719152477280 140719644413463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) R 4409 4412 3758 0 -1 1077944384 289 0 0 0 4 0 0 0 20 0 15 0 414881337 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719151434064 140719664735957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0.08 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 707 0 0 0 8 0 0 0 20 0 15 0 414881337 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10659884 memory=140282402068096 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881337 10915721216 10057 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40228 KiB
[startup+0.700696 s]
/proc/loadavg: 1.84 1.84 1.87 3/228 4427
/proc/meminfo: memFree=26120568/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10661932 memory=62996 CPUtime=1.12 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 12247 0 0 0 107 5 0 0 20 0 15 0 414881331 10917818368 15749 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2665483 15749 3065 1 0 2627980 0
[pid=4412/tid=4414] ppid=4409 vsize=10661932 memory=1368 CPUtime=0.68 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) R 4409 4412 3758 0 -1 4202560 8314 0 0 0 65 3 0 0 20 0 15 0 414881331 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719668957776 140719644999350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881334 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414881334 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719155643936 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414881334 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719154591088 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10661932 memory=4639098309541126765 CPUtime=0.1 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 877 0 0 0 10 0 0 0 20 0 15 0 414881337 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10661932 memory=7380108234216663121 CPUtime=0.12 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) R 4409 4412 3758 0 -1 4202560 612 0 0 0 12 0 0 0 20 0 15 0 414881337 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719151433968 140719648211693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10661932 memory=5787782378022856021 CPUtime=0.19 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 1084 0 0 0 19 0 0 0 20 0 15 0 414881337 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414881337 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881337 10917818368 15749 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62996 KiB
[startup+1.50066 s]
/proc/loadavg: 1.84 1.84 1.87 4/228 4427
/proc/meminfo: memFree=26104240/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10663980 memory=75140 CPUtime=2.01 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 17485 0 0 0 195 6 0 0 20 0 15 0 414881331 10919915520 18785 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2665995 18785 3095 1 0 2628492 0
[pid=4412/tid=4414] ppid=4409 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) R 4409 4412 3758 0 -1 4202560 12305 0 0 0 143 4 0 0 20 0 15 0 414881331 10919915520 18785 33554432000 4194304 4196468 140731973347632 140719668951728 140719647912560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10919915520 18785 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10919915520 18785 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10663980 memory=7451882158599990102 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414881332 10919915520 18785 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10663980 memory=7523639572977771883 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414881332 10919915520 18785 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414881334 10919915520 18785 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
################
# More data... #
################
[startup+35.2007 s]
/proc/loadavg: 1.81 1.82 1.86 4/229 4429
/proc/meminfo: memFree=25943936/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10748324 memory=226780 CPUtime=40.39 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 48486 0 0 0 4021 18 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2687081 56695 3351 1 0 2647217 0
[pid=4412/tid=4414] ppid=4409 vsize=10748324 memory=8112282956445269571 CPUtime=1.87 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) S 4409 4412 3758 0 -1 1077944384 14482 0 0 0 181 6 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719668968624 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10748324 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10748324 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10748324 memory=22244 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10748324 memory=39680 CPUtime=0.01 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 1153 0 0 0 1 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10748324 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719155644000 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719154591104 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10748324 memory=2124 CPUtime=2.1 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 8959 0 0 0 209 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10748324 memory=21280 CPUtime=2.14 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) S 4409 4412 3758 0 -1 1077944384 9739 0 0 0 212 2 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719151433968 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10748324 memory=492 CPUtime=0.88 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 5555 0 0 0 87 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10748324 memory=226752 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10748324 memory=2732 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4428] ppid=4409 vsize=10748324 memory=2616 CPUtime=33.26 cores=0,2,4,6
/proc/4412/task/4428/stat : 4428 (java) R 4409 4412 3758 0 -1 4202560 6803 0 0 0 3323 3 0 0 20 0 16 0 414881521 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719131317584 140719260298136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 40.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226780 KiB
[startup+35.6007 s]
/proc/loadavg: 1.81 1.82 1.86 4/229 4429
/proc/meminfo: memFree=25943936/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10748324 memory=226780 CPUtime=40.79 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 48486 0 0 0 4061 18 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2687081 56695 3351 1 0 2647217 0
[pid=4412/tid=4414] ppid=4409 vsize=10748324 memory=2020 CPUtime=1.87 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) S 4409 4412 3758 0 -1 1077944384 14482 0 0 0 181 6 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719668968624 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10748324 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10748324 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10748324 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10748324 memory=1436 CPUtime=0.01 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 1153 0 0 0 1 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10748324 memory=896 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719155644000 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719154591104 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10748324 memory=226780 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10748324 memory=280564578138048 CPUtime=2.1 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 8959 0 0 0 209 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10748324 memory=280564578017160 CPUtime=2.14 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) S 4409 4412 3758 0 -1 1077944384 9739 0 0 0 212 2 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719151433968 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10748324 memory=21122716272874 CPUtime=0.88 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 5555 0 0 0 87 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10748324 memory=21122716273386 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10748324 memory=21122716273130 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4428] ppid=4409 vsize=10748324 memory=21122716273130 CPUtime=33.66 cores=0,2,4,6
/proc/4412/task/4428/stat : 4428 (java) R 4409 4412 3758 0 -1 4202560 6803 0 0 0 3363 3 0 0 20 0 16 0 414881521 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719131317584 140719260315133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 40.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226780 KiB
[startup+36.0007 s]*
/proc/loadavg: 1.81 1.82 1.86 4/229 4429
/proc/meminfo: memFree=25943936/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10748324 memory=226780 CPUtime=41.2 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 48486 0 0 0 4102 18 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2687081 56695 3351 1 0 2647217 0
[pid=4412/tid=4414] ppid=4409 vsize=10748324 memory=8112282956445269571 CPUtime=1.87 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) S 4409 4412 3758 0 -1 1077944384 14482 0 0 0 181 6 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719668968624 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10748324 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10748324 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10748324 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10748324 memory=896 CPUtime=0.01 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 1153 0 0 0 1 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719155644000 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719154591104 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10748324 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 8959 0 0 0 209 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10748324 memory=0 CPUtime=2.14 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) S 4409 4412 3758 0 -1 1077944384 9739 0 0 0 212 2 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719151433968 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10748324 memory=7812165829409860184 CPUtime=0.88 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 5555 0 0 0 87 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10748324 memory=5792262878946938960 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10748324 memory=7019467088057152564 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4428] ppid=4409 vsize=10748324 memory=0 CPUtime=34.07 cores=0,2,4,6
/proc/4412/task/4428/stat : 4428 (java) R 4409 4412 3758 0 -1 4202560 6803 0 0 0 3404 3 0 0 20 0 16 0 414881521 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719131317584 140719259637371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 41.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226780 KiB
[startup+36.1097 s]
/proc/loadavg: 1.81 1.82 1.86 4/229 4429
/proc/meminfo: memFree=25943936/32770624 swapFree=66957012/67108860
[pid=4412] ppid=4409 vsize=10748324 memory=226780 CPUtime=41.3 cores=0,2,4,6
/proc/4412/stat : 4412 (java) S 4409 4412 3758 0 -1 1077944320 48514 0 0 0 4112 18 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140731973330176 140719664725751 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
/proc/4412/statm: 2687081 56695 3351 1 0 2647217 0
[pid=4412/tid=4414] ppid=4409 vsize=10748324 memory=226780 CPUtime=1.87 cores=0,2,4,6
/proc/4412/task/4414/stat : 4414 (java) S 4409 4412 3758 0 -1 1077944384 14482 0 0 0 181 6 0 0 20 0 16 0 414881331 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719668968624 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4415] ppid=4409 vsize=10748324 memory=226780 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4415/stat : 4415 (java) S 4409 4412 3758 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719590800016 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4416] ppid=4409 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4416/stat : 4416 (java) S 4409 4412 3758 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719589747216 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4417] ppid=4409 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4417/stat : 4417 (java) S 4409 4412 3758 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719588694416 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4418] ppid=4409 vsize=10748324 memory=55 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4418/stat : 4418 (java) S 4409 4412 3758 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414881332 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719587641616 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4419] ppid=4409 vsize=10748324 memory=-7966001967256141664 CPUtime=0.01 cores=0,2,4,6
/proc/4412/task/4419/stat : 4419 (java) S 4409 4412 3758 0 -1 1077944384 1159 0 0 0 1 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719156697968 140719664736898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4420] ppid=4409 vsize=10748324 memory=226780 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4420/stat : 4420 (java) S 4409 4412 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719155644000 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4421] ppid=4409 vsize=10748324 memory=2616 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4421/stat : 4421 (java) S 4409 4412 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414881334 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719154591104 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4422] ppid=4409 vsize=10748324 memory=280564578763712 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4422/stat : 4422 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719153539408 140719664744347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4423] ppid=4409 vsize=10748324 memory=6655300316396806240 CPUtime=2.1 cores=0,2,4,6
/proc/4412/task/4423/stat : 4423 (java) S 4409 4412 3758 0 -1 1077944384 8959 0 0 0 209 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719152486768 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4424] ppid=4409 vsize=10748324 memory=0 CPUtime=2.14 cores=0,2,4,6
/proc/4412/task/4424/stat : 4424 (java) S 4409 4412 3758 0 -1 1077944384 9739 0 0 0 212 2 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719151433968 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4425] ppid=4409 vsize=10748324 memory=280564578495952 CPUtime=0.88 cores=0,2,4,6
/proc/4412/task/4425/stat : 4425 (java) S 4409 4412 3758 0 -1 1077944384 5570 0 0 0 87 1 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719150381168 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4426] ppid=4409 vsize=10748324 memory=226780 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4426/stat : 4426 (java) S 4409 4412 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719149328608 140719664735957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4427] ppid=4409 vsize=10748324 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/4412/task/4427/stat : 4427 (java) S 4409 4412 3758 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 16 0 414881337 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719148276912 140719664736898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
[pid=4412/tid=4428] ppid=4409 vsize=10748324 memory=39680 CPUtime=34.17 cores=0,2,4,6
/proc/4412/task/4428/stat : 4428 (java) R 4409 4412 3758 0 -1 4202560 6810 0 0 0 3414 3 0 0 20 0 16 0 414881521 11006283776 56695 33554432000 4194304 4196468 140731973347632 140719131317440 140719260333051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39604224 140731973350411 140731973350514 140731973350514 140731973353423 0
Current children cumulated CPU time: 41.3 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 226780 KiB
Child status: 0
Real time (s): 36.162
CPU time (s): 41.3626
CPU user time (s): 41.1691
CPU system time (s): 0.193447
CPU usage (%): 114.381
Max. virtual memory (cumulated for all children) (KiB): 10750864
Max. memory (cumulated for all children) (KiB): 233188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1691
system time used= 0.193447
maximum resident set size= 233188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4276
involuntary context switches= 55
# summary of solver processes directly reported to runsolver:
# pid: 4412
# total CPU time (s): 41.3626
# total CPU user time (s): 41.1691
# total CPU system time (s): 0.193447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.267999 second user time and 0.340121 second system time
The end