2.45/1.87
2.45/1.87 AbsCon 2
2.45/1.88
2.98/2.11 Instance
2.98/2.11 name=instance-4390828-1568381729, framework=COP, bounds=-infty..+infty
2.98/2.11
2.98/2.11 Loading variables...
3.29/2.16 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20b0f0d1
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ec8900d
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a71e134
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be5bdee
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b24f36
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3719443f
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0ee943
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfa373d
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781ffa72
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d956e7
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608125e6
3.81/2.39 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769ae40c
3.81/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cdcdc2f
3.81/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27cb0f8f
3.81/2.40 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7342f223
4.18/2.43
4.18/2.43
4.18/2.43 Domains
4.18/2.43 nTypes=4, nValues=2040, sizes=[2#450,3#225,15#15,16#15]
4.18/2.43 Variables
4.18/2.43 count=705, degrees=[2#255,3#435,16#15]
4.18/2.43 Objectives
4.18/2.43 way=min, type=ObjMaximumLE
4.18/2.43 Constraints
4.18/2.43 count=692, nSpecific=257, arities=[2#240,3#435,15#2,16#15]
4.18/2.43 distribution=[AllDifferent#1,CtrExtensionCT-Table#225,CtrExtensionV-Bits#225,CtrIntension#210,EQ#15,ObjMaximumLE#1,SumWeightedEQ#15]
4.18/2.43 tables=[4#225], nTotalTuples=900
4.18/2.43 nExtStructures=(226,shared:224), nIntStructures=(1,shared:209), nCftStructures=(226,shared:209,unbuilt:257)
4.18/2.43 wck=0.586, cpu=2.39, mem=47M651
4.18/2.45 Solver SolverBacktrack being built...
4.18/2.45
4.18/2.48
4.18/2.48 Solver
4.18/2.48 guaranteedGAC=false
4.18/2.48 wck=0.642, cpu=2.443, mem=71M509
4.18/2.50
4.18/2.50 Preprocessing
4.18/2.50 filters=15, revisions=(30,useless=30), ccks=123, nACremovedValues=15, nTotalRemovedValues=15, inconcistency=false
4.18/2.50 wck=0.015, cpu=2.459, mem=71M509
4.18/2.50
4.46/2.54 o 14
4.46/2.56 num=0, depth=706..704, filters=1034, revisions=(3418,useless=2773), ccks=2957, wck=0.082, mem=71M509
4.46/2.56 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=14
4.46/2.56 nFilterCalls=1350, avgTableProportion=0.75, avgTableSize=3.0
4.46/2.56
4.46/2.58 o 13
4.46/2.59 num=1, depth=0..704, filters=2132, revisions=(7060,useless=5695), ccks=4827, wck=0.108, mem=71M509
4.46/2.59 decisions=35, wrong=3, backtracks=0, failedAssignments=3, nogoods=2, foundSolutions=2, bestBound=13
4.46/2.59 nFilterCalls=2726, avgTableProportion=0.75, avgTableSize=3.0
4.46/2.59
4.77/2.60 num=2, depth=0..20, filters=3499, revisions=(10609,useless=8339), ccks=6272, wck=0.121, mem=71M509
4.77/2.60 decisions=79, wrong=17, backtracks=4, failedAssignments=14, nogoods=5, foundSolutions=2, bestBound=13
4.77/2.60 nFilterCalls=3532, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.60
4.77/2.61 num=3, depth=2..24, filters=4752, revisions=(12734,useless=9411), ccks=8339, wck=0.131, mem=71M509
4.77/2.61 decisions=123, wrong=30, backtracks=6, failedAssignments=25, nogoods=11, foundSolutions=2, bestBound=13
4.77/2.61 nFilterCalls=4023, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.61
4.77/2.63 o 11
4.77/2.63 num=4, depth=3..704, filters=6009, revisions=(16736,useless=12509), ccks=10934, wck=0.152, mem=71M509
4.77/2.63 decisions=167, wrong=37, backtracks=6, failedAssignments=32, nogoods=18, foundSolutions=3, bestBound=11
4.77/2.63 nFilterCalls=5265, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.63
4.77/2.64 num=5, depth=3..32, filters=7111, revisions=(20052,useless=15006), ccks=12726, wck=0.164, mem=71M509
4.77/2.64 decisions=220, wrong=51, backtracks=7, failedAssignments=45, nogoods=29, foundSolutions=3, bestBound=11
4.77/2.64 nFilterCalls=6022, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.64
4.77/2.66 o 10
4.77/2.66 num=6, depth=3..704, filters=8314, revisions=(24234,useless=18326), ccks=15329, wck=0.184, mem=71M509
4.77/2.66 decisions=272, wrong=58, backtracks=7, failedAssignments=52, nogoods=36, foundSolutions=4, bestBound=10
4.77/2.66 nFilterCalls=7246, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.66
4.77/2.68 o 9
4.77/2.69 num=7, depth=11..704, filters=9419, revisions=(28312,useless=21639), ccks=17709, wck=0.206, mem=74M155
4.77/2.69 decisions=315, wrong=64, backtracks=7, failedAssignments=58, nogoods=42, foundSolutions=5, bestBound=9
4.77/2.69 nFilterCalls=8670, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.69
4.77/2.69 num=8, depth=3..31, filters=10018, revisions=(30052,useless=22921), ccks=18625, wck=0.214, mem=74M155
4.77/2.69 decisions=368, wrong=80, backtracks=13, failedAssignments=69, nogoods=51, foundSolutions=5, bestBound=9
4.77/2.69 nFilterCalls=9185, avgTableProportion=0.75, avgTableSize=3.0
4.77/2.69
5.09/2.71 o 8
5.09/2.71 num=9, depth=5..704, filters=11183, revisions=(34062,useless=26129), ccks=20880, wck=0.234, mem=74M155
5.09/2.71 decisions=416, wrong=85, backtracks=13, failedAssignments=74, nogoods=56, foundSolutions=6, bestBound=8
5.09/2.71 nFilterCalls=10398, avgTableProportion=0.75, avgTableSize=3.0
5.09/2.71
5.09/2.73 o 7
5.09/2.73 num=10, depth=31..704, filters=12115, revisions=(37528,useless=28956), ccks=22804, wck=0.254, mem=74M155
5.09/2.73 decisions=449, wrong=86, backtracks=13, failedAssignments=75, nogoods=57, foundSolutions=7, bestBound=7
5.09/2.73 nFilterCalls=11791, avgTableProportion=0.75, avgTableSize=3.0
5.09/2.73
5.09/2.75 num=11, depth=3..20, filters=13487, revisions=(40342,useless=30634), ccks=24978, wck=0.265, mem=74M155
5.09/2.75 decisions=492, wrong=101, backtracks=17, failedAssignments=86, nogoods=62, foundSolutions=7, bestBound=7
5.09/2.75 nFilterCalls=12667, avgTableProportion=0.75, avgTableSize=3.0
5.09/2.75
5.09/2.76 o 6
5.09/2.76 num=12, depth=4..704, filters=14508, revisions=(43814,useless=33378), ccks=27159, wck=0.283, mem=74M155
5.09/2.76 decisions=531, wrong=104, backtracks=17, failedAssignments=89, nogoods=65, foundSolutions=8, bestBound=6
5.09/2.76 nFilterCalls=13894, avgTableProportion=0.75, avgTableSize=3.0
5.09/2.76
5.09/2.78 num=13, depth=20..23, filters=16089, revisions=(46985,useless=35421), ccks=28866, wck=0.294, mem=74M155
5.09/2.78 decisions=579, wrong=118, backtracks=20, failedAssignments=101, nogoods=74, foundSolutions=8, bestBound=6
5.09/2.78 nFilterCalls=14891, avgTableProportion=0.75, avgTableSize=3.0
5.09/2.78
5.09/2.79 num=14, depth=9..22, filters=17879, revisions=(50466,useless=37594), ccks=31087, wck=0.305, mem=74M155
5.09/2.79 decisions=627, wrong=135, backtracks=27, failedAssignments=112, nogoods=77, foundSolutions=8, bestBound=6
5.09/2.79 nFilterCalls=15751, avgTableProportion=0.75, avgTableSize=3.0
5.09/2.79
5.39/2.80 num=15, depth=12..31, filters=20437, revisions=(55589,useless=40929), ccks=34079, wck=0.32, mem=74M155
5.39/2.80 decisions=690, wrong=154, backtracks=35, failedAssignments=124, nogoods=83, foundSolutions=8, bestBound=6
5.39/2.80 nFilterCalls=17066, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.80
5.39/2.81 o 5
5.39/2.82 num=16, depth=18..704, filters=21533, revisions=(59217,useless=43781), ccks=36254, wck=0.339, mem=74M155
5.39/2.82 decisions=733, wrong=160, backtracks=35, failedAssignments=130, nogoods=89, foundSolutions=9, bestBound=5
5.39/2.82 nFilterCalls=18330, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.82
5.39/2.83 num=17, depth=16..24, filters=22762, revisions=(61996,useless=45666), ccks=37665, wck=0.351, mem=74M155
5.39/2.83 decisions=787, wrong=177, backtracks=39, failedAssignments=144, nogoods=95, foundSolutions=9, bestBound=5
5.39/2.83 nFilterCalls=19148, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.83
5.39/2.84 num=18, depth=8..27, filters=24311, revisions=(65553,useless=48091), ccks=39911, wck=0.361, mem=74M155
5.39/2.84 decisions=834, wrong=192, backtracks=43, failedAssignments=155, nogoods=103, foundSolutions=9, bestBound=5
5.39/2.84 nFilterCalls=20006, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.84
5.39/2.85 num=19, depth=19..25, filters=26120, revisions=(69159,useless=50353), ccks=42145, wck=0.372, mem=76M797
5.39/2.85 decisions=883, wrong=207, backtracks=50, failedAssignments=167, nogoods=110, foundSolutions=9, bestBound=5
5.39/2.85 nFilterCalls=20892, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.85
5.39/2.86 num=20, depth=9..18, filters=27132, revisions=(71704,useless=52133), ccks=43613, wck=0.379, mem=76M797
5.39/2.86 decisions=927, wrong=222, backtracks=52, failedAssignments=180, nogoods=113, foundSolutions=9, bestBound=5
5.39/2.86 nFilterCalls=21443, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.86
5.39/2.87 num=21, depth=11..16, filters=28628, revisions=(74630,useless=53951), ccks=45762, wck=0.388, mem=76M797
5.39/2.87 decisions=969, wrong=237, backtracks=56, failedAssignments=194, nogoods=121, foundSolutions=9, bestBound=5
5.39/2.87 nFilterCalls=22225, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.87
5.39/2.88 num=22, depth=13..24, filters=30024, revisions=(77768,useless=56056), ccks=47748, wck=0.397, mem=76M797
5.39/2.88 decisions=1021, wrong=255, backtracks=61, failedAssignments=210, nogoods=128, foundSolutions=9, bestBound=5
5.39/2.88 nFilterCalls=22970, avgTableProportion=0.75, avgTableSize=3.0
5.39/2.88
5.70/2.90 num=23, depth=10..17, filters=34243, revisions=(85245,useless=60585), ccks=53214, wck=0.418, mem=76M797
5.70/2.90 decisions=1078, wrong=276, backtracks=65, failedAssignments=227, nogoods=142, foundSolutions=9, bestBound=5
5.70/2.90 nFilterCalls=25205, avgTableProportion=0.75, avgTableSize=3.0
5.70/2.90
5.70/2.92 num=24, depth=11..29, filters=37721, revisions=(91404,useless=64322), ccks=57542, wck=0.437, mem=76M797
5.70/2.92 decisions=1150, wrong=303, backtracks=76, failedAssignments=246, nogoods=149, foundSolutions=9, bestBound=5
5.70/2.92 nFilterCalls=27074, avgTableProportion=0.75, avgTableSize=3.0
5.70/2.92
5.70/2.94 num=25, depth=17..20, filters=42888, revisions=(100471,useless=69789), ccks=63735, wck=0.462, mem=76M797
5.70/2.94 decisions=1218, wrong=328, backtracks=82, failedAssignments=267, nogoods=157, foundSolutions=9, bestBound=5
5.70/2.94 nFilterCalls=29615, avgTableProportion=0.75, avgTableSize=3.0
5.70/2.94
5.70/2.97 num=26, depth=12..21, filters=46917, revisions=(107911,useless=74303), ccks=68539, wck=0.486, mem=76M797
5.70/2.97 decisions=1292, wrong=357, backtracks=91, failedAssignments=290, nogoods=169, foundSolutions=9, bestBound=5
5.70/2.97 nFilterCalls=31614, avgTableProportion=0.75, avgTableSize=3.0
5.70/2.97
5.70/2.99 num=27, depth=9..16, filters=50387, revisions=(115297,useless=79010), ccks=73305, wck=0.507, mem=76M797
5.70/2.99 decisions=1367, wrong=388, backtracks=97, failedAssignments=315, nogoods=182, foundSolutions=9, bestBound=5
5.70/2.99 nFilterCalls=33239, avgTableProportion=0.75, avgTableSize=3.0
5.70/2.99
6.04/3.01 num=28, depth=12..21, filters=54286, revisions=(122215,useless=83199), ccks=77887, wck=0.531, mem=76M797
6.04/3.01 decisions=1450, wrong=423, backtracks=106, failedAssignments=343, nogoods=185, foundSolutions=9, bestBound=5
6.04/3.01 nFilterCalls=35246, avgTableProportion=0.75, avgTableSize=3.0
6.04/3.01
6.04/3.06 num=29, depth=9..20, filters=62600, revisions=(137349,useless=91843), ccks=90024, wck=0.578, mem=76M797
6.04/3.06 decisions=1551, wrong=467, backtracks=122, failedAssignments=374, nogoods=191, foundSolutions=9, bestBound=5
6.04/3.06 nFilterCalls=39896, avgTableProportion=0.75, avgTableSize=3.0
6.04/3.06
6.04/3.08 num=30, depth=1..18, filters=65726, revisions=(143452,useless=95745), ccks=93714, wck=0.597, mem=79M440
6.04/3.08 decisions=1644, wrong=506, backtracks=127, failedAssignments=408, nogoods=205, foundSolutions=9, bestBound=5
6.04/3.08 nFilterCalls=41480, avgTableProportion=0.75, avgTableSize=3.0
6.04/3.08
6.34/3.11 num=31, depth=2..14, filters=71724, revisions=(154481,useless=102720), ccks=101153, wck=0.631, mem=79M440
6.34/3.11 decisions=1746, wrong=552, backtracks=137, failedAssignments=445, nogoods=208, foundSolutions=9, bestBound=5
6.34/3.11 nFilterCalls=44589, avgTableProportion=0.75, avgTableSize=3.0
6.34/3.11
6.34/3.14 num=32, depth=4..20, filters=75907, revisions=(162900,useless=108147), ccks=106659, wck=0.657, mem=79M440
6.34/3.14 decisions=1854, wrong=598, backtracks=143, failedAssignments=486, nogoods=223, foundSolutions=9, bestBound=5
6.34/3.14 nFilterCalls=46735, avgTableProportion=0.75, avgTableSize=3.0
6.34/3.14
6.34/3.18 num=33, depth=5..16, filters=83268, revisions=(176670,useless=116867), ccks=115311, wck=0.699, mem=79M440
6.34/3.18 decisions=1975, wrong=653, backtracks=156, failedAssignments=531, nogoods=232, foundSolutions=9, bestBound=5
6.34/3.18 nFilterCalls=50644, avgTableProportion=0.75, avgTableSize=3.0
6.34/3.18
6.61/3.23 num=34, depth=12..17, filters=91162, revisions=(191420,useless=126266), ccks=124218, wck=0.745, mem=79M440
6.61/3.23 decisions=2119, wrong=717, backtracks=173, failedAssignments=581, nogoods=246, foundSolutions=9, bestBound=5
6.61/3.23 nFilterCalls=54674, avgTableProportion=0.75, avgTableSize=3.0
6.61/3.23
6.61/3.27 num=35, depth=12..18, filters=98248, revisions=(205346,useless=134822), ccks=133524, wck=0.787, mem=79M440
6.61/3.27 decisions=2274, wrong=787, backtracks=192, failedAssignments=636, nogoods=259, foundSolutions=9, bestBound=5
6.61/3.27 nFilterCalls=58084, avgTableProportion=0.75, avgTableSize=3.0
6.61/3.27
6.91/3.32 num=36, depth=12..21, filters=108847, revisions=(223124,useless=145366), ccks=144374, wck=0.837, mem=79M440
6.91/3.32 decisions=2449, wrong=867, backtracks=219, failedAssignments=697, nogoods=264, foundSolutions=9, bestBound=5
6.91/3.32 nFilterCalls=63248, avgTableProportion=0.75, avgTableSize=3.0
6.91/3.32
6.91/3.36 num=37, depth=6..12, filters=117954, revisions=(239414,useless=154971), ccks=155457, wck=0.877, mem=82M82
6.91/3.36 decisions=2625, wrong=951, backtracks=243, failedAssignments=764, nogoods=268, foundSolutions=9, bestBound=5
6.91/3.36 nFilterCalls=67762, avgTableProportion=0.75, avgTableSize=3.0
6.91/3.36
7.22/3.41 num=38, depth=8..16, filters=132112, revisions=(263847,useless=169593), ccks=170429, wck=0.933, mem=82M82
7.22/3.41 decisions=2837, wrong=1051, backtracks=279, failedAssignments=838, nogoods=291, foundSolutions=9, bestBound=5
7.22/3.41 nFilterCalls=74950, avgTableProportion=0.75, avgTableSize=3.0
7.22/3.41
7.22/3.47 num=39, depth=9..21, filters=145541, revisions=(286842,useless=183294), ccks=186093, wck=0.985, mem=82M82
7.22/3.47 decisions=3072, wrong=1162, backtracks=324, failedAssignments=919, nogoods=298, foundSolutions=9, bestBound=5
7.22/3.47 nFilterCalls=81970, avgTableProportion=0.75, avgTableSize=3.0
7.22/3.47
7.52/3.53 num=40, depth=0..19, filters=161169, revisions=(316644,useless=202159), ccks=204243, wck=1.05, mem=82M82
7.52/3.53 decisions=3352, wrong=1296, backtracks=380, failedAssignments=1008, nogoods=312, foundSolutions=9, bestBound=5
7.52/3.53 nFilterCalls=89991, avgTableProportion=0.75, avgTableSize=3.0
7.52/3.53
7.82/3.62 num=41, depth=9..15, filters=183913, revisions=(359586,useless=229026), ccks=235016, wck=1.142, mem=84M724
7.82/3.62 decisions=3674, wrong=1452, backtracks=449, failedAssignments=1106, nogoods=330, foundSolutions=9, bestBound=5
7.82/3.62 nFilterCalls=102328, avgTableProportion=0.75, avgTableSize=3.0
7.82/3.62
7.82/3.69 num=42, depth=10..25, filters=200456, revisions=(388788,useless=247117), ccks=254639, wck=1.204, mem=84M724
7.82/3.69 decisions=3974, wrong=1595, backtracks=501, failedAssignments=1214, nogoods=341, foundSolutions=9, bestBound=5
7.82/3.69 nFilterCalls=110740, avgTableProportion=0.75, avgTableSize=3.0
7.82/3.69
8.12/3.76 num=43, depth=12..27, filters=222640, revisions=(425239,useless=268445), ccks=279309, wck=1.282, mem=84M724
8.12/3.76 decisions=4295, wrong=1747, backtracks=552, failedAssignments=1333, nogoods=352, foundSolutions=9, bestBound=5
8.12/3.76 nFilterCalls=121619, avgTableProportion=0.75, avgTableSize=3.0
8.12/3.76
8.42/3.87 num=44, depth=17..28, filters=244146, revisions=(462799,useless=291727), ccks=303034, wck=1.358, mem=87M367
8.42/3.87 decisions=4685, wrong=1932, backtracks=628, failedAssignments=1464, nogoods=356, foundSolutions=9, bestBound=5
8.42/3.87 nFilterCalls=132450, avgTableProportion=0.75, avgTableSize=3.0
8.42/3.87
8.42/3.88 o 4
8.42/3.89 num=45, depth=9..704, filters=254565, revisions=(483681,useless=305781), ccks=315030, wck=1.408, mem=87M367
8.42/3.89 decisions=4974, wrong=2065, backtracks=653, failedAssignments=1575, nogoods=379, foundSolutions=10, bestBound=4
8.42/3.89 nFilterCalls=138112, avgTableProportion=0.75, avgTableSize=3.0
8.42/3.89
8.62/3.93 num=46, depth=13..20, filters=264569, revisions=(505270,useless=320040), ccks=326182, wck=1.445, mem=87M367
8.62/3.93 decisions=5350, wrong=2246, backtracks=680, failedAssignments=1733, nogoods=388, foundSolutions=10, bestBound=4
8.62/3.93 nFilterCalls=143017, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.93
8.62/3.93 num=47, depth=1..20, filters=265276, revisions=(507272,useless=321488), ccks=327272, wck=1.45, mem=87M367
8.62/3.93 decisions=5390, wrong=2257, backtracks=680, failedAssignments=1744, nogoods=399, foundSolutions=10, bestBound=4
8.62/3.93 nFilterCalls=143397, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.93
8.62/3.94 num=48, depth=1..17, filters=266428, revisions=(510008,useless=323359), ccks=328821, wck=1.455, mem=87M367
8.62/3.94 decisions=5435, wrong=2274, backtracks=685, failedAssignments=1756, nogoods=405, foundSolutions=10, bestBound=4
8.62/3.94 nFilterCalls=143992, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.94
8.62/3.94 num=49, depth=1..18, filters=267414, revisions=(512450,useless=325046), ccks=330277, wck=1.459, mem=87M367
8.62/3.94 decisions=5477, wrong=2288, backtracks=688, failedAssignments=1769, nogoods=415, foundSolutions=10, bestBound=4
8.62/3.94 nFilterCalls=144486, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.94
8.62/3.94 num=50, depth=8..12, filters=268471, revisions=(515174,useless=326958), ccks=331889, wck=1.464, mem=87M367
8.62/3.94 decisions=5522, wrong=2306, backtracks=692, failedAssignments=1783, nogoods=420, foundSolutions=10, bestBound=4
8.62/3.94 nFilterCalls=145025, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.94
8.62/3.95 num=51, depth=1..12, filters=270064, revisions=(518177,useless=328758), ccks=333547, wck=1.469, mem=87M367
8.62/3.95 decisions=5566, wrong=2324, backtracks=695, failedAssignments=1799, nogoods=425, foundSolutions=10, bestBound=4
8.62/3.95 nFilterCalls=145851, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.95
8.62/3.96 num=52, depth=5..12, filters=271443, revisions=(521274,useless=330771), ccks=335340, wck=1.475, mem=87M367
8.62/3.96 decisions=5615, wrong=2346, backtracks=703, failedAssignments=1816, nogoods=435, foundSolutions=10, bestBound=4
8.62/3.96 nFilterCalls=146527, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.96
8.62/3.96 num=53, depth=2..15, filters=273584, revisions=(526261,useless=334182), ccks=338213, wck=1.483, mem=87M367
8.62/3.96 decisions=5691, wrong=2382, backtracks=724, failedAssignments=1835, nogoods=447, foundSolutions=10, bestBound=4
8.62/3.96 nFilterCalls=147623, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.96
8.62/3.97 num=54, depth=2..7, filters=275510, revisions=(530133,useless=336593), ccks=340802, wck=1.489, mem=87M367
8.62/3.97 decisions=5746, wrong=2408, backtracks=733, failedAssignments=1856, nogoods=449, foundSolutions=10, bestBound=4
8.62/3.97 nFilterCalls=148546, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.97
8.62/3.98 num=55, depth=6..23, filters=276722, revisions=(533208,useless=338756), ccks=342430, wck=1.495, mem=87M367
8.62/3.98 decisions=5818, wrong=2436, backtracks=739, failedAssignments=1879, nogoods=455, foundSolutions=10, bestBound=4
8.62/3.98 nFilterCalls=149104, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.98
8.62/3.98 num=56, depth=1..11, filters=278846, revisions=(537643,useless=341589), ccks=345136, wck=1.502, mem=87M367
8.62/3.98 decisions=5888, wrong=2470, backtracks=751, failedAssignments=1904, nogoods=463, foundSolutions=10, bestBound=4
8.62/3.98 nFilterCalls=150129, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.98
8.62/3.99 num=57, depth=7..21, filters=281359, revisions=(543277,useless=345446), ccks=348847, wck=1.511, mem=87M367
8.62/3.99 decisions=5972, wrong=2503, backtracks=756, failedAssignments=1932, nogoods=476, foundSolutions=10, bestBound=4
8.62/3.99 nFilterCalls=151555, avgTableProportion=0.75, avgTableSize=3.0
8.62/3.99
8.95/4.01 num=58, depth=1..17, filters=284482, revisions=(549384,useless=349280), ccks=352642, wck=1.526, mem=87M367
8.95/4.01 decisions=6071, wrong=2546, backtracks=769, failedAssignments=1963, nogoods=486, foundSolutions=10, bestBound=4
8.95/4.01 nFilterCalls=153067, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.01
8.95/4.02 num=59, depth=1..22, filters=287411, revisions=(555213,useless=353034), ccks=355966, wck=1.535, mem=87M367
8.95/4.02 decisions=6168, wrong=2587, backtracks=777, failedAssignments=1997, nogoods=494, foundSolutions=10, bestBound=4
8.95/4.02 nFilterCalls=154438, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.02
8.95/4.03 num=60, depth=3..15, filters=290486, revisions=(561767,useless=357241), ccks=360458, wck=1.545, mem=90M9
8.95/4.03 decisions=6281, wrong=2639, backtracks=793, failedAssignments=2034, nogoods=499, foundSolutions=10, bestBound=4
8.95/4.03 nFilterCalls=155979, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.03
8.95/4.04 num=61, depth=3..13, filters=294508, revisions=(570638,useless=363158), ccks=365535, wck=1.557, mem=90M9
8.95/4.04 decisions=6402, wrong=2695, backtracks=813, failedAssignments=2075, nogoods=508, foundSolutions=10, bestBound=4
8.95/4.04 nFilterCalls=157847, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.04
8.95/4.05 num=62, depth=5..12, filters=299766, revisions=(582350,useless=371088), ccks=371497, wck=1.571, mem=90M9
8.95/4.05 decisions=6546, wrong=2764, backtracks=848, failedAssignments=2120, nogoods=514, foundSolutions=10, bestBound=4
8.95/4.05 nFilterCalls=160429, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.05
8.95/4.06 num=63, depth=6..20, filters=304360, revisions=(591679,useless=377181), ccks=376901, wck=1.583, mem=90M9
8.95/4.06 decisions=6702, wrong=2833, backtracks=871, failedAssignments=2170, nogoods=531, foundSolutions=10, bestBound=4
8.95/4.06 nFilterCalls=162703, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.06
8.95/4.08 num=64, depth=7..14, filters=308928, revisions=(601868,useless=383976), ccks=382582, wck=1.595, mem=90M9
8.95/4.08 decisions=6847, wrong=2900, backtracks=888, failedAssignments=2225, nogoods=541, foundSolutions=10, bestBound=4
8.95/4.08 nFilterCalls=164781, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.08
8.95/4.10 num=65, depth=12..19, filters=319133, revisions=(623236,useless=398011), ccks=397127, wck=1.62, mem=90M9
8.95/4.10 decisions=7036, wrong=2988, backtracks=924, failedAssignments=2286, nogoods=552, foundSolutions=10, bestBound=4
8.95/4.10 nFilterCalls=170515, avgTableProportion=0.75, avgTableSize=3.0
8.95/4.10
9.25/4.12 num=66, depth=5..27, filters=327815, revisions=(640162,useless=408886), ccks=407254, wck=1.641, mem=90M9
9.25/4.12 decisions=7247, wrong=3084, backtracks=957, failedAssignments=2353, nogoods=569, foundSolutions=10, bestBound=4
9.25/4.12 nFilterCalls=174799, avgTableProportion=0.75, avgTableSize=3.0
9.25/4.12
9.25/4.15 num=67, depth=11..17, filters=339934, revisions=(664585,useless=424500), ccks=422707, wck=1.668, mem=90M9
9.25/4.15 decisions=7467, wrong=3187, backtracks=991, failedAssignments=2427, nogoods=587, foundSolutions=10, bestBound=4
9.25/4.15 nFilterCalls=180743, avgTableProportion=0.75, avgTableSize=3.0
9.25/4.15
9.25/4.17 num=68, depth=4..18, filters=354618, revisions=(692190,useless=441438), ccks=441194, wck=1.693, mem=90M9
9.25/4.17 decisions=7734, wrong=3317, backtracks=1049, failedAssignments=2508, nogoods=594, foundSolutions=10, bestBound=4
9.25/4.17 nFilterCalls=188034, avgTableProportion=0.75, avgTableSize=3.0
9.25/4.17
9.25/4.19 num=69, depth=4..15, filters=362586, revisions=(706716,useless=450281), ccks=450209, wck=1.707, mem=90M9
9.25/4.19 decisions=7964, wrong=3425, backtracks=1072, failedAssignments=2597, nogoods=604, foundSolutions=10, bestBound=4
9.25/4.19 nFilterCalls=191661, avgTableProportion=0.75, avgTableSize=3.0
9.25/4.19
9.47/4.21 num=70, depth=5..14, filters=374283, revisions=(728666,useless=463896), ccks=463902, wck=1.727, mem=90M9
9.47/4.21 decisions=8218, wrong=3548, backtracks=1101, failedAssignments=2695, nogoods=618, foundSolutions=10, bestBound=4
9.47/4.21 nFilterCalls=197328, avgTableProportion=0.75, avgTableSize=3.0
9.47/4.21
9.47/4.23 num=71, depth=7..24, filters=388004, revisions=(755452,useless=480955), ccks=480025, wck=1.752, mem=92M652
9.47/4.23 decisions=8536, wrong=3699, backtracks=1149, failedAssignments=2803, nogoods=636, foundSolutions=10, bestBound=4
9.47/4.23 nFilterCalls=204199, avgTableProportion=0.75, avgTableSize=3.0
9.47/4.23
9.47/4.26 num=72, depth=15..23, filters=402572, revisions=(782530,useless=497892), ccks=496048, wck=1.775, mem=92M652
9.47/4.26 decisions=8849, wrong=3847, backtracks=1183, failedAssignments=2922, nogoods=645, foundSolutions=10, bestBound=4
9.47/4.26 nFilterCalls=210976, avgTableProportion=0.75, avgTableSize=3.0
9.47/4.26
9.47/4.28 num=73, depth=14..22, filters=420809, revisions=(815517,useless=517843), ccks=516529, wck=1.804, mem=92M652
9.47/4.28 decisions=9204, wrong=4015, backtracks=1229, failedAssignments=3053, nogoods=666, foundSolutions=10, bestBound=4
9.47/4.28 nFilterCalls=219639, avgTableProportion=0.75, avgTableSize=3.0
9.47/4.28
9.64/4.32 num=74, depth=10..26, filters=439541, revisions=(850644,useless=539984), ccks=538071, wck=1.835, mem=92M652
9.64/4.32 decisions=9595, wrong=4201, backtracks=1278, failedAssignments=3197, nogoods=681, foundSolutions=10, bestBound=4
9.64/4.32 nFilterCalls=228753, avgTableProportion=0.75, avgTableSize=3.0
9.64/4.32
9.64/4.35 num=75, depth=11..24, filters=456747, revisions=(883287,useless=560456), ccks=559239, wck=1.865, mem=92M652
9.64/4.35 decisions=10016, wrong=4403, backtracks=1327, failedAssignments=3355, nogoods=692, foundSolutions=10, bestBound=4
9.64/4.35 nFilterCalls=237224, avgTableProportion=0.75, avgTableSize=3.0
9.64/4.35
9.64/4.38 num=76, depth=12..21, filters=478394, revisions=(922151,useless=584730), ccks=581799, wck=1.897, mem=92M652
9.64/4.38 decisions=10483, wrong=4629, backtracks=1389, failedAssignments=3529, nogoods=700, foundSolutions=10, bestBound=4
9.64/4.38 nFilterCalls=246928, avgTableProportion=0.75, avgTableSize=3.0
9.64/4.38
9.77/4.42 num=77, depth=13..26, filters=501287, revisions=(965765,useless=611776), ccks=608253, wck=1.935, mem=92M652
9.77/4.42 decisions=10958, wrong=4860, backtracks=1438, failedAssignments=3720, nogoods=701, foundSolutions=10, bestBound=4
9.77/4.42 nFilterCalls=258364, avgTableProportion=0.75, avgTableSize=3.0
9.77/4.42
9.77/4.45 num=78, depth=7..30, filters=525471, revisions=(1012923,useless=642343), ccks=636060, wck=1.973, mem=95M294
9.77/4.45 decisions=11559, wrong=5147, backtracks=1529, failedAssignments=3931, nogoods=720, foundSolutions=10, bestBound=4
9.77/4.45 nFilterCalls=270129, avgTableProportion=0.75, avgTableSize=3.0
9.77/4.45
9.77/4.49 num=79, depth=6..16, filters=548256, revisions=(1059677,useless=673428), ccks=666219, wck=2.011, mem=95M294
9.77/4.49 decisions=12153, wrong=5440, backtracks=1598, failedAssignments=4163, nogoods=738, foundSolutions=10, bestBound=4
9.77/4.49 nFilterCalls=282410, avgTableProportion=0.75, avgTableSize=3.0
9.77/4.49
9.88/4.53 num=80, depth=15..23, filters=575447, revisions=(1112550,useless=707578), ccks=698625, wck=2.054, mem=95M294
9.88/4.53 decisions=12802, wrong=5755, backtracks=1680, failedAssignments=4418, nogoods=757, foundSolutions=10, bestBound=4
9.88/4.53 nFilterCalls=295999, avgTableProportion=0.75, avgTableSize=3.0
9.88/4.53
9.88/4.59 num=81, depth=18..30, filters=608532, revisions=(1174257,useless=747654), ccks=734014, wck=2.105, mem=95M294
9.88/4.59 decisions=13566, wrong=6126, backtracks=1801, failedAssignments=4699, nogoods=767, foundSolutions=10, bestBound=4
9.88/4.59 nFilterCalls=312493, avgTableProportion=0.75, avgTableSize=3.0
9.88/4.59
9.99/4.65 num=82, depth=10..19, filters=647212, revisions=(1247347,useless=793988), ccks=781092, wck=2.166, mem=95M294
9.99/4.65 decisions=14346, wrong=6509, backtracks=1891, failedAssignments=5008, nogoods=782, foundSolutions=10, bestBound=4
9.99/4.65 nFilterCalls=333030, avgTableProportion=0.75, avgTableSize=3.0
9.99/4.65
10.09/4.71 num=83, depth=16..27, filters=688155, revisions=(1325995,useless=845677), ccks=833028, wck=2.23, mem=95M294
10.09/4.71 decisions=15221, wrong=6937, backtracks=2000, failedAssignments=5348, nogoods=802, foundSolutions=10, bestBound=4
10.09/4.71 nFilterCalls=354953, avgTableProportion=0.75, avgTableSize=3.0
10.09/4.71
10.09/4.78 num=84, depth=15..23, filters=732135, revisions=(1405999,useless=895968), ccks=882432, wck=2.297, mem=95M294
10.09/4.78 decisions=16181, wrong=7409, backtracks=2129, failedAssignments=5722, nogoods=814, foundSolutions=10, bestBound=4
10.09/4.78 nFilterCalls=376384, avgTableProportion=0.75, avgTableSize=3.0
10.09/4.78
10.21/4.84 num=85, depth=7..18, filters=767561, revisions=(1481690,useless=946038), ccks=925816, wck=2.356, mem=95M294
10.21/4.84 decisions=17246, wrong=7937, backtracks=2274, failedAssignments=6133, nogoods=832, foundSolutions=10, bestBound=4
10.21/4.84 nFilterCalls=393995, avgTableProportion=0.75, avgTableSize=3.0
10.21/4.84
10.31/4.93 num=86, depth=19..32, filters=829675, revisions=(1588775,useless=1013751), ccks=988299, wck=2.447, mem=97M937
10.31/4.93 decisions=18468, wrong=8536, backtracks=2466, failedAssignments=6585, nogoods=842, foundSolutions=10, bestBound=4
10.31/4.93 nFilterCalls=425358, avgTableProportion=0.75, avgTableSize=3.0
10.31/4.93
10.43/5.01 num=87, depth=2..13, filters=878250, revisions=(1698420,useless=1086705), ccks=1052085, wck=2.528, mem=97M937
10.43/5.01 decisions=19757, wrong=9179, backtracks=2641, failedAssignments=7082, nogoods=856, foundSolutions=10, bestBound=4
10.43/5.01 nFilterCalls=452505, avgTableProportion=0.75, avgTableSize=3.0
10.43/5.01
10.54/5.11 num=88, depth=4..36, filters=942306, revisions=(1821366,useless=1163661), ccks=1133470, wck=2.629, mem=97M937
10.54/5.11 decisions=21196, wrong=9896, backtracks=2849, failedAssignments=7629, nogoods=862, foundSolutions=10, bestBound=4
10.54/5.11 nFilterCalls=486004, avgTableProportion=0.75, avgTableSize=3.0
10.54/5.11
10.63/5.22 num=89, depth=25..34, filters=1007585, revisions=(1955355,useless=1250355), ccks=1213978, wck=2.735, mem=97M937
10.63/5.22 decisions=22773, wrong=10671, backtracks=3063, failedAssignments=8231, nogoods=886, foundSolutions=10, bestBound=4
10.63/5.22 nFilterCalls=517224, avgTableProportion=0.75, avgTableSize=3.0
10.63/5.22
10.75/5.33 num=90, depth=16..30, filters=1082643, revisions=(2095837,useless=1338817), ccks=1299597, wck=2.852, mem=97M937
10.75/5.33 decisions=24488, wrong=11519, backtracks=3307, failedAssignments=8893, nogoods=906, foundSolutions=10, bestBound=4
10.75/5.33 nFilterCalls=555299, avgTableProportion=0.75, avgTableSize=3.0
10.75/5.33
10.86/5.45 num=91, depth=8..19, filters=1162331, revisions=(2247227,useless=1434505), ccks=1388122, wck=2.974, mem=100M579
10.86/5.45 decisions=26301, wrong=12418, backtracks=3525, failedAssignments=9621, nogoods=937, foundSolutions=10, bestBound=4
10.86/5.45 nFilterCalls=595183, avgTableProportion=0.75, avgTableSize=3.0
10.86/5.45
11.06/5.60 num=92, depth=7..22, filters=1259732, revisions=(2431235,useless=1550066), ccks=1495466, wck=3.123, mem=100M579
11.06/5.60 decisions=28301, wrong=13414, backtracks=3779, failedAssignments=10422, nogoods=959, foundSolutions=10, bestBound=4
11.06/5.60 nFilterCalls=643135, avgTableProportion=0.75, avgTableSize=3.0
11.06/5.60
11.16/5.75 num=93, depth=2..17, filters=1354975, revisions=(2623918,useless=1674262), ccks=1607483, wck=3.272, mem=100M579
11.16/5.75 decisions=30712, wrong=14618, backtracks=4206, failedAssignments=11303, nogoods=968, foundSolutions=10, bestBound=4
11.16/5.75 nFilterCalls=687824, avgTableProportion=0.75, avgTableSize=3.0
11.16/5.75
11.36/5.96 num=94, depth=1..20, filters=1491899, revisions=(2871277,useless=1826761), ccks=1760196, wck=3.476, mem=103M222
11.36/5.96 decisions=33213, wrong=15865, backtracks=4589, failedAssignments=12273, nogoods=997, foundSolutions=10, bestBound=4
11.36/5.96 nFilterCalls=755825, avgTableProportion=0.75, avgTableSize=3.0
11.36/5.96
11.57/6.17 num=95, depth=5..27, filters=1633451, revisions=(3131855,useless=1988305), ccks=1919686, wck=3.685, mem=103M222
11.57/6.17 decisions=36028, wrong=17268, backtracks=5005, failedAssignments=13340, nogoods=1011, foundSolutions=10, bestBound=4
11.57/6.17 nFilterCalls=824432, avgTableProportion=0.75, avgTableSize=3.0
11.57/6.17
11.86/6.42 num=96, depth=14..23, filters=1804231, revisions=(3420642,useless=2163170), ccks=2090850, wck=3.937, mem=105M864
11.86/6.42 decisions=39068, wrong=18780, backtracks=5424, failedAssignments=14513, nogoods=1036, foundSolutions=10, bestBound=4
11.86/6.42 nFilterCalls=911887, avgTableProportion=0.75, avgTableSize=3.0
11.86/6.42
12.07/6.65 num=97, depth=0..21, filters=1951775, revisions=(3712474,useless=2351641), ccks=2276527, wck=4.171, mem=105M864
12.07/6.65 decisions=42383, wrong=20434, backtracks=5917, failedAssignments=15804, nogoods=1064, foundSolutions=10, bestBound=4
12.07/6.65 nFilterCalls=989387, avgTableProportion=0.75, avgTableSize=3.0
12.07/6.65
12.37/6.93 num=98, depth=7..25, filters=2137927, revisions=(4043260,useless=2555181), ccks=2469989, wck=4.445, mem=108M506
12.37/6.93 decisions=46060, wrong=22267, backtracks=6469, failedAssignments=17224, nogoods=1081, foundSolutions=10, bestBound=4
12.37/6.93 nFilterCalls=1081728, avgTableProportion=0.75, avgTableSize=3.0
12.37/6.93
12.67/7.22 num=99, depth=0..19, filters=2329491, revisions=(4414846,useless=2792812), ccks=2689733, wck=4.736, mem=108M506
12.67/7.22 decisions=50220, wrong=24342, backtracks=7097, failedAssignments=18786, nogoods=1104, foundSolutions=10, bestBound=4
12.67/7.22 nFilterCalls=1174651, avgTableProportion=0.75, avgTableSize=3.0
12.67/7.22
13.08/7.60 num=100, depth=11..28, filters=2594861, revisions=(4900478,useless=3101994), ccks=2970023, wck=5.12, mem=111M149
13.08/7.60 decisions=55015, wrong=26733, backtracks=8020, failedAssignments=20504, nogoods=1117, foundSolutions=10, bestBound=4
13.08/7.60 nFilterCalls=1309687, avgTableProportion=0.75, avgTableSize=3.0
13.08/7.60
13.38/7.94 num=101, depth=0..20, filters=2817143, revisions=(5330914,useless=3370387), ccks=3234493, wck=5.462, mem=113M791
13.38/7.94 decisions=59951, wrong=29199, backtracks=8813, failedAssignments=22394, nogoods=1125, foundSolutions=10, bestBound=4
13.38/7.94 nFilterCalls=1416044, avgTableProportion=0.75, avgTableSize=3.0
13.38/7.94
13.78/8.33 num=102, depth=0..26, filters=3068097, revisions=(5816323,useless=3677558), ccks=3531067, wck=5.846, mem=113M791
13.78/8.33 decisions=65474, wrong=31954, backtracks=9696, failedAssignments=24473, nogoods=1138, foundSolutions=10, bestBound=4
13.78/8.33 nFilterCalls=1536907, avgTableProportion=0.75, avgTableSize=3.0
13.78/8.33
14.08/8.70 num=103, depth=0..19, filters=3315061, revisions=(6273170,useless=3958903), ccks=3802891, wck=6.215, mem=116M434
14.08/8.70 decisions=71190, wrong=34809, backtracks=10437, failedAssignments=26760, nogoods=1158, foundSolutions=10, bestBound=4
14.08/8.70 nFilterCalls=1648927, avgTableProportion=0.75, avgTableSize=3.0
14.08/8.70
14.62/9.17 num=104, depth=3..26, filters=3632254, revisions=(6867861,useless=4331589), ccks=4160202, wck=6.689, mem=119M76
14.62/9.17 decisions=77967, wrong=38192, backtracks=11585, failedAssignments=29276, nogoods=1175, foundSolutions=10, bestBound=4
14.62/9.17 nFilterCalls=1798009, avgTableProportion=0.75, avgTableSize=3.0
14.62/9.17
15.21/9.71 num=105, depth=4..21, filters=3996192, revisions=(7559128,useless=4774818), ccks=4570073, wck=7.232, mem=121M719
15.21/9.71 decisions=85428, wrong=41919, backtracks=12859, failedAssignments=32044, nogoods=1203, foundSolutions=10, bestBound=4
15.21/9.71 nFilterCalls=1978723, avgTableProportion=0.75, avgTableSize=3.0
15.21/9.71
16.11/10.63 num=106, depth=18..32, filters=4640882, revisions=(8673823,useless=5468260), ccks=5238926, wck=8.149, mem=127M4
16.11/10.63 decisions=94128, wrong=46258, backtracks=14672, failedAssignments=35088, nogoods=1224, foundSolutions=10, bestBound=4
16.11/10.63 nFilterCalls=2313604, avgTableProportion=0.75, avgTableSize=3.0
16.11/10.63
16.81/11.30 num=107, depth=0..16, filters=5088748, revisions=(9524551,useless=6010954), ccks=5759499, wck=8.823, mem=129M646
16.81/11.30 decisions=103206, wrong=50794, backtracks=16370, failedAssignments=38437, nogoods=1245, foundSolutions=10, bestBound=4
16.81/11.30 nFilterCalls=2541150, avgTableProportion=0.75, avgTableSize=3.0
16.81/11.30
17.43/11.98 num=108, depth=3..23, filters=5527471, revisions=(10421211,useless=6603963), ccks=6278864, wck=9.496, mem=132M288
17.43/11.98 decisions=112968, wrong=55670, backtracks=17848, failedAssignments=42121, nogoods=1268, foundSolutions=10, bestBound=4
17.43/11.98 nFilterCalls=2760919, avgTableProportion=0.75, avgTableSize=3.0
17.43/11.98
18.43/12.93 num=109, depth=4..19, filters=6189457, revisions=(11645103,useless=7386790), ccks=6971142, wck=10.454, mem=137M573
18.43/12.93 decisions=124655, wrong=61508, backtracks=20100, failedAssignments=46173, nogoods=1289, foundSolutions=10, bestBound=4
18.43/12.93 nFilterCalls=3093053, avgTableProportion=0.75, avgTableSize=3.0
18.43/12.93
19.55/14.08 num=110, depth=13..24, filters=6990823, revisions=(13115942,useless=8316490), ccks=7817414, wck=11.601, mem=142M778
19.55/14.08 decisions=136861, wrong=67603, backtracks=22318, failedAssignments=50630, nogoods=1306, foundSolutions=10, bestBound=4
19.55/14.08 nFilterCalls=3501891, avgTableProportion=0.75, avgTableSize=3.0
19.55/14.08
20.50/14.97 num=111, depth=0..19, filters=7578131, revisions=(14232280,useless=9026840), ccks=8489497, wck=12.493, mem=32M947
20.50/14.97 decisions=149720, wrong=74030, backtracks=24428, failedAssignments=55533, nogoods=1321, foundSolutions=10, bestBound=4
20.50/14.97 nFilterCalls=3798997, avgTableProportion=0.75, avgTableSize=3.0
20.50/14.97
21.50/15.96 num=112, depth=3..25, filters=8248700, revisions=(15589933,useless=9935517), ccks=9256055, wck=13.479, mem=38M179
21.50/15.96 decisions=164528, wrong=81429, backtracks=26979, failedAssignments=60927, nogoods=1348, foundSolutions=10, bestBound=4
21.50/15.96 nFilterCalls=4142068, avgTableProportion=0.75, avgTableSize=3.0
21.50/15.96
22.90/17.31 num=113, depth=6..30, filters=9214066, revisions=(17374224,useless=11073074), ccks=10290296, wck=14.833, mem=46M27
22.90/17.31 decisions=181476, wrong=89898, backtracks=30248, failedAssignments=66860, nogoods=1370, foundSolutions=10, bestBound=4
22.90/17.31 nFilterCalls=4630669, avgTableProportion=0.75, avgTableSize=3.0
22.90/17.31
24.20/18.61 num=114, depth=0..17, filters=10096609, revisions=(19135306,useless=12221629), ccks=11305108, wck=16.129, mem=53M875
24.20/18.61 decisions=199547, wrong=98930, backtracks=33771, failedAssignments=73386, nogoods=1383, foundSolutions=10, bestBound=4
24.20/18.61 nFilterCalls=5081229, avgTableProportion=0.75, avgTableSize=3.0
24.20/18.61
25.50/19.92 num=115, depth=3..25, filters=10992370, revisions=(20911148,useless=13382721), ccks=12351576, wck=17.439, mem=59M106
25.50/19.92 decisions=218882, wrong=108594, backtracks=37325, failedAssignments=80565, nogoods=1405, foundSolutions=10, bestBound=4
25.50/19.92 nFilterCalls=5537014, avgTableProportion=0.75, avgTableSize=3.0
25.50/19.92
27.00/21.44 num=116, depth=0..20, filters=12049824, revisions=(22902614,useless=14652406), ccks=13547429, wck=18.958, mem=66M954
27.00/21.44 decisions=240631, wrong=119467, backtracks=41540, failedAssignments=88462, nogoods=1421, foundSolutions=10, bestBound=4
27.00/21.44 nFilterCalls=6074126, avgTableProportion=0.75, avgTableSize=3.0
27.00/21.44
28.80/23.21 num=117, depth=0..21, filters=13308168, revisions=(25199366,useless=16097059), ccks=14920125, wck=20.734, mem=77M418
28.80/23.21 decisions=264385, wrong=131342, backtracks=46454, failedAssignments=97149, nogoods=1434, foundSolutions=10, bestBound=4
28.80/23.21 nFilterCalls=6716040, avgTableProportion=0.75, avgTableSize=3.0
28.80/23.21
30.71/25.16 num=118, depth=1..20, filters=14682806, revisions=(27772319,useless=17750877), ccks=16481243, wck=22.681, mem=87M882
30.71/25.16 decisions=291598, wrong=144947, backtracks=52304, failedAssignments=106704, nogoods=1457, foundSolutions=10, bestBound=4
30.71/25.16 nFilterCalls=7419060, avgTableProportion=0.75, avgTableSize=3.0
30.71/25.16
33.00/27.41 num=119, depth=0..19, filters=16247840, revisions=(30749463,useless=19654726), ccks=18235718, wck=24.929, mem=98M346
33.00/27.41 decisions=321300, wrong=159796, backtracks=58287, failedAssignments=117215, nogoods=1481, foundSolutions=10, bestBound=4
33.00/27.41 nFilterCalls=8215027, avgTableProportion=0.75, avgTableSize=3.0
33.00/27.41
35.50/29.95 num=120, depth=0..19, filters=18013241, revisions=(34185695,useless=21892899), ccks=20192421, wck=27.465, mem=114M41
35.50/29.95 decisions=354661, wrong=176474, backtracks=65014, failedAssignments=128777, nogoods=1502, foundSolutions=10, bestBound=4
35.50/29.95 nFilterCalls=9114051, avgTableProportion=0.75, avgTableSize=3.0
35.50/29.95
38.31/32.73 num=121, depth=0..23, filters=19958214, revisions=(37854555,useless=24249586), ccks=22317706, wck=30.244, mem=127M121
38.31/32.73 decisions=391069, wrong=194675, backtracks=72537, failedAssignments=141495, nogoods=1521, foundSolutions=10, bestBound=4
38.31/32.73 nFilterCalls=10105550, avgTableProportion=0.75, avgTableSize=3.0
38.31/32.73
41.22/35.67 num=122, depth=0..21, filters=21969843, revisions=(41825253,useless=26835705), ccks=24641213, wck=33.191, mem=144M138
41.22/35.67 decisions=431031, wrong=214654, backtracks=80913, failedAssignments=155485, nogoods=1527, foundSolutions=10, bestBound=4
41.22/35.67 nFilterCalls=11135719, avgTableProportion=0.75, avgTableSize=3.0
41.22/35.67
41.32/35.77
41.32/35.77 New Bounds: 4..3
41.32/35.77 num=123, depth=0..16, filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203, wck=33.293, mem=146M754
41.32/35.77 decisions=432429, wrong=215354, backtracks=81234, failedAssignments=155947, foundSolutions=10, bestBound=4
41.32/35.77 nFilterCalls=11170368, avgTableProportion=0.75, avgTableSize=3.0
41.32/35.77
41.32/35.77 Global
41.32/35.77 filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203
41.32/35.77 Stop=FULL_EXPLORATION, wrong=215354, bestBound=4, bestBoundWck=2.043, bestBoundCpu=3.841, foundSolutions=10, firstSolCpu=2.501
41.32/35.77 wck=33.937, cpu=35.709, mem=146M754
41.32/35.77
41.32/35.77 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.32/35.78 s OPTIMUM FOUND
41.32/35.78
41.32/35.78 d WRONG_DECISIONS 215354
41.32/35.78 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 (12202 MiB free)
memory of node 1: 16384 MiB (13242 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390828-1568381729/watcher-4390828-1568381729 -o /tmp/evaluation-result-4390828-1568381729/solver-4390828-1568381729 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17199 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390828-1568381729.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17517, runsolver pid=17514
[startup+0.10015 s]*
/proc/loadavg: 1.82 1.83 1.40 5/229 17532
/proc/meminfo: memFree=26040732/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10659884 memory=27676 CPUtime=0.14 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 5435 0 0 0 13 1 0 0 20 0 15 0 414420237 10915721216 6919 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2664971 6919 2845 1 0 2627468 0
[pid=17517/tid=17519] ppid=17514 vsize=10659884 memory=-8269626465541197437 CPUtime=0.09 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) R 17514 17517 17167 0 -1 4202560 3229 0 0 0 9 0 0 0 20 0 15 0 414420238 10915721216 6985 33554432000 4194304 4196468 140720610047152 139668931702728 139668528136720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 6985 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 6985 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 6985 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 6985 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667961751200 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667960698096 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) R 17514 17517 17167 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) R 17514 17517 17167 0 -1 4202560 442 0 0 0 2 0 0 0 20 0 15 0 414420243 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667956485384 139668906376710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 6985 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27676 KiB
[startup+0.210601 s]*
/proc/loadavg: 1.82 1.83 1.40 3/229 17532
/proc/meminfo: memFree=26033476/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10659884 memory=35076 CPUtime=0.32 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 6926 0 0 0 31 1 0 0 20 0 15 0 414420237 10915721216 8769 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2664971 8769 2991 1 0 2627468 0
[pid=17517/tid=17519] ppid=17514 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) R 17514 17517 17167 0 -1 4202560 3873 0 0 0 19 0 0 0 20 0 15 0 414420238 10915721216 8769 33554432000 4194304 4196468 140720610047152 139668931713616 139668927497373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 8769 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10659884 memory=4051463969651852960 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 8769 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 8769 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 8769 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667961751200 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667960698096 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 414420243 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 504 0 0 0 3 0 0 0 20 0 15 0 414420243 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0.05 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 732 0 0 0 5 0 0 0 20 0 15 0 414420243 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 8769 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35076 KiB
[startup+0.310978 s]*
/proc/loadavg: 1.82 1.83 1.40 3/229 17532
/proc/meminfo: memFree=26025496/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10659884 memory=40204 CPUtime=0.48 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 9487 0 0 0 45 3 0 0 20 0 15 0 414420237 10915721216 10051 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2664971 10051 3003 1 0 2627468 0
[pid=17517/tid=17519] ppid=17514 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) R 17514 17517 17167 0 -1 4202560 6349 0 0 0 28 2 0 0 20 0 15 0 414420238 10915721216 10051 33554432000 4194304 4196468 140720610047152 139668931696336 139668927497373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 10051 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10659884 memory=3691175999462213280 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 10051 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 10051 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420238 10915721216 10051 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667961751200 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414420240 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667960698096 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 466 0 0 0 3 0 0 0 20 0 15 0 414420243 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 551 0 0 0 4 0 0 0 20 0 15 0 414420243 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 414420243 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10659884 memory=140516740073088 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420243 10915721216 10051 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40204 KiB
[startup+0.700869 s]
/proc/loadavg: 1.82 1.83 1.40 3/229 17532
/proc/meminfo: memFree=26017324/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10661932 memory=63464 CPUtime=1.1 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 13026 0 0 0 106 4 0 0 20 0 15 0 414420237 10917818368 15866 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2665483 15866 3071 1 0 2627980 0
[pid=17517/tid=17519] ppid=17514 vsize=10661932 memory=1436 CPUtime=0.68 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) R 17514 17517 17167 0 -1 4202560 8887 0 0 0 65 3 0 0 20 0 15 0 414420238 10917818368 15866 33554432000 4194304 4196468 140720610047152 139668931707472 139668927497373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10661932 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10917818368 15866 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10917818368 15866 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10917818368 15866 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10661932 memory=692 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420238 10917818368 15866 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10661932 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420240 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414420240 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667961751200 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414420240 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667960698096 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10661932 memory=7739276948478061671 CPUtime=0.11 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 834 0 0 0 11 0 0 0 20 0 15 0 414420243 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10661932 memory=7019257425709197167 CPUtime=0.11 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) R 17514 17517 17167 0 -1 4202560 801 0 0 0 11 0 0 0 20 0 15 0 414420243 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667957541232 139668927489311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 1145 0 0 0 18 0 0 0 20 0 15 0 414420243 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414420243 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420243 10917818368 15866 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63464 KiB
[startup+1.5008 s]
/proc/loadavg: 1.82 1.83 1.40 3/229 17532
/proc/meminfo: memFree=26001132/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10663980 memory=75440 CPUtime=2 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 17088 0 0 0 195 5 0 0 20 0 15 0 414420237 10919915520 18860 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2665995 18860 3094 1 0 2628492 0
[pid=17517/tid=17519] ppid=17514 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) R 17514 17517 17167 0 -1 4202560 11815 0 0 0 144 4 0 0 20 0 15 0 414420238 10919915520 18860 33554432000 4194304 4196468 140720610047152 139668931706504 139668910662256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10919915520 18860 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10919915520 18860 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414420238 10919915520 18860 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414420238 10919915520 18860 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414420240 10919915520 18860 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
################
# More data... #
################
[startup+34.4006 s]
/proc/loadavg: 1.91 1.85 1.42 3/230 17536
/proc/meminfo: memFree=25789136/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10748324 memory=279236 CPUtime=40.02 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 52067 0 0 0 3985 17 0 0 20 0 16 0 414420237 11006283776 69809 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2687081 69809 3374 1 0 2647217 0
[pid=17517/tid=17519] ppid=17514 vsize=10748324 memory=288230596050944315 CPUtime=1.84 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) S 17514 17517 17167 0 -1 1077944384 13772 0 0 0 179 5 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668931718320 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10748324 memory=15538522534712410 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10748324 memory=1980 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 632 0 0 0 1 1 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10748324 memory=2496 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10748324 memory=1764 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 1072 0 0 0 1 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667961751264 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10748324 memory=214357522793231 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667960698112 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10748324 memory=7822038051842261661 CPUtime=2.34 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 7582 0 0 0 233 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10748324 memory=8514726395714825349 CPUtime=2.3 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 12720 0 0 0 229 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10748324 memory=-8341965534556230502 CPUtime=0.88 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 6596 0 0 0 87 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10748324 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17533] ppid=17514 vsize=10748324 memory=2120 CPUtime=32.46 cores=1,3,5,7
/proc/17517/task/17533/stat : 17533 (java) R 17514 17517 17167 0 -1 4202560 6884 0 0 0 3244 2 0 0 20 0 16 0 414420424 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667937719232 139668536780312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 40.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279236 KiB
[startup+35.2006 s]
/proc/loadavg: 1.91 1.85 1.42 3/230 17536
/proc/meminfo: memFree=25789136/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10748324 memory=279236 CPUtime=40.82 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 52074 0 0 0 4065 17 0 0 20 0 16 0 414420237 11006283776 69809 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2687081 69809 3374 1 0 2647217 0
[pid=17517/tid=17519] ppid=17514 vsize=10748324 memory=928 CPUtime=1.84 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) S 17514 17517 17167 0 -1 1077944384 13772 0 0 0 179 5 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668931718320 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10748324 memory=645 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 632 0 0 0 1 1 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10748324 memory=5916 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10748324 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10748324 memory=1656 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10748324 memory=279180 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667961751264 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667960698112 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10748324 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10748324 memory=1124 CPUtime=2.34 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 7582 0 0 0 233 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10748324 memory=5916 CPUtime=2.3 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 12720 0 0 0 229 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10748324 memory=916 CPUtime=0.88 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 6596 0 0 0 87 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10748324 memory=279148 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10748324 memory=87 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17533] ppid=17514 vsize=10748324 memory=0 CPUtime=33.26 cores=1,3,5,7
/proc/17517/task/17533/stat : 17533 (java) R 17514 17517 17167 0 -1 4202560 6888 0 0 0 3324 2 0 0 20 0 16 0 414420424 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667937719232 139668537039260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 40.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279236 KiB
[startup+35.6006 s]
/proc/loadavg: 1.91 1.85 1.42 3/230 17536
/proc/meminfo: memFree=25789136/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10748324 memory=279236 CPUtime=41.22 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 52084 0 0 0 4105 17 0 0 20 0 16 0 414420237 11006283776 69809 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2687081 69809 3374 1 0 2647217 0
[pid=17517/tid=17519] ppid=17514 vsize=10748324 memory=279148 CPUtime=1.84 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) S 17514 17517 17167 0 -1 1077944384 13772 0 0 0 179 5 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668931718320 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10748324 memory=4164 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 632 0 0 0 1 1 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10748324 memory=1060 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10748324 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69809 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10748324 memory=3580 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10748324 memory=39512 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667961751264 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10748324 memory=2028 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667960698112 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10748324 memory=1436 CPUtime=2.34 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 7582 0 0 0 233 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10748324 memory=9592 CPUtime=2.3 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 12720 0 0 0 229 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10748324 memory=776 CPUtime=0.88 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 6596 0 0 0 87 1 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10748324 memory=281033266948560 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10748324 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17533] ppid=17514 vsize=10748324 memory=3580 CPUtime=33.65 cores=1,3,5,7
/proc/17517/task/17533/stat : 17533 (java) R 17514 17517 17167 0 -1 4202560 6890 0 0 0 3363 2 0 0 20 0 16 0 414420424 11006283776 69809 33554432000 4194304 4196468 140720610047152 139667937719232 139668536782940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 41.22 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279236 KiB
[startup+35.7006 s]
/proc/loadavg: 1.91 1.85 1.42 3/230 17536
/proc/meminfo: memFree=25789136/32770624 swapFree=66927232/67108860
[pid=17517] ppid=17514 vsize=10748324 memory=279240 CPUtime=41.32 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 17167 0 -1 1077944320 52314 0 0 0 4115 17 0 0 20 0 16 0 414420237 11006283776 69810 33554432000 4194304 4196468 140720610047152 140720610029696 139668927475447 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
/proc/17517/statm: 2687081 69810 3374 1 0 2647217 0
[pid=17517/tid=17519] ppid=17514 vsize=10748324 memory=33 CPUtime=1.84 cores=1,3,5,7
/proc/17517/task/17519/stat : 17519 (java) S 17514 17517 17167 0 -1 1077944384 13772 0 0 0 179 5 0 0 20 0 16 0 414420238 11006283776 69810 33554432000 4194304 4196468 140720610047152 139668931718320 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17520] ppid=17514 vsize=10748324 memory=279236 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17520/stat : 17520 (java) S 17514 17517 17167 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 16 0 414420238 11006283776 69810 33554432000 4194304 4196468 140720610047152 139668853549584 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17521] ppid=17514 vsize=10748324 memory=279236 CPUtime=0.02 cores=1,3,5,7
/proc/17517/task/17521/stat : 17521 (java) S 17514 17517 17167 0 -1 1077944384 632 0 0 0 1 1 0 0 20 0 16 0 414420238 11006283776 69810 33554432000 4194304 4196468 140720610047152 139668852497040 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17522] ppid=17514 vsize=10748324 memory=279128 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17522/stat : 17522 (java) S 17514 17517 17167 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69810 33554432000 4194304 4196468 140720610047152 139668851443984 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17523] ppid=17514 vsize=10748324 memory=279236 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17523/stat : 17523 (java) S 17514 17517 17167 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 16 0 414420238 11006283776 69810 33554432000 4194304 4196468 140720610047152 139668850391440 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17524] ppid=17514 vsize=10748324 memory=279236 CPUtime=0.01 cores=1,3,5,7
/proc/17517/task/17524/stat : 17524 (java) S 17514 17517 17167 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 16 0 414420240 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667962804976 139668927486594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17525] ppid=17514 vsize=10748324 memory=5916 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17525/stat : 17525 (java) S 17514 17517 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667961751264 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17526] ppid=17514 vsize=10748324 memory=916 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17526/stat : 17526 (java) S 17514 17517 17167 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414420240 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667960698112 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17527] ppid=17514 vsize=10748324 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17527/stat : 17527 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667959646672 139668927494043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17528] ppid=17514 vsize=10748324 memory=3580 CPUtime=2.34 cores=1,3,5,7
/proc/17517/task/17528/stat : 17528 (java) S 17514 17517 17167 0 -1 1077944384 7583 0 0 0 233 1 0 0 20 0 16 0 414420243 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667958593776 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17529] ppid=17514 vsize=10748324 memory=39512 CPUtime=2.31 cores=1,3,5,7
/proc/17517/task/17529/stat : 17529 (java) S 17514 17517 17167 0 -1 1077944384 12720 0 0 0 230 1 0 0 20 0 16 0 414420243 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667957541232 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17530] ppid=17514 vsize=10748324 memory=279128 CPUtime=0.88 cores=1,3,5,7
/proc/17517/task/17530/stat : 17530 (java) S 17514 17517 17167 0 -1 1077944384 6684 0 0 0 87 1 0 0 20 0 16 0 414420243 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667956488176 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17531] ppid=17514 vsize=10748324 memory=279236 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17531/stat : 17531 (java) S 17514 17517 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667955435872 139668927485653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17532] ppid=17514 vsize=10748324 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/17517/task/17532/stat : 17532 (java) S 17514 17517 17167 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 16 0 414420243 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667954383920 139668927486594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
[pid=17517/tid=17533] ppid=17514 vsize=10748324 memory=528 CPUtime=33.75 cores=1,3,5,7
/proc/17517/task/17533/stat : 17533 (java) R 17514 17517 17167 0 -1 4202560 7031 0 0 0 3373 2 0 0 20 0 16 0 414420424 11006283776 69810 33554432000 4194304 4196468 140720610047152 139667937719232 139668537162160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140720610051083 140720610051186 140720610051186 140720610054095 0
Current children cumulated CPU time: 41.32 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279240 KiB
Child status: 0
Real time (s): 35.7883
CPU time (s): 41.4217
CPU user time (s): 41.2342
CPU system time (s): 0.187441
CPU usage (%): 115.741
Max. virtual memory (cumulated for all children) (KiB): 10750908
Max. memory (cumulated for all children) (KiB): 289644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.2342
system time used= 0.187441
maximum resident set size= 289644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53441
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= 4163
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 17517
# total CPU time (s): 41.4217
# total CPU user time (s): 41.2342
# total CPU system time (s): 0.187441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.25271 second user time and 0.345509 second system time
The end