2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.88
3.53/2.23 Instance
3.53/2.23 name=instance-4390529-1568383752, framework=CSP
3.53/2.23
3.53/2.23 Loading variables...
3.53/2.25 Loading constraints...
4.15/2.41
4.15/2.41 Domains
4.15/2.41 nTypes=2, nValues=590, sizes=[9#10,10#50]
4.15/2.41 Variables
4.15/2.41 count=60, degrees=[1#40,2#10,10#10]
4.15/2.41 Constraints
4.15/2.41 count=65, nSpecific=10, arities=[2#55,5#10]
4.15/2.41 distribution=[CtrExtensionCT-Table#10,CtrExtensionV-Bits#55]
4.15/2.41 tables=[59050#10], nTotalTuples=590500
4.15/2.41 nExtStructures=(3,shared:62), nCftStructures=(2,shared:53,unbuilt:10)
4.15/2.41 wck=0.57, cpu=2.377, mem=128M858
4.15/2.42 Solver SolverBacktrack being built...
4.15/2.42
4.15/2.45
4.15/2.45 Solver
4.15/2.45 guaranteedGAC=true
4.15/2.45 wck=0.614, cpu=2.408, mem=38M554
4.15/2.45
4.15/2.45 Preprocessing
4.15/2.45 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.15/2.45 wck=0.002, cpu=2.412, mem=38M554
4.15/2.45
4.15/2.47 num=0, depth=5..7, filters=256, revisions=(278,useless=22), wck=0.019, mem=38M554
4.15/2.47 decisions=46, wrong=20, backtracks=10, failedAssignments=10, nogoods=4
4.15/2.47 nFilterCalls=99, avgTableProportion=0.9999830651989853, avgTableSize=59049.0
4.15/2.47
4.15/2.49 num=1, depth=5..7, filters=526, revisions=(571,useless=45), wck=0.026, mem=38M554
4.15/2.49 decisions=96, wrong=42, backtracks=21, failedAssignments=21, nogoods=9
4.15/2.49 nFilterCalls=192, avgTableProportion=0.9999830651989874, avgTableSize=59049.0
4.15/2.49
4.15/2.49 num=2, depth=5..7, filters=813, revisions=(886,useless=73), wck=0.03, mem=38M554
4.15/2.49 decisions=149, wrong=66, backtracks=33, failedAssignments=33, nogoods=13
4.15/2.49 nFilterCalls=286, avgTableProportion=0.999983065198988, avgTableSize=59049.0
4.15/2.49
4.15/2.49 num=3, depth=5..7, filters=1109, revisions=(1210,useless=101), wck=0.034, mem=38M554
4.15/2.49 decisions=207, wrong=92, backtracks=46, failedAssignments=46, nogoods=18
4.15/2.49 nFilterCalls=385, avgTableProportion=0.9999830651989884, avgTableSize=59049.0
4.15/2.49
4.46/2.50 num=4, depth=5..7, filters=1426, revisions=(1558,useless=132), wck=0.05, mem=38M554
4.46/2.50 decisions=268, wrong=120, backtracks=60, failedAssignments=60, nogoods=23
4.46/2.50 nFilterCalls=487, avgTableProportion=0.9999830651989887, avgTableSize=59049.0
4.46/2.50
4.46/2.51 num=5, depth=5..7, filters=1764, revisions=(1932,useless=168), wck=0.054, mem=38M554
4.46/2.51 decisions=338, wrong=152, backtracks=76, failedAssignments=76, nogoods=29
4.46/2.51 nFilterCalls=596, avgTableProportion=0.9999830651989888, avgTableSize=59049.0
4.46/2.51
4.46/2.51 num=6, depth=5..7, filters=2113, revisions=(2318,useless=205), wck=0.058, mem=38M554
4.46/2.51 decisions=411, wrong=186, backtracks=93, failedAssignments=93, nogoods=35
4.46/2.51 nFilterCalls=706, avgTableProportion=0.9999830651989889, avgTableSize=59049.0
4.46/2.51
4.46/2.51 num=7, depth=4..7, filters=2554, revisions=(2812,useless=258), wck=0.062, mem=38M554
4.46/2.51 decisions=492, wrong=224, backtracks=112, failedAssignments=112, nogoods=38
4.46/2.51 nFilterCalls=837, avgTableProportion=0.999983065198989, avgTableSize=59049.0
4.46/2.51
4.46/2.52 num=8, depth=4..7, filters=3030, revisions=(3344,useless=314), wck=0.067, mem=38M554
4.46/2.52 decisions=582, wrong=266, backtracks=133, failedAssignments=133, nogoods=43
4.46/2.52 nFilterCalls=980, avgTableProportion=0.9999830651989892, avgTableSize=59049.0
4.46/2.52
4.46/2.52 num=9, depth=4..7, filters=3530, revisions=(3900,useless=370), wck=0.072, mem=38M554
4.46/2.52 decisions=680, wrong=312, backtracks=156, failedAssignments=156, nogoods=47
4.46/2.52 nFilterCalls=1130, avgTableProportion=0.9999830651989785, avgTableSize=59049.0
4.46/2.52
4.46/2.53 num=10, depth=4..7, filters=4079, revisions=(4514,useless=435), wck=0.077, mem=38M554
4.46/2.53 decisions=785, wrong=362, backtracks=182, failedAssignments=181, nogoods=53
4.46/2.53 nFilterCalls=1292, avgTableProportion=0.9999830651989656, avgTableSize=59049.0
4.46/2.53
4.46/2.53 num=11, depth=4..7, filters=4668, revisions=(5174,useless=506), wck=0.082, mem=38M554
4.46/2.53 decisions=902, wrong=418, backtracks=210, failedAssignments=209, nogoods=59
4.46/2.53 nFilterCalls=1461, avgTableProportion=0.9999830651989553, avgTableSize=59049.0
4.46/2.53
4.46/2.54 num=12, depth=4..7, filters=5346, revisions=(5937,useless=591), wck=0.088, mem=38M554
4.46/2.54 decisions=1032, wrong=480, backtracks=241, failedAssignments=240, nogoods=64
4.46/2.54 nFilterCalls=1652, avgTableProportion=0.9999830651989461, avgTableSize=59049.0
4.46/2.54
4.46/2.54 num=13, depth=4..7, filters=6032, revisions=(6708,useless=676), wck=0.093, mem=38M554
4.46/2.54 decisions=1174, wrong=548, backtracks=275, failedAssignments=274, nogoods=68
4.46/2.54 nFilterCalls=1847, avgTableProportion=0.9999830651989388, avgTableSize=59049.0
4.46/2.54
4.46/2.55 num=14, depth=4..7, filters=6842, revisions=(7631,useless=789), wck=0.098, mem=38M554
4.46/2.55 decisions=1328, wrong=622, backtracks=312, failedAssignments=311, nogoods=72
4.46/2.55 nFilterCalls=2067, avgTableProportion=0.9999830651989341, avgTableSize=59049.0
4.46/2.55
4.46/2.56 num=15, depth=4..7, filters=7720, revisions=(8627,useless=907), wck=0.104, mem=38M554
4.46/2.56 decisions=1498, wrong=704, backtracks=353, failedAssignments=352, nogoods=77
4.46/2.56 nFilterCalls=2305, avgTableProportion=0.9999830651989515, avgTableSize=59049.0
4.46/2.56
4.46/2.56 num=16, depth=4..7, filters=8648, revisions=(9683,useless=1035), wck=0.108, mem=38M554
4.46/2.56 decisions=1684, wrong=794, backtracks=398, failedAssignments=397, nogoods=82
4.46/2.56 nFilterCalls=2556, avgTableProportion=0.9999830651989665, avgTableSize=59049.0
4.46/2.56
4.46/2.56 num=17, depth=4..7, filters=9685, revisions=(10851,useless=1166), wck=0.112, mem=38M554
4.46/2.56 decisions=1889, wrong=894, backtracks=448, failedAssignments=447, nogoods=89
4.46/2.56 nFilterCalls=2838, avgTableProportion=0.9999830651989801, avgTableSize=59049.0
4.46/2.56
4.46/2.57 num=18, depth=4..7, filters=10810, revisions=(12127,useless=1317), wck=0.116, mem=38M554
4.46/2.57 decisions=2114, wrong=1004, backtracks=503, failedAssignments=502, nogoods=95
4.46/2.57 nFilterCalls=3133, avgTableProportion=0.9999830651989917, avgTableSize=59049.0
4.46/2.57
4.46/2.57 num=19, depth=4..7, filters=12077, revisions=(13572,useless=1495), wck=0.121, mem=38M554
4.46/2.57 decisions=2363, wrong=1126, backtracks=564, failedAssignments=563, nogoods=103
4.46/2.57 nFilterCalls=3468, avgTableProportion=0.9999830651990025, avgTableSize=59049.0
4.46/2.57
4.46/2.58 num=20, depth=3..7, filters=13607, revisions=(15348,useless=1741), wck=0.127, mem=38M554
4.46/2.58 decisions=2637, wrong=1260, backtracks=631, failedAssignments=630, nogoods=106
4.46/2.58 nFilterCalls=3851, avgTableProportion=0.9999830651990125, avgTableSize=59049.0
4.46/2.58
4.46/2.58 num=21, depth=3..7, filters=15156, revisions=(17129,useless=1973), wck=0.133, mem=38M554
4.46/2.58 decisions=2936, wrong=1408, backtracks=708, failedAssignments=704, nogoods=107
4.46/2.58 nFilterCalls=4260, avgTableProportion=0.9999830651990038, avgTableSize=59049.0
4.46/2.58
4.46/2.59 num=22, depth=3..7, filters=16886, revisions=(19107,useless=2221), wck=0.14, mem=38M554
4.46/2.59 decisions=3266, wrong=1570, backtracks=791, failedAssignments=785, nogoods=112
4.46/2.59 nFilterCalls=4719, avgTableProportion=0.9999830651989693, avgTableSize=59049.0
4.46/2.59
4.80/2.60 num=23, depth=3..7, filters=18791, revisions=(21291,useless=2500), wck=0.149, mem=38M554
4.80/2.60 decisions=3627, wrong=1748, backtracks=881, failedAssignments=874, nogoods=116
4.80/2.60 nFilterCalls=5191, avgTableProportion=0.9999830651989401, avgTableSize=59049.0
4.80/2.60
4.80/2.61 num=24, depth=3..7, filters=20889, revisions=(23689,useless=2800), wck=0.157, mem=38M554
4.80/2.61 decisions=4025, wrong=1944, backtracks=984, failedAssignments=972, nogoods=120
4.80/2.61 nFilterCalls=5739, avgTableProportion=0.9999830651989122, avgTableSize=59049.0
4.80/2.61
4.80/2.62 num=25, depth=3..7, filters=23106, revisions=(26237,useless=3131), wck=0.165, mem=38M554
4.80/2.62 decisions=4462, wrong=2160, backtracks=1093, failedAssignments=1080, nogoods=125
4.80/2.62 nFilterCalls=6313, avgTableProportion=0.9999830651988882, avgTableSize=59049.0
4.80/2.62
4.80/2.63 num=26, depth=3..7, filters=25551, revisions=(29036,useless=3485), wck=0.174, mem=38M554
4.80/2.63 decisions=4943, wrong=2398, backtracks=1213, failedAssignments=1199, nogoods=131
4.80/2.63 nFilterCalls=6940, avgTableProportion=0.9999830651988666, avgTableSize=59049.0
4.80/2.63
4.80/2.64 num=27, depth=3..7, filters=28294, revisions=(32185,useless=3891), wck=0.184, mem=38M554
4.80/2.64 decisions=5472, wrong=2660, backtracks=1344, failedAssignments=1330, nogoods=141
4.80/2.64 nFilterCalls=7631, avgTableProportion=0.9999830651988468, avgTableSize=59049.0
4.80/2.64
4.80/2.65 num=28, depth=3..7, filters=31370, revisions=(35727,useless=4357), wck=0.195, mem=38M554
4.80/2.65 decisions=6054, wrong=2948, backtracks=1494, failedAssignments=1474, nogoods=146
4.80/2.65 nFilterCalls=8418, avgTableProportion=0.9999830651988527, avgTableSize=59049.0
4.80/2.65
4.80/2.66 num=29, depth=3..7, filters=34670, revisions=(39525,useless=4855), wck=0.207, mem=41M112
4.80/2.66 decisions=6690, wrong=3264, backtracks=1654, failedAssignments=1632, nogoods=149
4.80/2.66 nFilterCalls=9236, avgTableProportion=0.9999830651989152, avgTableSize=59049.0
4.80/2.66
4.80/2.67 num=30, depth=3..7, filters=38313, revisions=(43712,useless=5399), wck=0.22, mem=41M112
4.80/2.67 decisions=7391, wrong=3612, backtracks=1834, failedAssignments=1806, nogoods=154
4.80/2.67 nFilterCalls=10150, avgTableProportion=0.9999830651989731, avgTableSize=59049.0
4.80/2.67
4.80/2.69 num=31, depth=3..7, filters=42206, revisions=(48178,useless=5972), wck=0.234, mem=41M112
4.80/2.69 decisions=8160, wrong=3994, backtracks=2027, failedAssignments=1997, nogoods=161
4.80/2.69 nFilterCalls=11150, avgTableProportion=0.9999830651990256, avgTableSize=59049.0
4.80/2.69
5.10/2.70 num=32, depth=3..7, filters=46637, revisions=(53277,useless=6640), wck=0.251, mem=41M112
5.10/2.70 decisions=9007, wrong=4416, backtracks=2247, failedAssignments=2208, nogoods=164
5.10/2.70 nFilterCalls=12277, avgTableProportion=0.9999830651990744, avgTableSize=59049.0
5.10/2.70
5.10/2.72 num=33, depth=3..7, filters=51389, revisions=(58762,useless=7373), wck=0.268, mem=41M112
5.10/2.72 decisions=9939, wrong=4880, backtracks=2485, failedAssignments=2440, nogoods=169
5.10/2.72 nFilterCalls=13463, avgTableProportion=0.9999830651991171, avgTableSize=59049.0
5.10/2.72
5.10/2.74 num=34, depth=3..7, filters=56717, revisions=(64907,useless=8190), wck=0.286, mem=41M112
5.10/2.74 decisions=10963, wrong=5390, backtracks=2751, failedAssignments=2695, nogoods=180
5.10/2.74 nFilterCalls=14827, avgTableProportion=0.9999830651991576, avgTableSize=59049.0
5.10/2.74
5.10/2.76 num=35, depth=3..7, filters=62466, revisions=(71507,useless=9041), wck=0.304, mem=41M112
5.10/2.76 decisions=12092, wrong=5952, backtracks=3035, failedAssignments=2976, nogoods=189
5.10/2.76 nFilterCalls=16255, avgTableProportion=0.9999830651991928, avgTableSize=59049.0
5.10/2.76
5.10/2.78 num=36, depth=3..7, filters=68871, revisions=(78880,useless=10009), wck=0.324, mem=41M112
5.10/2.78 decisions=13333, wrong=6570, backtracks=3350, failedAssignments=3285, nogoods=196
5.10/2.78 nFilterCalls=17850, avgTableProportion=0.999983065199076, avgTableSize=59049.0
5.10/2.78
5.10/2.79 num=37, depth=3..7, filters=76019, revisions=(87178,useless=11159), wck=0.343, mem=41M112
5.10/2.79 decisions=14699, wrong=7250, backtracks=3695, failedAssignments=3625, nogoods=205
5.10/2.79 nFilterCalls=19581, avgTableProportion=0.9999830651989579, avgTableSize=59049.0
5.10/2.79
5.40/2.82 num=38, depth=3..7, filters=83860, revisions=(96303,useless=12443), wck=0.365, mem=41M112
5.40/2.82 decisions=16201, wrong=7998, backtracks=4078, failedAssignments=3999, nogoods=215
5.40/2.82 nFilterCalls=21527, avgTableProportion=0.9999830651988477, avgTableSize=59049.0
5.40/2.82
5.40/2.84 num=39, depth=3..7, filters=92260, revisions=(106051,useless=13791), wck=0.388, mem=43M670
5.40/2.84 decisions=17851, wrong=8820, backtracks=4496, failedAssignments=4410, nogoods=224
5.40/2.84 nFilterCalls=23631, avgTableProportion=0.9999830651987489, avgTableSize=59049.0
5.40/2.84
5.40/2.87 num=40, depth=2..7, filters=102214, revisions=(117656,useless=15442), wck=0.414, mem=43M670
5.40/2.87 decisions=19665, wrong=9724, backtracks=4972, failedAssignments=4862, nogoods=230
5.40/2.87 nFilterCalls=26123, avgTableProportion=0.9999830651986527, avgTableSize=59049.0
5.40/2.87
5.40/2.89 num=41, depth=2..7, filters=113178, revisions=(130426,useless=17248), wck=0.441, mem=43M670
5.40/2.89 decisions=21657, wrong=10718, backtracks=5484, failedAssignments=5359, nogoods=238
5.40/2.89 nFilterCalls=28766, avgTableProportion=0.9999830651985687, avgTableSize=59049.0
5.40/2.89
5.70/2.92 num=42, depth=2..7, filters=125136, revisions=(144394,useless=19258), wck=0.468, mem=43M670
5.70/2.92 decisions=23851, wrong=11812, backtracks=6046, failedAssignments=5906, nogoods=244
5.70/2.92 nFilterCalls=31697, avgTableProportion=0.999983065198492, avgTableSize=59049.0
5.70/2.92
5.70/2.95 num=43, depth=2..7, filters=138060, revisions=(159523,useless=21463), wck=0.498, mem=43M670
5.70/2.95 decisions=26265, wrong=13016, backtracks=6660, failedAssignments=6508, nogoods=251
5.70/2.95 nFilterCalls=34821, avgTableProportion=0.9999830651986389, avgTableSize=59049.0
5.70/2.95
5.70/2.98 num=44, depth=2..7, filters=152350, revisions=(176188,useless=23838), wck=0.53, mem=46M229
5.70/2.98 decisions=28919, wrong=14340, backtracks=7334, failedAssignments=7170, nogoods=259
5.70/2.98 nFilterCalls=38269, avgTableProportion=0.9999830651988856, avgTableSize=59049.0
5.70/2.98
6.04/3.01 num=45, depth=2..7, filters=168090, revisions=(194562,useless=26472), wck=0.561, mem=46M229
6.04/3.01 decisions=31837, wrong=15796, backtracks=8081, failedAssignments=7898, nogoods=267
6.04/3.01 nFilterCalls=42062, avgTableProportion=0.9999830651991103, avgTableSize=59049.0
6.04/3.01
6.04/3.04 num=46, depth=2..7, filters=185892, revisions=(215329,useless=29437), wck=0.589, mem=46M229
6.04/3.04 decisions=35044, wrong=17398, backtracks=8900, failedAssignments=8699, nogoods=278
6.04/3.04 nFilterCalls=46341, avgTableProportion=0.9999830651993196, avgTableSize=59049.0
6.04/3.04
6.04/3.07 num=47, depth=2..7, filters=204740, revisions=(237360,useless=32620), wck=0.619, mem=46M229
6.04/3.07 decisions=38574, wrong=19160, backtracks=9801, failedAssignments=9580, nogoods=291
6.04/3.07 nFilterCalls=50900, avgTableProportion=0.9999830651995039, avgTableSize=59049.0
6.04/3.07
6.04/3.10 num=48, depth=2..7, filters=225910, revisions=(262163,useless=36253), wck=0.653, mem=48M787
6.04/3.10 decisions=42458, wrong=21100, backtracks=10794, failedAssignments=10550, nogoods=298
6.04/3.10 nFilterCalls=56016, avgTableProportion=0.999983065199675, avgTableSize=59049.0
6.04/3.10
6.17/3.14 num=49, depth=2..7, filters=250059, revisions=(290504,useless=40445), wck=0.691, mem=48M787
6.17/3.14 decisions=46730, wrong=23234, backtracks=11889, failedAssignments=11617, nogoods=311
6.17/3.14 nFilterCalls=61694, avgTableProportion=0.9999830651998316, avgTableSize=59049.0
6.17/3.14
6.17/3.18 num=50, depth=2..7, filters=275123, revisions=(319570,useless=44447), wck=0.731, mem=48M787
6.17/3.18 decisions=51424, wrong=25579, backtracks=13083, failedAssignments=12790, nogoods=324
6.17/3.18 nFilterCalls=67785, avgTableProportion=0.9999830651997292, avgTableSize=59049.0
6.17/3.18
6.26/3.23 num=51, depth=2..7, filters=302697, revisions=(351752,useless=49055), wck=0.775, mem=48M787
6.26/3.23 decisions=56593, wrong=28161, backtracks=14416, failedAssignments=14081, nogoods=335
6.26/3.23 nFilterCalls=74573, avgTableProportion=0.999983065199217, avgTableSize=59049.0
6.26/3.23
6.26/3.28 num=52, depth=2..7, filters=334082, revisions=(388562,useless=54480), wck=0.824, mem=48M787
6.26/3.28 decisions=62279, wrong=31001, backtracks=15877, failedAssignments=15501, nogoods=345
6.26/3.28 nFilterCalls=82121, avgTableProportion=0.9999830651987468, avgTableSize=59049.0
6.26/3.28
6.37/3.33 num=53, depth=2..7, filters=368197, revisions=(428326,useless=60129), wck=0.877, mem=48M787
6.37/3.33 decisions=68533, wrong=34125, backtracks=17478, failedAssignments=17063, nogoods=359
6.37/3.33 nFilterCalls=90415, avgTableProportion=0.9999830651983206, avgTableSize=59049.0
6.37/3.33
6.37/3.39 num=54, depth=2..7, filters=405472, revisions=(471488,useless=66016), wck=0.934, mem=48M787
6.37/3.39 decisions=75410, wrong=37561, backtracks=19227, failedAssignments=18781, nogoods=371
6.37/3.39 nFilterCalls=99445, avgTableProportion=0.9999830651979374, avgTableSize=59049.0
6.37/3.39
6.47/3.45 num=55, depth=2..7, filters=446165, revisions=(519128,useless=72963), wck=0.998, mem=51M345
6.47/3.45 decisions=82974, wrong=41340, backtracks=21165, failedAssignments=20671, nogoods=385
6.47/3.45 nFilterCalls=109283, avgTableProportion=0.9999830651975921, avgTableSize=59049.0
6.47/3.45
6.57/3.52 num=56, depth=1..7, filters=494973, revisions=(576533,useless=81560), wck=1.071, mem=51M345
6.57/3.52 decisions=91295, wrong=45498, backtracks=23302, failedAssignments=22750, nogoods=394
6.57/3.52 nFilterCalls=120612, avgTableProportion=0.9999830651972642, avgTableSize=59049.0
6.57/3.52
6.67/3.60 num=57, depth=2..7, filters=544096, revisions=(633892,useless=89796), wck=1.148, mem=51M345
6.67/3.60 decisions=100448, wrong=50072, backtracks=25646, failedAssignments=25037, nogoods=407
6.67/3.60 nFilterCalls=132525, avgTableProportion=0.9999830651971391, avgTableSize=59049.0
6.67/3.60
6.67/3.68 num=58, depth=2..7, filters=598377, revisions=(697563,useless=99186), wck=1.233, mem=51M345
6.67/3.68 decisions=110517, wrong=55104, backtracks=28245, failedAssignments=27553, nogoods=423
6.67/3.68 nFilterCalls=145796, avgTableProportion=0.9999830651981871, avgTableSize=59049.0
6.67/3.68
6.77/3.78 num=59, depth=2..7, filters=659431, revisions=(768900,useless=109469), wck=1.328, mem=51M345
6.77/3.78 decisions=121595, wrong=60640, backtracks=31104, failedAssignments=30321, nogoods=436
6.77/3.78 nFilterCalls=160574, avgTableProportion=0.9999830651991503, avgTableSize=59049.0
6.77/3.78
6.90/3.89 num=60, depth=1..7, filters=729575, revisions=(852130,useless=122555), wck=1.436, mem=51M345
6.90/3.89 decisions=133777, wrong=66728, backtracks=34244, failedAssignments=33365, nogoods=444
6.90/3.89 nFilterCalls=176986, avgTableProportion=0.9999830652000314, avgTableSize=59049.0
6.90/3.89
7.02/4.00 num=61, depth=1..7, filters=807680, revisions=(944437,useless=136757), wck=1.553, mem=51M345
7.02/4.00 decisions=147178, wrong=73426, backtracks=37691, failedAssignments=36714, nogoods=450
7.02/4.00 nFilterCalls=195168, avgTableProportion=0.9999830652008347, avgTableSize=59049.0
7.02/4.00
7.23/4.13 num=62, depth=1..7, filters=890634, revisions=(1042442,useless=151808), wck=1.682, mem=51M345
7.23/4.13 decisions=161917, wrong=80793, backtracks=41519, failedAssignments=40398, nogoods=460
7.23/4.13 nFilterCalls=215015, avgTableProportion=0.9999830652015563, avgTableSize=59049.0
7.23/4.13
7.32/4.27 num=63, depth=1..7, filters=982773, revisions=(1151267,useless=168494), wck=1.822, mem=51M345
7.32/4.27 decisions=178129, wrong=88896, backtracks=45716, failedAssignments=44450, nogoods=464
7.32/4.27 nFilterCalls=236814, avgTableProportion=0.9999830652022096, avgTableSize=59049.0
7.32/4.27
7.52/4.43 num=64, depth=1..7, filters=1084129, revisions=(1271080,useless=186951), wck=1.976, mem=51M345
7.52/4.43 decisions=195963, wrong=97810, backtracks=50314, failedAssignments=48907, nogoods=476
7.52/4.43 nFilterCalls=260676, avgTableProportion=0.9999830652027994, avgTableSize=59049.0
7.52/4.43
7.73/4.60 num=65, depth=1..7, filters=1196670, revisions=(1404131,useless=207461), wck=2.146, mem=51M345
7.73/4.60 decisions=215578, wrong=107616, backtracks=55364, failedAssignments=53810, nogoods=484
7.73/4.60 nFilterCalls=287084, avgTableProportion=0.99998306520081, avgTableSize=59049.0
7.73/4.60
7.85/4.78 num=66, depth=1..7, filters=1318455, revisions=(1546987,useless=228532), wck=2.331, mem=51M345
7.85/4.78 decisions=237160, wrong=118404, backtracks=60902, failedAssignments=59204, nogoods=499
7.85/4.78 nFilterCalls=315857, avgTableProportion=0.9999830651988733, avgTableSize=59049.0
7.85/4.78
8.05/4.99 num=67, depth=1..7, filters=1454632, revisions=(1708062,useless=253430), wck=2.534, mem=53M903
8.05/4.99 decisions=260898, wrong=130270, backtracks=67005, failedAssignments=65137, nogoods=517
8.05/4.99 nFilterCalls=347705, avgTableProportion=0.9999830651971032, avgTableSize=59049.0
8.05/4.99
8.35/5.21 num=68, depth=1..7, filters=1601634, revisions=(1882342,useless=280708), wck=2.757, mem=53M903
8.35/5.21 decisions=286997, wrong=143317, backtracks=73738, failedAssignments=71663, nogoods=527
8.35/5.21 nFilterCalls=382546, avgTableProportion=0.9999830651955045, avgTableSize=59049.0
8.35/5.21
8.55/5.45 num=69, depth=1..7, filters=1763290, revisions=(2072486,useless=309196), wck=2.999, mem=53M903
8.55/5.45 decisions=315717, wrong=157675, backtracks=81140, failedAssignments=78842, nogoods=536
8.55/5.45 nFilterCalls=420827, avgTableProportion=0.9999830651940531, avgTableSize=59049.0
8.55/5.45
8.85/5.72 num=70, depth=1..7, filters=1941256, revisions=(2281961,useless=340705), wck=3.267, mem=53M903
8.85/5.72 decisions=347304, wrong=173466, backtracks=89258, failedAssignments=86739, nogoods=547
8.85/5.72 nFilterCalls=462894, avgTableProportion=0.999983065192735, avgTableSize=59049.0
8.85/5.72
9.16/6.01 num=71, depth=1..7, filters=2138266, revisions=(2513569,useless=375303), wck=3.559, mem=53M903
9.16/6.01 decisions=382058, wrong=190840, backtracks=98181, failedAssignments=95426, nogoods=558
9.16/6.01 nFilterCalls=509112, avgTableProportion=0.999983065191538, avgTableSize=59049.0
9.16/6.01
9.46/6.34 num=72, depth=1..7, filters=2359172, revisions=(2775626,useless=416454), wck=3.889, mem=53M903
9.46/6.34 decisions=420278, wrong=209948, backtracks=108036, failedAssignments=104981, nogoods=574
9.46/6.34 nFilterCalls=560880, avgTableProportion=0.9999830651904315, avgTableSize=59049.0
9.46/6.34
9.76/6.69 num=73, depth=1..7, filters=2594822, revisions=(3053230,useless=458408), wck=4.241, mem=56M461
9.76/6.69 decisions=462326, wrong=230970, backtracks=118858, failedAssignments=115492, nogoods=588
9.76/6.69 nFilterCalls=616750, avgTableProportion=0.9999830651894457, avgTableSize=59049.0
9.76/6.69
10.27/7.11 num=74, depth=0..7, filters=2871899, revisions=(3387821,useless=515922), wck=4.657, mem=56M461
10.27/7.11 decisions=508575, wrong=254092, backtracks=130862, failedAssignments=127054, nogoods=600
10.27/7.11 nFilterCalls=680857, avgTableProportion=0.9999830651885139, avgTableSize=59049.0
10.27/7.11
10.67/7.55 num=75, depth=1..7, filters=3162785, revisions=(3731004,useless=568219), wck=5.095, mem=56M461
10.67/7.55 decisions=559453, wrong=279528, backtracks=143989, failedAssignments=139772, nogoods=611
10.67/7.55 nFilterCalls=749729, avgTableProportion=0.9999830651876903, avgTableSize=59049.0
10.67/7.55
11.17/8.04 num=76, depth=0..7, filters=3494341, revisions=(4129561,useless=635220), wck=5.592, mem=56M461
11.17/8.04 decisions=615413, wrong=307505, backtracks=158437, failedAssignments=153762, nogoods=619
11.17/8.04 nFilterCalls=826809, avgTableProportion=0.9999830651869314, avgTableSize=59049.0
11.17/8.04
11.77/8.61 num=77, depth=0..7, filters=3874782, revisions=(4584648,useless=709866), wck=6.154, mem=59M19
11.77/8.61 decisions=676971, wrong=338281, backtracks=174356, failedAssignments=169151, nogoods=626
11.77/8.61 nFilterCalls=913695, avgTableProportion=0.9999830651862294, avgTableSize=59049.0
11.77/8.61
12.37/9.20 num=78, depth=1..7, filters=4279606, revisions=(5067040,useless=787434), wck=6.753, mem=59M19
12.37/9.20 decisions=744687, wrong=372137, backtracks=191853, failedAssignments=186079, nogoods=643
12.37/9.20 nFilterCalls=1006996, avgTableProportion=0.9999830651856104, avgTableSize=59049.0
12.37/9.20
12.97/9.88 num=79, depth=0..7, filters=4736750, revisions=(5617586,useless=880836), wck=7.432, mem=59M19
12.97/9.88 decisions=819164, wrong=409374, backtracks=211238, failedAssignments=204700, nogoods=662
12.97/9.88 nFilterCalls=1111568, avgTableProportion=0.9999830651916355, avgTableSize=59049.0
12.97/9.88
13.78/10.65 num=80, depth=0..7, filters=5267370, revisions=(6251857,useless=984487), wck=8.198, mem=61M577
13.78/10.65 decisions=901106, wrong=450343, backtracks=232420, failedAssignments=225184, nogoods=679
13.78/10.65 nFilterCalls=1229725, avgTableProportion=0.9999830652016598, avgTableSize=59049.0
13.78/10.65
14.58/11.49 num=81, depth=0..7, filters=5835312, revisions=(6930006,useless=1094694), wck=9.038, mem=61M577
14.58/11.49 decisions=991230, wrong=495403, backtracks=255873, failedAssignments=247716, nogoods=687
14.58/11.49 nFilterCalls=1359577, avgTableProportion=0.9999830652106668, avgTableSize=59049.0
14.58/11.49
15.48/12.38 num=82, depth=0..7, filters=6438513, revisions=(7645740,useless=1207227), wck=9.932, mem=64M135
15.48/12.38 decisions=1090366, wrong=544969, backtracks=281580, failedAssignments=272501, nogoods=697
15.48/12.38 nFilterCalls=1499908, avgTableProportion=0.9999830652186472, avgTableSize=59049.0
15.48/12.38
16.49/13.38 num=83, depth=0..7, filters=7129802, revisions=(8474095,useless=1344293), wck=10.924, mem=64M135
16.49/13.38 decisions=1183384, wrong=591479, backtracks=305829, failedAssignments=295759, nogoods=697
16.49/13.38 nFilterCalls=1649567, avgTableProportion=0.9999830652256619, avgTableSize=59049.0
16.49/13.38
16.49/13.38 Global
16.49/13.38 filters=7129802, revisions=(8474095,useless=1344293), nogoods=697
16.49/13.38 Stop=FULL_EXPLORATION, wrong=591479, wck=11.539, cpu=13.331, mem=64M135
16.49/13.38
16.49/13.38 s UNSATISFIABLE
16.49/13.38
16.49/13.38 d WRONG_DECISIONS 591479
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 (14703 MiB free)
memory of node 1: 16384 MiB (15436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390529-1568383752/watcher-4390529-1568383752 -o /tmp/evaluation-result-4390529-1568383752/solver-4390529-1568383752 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390529-1568383752.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6902, runsolver pid=6899
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.98 1.95 1.88 5/228 6917
/proc/meminfo: memFree=30847640/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10659884 memory=27680 CPUtime=0.14 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 5434 0 0 0 13 1 0 0 20 0 15 0 414646666 10915721216 6920 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2664971 6920 2911 1 0 2627468 0
[pid=6902/tid=6904] ppid=6899 vsize=10659884 memory=-8413716295845056867 CPUtime=0.1 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) R 6899 6902 5027 0 -1 4202560 3202 0 0 0 9 1 0 0 20 0 15 0 414646667 10915721216 7052 33554432000 4194304 4196468 140720570057936 139686424331960 139686412340030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10659884 memory=5793855665402669497 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 7052 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 7052 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 7052 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 7052 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 7052 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 7052 33554432000 4194304 4196468 140720570057936 139685978223904 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 7052 33554432000 4194304 4196468 140720570057936 139685977171568 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 7052 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 7052 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 5027 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 7052 33554432000 4194304 4196468 140720570057936 139685974013936 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0.02 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) R 6899 6902 5027 0 -1 4202560 533 0 0 0 2 0 0 0 20 0 15 0 414646672 10915721216 7118 33554432000 4194304 4196468 140720570057936 139685972958456 139686398906215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 7118 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 7118 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27680 KiB
[startup+0.210701 s]*
/proc/loadavg: 1.98 1.95 1.88 3/228 6917
/proc/meminfo: memFree=30836560/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10659884 memory=37456 CPUtime=0.32 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 9099 0 0 0 30 2 0 0 20 0 15 0 414646666 10915721216 9364 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2664971 9364 2989 1 0 2627468 0
[pid=6902/tid=6904] ppid=6899 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) R 6899 6902 5027 0 -1 4202560 6078 0 0 0 18 2 0 0 20 0 15 0 414646667 10915721216 9364 33554432000 4194304 4196468 140720570057936 139686424329264 139686420124829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10659884 memory=4211974140597566858 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 9364 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 9364 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 9364 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 9364 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685978223904 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685977171568 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 15 0 414646672 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 5027 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 15 0 414646672 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685974013936 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0.05 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 756 0 0 0 5 0 0 0 20 0 15 0 414646672 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 9364 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37456 KiB
[startup+0.310188 s]*
/proc/loadavg: 1.98 1.95 1.88 3/228 6917
/proc/meminfo: memFree=30834760/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10659884 memory=40260 CPUtime=0.47 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 9323 0 0 0 44 3 0 0 20 0 15 0 414646666 10915721216 10065 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2664971 10065 3029 1 0 2627468 0
[pid=6902/tid=6904] ppid=6899 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) R 6899 6902 5027 0 -1 4202560 6225 0 0 0 28 2 0 0 20 0 15 0 414646667 10915721216 10065 33554432000 4194304 4196468 140720570057936 139686424325584 139686420113109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10659884 memory=4211974140597566858 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 10065 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10659884 memory=140414392781347 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 10065 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10659884 memory=140414292180429 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 10065 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10659884 memory=140414292184527 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646667 10915721216 10065 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10659884 memory=140414392781378 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10659884 memory=140414292193711 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685978223904 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10659884 memory=280828584378256 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414646669 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685977171568 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10659884 memory=280828584375952 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) R 6899 6902 5027 0 -1 1077944384 534 0 0 0 4 0 0 0 20 0 15 0 414646672 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685975066832 139686420113109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) R 6899 6902 5027 0 -1 4202560 422 0 0 0 3 0 0 0 20 0 15 0 414646672 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685974005440 139686405520962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0.08 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 785 0 0 0 8 0 0 0 20 0 15 0 414646672 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10659884 memory=140414392776320 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646672 10915721216 10065 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40260 KiB
[startup+0.700774 s]
/proc/loadavg: 1.98 1.95 1.88 3/228 6917
/proc/meminfo: memFree=30824008/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10661932 memory=63632 CPUtime=1.11 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 12940 0 0 0 106 5 0 0 20 0 15 0 414646666 10917818368 15908 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2665483 15908 3066 1 0 2627980 0
[pid=6902/tid=6904] ppid=6899 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) R 6899 6902 5027 0 -1 4202560 8776 0 0 0 64 4 0 0 20 0 15 0 414646667 10917818368 15908 33554432000 4194304 4196468 140720570057936 139686424334928 139686404183390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10917818368 15908 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10917818368 15908 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10917818368 15908 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646667 10917818368 15908 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10661932 memory=5788626802952987989 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646669 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414646669 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685978223904 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414646669 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685977171568 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10661932 memory=347 CPUtime=0.11 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 808 0 0 0 11 0 0 0 20 0 15 0 414646672 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10661932 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) R 6899 6902 5027 0 -1 4202560 742 0 0 0 11 0 0 0 20 0 15 0 414646672 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685974013936 139686405229254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10661932 memory=26466 CPUtime=0.18 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 1255 0 0 0 18 0 0 0 20 0 15 0 414646672 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10661932 memory=280828584562160 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414646672 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646672 10917818368 15908 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63632 KiB
[startup+1.50077 s]
/proc/loadavg: 1.98 1.95 1.88 3/228 6917
/proc/meminfo: memFree=30807568/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10663980 memory=75788 CPUtime=2 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 18611 0 0 0 194 6 0 0 20 0 15 0 414646666 10919915520 18947 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2665995 18947 3096 1 0 2628492 0
[pid=6902/tid=6904] ppid=6899 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) R 6899 6902 5027 0 -1 4202560 13041 0 0 0 143 5 0 0 20 0 15 0 414646667 10919915520 18947 33554432000 4194304 4196468 140720570057936 139686424328784 139686404183390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10919915520 18947 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10919915520 18947 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10663980 memory=-6305718316746564224 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414646667 10919915520 18947 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10663980 memory=4947368707587677824 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414646667 10919915520 18947 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10663980 memory=-6152018833316603489 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414646669 10919915520 18947 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
################
# More data... #
################
[pid=6902/tid=6905] ppid=6899 vsize=10746276 memory=2308 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10746276 memory=2958613 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10746276 memory=3472468543288386242 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10746276 memory=-7533522213388100735 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 16 0 414646669 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10746276 memory=257972 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685978223968 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685977171584 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10746276 memory=280828584474416 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10746276 memory=3620 CPUtime=1.27 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 5553 0 0 0 127 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10746276 memory=22180 CPUtime=1.28 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 5027 0 -1 1077944384 5525 0 0 0 128 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685974013936 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10746276 memory=280828584348736 CPUtime=0.54 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10746276 memory=280828584476904 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10746276 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 984 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6918] ppid=6899 vsize=10746276 memory=0 CPUtime=10.78 cores=1,3,5,7
/proc/6902/task/6918/stat : 6918 (java) R 6899 6902 5027 0 -1 4202560 5168 0 0 0 1075 3 0 0 20 0 16 0 414646853 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685886088048 139686049192951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 15.88 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 254464 KiB
[startup+13.3883 s]
# the end of solver process 6902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.4269 s, system=0.157574 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 1.91 1.94 1.88 3/229 6918
/proc/meminfo: memFree=30619428/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10746276 memory=254464 CPUtime=15.98 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 38384 0 0 0 1583 15 0 0 20 0 16 0 414646666 11004186624 63616 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2686569 63616 3352 1 0 2646705 0
[pid=6902/tid=6904] ppid=6899 vsize=10746276 memory=140414292073673 CPUtime=1.85 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) S 6899 6902 5027 0 -1 1077944384 15268 0 0 0 179 6 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686424345776 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10746276 memory=3472328296227685345 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10746276 memory=3472328296227683137 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10746276 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10746276 memory=1548 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63616 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10746276 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 16 0 414646669 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10746276 memory=744 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685978223968 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10746276 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685977171584 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10746276 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10746276 memory=1124 CPUtime=1.27 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 5553 0 0 0 127 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10746276 memory=14008 CPUtime=1.28 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 5027 0 -1 1077944384 5525 0 0 0 128 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685974013936 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10746276 memory=11928 CPUtime=0.54 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10746276 memory=254460 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10746276 memory=257972 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 984 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6918] ppid=6899 vsize=10746276 memory=3547066107849880167 CPUtime=10.88 cores=1,3,5,7
/proc/6902/task/6918/stat : 6918 (java) R 6899 6902 5027 0 -1 4202560 5168 0 0 0 1085 3 0 0 20 0 16 0 414646853 11004186624 63616 33554432000 4194304 4196468 140720570057936 139685886088048 139686049678818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 15.98 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 254464 KiB
[startup+13.2006 s]
/proc/loadavg: 1.92 1.94 1.88 4/229 6918
/proc/meminfo: memFree=30619148/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10746276 memory=254476 CPUtime=16.39 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 38803 0 0 0 1624 15 0 0 20 0 16 0 414646666 11004186624 63619 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2686569 63619 3352 1 0 2646705 0
[pid=6902/tid=6904] ppid=6899 vsize=10746276 memory=288230621803970871 CPUtime=1.85 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) S 6899 6902 5027 0 -1 1077944384 15268 0 0 0 179 6 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686424345776 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10746276 memory=14133350919046965 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10746276 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10746276 memory=6943526294502006880 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10746276 memory=6944656592455360604 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10746276 memory=3054355819557830759 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 16 0 414646669 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10746276 memory=-7966001967340291680 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685978223968 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10746276 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685977171584 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10746276 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10746276 memory=6944656592455359580 CPUtime=1.27 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 5553 0 0 0 127 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10746276 memory=6944656592387989600 CPUtime=1.29 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 5027 0 -1 1077944384 5938 0 0 0 129 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685974013936 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10746276 memory=7014187521842898532 CPUtime=0.54 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10746276 memory=280828584869280 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 984 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6918] ppid=6899 vsize=10746276 memory=2241 CPUtime=11.28 cores=1,3,5,7
/proc/6902/task/6918/stat : 6918 (java) R 6899 6902 5027 0 -1 4202560 5174 0 0 0 1125 3 0 0 20 0 16 0 414646853 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685886088048 139686049192163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 254476 KiB
[startup+13.3006 s]
/proc/loadavg: 1.92 1.94 1.88 4/229 6918
/proc/meminfo: memFree=30619148/32770624 swapFree=66934504/67108860
[pid=6902] ppid=6899 vsize=10746276 memory=254476 CPUtime=16.49 cores=1,3,5,7
/proc/6902/stat : 6902 (java) S 6899 6902 5027 0 -1 1077944320 38803 0 0 0 1634 15 0 0 20 0 16 0 414646666 11004186624 63619 33554432000 4194304 4196468 140720570057936 140720570040480 139686420102903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
/proc/6902/statm: 2686569 63619 3352 1 0 2646705 0
[pid=6902/tid=6904] ppid=6899 vsize=10746276 memory=185 CPUtime=1.85 cores=1,3,5,7
/proc/6902/task/6904/stat : 6904 (java) S 6899 6902 5027 0 -1 1077944384 15268 0 0 0 179 6 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686424345776 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6905] ppid=6899 vsize=10746276 memory=2308 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6905/stat : 6905 (java) S 6899 6902 5027 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686372723088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6906] ppid=6899 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6906/stat : 6906 (java) S 6899 6902 5027 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686371670288 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6907] ppid=6899 vsize=10746276 memory=2958613 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6907/stat : 6907 (java) S 6899 6902 5027 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686370618000 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6908] ppid=6899 vsize=10746276 memory=3472468543288386242 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6908/stat : 6908 (java) S 6899 6902 5027 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 16 0 414646667 11004186624 63619 33554432000 4194304 4196468 140720570057936 139686369565200 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6909] ppid=6899 vsize=10746276 memory=-7533522213388100735 CPUtime=0.01 cores=1,3,5,7
/proc/6902/task/6909/stat : 6909 (java) S 6899 6902 5027 0 -1 1077944384 1216 0 0 0 1 0 0 0 20 0 16 0 414646669 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685979277936 139686420114050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6910] ppid=6899 vsize=10746276 memory=257972 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (java) S 6899 6902 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685978223968 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6911] ppid=6899 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6911/stat : 6911 (java) S 6899 6902 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414646669 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685977171584 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6912] ppid=6899 vsize=10746276 memory=280828584474416 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6912/stat : 6912 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685976119888 139686420121499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6913] ppid=6899 vsize=10746276 memory=3620 CPUtime=1.27 cores=1,3,5,7
/proc/6902/task/6913/stat : 6913 (java) S 6899 6902 5027 0 -1 1077944384 5553 0 0 0 127 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685975066736 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6914] ppid=6899 vsize=10746276 memory=22180 CPUtime=1.29 cores=1,3,5,7
/proc/6902/task/6914/stat : 6914 (java) S 6899 6902 5027 0 -1 1077944384 5938 0 0 0 129 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685974013936 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6915] ppid=6899 vsize=10746276 memory=280828584348736 CPUtime=0.54 cores=1,3,5,7
/proc/6902/task/6915/stat : 6915 (java) S 6899 6902 5027 0 -1 1077944384 3000 0 0 0 54 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685972961648 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6916] ppid=6899 vsize=10746276 memory=280828584658768 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6916/stat : 6916 (java) S 6899 6902 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685971909088 139686420113109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6917] ppid=6899 vsize=10746276 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6917/stat : 6917 (java) S 6899 6902 5027 0 -1 1077944384 984 0 0 0 0 0 0 0 20 0 16 0 414646672 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685970856880 139686420114050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
[pid=6902/tid=6918] ppid=6899 vsize=10746276 memory=6944656592387989600 CPUtime=11.38 cores=1,3,5,7
/proc/6902/task/6918/stat : 6918 (java) R 6899 6902 5027 0 -1 4202560 5174 0 0 0 1135 3 0 0 20 0 16 0 414646853 11004186624 63619 33554432000 4194304 4196468 140720570057936 139685886088048 139686049191243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26918912 140720570065931 140720570066034 140720570066034 140720570068943 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 254476 KiB
Child status: 0
Real time (s): 13.3884
CPU time (s): 16.5845
CPU user time (s): 16.4269
CPU system time (s): 0.157574
CPU usage (%): 123.872
Max. virtual memory (cumulated for all children) (KiB): 10747300
Max. memory (cumulated for all children) (KiB): 263148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4269
system time used= 0.157574
maximum resident set size= 263212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39722
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= 2697
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 6902
# total CPU time (s): 16.5845
# total CPU user time (s): 16.4269
# total CPU system time (s): 0.157574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110942 second user time and 0.157762 second system time
The end