2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
2.94/2.02 Instance
2.94/2.02 name=instance-4390548-1568380590, framework=CSP
2.94/2.02
2.94/2.02 Loading variables...
2.94/2.05 Loading constraints...
3.19/2.19
3.19/2.19 Domains
3.19/2.19 nTypes=1, nValues=300, sizes=[2#150]
3.19/2.19 Variables
3.19/2.19 count=150, degrees=[2#150]
3.19/2.19 Constraints
3.19/2.19 count=100, nSpecific=100, arities=[3#100]
3.19/2.19 distribution=[CtrExtensionCT-Table#100]
3.19/2.19 tables=[4#100], nTotalTuples=400
3.19/2.19 nExtStructures=(2,shared:98)
3.19/2.19 wck=0.251, cpu=2.064, mem=21M227
3.19/2.19 Solver SolverBacktrack being built...
3.19/2.19
3.19/2.19
3.19/2.19 Solver
3.19/2.19 guaranteedGAC=true
3.19/2.19 wck=0.286, cpu=2.098, mem=34M512
3.19/2.19
3.19/2.19 Preprocessing
3.19/2.19 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.19/2.19 wck=0.001, cpu=2.1, mem=34M512
3.19/2.19
3.19/2.19 num=0, depth=41..45, filters=178, wck=0.011, mem=34M512
3.19/2.19 decisions=81, wrong=20, backtracks=14, failedAssignments=10, nogoods=2
3.19/2.19 nFilterCalls=393, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=1, depth=55..60, filters=393, wck=0.016, mem=34M512
3.19/2.19 decisions=180, wrong=42, backtracks=29, failedAssignments=21, nogoods=3
3.19/2.19 nFilterCalls=748, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=2, depth=52..59, filters=639, wck=0.02, mem=34M512
3.19/2.19 decisions=280, wrong=66, backtracks=46, failedAssignments=33, nogoods=4
3.19/2.19 nFilterCalls=1133, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=3, depth=19..41, filters=788, wck=0.022, mem=34M512
3.19/2.19 decisions=370, wrong=92, backtracks=59, failedAssignments=46, nogoods=6
3.19/2.19 nFilterCalls=1404, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=4, depth=16..41, filters=960, wck=0.024, mem=34M512
3.19/2.19 decisions=456, wrong=120, backtracks=73, failedAssignments=60, nogoods=8
3.19/2.19 nFilterCalls=1680, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=5, depth=11..48, filters=1201, wck=0.027, mem=34M512
3.19/2.19 decisions=564, wrong=152, backtracks=91, failedAssignments=76, nogoods=11
3.19/2.19 nFilterCalls=2064, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=6, depth=20..31, filters=1398, wck=0.029, mem=34M512
3.19/2.19 decisions=652, wrong=186, backtracks=112, failedAssignments=93, nogoods=13
3.19/2.19 nFilterCalls=2363, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=7, depth=41..47, filters=1687, wck=0.032, mem=34M512
3.19/2.19 decisions=769, wrong=224, backtracks=140, failedAssignments=112, nogoods=15
3.19/2.19 nFilterCalls=2798, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=8, depth=26..54, filters=2021, wck=0.035, mem=34M512
3.19/2.19 decisions=901, wrong=266, backtracks=167, failedAssignments=133, nogoods=20
3.19/2.19 nFilterCalls=3299, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=9, depth=41..50, filters=2388, wck=0.038, mem=34M512
3.19/2.19 decisions=1034, wrong=312, backtracks=199, failedAssignments=156, nogoods=21
3.19/2.19 nFilterCalls=3834, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=10, depth=37..50, filters=2791, wck=0.041, mem=34M512
3.19/2.19 decisions=1176, wrong=362, backtracks=234, failedAssignments=181, nogoods=25
3.19/2.19 nFilterCalls=4418, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=11, depth=35..48, filters=3211, wck=0.043, mem=34M512
3.19/2.19 decisions=1325, wrong=418, backtracks=270, failedAssignments=209, nogoods=28
3.19/2.19 nFilterCalls=4996, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=12, depth=35..55, filters=3661, wck=0.046, mem=34M512
3.19/2.19 decisions=1500, wrong=480, backtracks=313, failedAssignments=240, nogoods=31
3.19/2.19 nFilterCalls=5647, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=13, depth=26..56, filters=4155, wck=0.049, mem=34M512
3.19/2.19 decisions=1684, wrong=548, backtracks=356, failedAssignments=274, nogoods=34
3.19/2.19 nFilterCalls=6347, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.20 num=14, depth=28..54, filters=4718, wck=0.065, mem=34M512
3.19/2.20 decisions=1875, wrong=622, backtracks=408, failedAssignments=311, nogoods=37
3.19/2.20 nFilterCalls=7124, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.20
3.45/2.20 num=15, depth=34..49, filters=5273, wck=0.067, mem=34M512
3.45/2.20 decisions=2075, wrong=704, backtracks=467, failedAssignments=352, nogoods=39
3.45/2.20 nFilterCalls=7889, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.20
3.45/2.20 num=16, depth=41..51, filters=5882, wck=0.07, mem=34M512
3.45/2.20 decisions=2296, wrong=794, backtracks=533, failedAssignments=397, nogoods=41
3.45/2.20 nFilterCalls=8739, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.20
3.45/2.20 num=17, depth=33..55, filters=6805, wck=0.072, mem=34M512
3.45/2.20 decisions=2544, wrong=893, backtracks=600, failedAssignments=447, nogoods=45
3.45/2.20 nFilterCalls=9945, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.20
3.45/2.21 num=18, depth=42..52, filters=7738, wck=0.075, mem=34M512
3.45/2.21 decisions=2806, wrong=1003, backtracks=681, failedAssignments=502, nogoods=49
3.45/2.21 nFilterCalls=11163, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.21
3.45/2.21 num=19, depth=13..44, filters=8405, wck=0.077, mem=34M512
3.45/2.21 decisions=3077, wrong=1125, backtracks=757, failedAssignments=563, nogoods=52
3.45/2.21 nFilterCalls=12101, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.21
3.45/2.21 num=20, depth=16..54, filters=9867, wck=0.081, mem=34M512
3.45/2.21 decisions=3390, wrong=1259, backtracks=857, failedAssignments=630, nogoods=57
3.45/2.21 nFilterCalls=13889, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.21
3.45/2.21 num=21, depth=27..39, filters=10820, wck=0.084, mem=34M512
3.45/2.21 decisions=3716, wrong=1407, backtracks=963, failedAssignments=704, nogoods=61
3.45/2.21 nFilterCalls=15134, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.21
3.45/2.22 num=22, depth=21..56, filters=12092, wck=0.087, mem=37M154
3.45/2.22 decisions=4087, wrong=1569, backtracks=1070, failedAssignments=785, nogoods=66
3.45/2.22 nFilterCalls=16780, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.22
3.45/2.22 num=23, depth=21..55, filters=13390, wck=0.091, mem=37M154
3.45/2.22 decisions=4491, wrong=1747, backtracks=1194, failedAssignments=874, nogoods=70
3.45/2.22 nFilterCalls=18479, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.22
3.45/2.23 num=24, depth=44..52, filters=15410, wck=0.095, mem=37M154
3.45/2.23 decisions=4928, wrong=1943, backtracks=1339, failedAssignments=972, nogoods=75
3.45/2.23 nFilterCalls=20930, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.23
3.45/2.23 num=25, depth=39..50, filters=17647, wck=0.098, mem=37M154
3.45/2.23 decisions=5400, wrong=2159, backtracks=1495, failedAssignments=1080, nogoods=78
3.45/2.23 nFilterCalls=23639, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.23
3.45/2.23 num=26, depth=19..49, filters=19239, wck=0.102, mem=37M154
3.45/2.23 decisions=5918, wrong=2397, backtracks=1663, failedAssignments=1199, nogoods=81
3.45/2.23 nFilterCalls=25732, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.23
3.45/2.24 num=27, depth=22..54, filters=21006, wck=0.105, mem=37M154
3.45/2.24 decisions=6488, wrong=2659, backtracks=1851, failedAssignments=1330, nogoods=87
3.45/2.24 nFilterCalls=28034, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.24
3.45/2.24 num=28, depth=43..53, filters=23396, wck=0.109, mem=37M154
3.45/2.24 decisions=7107, wrong=2947, backtracks=2063, failedAssignments=1474, nogoods=88
3.45/2.24 nFilterCalls=30982, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.24
3.45/2.24 num=29, depth=39..53, filters=26020, wck=0.113, mem=37M154
3.45/2.24 decisions=7781, wrong=3263, backtracks=2295, failedAssignments=1632, nogoods=92
3.45/2.24 nFilterCalls=34257, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.24
3.45/2.25 num=30, depth=38..49, filters=28989, wck=0.118, mem=37M154
3.45/2.25 decisions=8513, wrong=3610, backtracks=2554, failedAssignments=1806, nogoods=96
3.45/2.25 nFilterCalls=37951, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.25
3.45/2.25 num=31, depth=33..56, filters=32455, wck=0.123, mem=37M154
3.45/2.25 decisions=9322, wrong=3992, backtracks=2837, failedAssignments=1997, nogoods=99
3.45/2.25 nFilterCalls=42196, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.25
3.45/2.26 num=32, depth=32..55, filters=35113, wck=0.128, mem=37M154
3.45/2.26 decisions=10215, wrong=4414, backtracks=3147, failedAssignments=2208, nogoods=103
3.45/2.26 nFilterCalls=45661, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.26
3.45/2.26 num=33, depth=41..53, filters=38426, wck=0.133, mem=37M154
3.45/2.26 decisions=11190, wrong=4878, backtracks=3492, failedAssignments=2440, nogoods=105
3.45/2.26 nFilterCalls=49860, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.26
3.45/2.27 num=34, depth=18..54, filters=41855, wck=0.139, mem=37M154
3.45/2.27 decisions=12254, wrong=5388, backtracks=3857, failedAssignments=2695, nogoods=111
3.45/2.27 nFilterCalls=54259, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.27
3.45/2.27 num=35, depth=40..53, filters=46984, wck=0.145, mem=37M154
3.45/2.27 decisions=13424, wrong=5950, backtracks=4254, failedAssignments=2976, nogoods=116
3.45/2.27 nFilterCalls=60403, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.27
3.45/2.28 num=36, depth=35..56, filters=50892, wck=0.151, mem=37M154
3.45/2.28 decisions=14697, wrong=6568, backtracks=4705, failedAssignments=3285, nogoods=120
3.45/2.28 nFilterCalls=65431, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.28
3.45/2.29 num=37, depth=41..53, filters=56699, wck=0.157, mem=37M154
3.45/2.29 decisions=16102, wrong=7248, backtracks=5190, failedAssignments=3625, nogoods=126
3.45/2.29 nFilterCalls=72415, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.29
3.45/2.29 num=38, depth=33..56, filters=61674, wck=0.164, mem=37M154
3.45/2.29 decisions=17642, wrong=7996, backtracks=5730, failedAssignments=3999, nogoods=132
3.45/2.29 nFilterCalls=78719, avgTableProportion=0.75, avgTableSize=3.0
3.45/2.29
3.77/2.30 num=39, depth=38..57, filters=67575, wck=0.171, mem=37M154
3.77/2.30 decisions=19329, wrong=8818, backtracks=6313, failedAssignments=4410, nogoods=136
3.77/2.30 nFilterCalls=86046, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.30
3.77/2.31 num=40, depth=38..54, filters=74565, wck=0.179, mem=37M154
3.77/2.31 decisions=21179, wrong=9722, backtracks=6973, failedAssignments=4862, nogoods=142
3.77/2.31 nFilterCalls=94738, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.31
3.77/2.32 num=41, depth=10..57, filters=81802, wck=0.188, mem=37M154
3.77/2.32 decisions=23206, wrong=10716, backtracks=7699, failedAssignments=5359, nogoods=147
3.77/2.32 nFilterCalls=103863, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.32
3.77/2.33 num=42, depth=20..56, filters=89456, wck=0.197, mem=37M154
3.77/2.33 decisions=25441, wrong=11810, backtracks=8513, failedAssignments=5906, nogoods=152
3.77/2.33 nFilterCalls=113478, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.33
3.77/2.34 num=43, depth=20..56, filters=98339, wck=0.206, mem=37M154
3.77/2.34 decisions=27895, wrong=13014, backtracks=9400, failedAssignments=6508, nogoods=158
3.77/2.34 nFilterCalls=124564, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.34
3.77/2.35 num=44, depth=20..57, filters=106617, wck=0.216, mem=37M154
3.77/2.35 decisions=30590, wrong=14338, backtracks=10302, failedAssignments=7170, nogoods=165
3.77/2.35 nFilterCalls=135288, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.35
3.77/2.36 num=45, depth=41..54, filters=117838, wck=0.227, mem=37M154
3.77/2.36 decisions=33548, wrong=15794, backtracks=11362, failedAssignments=7898, nogoods=171
3.77/2.36 nFilterCalls=149011, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.36
3.77/2.37 num=46, depth=11..55, filters=130197, wck=0.239, mem=37M154
3.77/2.37 decisions=36794, wrong=17396, backtracks=12543, failedAssignments=8699, nogoods=178
3.77/2.37 nFilterCalls=164320, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.37
3.77/2.38 num=47, depth=33..55, filters=145504, wck=0.252, mem=37M154
3.77/2.38 decisions=40355, wrong=19157, backtracks=13824, failedAssignments=9580, nogoods=184
3.77/2.38 nFilterCalls=182817, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.38
3.77/2.40 num=48, depth=38..54, filters=161161, wck=0.265, mem=37M154
3.77/2.40 decisions=44277, wrong=21097, backtracks=15274, failedAssignments=10550, nogoods=189
3.77/2.40 nFilterCalls=202099, avgTableProportion=0.75, avgTableSize=3.0
3.77/2.40
4.07/2.41 num=49, depth=26..55, filters=177596, wck=0.28, mem=37M154
4.07/2.41 decisions=48587, wrong=23230, backtracks=16846, failedAssignments=11617, nogoods=194
4.07/2.41 nFilterCalls=222370, avgTableProportion=0.75, avgTableSize=3.0
4.07/2.41
4.07/2.42 num=50, depth=35..54, filters=194980, wck=0.295, mem=37M154
4.07/2.42 decisions=53316, wrong=25576, backtracks=18569, failedAssignments=12790, nogoods=201
4.07/2.42 nFilterCalls=243814, avgTableProportion=0.75, avgTableSize=3.0
4.07/2.42
4.07/2.44 num=51, depth=21..57, filters=212734, wck=0.31, mem=37M154
4.07/2.44 decisions=58524, wrong=28158, backtracks=20454, failedAssignments=14081, nogoods=211
4.07/2.44 nFilterCalls=266053, avgTableProportion=0.75, avgTableSize=3.0
4.07/2.44
4.07/2.46 num=52, depth=27..57, filters=237891, wck=0.329, mem=37M154
4.07/2.46 decisions=64251, wrong=30998, backtracks=22556, failedAssignments=15501, nogoods=218
4.07/2.46 nFilterCalls=296426, avgTableProportion=0.75, avgTableSize=3.0
4.07/2.46
4.07/2.48 num=53, depth=34..57, filters=262042, wck=0.348, mem=37M154
4.07/2.48 decisions=70543, wrong=34122, backtracks=24857, failedAssignments=17063, nogoods=224
4.07/2.48 nFilterCalls=325984, avgTableProportion=0.75, avgTableSize=3.0
4.07/2.48
4.22/2.50 num=54, depth=13..56, filters=286715, wck=0.369, mem=37M154
4.22/2.50 decisions=77460, wrong=37558, backtracks=27341, failedAssignments=18781, nogoods=229
4.22/2.50 nFilterCalls=356543, avgTableProportion=0.75, avgTableSize=3.0
4.22/2.50
4.22/2.52 num=55, depth=13..55, filters=316147, wck=0.392, mem=37M154
4.22/2.52 decisions=85062, wrong=41338, backtracks=30104, failedAssignments=20671, nogoods=238
4.22/2.52 nFilterCalls=392530, avgTableProportion=0.75, avgTableSize=3.0
4.22/2.52
4.22/2.55 num=56, depth=28..56, filters=346738, wck=0.417, mem=39M797
4.22/2.55 decisions=93424, wrong=45496, backtracks=33115, failedAssignments=22750, nogoods=244
4.22/2.55 nFilterCalls=430231, avgTableProportion=0.75, avgTableSize=3.0
4.22/2.55
4.22/2.57 num=57, depth=36..51, filters=381285, wck=0.445, mem=39M797
4.22/2.57 decisions=102610, wrong=50069, backtracks=36485, failedAssignments=25037, nogoods=248
4.22/2.57 nFilterCalls=472732, avgTableProportion=0.75, avgTableSize=3.0
4.22/2.57
4.34/2.61 num=58, depth=39..55, filters=424706, wck=0.477, mem=39M797
4.34/2.61 decisions=112722, wrong=55101, backtracks=40195, failedAssignments=27553, nogoods=252
4.34/2.61 nFilterCalls=525308, avgTableProportion=0.75, avgTableSize=3.0
4.34/2.61
4.34/2.64 num=59, depth=17..58, filters=463862, wck=0.509, mem=39M797
4.34/2.64 decisions=123831, wrong=60633, backtracks=44145, failedAssignments=30321, nogoods=262
4.34/2.64 nFilterCalls=573749, avgTableProportion=0.75, avgTableSize=3.0
4.34/2.64
4.34/2.67 num=60, depth=40..56, filters=509611, wck=0.545, mem=39M797
4.34/2.67 decisions=136051, wrong=66721, backtracks=48570, failedAssignments=33365, nogoods=269
4.34/2.67 nFilterCalls=629833, avgTableProportion=0.75, avgTableSize=3.0
4.34/2.67
4.45/2.72 num=61, depth=39..55, filters=567323, wck=0.588, mem=39M797
4.45/2.72 decisions=149490, wrong=73419, backtracks=53536, failedAssignments=36714, nogoods=276
4.45/2.72 nFilterCalls=698957, avgTableProportion=0.75, avgTableSize=3.0
4.45/2.72
4.45/2.76 num=62, depth=12..56, filters=626886, wck=0.632, mem=39M797
4.45/2.76 decisions=164268, wrong=80787, backtracks=58995, failedAssignments=40398, nogoods=283
4.45/2.76 nFilterCalls=771444, avgTableProportion=0.75, avgTableSize=3.0
4.45/2.76
4.56/2.81 num=63, depth=32..53, filters=694101, wck=0.684, mem=39M797
4.56/2.81 decisions=180518, wrong=88891, backtracks=64944, failedAssignments=44450, nogoods=292
4.56/2.81 nFilterCalls=852952, avgTableProportion=0.75, avgTableSize=3.0
4.56/2.81
4.56/2.87 num=64, depth=39..55, filters=761511, wck=0.737, mem=39M797
4.56/2.87 decisions=198390, wrong=97805, backtracks=71453, failedAssignments=48907, nogoods=300
4.56/2.87 nFilterCalls=935424, avgTableProportion=0.75, avgTableSize=3.0
4.56/2.87
4.67/2.93 num=65, depth=10..54, filters=845441, wck=0.796, mem=39M797
4.67/2.93 decisions=218044, wrong=107611, backtracks=78667, failedAssignments=53810, nogoods=310
4.67/2.93 nFilterCalls=1036338, avgTableProportion=0.75, avgTableSize=3.0
4.67/2.93
4.67/3.00 num=66, depth=27..56, filters=948997, wck=0.866, mem=39M797
4.67/3.00 decisions=239662, wrong=118399, backtracks=86581, failedAssignments=59204, nogoods=317
4.67/3.00 nFilterCalls=1159442, avgTableProportion=0.75, avgTableSize=3.0
4.67/3.00
4.78/3.07 num=67, depth=39..57, filters=1042906, wck=0.941, mem=42M439
4.78/3.07 decisions=263423, wrong=130257, backtracks=95177, failedAssignments=65137, nogoods=323
4.78/3.07 nFilterCalls=1273472, avgTableProportion=0.75, avgTableSize=3.0
4.78/3.07
4.88/3.16 num=68, depth=31..56, filters=1178890, wck=1.028, mem=42M439
4.88/3.16 decisions=289571, wrong=143309, backtracks=104888, failedAssignments=71663, nogoods=332
4.88/3.16 nFilterCalls=1432868, avgTableProportion=0.75, avgTableSize=3.0
4.88/3.16
4.97/3.24 num=69, depth=12..58, filters=1295509, wck=1.112, mem=42M439
4.97/3.24 decisions=318329, wrong=157667, backtracks=115015, failedAssignments=78842, nogoods=345
4.97/3.24 nFilterCalls=1574951, avgTableProportion=0.75, avgTableSize=3.0
4.97/3.24
5.07/3.36 num=70, depth=11..58, filters=1462380, wck=1.228, mem=42M439
5.07/3.36 decisions=349905, wrong=173433, backtracks=126691, failedAssignments=86739, nogoods=355
5.07/3.36 nFilterCalls=1770271, avgTableProportion=0.75, avgTableSize=3.0
5.07/3.36
5.17/3.48 num=71, depth=39..58, filters=1634388, wck=1.346, mem=42M439
5.17/3.48 decisions=384699, wrong=190807, backtracks=139447, failedAssignments=95426, nogoods=362
5.17/3.48 nFilterCalls=1972465, avgTableProportion=0.75, avgTableSize=3.0
5.17/3.48
5.38/3.61 num=72, depth=18..56, filters=1814449, wck=1.475, mem=45M82
5.38/3.61 decisions=422960, wrong=209917, backtracks=153518, failedAssignments=104981, nogoods=370
5.38/3.61 nFilterCalls=2187181, avgTableProportion=0.75, avgTableSize=3.0
5.38/3.61
5.48/3.73 num=73, depth=13..57, filters=1973569, wck=1.599, mem=45M82
5.48/3.73 decisions=465027, wrong=230930, backtracks=168702, failedAssignments=115492, nogoods=377
5.48/3.73 nFilterCalls=2382068, avgTableProportion=0.75, avgTableSize=3.0
5.48/3.73
5.58/3.87 num=74, depth=27..57, filters=2159200, wck=1.745, mem=45M82
5.58/3.87 decisions=511314, wrong=254053, backtracks=185456, failedAssignments=127054, nogoods=386
5.58/3.87 nFilterCalls=2606050, avgTableProportion=0.75, avgTableSize=3.0
5.58/3.87
5.79/4.04 num=75, depth=18..57, filters=2392878, wck=1.915, mem=45M82
5.79/4.04 decisions=562227, wrong=279488, backtracks=204310, failedAssignments=139772, nogoods=396
5.79/4.04 nFilterCalls=2884718, avgTableProportion=0.75, avgTableSize=3.0
5.79/4.04
5.99/4.21 num=76, depth=16..55, filters=2610894, wck=2.084, mem=47M724
5.99/4.21 decisions=618228, wrong=307467, backtracks=224652, failedAssignments=153762, nogoods=405
5.99/4.21 nFilterCalls=3149556, avgTableProportion=0.75, avgTableSize=3.0
5.99/4.21
6.19/4.41 num=77, depth=16..56, filters=2857366, wck=2.28, mem=47M724
6.19/4.41 decisions=679821, wrong=338243, backtracks=247009, failedAssignments=169151, nogoods=414
6.19/4.41 nFilterCalls=3448655, avgTableProportion=0.75, avgTableSize=3.0
6.19/4.41
6.39/4.62 num=78, depth=21..55, filters=3133563, wck=2.493, mem=47M724
6.39/4.62 decisions=747572, wrong=372097, backtracks=271437, failedAssignments=186079, nogoods=422
6.39/4.62 nFilterCalls=3780805, avgTableProportion=0.75, avgTableSize=3.0
6.39/4.62
6.59/4.88 num=79, depth=22..57, filters=3487258, wck=2.749, mem=50M367
6.59/4.88 decisions=821643, wrong=409110, backtracks=299062, failedAssignments=204700, nogoods=431
6.59/4.88 nFilterCalls=4202569, avgTableProportion=0.75, avgTableSize=3.0
6.59/4.88
6.90/5.13 num=80, depth=36..56, filters=3811578, wck=3.002, mem=50M367
6.90/5.13 decisions=903623, wrong=450078, backtracks=328529, failedAssignments=225184, nogoods=437
6.90/5.13 nFilterCalls=4594862, avgTableProportion=0.75, avgTableSize=3.0
6.90/5.13
7.19/5.42 num=81, depth=12..57, filters=4167330, wck=3.285, mem=53M9
7.19/5.42 decisions=993744, wrong=495117, backtracks=360918, failedAssignments=247716, nogoods=445
7.19/5.42 nFilterCalls=5027254, avgTableProportion=0.75, avgTableSize=3.0
7.19/5.42
7.51/5.73 num=82, depth=32..58, filters=4568754, wck=3.601, mem=53M9
7.51/5.73 decisions=1092910, wrong=544679, backtracks=396996, failedAssignments=272501, nogoods=454
7.51/5.73 nFilterCalls=5514165, avgTableProportion=0.75, avgTableSize=3.0
7.51/5.73
7.81/6.07 num=83, depth=29..58, filters=4986444, wck=3.942, mem=55M651
7.81/6.07 decisions=1201952, wrong=599180, backtracks=436194, failedAssignments=299765, nogoods=465
7.81/6.07 nFilterCalls=6022102, avgTableProportion=0.75, avgTableSize=3.0
7.81/6.07
8.21/6.46 num=84, depth=35..56, filters=5508982, wck=4.334, mem=58M294
8.21/6.46 decisions=1321693, wrong=659031, backtracks=480393, failedAssignments=329755, nogoods=474
8.21/6.46 nFilterCalls=6647437, avgTableProportion=0.75, avgTableSize=3.0
8.21/6.46
8.71/6.92 num=85, depth=11..58, filters=6127188, wck=4.792, mem=58M294
8.71/6.92 decisions=1453687, wrong=725009, backtracks=528052, failedAssignments=362744, nogoods=487
8.71/6.92 nFilterCalls=7377275, avgTableProportion=0.75, avgTableSize=3.0
8.71/6.92
9.21/7.43 num=86, depth=22..56, filters=6826733, wck=5.298, mem=60M936
9.21/7.43 decisions=1598877, wrong=797585, backtracks=580198, failedAssignments=399032, nogoods=498
9.21/7.43 nFilterCalls=8199475, avgTableProportion=0.75, avgTableSize=3.0
9.21/7.43
9.82/8.01 num=87, depth=18..55, filters=7627905, wck=5.879, mem=63M579
9.82/8.01 decisions=1758448, wrong=877352, backtracks=637291, failedAssignments=438949, nogoods=509
9.82/8.01 nFilterCalls=9143880, avgTableProportion=0.75, avgTableSize=3.0
9.82/8.01
10.41/8.60 num=88, depth=17..58, filters=8421413, wck=6.47, mem=66M221
10.41/8.60 decisions=1934133, wrong=965173, backtracks=700428, failedAssignments=482858, nogoods=519
10.41/8.60 nFilterCalls=10090925, avgTableProportion=0.75, avgTableSize=3.0
10.41/8.60
11.01/9.26 num=89, depth=19..57, filters=9279089, wck=7.131, mem=68M864
11.01/9.26 decisions=2127368, wrong=1061769, backtracks=770684, failedAssignments=531158, nogoods=528
11.01/9.26 nFilterCalls=11114718, avgTableProportion=0.75, avgTableSize=3.0
11.01/9.26
11.71/10.00 num=90, depth=23..56, filters=10238143, wck=7.873, mem=71M506
11.71/10.00 decisions=2339926, wrong=1168029, backtracks=849277, failedAssignments=584288, nogoods=538
11.71/10.00 nFilterCalls=12259525, avgTableProportion=0.75, avgTableSize=3.0
11.71/10.00
12.61/10.84 num=91, depth=12..56, filters=11266598, wck=8.711, mem=76M791
12.61/10.84 decisions=2573299, wrong=1284695, backtracks=935211, failedAssignments=642731, nogoods=549
12.61/10.84 nFilterCalls=13492679, avgTableProportion=0.75, avgTableSize=3.0
12.61/10.84
13.51/11.73 num=92, depth=35..57, filters=12414144, wck=9.604, mem=79M433
13.51/11.73 decisions=2830474, wrong=1413263, backtracks=1030064, failedAssignments=707018, nogoods=558
13.51/11.73 nFilterCalls=14861704, avgTableProportion=0.75, avgTableSize=3.0
13.51/11.73
14.51/12.70 num=93, depth=26..57, filters=13597894, wck=10.567, mem=84M718
14.51/12.70 decisions=3112348, wrong=1554179, backtracks=1131737, failedAssignments=777734, nogoods=568
14.51/12.70 nFilterCalls=16280078, avgTableProportion=0.75, avgTableSize=3.0
14.51/12.70
15.61/13.82 num=94, depth=20..58, filters=15055533, wck=11.69, mem=90M3
15.61/13.82 decisions=3423536, wrong=1709753, backtracks=1246609, failedAssignments=855521, nogoods=580
15.61/13.82 nFilterCalls=18009841, avgTableProportion=0.75, avgTableSize=3.0
15.61/13.82
16.71/14.98 num=95, depth=33..55, filters=16508102, wck=12.849, mem=92M646
16.71/14.98 decisions=3764111, wrong=1880021, backtracks=1367256, failedAssignments=941087, nogoods=591
16.71/14.98 nFilterCalls=19752127, avgTableProportion=0.75, avgTableSize=3.0
16.71/14.98
18.01/16.21 num=96, depth=28..54, filters=18290372, wck=14.084, mem=100M573
18.01/16.21 decisions=4140556, wrong=2068227, backtracks=1505330, failedAssignments=1035210, nogoods=605
18.01/16.21 nFilterCalls=21858088, avgTableProportion=0.75, avgTableSize=3.0
18.01/16.21
19.52/17.72 num=97, depth=18..56, filters=20171445, wck=15.594, mem=105M858
19.52/17.72 decisions=4553525, wrong=2274692, backtracks=1655627, failedAssignments=1138745, nogoods=616
19.52/17.72 nFilterCalls=24091100, avgTableProportion=0.75, avgTableSize=3.0
19.52/17.72
21.12/19.32 num=98, depth=32..55, filters=22438456, wck=17.194, mem=111M143
21.12/19.32 decisions=5008610, wrong=2502216, backtracks=1820271, failedAssignments=1252634, nogoods=627
21.12/19.32 nFilterCalls=26747417, avgTableProportion=0.75, avgTableSize=3.0
21.12/19.32
23.02/21.21 num=99, depth=23..57, filters=24689456, wck=19.081, mem=119M70
23.02/21.21 decisions=5509637, wrong=2752709, backtracks=2003054, failedAssignments=1377912, nogoods=638
23.02/21.21 nFilterCalls=29445832, avgTableProportion=0.75, avgTableSize=3.0
23.02/21.21
24.93/23.18 num=100, depth=31..55, filters=27006399, wck=21.047, mem=126M997
24.93/23.18 decisions=6060087, wrong=3027914, backtracks=2201002, failedAssignments=1515718, nogoods=649
24.93/23.18 nFilterCalls=32229953, avgTableProportion=0.75, avgTableSize=3.0
24.93/23.18
27.32/25.54 num=101, depth=14..56, filters=30070677, wck=23.409, mem=137M567
27.32/25.54 decisions=6666225, wrong=3330964, backtracks=2421497, failedAssignments=1667304, nogoods=661
27.32/25.54 nFilterCalls=35846789, avgTableProportion=0.75, avgTableSize=3.0
27.32/25.54
29.87/28.05 num=102, depth=21..56, filters=33333107, wck=25.918, mem=23M123
29.87/28.05 decisions=7333180, wrong=3664420, backtracks=2663845, failedAssignments=1834049, nogoods=669
29.87/28.05 nFilterCalls=39681887, avgTableProportion=0.75, avgTableSize=3.0
29.87/28.05
32.46/30.61 num=103, depth=26..58, filters=36900697, wck=28.475, mem=36M71
32.46/30.61 decisions=8066820, wrong=4031219, backtracks=2927821, failedAssignments=2017468, nogoods=679
32.46/30.61 nFilterCalls=43896908, avgTableProportion=0.75, avgTableSize=3.0
32.46/30.61
35.26/33.40 num=104, depth=17..58, filters=40584600, wck=31.268, mem=46M429
35.26/33.40 decisions=8873867, wrong=4434722, backtracks=3220990, failedAssignments=2219229, nogoods=691
35.26/33.40 nFilterCalls=48260512, avgTableProportion=0.75, avgTableSize=3.0
35.26/33.40
38.46/36.62 num=105, depth=18..60, filters=45195637, wck=34.488, mem=59M377
38.46/36.62 decisions=9761566, wrong=4878551, backtracks=3540396, failedAssignments=2441167, nogoods=702
38.46/36.62 nFilterCalls=53645546, avgTableProportion=0.75, avgTableSize=3.0
38.46/36.62
42.06/40.26 num=106, depth=23..59, filters=50103532, wck=38.125, mem=74M914
42.06/40.26 decisions=10736141, wrong=5365816, backtracks=3892508, failedAssignments=2685298, nogoods=710
42.06/40.26 nFilterCalls=59389629, avgTableProportion=0.75, avgTableSize=3.0
42.06/40.26
46.26/44.42 num=107, depth=19..56, filters=56185061, wck=42.293, mem=90M452
46.26/44.42 decisions=11809384, wrong=5902415, backtracks=4288205, failedAssignments=2953843, nogoods=718
46.26/44.42 nFilterCalls=66429415, avgTableProportion=0.75, avgTableSize=3.0
46.26/44.42
50.56/48.71 num=108, depth=13..57, filters=61918982, wck=46.58, mem=108M579
50.56/48.71 decisions=12990820, wrong=6493113, backtracks=4721059, failedAssignments=3249242, nogoods=730
50.56/48.71 nFilterCalls=73190684, avgTableProportion=0.75, avgTableSize=3.0
50.56/48.71
55.06/53.24 num=109, depth=12..56, filters=67786871, wck=51.113, mem=126M706
55.06/53.24 decisions=14289575, wrong=7142473, backtracks=5188775, failedAssignments=3574181, nogoods=744
55.06/53.24 nFilterCalls=80154608, avgTableProportion=0.75, avgTableSize=3.0
55.06/53.24
59.46/57.65 num=110, depth=14..56, filters=73782901, wck=55.522, mem=147M422
59.46/57.65 decisions=15719100, wrong=7857216, backtracks=5705186, failedAssignments=3931614, nogoods=753
59.46/57.65 nFilterCalls=87341286, avgTableProportion=0.75, avgTableSize=3.0
59.46/57.65
65.80/63.92 num=111, depth=17..57, filters=82412208, wck=61.788, mem=38M790
65.80/63.92 decisions=17291651, wrong=8643471, backtracks=6282465, failedAssignments=4324790, nogoods=763
65.80/63.92 nFilterCalls=97343912, avgTableProportion=0.75, avgTableSize=3.0
65.80/63.92
71.91/70.10 num=112, depth=23..56, filters=91678318, wck=67.965, mem=64M870
71.91/70.10 decisions=19018954, wrong=9507103, backtracks=6912812, failedAssignments=4757284, nogoods=772
71.91/70.10 nFilterCalls=108115469, avgTableProportion=0.75, avgTableSize=3.0
71.91/70.10
79.01/77.12 num=113, depth=21..58, filters=100868797, wck=74.993, mem=93M559
79.01/77.12 decisions=20920921, wrong=10458066, backtracks=7603945, failedAssignments=5233028, nogoods=783
79.01/77.12 nFilterCalls=118962508, avgTableProportion=0.75, avgTableSize=3.0
79.01/77.12
86.51/84.67 num=114, depth=22..57, filters=111142763, wck=82.544, mem=122M248
86.51/84.67 decisions=23014232, wrong=11504702, backtracks=8364557, failedAssignments=5756346, nogoods=797
86.51/84.67 nFilterCalls=131027122, avgTableProportion=0.75, avgTableSize=3.0
86.51/84.67
95.05/93.16 num=115, depth=16..57, filters=122324491, wck=91.029, mem=25M774
95.05/93.16 decisions=25316255, wrong=12655694, backtracks=9205017, failedAssignments=6331996, nogoods=811
95.05/93.16 nFilterCalls=144195506, avgTableProportion=0.75, avgTableSize=3.0
95.05/93.16
105.05/103.13 num=116, depth=18..57, filters=136315315, wck=101.001, mem=63M776
105.05/103.13 decisions=27844678, wrong=13919886, backtracks=10132470, failedAssignments=6965211, nogoods=825
105.05/103.13 nFilterCalls=160415705, avgTableProportion=0.75, avgTableSize=3.0
105.05/103.13
116.44/114.55 num=117, depth=22..58, filters=152621519, wck=112.422, mem=105M697
116.44/114.55 decisions=30628885, wrong=15311969, backtracks=11156714, failedAssignments=7661747, nogoods=836
116.44/114.55 nFilterCalls=179202169, avgTableProportion=0.75, avgTableSize=3.0
116.44/114.55
127.65/125.72 num=118, depth=11..59, filters=166689556, wck=123.591, mem=150M239
127.65/125.72 decisions=33692517, wrong=16843766, backtracks=12267106, failedAssignments=8427937, nogoods=850
127.65/125.72 nFilterCalls=195865987, avgTableProportion=0.75, avgTableSize=3.0
127.65/125.72
141.18/139.26 num=119, depth=27..58, filters=186062139, wck=137.132, mem=69M506
141.18/139.26 decisions=37062723, wrong=18528848, backtracks=13501151, failedAssignments=9270746, nogoods=861
141.18/139.26 nFilterCalls=218200524, avgTableProportion=0.75, avgTableSize=3.0
141.18/139.26
155.29/153.36 num=120, depth=22..58, filters=205197672, wck=151.232, mem=123M625
155.29/153.36 decisions=40770669, wrong=20382802, backtracks=14851918, failedAssignments=10197836, nogoods=872
155.29/153.36 nFilterCalls=240557536, avgTableProportion=0.75, avgTableSize=3.0
155.29/153.36
172.22/170.23 num=121, depth=29..58, filters=228311933, wck=168.102, mem=53M641
172.22/170.23 decisions=44849888, wrong=22422392, backtracks=16352393, failedAssignments=11217635, nogoods=886
172.22/170.23 nFilterCalls=267247659, avgTableProportion=0.75, avgTableSize=3.0
172.22/170.23
188.82/186.86 num=122, depth=22..59, filters=250378595, wck=184.734, mem=119M773
188.82/186.86 decisions=49335869, wrong=24665362, backtracks=17986788, failedAssignments=12339414, nogoods=898
188.82/186.86 nFilterCalls=293144401, avgTableProportion=0.75, avgTableSize=3.0
188.82/186.86
208.76/206.78 num=123, depth=21..58, filters=277948402, wck=204.653, mem=65M606
208.76/206.78 decisions=54270686, wrong=27132751, backtracks=19789368, failedAssignments=13573371, nogoods=912
208.76/206.78 nFilterCalls=325066224, avgTableProportion=0.75, avgTableSize=3.0
208.76/206.78
228.76/226.76 num=124, depth=30..56, filters=306244968, wck=224.635, mem=145M647
228.76/226.76 decisions=59697908, wrong=29846343, backtracks=21776472, failedAssignments=14930724, nogoods=925
228.76/226.76 nFilterCalls=358059033, avgTableProportion=0.75, avgTableSize=3.0
228.76/226.76
253.79/251.72 num=125, depth=11..59, filters=341680770, wck=249.588, mem=109M277
253.79/251.72 decisions=65667221, wrong=32830982, backtracks=23960298, failedAssignments=16423812, nogoods=942
253.79/251.72 nFilterCalls=398844347, avgTableProportion=0.75, avgTableSize=3.0
253.79/251.72
280.23/278.15 num=126, depth=23..57, filters=378270940, wck=276.016, mem=81M309
280.23/278.15 decisions=72232475, wrong=36113588, backtracks=26370324, failedAssignments=18066209, nogoods=953
280.23/278.15 nFilterCalls=441238530, avgTableProportion=0.75, avgTableSize=3.0
280.23/278.15
309.97/307.80 num=127, depth=29..57, filters=417205039, wck=305.672, mem=65M964
309.97/307.80 decisions=79456796, wrong=39725728, backtracks=28992754, failedAssignments=19872846, nogoods=965
309.97/307.80 nFilterCalls=486622409, avgTableProportion=0.75, avgTableSize=3.0
309.97/307.80
341.08/338.96 num=128, depth=25..58, filters=458063537, wck=336.829, mem=65M426
341.08/338.96 decisions=87402031, wrong=43698326, backtracks=31904054, failedAssignments=21860147, nogoods=978
341.08/338.96 nFilterCalls=534402624, avgTableProportion=0.75, avgTableSize=3.0
341.08/338.96
378.59/376.42 num=129, depth=12..57, filters=506812528, wck=374.292, mem=76M444
378.59/376.42 decisions=96146148, wrong=48070365, backtracks=35117932, failedAssignments=24046178, nogoods=990
378.59/376.42 nFilterCalls=590854354, avgTableProportion=0.75, avgTableSize=3.0
378.59/376.42
417.32/415.11 num=130, depth=21..58, filters=558700082, wck=412.975, mem=100M866
417.32/415.11 decisions=105764197, wrong=52879367, backtracks=38616478, failedAssignments=26450812, nogoods=1000
417.32/415.11 nFilterCalls=651275907, avgTableProportion=0.75, avgTableSize=3.0
417.32/415.11
462.54/460.35 num=131, depth=31..58, filters=616516338, wck=458.222, mem=29M583
462.54/460.35 decisions=116330806, wrong=58162651, backtracks=42504278, failedAssignments=29095909, nogoods=1012
462.54/460.35 nFilterCalls=718472296, avgTableProportion=0.75, avgTableSize=3.0
462.54/460.35
509.75/507.57 num=132, depth=25..60, filters=677960906, wck=505.439, mem=91M50
509.75/507.57 decisions=127961129, wrong=63977791, backtracks=46745328, failedAssignments=32005516, nogoods=1023
509.75/507.57 nFilterCalls=789938773, avgTableProportion=0.75, avgTableSize=3.0
509.75/507.57
565.28/563.06 num=133, depth=20..58, filters=750612190, wck=560.929, mem=61M388
565.28/563.06 decisions=140760894, wrong=70377656, backtracks=51443875, failedAssignments=35206084, nogoods=1041
565.28/563.06 nFilterCalls=873819376, avgTableProportion=0.75, avgTableSize=3.0
565.28/563.06
620.41/618.13 num=134, depth=31..60, filters=818028653, wck=615.999, mem=56M54
620.41/618.13 decisions=154841867, wrong=77418121, backtracks=56542337, failedAssignments=38726709, nogoods=1055
620.41/618.13 nFilterCalls=953254691, avgTableProportion=0.75, avgTableSize=3.0
620.41/618.13
686.43/684.19 num=135, depth=16..58, filters=903425169, wck=682.061, mem=79M227
686.43/684.19 decisions=170324841, wrong=85159590, backtracks=62213758, failedAssignments=42599396, nogoods=1066
686.43/684.19 nFilterCalls=1052298694, avgTableProportion=0.75, avgTableSize=3.0
686.43/684.19
758.25/755.98 num=136, depth=19..57, filters=996664495, wck=753.851, mem=32M596
758.25/755.98 decisions=187363036, wrong=93678667, backtracks=68436602, failedAssignments=46859352, nogoods=1079
758.25/755.98 nFilterCalls=1160495759, avgTableProportion=0.75, avgTableSize=3.0
758.25/755.98
837.78/835.43 num=137, depth=24..60, filters=1096367755, wck=833.297, mem=114M487
837.78/835.43 decisions=206067259, wrong=103030759, backtracks=75294133, failedAssignments=51545304, nogoods=1094
837.78/835.43 nFilterCalls=1276824263, avgTableProportion=0.75, avgTableSize=3.0
837.78/835.43
925.33/922.92 num=138, depth=19..57, filters=1203256433, wck=920.793, mem=42M886
925.33/922.92 decisions=226681877, wrong=113338050, backtracks=82795154, failedAssignments=56699851, nogoods=1108
925.33/922.92 nFilterCalls=1401592954, avgTableProportion=0.75, avgTableSize=3.0
925.33/922.92
1025.06/1022.60 num=139, depth=26..60, filters=1330978786, wck=1020.468, mem=109M121
1025.06/1022.60 decisions=249361251, wrong=124677716, backtracks=91123266, failedAssignments=62369853, nogoods=1117
1025.06/1022.60 nFilterCalls=1549179483, avgTableProportion=0.75, avgTableSize=3.0
1025.06/1022.60
1132.82/1130.30 num=140, depth=22..56, filters=1464603076, wck=1128.172, mem=47M631
1132.82/1130.30 decisions=274296877, wrong=137145511, backtracks=100248321, failedAssignments=68606855, nogoods=1129
1132.82/1130.30 nFilterCalls=1704492962, avgTableProportion=0.75, avgTableSize=3.0
1132.82/1130.30
1256.27/1253.78 num=141, depth=22..57, filters=1613726574, wck=1251.653, mem=49M221
1256.27/1253.78 decisions=301730895, wrong=150862501, backtracks=110288140, failedAssignments=75467557, nogoods=1143
1256.27/1253.78 nFilterCalls=1877580632, avgTableProportion=0.75, avgTableSize=3.0
1256.27/1253.78
1384.53/1381.98 num=142, depth=8..59, filters=1767546893, wck=1379.849, mem=34M659
1384.53/1381.98 decisions=331914261, wrong=165954165, backtracks=121287227, failedAssignments=83014330, nogoods=1154
1384.53/1381.98 nFilterCalls=2057361292, avgTableProportion=0.75, avgTableSize=3.0
1384.53/1381.98
1528.80/1526.19 num=143, depth=18..59, filters=1939829426, wck=1524.056, mem=81M524
1528.80/1526.19 decisions=365062982, wrong=182528505, backtracks=133384881, failedAssignments=91315780, nogoods=1166
1528.80/1526.19
1684.96/1682.28 num=144, depth=15..60, filters=2124942624, wck=1680.153, mem=60M432
1684.96/1682.28 decisions=401567442, wrong=200780717, backtracks=146668611, failedAssignments=100447375, nogoods=1180
1684.96/1682.28
1854.34/1851.50 num=145, depth=17..59, filters=2330366059, wck=1849.367, mem=62M745
1854.34/1851.50 decisions=441743731, wrong=220868838, backtracks=161321379, failedAssignments=110492129, nogoods=1191
1854.34/1851.50
2050.45/2047.50 num=146, depth=23..57, filters=2562136569, wck=2045.368, mem=50M987
2050.45/2047.50 decisions=485932769, wrong=242963338, backtracks=177400746, failedAssignments=121541359, nogoods=1202
2050.45/2047.50
2263.16/2260.17 num=147, depth=18..60, filters=2811212703, wck=2258.038, mem=57M651
2263.16/2260.17 decisions=534540412, wrong=267267139, backtracks=195116533, failedAssignments=133695512, nogoods=1214
2263.16/2260.17
2501.29/2498.18 num=148, depth=22..60, filters=3082239088, wck=2496.052, mem=42M694
2501.29/2498.18 decisions=588012784, wrong=294003306, backtracks=214536004, failedAssignments=147065080, nogoods=1227
2501.29/2498.18
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 (13879 MiB free)
memory of node 1: 16384 MiB (15706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390548-1568380590/watcher-4390548-1568380590 -o /tmp/evaluation-result-4390548-1568380590/solver-4390548-1568380590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568380618-26495 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390548-1568380590.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
Current StackSize limit: 8192 KiB
solver pid=26704, runsolver pid=26701
[startup+0.100157 s]*
/proc/loadavg: 1.27 0.42 0.19 4/226 26719
/proc/meminfo: memFree=30278740/32770624 swapFree=66932000/67108860
[pid=26704] ppid=26701 vsize=10659884 memory=28320 CPUtime=0.13 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 5525 0 0 0 12 1 0 0 20 0 15 0 414326778 10915721216 7080 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2664971 7080 2910 1 0 2627468 0
[pid=26704/tid=26706] ppid=26701 vsize=10659884 memory=-7254949979417569401 CPUtime=0.09 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) R 26701 26704 26463 0 -1 4202560 3382 0 0 0 8 1 0 0 20 0 15 0 414326779 10915721216 7080 33554432000 4194304 4196468 140732862277008 139653255605136 139653243611966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10659884 memory=5793855807382264249 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 7146 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326781 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326781 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652809503776 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326782 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652740670320 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) R 26701 26704 26463 0 -1 4202560 488 0 0 0 1 0 0 0 20 0 15 0 414326784 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652738551688 139653229789393 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0.02 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) R 26701 26704 26463 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 414326784 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652736461424 139653230316418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) R 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 7146 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28320 KiB
[startup+0.210536 s]*
/proc/loadavg: 1.27 0.42 0.19 3/226 26719
/proc/meminfo: memFree=30271856/32770624 swapFree=66932000/67108860
[pid=26704] ppid=26701 vsize=10659884 memory=35448 CPUtime=0.33 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 6979 0 0 0 31 2 0 0 20 0 15 0 414326778 10915721216 8862 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2664971 8862 2989 1 0 2627468 0
[pid=26704/tid=26706] ppid=26701 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) R 26701 26704 26463 0 -1 4202560 3917 0 0 0 19 1 0 0 20 0 15 0 414326779 10915721216 8862 33554432000 4194304 4196468 140732862277008 139653255601200 139653251396765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10659884 memory=4211974282577161610 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 8862 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326781 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326781 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652809503776 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326782 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652740670320 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 689 0 0 0 3 0 0 0 20 0 15 0 414326784 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) S 26701 26704 26463 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 414326784 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0.05 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 414326784 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 8862 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35448 KiB
[startup+0.310095 s]*
/proc/loadavg: 1.27 0.42 0.19 3/226 26719
/proc/meminfo: memFree=30264012/32770624 swapFree=66932000/67108860
[pid=26704] ppid=26701 vsize=10659884 memory=40824 CPUtime=0.47 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 9512 0 0 0 44 3 0 0 20 0 15 0 414326778 10915721216 10206 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2664971 10206 3002 1 0 2627468 0
[pid=26704/tid=26706] ppid=26701 vsize=10659884 memory=281112454627568 CPUtime=0.29 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) R 26701 26704 26463 0 -1 4202560 6377 0 0 0 27 2 0 0 20 0 15 0 414326779 10915721216 10206 33554432000 4194304 4196468 140732862277008 139653255613824 139653232959633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10659884 memory=4211974282577161610 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 10206 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10659884 memory=140556372373487 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10659884 memory=140556227446423 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10659884 memory=140556227427279 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326779 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10659884 memory=140556372397561 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326781 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10659884 memory=140556227427279 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326781 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652809503776 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10659884 memory=281112454875280 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326782 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652740670320 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10659884 memory=281112454872976 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 731 0 0 0 4 0 0 0 20 0 15 0 414326784 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) R 26701 26704 26463 0 -1 1077944384 319 0 0 0 3 0 0 0 20 0 15 0 414326784 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0.07 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 15 0 414326784 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10659884 memory=140556372371072 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326784 10915721216 10206 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40824 KiB
[startup+0.70069 s]
/proc/loadavg: 1.27 0.42 0.19 3/226 26719
/proc/meminfo: memFree=30255480/32770624 swapFree=66932000/67108860
[pid=26704] ppid=26701 vsize=10661932 memory=64048 CPUtime=1.12 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 13093 0 0 0 106 6 0 0 20 0 15 0 414326778 10917818368 16012 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2665483 16012 3061 1 0 2627980 0
[pid=26704/tid=26706] ppid=26701 vsize=10661932 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) R 26701 26704 26463 0 -1 4202560 8926 0 0 0 64 4 0 0 20 0 15 0 414326779 10917818368 16012 33554432000 4194304 4196468 140732862277008 139653255591632 139653231649974 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10661932 memory=772 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10917818368 16012 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326779 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10661932 memory=5787218246971642213 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326781 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414326781 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652809503776 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414326782 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652740670320 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 969 0 0 0 12 0 0 0 20 0 15 0 414326784 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10661932 memory=11 CPUtime=0.1 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) R 26701 26704 26463 0 -1 4202560 658 0 0 0 10 0 0 0 20 0 15 0 414326784 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652737514224 139653231538113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10661932 memory=1365 CPUtime=0.18 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 1181 0 0 0 18 0 0 0 20 0 15 0 414326784 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10661932 memory=281112455052272 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414326784 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326784 10917818368 16012 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64048 KiB
[startup+1.50075 s]
/proc/loadavg: 1.33 0.45 0.20 3/226 26719
/proc/meminfo: memFree=30239164/32770624 swapFree=66932000/67108860
[pid=26704] ppid=26701 vsize=10663980 memory=75896 CPUtime=2.01 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 18725 0 0 0 195 6 0 0 20 0 15 0 414326778 10919915520 18974 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2665995 18974 3094 1 0 2628492 0
[pid=26704/tid=26706] ppid=26701 vsize=10663980 memory=72260 CPUtime=1.48 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) R 26701 26704 26463 0 -1 4202560 13106 0 0 0 143 5 0 0 20 0 15 0 414326779 10919915520 18974 33554432000 4194304 4196468 140732862277008 139653255606864 139653234561648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10663980 memory=281112454938368 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10919915520 18974 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10919915520 18974 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414326779 10919915520 18974 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414326779 10919915520 18974 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 414326781 10919915520 18974 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
################
# More data... #
################
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 5235 0 0 0 27 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.11 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 5981 0 0 0 8 3 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652809503840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414326782 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652740670336 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10746276 memory=235190 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10746276 memory=28 CPUtime=0.65 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 2853 0 0 0 65 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10746276 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) S 26701 26704 26463 0 -1 1077944384 2940 0 0 0 66 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.5 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 5759 0 0 0 49 1 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10746276 memory=3616 CPUtime=0.45 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 997 0 0 0 18 27 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26720] ppid=26701 vsize=10746276 memory=1692 CPUtime=2379.96 cores=1,3,5,7
/proc/26704/task/26720/stat : 26720 (java) R 26701 26704 26463 0 -1 4202560 16962 0 0 0 237992 4 0 0 20 0 16 0 414326966 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652717694800 139652892415119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 2385.42 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 187248 KiB
[startup+2442.3 s]
/proc/loadavg: 1.86 1.80 1.71 3/228 27026
/proc/meminfo: memFree=30244664/32770624 swapFree=66932008/67108860
[pid=26704] ppid=26701 vsize=10746276 memory=187248 CPUtime=2445.46 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 66761 0 0 0 244501 45 0 0 20 0 16 0 414326778 11004186624 46812 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2686569 46812 3374 1 0 2646705 0
[pid=26704/tid=26706] ppid=26701 vsize=10746276 memory=2116 CPUtime=1.85 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) S 26701 26704 26463 0 -1 1077944384 15345 0 0 0 179 6 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139653255617712 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.29 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 3251 0 0 0 28 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.28 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 4059 0 0 0 27 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.29 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1631 0 0 0 28 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.29 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 5263 0 0 0 28 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.12 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 6160 0 0 0 9 3 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652809503840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414326782 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652740670336 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.65 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 2855 0 0 0 65 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.66 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) S 26701 26704 26463 0 -1 1077944384 2943 0 0 0 66 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.5 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 5761 0 0 0 49 1 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.47 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 1027 0 0 0 19 28 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26720] ppid=26701 vsize=10746276 memory=187248 CPUtime=2439.95 cores=1,3,5,7
/proc/26704/task/26720/stat : 26720 (java) R 26701 26704 26463 0 -1 4202560 17030 0 0 0 243991 4 0 0 20 0 16 0 414326966 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652717694800 139652892262088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 2445.46 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 187248 KiB
[startup+2502.3 s]
/proc/loadavg: 1.89 1.82 1.72 3/227 27030
/proc/meminfo: memFree=30234316/32770624 swapFree=66932008/67108860
[pid=26704] ppid=26701 vsize=10746276 memory=187248 CPUtime=2505.48 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 67141 0 0 0 250503 45 0 0 20 0 16 0 414326778 11004186624 46812 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2686569 46812 3374 1 0 2646705 0
[pid=26704/tid=26706] ppid=26701 vsize=10746276 memory=1552 CPUtime=1.85 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) S 26701 26704 26463 0 -1 1077944384 15345 0 0 0 179 6 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139653255617712 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.3 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 3251 0 0 0 29 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.29 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 4063 0 0 0 28 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.3 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1634 0 0 0 29 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.3 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 5263 0 0 0 29 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.12 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 6166 0 0 0 9 3 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10746276 memory=249943 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652809503840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10746276 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414326782 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652740670336 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.65 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 2855 0 0 0 65 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10746276 memory=3616 CPUtime=0.66 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) S 26701 26704 26463 0 -1 1077944384 2943 0 0 0 66 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10746276 memory=38672 CPUtime=0.5 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 5761 0 0 0 49 1 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.48 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 1031 0 0 0 19 29 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26720] ppid=26701 vsize=10746276 memory=187248 CPUtime=2499.93 cores=1,3,5,7
/proc/26704/task/26720/stat : 26720 (java) R 26701 26704 26463 0 -1 4202560 17393 0 0 0 249989 4 0 0 20 0 16 0 414326966 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652717686096 139652892318807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 2505.48 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 187248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.8 s]
/proc/loadavg: 1.83 1.81 1.72 3/228 27039
/proc/meminfo: memFree=30231712/32770624 swapFree=66932012/67108860
[pid=26704] ppid=26701 vsize=10746276 memory=187248 CPUtime=2520 cores=1,3,5,7
/proc/26704/stat : 26704 (java) S 26701 26704 26463 0 -1 1077944320 67144 0 0 0 251954 46 0 0 20 0 16 0 414326778 11004186624 46812 33554432000 4194304 4196468 140732862277008 140732862259552 139653251374839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
/proc/26704/statm: 2686569 46812 3374 1 0 2646705 0
[pid=26704/tid=26706] ppid=26701 vsize=10746276 memory=187248 CPUtime=1.85 cores=1,3,5,7
/proc/26704/task/26706/stat : 26706 (java) S 26701 26704 26463 0 -1 1077944384 15345 0 0 0 179 6 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139653255617712 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26707] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.3 cores=1,3,5,7
/proc/26704/task/26707/stat : 26707 (java) S 26701 26704 26463 0 -1 1077944384 3251 0 0 0 29 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139653212335248 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26708] ppid=26701 vsize=10746276 memory=187248 CPUtime=0.29 cores=1,3,5,7
/proc/26704/task/26708/stat : 26708 (java) S 26701 26704 26463 0 -1 1077944384 4063 0 0 0 28 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652856781840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26709] ppid=26701 vsize=10746276 memory=1228 CPUtime=0.3 cores=1,3,5,7
/proc/26704/task/26709/stat : 26709 (java) S 26701 26704 26463 0 -1 1077944384 1634 0 0 0 29 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652855729040 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26710] ppid=26701 vsize=10746276 memory=10708 CPUtime=0.3 cores=1,3,5,7
/proc/26704/task/26710/stat : 26710 (java) S 26701 26704 26463 0 -1 1077944384 5263 0 0 0 29 1 0 0 20 0 16 0 414326779 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652854676240 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26711] ppid=26701 vsize=10746276 memory=-7003737579269690708 CPUtime=0.12 cores=1,3,5,7
/proc/26704/task/26711/stat : 26711 (java) S 26701 26704 26463 0 -1 1077944384 6166 0 0 0 9 3 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652810557808 139653251385986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26712] ppid=26701 vsize=10746276 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26712/stat : 26712 (java) S 26701 26704 26463 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414326781 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652809503840 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26713] ppid=26701 vsize=10746276 memory=808 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26713/stat : 26713 (java) S 26701 26704 26463 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414326782 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652740670336 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26714] ppid=26701 vsize=10746276 memory=187248 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26714/stat : 26714 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652739618640 139653251393435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26715] ppid=26701 vsize=10746276 memory=3080 CPUtime=0.65 cores=1,3,5,7
/proc/26704/task/26715/stat : 26715 (java) S 26701 26704 26463 0 -1 1077944384 2855 0 0 0 65 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652738567024 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26716] ppid=26701 vsize=10746276 memory=228140 CPUtime=0.66 cores=1,3,5,7
/proc/26704/task/26716/stat : 26716 (java) S 26701 26704 26463 0 -1 1077944384 2943 0 0 0 66 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652737514224 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26717] ppid=26701 vsize=10746276 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/26704/task/26717/stat : 26717 (java) S 26701 26704 26463 0 -1 1077944384 5761 0 0 0 49 1 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652736461424 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26718] ppid=26701 vsize=10746276 memory=20220 CPUtime=0 cores=1,3,5,7
/proc/26704/task/26718/stat : 26718 (java) S 26701 26704 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652735408864 139653251385045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26719] ppid=26701 vsize=10746276 memory=2116 CPUtime=0.48 cores=1,3,5,7
/proc/26704/task/26719/stat : 26719 (java) S 26701 26704 26463 0 -1 1077944384 1033 0 0 0 19 29 0 0 20 0 16 0 414326784 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652734356144 139653251385986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
[pid=26704/tid=26720] ppid=26701 vsize=10746276 memory=11916 CPUtime=2514.43 cores=1,3,5,7
/proc/26704/task/26720/stat : 26720 (java) R 26701 26704 26463 0 -1 4202560 17394 0 0 0 251439 4 0 0 20 0 16 0 414326966 11004186624 46812 33554432000 4194304 4196468 140732862277008 139652717694800 139652892261793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12218368 140732862284811 140732862284914 140732862284914 140732862287823 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 187248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.81 s]
# the end of solver process 26704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.46304 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2516.81
CPU time (s): 2520.02
CPU user time (s): 2519.55
CPU system time (s): 0.46304
CPU usage (%): 100.127
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 239524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.46304
maximum resident set size= 239536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58946
involuntary context switches= 1051
# summary of solver processes directly reported to runsolver:
# pid: 26704
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.46304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2522 second user time and 23.6883 second system time
The end