2.39/1.89
2.39/1.89 AbsCon 2
2.64/1.91
2.91/2.09 Instance
2.91/2.09 name=instance-4391199-1568389748, framework=COP, bounds=-infty..+infty
2.91/2.09
2.91/2.09 Loading variables...
3.17/2.12 Loading constraints...
3.77/2.31
3.77/2.31 Domains
3.77/2.31 nTypes=34, nValues=586, sizes=[3#4,4#7,5#1,7#2...9#6,10#5,11#21,12#12]
3.77/2.31 Variables
3.77/2.31 count=64, degrees=[2#32,13#20,22#11,23#1]
3.77/2.31 Objectives
3.77/2.31 way=min, type=SumSimpleLE
3.77/2.31 Constraints
3.77/2.31 count=275, nSpecific=2, arities=[1#1,2#272,12#1,32#1]
3.77/2.31 distribution=[Circuit#1,CtrExtensionV-Bits#32,CtrIntension#241,SumSimpleLE#1]
3.77/2.31 nExtStructures=(32,shared:0), nIntStructures=(13,shared:228), nCftStructures=(44,shared:228,unbuilt:3)
3.77/2.31 wck=0.444, cpu=2.275, mem=34M440
3.77/2.31 Solver SolverBacktrack being built...
3.77/2.31
3.77/2.34
3.77/2.34 Solver
3.77/2.34 guaranteedGAC=false
3.77/2.34 wck=0.473, cpu=2.303, mem=45M82
3.77/2.34
3.77/2.34 Preprocessing
3.77/2.34 filters=14, revisions=(26,useless=12), ccks=1587, nACremovedValues=100, nTotalRemovedValues=100, inconcistency=false
3.77/2.34 wck=0.004, cpu=2.308, mem=45M82
3.77/2.34
3.77/2.35 o 276
3.77/2.36 num=0, depth=65..63, filters=387, revisions=(556,useless=178), ccks=2103, wck=0.021, mem=47M724
3.77/2.36 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=276
3.77/2.36
3.77/2.37 o 275
3.77/2.37 num=1, depth=6..63, filters=742, revisions=(1221,useless=501), ccks=2676, wck=0.033, mem=47M724
3.77/2.37 decisions=38, wrong=3, backtracks=2, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=275
3.77/2.37
3.77/2.39 o 274
3.77/2.39 num=2, depth=2..63, filters=888, revisions=(1834,useless=982), ccks=3231, wck=0.05, mem=47M724
3.77/2.39 decisions=66, wrong=6, backtracks=3, failedAssignments=3, nogoods=3, foundSolutions=3, bestBound=274
3.77/2.39
3.77/2.39 o 273
3.77/2.39 num=3, depth=2..63, filters=1020, revisions=(2605,useless=1635), ccks=3734, wck=0.055, mem=47M724
3.77/2.39 decisions=92, wrong=11, backtracks=4, failedAssignments=7, nogoods=6, foundSolutions=4, bestBound=273
3.77/2.39
3.77/2.39 o 270
3.77/2.39 num=4, depth=65..63, filters=1206, revisions=(3103,useless=1956), ccks=4125, wck=0.058, mem=47M724
3.77/2.39 decisions=117, wrong=11, backtracks=4, failedAssignments=7, nogoods=6, foundSolutions=5, bestBound=270
3.77/2.39
4.11/2.41 o 265
4.11/2.41 num=5, depth=3..63, filters=1406, revisions=(3662,useless=2327), ccks=4541, wck=0.063, mem=47M724
4.11/2.41 decisions=147, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=6, bestBound=265
4.11/2.41
4.11/2.41 o 264
4.11/2.41 num=6, depth=65..63, filters=1577, revisions=(4171,useless=2673), ccks=4916, wck=0.066, mem=47M724
4.11/2.41 decisions=169, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=7, bestBound=264
4.11/2.41
4.11/2.41 o 263
4.11/2.41 num=7, depth=65..63, filters=1763, revisions=(4676,useless=3001), ccks=5272, wck=0.069, mem=47M724
4.11/2.41 decisions=192, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=8, bestBound=263
4.11/2.41
4.11/2.41 o 259
4.11/2.41 num=8, depth=65..63, filters=1931, revisions=(5190,useless=3354), ccks=5629, wck=0.072, mem=47M724
4.11/2.41 decisions=213, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=9, bestBound=259
4.11/2.41
4.11/2.41 o 258
4.11/2.41 num=9, depth=65..63, filters=2115, revisions=(5693,useless=3682), ccks=5986, wck=0.075, mem=47M724
4.11/2.41 decisions=236, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=10, bestBound=258
4.11/2.41
4.11/2.41 o 257
4.11/2.41 num=10, depth=65..63, filters=2283, revisions=(6208,useless=4036), ccks=6343, wck=0.078, mem=47M724
4.11/2.41 decisions=257, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=11, bestBound=257
4.11/2.41
4.11/2.43 o 256
4.11/2.43 num=11, depth=65..63, filters=2464, revisions=(6723,useless=4378), ccks=6699, wck=0.081, mem=47M724
4.11/2.43 decisions=278, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=12, bestBound=256
4.11/2.43
4.11/2.43 o 253
4.11/2.43 num=12, depth=65..63, filters=2638, revisions=(7233,useless=4723), ccks=7060, wck=0.083, mem=47M724
4.11/2.43 decisions=300, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=13, bestBound=253
4.11/2.43
4.11/2.43 o 252
4.11/2.43 num=13, depth=65..63, filters=2828, revisions=(7741,useless=5051), ccks=7416, wck=0.085, mem=47M724
4.11/2.43 decisions=323, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=14, bestBound=252
4.11/2.43
4.11/2.43 o 248
4.11/2.43 num=14, depth=65..63, filters=3001, revisions=(8259,useless=5404), ccks=7773, wck=0.088, mem=47M724
4.11/2.43 decisions=344, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=15, bestBound=248
4.11/2.43
4.11/2.43 o 247
4.11/2.43 num=15, depth=65..63, filters=3189, revisions=(8765,useless=5732), ccks=8130, wck=0.09, mem=47M724
4.11/2.43 decisions=367, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=16, bestBound=247
4.11/2.43
4.11/2.43 o 246
4.11/2.43 num=16, depth=65..63, filters=3360, revisions=(9283,useless=6087), ccks=8487, wck=0.093, mem=47M724
4.11/2.43 decisions=388, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=17, bestBound=246
4.11/2.43
4.11/2.43 o 245
4.11/2.43 num=17, depth=65..63, filters=3544, revisions=(9801,useless=6430), ccks=8843, wck=0.095, mem=47M724
4.11/2.43 decisions=409, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=18, bestBound=245
4.11/2.43
4.11/2.43 o 244
4.11/2.43 num=18, depth=65..63, filters=3711, revisions=(10332,useless=6801), ccks=9201, wck=0.097, mem=47M724
4.11/2.43 decisions=428, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=19, bestBound=244
4.11/2.43
4.11/2.43 o 242
4.11/2.44 num=19, depth=65..63, filters=3905, revisions=(10843,useless=7128), ccks=9560, wck=0.099, mem=47M724
4.11/2.44 decisions=451, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=20, bestBound=242
4.11/2.44
4.11/2.44 o 241
4.11/2.44 num=20, depth=65..63, filters=4082, revisions=(11365,useless=7482), ccks=9919, wck=0.101, mem=47M724
4.11/2.44 decisions=472, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=21, bestBound=241
4.11/2.44
4.11/2.44 o 240
4.11/2.44 num=21, depth=65..63, filters=4273, revisions=(11874,useless=7810), ccks=10276, wck=0.104, mem=47M724
4.11/2.44 decisions=495, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=22, bestBound=240
4.11/2.44
4.11/2.44 o 239
4.11/2.44 num=22, depth=65..63, filters=4447, revisions=(12395,useless=8165), ccks=10633, wck=0.106, mem=47M724
4.11/2.44 decisions=516, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=23, bestBound=239
4.11/2.44
4.11/2.44 o 238
4.11/2.44 num=23, depth=65..63, filters=4634, revisions=(12916,useless=8508), ccks=10989, wck=0.108, mem=47M724
4.11/2.44 decisions=537, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=24, bestBound=238
4.11/2.44
4.11/2.45 o 237
4.11/2.45 num=24, depth=65..63, filters=4804, revisions=(13450,useless=8879), ccks=11347, wck=0.11, mem=47M724
4.11/2.45 decisions=556, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=25, bestBound=237
4.11/2.45
4.11/2.45 o 236
4.11/2.45 num=25, depth=65..63, filters=4989, revisions=(13961,useless=9214), ccks=11705, wck=0.113, mem=47M724
4.11/2.45 decisions=578, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=26, bestBound=236
4.11/2.45
4.11/2.45 o 234
4.11/2.45 num=26, depth=65..63, filters=5159, revisions=(14477,useless=9568), ccks=12064, wck=0.115, mem=47M724
4.11/2.45 decisions=599, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=27, bestBound=234
4.11/2.45
4.11/2.45 o 233
4.11/2.45 num=27, depth=65..63, filters=5340, revisions=(14999,useless=9918), ccks=12420, wck=0.117, mem=47M724
4.11/2.45 decisions=619, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=28, bestBound=233
4.11/2.45
4.11/2.46 o 232
4.11/2.46 num=28, depth=65..63, filters=5508, revisions=(15538,useless=10297), ccks=12778, wck=0.12, mem=47M724
4.11/2.46 decisions=637, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=29, bestBound=232
4.11/2.46
4.11/2.46 o 231
4.11/2.46 num=29, depth=65..63, filters=5694, revisions=(16064,useless=10647), ccks=13135, wck=0.122, mem=47M724
4.11/2.46 decisions=657, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=30, bestBound=231
4.11/2.46
4.11/2.46 o 228
4.11/2.46 num=30, depth=65..63, filters=5880, revisions=(16592,useless=11000), ccks=13497, wck=0.124, mem=47M724
4.11/2.46 decisions=678, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=31, bestBound=228
4.11/2.46
4.11/2.46 o 227
4.11/2.46 num=31, depth=65..63, filters=6084, revisions=(17111,useless=11328), ccks=13854, wck=0.126, mem=47M724
4.11/2.46 decisions=701, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=32, bestBound=227
4.11/2.46
4.11/2.46 o 226
4.11/2.46 num=32, depth=65..63, filters=6272, revisions=(17643,useless=11683), ccks=14211, wck=0.128, mem=50M367
4.11/2.46 decisions=722, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=33, bestBound=226
4.11/2.46
4.11/2.47 o 225
4.11/2.47 num=33, depth=65..63, filters=6476, revisions=(18178,useless=12026), ccks=14567, wck=0.131, mem=50M367
4.11/2.47 decisions=743, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=34, bestBound=225
4.11/2.47
4.11/2.47 o 224
4.11/2.47 num=34, depth=65..63, filters=6664, revisions=(18727,useless=12397), ccks=14925, wck=0.133, mem=50M367
4.11/2.47 decisions=762, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=35, bestBound=224
4.11/2.47
4.11/2.47 o 223
4.11/2.47 num=35, depth=65..63, filters=6869, revisions=(19255,useless=12732), ccks=15283, wck=0.135, mem=50M367
4.11/2.47 decisions=784, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=36, bestBound=223
4.11/2.47
4.11/2.47 o 221
4.11/2.47 num=36, depth=65..63, filters=7059, revisions=(19788,useless=13086), ccks=15642, wck=0.137, mem=50M367
4.11/2.47 decisions=805, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=37, bestBound=221
4.11/2.47
4.11/2.48 o 220
4.11/2.48 num=37, depth=65..63, filters=7260, revisions=(20328,useless=13436), ccks=15998, wck=0.14, mem=50M367
4.11/2.48 decisions=825, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=38, bestBound=220
4.11/2.48
4.11/2.48 o 219
4.11/2.48 num=38, depth=65..63, filters=7442, revisions=(20880,useless=13815), ccks=16356, wck=0.142, mem=50M367
4.11/2.48 decisions=843, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=39, bestBound=219
4.11/2.48
4.11/2.48 o 218
4.11/2.48 num=39, depth=65..63, filters=7639, revisions=(21417,useless=14166), ccks=16713, wck=0.144, mem=50M367
4.11/2.48 decisions=863, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=40, bestBound=218
4.11/2.48
4.11/2.48 o 217
4.11/2.48 num=40, depth=65..63, filters=7819, revisions=(21968,useless=14546), ccks=17070, wck=0.146, mem=50M367
4.11/2.48 decisions=881, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=41, bestBound=217
4.11/2.48
4.11/2.48 o 216
4.11/2.48 num=41, depth=65..63, filters=8010, revisions=(22515,useless=14911), ccks=17426, wck=0.148, mem=50M367
4.11/2.48 decisions=899, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=42, bestBound=216
4.11/2.48
4.11/2.49 o 215
4.11/2.49 num=42, depth=65..63, filters=8196, revisions=(23069,useless=15290), ccks=17788, wck=0.15, mem=50M367
4.11/2.49 decisions=917, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=43, bestBound=215
4.11/2.49
4.11/2.49 o 214
4.11/2.49 num=43, depth=65..63, filters=8393, revisions=(23619,useless=15654), ccks=18144, wck=0.153, mem=50M367
4.11/2.49 decisions=935, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=44, bestBound=214
4.11/2.49
4.11/2.49 o 213
4.11/2.49 num=44, depth=65..63, filters=8577, revisions=(24173,useless=16034), ccks=18502, wck=0.155, mem=50M367
4.11/2.49 decisions=953, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=45, bestBound=213
4.11/2.49
4.11/2.49 o 212
4.11/2.49 num=45, depth=65..63, filters=8773, revisions=(24724,useless=16399), ccks=18858, wck=0.158, mem=50M367
4.11/2.49 decisions=971, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=46, bestBound=212
4.11/2.49
4.11/2.50 o 211
4.44/2.50 num=46, depth=65..63, filters=8956, revisions=(25295,useless=16795), ccks=19216, wck=0.16, mem=50M367
4.44/2.50 decisions=987, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=47, bestBound=211
4.44/2.50
4.44/2.50 o 210
4.44/2.50 num=47, depth=65..63, filters=9170, revisions=(25854,useless=17152), ccks=19575, wck=0.162, mem=50M367
4.44/2.50 decisions=1006, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=48, bestBound=210
4.44/2.50
4.44/2.50 o 209
4.44/2.50 num=48, depth=65..63, filters=9365, revisions=(26410,useless=17524), ccks=19936, wck=0.164, mem=50M367
4.44/2.50 decisions=1025, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=49, bestBound=209
4.44/2.50
4.44/2.50 o 208
4.44/2.50 num=49, depth=65..63, filters=9576, revisions=(26968,useless=17882), ccks=20292, wck=0.167, mem=50M367
4.44/2.50 decisions=1044, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=50, bestBound=208
4.44/2.50
4.44/2.50 o 207
4.44/2.50 num=50, depth=65..63, filters=9771, revisions=(27541,useless=18270), ccks=20650, wck=0.169, mem=50M367
4.44/2.50 decisions=1061, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=51, bestBound=207
4.44/2.50
4.44/2.51 o 206
4.44/2.51 num=51, depth=65..63, filters=9984, revisions=(28098,useless=18627), ccks=21009, wck=0.171, mem=50M367
4.44/2.51 decisions=1080, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=52, bestBound=206
4.44/2.51
4.44/2.51 o 205
4.44/2.51 num=52, depth=65..63, filters=10184, revisions=(28674,useless=19014), ccks=21368, wck=0.173, mem=50M367
4.44/2.51 decisions=1097, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=53, bestBound=205
4.44/2.51
4.44/2.51 o 204
4.44/2.51 num=53, depth=65..63, filters=10398, revisions=(29234,useless=19372), ccks=21725, wck=0.175, mem=50M367
4.44/2.51 decisions=1116, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=54, bestBound=204
4.44/2.51
4.44/2.51 o 203
4.44/2.51 num=54, depth=65..63, filters=10593, revisions=(29807,useless=19760), ccks=22082, wck=0.177, mem=50M367
4.44/2.51 decisions=1133, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=55, bestBound=203
4.44/2.51
4.44/2.51 o 202
4.44/2.51 num=55, depth=65..63, filters=10800, revisions=(30376,useless=20132), ccks=22438, wck=0.179, mem=50M367
4.44/2.51 decisions=1150, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=56, bestBound=202
4.44/2.51
4.44/2.52 o 201
4.44/2.52 num=56, depth=65..63, filters=10992, revisions=(30963,useless=20536), ccks=22796, wck=0.181, mem=50M367
4.44/2.52 decisions=1165, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=57, bestBound=201
4.44/2.52
4.44/2.52 o 200
4.44/2.52 num=57, depth=65..63, filters=11195, revisions=(31544,useless=20923), ccks=23152, wck=0.183, mem=50M367
4.44/2.52 decisions=1180, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=58, bestBound=200
4.44/2.52
4.44/2.52 o 199
4.44/2.52 num=58, depth=65..63, filters=11381, revisions=(32126,useless=21327), ccks=23512, wck=0.185, mem=50M367
4.44/2.52 decisions=1195, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=59, bestBound=199
4.44/2.52
4.44/2.52 o 198
4.44/2.52 num=59, depth=65..63, filters=11579, revisions=(32701,useless=21713), ccks=23869, wck=0.187, mem=50M367
4.44/2.52 decisions=1210, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=60, bestBound=198
4.44/2.52
4.44/2.52 o 197
4.44/2.53 num=60, depth=65..63, filters=11757, revisions=(33293,useless=22134), ccks=24226, wck=0.188, mem=50M367
4.44/2.53 decisions=1223, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=61, bestBound=197
4.44/2.53
4.44/2.53 o 196
4.44/2.53 num=61, depth=65..63, filters=11965, revisions=(33848,useless=22492), ccks=24586, wck=0.19, mem=50M367
4.44/2.53 decisions=1242, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=62, bestBound=196
4.44/2.53
4.44/2.53 o 195
4.44/2.53 num=62, depth=65..63, filters=12152, revisions=(34414,useless=22880), ccks=24946, wck=0.192, mem=50M367
4.44/2.53 decisions=1259, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=63, bestBound=195
4.44/2.53
4.44/2.53 o 194
4.44/2.53 num=63, depth=65..63, filters=12350, revisions=(34975,useless=23252), ccks=25302, wck=0.194, mem=50M367
4.44/2.53 decisions=1276, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=64, bestBound=194
4.44/2.53
4.44/2.53 o 193
4.44/2.54 num=64, depth=65..63, filters=12531, revisions=(35552,useless=23656), ccks=25660, wck=0.196, mem=50M367
4.44/2.54 decisions=1291, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=65, bestBound=193
4.44/2.54
4.44/2.54 o 192
4.44/2.54 num=65, depth=65..63, filters=12720, revisions=(36120,useless=24043), ccks=26016, wck=0.198, mem=53M10
4.44/2.54 decisions=1306, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=66, bestBound=192
4.44/2.54
4.44/2.54 o 191
4.44/2.54 num=66, depth=65..63, filters=12892, revisions=(36697,useless=24455), ccks=26376, wck=0.2, mem=53M10
4.44/2.54 decisions=1320, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=67, bestBound=191
4.44/2.54
4.44/2.54 o 190
4.44/2.54 num=67, depth=65..63, filters=13075, revisions=(37264,useless=24848), ccks=26733, wck=0.202, mem=53M10
4.44/2.54 decisions=1334, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=68, bestBound=190
4.44/2.54
4.44/2.54 o 189
4.44/2.54 num=68, depth=65..63, filters=13241, revisions=(37852,useless=25277), ccks=27090, wck=0.204, mem=53M10
4.44/2.54 decisions=1346, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=69, bestBound=189
4.44/2.54
4.44/2.54 o 188
4.44/2.54 num=69, depth=65..63, filters=13444, revisions=(38417,useless=25649), ccks=27448, wck=0.206, mem=53M10
4.44/2.54 decisions=1363, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=70, bestBound=188
4.44/2.54
4.44/2.54 o 187
4.44/2.54 num=70, depth=65..63, filters=13633, revisions=(39001,useless=26053), ccks=27808, wck=0.208, mem=53M10
4.44/2.54 decisions=1378, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=71, bestBound=187
4.44/2.54
4.44/2.55 o 186
4.44/2.55 num=71, depth=65..63, filters=13832, revisions=(39578,useless=26440), ccks=28164, wck=0.21, mem=53M10
4.44/2.55 decisions=1393, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=72, bestBound=186
4.44/2.55
4.44/2.55 o 185
4.44/2.55 num=72, depth=65..63, filters=14016, revisions=(40166,useless=26852), ccks=28524, wck=0.212, mem=53M10
4.44/2.55 decisions=1407, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=73, bestBound=185
4.44/2.55
4.44/2.56 o 184
4.44/2.56 num=73, depth=65..63, filters=14212, revisions=(40746,useless=27245), ccks=28881, wck=0.214, mem=53M10
4.44/2.56 decisions=1421, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=74, bestBound=184
4.44/2.56
4.44/2.56 o 183
4.44/2.56 num=74, depth=65..63, filters=14390, revisions=(41346,useless=27674), ccks=29238, wck=0.216, mem=53M10
4.44/2.56 decisions=1433, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=75, bestBound=183
4.44/2.56
4.44/2.56 o 182
4.44/2.56 num=75, depth=65..63, filters=14593, revisions=(41919,useless=28053), ccks=29596, wck=0.218, mem=53M10
4.44/2.56 decisions=1449, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=76, bestBound=182
4.44/2.56
4.44/2.56 o 181
4.44/2.56 num=76, depth=65..63, filters=14778, revisions=(42508,useless=28465), ccks=29956, wck=0.219, mem=53M10
4.44/2.56 decisions=1463, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=77, bestBound=181
4.44/2.56
4.44/2.56 o 180
4.44/2.56 num=77, depth=65..63, filters=14972, revisions=(43088,useless=28859), ccks=30312, wck=0.221, mem=53M10
4.44/2.56 decisions=1477, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=78, bestBound=180
4.44/2.56
4.44/2.56 o 179
4.44/2.56 num=78, depth=65..63, filters=15167, revisions=(43653,useless=29239), ccks=30676, wck=0.223, mem=53M10
4.44/2.56 decisions=1495, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=79, bestBound=179
4.44/2.56
4.44/2.56 o 178
4.44/2.56 num=79, depth=65..63, filters=15370, revisions=(44211,useless=29604), ccks=31032, wck=0.225, mem=53M10
4.44/2.56 decisions=1513, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=80, bestBound=178
4.44/2.56
4.44/2.56 o 177
4.44/2.56 num=80, depth=65..63, filters=15556, revisions=(44785,useless=30000), ccks=31390, wck=0.227, mem=53M10
4.44/2.56 decisions=1529, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=81, bestBound=177
4.44/2.56
4.44/2.56 o 176
4.44/2.57 num=81, depth=65..63, filters=15753, revisions=(45352,useless=30379), ccks=31747, wck=0.229, mem=53M10
4.44/2.57 decisions=1545, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=82, bestBound=176
4.44/2.57
4.44/2.57 o 175
4.44/2.57 num=82, depth=65..63, filters=15932, revisions=(45936,useless=30792), ccks=32104, wck=0.231, mem=53M10
4.44/2.57 decisions=1559, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=83, bestBound=175
4.44/2.57
4.44/2.57 o 174
4.44/2.57 num=83, depth=65..63, filters=16121, revisions=(46510,useless=31185), ccks=32461, wck=0.233, mem=53M10
4.44/2.57 decisions=1573, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=84, bestBound=174
4.44/2.57
4.44/2.57 o 173
4.44/2.57 num=84, depth=65..63, filters=16295, revisions=(47106,useless=31614), ccks=32820, wck=0.234, mem=53M10
4.44/2.57 decisions=1585, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=85, bestBound=173
4.44/2.57
4.44/2.57 o 172
4.44/2.57 num=85, depth=65..63, filters=16479, revisions=(47694,useless=32024), ccks=33176, wck=0.236, mem=53M10
4.44/2.57 decisions=1597, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=86, bestBound=172
4.44/2.57
4.44/2.57 o 171
4.44/2.57 num=86, depth=65..63, filters=16667, revisions=(48288,useless=32436), ccks=33538, wck=0.238, mem=53M10
4.44/2.57 decisions=1611, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=87, bestBound=171
4.44/2.57
4.44/2.58 o 170
4.44/2.58 num=87, depth=65..63, filters=16864, revisions=(48878,useless=32833), ccks=33895, wck=0.24, mem=53M10
4.44/2.58 decisions=1625, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=88, bestBound=170
4.44/2.58
4.44/2.58 o 169
4.44/2.58 num=88, depth=65..63, filters=17041, revisions=(49486,useless=33265), ccks=34252, wck=0.242, mem=53M10
4.44/2.58 decisions=1637, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=89, bestBound=169
4.44/2.58
4.44/2.58 o 168
4.44/2.58 num=89, depth=65..63, filters=17248, revisions=(50071,useless=33647), ccks=34610, wck=0.244, mem=53M10
4.44/2.58 decisions=1653, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=90, bestBound=168
4.44/2.58
4.44/2.58 o 167
4.44/2.58 num=90, depth=65..63, filters=17435, revisions=(50671,useless=34062), ccks=34970, wck=0.246, mem=53M10
4.44/2.58 decisions=1667, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=91, bestBound=167
4.44/2.58
4.44/2.58 o 166
4.44/2.58 num=91, depth=65..63, filters=17628, revisions=(51260,useless=34459), ccks=35326, wck=0.248, mem=53M10
4.44/2.58 decisions=1681, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=92, bestBound=166
4.44/2.58
4.44/2.59 o 165
4.44/2.59 num=92, depth=65..63, filters=17820, revisions=(51832,useless=34842), ccks=35690, wck=0.249, mem=53M10
4.44/2.59 decisions=1699, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=93, bestBound=165
4.44/2.59
4.44/2.59 o 164
4.44/2.59 num=93, depth=65..63, filters=18022, revisions=(52404,useless=35213), ccks=36046, wck=0.251, mem=53M10
4.44/2.59 decisions=1717, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=94, bestBound=164
4.44/2.59
4.44/2.59 o 163
4.44/2.59 num=94, depth=65..63, filters=18206, revisions=(52991,useless=35615), ccks=36404, wck=0.253, mem=53M10
4.44/2.59 decisions=1733, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=95, bestBound=163
4.44/2.59
4.44/2.59 o 162
4.44/2.59 num=95, depth=65..63, filters=18402, revisions=(53572,useless=36002), ccks=36761, wck=0.255, mem=53M10
4.44/2.59 decisions=1749, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=96, bestBound=162
4.44/2.59
4.44/2.59 o 161
4.44/2.59 num=96, depth=65..63, filters=18576, revisions=(54167,useless=36426), ccks=37118, wck=0.257, mem=53M10
4.44/2.59 decisions=1763, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=97, bestBound=161
4.44/2.59
4.44/2.59 o 160
4.44/2.59 num=97, depth=65..63, filters=18763, revisions=(54754,useless=36830), ccks=37475, wck=0.258, mem=55M652
4.44/2.59 decisions=1777, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=98, bestBound=160
4.44/2.59
4.76/2.60 o 159
4.76/2.60 num=98, depth=65..63, filters=18936, revisions=(55364,useless=37268), ccks=37834, wck=0.26, mem=55M652
4.76/2.60 decisions=1789, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=99, bestBound=159
4.76/2.60
4.76/2.60 o 158
4.76/2.60 num=99, depth=65..63, filters=19124, revisions=(55968,useless=37688), ccks=38190, wck=0.262, mem=55M652
4.76/2.60 decisions=1801, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=100, bestBound=158
4.76/2.60
4.76/2.60 o 157
4.76/2.60 num=100, depth=65..63, filters=19281, revisions=(56590,useless=38158), ccks=38532, wck=0.264, mem=55M652
4.76/2.60 decisions=1811, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=101, bestBound=157
4.76/2.60
4.76/2.60 o 156
4.76/2.60 num=101, depth=2..63, filters=19853, revisions=(57993,useless=39016), ccks=39303, wck=0.267, mem=55M652
4.76/2.60 decisions=1839, wrong=21, backtracks=8, failedAssignments=13, nogoods=12, foundSolutions=102, bestBound=156
4.76/2.60
4.76/2.61 o 151
4.76/2.61 num=102, depth=3..63, filters=20140, revisions=(58794,useless=39541), ccks=39892, wck=0.27, mem=55M652
4.76/2.61 decisions=1868, wrong=23, backtracks=8, failedAssignments=15, nogoods=14, foundSolutions=103, bestBound=151
4.76/2.61
4.76/2.61 o 150
4.76/2.61 num=103, depth=3..63, filters=20375, revisions=(59576,useless=40096), ccks=40373, wck=0.272, mem=55M652
4.76/2.61 decisions=1880, wrong=25, backtracks=8, failedAssignments=17, nogoods=16, foundSolutions=104, bestBound=150
4.76/2.61
4.76/2.61 o 148
4.76/2.61 num=104, depth=3..63, filters=20958, revisions=(61158,useless=41125), ccks=41230, wck=0.276, mem=55M652
4.76/2.61 decisions=1913, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=105, bestBound=148
4.76/2.61
4.76/2.61 o 141
4.76/2.61 num=105, depth=65..63, filters=21219, revisions=(61710,useless=41426), ccks=41703, wck=0.278, mem=55M652
4.76/2.61 decisions=1940, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=106, bestBound=141
4.76/2.61
4.76/2.62 o 139
4.76/2.62 num=106, depth=65..63, filters=21478, revisions=(62270,useless=41735), ccks=42100, wck=0.28, mem=55M652
4.76/2.62 decisions=1959, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=107, bestBound=139
4.76/2.62
4.76/2.62 o 137
4.76/2.62 num=107, depth=65..63, filters=21730, revisions=(62831,useless=42052), ccks=42494, wck=0.282, mem=55M652
4.76/2.62 decisions=1975, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=108, bestBound=137
4.76/2.62
4.76/2.62 o 131
4.76/2.62 num=108, depth=65..63, filters=21989, revisions=(63395,useless=42364), ccks=42889, wck=0.284, mem=55M652
4.76/2.62 decisions=2001, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=109, bestBound=131
4.76/2.62
4.76/2.62 o 129
4.76/2.62 num=109, depth=65..63, filters=22247, revisions=(63962,useless=42678), ccks=43283, wck=0.286, mem=55M652
4.76/2.62 decisions=2018, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=110, bestBound=129
4.76/2.62
4.76/2.62 o 128
4.76/2.63 num=110, depth=65..63, filters=22494, revisions=(64543,useless=43017), ccks=43677, wck=0.288, mem=55M652
4.76/2.63 decisions=2030, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=111, bestBound=128
4.76/2.63
4.76/2.63 o 127
4.76/2.63 num=111, depth=65..63, filters=22732, revisions=(65106,useless=43349), ccks=44072, wck=0.291, mem=55M652
4.76/2.63 decisions=2042, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=112, bestBound=127
4.76/2.63
4.76/2.63 o 126
4.76/2.63 num=112, depth=65..63, filters=22970, revisions=(65756,useless=43764), ccks=44465, wck=0.293, mem=55M652
4.76/2.63 decisions=2051, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=113, bestBound=126
4.76/2.63
4.76/2.63 num=113, depth=2..6, filters=23573, revisions=(67244,useless=44690), ccks=45231, wck=0.297, mem=55M652
4.76/2.63 decisions=2084, wrong=50, backtracks=21, failedAssignments=34, nogoods=26, foundSolutions=113, bestBound=126
4.76/2.63
4.76/2.64 num=114, depth=0..5, filters=24130, revisions=(69070,useless=46004), ccks=46346, wck=0.301, mem=55M652
4.76/2.64 decisions=2123, wrong=69, backtracks=34, failedAssignments=45, nogoods=30, foundSolutions=113, bestBound=126
4.76/2.64
4.76/2.64 num=115, depth=0..7, filters=24788, revisions=(70784,useless=47115), ccks=47162, wck=0.306, mem=55M652
4.76/2.64 decisions=2158, wrong=86, backtracks=46, failedAssignments=57, nogoods=35, foundSolutions=113, bestBound=126
4.76/2.64
4.76/2.65
4.76/2.65 New Bounds: 126..125
4.76/2.65 num=116, depth=0..4, filters=25354, revisions=(72076,useless=47886), ccks=48008, wck=0.31, mem=55M652
4.76/2.65 decisions=2192, wrong=104, backtracks=56, failedAssignments=65, foundSolutions=113, bestBound=126
4.76/2.65
4.76/2.65 Global
4.76/2.65 filters=25354, revisions=(72076,useless=47886), ccks=48008
4.76/2.65 Stop=FULL_EXPLORATION, wrong=104, bestBound=126, bestBoundWck=0.766, bestBoundCpu=2.592, foundSolutions=113, firstSolCpu=2.317
4.76/2.65 wck=0.784, cpu=2.61, mem=55M652
4.76/2.65
4.76/2.65 v <instantiation id='sol113' type='solution' cost='126'> <list> s[] d[] l[] c[] </list> <values> 0 1 3 7 4 5 2 11 8 9 6 10 0 0 7 9 0 0 3 20 0 0 3 7 6 3 3 3 2 10 7 7 2 7 6 3 3 10 7 3 3 3 6 2 2 6 2 2 2 7 1 1 2 7 4 5 9 3 3 8 8 1 3 1 </values> </instantiation>
4.76/2.65 s OPTIMUM FOUND
4.76/2.65
4.76/2.65 d WRONG_DECISIONS 104
4.76/2.65 d NUMBER_SOLUTIONS 113
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11653 MiB free)
memory of node 1: 16384 MiB (13892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391199-1568389748/watcher-4391199-1568389748 -o /tmp/evaluation-result-4391199-1568389748/solver-4391199-1568389748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391199-1568389748.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5144, runsolver pid=5141
Current StackSize limit: 8192 KiB
[startup+0.103374 s]*
/proc/loadavg: 2.13 1.90 1.88 5/228 5159
/proc/meminfo: memFree=26143992/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10659884 memory=29032 CPUtime=0.14 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 5785 0 0 0 13 1 0 0 20 0 15 0 414888608 10915721216 7258 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2664971 7258 2902 1 0 2627468 0
[pid=5144/tid=5146] ppid=5141 vsize=10659884 memory=-8825474656243643584 CPUtime=0.1 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) R 5141 5144 3758 0 -1 4202560 3220 0 0 0 9 1 0 0 20 0 15 0 414888608 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330856438416 140330836288862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888610 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414888610 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414888611 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) S 5141 5144 3758 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 414888613 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330407070576 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) R 5141 5144 3758 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330338872048 140330852219522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0.02 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) R 5141 5144 3758 0 -1 4202560 760 0 0 0 2 0 0 0 20 0 15 0 414888613 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330337816056 140330831630032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 7390 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29032 KiB
[startup+0.210652 s]*
/proc/loadavg: 2.13 1.90 1.88 4/228 5159
/proc/meminfo: memFree=26133476/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10659884 memory=36960 CPUtime=0.32 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 8991 0 0 0 30 2 0 0 20 0 15 0 414888608 10915721216 9240 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2664971 9240 2988 1 0 2627468 0
[pid=5144/tid=5146] ppid=5141 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) R 5141 5144 3758 0 -1 4202560 6087 0 0 0 18 2 0 0 20 0 15 0 414888608 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330856434736 140330852230301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10659884 memory=139746021687908 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888610 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414888610 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414888611 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) S 5141 5144 3758 0 -1 1077944384 529 0 0 0 3 0 0 0 20 0 15 0 414888613 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330407070576 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) S 5141 5144 3758 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 414888613 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330338872048 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0.05 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) S 5141 5144 3758 0 -1 1077944384 791 0 0 0 5 0 0 0 20 0 15 0 414888613 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330337819248 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 9240 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36960 KiB
[startup+0.310459 s]*
/proc/loadavg: 2.13 1.90 1.88 3/228 5159
/proc/meminfo: memFree=26131180/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10659884 memory=39760 CPUtime=0.48 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 9210 0 0 0 45 3 0 0 20 0 15 0 414888608 10915721216 9940 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2664971 9940 3002 1 0 2627468 0
[pid=5144/tid=5146] ppid=5141 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) R 5141 5144 3758 0 -1 4202560 6237 0 0 0 28 2 0 0 20 0 15 0 414888608 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330856440176 140330836288862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10659884 memory=14833830756873880 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888610 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414888610 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414888611 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) R 5141 5144 3758 0 -1 4202560 570 0 0 0 5 0 0 0 20 0 15 0 414888613 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330407062080 140330838272361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) R 5141 5144 3758 0 -1 1077944384 231 0 0 0 3 0 0 0 20 0 15 0 414888613 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330338872048 140330852219522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0.08 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) R 5141 5144 3758 0 -1 4202560 814 0 0 0 8 0 0 0 20 0 15 0 414888613 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330337819248 140330844445502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10659884 memory=139746020423296 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888613 10915721216 9940 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39760 KiB
[startup+0.703537 s]
/proc/loadavg: 2.13 1.90 1.88 3/228 5159
/proc/meminfo: memFree=26120348/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10661932 memory=63292 CPUtime=1.12 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 12895 0 0 0 107 5 0 0 20 0 15 0 414888608 10917818368 15823 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2665483 15823 3061 1 0 2627980 0
[pid=5144/tid=5146] ppid=5141 vsize=10661932 memory=1368 CPUtime=0.68 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) R 5141 5144 3758 0 -1 4202560 8791 0 0 0 64 4 0 0 20 0 15 0 414888608 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330856440400 140330852222279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888609 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888610 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414888610 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414888611 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10661932 memory=4639098309541126765 CPUtime=0.12 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) S 5141 5144 3758 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 15 0 414888613 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330407070576 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10661932 memory=7380108234216663121 CPUtime=0.11 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) R 5141 5144 3758 0 -1 4202560 587 0 0 0 11 0 0 0 20 0 15 0 414888613 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330338858064 140330837333762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10661932 memory=5787782378022856021 CPUtime=0.18 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) S 5141 5144 3758 0 -1 1077944384 1319 0 0 0 18 0 0 0 20 0 15 0 414888613 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330337819248 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888613 10917818368 15823 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63292 KiB
[startup+1.50069 s]
/proc/loadavg: 2.13 1.90 1.88 3/228 5159
/proc/meminfo: memFree=26104348/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10663980 memory=75504 CPUtime=2.01 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 18444 0 0 0 195 6 0 0 20 0 15 0 414888608 10919915520 18876 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2665995 18876 3094 1 0 2628492 0
[pid=5144/tid=5146] ppid=5141 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) R 5141 5144 3758 0 -1 4202560 13052 0 0 0 143 5 0 0 20 0 15 0 414888608 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330856434256 140330835395184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888609 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10663980 memory=7451882158599990102 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10663980 memory=7450473757235898961 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414888610 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10663980 memory=7518026630507422825 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414888610 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10663980 memory=8242264966809872741 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414888611 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10663980 memory=7162782133124617065 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10663980 memory=7526543266866975353 CPUtime=0.15 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) S 5141 5144 3758 0 -1 1077944384 1193 0 0 0 15 0 0 0 20 0 15 0 414888613 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330407070576 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10663980 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) S 5141 5144 3758 0 -1 1077944384 1431 0 0 0 17 0 0 0 20 0 15 0 414888613 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330338872048 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) S 5141 5144 3758 0 -1 1077944384 1321 0 0 0 18 0 0 0 20 0 15 0 414888613 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330337819248 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414888613 10919915520 18876 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75504 KiB
[startup+2.67002 s]
# the end of solver process 5144 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.77996 s, system=0.166294 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60085 s]
/proc/loadavg: 2.13 1.90 1.88 3/228 5159
/proc/meminfo: memFree=26104348/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10666028 memory=76500 CPUtime=2.12 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 18728 0 0 0 205 7 0 0 20 0 15 0 414888608 10922012672 19125 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2666507 19125 3094 1 0 2629004 0
[pid=5144/tid=5146] ppid=5141 vsize=10666028 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) R 5141 5144 3758 0 -1 4202560 13326 0 0 0 152 6 0 0 20 0 15 0 414888608 10922012672 19125 33554432000 4194304 4196468 140721068731088 140330856434256 140330832485200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414888609 10922012672 19125 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414888609 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10666028 memory=139746020425009 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414888610 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10666028 memory=7378983489706219105 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414888610 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10666028 memory=7309167735419596644 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414888611 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10666028 memory=6075463926040055888 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10666028 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) S 5141 5144 3758 0 -1 1077944384 1202 0 0 0 16 0 0 0 20 0 15 0 414888613 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330407070576 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10666028 memory=161869264434014 CPUtime=0.17 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) S 5141 5144 3758 0 -1 1077944384 1431 0 0 0 17 0 0 0 20 0 15 0 414888613 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330338872048 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) S 5141 5144 3758 0 -1 1077944384 1321 0 0 0 18 0 0 0 20 0 15 0 414888613 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330337819248 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10666028 memory=-4546129931942301728 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414888613 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 414888613 10922012672 19128 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76500 KiB
[startup+2.40136 s]
/proc/loadavg: 2.13 1.90 1.88 5/229 5160
/proc/meminfo: memFree=26026816/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10748324 memory=165440 CPUtime=4.11 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 29925 0 0 0 396 15 0 0 20 0 16 0 414888608 11006283776 41360 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2687081 41360 3338 1 0 2647217 0
[pid=5144/tid=5146] ppid=5141 vsize=10748324 memory=1768 CPUtime=1.87 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) S 5141 5144 3758 0 -1 1077944384 15324 0 0 0 180 7 0 0 20 0 16 0 414888608 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330856451248 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10748324 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414888609 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 16 0 414888609 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414888609 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10748324 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 414888609 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10748324 memory=-6873162000112450758 CPUtime=0.01 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414888610 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10748324 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414888610 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10748324 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414888611 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10748324 memory=7014751519717611364 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414888613 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10748324 memory=7811022289770342504 CPUtime=0.51 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) R 5141 5144 3758 0 -1 4202560 2624 0 0 0 51 0 0 0 20 0 16 0 414888613 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330407056632 140330833384172 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10748324 memory=6154845551732417898 CPUtime=0.55 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) R 5141 5144 3758 0 -1 4202560 2419 0 0 0 55 0 0 0 20 0 16 0 414888613 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330338859040 140330833741083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10748324 memory=7157744183663747685 CPUtime=0.58 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) R 5141 5144 3758 0 -1 4202560 3151 0 0 0 57 1 0 0 20 0 16 0 414888613 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330337819248 140330831507395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10748324 memory=7451314879201824874 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414888613 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10748324 memory=7162244497723845476 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414888613 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5160] ppid=5141 vsize=10748324 memory=7308323413550132068 CPUtime=0.46 cores=0,2,4,6
/proc/5144/task/5160/stat : 5160 (java) R 5141 5144 3758 0 -1 1077944384 3665 0 0 0 44 2 0 0 20 0 16 0 414888797 11006283776 41360 33554432000 4194304 4196468 140721068731088 140330318761248 140330852218581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165440 KiB
[startup+2.60063 s]
/proc/loadavg: 2.13 1.90 1.88 5/229 5160
/proc/meminfo: memFree=26026816/32770624 swapFree=66957012/67108860
[pid=5144] ppid=5141 vsize=10748324 memory=175988 CPUtime=4.76 cores=0,2,4,6
/proc/5144/stat : 5144 (java) S 5141 5144 3758 0 -1 1077944320 32832 0 0 0 461 15 0 0 20 0 16 0 414888608 11006283776 43997 33554432000 4194304 4196468 140721068731088 140721068713632 140330852208375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
/proc/5144/statm: 2687081 43997 3343 1 0 2647217 0
[pid=5144/tid=5146] ppid=5141 vsize=10748324 memory=7512114543601282149 CPUtime=1.87 cores=0,2,4,6
/proc/5144/task/5146/stat : 5146 (java) S 5141 5144 3758 0 -1 1077944384 15324 0 0 0 180 7 0 0 20 0 16 0 414888608 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330856451248 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5147] ppid=5141 vsize=10748324 memory=7810763844726514514 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5147/stat : 5147 (java) S 5141 5144 3758 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414888609 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330459389072 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5148] ppid=5141 vsize=10748324 memory=6224634827277423202 CPUtime=0.01 cores=0,2,4,6
/proc/5144/task/5148/stat : 5148 (java) S 5141 5144 3758 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 16 0 414888609 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330458336272 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5149] ppid=5141 vsize=10748324 memory=7584172172082901604 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5149/stat : 5149 (java) S 5141 5144 3758 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414888609 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330457283472 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5150] ppid=5141 vsize=10748324 memory=7163935452035442538 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5150/stat : 5150 (java) S 5141 5144 3758 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 414888609 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330456230672 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5151] ppid=5141 vsize=10748324 memory=-7533781438821528511 CPUtime=0.01 cores=0,2,4,6
/proc/5144/task/5151/stat : 5151 (java) S 5141 5144 3758 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414888610 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330411280752 140330852219522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5152] ppid=5141 vsize=10748324 memory=4486599637793467488 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5152/stat : 5152 (java) S 5141 5144 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414888610 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330410226720 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5153] ppid=5141 vsize=10748324 memory=7100839870140027547 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5153/stat : 5153 (java) S 5141 5144 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414888611 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330409173872 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5154] ppid=5141 vsize=10748324 memory=8514701219376621709 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5154/stat : 5154 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414888613 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330408122192 140330852226971 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5155] ppid=5141 vsize=10748324 memory=-6352457598030609622 CPUtime=0.71 cores=0,2,4,6
/proc/5144/task/5155/stat : 5155 (java) R 5141 5144 3758 0 -1 4202560 3538 0 0 0 71 0 0 0 20 0 16 0 414888613 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330407054768 140330831446859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5156] ppid=5141 vsize=10748324 memory=-7163974055829550171 CPUtime=0.75 cores=0,2,4,6
/proc/5144/task/5156/stat : 5156 (java) R 5141 5144 3758 0 -1 4202560 3595 0 0 0 75 0 0 0 20 0 16 0 414888613 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330338853064 140330837325536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5157] ppid=5141 vsize=10748324 memory=7245577299922993209 CPUtime=0.64 cores=0,2,4,6
/proc/5144/task/5157/stat : 5157 (java) S 5141 5144 3758 0 -1 1077944384 3687 0 0 0 63 1 0 0 20 0 16 0 414888613 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330337819248 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5158] ppid=5141 vsize=10748324 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5158/stat : 5158 (java) S 5141 5144 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414888613 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330336766688 140330852218581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5159] ppid=5141 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5144/task/5159/stat : 5159 (java) S 5141 5144 3758 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414888613 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330335713968 140330852219522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
[pid=5144/tid=5160] ppid=5141 vsize=10748324 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5144/task/5160/stat : 5160 (java) R 5141 5144 3758 0 -1 4202560 3946 0 0 0 64 2 0 0 20 0 16 0 414888797 11006283776 43997 33554432000 4194304 4196468 140721068731088 140330318753152 140330852230205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33947648 140721068733451 140721068733554 140721068733554 140721068736463 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 175988 KiB
Child status: 0
Real time (s): 2.67007
CPU time (s): 4.94626
CPU user time (s): 4.77996
CPU system time (s): 0.166294
CPU usage (%): 185.248
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 175988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.77996
system time used= 0.166294
maximum resident set size= 181980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34253
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= 2685
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 5144
# total CPU time (s): 4.94626
# total CPU user time (s): 4.77996
# total CPU system time (s): 0.166294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04099 second user time and 0.073587 second system time
The end