2.41/1.89
2.41/1.89 AbsCon 2
2.66/1.90
3.25/2.13 Instance
3.25/2.13 name=instance-4390865-1568381752, framework=COP, bounds=-infty..+infty
3.25/2.13
3.25/2.13 Loading variables...
3.25/2.17 Loading constraints...
4.29/2.45
4.29/2.45 Domains
4.29/2.45 nTypes=52, nValues=1411, sizes=[3#7,4#10,5#3,8#1...14#3,15#2,19#30,20#20]
4.29/2.46 Variables
4.29/2.46 count=100, degrees=[2#50,21#30,32#19,33#1]
4.29/2.46 Objectives
4.29/2.46 way=min, type=SumSimpleLE
4.29/2.46 Constraints
4.29/2.46 count=653, nSpecific=2, arities=[1#1,2#650,20#1,50#1]
4.29/2.46 distribution=[Circuit#1,CtrExtensionV-Bits#50,CtrIntension#601,SumSimpleLE#1]
4.29/2.46 nExtStructures=(50,shared:0), nIntStructures=(21,shared:580), nCftStructures=(70,shared:580,unbuilt:3)
4.29/2.46 wck=0.596, cpu=2.418, mem=58M221
4.29/2.46 Solver SolverBacktrack being built...
4.29/2.46
4.29/2.48
4.29/2.48 Solver
4.29/2.48 guaranteedGAC=false
4.29/2.48 wck=0.627, cpu=2.448, mem=68M864
4.29/2.49
4.29/2.49 Preprocessing
4.29/2.49 filters=22, revisions=(42,useless=20), ccks=7603, nACremovedValues=320, nTotalRemovedValues=320, inconcistency=false
4.29/2.49 wck=0.006, cpu=2.456, mem=68M864
4.29/2.49
4.68/2.51 o 307
4.68/2.51 num=0, depth=101..99, filters=930, revisions=(1324,useless=411), ccks=8857, wck=0.03, mem=68M864
4.68/2.51 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=307
4.68/2.51
4.68/2.54 o 306
4.68/2.54 num=1, depth=101..99, filters=1743, revisions=(2582,useless=875), ccks=10110, wck=0.054, mem=68M864
4.68/2.54 decisions=58, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=306
4.68/2.54
4.68/2.55 o 305
4.68/2.55 num=2, depth=3..99, filters=2170, revisions=(4298,useless=2185), ccks=11597, wck=0.064, mem=68M864
4.68/2.55 decisions=93, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=3, bestBound=305
4.68/2.55
4.68/2.56 o 304
4.68/2.56 num=3, depth=101..99, filters=2371, revisions=(5686,useless=3386), ccks=12778, wck=0.072, mem=68M864
4.68/2.56 decisions=115, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=4, bestBound=304
4.68/2.56
4.68/2.57 o 303
4.68/2.57 num=4, depth=101..99, filters=2560, revisions=(7095,useless=4619), ccks=13451, wck=0.079, mem=68M864
4.68/2.57 decisions=135, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=5, bestBound=303
4.68/2.57
4.68/2.57 o 302
4.68/2.57 num=5, depth=101..99, filters=2733, revisions=(8496,useless=5859), ccks=14107, wck=0.085, mem=68M864
4.68/2.57 decisions=154, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=6, bestBound=302
4.68/2.57
4.68/2.57 o 301
4.68/2.57 num=6, depth=101..99, filters=2897, revisions=(9894,useless=7105), ccks=14764, wck=0.09, mem=71M506
4.68/2.57 decisions=173, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=7, bestBound=301
4.68/2.57
4.68/2.58 o 300
4.68/2.58 num=7, depth=101..99, filters=3043, revisions=(11282,useless=8358), ccks=15420, wck=0.095, mem=71M506
4.68/2.58 decisions=191, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=8, bestBound=300
4.68/2.58
4.68/2.58 o 299
4.68/2.58 num=8, depth=101..99, filters=3177, revisions=(12678,useless=9630), ccks=16077, wck=0.1, mem=71M506
4.68/2.58 decisions=208, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=9, bestBound=299
4.68/2.58
4.68/2.59 o 298
4.68/2.59 num=9, depth=101..99, filters=3311, revisions=(14054,useless=10883), ccks=16733, wck=0.105, mem=71M506
4.68/2.59 decisions=226, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=10, bestBound=298
4.68/2.59
4.68/2.59 o 297
4.68/2.59 num=10, depth=101..99, filters=3430, revisions=(15435,useless=12155), ccks=17390, wck=0.11, mem=71M506
4.68/2.59 decisions=243, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=11, bestBound=297
4.68/2.59
5.01/2.60 o 296
5.01/2.60 num=11, depth=101..99, filters=3533, revisions=(16808,useless=13434), ccks=18046, wck=0.116, mem=71M506
5.01/2.60 decisions=259, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=12, bestBound=296
5.01/2.60
5.01/2.60 o 295
5.01/2.60 num=12, depth=101..99, filters=3668, revisions=(18191,useless=14693), ccks=18703, wck=0.12, mem=71M506
5.01/2.60 decisions=277, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=13, bestBound=295
5.01/2.60
5.01/2.61 o 294
5.01/2.61 num=13, depth=101..99, filters=3785, revisions=(19564,useless=15959), ccks=19359, wck=0.125, mem=71M506
5.01/2.61 decisions=294, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=14, bestBound=294
5.01/2.61
5.01/2.61 o 293
5.01/2.61 num=14, depth=101..99, filters=3890, revisions=(20945,useless=17244), ccks=20016, wck=0.13, mem=71M506
5.01/2.61 decisions=310, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=15, bestBound=293
5.01/2.61
5.01/2.62 o 292
5.01/2.62 num=15, depth=101..99, filters=3994, revisions=(22305,useless=18510), ccks=20672, wck=0.134, mem=71M506
5.01/2.62 decisions=327, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=16, bestBound=292
5.01/2.62
5.01/2.62 o 291
5.01/2.62 num=16, depth=101..99, filters=4083, revisions=(23670,useless=19795), ccks=21329, wck=0.138, mem=71M506
5.01/2.62 decisions=343, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=17, bestBound=291
5.01/2.62
5.01/2.62 o 290
5.01/2.63 num=17, depth=101..99, filters=4156, revisions=(25027,useless=21087), ccks=21985, wck=0.143, mem=71M506
5.01/2.63 decisions=358, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=18, bestBound=290
5.01/2.63
5.01/2.63 o 260
5.01/2.63 num=18, depth=7..99, filters=4307, revisions=(26453,useless=22372), ccks=22758, wck=0.148, mem=71M506
5.01/2.63 decisions=405, wrong=7, backtracks=2, failedAssignments=5, nogoods=5, foundSolutions=19, bestBound=260
5.01/2.63
5.01/2.64 o 258
5.01/2.64 num=19, depth=6..99, filters=4574, revisions=(28088,useless=23745), ccks=23660, wck=0.153, mem=71M506
5.01/2.64 decisions=429, wrong=8, backtracks=2, failedAssignments=6, nogoods=6, foundSolutions=20, bestBound=258
5.01/2.64
5.01/2.64 o 250
5.01/2.64 num=20, depth=6..99, filters=4742, revisions=(29580,useless=25075), ccks=24535, wck=0.158, mem=71M506
5.01/2.64 decisions=473, wrong=9, backtracks=2, failedAssignments=7, nogoods=7, foundSolutions=21, bestBound=250
5.01/2.64
5.01/2.65 num=21, depth=3..8, filters=5276, revisions=(32642,useless=27650), ccks=25747, wck=0.165, mem=71M506
5.01/2.65 decisions=508, wrong=24, backtracks=12, failedAssignments=18, nogoods=13, foundSolutions=21, bestBound=250
5.01/2.65
5.01/2.66 o 218
5.01/2.66 num=22, depth=3..99, filters=5895, revisions=(34932,useless=29346), ccks=27332, wck=0.173, mem=71M506
5.01/2.66 decisions=567, wrong=31, backtracks=16, failedAssignments=21, nogoods=16, foundSolutions=22, bestBound=218
5.01/2.66
5.01/2.66 num=23, depth=2..7, filters=6386, revisions=(38868,useless=32853), ccks=28961, wck=0.181, mem=71M506
5.01/2.66 decisions=609, wrong=51, backtracks=31, failedAssignments=33, nogoods=18, foundSolutions=22, bestBound=218
5.01/2.66
5.01/2.67 num=24, depth=2..7, filters=7231, revisions=(42362,useless=35569), ccks=30799, wck=0.189, mem=71M506
5.01/2.67 decisions=647, wrong=69, backtracks=41, failedAssignments=44, nogoods=21, foundSolutions=22, bestBound=218
5.01/2.67
5.01/2.68 o 211
5.01/2.68 num=25, depth=101..99, filters=7606, revisions=(43718,useless=36553), ccks=31845, wck=0.194, mem=71M506
5.01/2.68 decisions=692, wrong=69, backtracks=41, failedAssignments=44, nogoods=21, foundSolutions=23, bestBound=211
5.01/2.68
5.01/2.68 o 210
5.01/2.68 num=26, depth=11..99, filters=8043, revisions=(45423,useless=37838), ccks=32797, wck=0.2, mem=71M506
5.01/2.68 decisions=712, wrong=70, backtracks=41, failedAssignments=45, nogoods=22, foundSolutions=24, bestBound=210
5.01/2.68
5.01/2.69 o 209
5.01/2.69 num=27, depth=6..99, filters=9412, revisions=(49482,useless=40570), ccks=35068, wck=0.211, mem=74M148
5.01/2.69 decisions=755, wrong=83, backtracks=46, failedAssignments=55, nogoods=27, foundSolutions=25, bestBound=209
5.01/2.69
5.32/2.70 num=28, depth=2..8, filters=10252, revisions=(52873,useless=43183), ccks=36783, wck=0.22, mem=74M148
5.32/2.70 decisions=795, wrong=101, backtracks=56, failedAssignments=66, nogoods=33, foundSolutions=25, bestBound=209
5.32/2.70
5.32/2.71 o 208
5.32/2.71 num=29, depth=2..99, filters=11357, revisions=(56905,useless=46166), ccks=39083, wck=0.231, mem=74M148
5.32/2.71 decisions=834, wrong=113, backtracks=61, failedAssignments=75, nogoods=41, foundSolutions=26, bestBound=208
5.32/2.71
5.32/2.72 num=30, depth=6..11, filters=12051, revisions=(59149,useless=47769), ccks=40511, wck=0.239, mem=74M148
5.32/2.72 decisions=872, wrong=129, backtracks=67, failedAssignments=87, nogoods=45, foundSolutions=26, bestBound=208
5.32/2.72
5.32/2.73 o 206
5.32/2.73 num=31, depth=7..99, filters=12633, revisions=(60851,useless=48895), ccks=41850, wck=0.245, mem=74M148
5.32/2.73 decisions=902, wrong=131, backtracks=68, failedAssignments=88, nogoods=46, foundSolutions=27, bestBound=206
5.32/2.73
5.32/2.73 o 205
5.32/2.73 num=32, depth=9..99, filters=13108, revisions=(62449,useless=50028), ccks=42879, wck=0.251, mem=74M148
5.32/2.73 decisions=922, wrong=132, backtracks=68, failedAssignments=89, nogoods=47, foundSolutions=28, bestBound=205
5.32/2.73
5.32/2.74 o 204
5.32/2.74 num=33, depth=7..99, filters=13597, revisions=(64231,useless=51320), ccks=43939, wck=0.256, mem=74M148
5.32/2.74 decisions=945, wrong=134, backtracks=68, failedAssignments=91, nogoods=49, foundSolutions=29, bestBound=204
5.32/2.74
5.32/2.74 o 203
5.32/2.74 num=34, depth=10..99, filters=14053, revisions=(65859,useless=52483), ccks=44907, wck=0.262, mem=74M148
5.32/2.74 decisions=964, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=30, bestBound=203
5.32/2.74
5.32/2.75 o 202
5.32/2.75 num=35, depth=101..99, filters=14446, revisions=(67376,useless=53603), ccks=45807, wck=0.267, mem=74M148
5.32/2.75 decisions=983, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=31, bestBound=202
5.32/2.75
5.32/2.75 o 201
5.32/2.76 num=36, depth=101..99, filters=14843, revisions=(68862,useless=54689), ccks=46698, wck=0.272, mem=74M148
5.32/2.76 decisions=1001, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=32, bestBound=201
5.32/2.76
5.32/2.76 o 199
5.32/2.76 num=37, depth=101..99, filters=15250, revisions=(70375,useless=55796), ccks=47598, wck=0.276, mem=74M148
5.32/2.76 decisions=1025, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=33, bestBound=199
5.32/2.76
5.32/2.76 o 198
5.32/2.76 num=38, depth=101..99, filters=15648, revisions=(71838,useless=56869), ccks=48489, wck=0.281, mem=74M148
5.32/2.76 decisions=1044, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=34, bestBound=198
5.32/2.76
5.32/2.77 o 197
5.32/2.77 num=39, depth=101..99, filters=16020, revisions=(73361,useless=58031), ccks=49381, wck=0.285, mem=74M148
5.32/2.77 decisions=1060, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=35, bestBound=197
5.32/2.77
5.32/2.77 o 196
5.32/2.77 num=40, depth=101..99, filters=16386, revisions=(74842,useless=59158), ccks=50272, wck=0.29, mem=74M148
5.32/2.77 decisions=1075, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=36, bestBound=196
5.32/2.77
5.32/2.78 num=41, depth=4..10, filters=17947, revisions=(78968,useless=61780), ccks=52356, wck=0.3, mem=74M148
5.32/2.78 decisions=1113, wrong=152, backtracks=77, failedAssignments=103, nogoods=52, foundSolutions=36, bestBound=196
5.32/2.78
5.32/2.79 o 195
5.32/2.79 num=42, depth=2..99, filters=18338, revisions=(80769,useless=63212), ccks=53540, wck=0.305, mem=74M148
5.32/2.79 decisions=1134, wrong=155, backtracks=78, failedAssignments=105, nogoods=54, foundSolutions=37, bestBound=195
5.32/2.79
5.32/2.79 o 194
5.32/2.79 num=43, depth=5..99, filters=18770, revisions=(82743,useless=64771), ccks=55010, wck=0.311, mem=74M148
5.32/2.79 decisions=1161, wrong=159, backtracks=81, failedAssignments=107, nogoods=56, foundSolutions=38, bestBound=194
5.32/2.79
5.63/2.81 num=44, depth=3..10, filters=20177, revisions=(86655,useless=67355), ccks=57180, wck=0.324, mem=76M791
5.63/2.81 decisions=1217, wrong=184, backtracks=98, failedAssignments=118, nogoods=62, foundSolutions=38, bestBound=194
5.63/2.81
5.63/2.81 o 193
5.63/2.81 num=45, depth=3..99, filters=20990, revisions=(89383,useless=69299), ccks=58996, wck=0.331, mem=76M791
5.63/2.81 decisions=1244, wrong=191, backtracks=102, failedAssignments=123, nogoods=66, foundSolutions=39, bestBound=193
5.63/2.81
5.63/2.82 num=46, depth=4..11, filters=22286, revisions=(92876,useless=71560), ccks=60953, wck=0.341, mem=76M791
5.63/2.82 decisions=1288, wrong=211, backtracks=116, failedAssignments=135, nogoods=70, foundSolutions=39, bestBound=193
5.63/2.82
5.63/2.83 num=47, depth=4..9, filters=23259, revisions=(95727,useless=73504), ccks=62633, wck=0.349, mem=76M791
5.63/2.83 decisions=1332, wrong=231, backtracks=127, failedAssignments=146, nogoods=74, foundSolutions=39, bestBound=193
5.63/2.83
5.63/2.84 o 192
5.63/2.84 num=48, depth=2..99, filters=24713, revisions=(100194,useless=76572), ccks=65213, wck=0.36, mem=76M791
5.63/2.84 decisions=1379, wrong=248, backtracks=138, failedAssignments=157, nogoods=80, foundSolutions=40, bestBound=192
5.63/2.84
5.63/2.85 o 191
5.63/2.85 num=49, depth=4..99, filters=25501, revisions=(102386,useless=77994), ccks=66854, wck=0.367, mem=76M791
5.63/2.85 decisions=1408, wrong=254, backtracks=138, failedAssignments=163, nogoods=86, foundSolutions=41, bestBound=191
5.63/2.85
5.63/2.86 num=50, depth=2..8, filters=26176, revisions=(105317,useless=80315), ccks=68244, wck=0.374, mem=76M791
5.63/2.86 decisions=1448, wrong=273, backtracks=151, failedAssignments=174, nogoods=89, foundSolutions=41, bestBound=191
5.63/2.86
5.63/2.86 num=51, depth=2..7, filters=27239, revisions=(108579,useless=82568), ccks=70073, wck=0.381, mem=76M791
5.63/2.86 decisions=1480, wrong=288, backtracks=158, failedAssignments=185, nogoods=92, foundSolutions=41, bestBound=191
5.63/2.86
5.63/2.87 num=52, depth=2..6, filters=28934, revisions=(112898,useless=85260), ccks=72623, wck=0.391, mem=76M791
5.63/2.87 decisions=1522, wrong=307, backtracks=166, failedAssignments=197, nogoods=99, foundSolutions=41, bestBound=191
5.63/2.87
5.63/2.88 num=53, depth=2..10, filters=30626, revisions=(117171,useless=87941), ccks=75232, wck=0.402, mem=76M791
5.63/2.88 decisions=1567, wrong=328, backtracks=182, failedAssignments=210, nogoods=105, foundSolutions=41, bestBound=191
5.63/2.88
5.94/2.90 o 190
5.94/2.90 num=54, depth=1..99, filters=32420, revisions=(122607,useless=91651), ccks=78846, wck=0.414, mem=76M791
5.94/2.90 decisions=1619, wrong=346, backtracks=195, failedAssignments=220, nogoods=109, foundSolutions=42, bestBound=190
5.94/2.90
5.94/2.90 o 189
5.94/2.90 num=55, depth=9..99, filters=33067, revisions=(124290,useless=92703), ccks=80220, wck=0.419, mem=76M791
5.94/2.90 decisions=1639, wrong=348, backtracks=195, failedAssignments=222, nogoods=111, foundSolutions=43, bestBound=189
5.94/2.90
5.94/2.91 num=56, depth=1..8, filters=33384, revisions=(126259,useless=94388), ccks=81420, wck=0.424, mem=76M791
5.94/2.91 decisions=1669, wrong=361, backtracks=201, failedAssignments=233, nogoods=118, foundSolutions=43, bestBound=189
5.94/2.91
5.94/2.91 num=57, depth=1..4, filters=34067, revisions=(129220,useless=96727), ccks=83223, wck=0.431, mem=76M791
5.94/2.91 decisions=1703, wrong=377, backtracks=213, failedAssignments=244, nogoods=122, foundSolutions=43, bestBound=189
5.94/2.91
5.94/2.92 num=58, depth=2..9, filters=35066, revisions=(132190,useless=98725), ccks=84628, wck=0.438, mem=79M434
5.94/2.92 decisions=1740, wrong=394, backtracks=220, failedAssignments=256, nogoods=132, foundSolutions=43, bestBound=189
5.94/2.92
5.94/2.93 o 188
5.94/2.93 num=59, depth=8..99, filters=35528, revisions=(133742,useless=99816), ccks=85974, wck=0.443, mem=79M434
5.94/2.93 decisions=1768, wrong=396, backtracks=220, failedAssignments=258, nogoods=134, foundSolutions=44, bestBound=188
5.94/2.93
5.94/2.93 o 187
5.94/2.93 num=60, depth=101..99, filters=36114, revisions=(135343,useless=100842), ccks=87124, wck=0.447, mem=79M434
5.94/2.93 decisions=1783, wrong=396, backtracks=220, failedAssignments=258, nogoods=134, foundSolutions=45, bestBound=187
5.94/2.93
5.94/2.94 o 186
5.94/2.94 num=61, depth=3..99, filters=36555, revisions=(137224,useless=102287), ccks=88428, wck=0.453, mem=79M434
5.94/2.94 decisions=1809, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=46, bestBound=186
5.94/2.94
5.94/2.94 o 185
5.94/2.94 num=62, depth=101..99, filters=37143, revisions=(138827,useless=103313), ccks=89642, wck=0.457, mem=79M434
5.94/2.94 decisions=1824, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=47, bestBound=185
5.94/2.94
5.94/2.95 o 184
5.94/2.95 num=63, depth=101..99, filters=37495, revisions=(140463,useless=104586), ccks=90696, wck=0.463, mem=79M434
5.94/2.95 decisions=1840, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=48, bestBound=184
5.94/2.95
5.94/2.95 o 183
5.94/2.95 num=64, depth=101..99, filters=38088, revisions=(142084,useless=105626), ccks=91905, wck=0.468, mem=79M434
5.94/2.95 decisions=1854, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=49, bestBound=183
5.94/2.95
5.94/2.95 o 182
5.94/2.96 num=65, depth=101..99, filters=38425, revisions=(143740,useless=106936), ccks=92940, wck=0.472, mem=79M434
5.94/2.96 decisions=1868, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=50, bestBound=182
5.94/2.96
5.94/2.96 o 181
5.94/2.96 num=66, depth=8..99, filters=39063, revisions=(145596,useless=108166), ccks=94314, wck=0.477, mem=79M434
5.94/2.96 decisions=1885, wrong=400, backtracks=220, failedAssignments=262, nogoods=138, foundSolutions=51, bestBound=181
5.94/2.96
5.94/2.96 o 180
5.94/2.96 num=67, depth=101..99, filters=39447, revisions=(147160,useless=109341), ccks=95468, wck=0.481, mem=79M434
5.94/2.96 decisions=1907, wrong=400, backtracks=220, failedAssignments=262, nogoods=138, foundSolutions=52, bestBound=180
5.94/2.96
5.94/2.97 o 179
5.94/2.97 num=68, depth=5..99, filters=40975, revisions=(151284,useless=111980), ccks=97908, wck=0.491, mem=79M434
5.94/2.97 decisions=1948, wrong=412, backtracks=228, failedAssignments=269, nogoods=142, foundSolutions=53, bestBound=179
5.94/2.97
5.94/2.98 o 178
5.94/2.98 num=69, depth=101..99, filters=41336, revisions=(152912,useless=113242), ccks=99061, wck=0.495, mem=79M434
5.94/2.98 decisions=1965, wrong=412, backtracks=228, failedAssignments=269, nogoods=142, foundSolutions=54, bestBound=178
5.94/2.98
5.94/2.98 o 177
5.94/2.98 num=70, depth=8..99, filters=41918, revisions=(154594,useless=114352), ccks=100318, wck=0.5, mem=79M434
5.94/2.98 decisions=1987, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=55, bestBound=177
5.94/2.98
5.94/2.99 o 176
5.94/2.99 num=71, depth=101..99, filters=42247, revisions=(156242,useless=115665), ccks=101400, wck=0.503, mem=79M434
5.94/2.99 decisions=2002, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=56, bestBound=176
5.94/2.99
5.94/2.99 o 175
5.94/2.99 num=72, depth=101..99, filters=42769, revisions=(157828,useless=116736), ccks=102578, wck=0.507, mem=79M434
5.94/2.99 decisions=2019, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=57, bestBound=175
5.94/2.99
5.94/2.99 o 174
5.94/2.99 num=73, depth=101..99, filters=43081, revisions=(159478,useless=118071), ccks=103642, wck=0.511, mem=79M434
5.94/2.99 decisions=2032, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=58, bestBound=174
5.94/2.99
5.94/3.01 o 173
6.27/3.01 num=74, depth=4..99, filters=44749, revisions=(163320,useless=120273), ccks=106200, wck=0.524, mem=79M434
6.27/3.01 decisions=2079, wrong=429, backtracks=234, failedAssignments=281, nogoods=153, foundSolutions=59, bestBound=173
6.27/3.01
6.27/3.01 o 172
6.27/3.01 num=75, depth=101..99, filters=45040, revisions=(164984,useless=121646), ccks=107311, wck=0.528, mem=82M76
6.27/3.01 decisions=2090, wrong=429, backtracks=234, failedAssignments=281, nogoods=153, foundSolutions=60, bestBound=172
6.27/3.01
6.27/3.01 o 171
6.27/3.01 num=76, depth=101..99, filters=45619, revisions=(166513,useless=122610), ccks=108528, wck=0.532, mem=82M76
6.27/3.01 decisions=2106, wrong=429, backtracks=234, failedAssignments=281, nogoods=153, foundSolutions=61, bestBound=171
6.27/3.01
6.27/3.02 num=77, depth=2..11, filters=46586, revisions=(169594,useless=124756), ccks=109814, wck=0.538, mem=82M76
6.27/3.02 decisions=2136, wrong=443, backtracks=246, failedAssignments=292, nogoods=155, foundSolutions=61, bestBound=171
6.27/3.02
6.27/3.03 num=78, depth=1..5, filters=47427, revisions=(172199,useless=126591), ccks=111474, wck=0.545, mem=82M76
6.27/3.03 decisions=2177, wrong=463, backtracks=256, failedAssignments=303, nogoods=159, foundSolutions=61, bestBound=171
6.27/3.03
6.27/3.04 o 170
6.27/3.04 num=79, depth=2..99, filters=48707, revisions=(175647,useless=128804), ccks=113886, wck=0.553, mem=82M76
6.27/3.04 decisions=2220, wrong=477, backtracks=260, failedAssignments=314, nogoods=169, foundSolutions=62, bestBound=170
6.27/3.04
6.27/3.04 o 169
6.27/3.04 num=80, depth=3..99, filters=49649, revisions=(178251,useless=130495), ccks=115778, wck=0.559, mem=82M76
6.27/3.04 decisions=2257, wrong=487, backtracks=264, failedAssignments=322, nogoods=176, foundSolutions=63, bestBound=169
6.27/3.04
6.27/3.05 num=81, depth=1..8, filters=50735, revisions=(181381,useless=132600), ccks=117695, wck=0.566, mem=82M76
6.27/3.05 decisions=2291, wrong=503, backtracks=274, failedAssignments=333, nogoods=182, foundSolutions=63, bestBound=169
6.27/3.05
6.27/3.05 o 168
6.27/3.05 num=82, depth=3..99, filters=51564, revisions=(183594,useless=134006), ccks=119363, wck=0.572, mem=82M76
6.27/3.05 decisions=2317, wrong=508, backtracks=277, failedAssignments=336, nogoods=184, foundSolutions=64, bestBound=168
6.27/3.05
6.27/3.06 o 167
6.27/3.06 num=83, depth=101..99, filters=52212, revisions=(185140,useless=134905), ccks=120650, wck=0.576, mem=82M76
6.27/3.06 decisions=2332, wrong=508, backtracks=277, failedAssignments=336, nogoods=184, foundSolutions=65, bestBound=167
6.27/3.06
6.27/3.07 num=84, depth=0..7, filters=53296, revisions=(188742,useless=137485), ccks=122807, wck=0.583, mem=82M76
6.27/3.07 decisions=2370, wrong=525, backtracks=285, failedAssignments=347, nogoods=191, foundSolutions=65, bestBound=167
6.27/3.07
6.27/3.07 num=85, depth=1..9, filters=54667, revisions=(191671,useless=139098), ccks=124556, wck=0.59, mem=82M76
6.27/3.07 decisions=2400, wrong=538, backtracks=289, failedAssignments=358, nogoods=199, foundSolutions=65, bestBound=167
6.27/3.07
6.27/3.08 o 166
6.27/3.08 num=86, depth=0..99, filters=56988, revisions=(196815,useless=142004), ccks=127984, wck=0.601, mem=82M76
6.27/3.08 decisions=2462, wrong=558, backtracks=301, failedAssignments=369, nogoods=202, foundSolutions=66, bestBound=166
6.27/3.08
6.27/3.09 o 165
6.27/3.09 num=87, depth=9..99, filters=58039, revisions=(199125,useless=143272), ccks=129458, wck=0.606, mem=82M76
6.27/3.09 decisions=2490, wrong=562, backtracks=303, failedAssignments=371, nogoods=204, foundSolutions=67, bestBound=165
6.27/3.09
6.27/3.09 o 164
6.27/3.09 num=88, depth=8..99, filters=59182, revisions=(201866,useless=144905), ccks=131116, wck=0.612, mem=82M76
6.27/3.09 decisions=2531, wrong=573, backtracks=307, failedAssignments=379, nogoods=211, foundSolutions=68, bestBound=164
6.27/3.09
6.27/3.10 o 163
6.27/3.10 num=89, depth=9..99, filters=59865, revisions=(203592,useless=145946), ccks=132277, wck=0.616, mem=82M76
6.27/3.10 decisions=2553, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=69, bestBound=163
6.27/3.10
6.27/3.10 o 162
6.27/3.10 num=90, depth=101..99, filters=60469, revisions=(205136,useless=146899), ccks=133293, wck=0.62, mem=82M76
6.27/3.10 decisions=2571, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=70, bestBound=162
6.27/3.10
6.59/3.11 o 161
6.59/3.11 num=91, depth=101..99, filters=61077, revisions=(206711,useless=147862), ccks=134314, wck=0.624, mem=82M76
6.59/3.11 decisions=2590, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=71, bestBound=161
6.59/3.11
6.59/3.11 o 160
6.59/3.11 num=92, depth=101..99, filters=61664, revisions=(208239,useless=148816), ccks=135323, wck=0.628, mem=84M719
6.59/3.11 decisions=2608, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=72, bestBound=160
6.59/3.11
6.59/3.11 o 159
6.59/3.11 num=93, depth=101..99, filters=62258, revisions=(209798,useless=149780), ccks=136335, wck=0.631, mem=84M719
6.59/3.11 decisions=2626, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=73, bestBound=159
6.59/3.11
6.59/3.12 o 158
6.59/3.12 num=94, depth=101..99, filters=62851, revisions=(211352,useless=150747), ccks=137348, wck=0.635, mem=84M719
6.59/3.12 decisions=2643, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=74, bestBound=158
6.59/3.12
6.59/3.12 o 157
6.59/3.12 num=95, depth=101..99, filters=63423, revisions=(212894,useless=151716), ccks=138357, wck=0.639, mem=84M719
6.59/3.12 decisions=2661, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=75, bestBound=157
6.59/3.12
6.59/3.13 o 156
6.59/3.13 num=96, depth=101..99, filters=64003, revisions=(214440,useless=152687), ccks=139366, wck=0.643, mem=84M719
6.59/3.13 decisions=2678, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=76, bestBound=156
6.59/3.13
6.59/3.13 num=97, depth=9..14, filters=65479, revisions=(217787,useless=154589), ccks=141077, wck=0.649, mem=84M719
6.59/3.13 decisions=2719, wrong=590, backtracks=317, failedAssignments=391, nogoods=216, foundSolutions=76, bestBound=156
6.59/3.13
6.59/3.14 num=98, depth=1..8, filters=66953, revisions=(221055,useless=156418), ccks=142838, wck=0.656, mem=84M719
6.59/3.14 decisions=2756, wrong=606, backtracks=328, failedAssignments=402, nogoods=219, foundSolutions=76, bestBound=156
6.59/3.14
6.59/3.15 num=99, depth=0..5, filters=68304, revisions=(225317,useless=159411), ccks=145045, wck=0.663, mem=84M719
6.59/3.15 decisions=2804, wrong=629, backtracks=343, failedAssignments=414, nogoods=221, foundSolutions=76, bestBound=156
6.59/3.15
6.59/3.15 num=100, depth=0..4, filters=69206, revisions=(228726,useless=161989), ccks=147010, wck=0.668, mem=84M719
6.59/3.15 decisions=2847, wrong=650, backtracks=354, failedAssignments=427, nogoods=226, foundSolutions=76, bestBound=156
6.59/3.15
6.59/3.16 num=101, depth=0..9, filters=71626, revisions=(234392,useless=165342), ccks=150570, wck=0.677, mem=84M719
6.59/3.16 decisions=2903, wrong=676, backtracks=369, failedAssignments=441, nogoods=229, foundSolutions=76, bestBound=156
6.59/3.16
6.59/3.17 num=102, depth=0..8, filters=73305, revisions=(239028,useless=168400), ccks=153364, wck=0.685, mem=84M719
6.59/3.17 decisions=2965, wrong=705, backtracks=386, failedAssignments=457, nogoods=231, foundSolutions=76, bestBound=156
6.59/3.17
6.59/3.18 num=103, depth=0..10, filters=75621, revisions=(244437,useless=171574), ccks=156493, wck=0.694, mem=84M719
6.59/3.18 decisions=3034, wrong=737, backtracks=406, failedAssignments=474, nogoods=237, foundSolutions=76, bestBound=156
6.59/3.18
6.59/3.18 o 155
6.59/3.18 num=104, depth=1..99, filters=76552, revisions=(246605,useless=172818), ccks=158005, wck=0.698, mem=84M719
6.59/3.18 decisions=3052, wrong=742, backtracks=406, failedAssignments=479, nogoods=242, foundSolutions=77, bestBound=155
6.59/3.18
6.59/3.18 o 154
6.59/3.18 num=105, depth=1..99, filters=77164, revisions=(248469,useless=174092), ccks=159264, wck=0.702, mem=84M719
6.59/3.18 decisions=3077, wrong=748, backtracks=406, failedAssignments=485, nogoods=248, foundSolutions=78, bestBound=154
6.59/3.18
6.59/3.19 o 153
6.59/3.19 num=106, depth=1..99, filters=77779, revisions=(250289,useless=175311), ccks=160288, wck=0.705, mem=84M719
6.59/3.19 decisions=3099, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=79, bestBound=153
6.59/3.19
6.59/3.19 o 152
6.59/3.19 num=107, depth=101..99, filters=78340, revisions=(251976,useless=176448), ccks=161323, wck=0.708, mem=84M719
6.59/3.19 decisions=3111, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=80, bestBound=152
6.59/3.19
6.59/3.20 o 151
6.59/3.20 num=108, depth=101..99, filters=78957, revisions=(253695,useless=177564), ccks=162359, wck=0.712, mem=84M719
6.59/3.20 decisions=3125, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=81, bestBound=151
6.59/3.20
6.87/3.20 o 150
6.87/3.20 num=109, depth=101..99, filters=79538, revisions=(255374,useless=178659), ccks=163384, wck=0.715, mem=84M719
6.87/3.20 decisions=3140, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=82, bestBound=150
6.87/3.20
6.87/3.20 o 149
6.87/3.20 num=110, depth=101..99, filters=80146, revisions=(257081,useless=179763), ccks=164430, wck=0.718, mem=84M719
6.87/3.20 decisions=3154, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=83, bestBound=149
6.87/3.20
6.87/3.20 o 148
6.87/3.21 num=111, depth=101..99, filters=80737, revisions=(258780,useless=180872), ccks=165455, wck=0.721, mem=84M719
6.87/3.21 decisions=3168, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=84, bestBound=148
6.87/3.21
6.87/3.21 o 147
6.87/3.21 num=112, depth=101..99, filters=81318, revisions=(260493,useless=181996), ccks=166471, wck=0.724, mem=84M719
6.87/3.21 decisions=3181, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=85, bestBound=147
6.87/3.21
6.87/3.21 o 146
6.87/3.21 num=113, depth=101..99, filters=81885, revisions=(262195,useless=183125), ccks=167496, wck=0.727, mem=84M719
6.87/3.21 decisions=3194, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=86, bestBound=146
6.87/3.21
6.87/3.21 o 145
6.87/3.21 num=114, depth=101..99, filters=82457, revisions=(263902,useless=184252), ccks=168522, wck=0.73, mem=84M719
6.87/3.21 decisions=3207, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=87, bestBound=145
6.87/3.21
6.87/3.22 o 144
6.87/3.22 num=115, depth=101..99, filters=83016, revisions=(265613,useless=185399), ccks=169537, wck=0.733, mem=84M719
6.87/3.22 decisions=3219, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=88, bestBound=144
6.87/3.22
6.87/3.22 o 143
6.87/3.22 num=116, depth=101..99, filters=83580, revisions=(267329,useless=186545), ccks=170563, wck=0.736, mem=87M361
6.87/3.22 decisions=3231, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=89, bestBound=143
6.87/3.22
6.87/3.22 o 142
6.87/3.22 num=117, depth=101..99, filters=84137, revisions=(269038,useless=187691), ccks=171588, wck=0.739, mem=87M361
6.87/3.22 decisions=3243, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=90, bestBound=142
6.87/3.22
6.87/3.22 o 141
6.87/3.22 num=118, depth=101..99, filters=84686, revisions=(270738,useless=188841), ccks=172614, wck=0.742, mem=87M361
6.87/3.22 decisions=3255, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=91, bestBound=141
6.87/3.22
6.87/3.23 o 140
6.87/3.23 num=119, depth=101..99, filters=85225, revisions=(272446,useless=190011), ccks=173629, wck=0.744, mem=87M361
6.87/3.23 decisions=3266, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=92, bestBound=140
6.87/3.23
6.87/3.23 num=120, depth=0..8, filters=87404, revisions=(277192,useless=192631), ccks=175961, wck=0.751, mem=87M361
6.87/3.23 decisions=3305, wrong=770, backtracks=416, failedAssignments=500, nogoods=255, foundSolutions=92, bestBound=140
6.87/3.23
6.87/3.24 num=121, depth=0..7, filters=88810, revisions=(280473,useless=194562), ccks=177499, wck=0.756, mem=87M361
6.87/3.24 decisions=3342, wrong=787, backtracks=425, failedAssignments=511, nogoods=263, foundSolutions=92, bestBound=140
6.87/3.24
6.87/3.24
6.87/3.24 New Bounds: 140..139
6.87/3.24 num=122, depth=0..5, filters=89704, revisions=(282214,useless=195444), ccks=178502, wck=0.759, mem=87M361
6.87/3.24 decisions=3366, wrong=800, backtracks=433, failedAssignments=518, foundSolutions=92, bestBound=140
6.87/3.24
6.87/3.24 Global
6.87/3.24 filters=89704, revisions=(282214,useless=195444), ccks=178502
6.87/3.24 Stop=FULL_EXPLORATION, wrong=800, bestBound=140, bestBoundWck=1.372, bestBoundCpu=3.184, foundSolutions=92, firstSolCpu=2.47
6.87/3.24 wck=1.387, cpu=3.2, mem=87M361
6.87/3.24
6.87/3.24 v <instantiation id='sol92' type='solution' cost='140'> <list> s[] d[] l[] c[] </list> <values> 0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 9 11 13 13 13 18 9 11 11 10 13 18 18 11 11 15 13 10 10 11 9 18 13 11 14 15 10 13 14 14 4 8 1 1 5 5 1 4 5 1 2 1 3 1 2 1 5 2 2 5 4 1 1 1 7 6 8 1 2 1 </values> </instantiation>
6.87/3.24 s OPTIMUM FOUND
6.87/3.24
6.87/3.24 d WRONG_DECISIONS 800
6.87/3.24 d NUMBER_SOLUTIONS 92
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 (11661 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-4390865-1568381752/watcher-4390865-1568381752 -o /tmp/evaluation-result-4390865-1568381752/solver-4390865-1568381752 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390865-1568381752.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=962, runsolver pid=959
[startup+0.100131 s]*
/proc/loadavg: 2.01 1.91 1.43 4/229 977
/proc/meminfo: memFree=26275860/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10659884 memory=27484 CPUtime=0.12 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 5359 0 0 0 11 1 0 0 20 0 15 0 414089066 10915721216 6871 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2664971 6871 2844 1 0 2627468 0
[pid=962/tid=964] ppid=959 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) R 959 962 32084 0 -1 4202560 3244 0 0 0 8 1 0 0 20 0 15 0 414089067 10915721216 7069 33554432000 4194304 4196468 140730937509520 140043070469720 140043066252694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10659884 memory=3547064376186398368 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042557145888 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) S 959 962 32084 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 15 0 414089072 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042553989744 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042552936944 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0.02 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) R 959 962 32084 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 414089072 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042551881656 140043044996777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 7069 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27484 KiB
[startup+0.211285 s]*
/proc/loadavg: 2.01 1.91 1.43 4/229 977
/proc/meminfo: memFree=26264440/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10659884 memory=37648 CPUtime=0.33 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 9167 0 0 0 30 3 0 0 20 0 15 0 414089066 10915721216 9412 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2664971 9412 2989 1 0 2627468 0
[pid=962/tid=964] ppid=959 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) R 959 962 32084 0 -1 4202560 6126 0 0 0 18 2 0 0 20 0 15 0 414089067 10915721216 9412 33554432000 4194304 4196468 140730937509520 140043070472720 140043066262685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10659884 memory=3547064376186398368 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042557145888 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) S 959 962 32084 0 -1 1077944384 817 0 0 0 3 0 0 0 20 0 15 0 414089072 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042553989744 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) S 959 962 32084 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 15 0 414089072 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042552936944 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0.05 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 672 0 0 0 5 0 0 0 20 0 15 0 414089072 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 9412 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37648 KiB
[startup+0.310068 s]*
/proc/loadavg: 2.01 1.91 1.43 4/229 977
/proc/meminfo: memFree=26262492/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10659884 memory=40204 CPUtime=0.47 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 9356 0 0 0 44 3 0 0 20 0 15 0 414089066 10915721216 10051 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2664971 10051 3007 1 0 2627468 0
[pid=962/tid=964] ppid=959 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) R 959 962 32084 0 -1 4202560 6253 0 0 0 28 2 0 0 20 0 15 0 414089067 10915721216 10112 33554432000 4194304 4196468 140730937509520 140043070473168 140043050321246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10659884 memory=4049214626536646304 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10659884 memory=67 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042557145888 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10659884 memory=18980 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089069 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10659884 memory=21284 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) S 959 962 32084 0 -1 1077944384 825 0 0 0 4 0 0 0 20 0 15 0 414089072 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042553989744 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10659884 memory=35 CPUtime=0.04 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) S 959 962 32084 0 -1 1077944384 233 0 0 0 4 0 0 0 20 0 15 0 414089072 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042552936944 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10659884 memory=139683476825728 CPUtime=0.08 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 694 0 0 0 8 0 0 0 20 0 15 0 414089072 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10659884 memory=143845300136520 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089072 10915721216 10112 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40204 KiB
[startup+0.701365 s]
/proc/loadavg: 2.01 1.91 1.43 3/229 977
/proc/meminfo: memFree=26251636/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10661932 memory=63596 CPUtime=1.11 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 12948 0 0 0 106 5 0 0 20 0 15 0 414089066 10917818368 15899 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2665483 15899 3061 1 0 2627980 0
[pid=962/tid=964] ppid=959 vsize=10661932 memory=53 CPUtime=0.68 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) R 959 962 32084 0 -1 4202560 8814 0 0 0 64 4 0 0 20 0 15 0 414089067 10917818368 15899 33554432000 4194304 4196468 140730937509520 140043070466640 140043052486967 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10661932 memory=7238798801035015221 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10661932 memory=6010725853889123430 CPUtime=0 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10661932 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10661932 memory=51780 CPUtime=0 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089069 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10661932 memory=492 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089069 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042557145888 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089069 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10661932 memory=1768 CPUtime=0.12 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) S 959 962 32084 0 -1 1077944384 1040 0 0 0 12 0 0 0 20 0 15 0 414089072 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042553989744 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10661932 memory=1436 CPUtime=0.1 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) R 959 962 32084 0 -1 4202560 582 0 0 0 10 0 0 0 20 0 15 0 414089072 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042552936944 140043045430208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10661932 memory=896 CPUtime=0.19 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 1152 0 0 0 19 0 0 0 20 0 15 0 414089072 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10661932 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10661932 memory=2520 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089072 10917818368 15899 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63596 KiB
[startup+1.50082 s]
/proc/loadavg: 2.01 1.91 1.43 3/229 977
/proc/meminfo: memFree=26237048/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10663980 memory=75832 CPUtime=2.01 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 18551 0 0 0 195 6 0 0 20 0 15 0 414089066 10919915520 18958 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2665995 18958 3097 1 0 2628492 0
[pid=962/tid=964] ppid=959 vsize=10663980 memory=51780 CPUtime=1.47 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) R 959 962 32084 0 -1 4202560 13029 0 0 0 143 4 0 0 20 0 15 0 414089067 10919915520 18958 33554432000 4194304 4196468 140730937509520 140043070466640 140043050284389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10663980 memory=492 CPUtime=0 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10663980 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10663980 memory=932 CPUtime=0 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089067 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10663980 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089067 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10663980 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414089069 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10663980 memory=896 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089069 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042557145888 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10663980 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089069 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10663980 memory=143845165736840 CPUtime=0.15 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) S 959 962 32084 0 -1 1077944384 1417 0 0 0 15 0 0 0 20 0 15 0 414089072 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042553989744 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10663980 memory=26577 CPUtime=0.17 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) S 959 962 32084 0 -1 1077944384 1509 0 0 0 17 0 0 0 20 0 15 0 414089072 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042552936944 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10663980 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 1154 0 0 0 19 0 0 0 20 0 15 0 414089072 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10663980 memory=-1189914978686163229 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089072 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10663980 memory=279366684639472 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414089072 10919915520 18958 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75832 KiB
[startup+3.11031 s]
/proc/loadavg: 2.25 1.96 1.44 5/229 978
/proc/meminfo: memFree=26099140/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10748324 memory=210280 CPUtime=6.59 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 39528 0 0 0 643 16 0 0 20 0 16 0 414089066 11006283776 52570 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2687081 52570 3346 1 0 2647217 0
[pid=962/tid=964] ppid=959 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) S 959 962 32084 0 -1 1077944384 15304 0 0 0 180 6 0 0 20 0 16 0 414089067 11006283776 52570 33554432000 4194304 4196468 140730937509520 140043070483632 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10748324 memory=185336 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414089067 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10748324 memory=325 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414089067 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10748324 memory=186 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414089067 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10748324 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 414089067 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10748324 memory=39524 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 1095 0 0 0 1 0 0 0 20 0 16 0 414089069 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10748324 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414089069 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042557145952 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10748324 memory=139683342363977 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414089069 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089072 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10748324 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) R 959 962 32084 0 -1 4202560 6672 0 0 0 129 1 0 0 20 0 16 0 414089072 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042553970024 140043049737431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10748324 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) R 959 962 32084 0 -1 4202560 6818 0 0 0 134 1 0 0 20 0 16 0 414089072 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042552929432 140043049739628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10748324 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 4144 0 0 0 77 1 0 0 20 0 16 0 414089072 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089072 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10748324 memory=54 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414089072 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=978] ppid=959 vsize=10748324 memory=6944613755328037015 CPUtime=1.17 cores=0,2,4,6
/proc/962/task/978/stat : 978 (java) R 959 962 32084 0 -1 4202560 3857 0 0 0 115 2 0 0 20 0 16 0 414089255 11006283776 52570 33554432000 4194304 4196468 140730937509520 140042532818048 140042665563840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 6.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 210280 KiB
[startup+3.33874 s]
# the end of solver process 962 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.94836 s, system=0.172573 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20085 s]
/proc/loadavg: 2.25 1.96 1.44 5/229 978
/proc/meminfo: memFree=26099140/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10748324 memory=212208 CPUtime=6.87 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 40214 0 0 0 671 16 0 0 20 0 16 0 414089066 11006283776 53052 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2687081 53052 3348 1 0 2647217 0
[pid=962/tid=964] ppid=959 vsize=10748324 memory=8514701219477292710 CPUtime=1.86 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) S 959 962 32084 0 -1 1077944384 15304 0 0 0 180 6 0 0 20 0 16 0 414089067 11006283776 53052 33554432000 4194304 4196468 140730937509520 140043070483632 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10748324 memory=4714318374891523446 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414089067 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10748324 memory=-6164720571200083347 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 414089067 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10748324 memory=593 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414089067 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10748324 memory=279366684660488 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 414089067 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 1095 0 0 0 1 0 0 0 20 0 16 0 414089069 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042558199920 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414089069 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042557145952 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414089069 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089072 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042555041872 140043066259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10748324 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) R 959 962 32084 0 -1 4202560 7054 0 0 0 138 1 0 0 20 0 16 0 414089072 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042553970024 140043049651631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10748324 memory=-2827449378222515572 CPUtime=1.44 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) R 959 962 32084 0 -1 4202560 6835 0 0 0 143 1 0 0 20 0 16 0 414089072 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042552929432 140043050234150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10748324 memory=33 CPUtime=0.79 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 4154 0 0 0 78 1 0 0 20 0 16 0 414089072 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089072 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=977] ppid=959 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/977/stat : 977 (java) S 959 962 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414089072 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042549778864 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=978] ppid=959 vsize=10748324 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/962/task/978/stat : 978 (java) R 959 962 32084 0 -1 4202560 4134 0 0 0 124 2 0 0 20 0 16 0 414089255 11006283776 53052 33554432000 4194304 4196468 140730937509520 140042532811616 140042668194203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 6.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212208 KiB
[startup+3.30072 s]
/proc/loadavg: 2.25 1.96 1.44 5/229 978
/proc/meminfo: memFree=26099140/32770624 swapFree=66957012/67108860
[pid=962] ppid=959 vsize=10814888 memory=218412 CPUtime=7.08 cores=0,2,4,6
/proc/962/stat : 962 (java) S 959 962 32084 0 -1 1077944320 40339 0 0 0 692 16 0 0 20 0 14 0 414089066 11074445312 54603 33554432000 4194304 4196468 140730937509520 140730937492064 140043066240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
/proc/962/statm: 2703722 54603 3349 1 0 2663858 0
[pid=962/tid=964] ppid=959 vsize=10814888 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/962/task/964/stat : 964 (java) S 959 962 32084 0 -1 1077944384 15312 0 0 0 180 6 0 0 20 0 14 0 414089067 11074445312 54603 33554432000 4194304 4196468 140730937509520 140043070483600 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=965] ppid=959 vsize=10814888 memory=185336 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/965/stat : 965 (java) S 959 962 32084 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 14 0 414089067 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042992315280 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=966] ppid=959 vsize=10814888 memory=54 CPUtime=0 cores=0,2,4,6
/proc/962/task/966/stat : 966 (java) S 959 962 32084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 14 0 414089067 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042991262480 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=967] ppid=959 vsize=10814888 memory=6944613755328037015 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/967/stat : 967 (java) S 959 962 32084 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 14 0 414089067 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042990210192 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=968] ppid=959 vsize=10814888 memory=325 CPUtime=0 cores=0,2,4,6
/proc/962/task/968/stat : 968 (java) S 959 962 32084 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 14 0 414089067 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042989157392 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=969] ppid=959 vsize=10814888 memory=186 CPUtime=0.01 cores=0,2,4,6
/proc/962/task/969/stat : 969 (java) S 959 962 32084 0 -1 1077944384 1095 0 0 0 1 0 0 0 20 0 14 0 414089069 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042558200128 140043066251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=970] ppid=959 vsize=10814888 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/962/task/970/stat : 970 (java) S 959 962 32084 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 14 0 414089069 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042557145952 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=971] ppid=959 vsize=10814888 memory=39524 CPUtime=0 cores=0,2,4,6
/proc/962/task/971/stat : 971 (java) S 959 962 32084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 14 0 414089069 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042556093552 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=972] ppid=959 vsize=10814888 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/962/task/972/stat : 972 (java) S 959 962 32084 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 14 0 414089072 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042555040640 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=973] ppid=959 vsize=10814888 memory=139683342363977 CPUtime=1.49 cores=0,2,4,6
/proc/962/task/973/stat : 973 (java) R 959 962 32084 0 -1 4202560 7076 0 0 0 148 1 0 0 20 0 14 0 414089072 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042553970024 140043049737543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=974] ppid=959 vsize=10814888 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/962/task/974/stat : 974 (java) S 959 962 32084 0 -1 1077944384 6842 0 0 0 147 1 0 0 20 0 14 0 414089072 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042552922016 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=975] ppid=959 vsize=10814888 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/962/task/975/stat : 975 (java) S 959 962 32084 0 -1 1077944384 4175 0 0 0 79 1 0 0 20 0 14 0 414089072 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042551884656 140043066251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
[pid=962/tid=976] ppid=959 vsize=10814888 memory=0 CPUtime=0 cores=0,2,4,6
/proc/962/task/976/stat : 976 (java) S 959 962 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414089072 11074445312 54603 33554432000 4194304 4196468 140730937509520 140042550832096 140043066250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12783616 140730937517067 140730937517170 140730937517170 140730937520079 0
Current children cumulated CPU time: 7.08 s
Current children cumulated vsize: 10814888 KiB
Current children cumulated memory: 218412 KiB
Child status: 0
Real time (s): 3.33879
CPU time (s): 7.12093
CPU user time (s): 6.94836
CPU system time (s): 0.172573
CPU usage (%): 213.279
Max. virtual memory (cumulated for all children) (KiB): 10814888
Max. memory (cumulated for all children) (KiB): 218412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.94836
system time used= 0.172573
maximum resident set size= 219204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40383
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= 2559
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 962
# total CPU time (s): 7.12093
# total CPU user time (s): 6.94836
# total CPU system time (s): 0.172573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056456 second user time and 0.075615 second system time
The end