2.39/1.88
2.39/1.88 AbsCon 2
2.62/1.90
2.89/2.09 Instance
2.89/2.09 name=instance-4391202-1568389720, framework=COP, bounds=-infty..+infty
2.89/2.09
2.89/2.09 Loading variables...
3.18/2.12 Loading constraints...
3.77/2.32
3.77/2.32 Domains
3.77/2.32 nTypes=37, nValues=779, sizes=[2#1,3#3,4#8,5#3...12#2,13#2,14#21,15#15]
3.77/2.32 Variables
3.77/2.32 count=70, degrees=[2#35,16#20,22#14,23#1]
3.77/2.32 Objectives
3.77/2.32 way=min, type=SumSimpleLE
3.77/2.32 Constraints
3.77/2.32 count=338, nSpecific=2, arities=[1#1,2#335,15#1,35#1]
3.77/2.32 distribution=[Circuit#1,CtrExtensionV-Bits#35,CtrIntension#301,SumSimpleLE#1]
3.77/2.32 nExtStructures=(35,shared:0), nIntStructures=(16,shared:285), nCftStructures=(50,shared:285,unbuilt:3)
3.77/2.32 wck=0.465, cpu=2.283, mem=39M724
3.77/2.32 Solver SolverBacktrack being built...
3.77/2.32
3.77/2.34
3.77/2.34 Solver
3.77/2.34 guaranteedGAC=false
3.77/2.34 wck=0.492, cpu=2.309, mem=50M366
3.77/2.35
3.77/2.35 Preprocessing
3.77/2.35 filters=17, revisions=(32,useless=15), ccks=3153, nACremovedValues=168, nTotalRemovedValues=168, inconcistency=false
3.77/2.35 wck=0.005, cpu=2.315, mem=50M366
3.77/2.35
3.77/2.36 o 215
3.77/2.37 num=0, depth=71..69, filters=499, revisions=(690,useless=203), ccks=3792, wck=0.025, mem=53M9
3.77/2.37 decisions=12, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=215
3.77/2.37
3.77/2.38 o 214
3.77/2.38 num=1, depth=7..69, filters=961, revisions=(1738,useless=813), ccks=4624, wck=0.036, mem=53M9
3.77/2.38 decisions=47, wrong=8, backtracks=3, failedAssignments=6, nogoods=2, foundSolutions=2, bestBound=214
3.77/2.38
4.09/2.40 o 213
4.09/2.40 num=2, depth=2..69, filters=1080, revisions=(2596,useless=1564), ccks=5228, wck=0.054, mem=53M9
4.09/2.40 decisions=65, wrong=11, backtracks=4, failedAssignments=8, nogoods=4, foundSolutions=3, bestBound=213
4.09/2.40
4.09/2.41 o 212
4.09/2.41 num=3, depth=71..69, filters=1184, revisions=(3353,useless=2224), ccks=5674, wck=0.059, mem=53M9
4.09/2.41 decisions=81, wrong=11, backtracks=4, failedAssignments=8, nogoods=4, foundSolutions=4, bestBound=212
4.09/2.41
4.09/2.41 o 211
4.09/2.41 num=4, depth=2..69, filters=1453, revisions=(4474,useless=3087), ccks=6373, wck=0.065, mem=53M9
4.09/2.41 decisions=104, wrong=15, backtracks=5, failedAssignments=11, nogoods=7, foundSolutions=5, bestBound=211
4.09/2.41
4.09/2.41 o 210
4.09/2.42 num=5, depth=4..69, filters=1548, revisions=(5274,useless=3800), ccks=6828, wck=0.069, mem=53M9
4.09/2.42 decisions=118, wrong=16, backtracks=5, failedAssignments=12, nogoods=8, foundSolutions=6, bestBound=210
4.09/2.42
4.09/2.42 o 208
4.09/2.42 num=6, depth=2..69, filters=1854, revisions=(6292,useless=4531), ccks=7482, wck=0.074, mem=53M9
4.09/2.42 decisions=149, wrong=22, backtracks=6, failedAssignments=18, nogoods=12, foundSolutions=7, bestBound=208
4.09/2.42
4.09/2.42 o 207
4.09/2.42 num=7, depth=71..69, filters=1971, revisions=(7082,useless=5211), ccks=7994, wck=0.077, mem=53M9
4.09/2.42 decisions=161, wrong=22, backtracks=6, failedAssignments=18, nogoods=12, foundSolutions=8, bestBound=207
4.09/2.42
4.09/2.43 o 206
4.09/2.43 num=8, depth=5..69, filters=2178, revisions=(8050,useless=5984), ccks=8530, wck=0.081, mem=53M9
4.09/2.43 decisions=179, wrong=24, backtracks=6, failedAssignments=20, nogoods=14, foundSolutions=9, bestBound=206
4.09/2.43
4.09/2.43 o 204
4.09/2.43 num=9, depth=8..69, filters=2372, revisions=(8788,useless=6533), ccks=9060, wck=0.085, mem=53M9
4.09/2.43 decisions=199, wrong=25, backtracks=6, failedAssignments=21, nogoods=15, foundSolutions=10, bestBound=204
4.09/2.43
4.09/2.43 o 203
4.09/2.43 num=10, depth=71..69, filters=2522, revisions=(9530,useless=7133), ccks=9478, wck=0.088, mem=53M9
4.09/2.43 decisions=212, wrong=25, backtracks=6, failedAssignments=21, nogoods=15, foundSolutions=11, bestBound=203
4.09/2.43
4.09/2.44 o 202
4.09/2.44 num=11, depth=8..69, filters=2693, revisions=(10281,useless=7718), ccks=9934, wck=0.091, mem=53M9
4.09/2.44 decisions=228, wrong=26, backtracks=6, failedAssignments=22, nogoods=16, foundSolutions=12, bestBound=202
4.09/2.44
4.09/2.44 o 201
4.09/2.44 num=12, depth=7..69, filters=2992, revisions=(11306,useless=8449), ccks=10445, wck=0.094, mem=53M9
4.09/2.44 decisions=249, wrong=28, backtracks=6, failedAssignments=24, nogoods=18, foundSolutions=13, bestBound=201
4.09/2.44
4.09/2.44 o 200
4.09/2.44 num=13, depth=6..69, filters=3249, revisions=(12322,useless=9224), ccks=11027, wck=0.098, mem=55M651
4.09/2.44 decisions=268, wrong=30, backtracks=6, failedAssignments=26, nogoods=20, foundSolutions=14, bestBound=200
4.09/2.44
4.09/2.45 o 199
4.09/2.45 num=14, depth=4..69, filters=3427, revisions=(13225,useless=9952), ccks=11590, wck=0.101, mem=55M651
4.09/2.45 decisions=287, wrong=33, backtracks=7, failedAssignments=28, nogoods=22, foundSolutions=15, bestBound=199
4.09/2.45
4.09/2.45 o 198
4.09/2.45 num=15, depth=6..69, filters=3686, revisions=(14004,useless=10479), ccks=12120, wck=0.105, mem=55M651
4.09/2.45 decisions=305, wrong=34, backtracks=7, failedAssignments=29, nogoods=23, foundSolutions=16, bestBound=198
4.09/2.45
4.09/2.45 o 197
4.09/2.45 num=16, depth=5..69, filters=3907, revisions=(14852,useless=11105), ccks=12632, wck=0.108, mem=55M651
4.09/2.45 decisions=319, wrong=35, backtracks=7, failedAssignments=30, nogoods=24, foundSolutions=17, bestBound=197
4.09/2.45
4.09/2.46 o 196
4.09/2.46 num=17, depth=71..69, filters=4058, revisions=(15588,useless=11698), ccks=13104, wck=0.111, mem=55M651
4.09/2.46 decisions=331, wrong=35, backtracks=7, failedAssignments=30, nogoods=24, foundSolutions=18, bestBound=196
4.09/2.46
4.09/2.46 o 195
4.09/2.46 num=18, depth=71..69, filters=4184, revisions=(16343,useless=12331), ccks=13507, wck=0.113, mem=55M651
4.09/2.46 decisions=341, wrong=35, backtracks=7, failedAssignments=30, nogoods=24, foundSolutions=19, bestBound=195
4.09/2.46
4.09/2.46 o 194
4.09/2.46 num=19, depth=7..69, filters=4401, revisions=(17323,useless=13106), ccks=13965, wck=0.116, mem=55M651
4.09/2.46 decisions=355, wrong=36, backtracks=7, failedAssignments=31, nogoods=25, foundSolutions=20, bestBound=194
4.09/2.46
4.09/2.47 o 193
4.09/2.47 num=20, depth=6..69, filters=4684, revisions=(18345,useless=13854), ccks=14492, wck=0.12, mem=55M651
4.09/2.47 decisions=378, wrong=39, backtracks=7, failedAssignments=34, nogoods=28, foundSolutions=21, bestBound=193
4.09/2.47
4.09/2.47 o 187
4.09/2.47 num=21, depth=5..69, filters=4954, revisions=(19406,useless=14656), ccks=15068, wck=0.124, mem=55M651
4.09/2.47 decisions=413, wrong=41, backtracks=8, failedAssignments=35, nogoods=29, foundSolutions=22, bestBound=187
4.09/2.47
4.09/2.47 o 185
4.09/2.47 num=22, depth=5..69, filters=5225, revisions=(20608,useless=15601), ccks=15529, wck=0.128, mem=55M651
4.09/2.47 decisions=445, wrong=44, backtracks=8, failedAssignments=38, nogoods=32, foundSolutions=23, bestBound=185
4.09/2.47
4.09/2.48 o 183
4.09/2.48 num=23, depth=71..69, filters=5379, revisions=(21349,useless=16197), ccks=15953, wck=0.13, mem=55M651
4.09/2.48 decisions=462, wrong=44, backtracks=8, failedAssignments=38, nogoods=32, foundSolutions=24, bestBound=183
4.09/2.48
4.09/2.48 o 180
4.09/2.48 num=24, depth=4..69, filters=5593, revisions=(22234,useless=16871), ccks=16532, wck=0.134, mem=55M651
4.09/2.48 decisions=493, wrong=47, backtracks=9, failedAssignments=40, nogoods=34, foundSolutions=25, bestBound=180
4.09/2.48
4.09/2.48 o 178
4.09/2.48 num=25, depth=6..69, filters=5790, revisions=(23058,useless=17499), ccks=17011, wck=0.137, mem=55M651
4.09/2.48 decisions=512, wrong=48, backtracks=9, failedAssignments=41, nogoods=35, foundSolutions=26, bestBound=178
4.09/2.48
4.09/2.49 o 176
4.09/2.49 num=26, depth=3..69, filters=6328, revisions=(24915,useless=18847), ccks=17880, wck=0.142, mem=55M651
4.09/2.49 decisions=543, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=27, bestBound=176
4.09/2.49
4.09/2.49 o 175
4.09/2.49 num=27, depth=71..69, filters=6516, revisions=(25676,useless=19420), ccks=18343, wck=0.145, mem=55M651
4.09/2.49 decisions=558, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=28, bestBound=175
4.09/2.49
4.09/2.49 o 174
4.09/2.49 num=28, depth=71..69, filters=6693, revisions=(26446,useless=20015), ccks=18746, wck=0.148, mem=55M651
4.09/2.49 decisions=571, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=29, bestBound=174
4.09/2.49
4.09/2.50 o 172
4.09/2.50 num=29, depth=71..69, filters=6872, revisions=(27214,useless=20606), ccks=19148, wck=0.151, mem=55M651
4.09/2.50 decisions=589, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=30, bestBound=172
4.09/2.50
4.43/2.50 o 171
4.43/2.50 num=30, depth=71..69, filters=7027, revisions=(27973,useless=21214), ccks=19548, wck=0.153, mem=55M651
4.43/2.50 decisions=601, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=31, bestBound=171
4.43/2.50
4.43/2.50 o 169
4.43/2.50 num=31, depth=71..69, filters=7177, revisions=(28723,useless=21817), ccks=19950, wck=0.156, mem=55M651
4.43/2.50 decisions=618, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=32, bestBound=169
4.43/2.50
4.43/2.50 o 168
4.43/2.50 num=32, depth=71..69, filters=7315, revisions=(29486,useless=22449), ccks=20350, wck=0.158, mem=55M651
4.43/2.50 decisions=628, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=33, bestBound=168
4.43/2.50
4.43/2.51 o 167
4.43/2.51 num=33, depth=71..69, filters=7439, revisions=(30248,useless=23095), ccks=20750, wck=0.161, mem=55M651
4.43/2.51 decisions=637, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=34, bestBound=167
4.43/2.51
4.43/2.51 o 165
4.43/2.51 num=34, depth=2..69, filters=7859, revisions=(31923,useless=24374), ccks=21581, wck=0.165, mem=55M651
4.43/2.51 decisions=663, wrong=62, backtracks=17, failedAssignments=49, nogoods=38, foundSolutions=35, bestBound=165
4.43/2.51
4.43/2.51 o 164
4.43/2.51 num=35, depth=3..69, filters=8209, revisions=(33145,useless=25251), ccks=22363, wck=0.169, mem=55M651
4.43/2.51 decisions=682, wrong=66, backtracks=18, failedAssignments=52, nogoods=41, foundSolutions=36, bestBound=164
4.43/2.51
4.43/2.52 o 163
4.43/2.52 num=36, depth=3..69, filters=8432, revisions=(34275,useless=26171), ccks=22956, wck=0.173, mem=55M651
4.43/2.52 decisions=695, wrong=67, backtracks=18, failedAssignments=53, nogoods=42, foundSolutions=37, bestBound=163
4.43/2.52
4.43/2.52 o 162
4.43/2.52 num=37, depth=2..69, filters=8915, revisions=(36190,useless=27640), ccks=23997, wck=0.177, mem=55M651
4.43/2.52 decisions=721, wrong=76, backtracks=24, failedAssignments=58, nogoods=43, foundSolutions=38, bestBound=162
4.43/2.52
4.43/2.53 num=38, depth=2..5, filters=9235, revisions=(37834,useless=29004), ccks=24977, wck=0.181, mem=55M651
4.43/2.53 decisions=755, wrong=92, backtracks=31, failedAssignments=69, nogoods=50, foundSolutions=38, bestBound=162
4.43/2.53
4.43/2.53 o 160
4.43/2.53 num=39, depth=3..69, filters=9664, revisions=(39298,useless=30050), ccks=25850, wck=0.185, mem=58M294
4.43/2.53 decisions=777, wrong=96, backtracks=32, failedAssignments=72, nogoods=53, foundSolutions=39, bestBound=160
4.43/2.53
4.43/2.54 o 159
4.43/2.54 num=40, depth=2..69, filters=10114, revisions=(41564,useless=31917), ccks=27276, wck=0.191, mem=58M294
4.43/2.54 decisions=817, wrong=113, backtracks=41, failedAssignments=82, nogoods=57, foundSolutions=40, bestBound=159
4.43/2.54
4.43/2.54 o 158
4.43/2.54 num=41, depth=71..69, filters=10295, revisions=(42393,useless=32571), ccks=27750, wck=0.194, mem=58M294
4.43/2.54 decisions=831, wrong=113, backtracks=41, failedAssignments=82, nogoods=57, foundSolutions=41, bestBound=158
4.43/2.54
4.43/2.54 o 157
4.43/2.54 num=42, depth=2..69, filters=10527, revisions=(43403,useless=33360), ccks=28267, wck=0.197, mem=58M294
4.43/2.54 decisions=847, wrong=115, backtracks=41, failedAssignments=84, nogoods=59, foundSolutions=42, bestBound=157
4.43/2.54
4.43/2.54 o 155
4.43/2.55 num=43, depth=4..69, filters=10724, revisions=(44333,useless=34097), ccks=28705, wck=0.2, mem=58M294
4.43/2.55 decisions=865, wrong=116, backtracks=41, failedAssignments=85, nogoods=60, foundSolutions=43, bestBound=155
4.43/2.55
4.43/2.55 o 154
4.43/2.55 num=44, depth=4..69, filters=10891, revisions=(45265,useless=34865), ccks=29108, wck=0.203, mem=58M294
4.43/2.55 decisions=876, wrong=117, backtracks=41, failedAssignments=86, nogoods=61, foundSolutions=44, bestBound=154
4.43/2.55
4.43/2.55 o 153
4.43/2.55 num=45, depth=71..69, filters=11025, revisions=(46149,useless=35622), ccks=29508, wck=0.206, mem=58M294
4.43/2.55 decisions=883, wrong=117, backtracks=41, failedAssignments=86, nogoods=61, foundSolutions=45, bestBound=153
4.43/2.55
4.43/2.55 o 152
4.43/2.55 num=46, depth=71..69, filters=11144, revisions=(47032,useless=36393), ccks=29908, wck=0.208, mem=58M294
4.43/2.55 decisions=889, wrong=117, backtracks=41, failedAssignments=86, nogoods=61, foundSolutions=46, bestBound=152
4.43/2.55
4.43/2.56 o 151
4.43/2.56 num=47, depth=1..69, filters=11872, revisions=(49878,useless=38577), ccks=31302, wck=0.216, mem=58M294
4.43/2.56 decisions=926, wrong=132, backtracks=49, failedAssignments=95, nogoods=68, foundSolutions=47, bestBound=151
4.43/2.56
4.43/2.57 o 150
4.43/2.57 num=48, depth=2..69, filters=12240, revisions=(51356,useless=39711), ccks=32073, wck=0.22, mem=58M294
4.43/2.57 decisions=950, wrong=138, backtracks=50, failedAssignments=100, nogoods=73, foundSolutions=48, bestBound=150
4.43/2.57
4.43/2.57 num=49, depth=0..5, filters=13057, revisions=(54038,useless=41620), ccks=33221, wck=0.227, mem=58M294
4.43/2.57 decisions=986, wrong=155, backtracks=62, failedAssignments=111, nogoods=77, foundSolutions=48, bestBound=150
4.43/2.57
4.43/2.58 num=50, depth=0..8, filters=13848, revisions=(56235,useless=43096), ccks=34304, wck=0.233, mem=58M294
4.43/2.58 decisions=1031, wrong=177, backtracks=76, failedAssignments=122, nogoods=79, foundSolutions=48, bestBound=150
4.43/2.58
4.43/2.58 num=51, depth=0..5, filters=14520, revisions=(58403,useless=44661), ccks=35424, wck=0.239, mem=58M294
4.43/2.58 decisions=1073, wrong=197, backtracks=84, failedAssignments=134, nogoods=80, foundSolutions=48, bestBound=150
4.43/2.58
4.43/2.59 o 149
4.43/2.59 num=52, depth=1..69, filters=14767, revisions=(59355,useless=45368), ccks=36117, wck=0.242, mem=58M294
4.43/2.59 decisions=1095, wrong=202, backtracks=85, failedAssignments=138, nogoods=84, foundSolutions=49, bestBound=149
4.43/2.59
4.43/2.59 o 148
4.43/2.59 num=53, depth=1..69, filters=15118, revisions=(61119,useless=46797), ccks=37186, wck=0.246, mem=58M294
4.43/2.59 decisions=1125, wrong=211, backtracks=90, failedAssignments=144, nogoods=88, foundSolutions=50, bestBound=148
4.43/2.59
4.43/2.59 o 147
4.43/2.59 num=54, depth=3..69, filters=15476, revisions=(62400,useless=47740), ccks=37879, wck=0.249, mem=58M294
4.43/2.59 decisions=1139, wrong=213, backtracks=90, failedAssignments=146, nogoods=90, foundSolutions=51, bestBound=147
4.43/2.59
4.43/2.60 o 145
4.43/2.60 num=55, depth=1..69, filters=15679, revisions=(63391,useless=48525), ccks=38431, wck=0.252, mem=58M294
4.43/2.60 decisions=1150, wrong=214, backtracks=90, failedAssignments=147, nogoods=91, foundSolutions=52, bestBound=145
4.43/2.60
4.74/2.60 o 144
4.74/2.60 num=56, depth=71..69, filters=15866, revisions=(64237,useless=49191), ccks=38883, wck=0.254, mem=58M294
4.74/2.60 decisions=1160, wrong=214, backtracks=90, failedAssignments=147, nogoods=91, foundSolutions=53, bestBound=144
4.74/2.60
4.74/2.60 o 143
4.74/2.60 num=57, depth=1..69, filters=16047, revisions=(65176,useless=49951), ccks=39363, wck=0.257, mem=58M294
4.74/2.60 decisions=1168, wrong=215, backtracks=90, failedAssignments=148, nogoods=92, foundSolutions=54, bestBound=143
4.74/2.60
4.74/2.60 o 141
4.74/2.60 num=58, depth=71..69, filters=16223, revisions=(66048,useless=50653), ccks=39803, wck=0.259, mem=58M294
4.74/2.60 decisions=1178, wrong=215, backtracks=90, failedAssignments=148, nogoods=92, foundSolutions=55, bestBound=141
4.74/2.60
4.74/2.61 num=59, depth=0..8, filters=17047, revisions=(68371,useless=52180), ccks=40830, wck=0.264, mem=58M294
4.74/2.61 decisions=1210, wrong=230, backtracks=98, failedAssignments=159, nogoods=94, foundSolutions=55, bestBound=141
4.74/2.61
4.74/2.62 num=60, depth=0..8, filters=18085, revisions=(70840,useless=53674), ccks=42224, wck=0.27, mem=58M294
4.74/2.62 decisions=1252, wrong=248, backtracks=108, failedAssignments=170, nogoods=96, foundSolutions=55, bestBound=141
4.74/2.62
4.74/2.62
4.74/2.62 New Bounds: 141..140
4.74/2.62 num=61, depth=0..7, filters=19118, revisions=(73528,useless=55389), ccks=43804, wck=0.275, mem=58M294
4.74/2.62 decisions=1298, wrong=272, backtracks=124, failedAssignments=180, foundSolutions=55, bestBound=141
4.74/2.62
4.74/2.62 Global
4.74/2.62 filters=19118, revisions=(73528,useless=55389), ccks=43804
4.74/2.62 Stop=FULL_EXPLORATION, wrong=272, bestBound=141, bestBoundWck=0.752, bestBoundCpu=2.567, foundSolutions=55, firstSolCpu=2.326
4.74/2.62 wck=0.769, cpu=2.584, mem=58M294
4.74/2.62
4.74/2.62 v <instantiation id='sol55' type='solution' cost='141'> <list> s[] d[] l[] c[] </list> <values> 0 1 2 3 4 10 5 6 7 8 11 12 13 14 9 0 0 0 0 0 3 3 13 20 3 1 16 16 1 18 9 12 13 10 7 5 12 7 11 9 5 10 7 10 12 8 6 6 7 11 1 4 2 3 3 4 2 1 1 1 2 5 2 3 4 1 1 1 4 2 </values> </instantiation>
4.74/2.62 s OPTIMUM FOUND
4.74/2.62
4.74/2.62 d WRONG_DECISIONS 272
4.74/2.62 d NUMBER_SOLUTIONS 55
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 (11654 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-4391202-1568389720/watcher-4391202-1568389720 -o /tmp/evaluation-result-4391202-1568389720/solver-4391202-1568389720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391202-1568389720.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
Current StackSize limit: 8192 KiB
solver pid=4658, runsolver pid=4655
[startup+0.104049 s]*
/proc/loadavg: 1.69 1.80 1.85 6/229 4673
/proc/meminfo: memFree=26143492/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10659884 memory=29660 CPUtime=0.15 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 5958 0 0 0 14 1 0 0 20 0 15 0 414885835 10915721216 7415 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2664971 7415 2924 1 0 2627468 0
[pid=4658/tid=4660] ppid=4655 vsize=10659884 memory=-8968738822319600832 CPUtime=0.09 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4655 4658 3758 0 -1 4202560 3227 0 0 0 9 0 0 0 20 0 15 0 414885835 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781921004176 139781539475567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885837 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885838 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781474911008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885838 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781473858672 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4655 4658 3758 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781471754864 139781916785282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) R 4655 4658 3758 0 -1 4202560 194 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781470683080 139781901167892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0.03 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) R 4655 4658 3758 0 -1 4202560 728 0 0 0 3 0 0 0 20 0 15 0 414885840 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781469645688 139781909011262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885841 10915721216 7481 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29660 KiB
[startup+0.210789 s]*
/proc/loadavg: 1.69 1.80 1.85 3/229 4673
/proc/meminfo: memFree=26136596/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10659884 memory=35212 CPUtime=0.32 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 6902 0 0 0 31 1 0 0 20 0 15 0 414885835 10915721216 8803 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2664971 8803 2987 1 0 2627468 0
[pid=4658/tid=4660] ppid=4655 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4655 4658 3758 0 -1 4202560 3849 0 0 0 19 1 0 0 20 0 15 0 414885835 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781921000496 139781916796061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10659884 memory=140177362299043 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885837 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885838 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781474911008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885838 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781473858672 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4655 4658 3758 0 -1 1077944384 647 0 0 0 2 0 0 0 20 0 15 0 414885840 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781471754864 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4655 4658 3758 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 414885840 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781470702064 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0.05 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 756 0 0 0 5 0 0 0 20 0 15 0 414885840 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781469649776 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885841 10915721216 8803 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35212 KiB
[startup+0.314792 s]*
/proc/loadavg: 1.69 1.80 1.85 4/229 4673
/proc/meminfo: memFree=26128384/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10659884 memory=40340 CPUtime=0.48 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 9453 0 0 0 45 3 0 0 20 0 15 0 414885835 10915721216 10085 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2664971 10085 2999 1 0 2627468 0
[pid=4658/tid=4660] ppid=4655 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4655 4658 3758 0 -1 4202560 6318 0 0 0 28 2 0 0 20 0 15 0 414885835 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781921005904 139781916796061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10659884 memory=15116858045134488 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885836 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885837 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885838 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781474911008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885838 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781473858672 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4655 4658 3758 0 -1 1077944384 688 0 0 0 4 0 0 0 20 0 15 0 414885840 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781471754864 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4655 4658 3758 0 -1 1077944384 297 0 0 0 4 0 0 0 20 0 15 0 414885840 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781470702064 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0.08 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 414885840 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781469649776 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10659884 memory=140177362286208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885841 10915721216 10085 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40340 KiB
[startup+0.700811 s]
/proc/loadavg: 1.69 1.80 1.85 3/229 4673
/proc/meminfo: memFree=26121164/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10661932 memory=62824 CPUtime=1.08 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 12783 0 0 0 104 4 0 0 20 0 15 0 414885835 10917818368 15706 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2665483 15706 3073 1 0 2627980 0
[pid=4658/tid=4660] ppid=4655 vsize=10661932 memory=1368 CPUtime=0.68 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4655 4658 3758 0 -1 4202560 8854 0 0 0 65 3 0 0 20 0 15 0 414885835 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781921006464 139781896412607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885836 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885837 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885838 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781474911008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885838 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781473858672 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10661932 memory=4639098309541126765 CPUtime=0.09 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4655 4658 3758 0 -1 1077944384 853 0 0 0 9 0 0 0 20 0 15 0 414885840 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781471754864 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10661932 memory=7380108234216663121 CPUtime=0.1 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) R 4655 4658 3758 0 -1 4202560 557 0 0 0 10 0 0 0 20 0 15 0 414885840 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781470702064 139781901652892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10661932 memory=5787782378022856021 CPUtime=0.18 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 1158 0 0 0 18 0 0 0 20 0 15 0 414885840 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781469649776 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885841 10917818368 15706 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62824 KiB
[startup+1.5008 s]
/proc/loadavg: 1.69 1.80 1.85 3/229 4673
/proc/meminfo: memFree=26105220/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10663980 memory=74960 CPUtime=1.98 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 18329 0 0 0 193 5 0 0 20 0 15 0 414885835 10919915520 18740 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2665995 18740 3096 1 0 2628492 0
[pid=4658/tid=4660] ppid=4655 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4655 4658 3758 0 -1 4202560 13139 0 0 0 143 4 0 0 20 0 15 0 414885835 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781921006160 139781899960973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10663980 memory=7451882158599990102 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10663980 memory=6220708488653005931 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885836 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 414885837 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10663980 memory=7518026630507422825 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885838 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781474911008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10663980 memory=8242264966809872741 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885838 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781473858672 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10663980 memory=7162782133124617065 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10663980 memory=7526543698309928824 CPUtime=0.12 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4655 4658 3758 0 -1 1077944384 1182 0 0 0 12 0 0 0 20 0 15 0 414885840 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781471754864 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10663980 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4655 4658 3758 0 -1 1077944384 1402 0 0 0 17 0 0 0 20 0 15 0 414885840 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781470702064 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 1160 0 0 0 18 0 0 0 20 0 15 0 414885840 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781469649776 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414885841 10919915520 18740 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 74960 KiB
[startup+2.64397 s]
# the end of solver process 4658 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.69188 s, system=0.155654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60087 s]
/proc/loadavg: 1.69 1.80 1.85 3/229 4673
/proc/meminfo: memFree=26105220/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10666028 memory=76040 CPUtime=2.09 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 18693 0 0 0 204 5 0 0 20 0 15 0 414885835 10922012672 19010 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2666507 19010 3096 1 0 2629004 0
[pid=4658/tid=4660] ppid=4655 vsize=10666028 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) R 4655 4658 3758 0 -1 4202560 13487 0 0 0 153 4 0 0 20 0 15 0 414885835 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781921006160 139781916796061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885836 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885836 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10666028 memory=140177362287921 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 414885837 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10666028 memory=7667495332244444780 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885838 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781474911008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10666028 memory=7309167735419596644 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885838 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781473858672 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10666028 memory=6075463926040055888 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10666028 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4655 4658 3758 0 -1 1077944384 1198 0 0 0 13 0 0 0 20 0 15 0 414885840 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781471754864 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10666028 memory=160213286105464 CPUtime=0.17 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4655 4658 3758 0 -1 1077944384 1402 0 0 0 17 0 0 0 20 0 15 0 414885840 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781470702064 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 1160 0 0 0 18 0 0 0 20 0 15 0 414885840 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781469649776 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10666028 memory=-4546129931942301728 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885840 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414885841 10922012672 19010 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76040 KiB
[startup+2.40073 s]
/proc/loadavg: 1.72 1.80 1.85 4/230 4674
/proc/meminfo: memFree=26027640/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10748324 memory=158192 CPUtime=4.09 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 27979 0 0 0 395 14 0 0 20 0 16 0 414885835 11006283776 39548 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2687081 39548 3340 1 0 2647217 0
[pid=4658/tid=4660] ppid=4655 vsize=10748324 memory=1768 CPUtime=1.86 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) S 4655 4658 3758 0 -1 1077944384 15384 0 0 0 180 6 0 0 20 0 16 0 414885835 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781921017008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10748324 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10748324 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10748324 memory=-6873162000112450758 CPUtime=0.01 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 16 0 414885837 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10748324 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414885838 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781474911072 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10748324 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414885838 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781473858688 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10748324 memory=7014751519717611364 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885840 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10748324 memory=7811022289770212454 CPUtime=0.52 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4655 4658 3758 0 -1 4202560 2060 0 0 0 52 0 0 0 20 0 16 0 414885840 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781471741088 139781916781508 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10748324 memory=5866897763105401700 CPUtime=0.53 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4655 4658 3758 0 -1 1077944384 1830 0 0 0 53 0 0 0 20 0 16 0 414885840 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781470691360 139781916795325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10748324 memory=7444849763933841771 CPUtime=0.58 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 2358 0 0 0 58 0 0 0 20 0 16 0 414885840 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781469648656 139781916795325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10748324 memory=7453575505273575272 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885840 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10748324 memory=7523660558119692391 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414885841 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4674] ppid=4655 vsize=10748324 memory=8030038435124636264 CPUtime=0.47 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) R 4655 4658 3758 0 -1 4202560 3603 0 0 0 45 2 0 0 20 0 16 0 414886023 11006283776 39548 33554432000 4194304 4196468 140732964704832 139781456821088 139781916786070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 158192 KiB
[startup+2.60173 s]
/proc/loadavg: 1.72 1.80 1.85 4/230 4674
/proc/meminfo: memFree=26027640/32770624 swapFree=66957012/67108860
[pid=4658] ppid=4655 vsize=10748324 memory=173316 CPUtime=4.74 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4655 4658 3758 0 -1 1077944320 32003 0 0 0 460 14 0 0 20 0 16 0 414885835 11006283776 43329 33554432000 4194304 4196468 140732964704832 140732964687376 139781916774135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
/proc/4658/statm: 2687081 43329 3341 1 0 2647217 0
[pid=4658/tid=4660] ppid=4655 vsize=10748324 memory=7512114543601282149 CPUtime=1.86 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) S 4655 4658 3758 0 -1 1077944384 15384 0 0 0 180 6 0 0 20 0 16 0 414885835 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781921017008 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4661] ppid=4655 vsize=10748324 memory=7810763844726514514 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4655 4658 3758 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781523430288 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4662] ppid=4655 vsize=10748324 memory=6224630420574328678 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4655 4658 3758 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781522377488 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4663] ppid=4655 vsize=10748324 memory=4639948313719891052 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4655 4658 3758 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781521325200 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4664] ppid=4655 vsize=10748324 memory=7019815866097887338 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4655 4658 3758 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414885836 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781520272400 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4665] ppid=4655 vsize=10748324 memory=-7533781438821528511 CPUtime=0.01 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4655 4658 3758 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 16 0 414885837 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781475965040 139781916785282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4666] ppid=4655 vsize=10748324 memory=4486599637793467488 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4655 4658 3758 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414885838 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781474911072 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4667] ppid=4655 vsize=10748324 memory=7100839870140027547 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4655 4658 3758 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414885838 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781473858688 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4668] ppid=4655 vsize=10748324 memory=8514701219376621709 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885840 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781472806992 139781916792731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4669] ppid=4655 vsize=10748324 memory=-6352457598030609622 CPUtime=0.72 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) R 4655 4658 3758 0 -1 4202560 2793 0 0 0 72 0 0 0 20 0 16 0 414885840 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781471741184 139781900677206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4670] ppid=4655 vsize=10748324 memory=-7163974055829550171 CPUtime=0.73 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) R 4655 4658 3758 0 -1 4202560 4132 0 0 0 73 0 0 0 20 0 16 0 414885840 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781470688120 139781898317427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4671] ppid=4655 vsize=10748324 memory=7245577299922993209 CPUtime=0.64 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4655 4658 3758 0 -1 1077944384 3119 0 0 0 63 1 0 0 20 0 16 0 414885840 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781469649776 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4672] ppid=4655 vsize=10748324 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4655 4658 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885840 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781468597216 139781916784341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4673] ppid=4655 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4655 4658 3758 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414885841 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781467543984 139781916785282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
[pid=4658/tid=4674] ppid=4655 vsize=10748324 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) R 4655 4658 3758 0 -1 4202560 3831 0 0 0 65 2 0 0 20 0 16 0 414886023 11006283776 43329 33554432000 4194304 4196468 140732964704832 139781456819600 139781916795965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140732964713483 140732964713586 140732964713586 140732964716495 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 173316 KiB
Child status: 0
Real time (s): 2.64403
CPU time (s): 4.84754
CPU user time (s): 4.69188
CPU system time (s): 0.155654
CPU usage (%): 183.339
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 173316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.69189
system time used= 0.155654
maximum resident set size= 174052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32113
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= 2737
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 4658
# total CPU time (s): 4.84754
# total CPU user time (s): 4.69188
# total CPU system time (s): 0.155654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038328 second user time and 0.073462 second system time
The end