2.43/1.88
2.43/1.88 AbsCon 2
2.43/1.90
2.92/2.10 Instance
2.92/2.10 name=instance-4390810-1568381756, framework=COP, bounds=-infty..+infty
2.92/2.10
2.92/2.10 Loading variables...
3.22/2.13 Loading constraints...
3.84/2.36
3.84/2.36 Domains
3.84/2.36 nTypes=42, nValues=1117, sizes=[3#7,4#10,5#3,11#3...14#2,15#4,19#20,20#20]
3.84/2.36 Variables
3.84/2.36 count=80, degrees=[2#40,21#20,22#19,23#1]
3.84/2.36 Objectives
3.84/2.36 way=min, type=SumSimpleLE
3.84/2.36 Constraints
3.84/2.36 count=443, nSpecific=2, arities=[1#1,2#440,20#1,40#1]
3.84/2.36 distribution=[Circuit#1,CtrExtensionV-Bits#40,CtrIntension#401,SumSimpleLE#1]
3.84/2.36 nExtStructures=(40,shared:0), nIntStructures=(21,shared:380), nCftStructures=(60,shared:380,unbuilt:3)
3.84/2.36 wck=0.515, cpu=2.332, mem=45M9
3.84/2.37 Solver SolverBacktrack being built...
3.84/2.37
3.84/2.39
3.84/2.39 Solver
3.84/2.39 guaranteedGAC=false
3.84/2.39 wck=0.543, cpu=2.359, mem=55M652
4.20/2.40
4.20/2.40 Preprocessing
4.20/2.40 filters=22, revisions=(42,useless=20), ccks=7603, nACremovedValues=320, nTotalRemovedValues=320, inconcistency=false
4.20/2.40 wck=0.006, cpu=2.366, mem=55M652
4.20/2.40
4.20/2.41 o 237
4.20/2.42 num=0, depth=81..79, filters=668, revisions=(914,useless=263), ccks=8447, wck=0.027, mem=55M652
4.20/2.42 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=237
4.20/2.42
4.20/2.45 o 236
4.20/2.45 num=1, depth=81..79, filters=1052, revisions=(1818,useless=798), ccks=9293, wck=0.049, mem=58M294
4.20/2.45 decisions=41, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=236
4.20/2.45
4.20/2.46 o 235
4.20/2.46 num=2, depth=81..79, filters=1438, revisions=(2712,useless=1321), ccks=9957, wck=0.056, mem=58M294
4.20/2.46 decisions=66, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=235
4.20/2.46
4.20/2.46 o 234
4.20/2.46 num=3, depth=81..79, filters=1817, revisions=(3620,useless=1864), ccks=10595, wck=0.063, mem=58M294
4.20/2.46 decisions=89, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=234
4.20/2.46
4.20/2.46 o 233
4.20/2.46 num=4, depth=81..79, filters=2224, revisions=(4524,useless=2378), ccks=11236, wck=0.069, mem=58M294
4.20/2.46 decisions=115, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=5, bestBound=233
4.20/2.46
4.20/2.47 o 232
4.20/2.47 num=5, depth=81..79, filters=2632, revisions=(5423,useless=2888), ccks=11875, wck=0.075, mem=58M294
4.20/2.47 decisions=142, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=6, bestBound=232
4.20/2.47
4.20/2.47 o 231
4.20/2.47 num=6, depth=81..79, filters=3045, revisions=(6332,useless=3402), ccks=12513, wck=0.08, mem=58M294
4.20/2.47 decisions=168, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=7, bestBound=231
4.20/2.47
4.20/2.48 o 229
4.20/2.48 num=7, depth=81..79, filters=3453, revisions=(7216,useless=3895), ccks=13152, wck=0.086, mem=58M294
4.20/2.48 decisions=197, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=8, bestBound=229
4.20/2.48
4.20/2.48 o 228
4.20/2.48 num=8, depth=81..79, filters=3867, revisions=(8134,useless=4417), ccks=13790, wck=0.091, mem=58M294
4.20/2.48 decisions=222, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=9, bestBound=228
4.20/2.48
4.20/2.49 o 227
4.20/2.49 num=9, depth=81..79, filters=4273, revisions=(9041,useless=4936), ccks=14429, wck=0.096, mem=58M294
4.20/2.49 decisions=248, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=10, bestBound=227
4.20/2.49
4.20/2.49 o 226
4.20/2.49 num=10, depth=81..79, filters=4682, revisions=(9964,useless=5467), ccks=15067, wck=0.1, mem=58M294
4.20/2.49 decisions=272, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=11, bestBound=226
4.20/2.49
4.20/2.50 o 225
4.20/2.50 num=11, depth=81..79, filters=5090, revisions=(10882,useless=5994), ccks=15706, wck=0.105, mem=58M294
4.20/2.50 decisions=297, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=12, bestBound=225
4.20/2.50
4.54/2.50 o 224
4.54/2.50 num=12, depth=81..79, filters=5495, revisions=(11810,useless=6533), ccks=16344, wck=0.11, mem=58M294
4.54/2.50 decisions=320, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=13, bestBound=224
4.54/2.50
4.54/2.51 o 223
4.54/2.51 num=13, depth=81..79, filters=5896, revisions=(12738,useless=7076), ccks=16983, wck=0.115, mem=58M294
4.54/2.51 decisions=343, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=14, bestBound=223
4.54/2.51
4.54/2.51 o 222
4.54/2.51 num=14, depth=81..79, filters=6296, revisions=(13653,useless=7607), ccks=17622, wck=0.119, mem=58M294
4.54/2.51 decisions=367, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=15, bestBound=222
4.54/2.51
4.54/2.51 o 221
4.54/2.51 num=15, depth=81..79, filters=6691, revisions=(14584,useless=8158), ccks=18260, wck=0.124, mem=58M294
4.54/2.51 decisions=389, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=16, bestBound=221
4.54/2.51
4.54/2.52 o 220
4.54/2.52 num=16, depth=81..79, filters=7098, revisions=(15506,useless=8689), ccks=18900, wck=0.127, mem=58M294
4.54/2.52 decisions=413, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=17, bestBound=220
4.54/2.52
4.54/2.52 o 219
4.54/2.52 num=17, depth=81..79, filters=7496, revisions=(16415,useless=9216), ccks=19539, wck=0.131, mem=58M294
4.54/2.52 decisions=438, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=18, bestBound=219
4.54/2.52
4.54/2.52 o 218
4.54/2.52 num=18, depth=81..79, filters=7893, revisions=(17336,useless=9755), ccks=20177, wck=0.134, mem=58M294
4.54/2.52 decisions=461, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=19, bestBound=218
4.54/2.52
4.54/2.53 o 217
4.54/2.53 num=19, depth=81..79, filters=8289, revisions=(18267,useless=10306), ccks=20816, wck=0.137, mem=58M294
4.54/2.53 decisions=483, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=20, bestBound=217
4.54/2.53
4.54/2.53 o 216
4.54/2.53 num=20, depth=81..79, filters=8685, revisions=(19186,useless=10845), ccks=21455, wck=0.141, mem=58M294
4.54/2.53 decisions=506, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=21, bestBound=216
4.54/2.53
4.54/2.53 o 215
4.54/2.53 num=21, depth=81..79, filters=9076, revisions=(20121,useless=11404), ccks=22093, wck=0.144, mem=58M294
4.54/2.53 decisions=527, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=22, bestBound=215
4.54/2.53
4.54/2.54 o 214
4.54/2.54 num=22, depth=81..79, filters=9473, revisions=(21042,useless=11943), ccks=22732, wck=0.147, mem=58M294
4.54/2.54 decisions=550, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=23, bestBound=214
4.54/2.54
4.54/2.54 o 213
4.54/2.54 num=23, depth=81..79, filters=9864, revisions=(21977,useless=12502), ccks=23371, wck=0.15, mem=58M294
4.54/2.54 decisions=571, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=24, bestBound=213
4.54/2.54
4.54/2.54 o 212
4.54/2.54 num=24, depth=81..79, filters=10257, revisions=(22901,useless=13049), ccks=24010, wck=0.154, mem=58M294
4.54/2.54 decisions=593, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=25, bestBound=212
4.54/2.54
4.54/2.55 o 211
4.54/2.55 num=25, depth=81..79, filters=10645, revisions=(23840,useless=13616), ccks=24648, wck=0.157, mem=58M294
4.54/2.55 decisions=613, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=26, bestBound=211
4.54/2.55
4.54/2.55 o 210
4.54/2.55 num=26, depth=81..79, filters=11052, revisions=(24785,useless=14171), ccks=25287, wck=0.16, mem=58M294
4.54/2.55 decisions=634, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=27, bestBound=210
4.54/2.55
4.54/2.55 o 209
4.54/2.55 num=27, depth=81..79, filters=11454, revisions=(25721,useless=14722), ccks=25926, wck=0.164, mem=60M937
4.54/2.55 decisions=656, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=28, bestBound=209
4.54/2.55
4.54/2.56 o 208
4.54/2.56 num=28, depth=81..79, filters=11862, revisions=(26676,useless=15285), ccks=26564, wck=0.167, mem=60M937
4.54/2.56 decisions=676, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=29, bestBound=208
4.54/2.56
4.54/2.56 o 207
4.54/2.56 num=29, depth=81..79, filters=12271, revisions=(27627,useless=15844), ccks=27203, wck=0.17, mem=60M937
4.54/2.56 decisions=697, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=30, bestBound=207
4.54/2.56
4.54/2.56 o 206
4.54/2.56 num=30, depth=81..79, filters=12683, revisions=(28569,useless=16391), ccks=27842, wck=0.174, mem=60M937
4.54/2.56 decisions=719, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=31, bestBound=206
4.54/2.56
4.54/2.57 o 205
4.54/2.57 num=31, depth=81..79, filters=13089, revisions=(29526,useless=16958), ccks=28480, wck=0.177, mem=60M937
4.54/2.57 decisions=739, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=32, bestBound=205
4.54/2.57
4.54/2.57 o 204
4.54/2.57 num=32, depth=81..79, filters=13498, revisions=(30482,useless=17521), ccks=29119, wck=0.18, mem=60M937
4.54/2.57 decisions=759, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=33, bestBound=204
4.54/2.57
4.54/2.57 o 203
4.54/2.57 num=33, depth=81..79, filters=13907, revisions=(31425,useless=18072), ccks=29758, wck=0.183, mem=60M937
4.54/2.57 decisions=781, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=34, bestBound=203
4.54/2.57
4.54/2.58 o 202
4.54/2.58 num=34, depth=81..79, filters=14319, revisions=(32383,useless=18635), ccks=30397, wck=0.186, mem=60M937
4.54/2.58 decisions=801, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=35, bestBound=202
4.54/2.58
4.54/2.58 o 201
4.54/2.58 num=35, depth=81..79, filters=14730, revisions=(33336,useless=19194), ccks=31036, wck=0.189, mem=60M937
4.54/2.58 decisions=822, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=36, bestBound=201
4.54/2.58
4.54/2.58 o 200
4.54/2.58 num=36, depth=81..79, filters=15141, revisions=(34302,useless=19765), ccks=31674, wck=0.191, mem=60M937
4.54/2.58 decisions=841, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=37, bestBound=200
4.54/2.58
4.54/2.58 o 199
4.54/2.58 num=37, depth=81..79, filters=15557, revisions=(35268,useless=20332), ccks=32313, wck=0.194, mem=60M937
4.54/2.58 decisions=861, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=38, bestBound=199
4.54/2.58
4.54/2.59 o 198
4.54/2.59 num=38, depth=81..79, filters=15970, revisions=(36219,useless=20887), ccks=32952, wck=0.196, mem=60M937
4.54/2.59 decisions=882, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=39, bestBound=198
4.54/2.59
4.54/2.59 o 197
4.54/2.59 num=39, depth=81..79, filters=16375, revisions=(37183,useless=21462), ccks=33590, wck=0.199, mem=60M937
4.54/2.59 decisions=901, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=40, bestBound=197
4.54/2.59
4.54/2.59 o 196
4.54/2.59 num=40, depth=81..79, filters=16779, revisions=(38142,useless=22033), ccks=34228, wck=0.202, mem=60M937
4.54/2.59 decisions=920, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=41, bestBound=196
4.54/2.59
4.54/2.59 o 195
4.54/2.59 num=41, depth=81..79, filters=17173, revisions=(39104,useless=22616), ccks=34866, wck=0.204, mem=60M937
4.54/2.59 decisions=938, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=42, bestBound=195
4.54/2.59
4.87/2.60 o 194
4.87/2.60 num=42, depth=81..79, filters=17564, revisions=(40061,useless=23196), ccks=35504, wck=0.207, mem=60M937
4.87/2.60 decisions=956, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=43, bestBound=194
4.87/2.60
4.87/2.60 o 193
4.87/2.60 num=43, depth=81..79, filters=17964, revisions=(41020,useless=23771), ccks=36144, wck=0.209, mem=60M937
4.87/2.60 decisions=975, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=44, bestBound=193
4.87/2.60
4.87/2.60 o 192
4.87/2.60 num=44, depth=81..79, filters=18361, revisions=(41981,useless=24350), ccks=36782, wck=0.212, mem=60M937
4.87/2.60 decisions=993, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=45, bestBound=192
4.87/2.60
4.87/2.60 o 191
4.87/2.60 num=45, depth=81..79, filters=18747, revisions=(42937,useless=24934), ccks=37420, wck=0.214, mem=60M937
4.87/2.60 decisions=1011, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=46, bestBound=191
4.87/2.60
4.87/2.61 o 190
4.87/2.61 num=46, depth=81..79, filters=19143, revisions=(43880,useless=25497), ccks=38061, wck=0.217, mem=60M937
4.87/2.61 decisions=1031, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=47, bestBound=190
4.87/2.61
4.87/2.61 o 189
4.87/2.61 num=47, depth=81..79, filters=19536, revisions=(44840,useless=26080), ccks=38699, wck=0.219, mem=60M937
4.87/2.61 decisions=1049, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=48, bestBound=189
4.87/2.61
4.87/2.61 o 188
4.87/2.61 num=48, depth=81..79, filters=19925, revisions=(45796,useless=26660), ccks=39337, wck=0.221, mem=60M937
4.87/2.61 decisions=1067, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=49, bestBound=188
4.87/2.61
4.87/2.61 o 187
4.87/2.61 num=49, depth=81..79, filters=20310, revisions=(46761,useless=27251), ccks=39975, wck=0.223, mem=60M937
4.87/2.61 decisions=1084, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=50, bestBound=187
4.87/2.61
4.87/2.62 o 186
4.87/2.62 num=50, depth=81..79, filters=20693, revisions=(47725,useless=27839), ccks=40613, wck=0.225, mem=60M937
4.87/2.62 decisions=1101, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=51, bestBound=186
4.87/2.62
4.87/2.62 o 185
4.87/2.62 num=51, depth=81..79, filters=21084, revisions=(48700,useless=28430), ccks=41252, wck=0.228, mem=60M937
4.87/2.62 decisions=1118, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=52, bestBound=185
4.87/2.62
4.87/2.62 o 184
4.87/2.62 num=52, depth=81..79, filters=21472, revisions=(49674,useless=29020), ccks=41889, wck=0.23, mem=60M937
4.87/2.62 decisions=1135, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=53, bestBound=184
4.87/2.62
4.87/2.62 o 183
4.87/2.62 num=53, depth=81..79, filters=21877, revisions=(50648,useless=29596), ccks=42530, wck=0.232, mem=63M579
4.87/2.62 decisions=1154, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=54, bestBound=183
4.87/2.62
4.87/2.62 o 182
4.87/2.62 num=54, depth=81..79, filters=22285, revisions=(51625,useless=30174), ccks=43165, wck=0.234, mem=63M579
4.87/2.62 decisions=1173, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=55, bestBound=182
4.87/2.62
4.87/2.63 o 181
4.87/2.63 num=55, depth=81..79, filters=22669, revisions=(52614,useless=30780), ccks=43821, wck=0.236, mem=63M579
4.87/2.63 decisions=1190, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=56, bestBound=181
4.87/2.63
4.87/2.63 o 180
4.87/2.63 num=56, depth=81..79, filters=23062, revisions=(53611,useless=31386), ccks=44460, wck=0.238, mem=63M579
4.87/2.63 decisions=1207, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=57, bestBound=180
4.87/2.63
4.87/2.63 o 179
4.87/2.63 num=57, depth=81..79, filters=23460, revisions=(54611,useless=31990), ccks=45102, wck=0.24, mem=63M579
4.87/2.63 decisions=1225, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=58, bestBound=179
4.87/2.63
4.87/2.63 o 178
4.87/2.63 num=58, depth=81..79, filters=23858, revisions=(55611,useless=32595), ccks=45741, wck=0.242, mem=63M579
4.87/2.63 decisions=1242, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=59, bestBound=178
4.87/2.63
4.87/2.63 o 177
4.87/2.63 num=59, depth=81..79, filters=24240, revisions=(56600,useless=33203), ccks=46380, wck=0.245, mem=63M579
4.87/2.63 decisions=1259, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=60, bestBound=177
4.87/2.63
4.87/2.64 o 176
4.87/2.64 num=60, depth=81..79, filters=24634, revisions=(57577,useless=33794), ccks=47024, wck=0.247, mem=63M579
4.87/2.64 decisions=1278, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=61, bestBound=176
4.87/2.64
4.87/2.64 o 175
4.87/2.64 num=61, depth=81..79, filters=25011, revisions=(58588,useless=34432), ccks=47681, wck=0.249, mem=63M579
4.87/2.64 decisions=1294, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=62, bestBound=175
4.87/2.64
4.87/2.64 o 174
4.87/2.64 num=62, depth=81..79, filters=25386, revisions=(59598,useless=35073), ccks=48320, wck=0.251, mem=63M579
4.87/2.64 decisions=1310, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=63, bestBound=174
4.87/2.64
4.87/2.64 o 173
4.87/2.64 num=63, depth=81..79, filters=25751, revisions=(60603,useless=35721), ccks=48960, wck=0.253, mem=63M579
4.87/2.64 decisions=1325, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=64, bestBound=173
4.87/2.64
4.87/2.64 o 172
4.87/2.64 num=64, depth=81..79, filters=26103, revisions=(61596,useless=36373), ccks=49600, wck=0.255, mem=63M579
4.87/2.64 decisions=1340, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=65, bestBound=172
4.87/2.64
4.87/2.65 o 171
4.87/2.65 num=65, depth=9..79, filters=26626, revisions=(63041,useless=37312), ccks=50412, wck=0.259, mem=63M579
4.87/2.65 decisions=1362, wrong=2, backtracks=1, failedAssignments=1, nogoods=1, foundSolutions=66, bestBound=171
4.87/2.65
4.87/2.66 num=66, depth=5..9, filters=27426, revisions=(64961,useless=38465), ccks=51536, wck=0.264, mem=63M579
4.87/2.66 decisions=1407, wrong=22, backtracks=12, failedAssignments=12, nogoods=5, foundSolutions=66, bestBound=171
4.87/2.66
4.87/2.66 o 170
4.87/2.66 num=67, depth=4..79, filters=27735, revisions=(66088,useless=39297), ccks=52449, wck=0.267, mem=63M579
4.87/2.66 decisions=1423, wrong=24, backtracks=12, failedAssignments=14, nogoods=7, foundSolutions=67, bestBound=170
4.87/2.66
4.87/2.66 num=68, depth=3..8, filters=28732, revisions=(69272,useless=41557), ccks=53965, wck=0.272, mem=63M579
4.87/2.66 decisions=1466, wrong=44, backtracks=23, failedAssignments=26, nogoods=10, foundSolutions=67, bestBound=170
4.87/2.66
4.87/2.67 num=69, depth=4..10, filters=29373, revisions=(70884,useless=42576), ccks=54975, wck=0.275, mem=63M579
4.87/2.67 decisions=1500, wrong=58, backtracks=27, failedAssignments=37, nogoods=17, foundSolutions=67, bestBound=170
4.87/2.67
4.87/2.67 num=70, depth=4..11, filters=30727, revisions=(74161,useless=44591), ccks=56790, wck=0.282, mem=63M579
4.87/2.67 decisions=1558, wrong=85, backtracks=44, failedAssignments=49, nogoods=22, foundSolutions=67, bestBound=170
4.87/2.67
4.87/2.68 num=71, depth=2..6, filters=31392, revisions=(76215,useless=46044), ccks=58076, wck=0.285, mem=63M579
4.87/2.68 decisions=1599, wrong=104, backtracks=52, failedAssignments=62, nogoods=27, foundSolutions=67, bestBound=170
4.87/2.68
4.87/2.68 o 169
4.87/2.68 num=72, depth=1..79, filters=31793, revisions=(77496,useless=46944), ccks=58929, wck=0.289, mem=63M579
4.87/2.68 decisions=1629, wrong=111, backtracks=54, failedAssignments=67, nogoods=32, foundSolutions=68, bestBound=169
4.87/2.68
4.87/2.69 num=73, depth=2..9, filters=32969, revisions=(81026,useless=49402), ccks=60750, wck=0.295, mem=63M579
4.87/2.69 decisions=1696, wrong=143, backtracks=75, failedAssignments=83, nogoods=34, foundSolutions=68, bestBound=169
4.87/2.69
4.87/2.69 num=74, depth=2..8, filters=33718, revisions=(83100,useless=50783), ccks=61877, wck=0.299, mem=63M579
4.87/2.69 decisions=1729, wrong=157, backtracks=81, failedAssignments=94, nogoods=43, foundSolutions=68, bestBound=169
4.87/2.69
5.19/2.70 num=75, depth=3..9, filters=34616, revisions=(85885,useless=52751), ccks=63326, wck=0.304, mem=63M579
5.19/2.70 decisions=1784, wrong=181, backtracks=98, failedAssignments=106, nogoods=46, foundSolutions=68, bestBound=169
5.19/2.70
5.19/2.70 o 168
5.19/2.70 num=76, depth=4..79, filters=35064, revisions=(87325,useless=53754), ccks=64396, wck=0.307, mem=63M579
5.19/2.70 decisions=1799, wrong=184, backtracks=98, failedAssignments=109, nogoods=49, foundSolutions=69, bestBound=168
5.19/2.70
5.19/2.70 o 167
5.19/2.70 num=77, depth=4..79, filters=35589, revisions=(89013,useless=54948), ccks=65595, wck=0.311, mem=63M579
5.19/2.70 decisions=1834, wrong=194, backtracks=101, failedAssignments=117, nogoods=57, foundSolutions=70, bestBound=167
5.19/2.70
5.19/2.71 o 164
5.19/2.71 num=78, depth=4..79, filters=36139, revisions=(90659,useless=56070), ccks=66631, wck=0.315, mem=63M579
5.19/2.71 decisions=1871, wrong=201, backtracks=104, failedAssignments=122, nogoods=62, foundSolutions=71, bestBound=164
5.19/2.71
5.19/2.71 o 163
5.19/2.71 num=79, depth=5..79, filters=36438, revisions=(91827,useless=56954), ccks=67277, wck=0.318, mem=63M579
5.19/2.71 decisions=1887, wrong=203, backtracks=104, failedAssignments=124, nogoods=64, foundSolutions=72, bestBound=163
5.19/2.71
5.19/2.71 o 162
5.19/2.71 num=80, depth=7..79, filters=37003, revisions=(93484,useless=58058), ccks=68123, wck=0.321, mem=63M579
5.19/2.71 decisions=1906, wrong=205, backtracks=105, failedAssignments=125, nogoods=65, foundSolutions=73, bestBound=162
5.19/2.71
5.19/2.72 o 161
5.19/2.72 num=81, depth=7..79, filters=37546, revisions=(95027,useless=59070), ccks=68977, wck=0.325, mem=66M221
5.19/2.72 decisions=1924, wrong=207, backtracks=106, failedAssignments=126, nogoods=66, foundSolutions=74, bestBound=161
5.19/2.72
5.19/2.72 o 160
5.19/2.72 num=82, depth=81..79, filters=37846, revisions=(96079,useless=59828), ccks=69587, wck=0.328, mem=66M221
5.19/2.72 decisions=1938, wrong=207, backtracks=106, failedAssignments=126, nogoods=66, foundSolutions=75, bestBound=160
5.19/2.72
5.19/2.72 o 159
5.19/2.72 num=83, depth=6..79, filters=38233, revisions=(97418,useless=60789), ccks=70315, wck=0.33, mem=66M221
5.19/2.72 decisions=1956, wrong=210, backtracks=106, failedAssignments=129, nogoods=69, foundSolutions=76, bestBound=159
5.19/2.72
5.19/2.72 o 158
5.19/2.72 num=84, depth=4..79, filters=38612, revisions=(98703,useless=61716), ccks=71012, wck=0.333, mem=66M221
5.19/2.72 decisions=1976, wrong=214, backtracks=106, failedAssignments=133, nogoods=73, foundSolutions=77, bestBound=158
5.19/2.72
5.19/2.73 o 157
5.19/2.73 num=85, depth=4..79, filters=38965, revisions=(99993,useless=62660), ccks=71691, wck=0.336, mem=66M221
5.19/2.73 decisions=1991, wrong=216, backtracks=106, failedAssignments=135, nogoods=75, foundSolutions=78, bestBound=157
5.19/2.73
5.19/2.73 o 156
5.19/2.73 num=86, depth=81..79, filters=39248, revisions=(101091,useless=63480), ccks=72296, wck=0.338, mem=66M221
5.19/2.73 decisions=2002, wrong=216, backtracks=106, failedAssignments=135, nogoods=75, foundSolutions=79, bestBound=156
5.19/2.73
5.19/2.73 num=87, depth=4..10, filters=40133, revisions=(103369,useless=64919), ccks=73231, wck=0.342, mem=66M221
5.19/2.73 decisions=2041, wrong=233, backtracks=116, failedAssignments=146, nogoods=81, foundSolutions=79, bestBound=156
5.19/2.73
5.19/2.74 o 155
5.19/2.74 num=88, depth=1..79, filters=41065, revisions=(105854,useless=66500), ccks=74836, wck=0.346, mem=66M221
5.19/2.74 decisions=2073, wrong=243, backtracks=121, failedAssignments=153, nogoods=84, foundSolutions=80, bestBound=155
5.19/2.74
5.19/2.74 num=89, depth=2..8, filters=41706, revisions=(107854,useless=67925), ccks=75744, wck=0.349, mem=66M221
5.19/2.74 decisions=2109, wrong=260, backtracks=133, failedAssignments=165, nogoods=85, foundSolutions=80, bestBound=155
5.19/2.74
5.19/2.74 num=90, depth=1..6, filters=42480, revisions=(110038,useless=69391), ccks=76934, wck=0.352, mem=66M221
5.19/2.74 decisions=2141, wrong=275, backtracks=143, failedAssignments=176, nogoods=87, foundSolutions=80, bestBound=155
5.19/2.74
5.19/2.74 o 154
5.19/2.74 num=91, depth=5..79, filters=42799, revisions=(111208,useless=70258), ccks=77706, wck=0.354, mem=66M221
5.19/2.74 decisions=2156, wrong=276, backtracks=143, failedAssignments=177, nogoods=88, foundSolutions=81, bestBound=154
5.19/2.74
5.19/2.75 num=92, depth=3..8, filters=43442, revisions=(113374,useless=71844), ccks=78965, wck=0.358, mem=66M221
5.19/2.75 decisions=2198, wrong=295, backtracks=153, failedAssignments=190, nogoods=92, foundSolutions=81, bestBound=154
5.19/2.75
5.19/2.75 num=93, depth=3..7, filters=44328, revisions=(115636,useless=73268), ccks=80392, wck=0.361, mem=66M221
5.19/2.75 decisions=2227, wrong=308, backtracks=162, failedAssignments=201, nogoods=94, foundSolutions=81, bestBound=154
5.19/2.75
5.19/2.75 num=94, depth=2..6, filters=45328, revisions=(117712,useless=74391), ccks=81500, wck=0.364, mem=66M221
5.19/2.75 decisions=2258, wrong=322, backtracks=169, failedAssignments=213, nogoods=102, foundSolutions=81, bestBound=154
5.19/2.75
5.19/2.76 o 153
5.19/2.76 num=95, depth=2..79, filters=45880, revisions=(119469,useless=75607), ccks=82606, wck=0.367, mem=66M221
5.19/2.76 decisions=2283, wrong=329, backtracks=173, failedAssignments=218, nogoods=105, foundSolutions=82, bestBound=153
5.19/2.76
5.19/2.76 num=96, depth=2..10, filters=46736, revisions=(122465,useless=77821), ccks=84064, wck=0.371, mem=66M221
5.19/2.76 decisions=2326, wrong=349, backtracks=190, failedAssignments=232, nogoods=108, foundSolutions=82, bestBound=153
5.19/2.76
5.19/2.76 o 152
5.19/2.76 num=97, depth=4..79, filters=47458, revisions=(124574,useless=79233), ccks=85506, wck=0.374, mem=66M221
5.19/2.76 decisions=2353, wrong=356, backtracks=193, failedAssignments=239, nogoods=111, foundSolutions=83, bestBound=152
5.19/2.76
5.19/2.77 num=98, depth=1..5, filters=48232, revisions=(126857,useless=80810), ccks=86881, wck=0.377, mem=66M221
5.19/2.77 decisions=2392, wrong=374, backtracks=201, failedAssignments=251, nogoods=116, foundSolutions=83, bestBound=152
5.19/2.77
5.19/2.77 num=99, depth=2..7, filters=48638, revisions=(128294,useless=81890), ccks=87706, wck=0.38, mem=66M221
5.19/2.77 decisions=2424, wrong=389, backtracks=211, failedAssignments=262, nogoods=118, foundSolutions=83, bestBound=152
5.19/2.77
5.19/2.77 o 151
5.19/2.77 num=100, depth=4..79, filters=49080, revisions=(129563,useless=82726), ccks=88562, wck=0.382, mem=66M221
5.19/2.77 decisions=2448, wrong=394, backtracks=212, failedAssignments=266, nogoods=122, foundSolutions=84, bestBound=151
5.19/2.77
5.19/2.77 o 150
5.19/2.77 num=101, depth=2..79, filters=49576, revisions=(131012,useless=83696), ccks=89506, wck=0.384, mem=66M221
5.19/2.77 decisions=2465, wrong=396, backtracks=212, failedAssignments=268, nogoods=124, foundSolutions=85, bestBound=150
5.19/2.77
5.19/2.78 num=102, depth=4..8, filters=50423, revisions=(133131,useless=85017), ccks=90859, wck=0.387, mem=66M221
5.19/2.78 decisions=2499, wrong=411, backtracks=223, failedAssignments=279, nogoods=129, foundSolutions=85, bestBound=150
5.19/2.78
5.19/2.78 num=103, depth=2..8, filters=50926, revisions=(134709,useless=86141), ccks=91630, wck=0.389, mem=66M221
5.19/2.78 decisions=2530, wrong=425, backtracks=231, failedAssignments=290, nogoods=135, foundSolutions=85, bestBound=150
5.19/2.78
5.19/2.78 num=104, depth=0..5, filters=52043, revisions=(137543,useless=87965), ccks=93250, wck=0.393, mem=66M221
5.19/2.78 decisions=2580, wrong=449, backtracks=247, failedAssignments=302, nogoods=137, foundSolutions=85, bestBound=150
5.19/2.78
5.19/2.79 num=105, depth=1..5, filters=53061, revisions=(140227,useless=89711), ccks=94857, wck=0.396, mem=66M221
5.19/2.79 decisions=2619, wrong=467, backtracks=259, failedAssignments=315, nogoods=141, foundSolutions=85, bestBound=150
5.19/2.79
5.19/2.79 o 149
5.19/2.79 num=106, depth=3..79, filters=54256, revisions=(142926,useless=91271), ccks=96674, wck=0.401, mem=66M221
5.19/2.79 decisions=2660, wrong=481, backtracks=266, failedAssignments=324, nogoods=148, foundSolutions=86, bestBound=149
5.19/2.79
5.19/2.79 o 148
5.19/2.79 num=107, depth=81..79, filters=54558, revisions=(144014,useless=92062), ccks=97521, wck=0.403, mem=66M221
5.19/2.79 decisions=2674, wrong=481, backtracks=266, failedAssignments=324, nogoods=148, foundSolutions=87, bestBound=148
5.19/2.79
5.19/2.80 num=108, depth=3..7, filters=55490, revisions=(146709,useless=93896), ccks=99140, wck=0.406, mem=68M864
5.19/2.80 decisions=2713, wrong=499, backtracks=278, failedAssignments=335, nogoods=153, foundSolutions=87, bestBound=148
5.19/2.80
5.51/2.80 o 147
5.51/2.80 num=109, depth=81..79, filters=55802, revisions=(147834,useless=94709), ccks=99951, wck=0.408, mem=68M864
5.51/2.80 decisions=2723, wrong=499, backtracks=278, failedAssignments=335, nogoods=153, foundSolutions=88, bestBound=147
5.51/2.80
5.51/2.80 o 146
5.51/2.80 num=110, depth=81..79, filters=56081, revisions=(148961,useless=95564), ccks=100562, wck=0.41, mem=68M864
5.51/2.80 decisions=2733, wrong=499, backtracks=278, failedAssignments=335, nogoods=153, foundSolutions=89, bestBound=146
5.51/2.80
5.51/2.80 num=111, depth=1..6, filters=56870, revisions=(151264,useless=97148), ccks=101706, wck=0.413, mem=68M864
5.51/2.80 decisions=2774, wrong=518, backtracks=291, failedAssignments=346, nogoods=158, foundSolutions=89, bestBound=146
5.51/2.80
5.51/2.81 o 145
5.51/2.81 num=112, depth=1..79, filters=58128, revisions=(154375,useless=99040), ccks=103537, wck=0.417, mem=68M864
5.51/2.81 decisions=2814, wrong=533, backtracks=300, failedAssignments=356, nogoods=164, foundSolutions=90, bestBound=145
5.51/2.81
5.51/2.81 o 144
5.51/2.81 num=113, depth=5..79, filters=58707, revisions=(155879,useless=99972), ccks=104575, wck=0.419, mem=68M864
5.51/2.81 decisions=2833, wrong=535, backtracks=300, failedAssignments=358, nogoods=166, foundSolutions=91, bestBound=144
5.51/2.81
5.51/2.81 o 143
5.51/2.81 num=114, depth=2..79, filters=59364, revisions=(157544,useless=100998), ccks=105635, wck=0.422, mem=68M864
5.51/2.81 decisions=2856, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=92, bestBound=143
5.51/2.81
5.51/2.81 o 142
5.51/2.81 num=115, depth=81..79, filters=59748, revisions=(158657,useless=101732), ccks=106291, wck=0.424, mem=68M864
5.51/2.81 decisions=2870, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=93, bestBound=142
5.51/2.81
5.51/2.82 o 141
5.51/2.82 num=116, depth=81..79, filters=60126, revisions=(159738,useless=102437), ccks=106948, wck=0.426, mem=68M864
5.51/2.82 decisions=2886, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=94, bestBound=141
5.51/2.82
5.51/2.82 o 140
5.51/2.82 num=117, depth=81..79, filters=60494, revisions=(160861,useless=103188), ccks=107590, wck=0.428, mem=68M864
5.51/2.82 decisions=2899, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=95, bestBound=140
5.51/2.82
5.51/2.82 o 139
5.51/2.82 num=118, depth=81..79, filters=60874, revisions=(161976,useless=103928), ccks=108243, wck=0.43, mem=68M864
5.51/2.82 decisions=2914, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=96, bestBound=139
5.51/2.82
5.51/2.82 o 138
5.51/2.82 num=119, depth=81..79, filters=61227, revisions=(163124,useless=104727), ccks=108907, wck=0.432, mem=68M864
5.51/2.82 decisions=2925, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=97, bestBound=138
5.51/2.82
5.51/2.82 o 137
5.51/2.83 num=120, depth=81..79, filters=61573, revisions=(164249,useless=105500), ccks=109564, wck=0.434, mem=68M864
5.51/2.83 decisions=2938, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=98, bestBound=137
5.51/2.83
5.51/2.83 o 136
5.51/2.83 num=121, depth=81..79, filters=61907, revisions=(165386,useless=106296), ccks=110199, wck=0.436, mem=68M864
5.51/2.83 decisions=2950, wrong=539, backtracks=300, failedAssignments=362, nogoods=170, foundSolutions=99, bestBound=136
5.51/2.83
5.51/2.83 o 135
5.51/2.83 num=122, depth=5..79, filters=62227, revisions=(166618,useless=107198), ccks=110855, wck=0.438, mem=68M864
5.51/2.83 decisions=2960, wrong=540, backtracks=300, failedAssignments=363, nogoods=171, foundSolutions=100, bestBound=135
5.51/2.83
5.51/2.83 num=123, depth=1..5, filters=63498, revisions=(170410,useless=109813), ccks=112918, wck=0.443, mem=68M864
5.51/2.83 decisions=3015, wrong=567, backtracks=319, failedAssignments=374, nogoods=177, foundSolutions=100, bestBound=135
5.51/2.83
5.51/2.84 num=124, depth=0..7, filters=64539, revisions=(173312,useless=111767), ccks=114615, wck=0.447, mem=68M864
5.51/2.84 decisions=3069, wrong=593, backtracks=337, failedAssignments=385, nogoods=180, foundSolutions=100, bestBound=135
5.51/2.84
5.51/2.84 num=125, depth=2..7, filters=65475, revisions=(175387,useless=112954), ccks=115748, wck=0.45, mem=68M864
5.51/2.84 decisions=3105, wrong=610, backtracks=346, failedAssignments=397, nogoods=186, foundSolutions=100, bestBound=135
5.51/2.84
5.51/2.85 num=126, depth=0..6, filters=66457, revisions=(178284,useless=114944), ccks=117230, wck=0.454, mem=68M864
5.51/2.85 decisions=3154, wrong=634, backtracks=364, failedAssignments=410, nogoods=187, foundSolutions=100, bestBound=135
5.51/2.85
5.51/2.85 o 134
5.51/2.85 num=127, depth=0..79, filters=67472, revisions=(181102,useless=116808), ccks=119129, wck=0.458, mem=68M864
5.51/2.85 decisions=3199, wrong=651, backtracks=371, failedAssignments=423, nogoods=193, foundSolutions=101, bestBound=134
5.51/2.85
5.51/2.85 num=128, depth=0..7, filters=68371, revisions=(183770,useless=118654), ccks=120680, wck=0.462, mem=68M864
5.51/2.85 decisions=3246, wrong=673, backtracks=381, failedAssignments=439, nogoods=198, foundSolutions=101, bestBound=134
5.51/2.85
5.51/2.85 o 133
5.51/2.85 num=129, depth=2..79, filters=68983, revisions=(185110,useless=119411), ccks=121750, wck=0.464, mem=68M864
5.51/2.85 decisions=3271, wrong=678, backtracks=381, failedAssignments=444, nogoods=203, foundSolutions=102, bestBound=133
5.51/2.85
5.51/2.86 num=130, depth=3..10, filters=69996, revisions=(187371,useless=120699), ccks=122934, wck=0.467, mem=68M864
5.51/2.86 decisions=3307, wrong=694, backtracks=389, failedAssignments=456, nogoods=212, foundSolutions=102, bestBound=133
5.51/2.86
5.51/2.86 num=131, depth=0..9, filters=70707, revisions=(189077,useless=121734), ccks=123805, wck=0.47, mem=68M864
5.51/2.86 decisions=3338, wrong=707, backtracks=395, failedAssignments=467, nogoods=219, foundSolutions=102, bestBound=133
5.51/2.86
5.51/2.86 o 132
5.51/2.86 num=132, depth=0..79, filters=71856, revisions=(192122,useless=123680), ccks=125892, wck=0.474, mem=68M864
5.51/2.86 decisions=3377, wrong=721, backtracks=403, failedAssignments=477, nogoods=221, foundSolutions=103, bestBound=132
5.51/2.86
5.51/2.87 o 131
5.51/2.87 num=133, depth=3..79, filters=72489, revisions=(194000,useless=124920), ccks=126909, wck=0.476, mem=68M864
5.51/2.87 decisions=3389, wrong=724, backtracks=403, failedAssignments=480, nogoods=224, foundSolutions=104, bestBound=131
5.51/2.87
5.51/2.87 o 130
5.51/2.87 num=134, depth=0..79, filters=73109, revisions=(196069,useless=126399), ccks=128114, wck=0.479, mem=68M864
5.51/2.87 decisions=3416, wrong=732, backtracks=409, failedAssignments=484, nogoods=225, foundSolutions=105, bestBound=130
5.51/2.87
5.51/2.87 num=135, depth=2..10, filters=74041, revisions=(198165,useless=127597), ccks=129098, wck=0.482, mem=68M864
5.51/2.87 decisions=3453, wrong=747, backtracks=419, failedAssignments=495, nogoods=229, foundSolutions=105, bestBound=130
5.51/2.87
5.51/2.87 o 129
5.51/2.87 num=136, depth=5..79, filters=74469, revisions=(199178,useless=128196), ccks=129933, wck=0.484, mem=71M506
5.51/2.87 decisions=3473, wrong=750, backtracks=419, failedAssignments=498, nogoods=232, foundSolutions=106, bestBound=129
5.51/2.87
5.51/2.88 o 128
5.51/2.88 num=137, depth=1..79, filters=75758, revisions=(201997,useless=129773), ccks=131759, wck=0.489, mem=71M506
5.51/2.88 decisions=3516, wrong=766, backtracks=430, failedAssignments=505, nogoods=235, foundSolutions=107, bestBound=128
5.51/2.88
5.51/2.88 num=138, depth=2..8, filters=77153, revisions=(205040,useless=131494), ccks=133392, wck=0.492, mem=71M506
5.51/2.88 decisions=3562, wrong=787, backtracks=446, failedAssignments=516, nogoods=240, foundSolutions=107, bestBound=128
5.51/2.88
5.51/2.89 num=139, depth=3..10, filters=78242, revisions=(207181,useless=132593), ccks=134567, wck=0.494, mem=71M506
5.51/2.89 decisions=3595, wrong=801, backtracks=455, failedAssignments=527, nogoods=245, foundSolutions=107, bestBound=128
5.51/2.89
5.51/2.89 o 127
5.51/2.89 num=140, depth=0..79, filters=79547, revisions=(210460,useless=134624), ccks=136530, wck=0.498, mem=71M506
5.51/2.89 decisions=3634, wrong=816, backtracks=466, failedAssignments=535, nogoods=245, foundSolutions=108, bestBound=127
5.51/2.89
5.51/2.89 o 126
5.51/2.89 num=141, depth=81..79, filters=79933, revisions=(211607,useless=135390), ccks=137258, wck=0.501, mem=71M506
5.51/2.89 decisions=3646, wrong=816, backtracks=466, failedAssignments=535, nogoods=245, foundSolutions=109, bestBound=126
5.51/2.89
5.51/2.89 o 125
5.83/2.90 num=142, depth=1..79, filters=81253, revisions=(214340,useless=136857), ccks=138728, wck=0.505, mem=71M506
5.83/2.90 decisions=3697, wrong=836, backtracks=483, failedAssignments=544, nogoods=247, foundSolutions=110, bestBound=125
5.83/2.90
5.83/2.90 o 124
5.83/2.90 num=143, depth=8..79, filters=81644, revisions=(215531,useless=137667), ccks=139391, wck=0.507, mem=71M506
5.83/2.90 decisions=3709, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=111, bestBound=124
5.83/2.90
5.83/2.90 o 123
5.83/2.90 num=144, depth=81..79, filters=82012, revisions=(216665,useless=138436), ccks=140069, wck=0.509, mem=71M506
5.83/2.90 decisions=3720, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=112, bestBound=123
5.83/2.90
5.83/2.90 o 122
5.83/2.90 num=145, depth=81..79, filters=82384, revisions=(217812,useless=139216), ccks=140739, wck=0.51, mem=71M506
5.83/2.90 decisions=3731, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=113, bestBound=122
5.83/2.90
5.83/2.90 o 121
5.83/2.90 num=146, depth=81..79, filters=82741, revisions=(218958,useless=140015), ccks=141401, wck=0.512, mem=71M506
5.83/2.90 decisions=3740, wrong=837, backtracks=483, failedAssignments=545, nogoods=248, foundSolutions=114, bestBound=121
5.83/2.90
5.83/2.91 num=147, depth=1..11, filters=84358, revisions=(222281,useless=141782), ccks=142813, wck=0.516, mem=71M506
5.83/2.91 decisions=3794, wrong=861, backtracks=499, failedAssignments=556, nogoods=256, foundSolutions=114, bestBound=121
5.83/2.91
5.83/2.91 o 120
5.83/2.91 num=148, depth=0..79, filters=84940, revisions=(223768,useless=142704), ccks=143876, wck=0.519, mem=71M506
5.83/2.91 decisions=3813, wrong=864, backtracks=501, failedAssignments=558, nogoods=256, foundSolutions=115, bestBound=120
5.83/2.91
5.83/2.91 o 119
5.83/2.91 num=149, depth=1..79, filters=85313, revisions=(224958,useless=143525), ccks=144546, wck=0.521, mem=71M506
5.83/2.91 decisions=3826, wrong=865, backtracks=501, failedAssignments=559, nogoods=257, foundSolutions=116, bestBound=119
5.83/2.91
5.83/2.91 o 118
5.83/2.91 num=150, depth=2..79, filters=86124, revisions=(227005,useless=144769), ccks=145720, wck=0.523, mem=71M506
5.83/2.91 decisions=3839, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=117, bestBound=118
5.83/2.91
5.83/2.91 o 117
5.83/2.91 num=151, depth=81..79, filters=86488, revisions=(228169,useless=145567), ccks=146403, wck=0.524, mem=71M506
5.83/2.91 decisions=3851, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=118, bestBound=117
5.83/2.91
5.83/2.92 o 116
5.83/2.92 num=152, depth=81..79, filters=86850, revisions=(229275,useless=146311), ccks=147065, wck=0.526, mem=71M506
5.83/2.92 decisions=3864, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=119, bestBound=116
5.83/2.92
5.83/2.92 o 115
5.83/2.92 num=153, depth=81..79, filters=87197, revisions=(230521,useless=147210), ccks=147729, wck=0.527, mem=71M506
5.83/2.92 decisions=3870, wrong=867, backtracks=502, failedAssignments=560, nogoods=258, foundSolutions=120, bestBound=115
5.83/2.92
5.83/2.92 num=154, depth=0..8, filters=88531, revisions=(233261,useless=148696), ccks=148949, wck=0.53, mem=71M506
5.83/2.92 decisions=3925, wrong=892, backtracks=518, failedAssignments=571, nogoods=259, foundSolutions=120, bestBound=115
5.83/2.92
5.83/2.92 num=155, depth=0..6, filters=89722, revisions=(235400,useless=149699), ccks=150273, wck=0.533, mem=71M506
5.83/2.92 decisions=3967, wrong=913, backtracks=531, failedAssignments=582, nogoods=259, foundSolutions=120, bestBound=115
5.83/2.92
5.83/2.93
5.83/2.93 New Bounds: 115..114
5.83/2.93 num=156, depth=0..11, filters=90760, revisions=(237491,useless=150809), ccks=151465, wck=0.535, mem=71M506
5.83/2.93 decisions=4005, wrong=933, backtracks=548, failedAssignments=590, foundSolutions=120, bestBound=115
5.83/2.93
5.83/2.93 Global
5.83/2.93 filters=90760, revisions=(237491,useless=150809), ccks=151465
5.83/2.93 Stop=FULL_EXPLORATION, wrong=933, bestBound=115, bestBoundWck=1.071, bestBoundCpu=2.885, foundSolutions=120, firstSolCpu=2.378
5.83/2.93 wck=1.08, cpu=2.894, mem=71M506
5.83/2.93
5.83/2.93 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.83/2.93 s OPTIMUM FOUND
5.83/2.93
5.83/2.93 d WRONG_DECISIONS 933
5.83/2.93 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 (11660 MiB free)
memory of node 1: 16384 MiB (14014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390810-1568381756/watcher-4390810-1568381756 -o /tmp/evaluation-result-4390810-1568381756/solver-4390810-1568381756 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390810-1568381756.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1043, runsolver pid=1040
[startup+0.108515 s]*
/proc/loadavg: 2.25 1.96 1.44 4/228 1058
/proc/meminfo: memFree=26275604/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10659884 memory=29820 CPUtime=0.15 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 6011 0 0 0 14 1 0 0 20 0 15 0 414089501 10915721216 7455 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2664971 7455 2922 1 0 2627468 0
[pid=1043/tid=1045] ppid=1040 vsize=10659884 memory=7022364594140610616 CPUtime=0.1 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) R 1040 1043 32084 0 -1 4202560 3245 0 0 0 10 0 0 0 20 0 15 0 414089502 10915721216 7587 33554432000 4194304 4196468 140721974707584 139761468356880 139761448203614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 7587 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10659884 memory=140089756658674 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 7587 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 7587 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 7587 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760955147168 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760954094576 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) S 1040 1043 32084 0 -1 1077944384 660 0 0 0 1 0 0 0 20 0 15 0 414089507 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760951990768 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) S 1040 1043 32084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760950938224 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0.03 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) R 1040 1043 32084 0 -1 4202560 726 0 0 0 3 0 0 0 20 0 15 0 414089507 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760949885680 139761442749589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 7587 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29820 KiB
[startup+0.211042 s]*
/proc/loadavg: 2.25 1.96 1.44 4/228 1058
/proc/meminfo: memFree=26263396/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10659884 memory=37500 CPUtime=0.33 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 9121 0 0 0 30 3 0 0 20 0 15 0 414089501 10915721216 9375 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2664971 9375 2989 1 0 2627468 0
[pid=1043/tid=1045] ppid=1040 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) R 1040 1043 32084 0 -1 4202560 6090 0 0 0 18 2 0 0 20 0 15 0 414089502 10915721216 9375 33554432000 4194304 4196468 140721974707584 139761468349488 139761464145053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 9375 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10659884 memory=140089756658674 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 9375 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 9375 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 9375 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760955147168 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760954094576 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) S 1040 1043 32084 0 -1 1077944384 816 0 0 0 4 0 0 0 20 0 15 0 414089507 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760951990768 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) S 1040 1043 32084 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 414089507 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760950938224 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0.05 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) S 1040 1043 32084 0 -1 1077944384 755 0 0 0 5 0 0 0 20 0 15 0 414089507 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760949885680 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 9375 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37500 KiB
[startup+0.310244 s]*
/proc/loadavg: 2.25 1.96 1.44 3/228 1058
/proc/meminfo: memFree=26261536/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10659884 memory=40308 CPUtime=0.47 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 9312 0 0 0 44 3 0 0 20 0 15 0 414089501 10915721216 10077 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2664971 10077 3034 1 0 2627468 0
[pid=1043/tid=1045] ppid=1040 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) R 1040 1043 32084 0 -1 4202560 6241 0 0 0 28 2 0 0 20 0 15 0 414089502 10915721216 10077 33554432000 4194304 4196468 140721974707584 139761468354928 139761464145053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10659884 memory=288230596134830447 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 10077 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10659884 memory=3474018279989998994 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 10077 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 10077 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089502 10915721216 10077 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760955147168 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10659884 memory=140089756628608 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089504 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760954094576 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) R 1040 1043 32084 0 -1 1077944384 824 0 0 0 4 0 0 0 20 0 15 0 414089507 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760951990864 139761464133333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) R 1040 1043 32084 0 -1 4202560 137 0 0 0 3 0 0 0 20 0 15 0 414089507 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760950928736 139761447522307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10659884 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) S 1040 1043 32084 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 15 0 414089507 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760949885680 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089507 10915721216 10077 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40308 KiB
[startup+0.700999 s]
/proc/loadavg: 2.25 1.96 1.44 3/228 1058
/proc/meminfo: memFree=26251824/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10661932 memory=63076 CPUtime=1.12 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 12769 0 0 0 107 5 0 0 20 0 15 0 414089501 10917818368 15769 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2665483 15769 3071 1 0 2627980 0
[pid=1043/tid=1045] ppid=1040 vsize=10661932 memory=80 CPUtime=0.68 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) R 1040 1043 32084 0 -1 4202560 8784 0 0 0 65 3 0 0 20 0 15 0 414089502 10917818368 15769 33554432000 4194304 4196468 140721974707584 139761468353568 139761450339397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10917818368 15769 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10917818368 15769 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10917818368 15769 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089502 10917818368 15769 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089504 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089504 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760955147168 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089504 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760954094576 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10661932 memory=3512 CPUtime=0.12 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) S 1040 1043 32084 0 -1 1077944384 1067 0 0 0 12 0 0 0 20 0 15 0 414089507 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760951990768 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10661932 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) R 1040 1043 32084 0 -1 4202560 367 0 0 0 10 0 0 0 20 0 15 0 414089507 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760950938224 139761445644561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10661932 memory=22999 CPUtime=0.18 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) S 1040 1043 32084 0 -1 1077944384 1192 0 0 0 18 0 0 0 20 0 15 0 414089507 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760949885680 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089507 10917818368 15769 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63076 KiB
[startup+1.50082 s]
/proc/loadavg: 2.25 1.96 1.44 3/228 1058
/proc/meminfo: memFree=26236256/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10663980 memory=75300 CPUtime=2.02 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 18300 0 0 0 196 6 0 0 20 0 15 0 414089501 10919915520 18825 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2665995 18825 3095 1 0 2628492 0
[pid=1043/tid=1045] ppid=1040 vsize=10663980 memory=39524 CPUtime=1.48 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) R 1040 1043 32084 0 -1 4202560 13045 0 0 0 144 4 0 0 20 0 15 0 414089502 10919915520 18825 33554432000 4194304 4196468 140721974707584 139761468355152 139761445496576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10663980 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10919915520 18825 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10919915520 18825 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10663980 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10919915520 18825 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10663980 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089502 10919915520 18825 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10663980 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 414089504 10919915520 18825 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
################
# More data... #
################
Dumping a history of the last processes samples
[startup+1.6009 s]
/proc/loadavg: 2.25 1.96 1.44 3/228 1058
/proc/meminfo: memFree=26236256/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10666028 memory=76496 CPUtime=2.13 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 18707 0 0 0 207 6 0 0 20 0 15 0 414089501 10922012672 19124 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2666507 19124 3095 1 0 2629004 0
[pid=1043/tid=1045] ppid=1040 vsize=10666028 memory=2871061956344435 CPUtime=1.58 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) R 1040 1043 32084 0 -1 4202560 13448 0 0 0 154 4 0 0 20 0 15 0 414089502 10922012672 19124 33554432000 4194304 4196468 140721974707584 139761468355152 139761450362545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10666028 memory=280179238764784 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10922012672 19124 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10922012672 19124 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10666028 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089502 10922012672 19124 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10666028 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089502 10922012672 19124 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 414089504 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10666028 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089504 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760955147168 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10666028 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089504 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760954094576 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10666028 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10666028 memory=6944656592455359545 CPUtime=0.16 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) S 1040 1043 32084 0 -1 1077944384 1420 0 0 0 16 0 0 0 20 0 15 0 414089507 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760951990768 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10666028 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) S 1040 1043 32084 0 -1 1077944384 1217 0 0 0 17 0 0 0 20 0 15 0 414089507 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760950938224 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) S 1040 1043 32084 0 -1 1077944384 1194 0 0 0 18 0 0 0 20 0 15 0 414089507 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760949885680 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089507 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 414089507 10922012672 19124 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76496 KiB
[startup+2.401 s]
/proc/loadavg: 2.25 1.96 1.44 4/229 1059
/proc/meminfo: memFree=26156752/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10748324 memory=165024 CPUtime=4.2 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 28165 0 0 0 407 13 0 0 20 0 16 0 414089501 11006283776 41256 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2687081 41256 3338 1 0 2647217 0
[pid=1043/tid=1045] ppid=1040 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) S 1040 1043 32084 0 -1 1077944384 15292 0 0 0 180 6 0 0 20 0 16 0 414089502 11006283776 41256 33554432000 4194304 4196468 140721974707584 139761468366000 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10748324 memory=140089619549517 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 41256 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414089502 11006283776 41256 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10748324 memory=39524 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 41256 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10748324 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 41256 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 414089504 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10748324 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414089504 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760955147232 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089504 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760954094592 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10748324 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10748324 memory=6100 CPUtime=0.54 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) R 1040 1043 32084 0 -1 4202560 2774 0 0 0 54 0 0 0 20 0 16 0 414089507 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760951977312 139761445299046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10748324 memory=33 CPUtime=0.58 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) S 1040 1043 32084 0 -1 1077944384 2346 0 0 0 58 0 0 0 20 0 16 0 414089507 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760950938224 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10748324 memory=7306316804797196914 CPUtime=0.61 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) R 1040 1043 32084 0 -1 4202560 3110 0 0 0 60 1 0 0 20 0 16 0 414089507 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760949883472 139761464144474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10748324 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10748324 memory=6300931043287983461 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1059] ppid=1040 vsize=10748324 memory=55 CPUtime=0.48 cores=0,2,4,6
/proc/1043/task/1059/stat : 1059 (java) R 1040 1043 32084 0 -1 4202560 1901 0 0 0 47 1 0 0 20 0 16 0 414089689 11006283776 41256 33554432000 4194304 4196468 140721974707584 139760930712416 139761448166757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165024 KiB
[startup+2.80096 s]
/proc/loadavg: 2.25 1.96 1.44 4/229 1059
/proc/meminfo: memFree=26156752/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10748324 memory=174244 CPUtime=5.51 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 31749 0 0 0 536 15 0 0 20 0 16 0 414089501 11006283776 43561 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2687081 43561 3345 1 0 2647217 0
[pid=1043/tid=1045] ppid=1040 vsize=10748324 memory=7446227357361464404 CPUtime=1.86 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) S 1040 1043 32084 0 -1 1077944384 15292 0 0 0 180 6 0 0 20 0 16 0 414089502 11006283776 43561 33554432000 4194304 4196468 140721974707584 139761468366000 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 43561 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10748324 memory=13848568836175068 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414089502 11006283776 43561 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10748324 memory=-8556706683525959004 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 43561 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10748324 memory=280179239249504 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 43561 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10748324 memory=2110440226701924 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 414089504 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414089504 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760955147232 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089504 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760954094592 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10748324 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) R 1040 1043 32084 0 -1 4202560 3306 0 0 0 93 0 0 0 20 0 16 0 414089507 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760951983960 139761445302746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10748324 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) R 1040 1043 32084 0 -1 4202560 3085 0 0 0 98 1 0 0 20 0 16 0 414089507 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760950918488 139761445644471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10748324 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) S 1040 1043 32084 0 -1 1077944384 3444 0 0 0 72 1 0 0 20 0 16 0 414089507 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760949885680 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10748324 memory=-4866526899798303339 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1059] ppid=1040 vsize=10748324 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/1043/task/1059/stat : 1059 (java) R 1040 1043 32084 0 -1 4202560 3878 0 0 0 86 2 0 0 20 0 16 0 414089689 11006283776 43561 33554432000 4194304 4196468 140721974707584 139760930711712 139761464144957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 174244 KiB
[startup+2.90096 s]
/proc/loadavg: 2.25 1.96 1.44 4/229 1059
/proc/meminfo: memFree=26156752/32770624 swapFree=66957012/67108860
[pid=1043] ppid=1040 vsize=10748324 memory=180920 CPUtime=5.83 cores=0,2,4,6
/proc/1043/stat : 1043 (java) S 1040 1043 32084 0 -1 1077944320 32644 0 0 0 568 15 0 0 20 0 16 0 414089501 11006283776 45230 33554432000 4194304 4196468 140721974707584 140721974690128 139761464123127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
/proc/1043/statm: 2687081 45230 3346 1 0 2647217 0
[pid=1043/tid=1045] ppid=1040 vsize=10748324 memory=7686721470247706567 CPUtime=1.86 cores=0,2,4,6
/proc/1043/task/1045/stat : 1045 (java) S 1040 1043 32084 0 -1 1077944384 15292 0 0 0 180 6 0 0 20 0 16 0 414089502 11006283776 45230 33554432000 4194304 4196468 140721974707584 139761468366000 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1046] ppid=1040 vsize=10748324 memory=8325370767371654845 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1046/stat : 1046 (java) S 1040 1043 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 45230 33554432000 4194304 4196468 140721974707584 139761071155984 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1047] ppid=1040 vsize=10748324 memory=8039887049847964027 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1047/stat : 1047 (java) S 1040 1043 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414089502 11006283776 45230 33554432000 4194304 4196468 140721974707584 139761070103440 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1048] ppid=1040 vsize=10748324 memory=92576 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1048/stat : 1048 (java) S 1040 1043 32084 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 45230 33554432000 4194304 4196468 140721974707584 139761069050896 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1049] ppid=1040 vsize=10748324 memory=280179239271072 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1049/stat : 1049 (java) S 1040 1043 32084 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414089502 11006283776 45230 33554432000 4194304 4196468 140721974707584 139761067998352 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1050] ppid=1040 vsize=10748324 memory=6653575432938 CPUtime=0.01 cores=0,2,4,6
/proc/1043/task/1050/stat : 1050 (java) S 1040 1043 32084 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 414089504 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760956200944 139761464134274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1051] ppid=1040 vsize=10748324 memory=280179239223312 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1051/stat : 1051 (java) S 1040 1043 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414089504 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760955147232 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1052] ppid=1040 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1052/stat : 1052 (java) S 1040 1043 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089504 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760954094592 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1053] ppid=1040 vsize=10748324 memory=186 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1053/stat : 1053 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760953043152 139761464141723 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1054] ppid=1040 vsize=10748324 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/1043/task/1054/stat : 1054 (java) R 1040 1043 32084 0 -1 4202560 3337 0 0 0 103 0 0 0 20 0 16 0 414089507 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760951983960 139761449283215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1055] ppid=1040 vsize=10748324 memory=1 CPUtime=1.09 cores=0,2,4,6
/proc/1043/task/1055/stat : 1055 (java) R 1040 1043 32084 0 -1 4202560 3495 0 0 0 108 1 0 0 20 0 16 0 414089507 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760950918488 139761449042181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1056] ppid=1040 vsize=10748324 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/1043/task/1056/stat : 1056 (java) R 1040 1043 32084 0 -1 4202560 3669 0 0 0 74 1 0 0 20 0 16 0 414089507 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760949885680 139761442758970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1057] ppid=1040 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1057/stat : 1057 (java) S 1040 1043 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760948833376 139761464133333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1058] ppid=1040 vsize=10748324 memory=1 CPUtime=0 cores=0,2,4,6
/proc/1043/task/1058/stat : 1058 (java) S 1040 1043 32084 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 414089507 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760947779888 139761464134274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
[pid=1043/tid=1059] ppid=1040 vsize=10748324 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/1043/task/1059/stat : 1059 (java) R 1040 1043 32084 0 -1 4202560 4107 0 0 0 95 3 0 0 20 0 16 0 414089689 11006283776 45230 33554432000 4194304 4196468 140721974707584 139760930698064 139761464144957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9924608 140721974715403 140721974715506 140721974715506 140721974718415 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 180920 KiB
Child status: 0
Real time (s): 2.94997
CPU time (s): 5.94997
CPU user time (s): 5.785
CPU system time (s): 0.164967
CPU usage (%): 201.696
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 180920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.785
system time used= 0.164967
maximum resident set size= 182820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32778
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= 2717
involuntary context switches= 28
# summary of solver processes directly reported to runsolver:
# pid: 1043
# total CPU time (s): 5.94997
# total CPU user time (s): 5.785
# total CPU system time (s): 0.164967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047239 second user time and 0.074233 second system time
The end