2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.90/2.09 Instance
2.90/2.09 name=instance-4390902-1568381739, framework=COP, bounds=-infty..+infty
2.90/2.09
2.90/2.09 Loading variables...
3.15/2.12 Loading constraints...
3.74/2.32
3.74/2.32 Domains
3.74/2.32 nTypes=37, nValues=779, sizes=[2#1,3#3,4#8,5#3...12#2,13#2,14#21,15#15]
3.74/2.32 Variables
3.74/2.32 count=70, degrees=[2#35,16#20,22#14,23#1]
3.74/2.32 Objectives
3.74/2.32 way=min, type=SumSimpleLE
3.74/2.32 Constraints
3.74/2.32 count=338, nSpecific=2, arities=[1#1,2#335,15#1,35#1]
3.74/2.32 distribution=[Circuit#1,CtrExtensionV-Bits#35,CtrIntension#301,SumSimpleLE#1]
3.74/2.32 nExtStructures=(35,shared:0), nIntStructures=(16,shared:285), nCftStructures=(50,shared:285,unbuilt:3)
3.74/2.32 wck=0.47, cpu=2.286, mem=39M725
3.74/2.33 Solver SolverBacktrack being built...
3.74/2.33
3.74/2.35
3.74/2.35 Solver
3.74/2.35 guaranteedGAC=false
3.74/2.35 wck=0.497, cpu=2.312, mem=50M367
3.74/2.35
3.74/2.35 Preprocessing
3.74/2.35 filters=17, revisions=(32,useless=15), ccks=3153, nACremovedValues=168, nTotalRemovedValues=168, inconcistency=false
3.74/2.35 wck=0.005, cpu=2.318, mem=50M367
3.74/2.35
3.74/2.37 o 215
3.74/2.37 num=0, depth=71..69, filters=499, revisions=(690,useless=203), ccks=3792, wck=0.024, mem=50M367
3.74/2.37 decisions=12, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=215
3.74/2.37
3.74/2.39 o 214
3.74/2.39 num=1, depth=7..69, filters=961, revisions=(1738,useless=813), ccks=4624, wck=0.035, mem=50M367
3.74/2.39 decisions=47, wrong=8, backtracks=3, failedAssignments=6, nogoods=2, foundSolutions=2, bestBound=214
3.74/2.39
4.06/2.41 o 213
4.06/2.41 num=2, depth=2..69, filters=1080, revisions=(2596,useless=1564), ccks=5228, wck=0.053, mem=50M367
4.06/2.41 decisions=65, wrong=11, backtracks=4, failedAssignments=8, nogoods=4, foundSolutions=3, bestBound=213
4.06/2.41
4.06/2.41 o 212
4.06/2.41 num=3, depth=71..69, filters=1184, revisions=(3353,useless=2224), ccks=5674, wck=0.058, mem=50M367
4.06/2.41 decisions=81, wrong=11, backtracks=4, failedAssignments=8, nogoods=4, foundSolutions=4, bestBound=212
4.06/2.41
4.06/2.41 o 211
4.06/2.41 num=4, depth=2..69, filters=1453, revisions=(4474,useless=3087), ccks=6373, wck=0.064, mem=50M367
4.06/2.41 decisions=104, wrong=15, backtracks=5, failedAssignments=11, nogoods=7, foundSolutions=5, bestBound=211
4.06/2.41
4.06/2.42 o 210
4.06/2.42 num=5, depth=4..69, filters=1548, revisions=(5274,useless=3800), ccks=6828, wck=0.068, mem=50M367
4.06/2.42 decisions=118, wrong=16, backtracks=5, failedAssignments=12, nogoods=8, foundSolutions=6, bestBound=210
4.06/2.42
4.06/2.43 o 208
4.06/2.43 num=6, depth=2..69, filters=1854, revisions=(6292,useless=4531), ccks=7482, wck=0.074, mem=50M367
4.06/2.43 decisions=149, wrong=22, backtracks=6, failedAssignments=18, nogoods=12, foundSolutions=7, bestBound=208
4.06/2.43
4.06/2.43 o 207
4.06/2.43 num=7, depth=71..69, filters=1971, revisions=(7082,useless=5211), ccks=7994, wck=0.077, mem=50M367
4.06/2.43 decisions=161, wrong=22, backtracks=6, failedAssignments=18, nogoods=12, foundSolutions=8, bestBound=207
4.06/2.43
4.06/2.43 o 206
4.06/2.43 num=8, depth=5..69, filters=2178, revisions=(8050,useless=5984), ccks=8530, wck=0.082, mem=50M367
4.06/2.43 decisions=179, wrong=24, backtracks=6, failedAssignments=20, nogoods=14, foundSolutions=9, bestBound=206
4.06/2.43
4.06/2.43 o 204
4.06/2.43 num=9, depth=8..69, filters=2372, revisions=(8788,useless=6533), ccks=9060, wck=0.086, mem=50M367
4.06/2.43 decisions=199, wrong=25, backtracks=6, failedAssignments=21, nogoods=15, foundSolutions=10, bestBound=204
4.06/2.43
4.06/2.44 o 203
4.06/2.44 num=10, depth=71..69, filters=2522, revisions=(9530,useless=7133), ccks=9478, wck=0.089, mem=50M367
4.06/2.44 decisions=212, wrong=25, backtracks=6, failedAssignments=21, nogoods=15, foundSolutions=11, bestBound=203
4.06/2.44
4.06/2.44 o 202
4.06/2.44 num=11, depth=8..69, filters=2693, revisions=(10281,useless=7718), ccks=9934, wck=0.092, mem=50M367
4.06/2.44 decisions=228, wrong=26, backtracks=6, failedAssignments=22, nogoods=16, foundSolutions=12, bestBound=202
4.06/2.44
4.06/2.45 o 201
4.06/2.45 num=12, depth=7..69, filters=2992, revisions=(11306,useless=8449), ccks=10445, wck=0.097, mem=50M367
4.06/2.45 decisions=249, wrong=28, backtracks=6, failedAssignments=24, nogoods=18, foundSolutions=13, bestBound=201
4.06/2.45
4.06/2.45 o 200
4.06/2.45 num=13, depth=6..69, filters=3249, revisions=(12322,useless=9224), ccks=11027, wck=0.101, mem=53M9
4.06/2.45 decisions=268, wrong=30, backtracks=6, failedAssignments=26, nogoods=20, foundSolutions=14, bestBound=200
4.06/2.45
4.06/2.45 o 199
4.06/2.45 num=14, depth=4..69, filters=3427, revisions=(13225,useless=9952), ccks=11590, wck=0.105, mem=53M9
4.06/2.45 decisions=287, wrong=33, backtracks=7, failedAssignments=28, nogoods=22, foundSolutions=15, bestBound=199
4.06/2.45
4.06/2.46 o 198
4.06/2.46 num=15, depth=6..69, filters=3686, revisions=(14004,useless=10479), ccks=12120, wck=0.108, mem=53M9
4.06/2.46 decisions=305, wrong=34, backtracks=7, failedAssignments=29, nogoods=23, foundSolutions=16, bestBound=198
4.06/2.46
4.06/2.46 o 197
4.06/2.46 num=16, depth=5..69, filters=3907, revisions=(14852,useless=11105), ccks=12632, wck=0.111, mem=53M9
4.06/2.46 decisions=319, wrong=35, backtracks=7, failedAssignments=30, nogoods=24, foundSolutions=17, bestBound=197
4.06/2.46
4.06/2.46 o 196
4.06/2.46 num=17, depth=71..69, filters=4058, revisions=(15588,useless=11698), ccks=13104, wck=0.113, mem=53M9
4.06/2.46 decisions=331, wrong=35, backtracks=7, failedAssignments=30, nogoods=24, foundSolutions=18, bestBound=196
4.06/2.46
4.06/2.47 o 195
4.06/2.47 num=18, depth=71..69, filters=4184, revisions=(16343,useless=12331), ccks=13507, wck=0.115, mem=53M9
4.06/2.47 decisions=341, wrong=35, backtracks=7, failedAssignments=30, nogoods=24, foundSolutions=19, bestBound=195
4.06/2.47
4.06/2.47 o 194
4.06/2.47 num=19, depth=7..69, filters=4401, revisions=(17323,useless=13106), ccks=13965, wck=0.119, mem=53M9
4.06/2.47 decisions=355, wrong=36, backtracks=7, failedAssignments=31, nogoods=25, foundSolutions=20, bestBound=194
4.06/2.47
4.06/2.47 o 193
4.06/2.47 num=20, depth=6..69, filters=4684, revisions=(18345,useless=13854), ccks=14492, wck=0.122, mem=53M9
4.06/2.47 decisions=378, wrong=39, backtracks=7, failedAssignments=34, nogoods=28, foundSolutions=21, bestBound=193
4.06/2.47
4.06/2.47 o 187
4.06/2.48 num=21, depth=5..69, filters=4954, revisions=(19406,useless=14656), ccks=15068, wck=0.126, mem=53M9
4.06/2.48 decisions=413, wrong=41, backtracks=8, failedAssignments=35, nogoods=29, foundSolutions=22, bestBound=187
4.06/2.48
4.06/2.48 o 185
4.06/2.48 num=22, depth=5..69, filters=5225, revisions=(20608,useless=15601), ccks=15529, wck=0.129, mem=53M9
4.06/2.48 decisions=445, wrong=44, backtracks=8, failedAssignments=38, nogoods=32, foundSolutions=23, bestBound=185
4.06/2.48
4.06/2.48 o 183
4.06/2.48 num=23, depth=71..69, filters=5379, revisions=(21349,useless=16197), ccks=15953, wck=0.132, mem=53M9
4.06/2.48 decisions=462, wrong=44, backtracks=8, failedAssignments=38, nogoods=32, foundSolutions=24, bestBound=183
4.06/2.48
4.06/2.48 o 180
4.06/2.48 num=24, depth=4..69, filters=5593, revisions=(22234,useless=16871), ccks=16532, wck=0.135, mem=53M9
4.06/2.48 decisions=493, wrong=47, backtracks=9, failedAssignments=40, nogoods=34, foundSolutions=25, bestBound=180
4.06/2.48
4.06/2.49 o 178
4.06/2.49 num=25, depth=6..69, filters=5790, revisions=(23058,useless=17499), ccks=17011, wck=0.138, mem=53M9
4.06/2.49 decisions=512, wrong=48, backtracks=9, failedAssignments=41, nogoods=35, foundSolutions=26, bestBound=178
4.06/2.49
4.06/2.49 o 176
4.06/2.49 num=26, depth=3..69, filters=6328, revisions=(24915,useless=18847), ccks=17880, wck=0.143, mem=53M9
4.06/2.49 decisions=543, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=27, bestBound=176
4.06/2.49
4.06/2.49 o 175
4.06/2.50 num=27, depth=71..69, filters=6516, revisions=(25676,useless=19420), ccks=18343, wck=0.146, mem=53M9
4.06/2.50 decisions=558, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=28, bestBound=175
4.06/2.50
4.40/2.50 o 174
4.40/2.50 num=28, depth=71..69, filters=6693, revisions=(26446,useless=20015), ccks=18746, wck=0.149, mem=53M9
4.40/2.50 decisions=571, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=29, bestBound=174
4.40/2.50
4.40/2.50 o 172
4.40/2.50 num=29, depth=71..69, filters=6872, revisions=(27214,useless=20606), ccks=19148, wck=0.151, mem=53M9
4.40/2.50 decisions=589, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=30, bestBound=172
4.40/2.50
4.40/2.50 o 171
4.40/2.50 num=30, depth=71..69, filters=7027, revisions=(27973,useless=21214), ccks=19548, wck=0.154, mem=53M9
4.40/2.50 decisions=601, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=31, bestBound=171
4.40/2.50
4.40/2.51 o 169
4.40/2.51 num=31, depth=71..69, filters=7177, revisions=(28723,useless=21817), ccks=19950, wck=0.157, mem=53M9
4.40/2.51 decisions=618, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=32, bestBound=169
4.40/2.51
4.40/2.51 o 168
4.40/2.51 num=32, depth=71..69, filters=7315, revisions=(29486,useless=22449), ccks=20350, wck=0.159, mem=53M9
4.40/2.51 decisions=628, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=33, bestBound=168
4.40/2.51
4.40/2.51 o 167
4.40/2.51 num=33, depth=71..69, filters=7439, revisions=(30248,useless=23095), ccks=20750, wck=0.161, mem=53M9
4.40/2.51 decisions=637, wrong=56, backtracks=13, failedAssignments=47, nogoods=37, foundSolutions=34, bestBound=167
4.40/2.51
4.40/2.51 o 165
4.40/2.51 num=34, depth=2..69, filters=7859, revisions=(31923,useless=24374), ccks=21581, wck=0.166, mem=53M9
4.40/2.51 decisions=663, wrong=62, backtracks=17, failedAssignments=49, nogoods=38, foundSolutions=35, bestBound=165
4.40/2.51
4.40/2.52 o 164
4.40/2.52 num=35, depth=3..69, filters=8209, revisions=(33145,useless=25251), ccks=22363, wck=0.17, mem=53M9
4.40/2.52 decisions=682, wrong=66, backtracks=18, failedAssignments=52, nogoods=41, foundSolutions=36, bestBound=164
4.40/2.52
4.40/2.52 o 163
4.40/2.52 num=36, depth=3..69, filters=8432, revisions=(34275,useless=26171), ccks=22956, wck=0.173, mem=53M9
4.40/2.52 decisions=695, wrong=67, backtracks=18, failedAssignments=53, nogoods=42, foundSolutions=37, bestBound=163
4.40/2.52
4.40/2.53 o 162
4.40/2.53 num=37, depth=2..69, filters=8915, revisions=(36190,useless=27640), ccks=23997, wck=0.178, mem=53M9
4.40/2.53 decisions=721, wrong=76, backtracks=24, failedAssignments=58, nogoods=43, foundSolutions=38, bestBound=162
4.40/2.53
4.40/2.53 num=38, depth=2..5, filters=9235, revisions=(37834,useless=29004), ccks=24977, wck=0.181, mem=53M9
4.40/2.53 decisions=755, wrong=92, backtracks=31, failedAssignments=69, nogoods=50, foundSolutions=38, bestBound=162
4.40/2.53
4.40/2.53 o 160
4.40/2.53 num=39, depth=3..69, filters=9664, revisions=(39298,useless=30050), ccks=25850, wck=0.185, mem=53M9
4.40/2.53 decisions=777, wrong=96, backtracks=32, failedAssignments=72, nogoods=53, foundSolutions=39, bestBound=160
4.40/2.53
4.40/2.54 o 159
4.40/2.54 num=40, depth=2..69, filters=10114, revisions=(41564,useless=31917), ccks=27276, wck=0.19, mem=55M652
4.40/2.54 decisions=817, wrong=113, backtracks=41, failedAssignments=82, nogoods=57, foundSolutions=40, bestBound=159
4.40/2.54
4.40/2.54 o 158
4.40/2.54 num=41, depth=71..69, filters=10295, revisions=(42393,useless=32571), ccks=27750, wck=0.193, mem=55M652
4.40/2.54 decisions=831, wrong=113, backtracks=41, failedAssignments=82, nogoods=57, foundSolutions=41, bestBound=158
4.40/2.54
4.40/2.54 o 157
4.40/2.54 num=42, depth=2..69, filters=10527, revisions=(43403,useless=33360), ccks=28267, wck=0.196, mem=55M652
4.40/2.54 decisions=847, wrong=115, backtracks=41, failedAssignments=84, nogoods=59, foundSolutions=42, bestBound=157
4.40/2.54
4.40/2.55 o 155
4.40/2.55 num=43, depth=4..69, filters=10724, revisions=(44333,useless=34097), ccks=28705, wck=0.199, mem=55M652
4.40/2.55 decisions=865, wrong=116, backtracks=41, failedAssignments=85, nogoods=60, foundSolutions=43, bestBound=155
4.40/2.55
4.40/2.55 o 154
4.40/2.55 num=44, depth=4..69, filters=10891, revisions=(45265,useless=34865), ccks=29108, wck=0.201, mem=55M652
4.40/2.55 decisions=876, wrong=117, backtracks=41, failedAssignments=86, nogoods=61, foundSolutions=44, bestBound=154
4.40/2.55
4.40/2.55 o 153
4.40/2.55 num=45, depth=71..69, filters=11025, revisions=(46149,useless=35622), ccks=29508, wck=0.204, mem=55M652
4.40/2.55 decisions=883, wrong=117, backtracks=41, failedAssignments=86, nogoods=61, foundSolutions=45, bestBound=153
4.40/2.55
4.40/2.56 o 152
4.40/2.56 num=46, depth=71..69, filters=11144, revisions=(47032,useless=36393), ccks=29908, wck=0.207, mem=55M652
4.40/2.56 decisions=889, wrong=117, backtracks=41, failedAssignments=86, nogoods=61, foundSolutions=46, bestBound=152
4.40/2.56
4.40/2.56 o 151
4.40/2.56 num=47, depth=1..69, filters=11872, revisions=(49878,useless=38577), ccks=31302, wck=0.213, mem=55M652
4.40/2.56 decisions=926, wrong=132, backtracks=49, failedAssignments=95, nogoods=68, foundSolutions=47, bestBound=151
4.40/2.56
4.40/2.57 o 150
4.40/2.57 num=48, depth=2..69, filters=12240, revisions=(51356,useless=39711), ccks=32073, wck=0.217, mem=55M652
4.40/2.57 decisions=950, wrong=138, backtracks=50, failedAssignments=100, nogoods=73, foundSolutions=48, bestBound=150
4.40/2.57
4.40/2.57 num=49, depth=0..5, filters=13057, revisions=(54038,useless=41620), ccks=33221, wck=0.222, mem=55M652
4.40/2.57 decisions=986, wrong=155, backtracks=62, failedAssignments=111, nogoods=77, foundSolutions=48, bestBound=150
4.40/2.57
4.40/2.58 num=50, depth=0..8, filters=13848, revisions=(56235,useless=43096), ccks=34304, wck=0.228, mem=55M652
4.40/2.58 decisions=1031, wrong=177, backtracks=76, failedAssignments=122, nogoods=79, foundSolutions=48, bestBound=150
4.40/2.58
4.40/2.58 num=51, depth=0..5, filters=14520, revisions=(58403,useless=44661), ccks=35424, wck=0.233, mem=55M652
4.40/2.58 decisions=1073, wrong=197, backtracks=84, failedAssignments=134, nogoods=80, foundSolutions=48, bestBound=150
4.40/2.58
4.40/2.59 o 149
4.40/2.59 num=52, depth=1..69, filters=14767, revisions=(59355,useless=45368), ccks=36117, wck=0.236, mem=55M652
4.40/2.59 decisions=1095, wrong=202, backtracks=85, failedAssignments=138, nogoods=84, foundSolutions=49, bestBound=149
4.40/2.59
4.40/2.59 o 148
4.40/2.59 num=53, depth=1..69, filters=15118, revisions=(61119,useless=46797), ccks=37186, wck=0.241, mem=55M652
4.40/2.59 decisions=1125, wrong=211, backtracks=90, failedAssignments=144, nogoods=88, foundSolutions=50, bestBound=148
4.40/2.59
4.40/2.59 o 147
4.40/2.59 num=54, depth=3..69, filters=15476, revisions=(62400,useless=47740), ccks=37879, wck=0.244, mem=55M652
4.40/2.59 decisions=1139, wrong=213, backtracks=90, failedAssignments=146, nogoods=90, foundSolutions=51, bestBound=147
4.40/2.59
4.40/2.60 o 145
4.40/2.60 num=55, depth=1..69, filters=15679, revisions=(63391,useless=48525), ccks=38431, wck=0.247, mem=55M652
4.40/2.60 decisions=1150, wrong=214, backtracks=90, failedAssignments=147, nogoods=91, foundSolutions=52, bestBound=145
4.40/2.60
4.72/2.60 o 144
4.72/2.60 num=56, depth=71..69, filters=15866, revisions=(64237,useless=49191), ccks=38883, wck=0.25, mem=55M652
4.72/2.60 decisions=1160, wrong=214, backtracks=90, failedAssignments=147, nogoods=91, foundSolutions=53, bestBound=144
4.72/2.60
4.72/2.60 o 143
4.72/2.60 num=57, depth=1..69, filters=16047, revisions=(65176,useless=49951), ccks=39363, wck=0.252, mem=55M652
4.72/2.60 decisions=1168, wrong=215, backtracks=90, failedAssignments=148, nogoods=92, foundSolutions=54, bestBound=143
4.72/2.60
4.72/2.60 o 141
4.72/2.60 num=58, depth=71..69, filters=16223, revisions=(66048,useless=50653), ccks=39803, wck=0.255, mem=55M652
4.72/2.60 decisions=1178, wrong=215, backtracks=90, failedAssignments=148, nogoods=92, foundSolutions=55, bestBound=141
4.72/2.60
4.72/2.61 num=59, depth=0..8, filters=17047, revisions=(68371,useless=52180), ccks=40830, wck=0.26, mem=55M652
4.72/2.61 decisions=1210, wrong=230, backtracks=98, failedAssignments=159, nogoods=94, foundSolutions=55, bestBound=141
4.72/2.61
4.72/2.62 num=60, depth=0..8, filters=18085, revisions=(70840,useless=53674), ccks=42224, wck=0.266, mem=55M652
4.72/2.62 decisions=1252, wrong=248, backtracks=108, failedAssignments=170, nogoods=96, foundSolutions=55, bestBound=141
4.72/2.62
4.72/2.62
4.72/2.62 New Bounds: 141..140
4.72/2.62 num=61, depth=0..7, filters=19118, revisions=(73528,useless=55389), ccks=43804, wck=0.273, mem=55M652
4.72/2.62 decisions=1298, wrong=272, backtracks=124, failedAssignments=180, foundSolutions=55, bestBound=141
4.72/2.62
4.72/2.62 Global
4.72/2.62 filters=19118, revisions=(73528,useless=55389), ccks=43804
4.72/2.62 Stop=FULL_EXPLORATION, wrong=272, bestBound=141, bestBoundWck=0.752, bestBoundCpu=2.565, foundSolutions=55, firstSolCpu=2.329
4.72/2.62 wck=0.771, cpu=2.584, mem=55M652
4.72/2.62
4.72/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.72/2.62 s OPTIMUM FOUND
4.72/2.62
4.72/2.62 d WRONG_DECISIONS 272
4.72/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 (11660 MiB free)
memory of node 1: 16384 MiB (14014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390902-1568381739/watcher-4390902-1568381739 -o /tmp/evaluation-result-4390902-1568381739/solver-4390902-1568381739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390902-1568381739.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=710, runsolver pid=707
[startup+0.100662 s]*
/proc/loadavg: 1.81 1.87 1.41 4/229 725
/proc/meminfo: memFree=26275944/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10659884 memory=27444 CPUtime=0.12 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 5353 0 0 0 11 1 0 0 20 0 15 0 414087781 10915721216 6861 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2664971 6861 2847 1 0 2627468 0
[pid=710/tid=712] ppid=707 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) R 707 710 32084 0 -1 4202560 3203 0 0 0 8 1 0 0 20 0 15 0 414087781 10915721216 7057 33554432000 4194304 4196468 140732449745104 140153117781024 140153105787710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 7057 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10659884 memory=140525990661106 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 7057 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152604448032 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152603395696 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) R 707 710 32084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152601282368 140153113560789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) S 707 710 32084 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152600238064 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0.02 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) R 707 710 32084 0 -1 4202560 508 0 0 0 2 0 0 0 20 0 15 0 414087787 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152599185776 140153092373560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 7057 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27444 KiB
[startup+0.21047 s]*
/proc/loadavg: 1.83 1.87 1.41 4/229 725
/proc/meminfo: memFree=26264860/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10659884 memory=37496 CPUtime=0.33 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 9134 0 0 0 30 3 0 0 20 0 15 0 414087781 10915721216 9374 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2664971 9374 2972 1 0 2627468 0
[pid=710/tid=712] ppid=707 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) R 707 710 32084 0 -1 4202560 6089 0 0 0 18 2 0 0 20 0 15 0 414087781 10915721216 9374 33554432000 4194304 4196468 140732449745104 140153117776944 140153113572509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 9374 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10659884 memory=140525990661106 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 9374 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152604448032 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152603395696 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) S 707 710 32084 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 414087787 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152601290864 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) S 707 710 32084 0 -1 1077944384 588 0 0 0 3 0 0 0 20 0 15 0 414087787 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152600238064 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0.05 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) S 707 710 32084 0 -1 1077944384 799 0 0 0 5 0 0 0 20 0 15 0 414087787 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152599185776 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 9374 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37496 KiB
[startup+0.310569 s]*
/proc/loadavg: 1.83 1.87 1.41 4/229 725
/proc/meminfo: memFree=26262680/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10659884 memory=40320 CPUtime=0.46 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 9324 0 0 0 43 3 0 0 20 0 15 0 414087781 10915721216 10080 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2664971 10080 3035 1 0 2627468 0
[pid=710/tid=712] ppid=707 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) R 707 710 32084 0 -1 4202560 6219 0 0 0 28 2 0 0 20 0 15 0 414087781 10915721216 10141 33554432000 4194304 4196468 140732449745104 140153117789568 140153113572509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10659884 memory=288230596134830447 CPUtime=0 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 10141 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10659884 memory=3474018279989998994 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 10141 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087782 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10659884 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152604448032 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10659884 memory=140525990631040 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414087784 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152603395696 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) S 707 710 32084 0 -1 1077944384 340 0 0 0 4 0 0 0 20 0 15 0 414087787 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152601290864 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) S 707 710 32084 0 -1 1077944384 596 0 0 0 3 0 0 0 20 0 15 0 414087787 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152600238064 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10659884 memory=2273 CPUtime=0.07 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) R 707 710 32084 0 -1 4202560 821 0 0 0 7 0 0 0 20 0 15 0 414087787 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152599185776 140153097631070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10659884 memory=281051788254240 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087787 10915721216 10141 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40320 KiB
[startup+0.707602 s]
/proc/loadavg: 1.83 1.87 1.41 3/229 725
/proc/meminfo: memFree=26252296/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10661932 memory=63820 CPUtime=1.12 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 12961 0 0 0 106 6 0 0 20 0 15 0 414087781 10917818368 15955 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2665483 15955 3074 1 0 2627980 0
[pid=710/tid=712] ppid=707 vsize=10661932 memory=39524 CPUtime=0.69 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) R 707 710 32084 0 -1 4202560 8785 0 0 0 65 4 0 0 20 0 15 0 414087781 10917818368 15955 33554432000 4194304 4196468 140732449745104 140153117782448 140153096737392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10661932 memory=164 CPUtime=0 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10917818368 15955 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10917818368 15955 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087782 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087784 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414087784 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152604448032 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414087784 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152603395696 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10661932 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) S 707 710 32084 0 -1 1077944384 644 0 0 0 12 0 0 0 20 0 15 0 414087787 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152601290864 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10661932 memory=-2893623298589923098 CPUtime=0.1 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) R 707 710 32084 0 -1 4202560 865 0 0 0 10 0 0 0 20 0 15 0 414087787 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152600224608 140153093243687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10661932 memory=6944656592455359580 CPUtime=0.18 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) S 707 710 32084 0 -1 1077944384 1308 0 0 0 18 0 0 0 20 0 15 0 414087787 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152599185776 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10661932 memory=6382321403051 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087787 10917818368 15955 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63820 KiB
[startup+1.50079 s]
/proc/loadavg: 1.83 1.87 1.41 3/229 725
/proc/meminfo: memFree=26235856/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10663980 memory=75656 CPUtime=2.01 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 18509 0 0 0 194 7 0 0 20 0 15 0 414087781 10919915520 18914 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2665995 18914 3097 1 0 2628492 0
[pid=710/tid=712] ppid=707 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) R 707 710 32084 0 -1 4202560 13009 0 0 0 143 4 0 0 20 0 15 0 414087781 10919915520 18914 33554432000 4194304 4196468 140732449745104 140153117782448 140153098716238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10919915520 18914 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10663980 memory=143639745503956 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10919915520 18914 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087782 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10663980 memory=2871061956344435 CPUtime=0 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414087784 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10663980 memory=281051788214512 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414087784 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152604448032 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414087784 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152603395696 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10663980 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10663980 memory=6944656592455360604 CPUtime=0.14 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) S 707 710 32084 0 -1 1077944384 1001 0 0 0 14 0 0 0 20 0 15 0 414087787 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152601290864 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10663980 memory=6944656592455359580 CPUtime=0.16 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) S 707 710 32084 0 -1 1077944384 1730 0 0 0 16 0 0 0 20 0 15 0 414087787 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152600238064 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10663980 memory=6944656592455097440 CPUtime=0.18 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) S 707 710 32084 0 -1 1077944384 1310 0 0 0 18 0 0 0 20 0 15 0 414087787 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152599185776 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10663980 memory=7681407940103534239 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10663980 memory=7230318453424536687 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 414087787 10919915520 18914 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75656 KiB
[startup+2.66633 s]
# the end of solver process 710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.67784 s, system=0.170287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 1.83 1.87 1.41 3/229 725
/proc/meminfo: memFree=26235856/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10666028 memory=76656 CPUtime=2.12 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 18885 0 0 0 205 7 0 0 20 0 15 0 414087781 10922012672 19164 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2666507 19164 3097 1 0 2629004 0
[pid=710/tid=712] ppid=707 vsize=10666028 memory=-8386972834861517941 CPUtime=1.57 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) R 707 710 32084 0 -1 4202560 13366 0 0 0 153 4 0 0 20 0 15 0 414087781 10922012672 19164 33554432000 4194304 4196468 140732449745104 140153117782448 140153113572509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10666028 memory=6947385649911455296 CPUtime=0 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10922012672 19164 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10666028 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10922012672 19164 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10666028 memory=988 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414087782 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10666028 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414087782 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10666028 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414087784 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10666028 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414087784 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152604448032 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10666028 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414087784 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152603395696 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10666028 memory=281051788269120 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10666028 memory=6656426216303648864 CPUtime=0.15 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) S 707 710 32084 0 -1 1077944384 1020 0 0 0 15 0 0 0 20 0 15 0 414087787 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152601290864 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10666028 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) S 707 710 32084 0 -1 1077944384 1730 0 0 0 16 0 0 0 20 0 15 0 414087787 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152600238064 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10666028 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) S 707 710 32084 0 -1 1077944384 1310 0 0 0 18 0 0 0 20 0 15 0 414087787 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152599185776 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10666028 memory=-6584918448766022848 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414087787 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10666028 memory=281051788214512 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 414087787 10922012672 19164 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 2.12 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76656 KiB
[startup+2.40065 s]
/proc/loadavg: 1.83 1.87 1.41 4/230 726
/proc/meminfo: memFree=26155376/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10749348 memory=160780 CPUtime=4.06 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 28137 0 0 0 391 15 0 0 20 0 16 0 414087781 11007332352 40195 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2687337 40195 3340 1 0 2647473 0
[pid=710/tid=712] ppid=707 vsize=10749348 memory=-6160033262581301902 CPUtime=1.87 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) S 707 710 32084 0 -1 1077944384 15270 0 0 0 180 7 0 0 20 0 16 0 414087781 11007332352 40195 33554432000 4194304 4196468 140732449745104 140153117793456 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10749348 memory=4426078206164241782 CPUtime=0.01 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414087782 11007332352 40195 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10749348 memory=6947385649911455296 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414087782 11007332352 40195 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10749348 memory=4572171273637368723 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414087782 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10749348 memory=-6236875931223311505 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414087782 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10749348 memory=-6580759429127651265 CPUtime=0.01 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 1116 0 0 0 1 0 0 0 20 0 16 0 414087784 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10749348 memory=7100839861566606473 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414087784 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152604448096 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10749348 memory=-7812800578125854342 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414087784 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152603395712 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10749348 memory=-6950911765851192153 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414087787 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10749348 memory=8226496019563637921 CPUtime=0.53 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) R 707 710 32084 0 -1 4202560 1889 0 0 0 53 0 0 0 20 0 16 0 414087787 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152601280192 140153097939440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10749348 memory=-2915668907539682718 CPUtime=0.48 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) R 707 710 32084 0 -1 4202560 2152 0 0 0 48 0 0 0 20 0 16 0 414087787 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152600218584 140153098456065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10749348 memory=-8672902149582976192 CPUtime=0.58 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) S 707 710 32084 0 -1 1077944384 2468 0 0 0 57 1 0 0 20 0 16 0 414087787 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152599185776 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10749348 memory=7824896091036554075 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414087787 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10749348 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414087787 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=726] ppid=707 vsize=10749348 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/710/task/726/stat : 726 (java) R 707 710 32084 0 -1 4202560 3590 0 0 0 45 1 0 0 20 0 16 0 414087970 11007332352 40195 33554432000 4194304 4196468 140732449745104 140152580115808 140153106230301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 10749348 KiB
Current children cumulated memory: 160780 KiB
[startup+2.60165 s]
/proc/loadavg: 1.83 1.87 1.41 4/230 726
/proc/meminfo: memFree=26155376/32770624 swapFree=66957012/67108860
[pid=710] ppid=707 vsize=10750008 memory=180644 CPUtime=4.72 cores=0,2,4,6
/proc/710/stat : 710 (java) S 707 710 32084 0 -1 1077944320 33507 0 0 0 456 16 0 0 20 0 16 0 414087781 11008008192 45161 33554432000 4194304 4196468 140732449745104 140732449727648 140153113550583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
/proc/710/statm: 2687502 45161 3340 1 0 2647638 0
[pid=710/tid=712] ppid=707 vsize=10750008 memory=-7027409196973580132 CPUtime=1.87 cores=0,2,4,6
/proc/710/task/712/stat : 712 (java) S 707 710 32084 0 -1 1077944384 15270 0 0 0 180 7 0 0 20 0 16 0 414087781 11008008192 45161 33554432000 4194304 4196468 140732449745104 140153117793456 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=713] ppid=707 vsize=10750008 memory=4783210246327787616 CPUtime=0.01 cores=0,2,4,6
/proc/710/task/713/stat : 713 (java) S 707 710 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414087782 11008008192 45161 33554432000 4194304 4196468 140732449745104 140153039624592 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=714] ppid=707 vsize=10750008 memory=8186646361124467522 CPUtime=0 cores=0,2,4,6
/proc/710/task/714/stat : 714 (java) S 707 710 32084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414087782 11008008192 45161 33554432000 4194304 4196468 140732449745104 140153038571792 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=715] ppid=707 vsize=10750008 memory=-6876588427028963228 CPUtime=0 cores=0,2,4,6
/proc/710/task/715/stat : 715 (java) S 707 710 32084 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414087782 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152718486160 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=716] ppid=707 vsize=10750008 memory=8764164798296201423 CPUtime=0 cores=0,2,4,6
/proc/710/task/716/stat : 716 (java) S 707 710 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414087782 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152717433360 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=717] ppid=707 vsize=10750008 memory=4137287014106042739 CPUtime=0.01 cores=0,2,4,6
/proc/710/task/717/stat : 717 (java) S 707 710 32084 0 -1 1077944384 1116 0 0 0 1 0 0 0 20 0 16 0 414087784 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152605502064 140153113561730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=718] ppid=707 vsize=10750008 memory=7088771780662946468 CPUtime=0 cores=0,2,4,6
/proc/710/task/718/stat : 718 (java) S 707 710 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414087784 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152604448096 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=719] ppid=707 vsize=10750008 memory=-7533511066075828572 CPUtime=0 cores=0,2,4,6
/proc/710/task/719/stat : 719 (java) S 707 710 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414087784 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152603395712 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=720] ppid=707 vsize=10750008 memory=281051788518056 CPUtime=0 cores=0,2,4,6
/proc/710/task/720/stat : 720 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414087787 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152602344016 140153113569179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=721] ppid=707 vsize=10750008 memory=281051788214512 CPUtime=0.74 cores=0,2,4,6
/proc/710/task/721/stat : 721 (java) R 707 710 32084 0 -1 4202560 4470 0 0 0 73 1 0 0 20 0 16 0 414087787 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152601276888 140153095095027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=722] ppid=707 vsize=10750008 memory=281051788214512 CPUtime=0.69 cores=0,2,4,6
/proc/710/task/722/stat : 722 (java) R 707 710 32084 0 -1 4202560 4148 0 0 0 68 1 0 0 20 0 16 0 414087787 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152600218472 140153097034068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=723] ppid=707 vsize=10750008 memory=281051788214512 CPUtime=0.63 cores=0,2,4,6
/proc/710/task/723/stat : 723 (java) S 707 710 32084 0 -1 1077944384 3033 0 0 0 62 1 0 0 20 0 16 0 414087787 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152599185776 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=724] ppid=707 vsize=10750008 memory=281051788214512 CPUtime=0 cores=0,2,4,6
/proc/710/task/724/stat : 724 (java) S 707 710 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414087787 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152598133216 140153113560789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=725] ppid=707 vsize=10750008 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/710/task/725/stat : 725 (java) S 707 710 32084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414087787 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152597081008 140153113561730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
[pid=710/tid=726] ppid=707 vsize=10750008 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/710/task/726/stat : 726 (java) R 707 710 32084 0 -1 4202560 3818 0 0 0 65 2 0 0 20 0 16 0 414087970 11008008192 45161 33554432000 4194304 4196468 140732449745104 140152580120144 140152724784976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15237120 140732449752075 140732449752178 140732449752178 140732449755087 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 10750008 KiB
Current children cumulated memory: 180644 KiB
Child status: 0
Real time (s): 2.66638
CPU time (s): 4.84813
CPU user time (s): 4.67784
CPU system time (s): 0.170287
CPU usage (%): 181.825
Max. virtual memory (cumulated for all children) (KiB): 10750008
Max. memory (cumulated for all children) (KiB): 180644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.67784
system time used= 0.170287
maximum resident set size= 184452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2789
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 710
# total CPU time (s): 4.84813
# total CPU user time (s): 4.67784
# total CPU system time (s): 0.170287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041999 second user time and 0.068922 second system time
The end