2.37/1.89
2.37/1.89 AbsCon 2
2.63/1.91
2.87/2.09 Instance
2.87/2.09 name=instance-4390899-1568381765, framework=COP, bounds=-infty..+infty
2.87/2.09
2.87/2.09 Loading variables...
3.15/2.12 Loading constraints...
3.75/2.30
3.75/2.30 Domains
3.75/2.30 nTypes=34, nValues=586, sizes=[3#4,4#7,5#1,7#2...9#6,10#5,11#21,12#12]
3.75/2.31 Variables
3.75/2.31 count=64, degrees=[2#32,13#20,22#11,23#1]
3.75/2.31 Objectives
3.75/2.31 way=min, type=SumSimpleLE
3.75/2.31 Constraints
3.75/2.31 count=275, nSpecific=2, arities=[1#1,2#272,12#1,32#1]
3.75/2.31 distribution=[Circuit#1,CtrExtensionV-Bits#32,CtrIntension#241,SumSimpleLE#1]
3.75/2.31 nExtStructures=(32,shared:0), nIntStructures=(13,shared:228), nCftStructures=(44,shared:228,unbuilt:3)
3.75/2.31 wck=0.442, cpu=2.271, mem=34M439
3.75/2.31 Solver SolverBacktrack being built...
3.75/2.31
3.75/2.33
3.75/2.33 Solver
3.75/2.33 guaranteedGAC=false
3.75/2.33 wck=0.47, cpu=2.297, mem=45M82
3.75/2.33
3.75/2.33 Preprocessing
3.75/2.33 filters=14, revisions=(26,useless=12), ccks=1587, nACremovedValues=100, nTotalRemovedValues=100, inconcistency=false
3.75/2.33 wck=0.004, cpu=2.302, mem=45M82
3.75/2.33
3.75/2.34 o 276
3.75/2.35 num=0, depth=65..63, filters=387, revisions=(556,useless=178), ccks=2103, wck=0.02, mem=47M724
3.75/2.35 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=276
3.75/2.35
3.75/2.36 o 275
3.75/2.36 num=1, depth=6..63, filters=742, revisions=(1221,useless=501), ccks=2676, wck=0.03, mem=47M724
3.75/2.36 decisions=38, wrong=3, backtracks=2, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=275
3.75/2.36
3.75/2.37 o 274
3.75/2.37 num=2, depth=2..63, filters=888, revisions=(1834,useless=982), ccks=3231, wck=0.034, mem=47M724
3.75/2.37 decisions=66, wrong=6, backtracks=3, failedAssignments=3, nogoods=3, foundSolutions=3, bestBound=274
3.75/2.37
3.75/2.37 o 273
3.75/2.38 num=3, depth=2..63, filters=1020, revisions=(2605,useless=1635), ccks=3734, wck=0.05, mem=47M724
3.75/2.38 decisions=92, wrong=11, backtracks=4, failedAssignments=7, nogoods=6, foundSolutions=4, bestBound=273
3.75/2.38
3.75/2.38 o 270
3.75/2.38 num=4, depth=65..63, filters=1206, revisions=(3103,useless=1956), ccks=4125, wck=0.054, mem=47M724
3.75/2.38 decisions=117, wrong=11, backtracks=4, failedAssignments=7, nogoods=6, foundSolutions=5, bestBound=270
3.75/2.38
3.75/2.39 o 265
3.75/2.39 num=5, depth=3..63, filters=1406, revisions=(3662,useless=2327), ccks=4541, wck=0.057, mem=47M724
3.75/2.39 decisions=147, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=6, bestBound=265
3.75/2.39
3.75/2.39 o 264
3.75/2.39 num=6, depth=65..63, filters=1577, revisions=(4171,useless=2673), ccks=4916, wck=0.061, mem=47M724
3.75/2.39 decisions=169, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=7, bestBound=264
3.75/2.39
3.75/2.39 o 263
4.08/2.40 num=7, depth=65..63, filters=1763, revisions=(4676,useless=3001), ccks=5272, wck=0.064, mem=47M724
4.08/2.40 decisions=192, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=8, bestBound=263
4.08/2.40
4.08/2.40 o 259
4.08/2.40 num=8, depth=65..63, filters=1931, revisions=(5190,useless=3354), ccks=5629, wck=0.067, mem=47M724
4.08/2.40 decisions=213, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=9, bestBound=259
4.08/2.40
4.08/2.40 o 258
4.08/2.40 num=9, depth=65..63, filters=2115, revisions=(5693,useless=3682), ccks=5986, wck=0.07, mem=47M724
4.08/2.40 decisions=236, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=10, bestBound=258
4.08/2.40
4.08/2.41 o 257
4.08/2.41 num=10, depth=65..63, filters=2283, revisions=(6208,useless=4036), ccks=6343, wck=0.072, mem=47M724
4.08/2.41 decisions=257, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=11, bestBound=257
4.08/2.41
4.08/2.41 o 256
4.08/2.41 num=11, depth=65..63, filters=2464, revisions=(6723,useless=4378), ccks=6699, wck=0.075, mem=47M724
4.08/2.41 decisions=278, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=12, bestBound=256
4.08/2.41
4.08/2.41 o 253
4.08/2.41 num=12, depth=65..63, filters=2638, revisions=(7233,useless=4723), ccks=7060, wck=0.077, mem=47M724
4.08/2.41 decisions=300, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=13, bestBound=253
4.08/2.41
4.08/2.41 o 252
4.08/2.41 num=13, depth=65..63, filters=2828, revisions=(7741,useless=5051), ccks=7416, wck=0.08, mem=47M724
4.08/2.41 decisions=323, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=14, bestBound=252
4.08/2.41
4.08/2.41 o 248
4.08/2.42 num=14, depth=65..63, filters=3001, revisions=(8259,useless=5404), ccks=7773, wck=0.082, mem=47M724
4.08/2.42 decisions=344, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=15, bestBound=248
4.08/2.42
4.08/2.42 o 247
4.08/2.42 num=15, depth=65..63, filters=3189, revisions=(8765,useless=5732), ccks=8130, wck=0.085, mem=47M724
4.08/2.42 decisions=367, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=16, bestBound=247
4.08/2.42
4.08/2.42 o 246
4.08/2.42 num=16, depth=65..63, filters=3360, revisions=(9283,useless=6087), ccks=8487, wck=0.087, mem=47M724
4.08/2.42 decisions=388, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=17, bestBound=246
4.08/2.42
4.08/2.42 o 245
4.08/2.42 num=17, depth=65..63, filters=3544, revisions=(9801,useless=6430), ccks=8843, wck=0.089, mem=47M724
4.08/2.42 decisions=409, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=18, bestBound=245
4.08/2.42
4.08/2.42 o 244
4.08/2.42 num=18, depth=65..63, filters=3711, revisions=(10332,useless=6801), ccks=9201, wck=0.091, mem=47M724
4.08/2.42 decisions=428, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=19, bestBound=244
4.08/2.42
4.08/2.42 o 242
4.08/2.42 num=19, depth=65..63, filters=3905, revisions=(10843,useless=7128), ccks=9560, wck=0.094, mem=47M724
4.08/2.42 decisions=451, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=20, bestBound=242
4.08/2.42
4.08/2.42 o 241
4.08/2.43 num=20, depth=65..63, filters=4082, revisions=(11365,useless=7482), ccks=9919, wck=0.096, mem=47M724
4.08/2.43 decisions=472, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=21, bestBound=241
4.08/2.43
4.08/2.43 o 240
4.08/2.43 num=21, depth=65..63, filters=4273, revisions=(11874,useless=7810), ccks=10276, wck=0.098, mem=47M724
4.08/2.43 decisions=495, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=22, bestBound=240
4.08/2.43
4.08/2.43 o 239
4.08/2.43 num=22, depth=65..63, filters=4447, revisions=(12395,useless=8165), ccks=10633, wck=0.1, mem=47M724
4.08/2.43 decisions=516, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=23, bestBound=239
4.08/2.43
4.08/2.43 o 238
4.08/2.43 num=23, depth=65..63, filters=4634, revisions=(12916,useless=8508), ccks=10989, wck=0.103, mem=47M724
4.08/2.43 decisions=537, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=24, bestBound=238
4.08/2.43
4.08/2.43 o 237
4.08/2.44 num=24, depth=65..63, filters=4804, revisions=(13450,useless=8879), ccks=11347, wck=0.105, mem=47M724
4.08/2.44 decisions=556, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=25, bestBound=237
4.08/2.44
4.08/2.44 o 236
4.08/2.44 num=25, depth=65..63, filters=4989, revisions=(13961,useless=9214), ccks=11705, wck=0.107, mem=47M724
4.08/2.44 decisions=578, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=26, bestBound=236
4.08/2.44
4.08/2.44 o 234
4.08/2.44 num=26, depth=65..63, filters=5159, revisions=(14477,useless=9568), ccks=12064, wck=0.11, mem=47M724
4.08/2.44 decisions=599, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=27, bestBound=234
4.08/2.44
4.08/2.44 o 233
4.08/2.44 num=27, depth=65..63, filters=5340, revisions=(14999,useless=9918), ccks=12420, wck=0.112, mem=47M724
4.08/2.44 decisions=619, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=28, bestBound=233
4.08/2.44
4.08/2.44 o 232
4.08/2.44 num=28, depth=65..63, filters=5508, revisions=(15538,useless=10297), ccks=12778, wck=0.114, mem=47M724
4.08/2.44 decisions=637, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=29, bestBound=232
4.08/2.44
4.08/2.44 o 231
4.08/2.45 num=29, depth=65..63, filters=5694, revisions=(16064,useless=10647), ccks=13135, wck=0.116, mem=47M724
4.08/2.45 decisions=657, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=30, bestBound=231
4.08/2.45
4.08/2.45 o 228
4.08/2.45 num=30, depth=65..63, filters=5880, revisions=(16592,useless=11000), ccks=13497, wck=0.118, mem=47M724
4.08/2.45 decisions=678, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=31, bestBound=228
4.08/2.45
4.08/2.45 o 227
4.08/2.45 num=31, depth=65..63, filters=6084, revisions=(17111,useless=11328), ccks=13854, wck=0.121, mem=47M724
4.08/2.45 decisions=701, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=32, bestBound=227
4.08/2.45
4.08/2.45 o 226
4.08/2.45 num=32, depth=65..63, filters=6272, revisions=(17643,useless=11683), ccks=14211, wck=0.123, mem=50M367
4.08/2.45 decisions=722, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=33, bestBound=226
4.08/2.45
4.08/2.45 o 225
4.08/2.45 num=33, depth=65..63, filters=6476, revisions=(18178,useless=12026), ccks=14567, wck=0.125, mem=50M367
4.08/2.45 decisions=743, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=34, bestBound=225
4.08/2.45
4.08/2.46 o 224
4.08/2.46 num=34, depth=65..63, filters=6664, revisions=(18727,useless=12397), ccks=14925, wck=0.128, mem=50M367
4.08/2.46 decisions=762, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=35, bestBound=224
4.08/2.46
4.08/2.46 o 223
4.08/2.46 num=35, depth=65..63, filters=6869, revisions=(19255,useless=12732), ccks=15283, wck=0.13, mem=50M367
4.08/2.46 decisions=784, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=36, bestBound=223
4.08/2.46
4.08/2.46 o 221
4.08/2.46 num=36, depth=65..63, filters=7059, revisions=(19788,useless=13086), ccks=15642, wck=0.132, mem=50M367
4.08/2.46 decisions=805, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=37, bestBound=221
4.08/2.46
4.08/2.46 o 220
4.08/2.46 num=37, depth=65..63, filters=7260, revisions=(20328,useless=13436), ccks=15998, wck=0.135, mem=50M367
4.08/2.46 decisions=825, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=38, bestBound=220
4.08/2.46
4.08/2.47 o 219
4.08/2.47 num=38, depth=65..63, filters=7442, revisions=(20880,useless=13815), ccks=16356, wck=0.137, mem=50M367
4.08/2.47 decisions=843, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=39, bestBound=219
4.08/2.47
4.08/2.47 o 218
4.08/2.47 num=39, depth=65..63, filters=7639, revisions=(21417,useless=14166), ccks=16713, wck=0.139, mem=50M367
4.08/2.47 decisions=863, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=40, bestBound=218
4.08/2.47
4.08/2.47 o 217
4.08/2.47 num=40, depth=65..63, filters=7819, revisions=(21968,useless=14546), ccks=17070, wck=0.141, mem=50M367
4.08/2.47 decisions=881, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=41, bestBound=217
4.08/2.47
4.08/2.47 o 216
4.08/2.47 num=41, depth=65..63, filters=8010, revisions=(22515,useless=14911), ccks=17426, wck=0.143, mem=50M367
4.08/2.47 decisions=899, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=42, bestBound=216
4.08/2.47
4.08/2.47 o 215
4.08/2.48 num=42, depth=65..63, filters=8196, revisions=(23069,useless=15290), ccks=17788, wck=0.145, mem=50M367
4.08/2.48 decisions=917, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=43, bestBound=215
4.08/2.48
4.08/2.48 o 214
4.08/2.48 num=43, depth=65..63, filters=8393, revisions=(23619,useless=15654), ccks=18144, wck=0.148, mem=50M367
4.08/2.48 decisions=935, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=44, bestBound=214
4.08/2.48
4.08/2.48 o 213
4.08/2.48 num=44, depth=65..63, filters=8577, revisions=(24173,useless=16034), ccks=18502, wck=0.15, mem=50M367
4.08/2.48 decisions=953, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=45, bestBound=213
4.08/2.48
4.08/2.48 o 212
4.08/2.48 num=45, depth=65..63, filters=8773, revisions=(24724,useless=16399), ccks=18858, wck=0.153, mem=50M367
4.08/2.48 decisions=971, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=46, bestBound=212
4.08/2.48
4.08/2.48 o 211
4.08/2.48 num=46, depth=65..63, filters=8956, revisions=(25295,useless=16795), ccks=19216, wck=0.155, mem=50M367
4.08/2.48 decisions=987, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=47, bestBound=211
4.08/2.48
4.08/2.49 o 210
4.08/2.49 num=47, depth=65..63, filters=9170, revisions=(25854,useless=17152), ccks=19575, wck=0.157, mem=50M367
4.08/2.49 decisions=1006, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=48, bestBound=210
4.08/2.49
4.08/2.49 o 209
4.08/2.49 num=48, depth=65..63, filters=9365, revisions=(26410,useless=17524), ccks=19936, wck=0.159, mem=50M367
4.08/2.49 decisions=1025, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=49, bestBound=209
4.08/2.49
4.08/2.49 o 208
4.08/2.49 num=49, depth=65..63, filters=9576, revisions=(26968,useless=17882), ccks=20292, wck=0.161, mem=50M367
4.08/2.49 decisions=1044, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=50, bestBound=208
4.08/2.49
4.08/2.49 o 207
4.08/2.49 num=50, depth=65..63, filters=9771, revisions=(27541,useless=18270), ccks=20650, wck=0.163, mem=50M367
4.08/2.49 decisions=1061, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=51, bestBound=207
4.08/2.49
4.08/2.49 o 206
4.08/2.49 num=51, depth=65..63, filters=9984, revisions=(28098,useless=18627), ccks=21009, wck=0.165, mem=50M367
4.08/2.49 decisions=1080, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=52, bestBound=206
4.08/2.49
4.08/2.50 o 205
4.08/2.50 num=52, depth=65..63, filters=10184, revisions=(28674,useless=19014), ccks=21368, wck=0.167, mem=50M367
4.08/2.50 decisions=1097, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=53, bestBound=205
4.08/2.50
4.41/2.50 o 204
4.41/2.50 num=53, depth=65..63, filters=10398, revisions=(29234,useless=19372), ccks=21725, wck=0.169, mem=50M367
4.41/2.50 decisions=1116, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=54, bestBound=204
4.41/2.50
4.41/2.50 o 203
4.41/2.51 num=54, depth=65..63, filters=10593, revisions=(29807,useless=19760), ccks=22082, wck=0.17, mem=50M367
4.41/2.51 decisions=1133, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=55, bestBound=203
4.41/2.51
4.41/2.51 o 202
4.41/2.51 num=55, depth=65..63, filters=10800, revisions=(30376,useless=20132), ccks=22438, wck=0.172, mem=50M367
4.41/2.51 decisions=1150, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=56, bestBound=202
4.41/2.51
4.41/2.51 o 201
4.41/2.51 num=56, depth=65..63, filters=10992, revisions=(30963,useless=20536), ccks=22796, wck=0.174, mem=50M367
4.41/2.51 decisions=1165, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=57, bestBound=201
4.41/2.51
4.41/2.51 o 200
4.41/2.51 num=57, depth=65..63, filters=11195, revisions=(31544,useless=20923), ccks=23152, wck=0.176, mem=50M367
4.41/2.51 decisions=1180, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=58, bestBound=200
4.41/2.51
4.41/2.51 o 199
4.41/2.51 num=58, depth=65..63, filters=11381, revisions=(32126,useless=21327), ccks=23512, wck=0.178, mem=50M367
4.41/2.51 decisions=1195, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=59, bestBound=199
4.41/2.51
4.41/2.51 o 198
4.41/2.51 num=59, depth=65..63, filters=11579, revisions=(32701,useless=21713), ccks=23869, wck=0.179, mem=50M367
4.41/2.51 decisions=1210, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=60, bestBound=198
4.41/2.51
4.41/2.51 o 197
4.41/2.51 num=60, depth=65..63, filters=11757, revisions=(33293,useless=22134), ccks=24226, wck=0.181, mem=50M367
4.41/2.51 decisions=1223, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=61, bestBound=197
4.41/2.51
4.41/2.51 o 196
4.41/2.51 num=61, depth=65..63, filters=11965, revisions=(33848,useless=22492), ccks=24586, wck=0.183, mem=50M367
4.41/2.51 decisions=1242, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=62, bestBound=196
4.41/2.51
4.41/2.51 o 195
4.41/2.52 num=62, depth=65..63, filters=12152, revisions=(34414,useless=22880), ccks=24946, wck=0.185, mem=50M367
4.41/2.52 decisions=1259, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=63, bestBound=195
4.41/2.52
4.41/2.52 o 194
4.41/2.52 num=63, depth=65..63, filters=12350, revisions=(34975,useless=23252), ccks=25302, wck=0.186, mem=50M367
4.41/2.52 decisions=1276, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=64, bestBound=194
4.41/2.52
4.41/2.52 o 193
4.41/2.52 num=64, depth=65..63, filters=12531, revisions=(35552,useless=23656), ccks=25660, wck=0.188, mem=50M367
4.41/2.52 decisions=1291, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=65, bestBound=193
4.41/2.52
4.41/2.52 o 192
4.41/2.52 num=65, depth=65..63, filters=12720, revisions=(36120,useless=24043), ccks=26016, wck=0.19, mem=53M10
4.41/2.52 decisions=1306, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=66, bestBound=192
4.41/2.52
4.41/2.52 o 191
4.41/2.52 num=66, depth=65..63, filters=12892, revisions=(36697,useless=24455), ccks=26376, wck=0.191, mem=53M10
4.41/2.52 decisions=1320, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=67, bestBound=191
4.41/2.52
4.41/2.52 o 190
4.41/2.52 num=67, depth=65..63, filters=13075, revisions=(37264,useless=24848), ccks=26733, wck=0.193, mem=53M10
4.41/2.52 decisions=1334, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=68, bestBound=190
4.41/2.52
4.41/2.52 o 189
4.41/2.53 num=68, depth=65..63, filters=13241, revisions=(37852,useless=25277), ccks=27090, wck=0.194, mem=53M10
4.41/2.53 decisions=1346, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=69, bestBound=189
4.41/2.53
4.41/2.53 o 188
4.41/2.53 num=69, depth=65..63, filters=13444, revisions=(38417,useless=25649), ccks=27448, wck=0.196, mem=53M10
4.41/2.53 decisions=1363, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=70, bestBound=188
4.41/2.53
4.41/2.53 o 187
4.41/2.53 num=70, depth=65..63, filters=13633, revisions=(39001,useless=26053), ccks=27808, wck=0.198, mem=53M10
4.41/2.53 decisions=1378, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=71, bestBound=187
4.41/2.53
4.41/2.53 o 186
4.41/2.53 num=71, depth=65..63, filters=13832, revisions=(39578,useless=26440), ccks=28164, wck=0.199, mem=53M10
4.41/2.53 decisions=1393, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=72, bestBound=186
4.41/2.53
4.41/2.53 o 185
4.41/2.53 num=72, depth=65..63, filters=14016, revisions=(40166,useless=26852), ccks=28524, wck=0.201, mem=53M10
4.41/2.53 decisions=1407, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=73, bestBound=185
4.41/2.53
4.41/2.54 o 184
4.41/2.54 num=73, depth=65..63, filters=14212, revisions=(40746,useless=27245), ccks=28881, wck=0.203, mem=53M10
4.41/2.54 decisions=1421, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=74, bestBound=184
4.41/2.54
4.41/2.54 o 183
4.41/2.54 num=74, depth=65..63, filters=14390, revisions=(41346,useless=27674), ccks=29238, wck=0.205, mem=53M10
4.41/2.54 decisions=1433, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=75, bestBound=183
4.41/2.54
4.41/2.54 o 182
4.41/2.54 num=75, depth=65..63, filters=14593, revisions=(41919,useless=28053), ccks=29596, wck=0.207, mem=53M10
4.41/2.54 decisions=1449, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=76, bestBound=182
4.41/2.54
4.41/2.54 o 181
4.41/2.54 num=76, depth=65..63, filters=14778, revisions=(42508,useless=28465), ccks=29956, wck=0.208, mem=53M10
4.41/2.54 decisions=1463, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=77, bestBound=181
4.41/2.54
4.41/2.54 o 180
4.41/2.54 num=77, depth=65..63, filters=14972, revisions=(43088,useless=28859), ccks=30312, wck=0.21, mem=53M10
4.41/2.54 decisions=1477, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=78, bestBound=180
4.41/2.54
4.41/2.54 o 179
4.41/2.54 num=78, depth=65..63, filters=15167, revisions=(43653,useless=29239), ccks=30676, wck=0.211, mem=53M10
4.41/2.54 decisions=1495, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=79, bestBound=179
4.41/2.54
4.41/2.54 o 178
4.41/2.55 num=79, depth=65..63, filters=15370, revisions=(44211,useless=29604), ccks=31032, wck=0.213, mem=53M10
4.41/2.55 decisions=1513, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=80, bestBound=178
4.41/2.55
4.41/2.55 o 177
4.41/2.55 num=80, depth=65..63, filters=15556, revisions=(44785,useless=30000), ccks=31390, wck=0.215, mem=53M10
4.41/2.55 decisions=1529, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=81, bestBound=177
4.41/2.55
4.41/2.55 o 176
4.41/2.55 num=81, depth=65..63, filters=15753, revisions=(45352,useless=30379), ccks=31747, wck=0.216, mem=53M10
4.41/2.55 decisions=1545, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=82, bestBound=176
4.41/2.55
4.41/2.55 o 175
4.41/2.55 num=82, depth=65..63, filters=15932, revisions=(45936,useless=30792), ccks=32104, wck=0.218, mem=53M10
4.41/2.55 decisions=1559, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=83, bestBound=175
4.41/2.55
4.41/2.55 o 174
4.41/2.55 num=83, depth=65..63, filters=16121, revisions=(46510,useless=31185), ccks=32461, wck=0.219, mem=53M10
4.41/2.55 decisions=1573, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=84, bestBound=174
4.41/2.55
4.41/2.55 o 173
4.41/2.55 num=84, depth=65..63, filters=16295, revisions=(47106,useless=31614), ccks=32820, wck=0.221, mem=53M10
4.41/2.55 decisions=1585, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=85, bestBound=173
4.41/2.55
4.41/2.55 o 172
4.41/2.55 num=85, depth=65..63, filters=16479, revisions=(47694,useless=32024), ccks=33176, wck=0.222, mem=53M10
4.41/2.55 decisions=1597, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=86, bestBound=172
4.41/2.55
4.41/2.55 o 171
4.41/2.55 num=86, depth=65..63, filters=16667, revisions=(48288,useless=32436), ccks=33538, wck=0.224, mem=53M10
4.41/2.55 decisions=1611, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=87, bestBound=171
4.41/2.55
4.41/2.55 o 170
4.41/2.55 num=87, depth=65..63, filters=16864, revisions=(48878,useless=32833), ccks=33895, wck=0.226, mem=53M10
4.41/2.55 decisions=1625, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=88, bestBound=170
4.41/2.55
4.41/2.56 o 169
4.41/2.56 num=88, depth=65..63, filters=17041, revisions=(49486,useless=33265), ccks=34252, wck=0.227, mem=53M10
4.41/2.56 decisions=1637, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=89, bestBound=169
4.41/2.56
4.41/2.56 o 168
4.41/2.56 num=89, depth=65..63, filters=17248, revisions=(50071,useless=33647), ccks=34610, wck=0.229, mem=53M10
4.41/2.56 decisions=1653, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=90, bestBound=168
4.41/2.56
4.41/2.56 o 167
4.41/2.56 num=90, depth=65..63, filters=17435, revisions=(50671,useless=34062), ccks=34970, wck=0.23, mem=53M10
4.41/2.56 decisions=1667, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=91, bestBound=167
4.41/2.56
4.41/2.56 o 166
4.41/2.56 num=91, depth=65..63, filters=17628, revisions=(51260,useless=34459), ccks=35326, wck=0.232, mem=53M10
4.41/2.56 decisions=1681, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=92, bestBound=166
4.41/2.56
4.41/2.56 o 165
4.41/2.56 num=92, depth=65..63, filters=17820, revisions=(51832,useless=34842), ccks=35690, wck=0.233, mem=53M10
4.41/2.56 decisions=1699, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=93, bestBound=165
4.41/2.56
4.41/2.56 o 164
4.41/2.56 num=93, depth=65..63, filters=18022, revisions=(52404,useless=35213), ccks=36046, wck=0.235, mem=53M10
4.41/2.56 decisions=1717, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=94, bestBound=164
4.41/2.56
4.41/2.57 o 163
4.41/2.57 num=94, depth=65..63, filters=18206, revisions=(52991,useless=35615), ccks=36404, wck=0.236, mem=53M10
4.41/2.57 decisions=1733, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=95, bestBound=163
4.41/2.57
4.41/2.57 o 162
4.41/2.57 num=95, depth=65..63, filters=18402, revisions=(53572,useless=36002), ccks=36761, wck=0.238, mem=53M10
4.41/2.57 decisions=1749, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=96, bestBound=162
4.41/2.57
4.41/2.57 o 161
4.41/2.57 num=96, depth=65..63, filters=18576, revisions=(54167,useless=36426), ccks=37118, wck=0.239, mem=53M10
4.41/2.57 decisions=1763, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=97, bestBound=161
4.41/2.57
4.41/2.57 o 160
4.41/2.57 num=97, depth=65..63, filters=18763, revisions=(54754,useless=36830), ccks=37475, wck=0.241, mem=55M652
4.41/2.57 decisions=1777, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=98, bestBound=160
4.41/2.57
4.41/2.57 o 159
4.41/2.57 num=98, depth=65..63, filters=18936, revisions=(55364,useless=37268), ccks=37834, wck=0.242, mem=55M652
4.41/2.57 decisions=1789, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=99, bestBound=159
4.41/2.57
4.41/2.57 o 158
4.41/2.57 num=99, depth=65..63, filters=19124, revisions=(55968,useless=37688), ccks=38190, wck=0.244, mem=55M652
4.41/2.57 decisions=1801, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=100, bestBound=158
4.41/2.57
4.41/2.57 o 157
4.41/2.57 num=100, depth=65..63, filters=19281, revisions=(56590,useless=38158), ccks=38532, wck=0.245, mem=55M652
4.41/2.57 decisions=1811, wrong=13, backtracks=5, failedAssignments=8, nogoods=7, foundSolutions=101, bestBound=157
4.41/2.57
4.41/2.58 o 156
4.41/2.58 num=101, depth=2..63, filters=19853, revisions=(57993,useless=39016), ccks=39303, wck=0.249, mem=55M652
4.41/2.58 decisions=1839, wrong=21, backtracks=8, failedAssignments=13, nogoods=12, foundSolutions=102, bestBound=156
4.41/2.58
4.41/2.58 o 151
4.41/2.58 num=102, depth=3..63, filters=20140, revisions=(58794,useless=39541), ccks=39892, wck=0.252, mem=55M652
4.41/2.58 decisions=1868, wrong=23, backtracks=8, failedAssignments=15, nogoods=14, foundSolutions=103, bestBound=151
4.41/2.58
4.41/2.58 o 150
4.41/2.58 num=103, depth=3..63, filters=20375, revisions=(59576,useless=40096), ccks=40373, wck=0.254, mem=55M652
4.41/2.58 decisions=1880, wrong=25, backtracks=8, failedAssignments=17, nogoods=16, foundSolutions=104, bestBound=150
4.41/2.58
4.41/2.59 o 148
4.41/2.59 num=104, depth=3..63, filters=20958, revisions=(61158,useless=41125), ccks=41230, wck=0.259, mem=55M652
4.41/2.59 decisions=1913, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=105, bestBound=148
4.41/2.59
4.41/2.59 o 141
4.41/2.59 num=105, depth=65..63, filters=21219, revisions=(61710,useless=41426), ccks=41703, wck=0.261, mem=55M652
4.41/2.59 decisions=1940, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=106, bestBound=141
4.41/2.59
4.41/2.59 o 139
4.41/2.59 num=106, depth=65..63, filters=21478, revisions=(62270,useless=41735), ccks=42100, wck=0.263, mem=55M652
4.41/2.59 decisions=1959, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=107, bestBound=139
4.41/2.59
4.41/2.59 o 137
4.41/2.59 num=107, depth=65..63, filters=21730, revisions=(62831,useless=42052), ccks=42494, wck=0.265, mem=55M652
4.41/2.59 decisions=1975, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=108, bestBound=137
4.41/2.59
4.41/2.60 o 131
4.41/2.60 num=108, depth=65..63, filters=21989, revisions=(63395,useless=42364), ccks=42889, wck=0.267, mem=55M652
4.41/2.60 decisions=2001, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=109, bestBound=131
4.41/2.60
4.74/2.60 o 129
4.74/2.60 num=109, depth=65..63, filters=22247, revisions=(63962,useless=42678), ccks=43283, wck=0.269, mem=55M652
4.74/2.60 decisions=2018, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=110, bestBound=129
4.74/2.60
4.74/2.60 o 128
4.74/2.61 num=110, depth=65..63, filters=22494, revisions=(64543,useless=43017), ccks=43677, wck=0.271, mem=55M652
4.74/2.61 decisions=2030, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=111, bestBound=128
4.74/2.61
4.74/2.61 o 127
4.74/2.61 num=111, depth=65..63, filters=22732, revisions=(65106,useless=43349), ccks=44072, wck=0.273, mem=55M652
4.74/2.61 decisions=2042, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=112, bestBound=127
4.74/2.61
4.74/2.61 o 126
4.74/2.61 num=112, depth=65..63, filters=22970, revisions=(65756,useless=43764), ccks=44465, wck=0.275, mem=55M652
4.74/2.61 decisions=2051, wrong=35, backtracks=14, failedAssignments=23, nogoods=21, foundSolutions=113, bestBound=126
4.74/2.61
4.74/2.61 num=113, depth=2..6, filters=23573, revisions=(67244,useless=44690), ccks=45231, wck=0.279, mem=55M652
4.74/2.61 decisions=2084, wrong=50, backtracks=21, failedAssignments=34, nogoods=26, foundSolutions=113, bestBound=126
4.74/2.61
4.74/2.61 num=114, depth=0..5, filters=24130, revisions=(69070,useless=46004), ccks=46346, wck=0.283, mem=55M652
4.74/2.61 decisions=2123, wrong=69, backtracks=34, failedAssignments=45, nogoods=30, foundSolutions=113, bestBound=126
4.74/2.61
4.74/2.62 num=115, depth=0..7, filters=24788, revisions=(70784,useless=47115), ccks=47162, wck=0.288, mem=55M652
4.74/2.62 decisions=2158, wrong=86, backtracks=46, failedAssignments=57, nogoods=35, foundSolutions=113, bestBound=126
4.74/2.62
4.74/2.62
4.74/2.62 New Bounds: 126..125
4.74/2.62 num=116, depth=0..4, filters=25354, revisions=(72076,useless=47886), ccks=48008, wck=0.292, mem=55M652
4.74/2.62 decisions=2192, wrong=104, backtracks=56, failedAssignments=65, foundSolutions=113, bestBound=126
4.74/2.62
4.74/2.62 Global
4.74/2.62 filters=25354, revisions=(72076,useless=47886), ccks=48008
4.74/2.62 Stop=FULL_EXPLORATION, wrong=104, bestBound=126, bestBoundWck=0.746, bestBoundCpu=2.57, foundSolutions=113, firstSolCpu=2.31
4.74/2.62 wck=0.763, cpu=2.588, mem=55M652
4.74/2.62
4.74/2.62 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.74/2.62 s OPTIMUM FOUND
4.74/2.62
4.74/2.62 d WRONG_DECISIONS 104
4.74/2.62 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 (15328 MiB free)
memory of node 1: 16384 MiB (15362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390899-1568381765/watcher-4390899-1568381765 -o /tmp/evaluation-result-4390899-1568381765/solver-4390899-1568381765 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29501 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390899-1568381765.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
solver pid=29975, runsolver pid=29972
Current StackSize limit: 8192 KiB
[startup+0.103829 s]*
/proc/loadavg: 1.88 1.69 1.27 4/229 29990
/proc/meminfo: memFree=31413028/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10659884 memory=29544 CPUtime=0.15 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 5938 0 0 0 14 1 0 0 20 0 15 0 414427942 10915721216 7386 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2664971 7386 2924 1 0 2627468 0
[pid=29975/tid=29977] ppid=29972 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) R 29972 29975 29470 0 -1 4202560 3271 0 0 0 9 0 0 0 20 0 15 0 414427942 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757939533832 139757919384926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10659884 memory=139933004273234 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757425235440 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) S 29972 29975 29470 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 15 0 414427948 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757423130608 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) R 29972 29975 29470 0 -1 4202560 173 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757422059080 139757916004736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0.02 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) R 29972 29975 29470 0 -1 4202560 678 0 0 0 2 0 0 0 20 0 15 0 414427948 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757421022520 139757913421555 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 7452 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29544 KiB
[startup+0.211578 s]*
/proc/loadavg: 1.88 1.69 1.27 3/229 29990
/proc/meminfo: memFree=31400584/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10659884 memory=37660 CPUtime=0.33 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 9199 0 0 0 30 3 0 0 20 0 15 0 414427942 10915721216 9415 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2664971 9415 2988 1 0 2627468 0
[pid=29975/tid=29977] ppid=29972 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) R 29972 29975 29470 0 -1 4202560 6131 0 0 0 18 2 0 0 20 0 15 0 414427942 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757939536528 139757935326365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10659884 memory=288370309155956352 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757425235440 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) S 29972 29975 29470 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 414427948 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757423130608 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) S 29972 29975 29470 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 414427948 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757422078064 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0.05 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) S 29972 29975 29470 0 -1 1077944384 739 0 0 0 5 0 0 0 20 0 15 0 414427948 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757421025520 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 9415 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37660 KiB
[startup+0.31016 s]*
/proc/loadavg: 1.88 1.69 1.27 5/229 29990
/proc/meminfo: memFree=31399244/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10659884 memory=40456 CPUtime=0.47 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 9388 0 0 0 43 4 0 0 20 0 15 0 414427942 10915721216 10114 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2664971 10114 3001 1 0 2627468 0
[pid=29975/tid=29977] ppid=29972 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) R 29972 29975 29470 0 -1 4202560 6256 0 0 0 27 2 0 0 20 0 15 0 414427942 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757939540256 139757935326365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10659884 memory=4297776180 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10659884 memory=288370309155956352 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427943 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414427945 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757425235440 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) S 29972 29975 29470 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 414427948 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757423130608 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) R 29972 29975 29470 0 -1 1077944384 433 0 0 0 4 0 0 0 20 0 15 0 414427948 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757422078064 139757935315586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0.07 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) S 29972 29975 29470 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 15 0 414427948 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757421025520 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10659884 memory=139933004244608 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427948 10915721216 10114 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40456 KiB
[startup+0.700708 s]
/proc/loadavg: 1.88 1.69 1.27 3/229 29990
/proc/meminfo: memFree=31390248/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10661932 memory=63508 CPUtime=1.1 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 12865 0 0 0 104 6 0 0 20 0 15 0 414427942 10917818368 15813 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2665483 15813 3070 1 0 2627980 0
[pid=29975/tid=29977] ppid=29972 vsize=10661932 memory=19960 CPUtime=0.68 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) R 29972 29975 29470 0 -1 4202560 8801 0 0 0 64 4 0 0 20 0 15 0 414427942 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757939527544 139757935326365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427943 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427945 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10661932 memory=7 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414427945 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10661932 memory=7 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414427945 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757425235440 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10661932 memory=1961 CPUtime=0.11 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) S 29972 29975 29470 0 -1 1077944384 837 0 0 0 11 0 0 0 20 0 15 0 414427948 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757423130608 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10661932 memory=119290 CPUtime=0.1 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) S 29972 29975 29470 0 -1 1077944384 697 0 0 0 10 0 0 0 20 0 15 0 414427948 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757422078064 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) S 29972 29975 29470 0 -1 1077944384 1172 0 0 0 18 0 0 0 20 0 15 0 414427948 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757421025520 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427948 10917818368 15877 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63508 KiB
[startup+1.50067 s]
/proc/loadavg: 1.88 1.69 1.27 3/229 29990
/proc/meminfo: memFree=31373932/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10663980 memory=75612 CPUtime=1.99 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 18215 0 0 0 192 7 0 0 20 0 15 0 414427942 10919915520 18903 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2665995 18903 3092 1 0 2628492 0
[pid=29975/tid=29977] ppid=29972 vsize=10663980 memory=19960 CPUtime=1.48 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) R 29972 29975 29470 0 -1 4202560 12976 0 0 0 143 5 0 0 20 0 15 0 414427942 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757939530320 139757915579217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427943 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414427945 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414427945 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10663980 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414427945 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757425235440 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10663980 memory=7379821347546425959 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10663980 memory=7234306476872920929 CPUtime=0.16 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) S 29972 29975 29470 0 -1 1077944384 1355 0 0 0 16 0 0 0 20 0 15 0 414427948 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757423130608 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10663980 memory=6946895241060312407 CPUtime=0.13 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) S 29972 29975 29470 0 -1 1077944384 1270 0 0 0 13 0 0 0 20 0 15 0 414427948 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757422078064 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) S 29972 29975 29470 0 -1 1077944384 1174 0 0 0 18 0 0 0 20 0 15 0 414427948 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757421025520 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10663980 memory=1 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414427948 10919915520 18903 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75612 KiB
[startup+2.67421 s]
# the end of solver process 29975 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.70396 s, system=0.167418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6008 s]
/proc/loadavg: 1.88 1.69 1.27 3/229 29990
/proc/meminfo: memFree=31373932/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10666028 memory=76616 CPUtime=2.09 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 18604 0 0 0 202 7 0 0 20 0 15 0 414427942 10922012672 19154 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2666507 19154 3092 1 0 2629004 0
[pid=29975/tid=29977] ppid=29972 vsize=10666028 memory=7 CPUtime=1.58 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) R 29972 29975 29470 0 -1 4202560 13330 0 0 0 153 5 0 0 20 0 15 0 414427942 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757939530320 139757918497128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10666028 memory=1961 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10666028 memory=119290 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414427943 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414427943 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414427945 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10666028 memory=4 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414427945 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414427945 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757425235440 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10666028 memory=268704562678621 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10666028 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) S 29972 29975 29470 0 -1 1077944384 1355 0 0 0 16 0 0 0 20 0 15 0 414427948 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757423130608 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10666028 memory=-5921431000321636112 CPUtime=0.14 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) S 29972 29975 29470 0 -1 1077944384 1305 0 0 0 14 0 0 0 20 0 15 0 414427948 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757422078064 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10666028 memory=6944656592455360604 CPUtime=0.18 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) S 29972 29975 29470 0 -1 1077944384 1174 0 0 0 18 0 0 0 20 0 15 0 414427948 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757421025520 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10666028 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414427948 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10666028 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414427948 10922012672 19154 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76616 KiB
[startup+2.40154 s]
/proc/loadavg: 1.88 1.69 1.27 4/230 29991
/proc/meminfo: memFree=31296636/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10748324 memory=159956 CPUtime=4.08 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 28568 0 0 0 394 14 0 0 20 0 16 0 414427942 11006283776 39989 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2687081 39989 3341 1 0 2647217 0
[pid=29975/tid=29977] ppid=29972 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) S 29972 29975 29470 0 -1 1077944384 15242 0 0 0 180 6 0 0 20 0 16 0 414427942 11006283776 39989 33554432000 4194304 4196468 140727795642256 139757939547312 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10748324 memory=288230617495199578 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10748324 memory=14413713502035080 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414427945 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414427945 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414427945 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757425235456 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414427948 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10748324 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) R 29972 29975 29470 0 -1 4202560 2180 0 0 0 51 0 0 0 20 0 16 0 414427948 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757423116536 139757916848156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10748324 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) R 29972 29975 29470 0 -1 4202560 2355 0 0 0 53 0 0 0 20 0 16 0 414427948 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757422070696 139757919294751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10748324 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) R 29972 29975 29470 0 -1 4202560 2567 0 0 0 57 1 0 0 20 0 16 0 414427948 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757421025520 139757914113256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414427948 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414427948 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29991] ppid=29972 vsize=10748324 memory=279865706152176 CPUtime=0.47 cores=0,2,4,6
/proc/29975/task/29991/stat : 29991 (java) R 29972 29975 29470 0 -1 4202560 3598 0 0 0 45 2 0 0 20 0 16 0 414428131 11006283776 40055 33554432000 4194304 4196468 140727795642256 139757401853344 139757577820677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 159956 KiB
[startup+2.60154 s]
/proc/loadavg: 1.88 1.69 1.27 4/230 29991
/proc/meminfo: memFree=31296636/32770624 swapFree=66994788/67108860
[pid=29975] ppid=29972 vsize=10748324 memory=173980 CPUtime=4.74 cores=0,2,4,6
/proc/29975/stat : 29975 (java) S 29972 29975 29470 0 -1 1077944320 32379 0 0 0 458 16 0 0 20 0 16 0 414427942 11006283776 43495 33554432000 4194304 4196468 140727795642256 140727795624800 139757935304439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
/proc/29975/statm: 2687081 43495 3345 1 0 2647217 0
[pid=29975/tid=29977] ppid=29972 vsize=10748324 memory=19960 CPUtime=1.86 cores=0,2,4,6
/proc/29975/task/29977/stat : 29977 (java) S 29972 29975 29470 0 -1 1077944384 15242 0 0 0 180 6 0 0 20 0 16 0 414427942 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757939547312 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29978] ppid=29972 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29978/stat : 29978 (java) S 29972 29975 29470 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757542287632 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29979] ppid=29972 vsize=10748324 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29979/stat : 29979 (java) S 29972 29975 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757541235088 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29980] ppid=29972 vsize=10748324 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29980/stat : 29980 (java) S 29972 29975 29470 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757540182544 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29981] ppid=29972 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29981/stat : 29981 (java) S 29972 29975 29470 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414427943 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757539130000 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29982] ppid=29972 vsize=10748324 memory=1564 CPUtime=0.01 cores=0,2,4,6
/proc/29975/task/29982/stat : 29982 (java) S 29972 29975 29470 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414427945 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757427341808 139757935315586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29983] ppid=29972 vsize=10748324 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29983/stat : 29983 (java) S 29972 29975 29470 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414427945 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757426288032 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29984] ppid=29972 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29984/stat : 29984 (java) S 29972 29975 29470 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414427945 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757425235456 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29985] ppid=29972 vsize=10748324 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29985/stat : 29985 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414427948 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757424184016 139757935323035 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29986] ppid=29972 vsize=10748324 memory=3440 CPUtime=0.72 cores=0,2,4,6
/proc/29975/task/29986/stat : 29986 (java) R 29972 29975 29470 0 -1 4202560 3197 0 0 0 71 1 0 0 20 0 16 0 414427948 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757423120224 139757920406240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29987] ppid=29972 vsize=10748324 memory=2832 CPUtime=0.74 cores=0,2,4,6
/proc/29975/task/29987/stat : 29987 (java) R 29972 29975 29470 0 -1 4202560 4343 0 0 0 73 1 0 0 20 0 16 0 414427948 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757422063944 139757920419485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29988] ppid=29972 vsize=10748324 memory=5904 CPUtime=0.63 cores=0,2,4,6
/proc/29975/task/29988/stat : 29988 (java) S 29972 29975 29470 0 -1 1077944384 2997 0 0 0 62 1 0 0 20 0 16 0 414427948 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757421025520 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29989] ppid=29972 vsize=10748324 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29989/stat : 29989 (java) S 29972 29975 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414427948 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757419973216 139757935314645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29990] ppid=29972 vsize=10748324 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/29975/task/29990/stat : 29990 (java) S 29972 29975 29470 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414427948 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757418920752 139757935315586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
[pid=29975/tid=29991] ppid=29972 vsize=10748324 memory=2319389199166351968 CPUtime=0.67 cores=0,2,4,6
/proc/29975/task/29991/stat : 29991 (java) R 29972 29975 29470 0 -1 4202560 3877 0 0 0 65 2 0 0 20 0 16 0 414428131 11006283776 43495 33554432000 4194304 4196468 140727795642256 139757401845824 139757579033752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24096768 140727795643403 140727795643506 140727795643506 140727795646415 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 173980 KiB
Child status: 0
Real time (s): 2.67425
CPU time (s): 4.87138
CPU user time (s): 4.70396
CPU system time (s): 0.167418
CPU usage (%): 182.158
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 173980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.70396
system time used= 0.167418
maximum resident set size= 178924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2669
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 29975
# total CPU time (s): 4.87138
# total CPU user time (s): 4.70396
# total CPU system time (s): 0.167418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037915 second user time and 0.073461 second system time
The end