2.39/1.89
2.39/1.89 AbsCon 2
2.64/1.91
3.18/2.11 Instance
3.18/2.11 name=instance-4391110-1568389737, framework=COP, bounds=-infty..+infty
3.18/2.11
3.18/2.11 Loading variables...
3.18/2.14 Loading constraints...
3.76/2.38
3.76/2.38 Domains
3.76/2.38 nTypes=42, nValues=1117, sizes=[3#7,4#10,5#3,11#3...14#2,15#4,19#20,20#20]
3.76/2.38 Variables
3.76/2.38 count=80, degrees=[2#40,21#20,22#19,23#1]
3.76/2.38 Objectives
3.76/2.38 way=min, type=SumSimpleLE
3.76/2.38 Constraints
3.76/2.38 count=443, nSpecific=2, arities=[1#1,2#440,20#1,40#1]
3.76/2.38 distribution=[Circuit#1,CtrExtensionV-Bits#40,CtrIntension#401,SumSimpleLE#1]
3.76/2.38 nExtStructures=(40,shared:0), nIntStructures=(21,shared:380), nCftStructures=(60,shared:380,unbuilt:3)
3.76/2.38 wck=0.516, cpu=2.336, mem=47M651
3.76/2.38 Solver SolverBacktrack being built...
3.76/2.38
4.15/2.41
4.15/2.41 Solver
4.15/2.41 guaranteedGAC=false
4.15/2.41 wck=0.544, cpu=2.362, mem=58M294
4.15/2.41
4.15/2.41 Preprocessing
4.15/2.41 filters=22, revisions=(42,useless=20), ccks=7603, nACremovedValues=320, nTotalRemovedValues=320, inconcistency=false
4.15/2.41 wck=0.007, cpu=2.37, mem=58M294
4.15/2.41
4.15/2.43 o 237
4.15/2.43 num=0, depth=81..79, filters=668, revisions=(914,useless=263), ccks=8447, wck=0.028, mem=58M294
4.15/2.43 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=237
4.15/2.43
4.15/2.45 o 236
4.15/2.45 num=1, depth=81..79, filters=1052, revisions=(1818,useless=798), ccks=9293, wck=0.05, mem=60M936
4.15/2.45 decisions=41, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=236
4.15/2.45
4.15/2.47 o 235
4.15/2.47 num=2, depth=81..79, filters=1438, revisions=(2712,useless=1321), ccks=9957, wck=0.056, mem=60M936
4.15/2.47 decisions=66, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=235
4.15/2.47
4.15/2.47 o 234
4.15/2.47 num=3, depth=81..79, filters=1817, revisions=(3620,useless=1864), ccks=10595, wck=0.063, mem=60M936
4.15/2.47 decisions=89, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=234
4.15/2.47
4.15/2.47 o 233
4.15/2.47 num=4, depth=81..79, filters=2224, revisions=(4524,useless=2378), ccks=11236, wck=0.07, mem=60M936
4.15/2.47 decisions=115, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=5, bestBound=233
4.15/2.47
4.15/2.48 o 232
4.15/2.48 num=5, depth=81..79, filters=2632, revisions=(5423,useless=2888), ccks=11875, wck=0.075, mem=60M936
4.15/2.48 decisions=142, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=6, bestBound=232
4.15/2.48
4.15/2.49 o 231
4.15/2.49 num=6, depth=81..79, filters=3045, revisions=(6332,useless=3402), ccks=12513, wck=0.081, mem=60M936
4.15/2.49 decisions=168, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=7, bestBound=231
4.15/2.49
4.15/2.49 o 229
4.15/2.49 num=7, depth=81..79, filters=3453, revisions=(7216,useless=3895), ccks=13152, wck=0.086, mem=60M936
4.15/2.49 decisions=197, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=8, bestBound=229
4.15/2.49
4.15/2.49 o 228
4.15/2.49 num=8, depth=81..79, filters=3867, revisions=(8134,useless=4417), ccks=13790, wck=0.091, mem=60M936
4.15/2.49 decisions=222, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=9, bestBound=228
4.15/2.49
4.49/2.50 o 227
4.49/2.50 num=9, depth=81..79, filters=4273, revisions=(9041,useless=4936), ccks=14429, wck=0.096, mem=60M936
4.49/2.50 decisions=248, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=10, bestBound=227
4.49/2.50
4.49/2.50 o 226
4.49/2.50 num=10, depth=81..79, filters=4682, revisions=(9964,useless=5467), ccks=15067, wck=0.101, mem=60M936
4.49/2.50 decisions=272, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=11, bestBound=226
4.49/2.50
4.49/2.51 o 225
4.49/2.51 num=11, depth=81..79, filters=5090, revisions=(10882,useless=5994), ccks=15706, wck=0.106, mem=60M936
4.49/2.51 decisions=297, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=12, bestBound=225
4.49/2.51
4.49/2.51 o 224
4.49/2.51 num=12, depth=81..79, filters=5495, revisions=(11810,useless=6533), ccks=16344, wck=0.11, mem=60M936
4.49/2.51 decisions=320, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=13, bestBound=224
4.49/2.51
4.49/2.52 o 223
4.49/2.52 num=13, depth=81..79, filters=5896, revisions=(12738,useless=7076), ccks=16983, wck=0.115, mem=60M936
4.49/2.52 decisions=343, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=14, bestBound=223
4.49/2.52
4.49/2.52 o 222
4.49/2.52 num=14, depth=81..79, filters=6296, revisions=(13653,useless=7607), ccks=17622, wck=0.119, mem=60M936
4.49/2.52 decisions=367, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=15, bestBound=222
4.49/2.52
4.49/2.52 o 221
4.49/2.52 num=15, depth=81..79, filters=6691, revisions=(14584,useless=8158), ccks=18260, wck=0.123, mem=60M936
4.49/2.52 decisions=389, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=16, bestBound=221
4.49/2.52
4.49/2.53 o 220
4.49/2.53 num=16, depth=81..79, filters=7098, revisions=(15506,useless=8689), ccks=18900, wck=0.126, mem=60M936
4.49/2.53 decisions=413, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=17, bestBound=220
4.49/2.53
4.49/2.53 o 219
4.49/2.53 num=17, depth=81..79, filters=7496, revisions=(16415,useless=9216), ccks=19539, wck=0.13, mem=60M936
4.49/2.53 decisions=438, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=18, bestBound=219
4.49/2.53
4.49/2.54 o 218
4.49/2.54 num=18, depth=81..79, filters=7893, revisions=(17336,useless=9755), ccks=20177, wck=0.134, mem=60M936
4.49/2.54 decisions=461, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=19, bestBound=218
4.49/2.54
4.49/2.54 o 217
4.49/2.54 num=19, depth=81..79, filters=8289, revisions=(18267,useless=10306), ccks=20816, wck=0.137, mem=60M936
4.49/2.54 decisions=483, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=20, bestBound=217
4.49/2.54
4.49/2.54 o 216
4.49/2.54 num=20, depth=81..79, filters=8685, revisions=(19186,useless=10845), ccks=21455, wck=0.141, mem=60M936
4.49/2.54 decisions=506, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=21, bestBound=216
4.49/2.54
4.49/2.55 o 215
4.49/2.55 num=21, depth=81..79, filters=9076, revisions=(20121,useless=11404), ccks=22093, wck=0.144, mem=60M936
4.49/2.55 decisions=527, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=22, bestBound=215
4.49/2.55
4.49/2.55 o 214
4.49/2.55 num=22, depth=81..79, filters=9473, revisions=(21042,useless=11943), ccks=22732, wck=0.148, mem=60M936
4.49/2.55 decisions=550, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=23, bestBound=214
4.49/2.55
4.49/2.55 o 213
4.49/2.55 num=23, depth=81..79, filters=9864, revisions=(21977,useless=12502), ccks=23371, wck=0.151, mem=60M936
4.49/2.55 decisions=571, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=24, bestBound=213
4.49/2.55
4.49/2.56 o 212
4.49/2.56 num=24, depth=81..79, filters=10257, revisions=(22901,useless=13049), ccks=24010, wck=0.155, mem=60M936
4.49/2.56 decisions=593, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=25, bestBound=212
4.49/2.56
4.49/2.56 o 211
4.49/2.56 num=25, depth=81..79, filters=10645, revisions=(23840,useless=13616), ccks=24648, wck=0.159, mem=60M936
4.49/2.56 decisions=613, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=26, bestBound=211
4.49/2.56
4.49/2.56 o 210
4.49/2.56 num=26, depth=81..79, filters=11052, revisions=(24785,useless=14171), ccks=25287, wck=0.162, mem=60M936
4.49/2.56 decisions=634, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=27, bestBound=210
4.49/2.56
4.49/2.57 o 209
4.49/2.57 num=27, depth=81..79, filters=11454, revisions=(25721,useless=14722), ccks=25926, wck=0.166, mem=63M579
4.49/2.57 decisions=656, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=28, bestBound=209
4.49/2.57
4.49/2.57 o 208
4.49/2.57 num=28, depth=81..79, filters=11862, revisions=(26676,useless=15285), ccks=26564, wck=0.169, mem=63M579
4.49/2.57 decisions=676, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=29, bestBound=208
4.49/2.57
4.49/2.57 o 207
4.49/2.57 num=29, depth=81..79, filters=12271, revisions=(27627,useless=15844), ccks=27203, wck=0.173, mem=63M579
4.49/2.57 decisions=697, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=30, bestBound=207
4.49/2.57
4.49/2.58 o 206
4.49/2.58 num=30, depth=81..79, filters=12683, revisions=(28569,useless=16391), ccks=27842, wck=0.176, mem=63M579
4.49/2.58 decisions=719, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=31, bestBound=206
4.49/2.58
4.49/2.58 o 205
4.49/2.58 num=31, depth=81..79, filters=13089, revisions=(29526,useless=16958), ccks=28480, wck=0.179, mem=63M579
4.49/2.58 decisions=739, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=32, bestBound=205
4.49/2.58
4.49/2.58 o 204
4.49/2.58 num=32, depth=81..79, filters=13498, revisions=(30482,useless=17521), ccks=29119, wck=0.183, mem=63M579
4.49/2.58 decisions=759, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=33, bestBound=204
4.49/2.58
4.49/2.59 o 203
4.49/2.59 num=33, depth=81..79, filters=13907, revisions=(31425,useless=18072), ccks=29758, wck=0.186, mem=63M579
4.49/2.59 decisions=781, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=34, bestBound=203
4.49/2.59
4.49/2.59 o 202
4.49/2.59 num=34, depth=81..79, filters=14319, revisions=(32383,useless=18635), ccks=30397, wck=0.189, mem=63M579
4.49/2.59 decisions=801, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=35, bestBound=202
4.49/2.59
4.49/2.59 o 201
4.49/2.59 num=35, depth=81..79, filters=14730, revisions=(33336,useless=19194), ccks=31036, wck=0.192, mem=63M579
4.49/2.59 decisions=822, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=36, bestBound=201
4.49/2.59
4.49/2.60 o 200
4.80/2.60 num=36, depth=81..79, filters=15141, revisions=(34302,useless=19765), ccks=31674, wck=0.196, mem=63M579
4.80/2.60 decisions=841, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=37, bestBound=200
4.80/2.60
4.80/2.60 o 199
4.80/2.60 num=37, depth=81..79, filters=15557, revisions=(35268,useless=20332), ccks=32313, wck=0.199, mem=63M579
4.80/2.60 decisions=861, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=38, bestBound=199
4.80/2.60
4.80/2.60 o 198
4.80/2.60 num=38, depth=81..79, filters=15970, revisions=(36219,useless=20887), ccks=32952, wck=0.202, mem=63M579
4.80/2.60 decisions=882, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=39, bestBound=198
4.80/2.60
4.80/2.61 o 197
4.80/2.61 num=39, depth=81..79, filters=16375, revisions=(37183,useless=21462), ccks=33590, wck=0.205, mem=63M579
4.80/2.61 decisions=901, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=40, bestBound=197
4.80/2.61
4.80/2.61 o 196
4.80/2.61 num=40, depth=81..79, filters=16779, revisions=(38142,useless=22033), ccks=34228, wck=0.207, mem=63M579
4.80/2.61 decisions=920, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=41, bestBound=196
4.80/2.61
4.80/2.61 o 195
4.80/2.61 num=41, depth=81..79, filters=17173, revisions=(39104,useless=22616), ccks=34866, wck=0.21, mem=63M579
4.80/2.61 decisions=938, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=42, bestBound=195
4.80/2.61
4.80/2.61 o 194
4.80/2.61 num=42, depth=81..79, filters=17564, revisions=(40061,useless=23196), ccks=35504, wck=0.212, mem=63M579
4.80/2.61 decisions=956, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=43, bestBound=194
4.80/2.61
4.80/2.62 o 193
4.80/2.62 num=43, depth=81..79, filters=17964, revisions=(41020,useless=23771), ccks=36144, wck=0.215, mem=63M579
4.80/2.62 decisions=975, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=44, bestBound=193
4.80/2.62
4.80/2.62 o 192
4.80/2.62 num=44, depth=81..79, filters=18361, revisions=(41981,useless=24350), ccks=36782, wck=0.217, mem=63M579
4.80/2.62 decisions=993, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=45, bestBound=192
4.80/2.62
4.80/2.62 o 191
4.80/2.62 num=45, depth=81..79, filters=18747, revisions=(42937,useless=24934), ccks=37420, wck=0.219, mem=63M579
4.80/2.62 decisions=1011, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=46, bestBound=191
4.80/2.62
4.80/2.62 o 190
4.80/2.62 num=46, depth=81..79, filters=19143, revisions=(43880,useless=25497), ccks=38061, wck=0.221, mem=63M579
4.80/2.62 decisions=1031, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=47, bestBound=190
4.80/2.62
4.80/2.63 o 189
4.80/2.63 num=47, depth=81..79, filters=19536, revisions=(44840,useless=26080), ccks=38699, wck=0.224, mem=63M579
4.80/2.63 decisions=1049, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=48, bestBound=189
4.80/2.63
4.80/2.63 o 188
4.80/2.63 num=48, depth=81..79, filters=19925, revisions=(45796,useless=26660), ccks=39337, wck=0.226, mem=63M579
4.80/2.63 decisions=1067, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=49, bestBound=188
4.80/2.63
4.80/2.63 o 187
4.80/2.63 num=49, depth=81..79, filters=20310, revisions=(46761,useless=27251), ccks=39975, wck=0.228, mem=63M579
4.80/2.63 decisions=1084, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=50, bestBound=187
4.80/2.63
4.80/2.63 o 186
4.80/2.63 num=50, depth=81..79, filters=20693, revisions=(47725,useless=27839), ccks=40613, wck=0.23, mem=63M579
4.80/2.63 decisions=1101, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=51, bestBound=186
4.80/2.63
4.80/2.63 o 185
4.80/2.63 num=51, depth=81..79, filters=21084, revisions=(48700,useless=28430), ccks=41252, wck=0.233, mem=63M579
4.80/2.63 decisions=1118, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=52, bestBound=185
4.80/2.63
4.80/2.64 o 184
4.80/2.64 num=52, depth=81..79, filters=21472, revisions=(49674,useless=29020), ccks=41889, wck=0.235, mem=63M579
4.80/2.64 decisions=1135, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=53, bestBound=184
4.80/2.64
4.80/2.64 o 183
4.80/2.64 num=53, depth=81..79, filters=21877, revisions=(50648,useless=29596), ccks=42530, wck=0.237, mem=66M222
4.80/2.64 decisions=1154, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=54, bestBound=183
4.80/2.64
4.80/2.64 o 182
4.80/2.64 num=54, depth=81..79, filters=22285, revisions=(51625,useless=30174), ccks=43165, wck=0.239, mem=66M222
4.80/2.64 decisions=1173, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=55, bestBound=182
4.80/2.64
4.80/2.64 o 181
4.80/2.64 num=55, depth=81..79, filters=22669, revisions=(52614,useless=30780), ccks=43821, wck=0.241, mem=66M222
4.80/2.64 decisions=1190, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=56, bestBound=181
4.80/2.64
4.80/2.64 o 180
4.80/2.64 num=56, depth=81..79, filters=23062, revisions=(53611,useless=31386), ccks=44460, wck=0.243, mem=66M222
4.80/2.64 decisions=1207, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=57, bestBound=180
4.80/2.64
4.80/2.65 o 179
4.80/2.65 num=57, depth=81..79, filters=23460, revisions=(54611,useless=31990), ccks=45102, wck=0.245, mem=66M222
4.80/2.65 decisions=1225, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=58, bestBound=179
4.80/2.65
4.80/2.65 o 178
4.80/2.65 num=58, depth=81..79, filters=23858, revisions=(55611,useless=32595), ccks=45741, wck=0.247, mem=66M222
4.80/2.65 decisions=1242, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=59, bestBound=178
4.80/2.65
4.80/2.65 o 177
4.80/2.65 num=59, depth=81..79, filters=24240, revisions=(56600,useless=33203), ccks=46380, wck=0.249, mem=66M222
4.80/2.65 decisions=1259, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=60, bestBound=177
4.80/2.65
4.80/2.65 o 176
4.80/2.65 num=60, depth=81..79, filters=24634, revisions=(57577,useless=33794), ccks=47024, wck=0.251, mem=66M222
4.80/2.65 decisions=1278, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=61, bestBound=176
4.80/2.65
4.80/2.65 o 175
4.80/2.66 num=61, depth=81..79, filters=25011, revisions=(58588,useless=34432), ccks=47681, wck=0.253, mem=66M222
4.80/2.66 decisions=1294, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=62, bestBound=175
4.80/2.66
4.80/2.66 o 174
4.80/2.66 num=62, depth=81..79, filters=25386, revisions=(59598,useless=35073), ccks=48320, wck=0.255, mem=66M222
4.80/2.66 decisions=1310, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=63, bestBound=174
4.80/2.66
4.80/2.66 o 173
4.80/2.66 num=63, depth=81..79, filters=25751, revisions=(60603,useless=35721), ccks=48960, wck=0.257, mem=66M222
4.80/2.66 decisions=1325, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=64, bestBound=173
4.80/2.66
4.80/2.66 o 172
4.80/2.66 num=64, depth=81..79, filters=26103, revisions=(61596,useless=36373), ccks=49600, wck=0.259, mem=66M222
4.80/2.66 decisions=1340, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=65, bestBound=172
4.80/2.66
4.80/2.66 o 171
4.80/2.67 num=65, depth=9..79, filters=26626, revisions=(63041,useless=37312), ccks=50412, wck=0.264, mem=66M222
4.80/2.67 decisions=1362, wrong=2, backtracks=1, failedAssignments=1, nogoods=1, foundSolutions=66, bestBound=171
4.80/2.67
4.80/2.68 num=66, depth=5..9, filters=27426, revisions=(64961,useless=38465), ccks=51536, wck=0.269, mem=66M222
4.80/2.68 decisions=1407, wrong=22, backtracks=12, failedAssignments=12, nogoods=5, foundSolutions=66, bestBound=171
4.80/2.68
4.80/2.68 o 170
4.80/2.68 num=67, depth=4..79, filters=27735, revisions=(66088,useless=39297), ccks=52449, wck=0.273, mem=66M222
4.80/2.68 decisions=1423, wrong=24, backtracks=12, failedAssignments=14, nogoods=7, foundSolutions=67, bestBound=170
4.80/2.68
4.80/2.68 num=68, depth=3..8, filters=28732, revisions=(69272,useless=41557), ccks=53965, wck=0.278, mem=66M222
4.80/2.68 decisions=1466, wrong=44, backtracks=23, failedAssignments=26, nogoods=10, foundSolutions=67, bestBound=170
4.80/2.68
4.80/2.68 num=69, depth=4..10, filters=29373, revisions=(70884,useless=42576), ccks=54975, wck=0.281, mem=66M222
4.80/2.68 decisions=1500, wrong=58, backtracks=27, failedAssignments=37, nogoods=17, foundSolutions=67, bestBound=170
4.80/2.68
4.80/2.69 num=70, depth=4..11, filters=30727, revisions=(74161,useless=44591), ccks=56790, wck=0.288, mem=66M222
4.80/2.69 decisions=1558, wrong=85, backtracks=44, failedAssignments=49, nogoods=22, foundSolutions=67, bestBound=170
4.80/2.69
4.80/2.69 num=71, depth=2..6, filters=31392, revisions=(76215,useless=46044), ccks=58076, wck=0.292, mem=66M222
4.80/2.69 decisions=1599, wrong=104, backtracks=52, failedAssignments=62, nogoods=27, foundSolutions=67, bestBound=170
4.80/2.69
4.80/2.70 o 169
5.13/2.70 num=72, depth=1..79, filters=31793, revisions=(77496,useless=46944), ccks=58929, wck=0.295, mem=66M222
5.13/2.70 decisions=1629, wrong=111, backtracks=54, failedAssignments=67, nogoods=32, foundSolutions=68, bestBound=169
5.13/2.70
5.13/2.70 num=73, depth=2..9, filters=32969, revisions=(81026,useless=49402), ccks=60750, wck=0.302, mem=66M222
5.13/2.70 decisions=1696, wrong=143, backtracks=75, failedAssignments=83, nogoods=34, foundSolutions=68, bestBound=169
5.13/2.70
5.13/2.71 num=74, depth=2..8, filters=33718, revisions=(83100,useless=50783), ccks=61877, wck=0.306, mem=66M222
5.13/2.71 decisions=1729, wrong=157, backtracks=81, failedAssignments=94, nogoods=43, foundSolutions=68, bestBound=169
5.13/2.71
5.13/2.71 num=75, depth=3..9, filters=34616, revisions=(85885,useless=52751), ccks=63326, wck=0.312, mem=66M222
5.13/2.71 decisions=1784, wrong=181, backtracks=98, failedAssignments=106, nogoods=46, foundSolutions=68, bestBound=169
5.13/2.71
5.13/2.72 o 168
5.13/2.72 num=76, depth=4..79, filters=35064, revisions=(87325,useless=53754), ccks=64396, wck=0.315, mem=66M222
5.13/2.72 decisions=1799, wrong=184, backtracks=98, failedAssignments=109, nogoods=49, foundSolutions=69, bestBound=168
5.13/2.72
5.13/2.72 o 167
5.13/2.72 num=77, depth=4..79, filters=35589, revisions=(89013,useless=54948), ccks=65595, wck=0.319, mem=66M222
5.13/2.72 decisions=1834, wrong=194, backtracks=101, failedAssignments=117, nogoods=57, foundSolutions=70, bestBound=167
5.13/2.72
5.13/2.72 o 164
5.13/2.72 num=78, depth=4..79, filters=36139, revisions=(90659,useless=56070), ccks=66631, wck=0.323, mem=66M222
5.13/2.72 decisions=1871, wrong=201, backtracks=104, failedAssignments=122, nogoods=62, foundSolutions=71, bestBound=164
5.13/2.72
5.13/2.73 o 163
5.13/2.73 num=79, depth=5..79, filters=36438, revisions=(91827,useless=56954), ccks=67277, wck=0.326, mem=66M222
5.13/2.73 decisions=1887, wrong=203, backtracks=104, failedAssignments=124, nogoods=64, foundSolutions=72, bestBound=163
5.13/2.73
5.13/2.73 o 162
5.13/2.73 num=80, depth=7..79, filters=37003, revisions=(93484,useless=58058), ccks=68123, wck=0.329, mem=66M222
5.13/2.73 decisions=1906, wrong=205, backtracks=105, failedAssignments=125, nogoods=65, foundSolutions=73, bestBound=162
5.13/2.73
5.13/2.74 o 161
5.13/2.74 num=81, depth=7..79, filters=37546, revisions=(95027,useless=59070), ccks=68977, wck=0.333, mem=66M222
5.13/2.74 decisions=1924, wrong=207, backtracks=106, failedAssignments=126, nogoods=66, foundSolutions=74, bestBound=161
5.13/2.74
5.13/2.74 o 160
5.13/2.74 num=82, depth=81..79, filters=37846, revisions=(96079,useless=59828), ccks=69587, wck=0.335, mem=66M222
5.13/2.74 decisions=1938, wrong=207, backtracks=106, failedAssignments=126, nogoods=66, foundSolutions=75, bestBound=160
5.13/2.74
5.13/2.74 o 159
5.13/2.74 num=83, depth=6..79, filters=38233, revisions=(97418,useless=60789), ccks=70315, wck=0.338, mem=66M222
5.13/2.74 decisions=1956, wrong=210, backtracks=106, failedAssignments=129, nogoods=69, foundSolutions=76, bestBound=159
5.13/2.74
5.13/2.74 o 158
5.13/2.74 num=84, depth=4..79, filters=38612, revisions=(98703,useless=61716), ccks=71012, wck=0.341, mem=66M222
5.13/2.74 decisions=1976, wrong=214, backtracks=106, failedAssignments=133, nogoods=73, foundSolutions=77, bestBound=158
5.13/2.74
5.13/2.75 o 157
5.13/2.75 num=85, depth=4..79, filters=38965, revisions=(99993,useless=62660), ccks=71691, wck=0.344, mem=66M222
5.13/2.75 decisions=1991, wrong=216, backtracks=106, failedAssignments=135, nogoods=75, foundSolutions=78, bestBound=157
5.13/2.75
5.13/2.75 o 156
5.13/2.75 num=86, depth=81..79, filters=39248, revisions=(101091,useless=63480), ccks=72296, wck=0.347, mem=66M222
5.13/2.75 decisions=2002, wrong=216, backtracks=106, failedAssignments=135, nogoods=75, foundSolutions=79, bestBound=156
5.13/2.75
5.13/2.75 num=87, depth=4..10, filters=40133, revisions=(103369,useless=64919), ccks=73231, wck=0.351, mem=66M222
5.13/2.75 decisions=2041, wrong=233, backtracks=116, failedAssignments=146, nogoods=81, foundSolutions=79, bestBound=156
5.13/2.75
5.13/2.76 o 155
5.13/2.76 num=88, depth=1..79, filters=41065, revisions=(105854,useless=66500), ccks=74836, wck=0.356, mem=68M865
5.13/2.76 decisions=2073, wrong=243, backtracks=121, failedAssignments=153, nogoods=84, foundSolutions=80, bestBound=155
5.13/2.76
5.13/2.76 num=89, depth=2..8, filters=41706, revisions=(107854,useless=67925), ccks=75744, wck=0.359, mem=68M865
5.13/2.76 decisions=2109, wrong=260, backtracks=133, failedAssignments=165, nogoods=85, foundSolutions=80, bestBound=155
5.13/2.76
5.13/2.76 num=90, depth=1..6, filters=42480, revisions=(110038,useless=69391), ccks=76934, wck=0.362, mem=68M865
5.13/2.76 decisions=2141, wrong=275, backtracks=143, failedAssignments=176, nogoods=87, foundSolutions=80, bestBound=155
5.13/2.76
5.13/2.77 o 154
5.13/2.77 num=91, depth=5..79, filters=42799, revisions=(111208,useless=70258), ccks=77706, wck=0.364, mem=68M865
5.13/2.77 decisions=2156, wrong=276, backtracks=143, failedAssignments=177, nogoods=88, foundSolutions=81, bestBound=154
5.13/2.77
5.13/2.77 num=92, depth=3..8, filters=43442, revisions=(113374,useless=71844), ccks=78965, wck=0.368, mem=68M865
5.13/2.77 decisions=2198, wrong=295, backtracks=153, failedAssignments=190, nogoods=92, foundSolutions=81, bestBound=154
5.13/2.77
5.13/2.77 num=93, depth=3..7, filters=44328, revisions=(115636,useless=73268), ccks=80392, wck=0.371, mem=68M865
5.13/2.77 decisions=2227, wrong=308, backtracks=162, failedAssignments=201, nogoods=94, foundSolutions=81, bestBound=154
5.13/2.77
5.13/2.78 num=94, depth=2..6, filters=45328, revisions=(117712,useless=74391), ccks=81500, wck=0.374, mem=68M865
5.13/2.78 decisions=2258, wrong=322, backtracks=169, failedAssignments=213, nogoods=102, foundSolutions=81, bestBound=154
5.13/2.78
5.13/2.78 o 153
5.13/2.78 num=95, depth=2..79, filters=45880, revisions=(119469,useless=75607), ccks=82606, wck=0.377, mem=68M865
5.13/2.78 decisions=2283, wrong=329, backtracks=173, failedAssignments=218, nogoods=105, foundSolutions=82, bestBound=153
5.13/2.78
5.13/2.78 num=96, depth=2..10, filters=46736, revisions=(122465,useless=77821), ccks=84064, wck=0.381, mem=68M865
5.13/2.78 decisions=2326, wrong=349, backtracks=190, failedAssignments=232, nogoods=108, foundSolutions=82, bestBound=153
5.13/2.78
5.13/2.79 o 152
5.13/2.79 num=97, depth=4..79, filters=47458, revisions=(124574,useless=79233), ccks=85506, wck=0.384, mem=68M865
5.13/2.79 decisions=2353, wrong=356, backtracks=193, failedAssignments=239, nogoods=111, foundSolutions=83, bestBound=152
5.13/2.79
5.13/2.79 num=98, depth=1..5, filters=48232, revisions=(126857,useless=80810), ccks=86881, wck=0.387, mem=68M865
5.13/2.79 decisions=2392, wrong=374, backtracks=201, failedAssignments=251, nogoods=116, foundSolutions=83, bestBound=152
5.13/2.79
5.13/2.79 num=99, depth=2..7, filters=48638, revisions=(128294,useless=81890), ccks=87706, wck=0.389, mem=68M865
5.13/2.79 decisions=2424, wrong=389, backtracks=211, failedAssignments=262, nogoods=118, foundSolutions=83, bestBound=152
5.13/2.79
5.13/2.79 o 151
5.13/2.79 num=100, depth=4..79, filters=49080, revisions=(129563,useless=82726), ccks=88562, wck=0.392, mem=68M865
5.13/2.79 decisions=2448, wrong=394, backtracks=212, failedAssignments=266, nogoods=122, foundSolutions=84, bestBound=151
5.13/2.79
5.13/2.80 o 150
5.13/2.80 num=101, depth=2..79, filters=49576, revisions=(131012,useless=83696), ccks=89506, wck=0.394, mem=68M865
5.13/2.80 decisions=2465, wrong=396, backtracks=212, failedAssignments=268, nogoods=124, foundSolutions=85, bestBound=150
5.13/2.80
5.45/2.80 num=102, depth=4..8, filters=50423, revisions=(133131,useless=85017), ccks=90859, wck=0.397, mem=68M865
5.45/2.80 decisions=2499, wrong=411, backtracks=223, failedAssignments=279, nogoods=129, foundSolutions=85, bestBound=150
5.45/2.80
5.45/2.80 num=103, depth=2..8, filters=50926, revisions=(134709,useless=86141), ccks=91630, wck=0.399, mem=68M865
5.45/2.80 decisions=2530, wrong=425, backtracks=231, failedAssignments=290, nogoods=135, foundSolutions=85, bestBound=150
5.45/2.80
5.45/2.80 num=104, depth=0..5, filters=52043, revisions=(137543,useless=87965), ccks=93250, wck=0.403, mem=68M865
5.45/2.80 decisions=2580, wrong=449, backtracks=247, failedAssignments=302, nogoods=137, foundSolutions=85, bestBound=150
5.45/2.80
5.45/2.81 num=105, depth=1..5, filters=53061, revisions=(140227,useless=89711), ccks=94857, wck=0.406, mem=68M865
5.45/2.81 decisions=2619, wrong=467, backtracks=259, failedAssignments=315, nogoods=141, foundSolutions=85, bestBound=150
5.45/2.81
5.45/2.81 o 149
5.45/2.81 num=106, depth=3..79, filters=54256, revisions=(142926,useless=91271), ccks=96674, wck=0.411, mem=68M865
5.45/2.81 decisions=2660, wrong=481, backtracks=266, failedAssignments=324, nogoods=148, foundSolutions=86, bestBound=149
5.45/2.81
5.45/2.81 o 148
5.45/2.81 num=107, depth=81..79, filters=54558, revisions=(144014,useless=92062), ccks=97521, wck=0.413, mem=68M865
5.45/2.81 decisions=2674, wrong=481, backtracks=266, failedAssignments=324, nogoods=148, foundSolutions=87, bestBound=148
5.45/2.81
5.45/2.82 num=108, depth=3..7, filters=55490, revisions=(146709,useless=93896), ccks=99140, wck=0.416, mem=68M865
5.45/2.82 decisions=2713, wrong=499, backtracks=278, failedAssignments=335, nogoods=153, foundSolutions=87, bestBound=148
5.45/2.82
5.45/2.82 o 147
5.45/2.82 num=109, depth=81..79, filters=55802, revisions=(147834,useless=94709), ccks=99951, wck=0.417, mem=68M865
5.45/2.82 decisions=2723, wrong=499, backtracks=278, failedAssignments=335, nogoods=153, foundSolutions=88, bestBound=147
5.45/2.82
5.45/2.82 o 146
5.45/2.82 num=110, depth=81..79, filters=56081, revisions=(148961,useless=95564), ccks=100562, wck=0.419, mem=68M865
5.45/2.82 decisions=2733, wrong=499, backtracks=278, failedAssignments=335, nogoods=153, foundSolutions=89, bestBound=146
5.45/2.82
5.45/2.82 num=111, depth=1..6, filters=56870, revisions=(151264,useless=97148), ccks=101706, wck=0.422, mem=68M865
5.45/2.82 decisions=2774, wrong=518, backtracks=291, failedAssignments=346, nogoods=158, foundSolutions=89, bestBound=146
5.45/2.82
5.45/2.83 o 145
5.45/2.83 num=112, depth=1..79, filters=58128, revisions=(154375,useless=99040), ccks=103537, wck=0.426, mem=68M865
5.45/2.83 decisions=2814, wrong=533, backtracks=300, failedAssignments=356, nogoods=164, foundSolutions=90, bestBound=145
5.45/2.83
5.45/2.83 o 144
5.45/2.83 num=113, depth=5..79, filters=58707, revisions=(155879,useless=99972), ccks=104575, wck=0.429, mem=68M865
5.45/2.83 decisions=2833, wrong=535, backtracks=300, failedAssignments=358, nogoods=166, foundSolutions=91, bestBound=144
5.45/2.83
5.45/2.83 o 143
5.45/2.83 num=114, depth=2..79, filters=59364, revisions=(157544,useless=100998), ccks=105635, wck=0.432, mem=68M865
5.45/2.83 decisions=2856, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=92, bestBound=143
5.45/2.83
5.45/2.84 o 142
5.45/2.84 num=115, depth=81..79, filters=59748, revisions=(158657,useless=101732), ccks=106291, wck=0.434, mem=68M865
5.45/2.84 decisions=2870, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=93, bestBound=142
5.45/2.84
5.45/2.84 o 141
5.45/2.84 num=116, depth=81..79, filters=60126, revisions=(159738,useless=102437), ccks=106948, wck=0.436, mem=68M865
5.45/2.84 decisions=2886, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=94, bestBound=141
5.45/2.84
5.45/2.84 o 140
5.45/2.84 num=117, depth=81..79, filters=60494, revisions=(160861,useless=103188), ccks=107590, wck=0.438, mem=68M865
5.45/2.84 decisions=2899, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=95, bestBound=140
5.45/2.84
5.45/2.84 o 139
5.45/2.84 num=118, depth=81..79, filters=60874, revisions=(161976,useless=103928), ccks=108243, wck=0.44, mem=68M865
5.45/2.84 decisions=2914, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=96, bestBound=139
5.45/2.84
5.45/2.84 o 138
5.45/2.84 num=119, depth=81..79, filters=61227, revisions=(163124,useless=104727), ccks=108907, wck=0.442, mem=68M865
5.45/2.84 decisions=2925, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=97, bestBound=138
5.45/2.84
5.45/2.85 o 137
5.45/2.85 num=120, depth=81..79, filters=61573, revisions=(164249,useless=105500), ccks=109564, wck=0.444, mem=68M865
5.45/2.85 decisions=2938, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=98, bestBound=137
5.45/2.85
5.45/2.85 o 136
5.45/2.85 num=121, depth=81..79, filters=61907, revisions=(165386,useless=106296), ccks=110199, wck=0.446, mem=68M865
5.45/2.85 decisions=2950, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=99, bestBound=136
5.45/2.85
5.45/2.85 o 135
5.45/2.85 num=122, depth=5..79, filters=62227, revisions=(166618,useless=107198), ccks=110855, wck=0.448, mem=68M865
5.45/2.85 decisions=2960, wrong=540, backtracks=300, failedAssignments=363, nogoods=171, foundSolutions=100, bestBound=135
5.45/2.85
5.45/2.85 num=123, depth=1..5, filters=63498, revisions=(170410,useless=109813), ccks=112918, wck=0.452, mem=68M865
5.45/2.85 decisions=3015, wrong=567, backtracks=319, failedAssignments=374, nogoods=177, foundSolutions=100, bestBound=135
5.45/2.85
5.45/2.86 num=124, depth=0..7, filters=64539, revisions=(173312,useless=111767), ccks=114615, wck=0.456, mem=68M865
5.45/2.86 decisions=3069, wrong=593, backtracks=337, failedAssignments=385, nogoods=180, foundSolutions=100, bestBound=135
5.45/2.86
5.45/2.86 num=125, depth=2..7, filters=65475, revisions=(175387,useless=112954), ccks=115748, wck=0.46, mem=68M865
5.45/2.86 decisions=3105, wrong=610, backtracks=346, failedAssignments=397, nogoods=186, foundSolutions=100, bestBound=135
5.45/2.86
5.45/2.87 num=126, depth=0..6, filters=66457, revisions=(178284,useless=114944), ccks=117230, wck=0.464, mem=68M865
5.45/2.87 decisions=3154, wrong=634, backtracks=364, failedAssignments=410, nogoods=187, foundSolutions=100, bestBound=135
5.45/2.87
5.45/2.87 o 134
5.45/2.87 num=127, depth=0..79, filters=67472, revisions=(181102,useless=116808), ccks=119129, wck=0.468, mem=68M865
5.45/2.87 decisions=3199, wrong=651, backtracks=371, failedAssignments=423, nogoods=193, foundSolutions=101, bestBound=134
5.45/2.87
5.45/2.87 num=128, depth=0..7, filters=68371, revisions=(183770,useless=118654), ccks=120680, wck=0.472, mem=71M507
5.45/2.87 decisions=3246, wrong=673, backtracks=381, failedAssignments=439, nogoods=198, foundSolutions=101, bestBound=134
5.45/2.87
5.45/2.88 o 133
5.45/2.88 num=129, depth=2..79, filters=68983, revisions=(185110,useless=119411), ccks=121750, wck=0.474, mem=71M507
5.45/2.88 decisions=3271, wrong=678, backtracks=381, failedAssignments=444, nogoods=203, foundSolutions=102, bestBound=133
5.45/2.88
5.45/2.88 num=130, depth=3..10, filters=69996, revisions=(187371,useless=120699), ccks=122934, wck=0.477, mem=71M507
5.45/2.88 decisions=3307, wrong=694, backtracks=389, failedAssignments=456, nogoods=212, foundSolutions=102, bestBound=133
5.45/2.88
5.45/2.88 num=131, depth=0..9, filters=70707, revisions=(189077,useless=121734), ccks=123805, wck=0.48, mem=71M507
5.45/2.88 decisions=3338, wrong=707, backtracks=395, failedAssignments=467, nogoods=219, foundSolutions=102, bestBound=133
5.45/2.88
5.45/2.89 o 132
5.45/2.89 num=132, depth=0..79, filters=71856, revisions=(192122,useless=123680), ccks=125892, wck=0.483, mem=71M507
5.45/2.89 decisions=3377, wrong=721, backtracks=403, failedAssignments=477, nogoods=221, foundSolutions=103, bestBound=132
5.45/2.89
5.45/2.89 o 131
5.45/2.89 num=133, depth=3..79, filters=72489, revisions=(194000,useless=124920), ccks=126909, wck=0.486, mem=71M507
5.45/2.89 decisions=3389, wrong=724, backtracks=403, failedAssignments=480, nogoods=224, foundSolutions=104, bestBound=131
5.45/2.89
5.45/2.89 o 130
5.45/2.89 num=134, depth=0..79, filters=73109, revisions=(196069,useless=126399), ccks=128114, wck=0.489, mem=71M507
5.45/2.89 decisions=3416, wrong=732, backtracks=409, failedAssignments=484, nogoods=225, foundSolutions=105, bestBound=130
5.45/2.89
5.45/2.89 num=135, depth=2..10, filters=74041, revisions=(198165,useless=127597), ccks=129098, wck=0.493, mem=71M507
5.45/2.89 decisions=3453, wrong=747, backtracks=419, failedAssignments=495, nogoods=229, foundSolutions=105, bestBound=130
5.45/2.89
5.45/2.90 o 129
5.45/2.90 num=136, depth=5..79, filters=74469, revisions=(199178,useless=128196), ccks=129933, wck=0.495, mem=71M507
5.45/2.90 decisions=3473, wrong=750, backtracks=419, failedAssignments=498, nogoods=232, foundSolutions=106, bestBound=129
5.45/2.90
5.76/2.90 o 128
5.76/2.90 num=137, depth=1..79, filters=75758, revisions=(201997,useless=129773), ccks=131759, wck=0.499, mem=71M507
5.76/2.90 decisions=3516, wrong=766, backtracks=430, failedAssignments=505, nogoods=235, foundSolutions=107, bestBound=128
5.76/2.90
5.76/2.90 num=138, depth=2..8, filters=77153, revisions=(205040,useless=131494), ccks=133392, wck=0.502, mem=71M507
5.76/2.90 decisions=3562, wrong=787, backtracks=446, failedAssignments=516, nogoods=240, foundSolutions=107, bestBound=128
5.76/2.90
5.76/2.91 num=139, depth=3..10, filters=78242, revisions=(207181,useless=132593), ccks=134567, wck=0.505, mem=71M507
5.76/2.91 decisions=3595, wrong=801, backtracks=455, failedAssignments=527, nogoods=245, foundSolutions=107, bestBound=128
5.76/2.91
5.76/2.91 o 127
5.76/2.91 num=140, depth=0..79, filters=79547, revisions=(210460,useless=134624), ccks=136530, wck=0.509, mem=71M507
5.76/2.91 decisions=3634, wrong=816, backtracks=466, failedAssignments=535, nogoods=245, foundSolutions=108, bestBound=127
5.76/2.91
5.76/2.91 o 126
5.76/2.91 num=141, depth=81..79, filters=79933, revisions=(211607,useless=135390), ccks=137258, wck=0.511, mem=71M507
5.76/2.91 decisions=3646, wrong=816, backtracks=466, failedAssignments=535, nogoods=245, foundSolutions=109, bestBound=126
5.76/2.91
5.76/2.92 o 125
5.76/2.92 num=142, depth=1..79, filters=81253, revisions=(214340,useless=136857), ccks=138728, wck=0.516, mem=71M507
5.76/2.92 decisions=3697, wrong=836, backtracks=483, failedAssignments=544, nogoods=247, foundSolutions=110, bestBound=125
5.76/2.92
5.76/2.92 o 124
5.76/2.92 num=143, depth=8..79, filters=81644, revisions=(215531,useless=137667), ccks=139391, wck=0.518, mem=71M507
5.76/2.92 decisions=3709, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=111, bestBound=124
5.76/2.92
5.76/2.92 o 123
5.76/2.92 num=144, depth=81..79, filters=82012, revisions=(216665,useless=138436), ccks=140069, wck=0.52, mem=71M507
5.76/2.92 decisions=3720, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=112, bestBound=123
5.76/2.92
5.76/2.92 o 122
5.76/2.92 num=145, depth=81..79, filters=82384, revisions=(217812,useless=139216), ccks=140739, wck=0.522, mem=71M507
5.76/2.92 decisions=3731, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=113, bestBound=122
5.76/2.92
5.76/2.92 o 121
5.76/2.93 num=146, depth=81..79, filters=82741, revisions=(218958,useless=140015), ccks=141401, wck=0.523, mem=71M507
5.76/2.93 decisions=3740, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=114, bestBound=121
5.76/2.93
5.76/2.93 num=147, depth=1..11, filters=84358, revisions=(222281,useless=141782), ccks=142813, wck=0.528, mem=71M507
5.76/2.93 decisions=3794, wrong=861, backtracks=499, failedAssignments=556, nogoods=256, foundSolutions=114, bestBound=121
5.76/2.93
5.76/2.93 o 120
5.76/2.93 num=148, depth=0..79, filters=84940, revisions=(223768,useless=142704), ccks=143876, wck=0.53, mem=71M507
5.76/2.93 decisions=3813, wrong=864, backtracks=501, failedAssignments=558, nogoods=256, foundSolutions=115, bestBound=120
5.76/2.93
5.76/2.93 o 119
5.76/2.93 num=149, depth=1..79, filters=85313, revisions=(224958,useless=143525), ccks=144546, wck=0.531, mem=71M507
5.76/2.93 decisions=3826, wrong=865, backtracks=501, failedAssignments=559, nogoods=257, foundSolutions=116, bestBound=119
5.76/2.93
5.76/2.94 o 118
5.76/2.94 num=150, depth=2..79, filters=86124, revisions=(227005,useless=144769), ccks=145720, wck=0.534, mem=71M507
5.76/2.94 decisions=3839, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=117, bestBound=118
5.76/2.94
5.76/2.94 o 117
5.76/2.94 num=151, depth=81..79, filters=86488, revisions=(228169,useless=145567), ccks=146403, wck=0.536, mem=71M507
5.76/2.94 decisions=3851, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=118, bestBound=117
5.76/2.94
5.76/2.94 o 116
5.76/2.94 num=152, depth=81..79, filters=86850, revisions=(229275,useless=146311), ccks=147065, wck=0.537, mem=71M507
5.76/2.94 decisions=3864, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=119, bestBound=116
5.76/2.94
5.76/2.94 o 115
5.76/2.94 num=153, depth=81..79, filters=87197, revisions=(230521,useless=147210), ccks=147729, wck=0.539, mem=71M507
5.76/2.94 decisions=3870, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=120, bestBound=115
5.76/2.94
5.76/2.94 num=154, depth=0..8, filters=88531, revisions=(233261,useless=148696), ccks=148949, wck=0.542, mem=71M507
5.76/2.94 decisions=3925, wrong=892, backtracks=518, failedAssignments=571, nogoods=259, foundSolutions=120, bestBound=115
5.76/2.94
5.76/2.95 num=155, depth=0..6, filters=89722, revisions=(235400,useless=149699), ccks=150273, wck=0.545, mem=71M507
5.76/2.95 decisions=3967, wrong=913, backtracks=531, failedAssignments=582, nogoods=259, foundSolutions=120, bestBound=115
5.76/2.95
5.76/2.95
5.76/2.95 New Bounds: 115..114
5.76/2.95 num=156, depth=0..11, filters=90760, revisions=(237491,useless=150809), ccks=151465, wck=0.548, mem=71M507
5.76/2.95 decisions=4005, wrong=933, backtracks=548, failedAssignments=590, foundSolutions=120, bestBound=115
5.76/2.95
5.76/2.95 Global
5.76/2.95 filters=90760, revisions=(237491,useless=150809), ccks=151465
5.76/2.95 Stop=FULL_EXPLORATION, wrong=933, bestBound=115, bestBoundWck=1.084, bestBoundCpu=2.901, foundSolutions=120, firstSolCpu=2.383
5.76/2.95 wck=1.093, cpu=2.91, mem=71M507
5.76/2.95
5.76/2.95 v <instantiation id='sol120' type='solution' cost='115'> <list> s[] d[] l[] c[] </list> <values> 0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 14 11 15 18 18 9 15 14 11 15 10 11 9 9 9 9 13 11 15 18 4 2 3 2 1 3 6 3 2 1 1 9 9 5 2 3 1 2 2 5 </values> </instantiation>
5.76/2.95 s OPTIMUM FOUND
5.76/2.95
5.76/2.95 d WRONG_DECISIONS 933
5.76/2.95 d NUMBER_SOLUTIONS 120
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 (11653 MiB free)
memory of node 1: 16384 MiB (13892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391110-1568389737/watcher-4391110-1568389737 -o /tmp/evaluation-result-4391110-1568389737/solver-4391110-1568389737 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391110-1568389737.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4982, runsolver pid=4979
Current StackSize limit: 8192 KiB
[startup+0.100988 s]*
/proc/loadavg: 2.15 1.89 1.88 4/228 4997
/proc/meminfo: memFree=26142952/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10659884 memory=28084 CPUtime=0.13 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 5518 0 0 0 12 1 0 0 20 0 15 0 414887578 10915721216 7021 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2664971 7021 2852 1 0 2627468 0
[pid=4982/tid=4984] ppid=4979 vsize=10659884 memory=-8679952097579201728 CPUtime=0.09 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) R 4979 4982 3758 0 -1 4202560 3325 0 0 0 8 1 0 0 20 0 15 0 414887578 10915721216 7021 33554432000 4194304 4196468 140735046970032 139919161259760 139919138682679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 7021 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 7021 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 7021 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887580 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887581 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918715053344 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887581 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918714001008 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) R 4979 4982 3758 0 -1 4202560 429 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918711896176 139919134284752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) S 4979 4982 3758 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918710843376 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0.02 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) R 4979 4982 3758 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 414887583 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918709791088 139919157041794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887584 10915721216 7021 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28084 KiB
[startup+0.210556 s]*
/proc/loadavg: 2.15 1.89 1.88 5/228 4997
/proc/meminfo: memFree=26131912/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10659884 memory=37676 CPUtime=0.33 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 9150 0 0 0 30 3 0 0 20 0 15 0 414887578 10915721216 9419 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2664971 9419 2988 1 0 2627468 0
[pid=4982/tid=4984] ppid=4979 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) R 4979 4982 3758 0 -1 4202560 6134 0 0 0 18 2 0 0 20 0 15 0 414887578 10915721216 9419 33554432000 4194304 4196468 140735046970032 139919161261840 139919157052573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 9419 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10659884 memory=140424107008612 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 9419 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 9419 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887580 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887581 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918715053344 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887581 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918714001008 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) S 4979 4982 3758 0 -1 1077944384 807 0 0 0 3 0 0 0 20 0 15 0 414887583 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918711896176 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) S 4979 4982 3758 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 15 0 414887583 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918710843376 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0.05 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) S 4979 4982 3758 0 -1 1077944384 740 0 0 0 5 0 0 0 20 0 15 0 414887583 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918709791088 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887584 10915721216 9419 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37676 KiB
[startup+0.310404 s]*
/proc/loadavg: 2.15 1.89 1.88 4/228 4997
/proc/meminfo: memFree=26129732/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10659884 memory=40492 CPUtime=0.47 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 9341 0 0 0 44 3 0 0 20 0 15 0 414887578 10915721216 10123 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2664971 10123 3024 1 0 2627468 0
[pid=4982/tid=4984] ppid=4979 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) R 4979 4982 3758 0 -1 4202560 6266 0 0 0 28 2 0 0 20 0 15 0 414887578 10915721216 10123 33554432000 4194304 4196468 140735046970032 139919161262416 139919141111134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 10123 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10659884 memory=14275991278245528 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 10123 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 10123 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887579 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887580 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887581 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918715053344 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887581 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918714001008 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) S 4979 4982 3758 0 -1 1077944384 823 0 0 0 4 0 0 0 20 0 15 0 414887583 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918711896176 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) S 4979 4982 3758 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 15 0 414887583 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918710843376 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0.07 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) R 4979 4982 3758 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 15 0 414887583 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918709791088 139919157042582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10659884 memory=140424105744000 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887584 10915721216 10123 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40492 KiB
[startup+0.701454 s]
/proc/loadavg: 2.15 1.89 1.88 3/228 4997
/proc/meminfo: memFree=26119608/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10661932 memory=63536 CPUtime=1.09 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 12913 0 0 0 104 5 0 0 20 0 15 0 414887578 10917818368 15884 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2665483 15884 3072 1 0 2627980 0
[pid=4982/tid=4984] ppid=4979 vsize=10661932 memory=1368 CPUtime=0.68 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) R 4979 4982 3758 0 -1 4202560 8799 0 0 0 64 4 0 0 20 0 15 0 414887578 10917818368 15884 33554432000 4194304 4196468 140735046970032 139919161262784 139919142721334 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10917818368 15884 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10917818368 15884 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10917818368 15884 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887579 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887580 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887581 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918715053344 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887581 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918714001008 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10661932 memory=4639098309541126765 CPUtime=0.11 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) S 4979 4982 3758 0 -1 1077944384 1054 0 0 0 11 0 0 0 20 0 15 0 414887583 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918711896176 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10661932 memory=7380108234216663121 CPUtime=0.09 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) S 4979 4982 3758 0 -1 1077944384 424 0 0 0 9 0 0 0 20 0 15 0 414887583 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918710843376 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10661932 memory=5787782378022856021 CPUtime=0.18 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) S 4979 4982 3758 0 -1 1077944384 1277 0 0 0 18 0 0 0 20 0 15 0 414887583 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918709791088 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887584 10917818368 15884 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63536 KiB
[startup+1.50079 s]
/proc/loadavg: 2.15 1.89 1.88 3/228 4997
/proc/meminfo: memFree=26103232/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10663980 memory=75548 CPUtime=2 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 18499 0 0 0 194 6 0 0 20 0 15 0 414887578 10919915520 18887 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2665995 18887 3095 1 0 2628492 0
[pid=4982/tid=4984] ppid=4979 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) R 4979 4982 3758 0 -1 4202560 12996 0 0 0 143 5 0 0 20 0 15 0 414887578 10919915520 18887 33554432000 4194304 4196468 140735046970032 139919161262672 139919141111134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10919915520 18887 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10919915520 18887 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10663980 memory=7451882158599990102 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10919915520 18887 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10663980 memory=6081382756148079466 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887579 10919915520 18887 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 414887580 10919915520 18887 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
################
# More data... #
################
Dumping a history of the last processes samples
[startup+1.60096 s]
/proc/loadavg: 2.15 1.89 1.88 3/228 4997
/proc/meminfo: memFree=26103232/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10666028 memory=76560 CPUtime=2.12 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 18873 0 0 0 205 7 0 0 20 0 15 0 414887578 10922012672 19140 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2666507 19140 3095 1 0 2629004 0
[pid=4982/tid=4984] ppid=4979 vsize=10666028 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) R 4979 4982 3758 0 -1 4202560 13356 0 0 0 153 5 0 0 20 0 15 0 414887578 10922012672 19140 33554432000 4194304 4196468 140735046970032 139919161262672 139919135047888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10922012672 19140 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10922012672 19140 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887579 10922012672 19140 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887579 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10666028 memory=140424105745713 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 414887580 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10666028 memory=7452726570510674029 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887581 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918715053344 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10666028 memory=7309167735419596644 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887581 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918714001008 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10666028 memory=6075463926040055888 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10666028 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) S 4979 4982 3758 0 -1 1077944384 1454 0 0 0 15 0 0 0 20 0 15 0 414887583 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918711896176 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10666028 memory=161851547693756 CPUtime=0.17 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) S 4979 4982 3758 0 -1 1077944384 1345 0 0 0 17 0 0 0 20 0 15 0 414887583 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918710843376 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) S 4979 4982 3758 0 -1 1077944384 1279 0 0 0 18 0 0 0 20 0 15 0 414887583 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918709791088 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10666028 memory=-4546129931942301728 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887583 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 414887584 10922012672 19140 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76560 KiB
[startup+2.40541 s]
/proc/loadavg: 2.15 1.89 1.88 6/229 4998
/proc/meminfo: memFree=26027028/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10748324 memory=162212 CPUtime=4.15 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 28152 0 0 0 402 13 0 0 20 0 16 0 414887578 11006283776 40553 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2687081 40553 3348 1 0 2647217 0
[pid=4982/tid=4984] ppid=4979 vsize=10748324 memory=1768 CPUtime=1.87 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) S 4979 4982 3758 0 -1 1077944384 15283 0 0 0 180 7 0 0 20 0 16 0 414887578 11006283776 40553 33554432000 4194304 4196468 140735046970032 139919161273520 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10748324 memory=4104 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 414887579 11006283776 40553 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 414887579 11006283776 40553 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414887579 11006283776 40553 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10748324 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 414887579 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10748324 memory=-6873162000112450758 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 1079 0 0 0 1 0 0 0 20 0 16 0 414887580 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10748324 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414887581 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918715053408 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10748324 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414887581 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918714001024 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10748324 memory=7014751519717611364 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887583 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10748324 memory=7811022289770538345 CPUtime=0.53 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) R 4979 4982 3758 0 -1 4202560 2550 0 0 0 53 0 0 0 20 0 16 0 414887583 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918711889280 139919141417696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10748324 memory=6154566232896529253 CPUtime=0.55 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) R 4979 4982 3758 0 -1 4202560 2615 0 0 0 55 0 0 0 20 0 16 0 414887583 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918710824392 139919136684513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10748324 memory=7518031062932548972 CPUtime=0.6 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) R 4979 4982 3758 0 -1 4202560 3097 0 0 0 60 0 0 0 20 0 16 0 414887583 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918709791088 139919135399316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10748324 memory=7093013743668391279 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887583 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10748324 memory=8098717247127769453 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414887584 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4998] ppid=4979 vsize=10748324 memory=7019548770586095472 CPUtime=0.47 cores=0,2,4,6
/proc/4982/task/4998/stat : 4998 (java) R 4979 4982 3758 0 -1 4202560 1891 0 0 0 46 1 0 0 20 0 16 0 414887767 11006283776 40553 33554432000 4194304 4196468 140735046970032 139918694959984 139919141074277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 162212 KiB
[startup+2.80146 s]
/proc/loadavg: 2.15 1.89 1.88 6/229 4998
/proc/meminfo: memFree=26027028/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10748324 memory=169840 CPUtime=5.45 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 31336 0 0 0 530 15 0 0 20 0 16 0 414887578 11006283776 42460 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2687081 42460 3355 1 0 2647217 0
[pid=4982/tid=4984] ppid=4979 vsize=10748324 memory=492 CPUtime=1.87 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) S 4979 4982 3758 0 -1 1077944384 15283 0 0 0 180 7 0 0 20 0 16 0 414887578 11006283776 42460 33554432000 4194304 4196468 140735046970032 139919161273520 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10748324 memory=1560 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 414887579 11006283776 42460 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 414887579 11006283776 42460 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414887579 11006283776 42460 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10748324 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 414887579 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10748324 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 1079 0 0 0 1 0 0 0 20 0 16 0 414887580 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414887581 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918715053408 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414887581 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918714001024 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887583 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10748324 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) R 4979 4982 3758 0 -1 4202560 2825 0 0 0 92 0 0 0 20 0 16 0 414887583 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918711882720 139919138574737 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10748324 memory=30564 CPUtime=0.95 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) R 4979 4982 3758 0 -1 4202560 3123 0 0 0 95 0 0 0 20 0 16 0 414887583 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918710831968 139919136723747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10748324 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) S 4979 4982 3758 0 -1 1077944384 3516 0 0 0 72 0 0 0 20 0 16 0 414887583 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918709791088 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10748324 memory=7306916055891837009 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887583 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10748324 memory=288285571665898866 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414887584 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4998] ppid=4979 vsize=10748324 memory=8112282956445269571 CPUtime=0.86 cores=0,2,4,6
/proc/4982/task/4998/stat : 4998 (java) R 4979 4982 3758 0 -1 4202560 3871 0 0 0 84 2 0 0 20 0 16 0 414887767 11006283776 42460 33554432000 4194304 4196468 140735046970032 139918694950784 139918784293145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 169840 KiB
[startup+2.90141 s]
/proc/loadavg: 2.15 1.89 1.88 6/229 4998
/proc/meminfo: memFree=26027028/32770624 swapFree=66957012/67108860
[pid=4982] ppid=4979 vsize=10748324 memory=175628 CPUtime=5.76 cores=0,2,4,6
/proc/4982/stat : 4982 (java) S 4979 4982 3758 0 -1 1077944320 32003 0 0 0 561 15 0 0 20 0 16 0 414887578 11006283776 43907 33554432000 4194304 4196468 140735046970032 140735046952576 139919157030647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
/proc/4982/statm: 2687081 43907 3356 1 0 2647217 0
[pid=4982/tid=4984] ppid=4979 vsize=10748324 memory=55 CPUtime=1.87 cores=0,2,4,6
/proc/4982/task/4984/stat : 4984 (java) S 4979 4982 3758 0 -1 1077944384 15283 0 0 0 180 7 0 0 20 0 16 0 414887578 11006283776 43907 33554432000 4194304 4196468 140735046970032 139919161273520 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4985] ppid=4979 vsize=10748324 memory=140424105744000 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4985/stat : 4985 (java) S 4979 4982 3758 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 414887579 11006283776 43907 33554432000 4194304 4196468 140735046970032 139919099034000 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4986] ppid=4979 vsize=10748324 memory=14308 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4986/stat : 4986 (java) S 4979 4982 3758 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 414887579 11006283776 43907 33554432000 4194304 4196468 140735046970032 139919097981200 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4987] ppid=4979 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4987/stat : 4987 (java) S 4979 4982 3758 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414887579 11006283776 43907 33554432000 4194304 4196468 140735046970032 139919096928912 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4988] ppid=4979 vsize=10748324 memory=280847911755584 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4988/stat : 4988 (java) S 4979 4982 3758 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 414887579 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918761056784 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4989] ppid=4979 vsize=10748324 memory=-7233780906022716832 CPUtime=0.01 cores=0,2,4,6
/proc/4982/task/4989/stat : 4989 (java) S 4979 4982 3758 0 -1 1077944384 1079 0 0 0 1 0 0 0 20 0 16 0 414887580 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918716107376 139919157041794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4990] ppid=4979 vsize=10748324 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4990/stat : 4990 (java) S 4979 4982 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414887581 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918715053408 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4991] ppid=4979 vsize=10748324 memory=-7173504570862900581 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4991/stat : 4991 (java) S 4979 4982 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414887581 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918714001024 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4992] ppid=4979 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4992/stat : 4992 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887583 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918712949328 139919157049243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4993] ppid=4979 vsize=10748324 memory=1096 CPUtime=1.02 cores=0,2,4,6
/proc/4982/task/4993/stat : 4993 (java) R 4979 4982 3758 0 -1 4202560 2854 0 0 0 102 0 0 0 20 0 16 0 414887583 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918711883576 139919134625392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4994] ppid=4979 vsize=10748324 memory=2828 CPUtime=1.04 cores=0,2,4,6
/proc/4982/task/4994/stat : 4994 (java) R 4979 4982 3758 0 -1 4202560 3499 0 0 0 104 0 0 0 20 0 16 0 414887583 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918710829256 139919138552871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4995] ppid=4979 vsize=10748324 memory=1164 CPUtime=0.75 cores=0,2,4,6
/proc/4982/task/4995/stat : 4995 (java) S 4979 4982 3758 0 -1 1077944384 3549 0 0 0 74 1 0 0 20 0 16 0 414887583 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918709791088 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4996] ppid=4979 vsize=10748324 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4996/stat : 4996 (java) S 4979 4982 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887583 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918708738528 139919157040853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4997] ppid=4979 vsize=10748324 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/4982/task/4997/stat : 4997 (java) S 4979 4982 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414887584 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918707686320 139919157041794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
[pid=4982/tid=4998] ppid=4979 vsize=10748324 memory=2124 CPUtime=0.96 cores=0,2,4,6
/proc/4982/task/4998/stat : 4998 (java) R 4979 4982 3758 0 -1 4202560 4100 0 0 0 94 2 0 0 20 0 16 0 414887767 11006283776 43907 33554432000 4194304 4196468 140735046970032 139918694956864 139918784671191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34074624 140735046976523 140735046976626 140735046976626 140735046979535 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 175628 KiB
Child status: 0
Real time (s): 2.97359
CPU time (s): 5.971
CPU user time (s): 5.80497
CPU system time (s): 0.166029
CPU usage (%): 200.801
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 175628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.80497
system time used= 0.166029
maximum resident set size= 180608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2811
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 4982
# total CPU time (s): 5.971
# total CPU user time (s): 5.80497
# total CPU system time (s): 0.166029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040707 second user time and 0.081081 second system time
The end