2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.94/2.02 Instance
2.94/2.02 name=instance-4390541-1568381775, framework=CSP
2.94/2.02
2.94/2.02 Loading variables...
2.94/2.05 Loading constraints...
2.94/2.09
2.94/2.09 Domains
2.94/2.09 nTypes=1, nValues=300, sizes=[2#150]
2.94/2.09 Variables
2.94/2.09 count=150, degrees=[2#150]
2.94/2.09 Constraints
2.94/2.09 count=100, nSpecific=100, arities=[3#100]
2.94/2.09 distribution=[CtrExtensionCT-Table#100]
2.94/2.09 tables=[4#100], nTotalTuples=400
2.94/2.09 nExtStructures=(5,shared:95)
2.94/2.09 wck=0.25, cpu=2.061, mem=21M227
2.94/2.10 Solver SolverBacktrack being built...
2.94/2.10
3.19/2.13
3.19/2.13 Solver
3.19/2.13 guaranteedGAC=true
3.19/2.13 wck=0.287, cpu=2.097, mem=31M870
3.19/2.13
3.19/2.13 Preprocessing
3.19/2.13 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.19/2.13 wck=0.001, cpu=2.099, mem=31M870
3.19/2.13
3.19/2.14 num=0, depth=46..51, filters=453, wck=0.014, mem=31M870
3.19/2.14 decisions=89, wrong=20, backtracks=14, failedAssignments=10, nogoods=2
3.19/2.14 nFilterCalls=683, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.14
3.19/2.14 num=1, depth=46..50, filters=679, wck=0.018, mem=31M870
3.19/2.14 decisions=180, wrong=42, backtracks=29, failedAssignments=21, nogoods=5
3.19/2.14 nFilterCalls=1045, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.14
3.19/2.15 num=2, depth=46..50, filters=905, wck=0.022, mem=31M870
3.19/2.15 decisions=272, wrong=65, backtracks=46, failedAssignments=33, nogoods=7
3.19/2.15 nFilterCalls=1407, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.15
3.19/2.16 num=3, depth=46..50, filters=1157, wck=0.034, mem=31M870
3.19/2.16 decisions=371, wrong=91, backtracks=64, failedAssignments=46, nogoods=10
3.19/2.16 nFilterCalls=1803, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.16
3.19/2.16 num=4, depth=46..50, filters=1417, wck=0.037, mem=31M870
3.19/2.16 decisions=473, wrong=119, backtracks=84, failedAssignments=60, nogoods=13
3.19/2.16 nFilterCalls=2209, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.16
3.19/2.17 num=5, depth=46..50, filters=1711, wck=0.04, mem=31M870
3.19/2.17 decisions=581, wrong=150, backtracks=108, failedAssignments=76, nogoods=17
3.19/2.17 nFilterCalls=2656, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.17
3.19/2.17 num=6, depth=46..51, filters=2014, wck=0.043, mem=31M870
3.19/2.17 decisions=693, wrong=183, backtracks=133, failedAssignments=93, nogoods=18
3.19/2.17 nFilterCalls=3115, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.17
3.19/2.18 num=7, depth=47..52, filters=2350, wck=0.046, mem=31M870
3.19/2.18 decisions=818, wrong=221, backtracks=160, failedAssignments=112, nogoods=21
3.19/2.18 nFilterCalls=3621, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.18
3.19/2.18 num=8, depth=47..52, filters=2714, wck=0.049, mem=31M870
3.19/2.18 decisions=951, wrong=263, backtracks=189, failedAssignments=133, nogoods=24
3.19/2.18 nFilterCalls=4163, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.18
3.19/2.18 num=9, depth=47..52, filters=3106, wck=0.051, mem=31M870
3.19/2.18 decisions=1091, wrong=309, backtracks=222, failedAssignments=156, nogoods=28
3.19/2.18 nFilterCalls=4739, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.18
3.19/2.18 num=10, depth=43..50, filters=4061, wck=0.055, mem=31M870
3.19/2.18 decisions=1235, wrong=359, backtracks=257, failedAssignments=181, nogoods=30
3.19/2.18 nFilterCalls=5876, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.18
3.19/2.18 num=11, depth=25..34, filters=4461, wck=0.057, mem=31M870
3.19/2.18 decisions=1373, wrong=415, backtracks=297, failedAssignments=209, nogoods=32
3.19/2.18 nFilterCalls=6436, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.18
3.19/2.19 num=12, depth=32..45, filters=4908, wck=0.06, mem=31M870
3.19/2.19 decisions=1530, wrong=477, backtracks=341, failedAssignments=240, nogoods=34
3.19/2.19 nFilterCalls=7073, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=13, depth=44..53, filters=5425, wck=0.063, mem=31M870
3.19/2.19 decisions=1712, wrong=545, backtracks=389, failedAssignments=274, nogoods=37
3.19/2.19 nFilterCalls=7812, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.19 num=14, depth=31..38, filters=6140, wck=0.066, mem=31M870
3.19/2.19 decisions=1895, wrong=619, backtracks=443, failedAssignments=311, nogoods=39
3.19/2.19 nFilterCalls=8736, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.19
3.19/2.20 num=15, depth=25..35, filters=6927, wck=0.069, mem=31M870
3.19/2.20 decisions=2086, wrong=701, backtracks=500, failedAssignments=352, nogoods=43
3.19/2.20 nFilterCalls=9736, avgTableProportion=0.75, avgTableSize=3.0
3.19/2.20
3.44/2.20 num=16, depth=19..31, filters=7668, wck=0.072, mem=31M870
3.44/2.20 decisions=2289, wrong=791, backtracks=565, failedAssignments=397, nogoods=45
3.44/2.20 nFilterCalls=10696, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.20
3.44/2.20 num=17, depth=22..29, filters=8657, wck=0.075, mem=31M870
3.44/2.20 decisions=2514, wrong=891, backtracks=638, failedAssignments=447, nogoods=47
3.44/2.20 nFilterCalls=11915, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.20
3.44/2.20 num=18, depth=23..29, filters=9487, wck=0.077, mem=31M870
3.44/2.20 decisions=2758, wrong=1001, backtracks=719, failedAssignments=502, nogoods=52
3.44/2.20 nFilterCalls=13009, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.20
3.44/2.21 num=19, depth=23..52, filters=10474, wck=0.081, mem=31M870
3.44/2.21 decisions=3047, wrong=1123, backtracks=809, failedAssignments=563, nogoods=56
3.44/2.21 nFilterCalls=14307, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.21
3.44/2.21 num=20, depth=44..51, filters=11623, wck=0.084, mem=34M512
3.44/2.21 decisions=3363, wrong=1257, backtracks=908, failedAssignments=630, nogoods=58
3.44/2.21 nFilterCalls=15809, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.21
3.44/2.21 num=21, depth=44..53, filters=12812, wck=0.087, mem=34M512
3.44/2.21 decisions=3705, wrong=1405, backtracks=1016, failedAssignments=704, nogoods=63
3.44/2.21 nFilterCalls=17365, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.21
3.44/2.22 num=22, depth=43..52, filters=14318, wck=0.091, mem=34M512
3.44/2.22 decisions=4076, wrong=1567, backtracks=1133, failedAssignments=785, nogoods=66
3.44/2.22 nFilterCalls=19260, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.22
3.44/2.22 num=23, depth=40..52, filters=15763, wck=0.095, mem=34M512
3.44/2.22 decisions=4476, wrong=1745, backtracks=1259, failedAssignments=874, nogoods=70
3.44/2.22 nFilterCalls=21132, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.22
3.44/2.23 num=24, depth=26..54, filters=17900, wck=0.1, mem=34M512
3.44/2.23 decisions=4911, wrong=1940, backtracks=1401, failedAssignments=972, nogoods=77
3.44/2.23 nFilterCalls=23714, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.23
3.44/2.23 num=25, depth=42..54, filters=20506, wck=0.105, mem=34M512
3.44/2.23 decisions=5386, wrong=2156, backtracks=1559, failedAssignments=1080, nogoods=82
3.44/2.23 nFilterCalls=26798, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.23
3.44/2.24 num=26, depth=25..50, filters=22293, wck=0.109, mem=34M512
3.44/2.24 decisions=5901, wrong=2394, backtracks=1729, failedAssignments=1199, nogoods=84
3.44/2.24 nFilterCalls=29124, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.24
3.44/2.24 num=27, depth=34..53, filters=24183, wck=0.114, mem=34M512
3.44/2.24 decisions=6464, wrong=2656, backtracks=1920, failedAssignments=1330, nogoods=88
3.44/2.24 nFilterCalls=31601, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.24
3.44/2.24 num=28, depth=27..40, filters=26414, wck=0.117, mem=34M512
3.44/2.24 decisions=7068, wrong=2944, backtracks=2134, failedAssignments=1474, nogoods=93
3.44/2.24 nFilterCalls=34432, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.24
3.44/2.25 num=29, depth=15..54, filters=28942, wck=0.122, mem=34M512
3.44/2.25 decisions=7748, wrong=3260, backtracks=2364, failedAssignments=1632, nogoods=99
3.44/2.25 nFilterCalls=37666, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.25
3.44/2.25 num=30, depth=13..53, filters=32208, wck=0.126, mem=34M512
3.44/2.25 decisions=8487, wrong=3608, backtracks=2622, failedAssignments=1806, nogoods=104
3.44/2.25 nFilterCalls=41654, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.25
3.44/2.26 num=31, depth=14..38, filters=35562, wck=0.131, mem=34M512
3.44/2.26 decisions=9278, wrong=3990, backtracks=2905, failedAssignments=1997, nogoods=109
3.44/2.26 nFilterCalls=45787, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.26
3.44/2.26 num=32, depth=16..53, filters=39056, wck=0.137, mem=34M512
3.44/2.26 decisions=10162, wrong=4412, backtracks=3218, failedAssignments=2208, nogoods=114
3.44/2.26 nFilterCalls=50173, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.26
3.44/2.27 num=33, depth=15..55, filters=42699, wck=0.142, mem=34M512
3.44/2.27 decisions=11138, wrong=4876, backtracks=3560, failedAssignments=2440, nogoods=120
3.44/2.27 nFilterCalls=54810, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.27
3.44/2.27 num=34, depth=39..49, filters=47544, wck=0.149, mem=34M512
3.44/2.27 decisions=12198, wrong=5386, backtracks=3939, failedAssignments=2695, nogoods=122
3.44/2.27 nFilterCalls=60713, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.27
3.44/2.28 num=35, depth=25..35, filters=52332, wck=0.156, mem=34M512
3.44/2.28 decisions=13353, wrong=5948, backtracks=4358, failedAssignments=2976, nogoods=125
3.44/2.28 nFilterCalls=66660, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.28
3.44/2.29 num=36, depth=16..53, filters=58414, wck=0.164, mem=34M512
3.44/2.29 decisions=14635, wrong=6566, backtracks=4809, failedAssignments=3285, nogoods=129
3.44/2.29 nFilterCalls=73972, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.29
3.44/2.30 num=37, depth=37..52, filters=64464, wck=0.172, mem=37M154
3.44/2.30 decisions=16034, wrong=7246, backtracks=5318, failedAssignments=3625, nogoods=132
3.44/2.30 nFilterCalls=81421, avgTableProportion=0.75, avgTableSize=3.0
3.44/2.30
3.76/2.31 num=38, depth=8..52, filters=70757, wck=0.181, mem=37M154
3.76/2.31 decisions=17575, wrong=7994, backtracks=5871, failedAssignments=3999, nogoods=138
3.76/2.31 nFilterCalls=89188, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.31
3.76/2.32 num=39, depth=40..51, filters=77902, wck=0.19, mem=37M154
3.76/2.32 decisions=19256, wrong=8813, backtracks=6484, failedAssignments=4410, nogoods=142
3.76/2.32 nFilterCalls=97988, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.32
3.76/2.33 num=40, depth=27..45, filters=85707, wck=0.199, mem=37M154
3.76/2.33 decisions=21091, wrong=9717, backtracks=7157, failedAssignments=4862, nogoods=149
3.76/2.33 nFilterCalls=107553, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.33
3.76/2.34 num=41, depth=42..52, filters=94389, wck=0.21, mem=37M154
3.76/2.34 decisions=23124, wrong=10711, backtracks=7900, failedAssignments=5359, nogoods=154
3.76/2.34 nFilterCalls=118224, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.34
3.76/2.35 num=42, depth=34..45, filters=103339, wck=0.22, mem=37M154
3.76/2.35 decisions=25352, wrong=11805, backtracks=8717, failedAssignments=5906, nogoods=158
3.76/2.35 nFilterCalls=129300, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.35
3.76/2.36 num=43, depth=41..52, filters=114426, wck=0.233, mem=37M154
3.76/2.36 decisions=27803, wrong=13009, backtracks=9617, failedAssignments=6508, nogoods=164
3.76/2.36 nFilterCalls=142779, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.36
3.76/2.37 num=44, depth=33..53, filters=126476, wck=0.245, mem=39M797
3.76/2.37 decisions=30485, wrong=14333, backtracks=10590, failedAssignments=7170, nogoods=171
3.76/2.37 nFilterCalls=157457, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.37
3.76/2.38 num=45, depth=42..52, filters=139455, wck=0.256, mem=39M797
3.76/2.38 decisions=33443, wrong=15789, backtracks=11679, failedAssignments=7898, nogoods=176
3.76/2.38 nFilterCalls=173349, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.38
3.76/2.39 num=46, depth=26..42, filters=154514, wck=0.268, mem=39M797
3.76/2.39 decisions=36673, wrong=17391, backtracks=12876, failedAssignments=8699, nogoods=185
3.76/2.39 nFilterCalls=191559, avgTableProportion=0.75, avgTableSize=3.0
3.76/2.39
4.05/2.41 num=47, depth=32..51, filters=169421, wck=0.28, mem=39M797
4.05/2.41 decisions=40230, wrong=19153, backtracks=14196, failedAssignments=9580, nogoods=190
4.05/2.41 nFilterCalls=209926, avgTableProportion=0.75, avgTableSize=3.0
4.05/2.41
4.05/2.42 num=48, depth=13..42, filters=185268, wck=0.293, mem=39M797
4.05/2.42 decisions=44136, wrong=21093, backtracks=15637, failedAssignments=10550, nogoods=195
4.05/2.42 nFilterCalls=229490, avgTableProportion=0.75, avgTableSize=3.0
4.05/2.42
4.05/2.43 num=49, depth=24..54, filters=203719, wck=0.307, mem=42M439
4.05/2.43 decisions=48450, wrong=23227, backtracks=17235, failedAssignments=11617, nogoods=199
4.05/2.43 nFilterCalls=252096, avgTableProportion=0.75, avgTableSize=3.0
4.05/2.43
4.05/2.45 num=50, depth=18..53, filters=224458, wck=0.323, mem=42M439
4.05/2.45 decisions=53186, wrong=25574, backtracks=18985, failedAssignments=12790, nogoods=208
4.05/2.45 nFilterCalls=277350, avgTableProportion=0.75, avgTableSize=3.0
4.05/2.45
4.05/2.47 num=51, depth=23..35, filters=247855, wck=0.34, mem=42M439
4.05/2.47 decisions=58378, wrong=28156, backtracks=20904, failedAssignments=14081, nogoods=214
4.05/2.47 nFilterCalls=305692, avgTableProportion=0.75, avgTableSize=3.0
4.05/2.47
4.05/2.48 num=52, depth=22..51, filters=272634, wck=0.359, mem=45M82
4.05/2.48 decisions=64091, wrong=30996, backtracks=23028, failedAssignments=15501, nogoods=219
4.05/2.48 nFilterCalls=336018, avgTableProportion=0.75, avgTableSize=3.0
4.05/2.48
4.15/2.51 num=53, depth=40..52, filters=300756, wck=0.38, mem=45M82
4.15/2.51 decisions=70381, wrong=34120, backtracks=25369, failedAssignments=17063, nogoods=225
4.15/2.51 nFilterCalls=370199, avgTableProportion=0.75, avgTableSize=3.0
4.15/2.51
4.26/2.63 num=54, depth=27..52, filters=331093, wck=0.404, mem=47M724
4.26/2.63 decisions=77282, wrong=37556, backtracks=27943, failedAssignments=18781, nogoods=230
4.26/2.63 nFilterCalls=407306, avgTableProportion=0.75, avgTableSize=3.0
4.26/2.63
4.26/2.63 num=55, depth=11..42, filters=364501, wck=0.427, mem=47M724
4.26/2.63 decisions=84857, wrong=41336, backtracks=30751, failedAssignments=20671, nogoods=234
4.26/2.63 nFilterCalls=447924, avgTableProportion=0.75, avgTableSize=3.0
4.26/2.63
4.26/2.63 num=56, depth=25..53, filters=407036, wck=0.457, mem=50M367
4.26/2.63 decisions=93215, wrong=45494, backtracks=33862, failedAssignments=22750, nogoods=243
4.26/2.63 nFilterCalls=498443, avgTableProportion=0.75, avgTableSize=3.0
4.26/2.63
4.26/2.63 num=57, depth=34..53, filters=449135, wck=0.493, mem=50M367
4.26/2.63 decisions=102397, wrong=50063, backtracks=37229, failedAssignments=25037, nogoods=250
4.26/2.63 nFilterCalls=549232, avgTableProportion=0.75, avgTableSize=3.0
4.26/2.63
4.26/2.67 num=58, depth=39..53, filters=494908, wck=0.543, mem=53M9
4.26/2.67 decisions=112503, wrong=55095, backtracks=40999, failedAssignments=27553, nogoods=257
4.26/2.67 nFilterCalls=604791, avgTableProportion=0.75, avgTableSize=3.0
4.26/2.67
4.46/2.70 num=59, depth=30..53, filters=544479, wck=0.578, mem=53M9
4.46/2.70 decisions=123607, wrong=60631, backtracks=45125, failedAssignments=30321, nogoods=262
4.46/2.70 nFilterCalls=665077, avgTableProportion=0.75, avgTableSize=3.0
4.46/2.70
4.46/2.75 num=60, depth=11..54, filters=601613, wck=0.62, mem=55M651
4.46/2.75 decisions=135825, wrong=66719, backtracks=49673, failedAssignments=33365, nogoods=267
4.46/2.75 nFilterCalls=733903, avgTableProportion=0.75, avgTableSize=3.0
4.46/2.75
4.46/2.79 num=61, depth=34..48, filters=661475, wck=0.662, mem=58M294
4.46/2.79 decisions=149256, wrong=73417, backtracks=54680, failedAssignments=36714, nogoods=273
4.46/2.79 nFilterCalls=806562, avgTableProportion=0.75, avgTableSize=3.0
4.46/2.79
4.56/2.84 num=62, depth=28..52, filters=729947, wck=0.713, mem=60M936
4.56/2.84 decisions=164036, wrong=80785, backtracks=60201, failedAssignments=40398, nogoods=280
4.56/2.84 nFilterCalls=889155, avgTableProportion=0.75, avgTableSize=3.0
4.56/2.84
4.56/2.89 num=63, depth=26..52, filters=804706, wck=0.766, mem=63M579
4.56/2.89 decisions=180271, wrong=88884, backtracks=66274, failedAssignments=44450, nogoods=287
4.56/2.89 nFilterCalls=979576, avgTableProportion=0.75, avgTableSize=3.0
4.56/2.89
4.68/2.95 num=64, depth=39..53, filters=895808, wck=0.827, mem=66M221
4.68/2.95 decisions=198149, wrong=97800, backtracks=72938, failedAssignments=48907, nogoods=292
4.68/2.95 nFilterCalls=1087527, avgTableProportion=0.75, avgTableSize=3.0
4.68/2.95
4.79/3.02 num=65, depth=28..52, filters=997919, wck=0.893, mem=68M864
4.79/3.02 decisions=217811, wrong=107614, backtracks=80286, failedAssignments=53810, nogoods=299
4.79/3.02 nFilterCalls=1208185, avgTableProportion=0.75, avgTableSize=3.0
4.79/3.02
4.79/3.09 num=66, depth=27..41, filters=1102484, wck=0.962, mem=71M506
4.79/3.09 decisions=239413, wrong=118399, backtracks=88371, failedAssignments=59204, nogoods=307
4.79/3.09 nFilterCalls=1333745, avgTableProportion=0.75, avgTableSize=3.0
4.79/3.09
4.90/3.17 num=67, depth=8..52, filters=1218879, wck=1.044, mem=76M791
4.90/3.17 decisions=263186, wrong=130265, backtracks=97253, failedAssignments=65137, nogoods=316
4.90/3.17 nFilterCalls=1472783, avgTableProportion=0.75, avgTableSize=3.0
4.90/3.17
4.99/3.28 num=68, depth=38..52, filters=1399550, wck=1.153, mem=82M76
4.99/3.28 decisions=289333, wrong=143317, backtracks=107015, failedAssignments=71663, nogoods=324
4.99/3.28 nFilterCalls=1677161, avgTableProportion=0.75, avgTableSize=3.0
4.99/3.28
5.09/3.37 num=69, depth=21..37, filters=1541254, wck=1.245, mem=87M361
5.09/3.37 decisions=318077, wrong=157676, backtracks=117780, failedAssignments=78842, nogoods=332
5.09/3.37 nFilterCalls=1846394, avgTableProportion=0.75, avgTableSize=3.0
5.09/3.37
5.19/3.48 num=70, depth=35..53, filters=1697935, wck=1.35, mem=90M3
5.19/3.48 decisions=349711, wrong=173470, backtracks=129249, failedAssignments=86739, nogoods=337
5.19/3.48 nFilterCalls=2032255, avgTableProportion=0.75, avgTableSize=3.0
5.19/3.48
5.29/3.59 num=71, depth=33..53, filters=1866426, wck=1.468, mem=95M288
5.29/3.59 decisions=384501, wrong=190844, backtracks=141948, failedAssignments=95426, nogoods=344
5.29/3.59 nFilterCalls=2233680, avgTableProportion=0.75, avgTableSize=3.0
5.29/3.59
5.49/3.72 num=72, depth=13..28, filters=2064398, wck=1.592, mem=103M215
5.49/3.72 decisions=422729, wrong=209948, backtracks=156273, failedAssignments=104981, nogoods=349
5.49/3.72 nFilterCalls=2468283, avgTableProportion=0.75, avgTableSize=3.0
5.49/3.72
5.59/3.86 num=73, depth=9..54, filters=2257762, wck=1.734, mem=108M500
5.59/3.86 decisions=464818, wrong=230972, backtracks=171900, failedAssignments=115492, nogoods=360
5.59/3.86 nFilterCalls=2701171, avgTableProportion=0.75, avgTableSize=3.0
5.59/3.86
5.80/4.04 num=74, depth=36..52, filters=2543476, wck=1.916, mem=119M70
5.80/4.04 decisions=511105, wrong=254096, backtracks=189159, failedAssignments=127054, nogoods=371
5.80/4.04 nFilterCalls=3030393, avgTableProportion=0.75, avgTableSize=3.0
5.80/4.04
5.99/4.21 num=75, depth=18..51, filters=2813693, wck=2.087, mem=126M997
5.99/4.21 decisions=561991, wrong=279518, backtracks=208224, failedAssignments=139772, nogoods=379
5.99/4.21 nFilterCalls=3349457, avgTableProportion=0.75, avgTableSize=3.0
5.99/4.21
6.20/4.41 num=76, depth=13..55, filters=3082258, wck=2.281, mem=134M925
6.20/4.41 decisions=617992, wrong=307498, backtracks=228803, failedAssignments=153762, nogoods=387
6.20/4.41 nFilterCalls=3668463, avgTableProportion=0.75, avgTableSize=3.0
6.20/4.41
6.41/4.65 num=77, depth=14..56, filters=3420266, wck=2.522, mem=23M51
6.41/4.65 decisions=679591, wrong=338277, backtracks=251293, failedAssignments=169151, nogoods=397
6.41/4.65 nFilterCalls=4062988, avgTableProportion=0.75, avgTableSize=3.0
6.41/4.65
6.63/4.86 num=78, depth=9..54, filters=3726911, wck=2.737, mem=33M515
6.63/4.86 decisions=747340, wrong=372133, backtracks=275881, failedAssignments=186079, nogoods=404
6.63/4.86 nFilterCalls=4434171, avgTableProportion=0.75, avgTableSize=3.0
6.63/4.86
6.94/5.11 num=79, depth=23..54, filters=4098026, wck=2.985, mem=43M979
6.94/5.11 decisions=821877, wrong=409379, backtracks=303737, failedAssignments=204700, nogoods=413
6.94/5.11 nFilterCalls=4876405, avgTableProportion=0.75, avgTableSize=3.0
6.94/5.11
7.13/5.39 num=80, depth=37..54, filters=4529466, wck=3.262, mem=59M675
7.13/5.39 decisions=903851, wrong=450344, backtracks=334181, failedAssignments=225184, nogoods=419
7.13/5.39 nFilterCalls=5383610, avgTableProportion=0.75, avgTableSize=3.0
7.13/5.39
7.44/5.68 num=81, depth=19..54, filters=5012350, wck=3.551, mem=75M371
7.44/5.68 decisions=993949, wrong=495379, backtracks=367529, failedAssignments=247716, nogoods=428
7.44/5.68 nFilterCalls=5952743, avgTableProportion=0.75, avgTableSize=3.0
7.44/5.68
7.84/6.03 num=82, depth=7..54, filters=5532110, wck=3.905, mem=91M67
7.84/6.03 decisions=1093126, wrong=544949, backtracks=404585, failedAssignments=272501, nogoods=440
7.84/6.03 nFilterCalls=6567180, avgTableProportion=0.75, avgTableSize=3.0
7.84/6.03
8.24/6.41 num=83, depth=35..52, filters=6121367, wck=4.288, mem=109M379
8.24/6.41 decisions=1202212, wrong=599471, backtracks=445323, failedAssignments=299765, nogoods=448
8.24/6.41 nFilterCalls=7259532, avgTableProportion=0.75, avgTableSize=3.0
8.24/6.41
8.64/6.85 num=84, depth=36..54, filters=6842521, wck=4.726, mem=132M923
8.64/6.85 decisions=1322198, wrong=659443, backtracks=489883, failedAssignments=329755, nogoods=456
8.64/6.85 nFilterCalls=8093994, avgTableProportion=0.75, avgTableSize=3.0
8.64/6.85
9.14/7.32 num=85, depth=14..54, filters=7519473, wck=5.195, mem=23M101
9.14/7.32 decisions=1454200, wrong=725421, backtracks=539227, failedAssignments=362744, nogoods=461
9.14/7.32 nFilterCalls=8896700, avgTableProportion=0.75, avgTableSize=3.0
9.14/7.32
9.67/7.86 num=86, depth=31..54, filters=8392604, wck=5.733, mem=49M354
9.67/7.86 decisions=1599333, wrong=797967, backtracks=593683, failedAssignments=399032, nogoods=471
9.67/7.86 nFilterCalls=9909733, avgTableProportion=0.75, avgTableSize=3.0
9.67/7.86
10.27/8.42 num=87, depth=16..53, filters=9277015, wck=6.294, mem=78M231
10.27/8.42 decisions=1758964, wrong=877762, backtracks=653294, failedAssignments=438949, nogoods=481
10.27/8.42 nFilterCalls=10945615, avgTableProportion=0.75, avgTableSize=3.0
10.27/8.42
10.88/9.07 num=88, depth=36..54, filters=10250112, wck=6.94, mem=109M734
10.88/9.07 decisions=1934646, wrong=965580, backtracks=718807, failedAssignments=482858, nogoods=486
10.88/9.07 nFilterCalls=12083713, avgTableProportion=0.75, avgTableSize=3.0
10.88/9.07
11.57/9.74 num=89, depth=21..53, filters=11316087, wck=7.612, mem=143M862
11.57/9.74 decisions=2127780, wrong=1062133, backtracks=789123, failedAssignments=531158, nogoods=495
11.57/9.74 nFilterCalls=13328926, avgTableProportion=0.75, avgTableSize=3.0
11.57/9.74
12.31/10.48 num=90, depth=14..54, filters=12406997, wck=8.349, mem=44M458
12.31/10.48 decisions=2340338, wrong=1168393, backtracks=868425, failedAssignments=584288, nogoods=507
12.31/10.48 nFilterCalls=14621095, avgTableProportion=0.75, avgTableSize=3.0
12.31/10.48
13.21/11.33 num=91, depth=14..52, filters=13733095, wck=9.204, mem=88M980
13.21/11.33 decisions=2574172, wrong=1285290, backtracks=955747, failedAssignments=642731, nogoods=517
13.21/11.33 nFilterCalls=16170075, avgTableProportion=0.75, avgTableSize=3.0
13.21/11.33
14.11/12.21 num=92, depth=17..52, filters=15137977, wck=10.087, mem=133M502
14.11/12.21 decisions=2831330, wrong=1413848, backtracks=1051986, failedAssignments=707018, nogoods=523
14.11/12.21 nFilterCalls=17819797, avgTableProportion=0.75, avgTableSize=3.0
14.11/12.21
15.12/13.29 num=93, depth=34..53, filters=16805088, wck=11.167, mem=184M874
15.12/13.29 decisions=3114149, wrong=1555237, backtracks=1157757, failedAssignments=777734, nogoods=531
15.12/13.29 nFilterCalls=19756309, avgTableProportion=0.75, avgTableSize=3.0
15.12/13.29
16.35/14.46 num=94, depth=34..53, filters=18483671, wck=12.337, mem=68M502
16.35/14.46 decisions=3425226, wrong=1710755, backtracks=1273873, failedAssignments=855521, nogoods=538
16.35/14.46 nFilterCalls=21728537, avgTableProportion=0.75, avgTableSize=3.0
16.35/14.46
17.55/15.65 num=95, depth=8..40, filters=20420034, wck=13.52, mem=130M240
17.55/15.65 decisions=3767543, wrong=1881901, backtracks=1401541, failedAssignments=941087, nogoods=551
17.55/15.65 nFilterCalls=23989814, avgTableProportion=0.75, avgTableSize=3.0
17.55/15.65
18.96/17.01 num=96, depth=27..54, filters=22426218, wck=14.883, mem=191M978
18.96/17.01 decisions=4144048, wrong=2070132, backtracks=1542497, failedAssignments=1035210, nogoods=556
18.96/17.01 nFilterCalls=26355585, avgTableProportion=0.75, avgTableSize=3.0
18.96/17.01
20.49/18.59 num=97, depth=34..55, filters=24736764, wck=16.461, mem=95M761
20.49/18.59 decisions=4558155, wrong=2277166, backtracks=1697558, failedAssignments=1138745, nogoods=567
20.49/18.59 nFilterCalls=29058771, avgTableProportion=0.75, avgTableSize=3.0
20.49/18.59
22.19/20.26 num=98, depth=29..51, filters=27241841, wck=18.133, mem=175M456
22.19/20.26 decisions=5012705, wrong=2504424, backtracks=1868544, failedAssignments=1252634, nogoods=574
22.19/20.26 nFilterCalls=32001860, avgTableProportion=0.75, avgTableSize=3.0
22.19/20.26
24.13/22.13 num=99, depth=34..53, filters=29973981, wck=20.008, mem=38M214
24.13/22.13 decisions=5513588, wrong=2754845, backtracks=2055368, failedAssignments=1377912, nogoods=585
24.13/22.13 nFilterCalls=35203185, avgTableProportion=0.75, avgTableSize=3.0
24.13/22.13
26.32/24.30 num=100, depth=13..55, filters=33201380, wck=22.175, mem=144M541
26.32/24.30 decisions=6064778, wrong=3030417, backtracks=2261508, failedAssignments=1515718, nogoods=592
26.32/24.30 nFilterCalls=38954011, avgTableProportion=0.75, avgTableSize=3.0
26.32/24.30
28.36/26.38 num=101, depth=14..40, filters=36659843, wck=24.25, mem=31M641
28.36/26.38 decisions=6671044, wrong=3333537, backtracks=2488372, failedAssignments=1667304, nogoods=602
28.36/26.38 nFilterCalls=42991710, avgTableProportion=0.75, avgTableSize=3.0
28.36/26.38
31.16/29.01 num=102, depth=11..54, filters=40481904, wck=26.881, mem=154M273
31.16/29.01 decisions=7338058, wrong=3667023, backtracks=2738043, failedAssignments=1834049, nogoods=610
31.16/29.01 nFilterCalls=47447746, avgTableProportion=0.75, avgTableSize=3.0
31.16/29.01
34.17/32.01 num=103, depth=15..55, filters=44654139, wck=29.88, mem=288M54
34.17/32.01 decisions=8071487, wrong=4033717, backtracks=3012337, failedAssignments=2017468, nogoods=620
34.17/32.01 nFilterCalls=52309263, avgTableProportion=0.75, avgTableSize=3.0
34.17/32.01
36.99/34.89 num=104, depth=15..44, filters=49310570, wck=32.76, mem=156M257
36.99/34.89 decisions=8878563, wrong=4437238, backtracks=3314719, failedAssignments=2219229, nogoods=627
36.99/34.89 nFilterCalls=57733560, avgTableProportion=0.75, avgTableSize=3.0
36.99/34.89
40.32/38.18 num=105, depth=24..53, filters=54153720, wck=36.053, mem=36M350
40.32/38.18 decisions=9765956, wrong=4880915, backtracks=3646030, failedAssignments=2441167, nogoods=638
40.32/38.18 nFilterCalls=63413250, avgTableProportion=0.75, avgTableSize=3.0
40.32/38.18
44.32/42.14 num=106, depth=17..54, filters=59992868, wck=40.017, mem=226M543
44.32/42.14 decisions=10742473, wrong=5369154, backtracks=4010559, failedAssignments=2685298, nogoods=651
44.32/42.14 nFilterCalls=70166438, avgTableProportion=0.75, avgTableSize=3.0
44.32/42.14
48.23/46.07 num=107, depth=26..53, filters=66115136, wck=43.945, mem=154M367
48.23/46.07 decisions=11816257, wrong=5906026, backtracks=4411608, failedAssignments=2953843, nogoods=658
48.23/46.07 nFilterCalls=77306354, avgTableProportion=0.75, avgTableSize=3.0
48.23/46.07
52.93/50.77 num=108, depth=12..56, filters=73131080, wck=48.643, mem=120M764
52.93/50.77 decisions=12997672, wrong=6496713, backtracks=4849999, failedAssignments=3249242, nogoods=669
52.93/50.77 nFilterCalls=85396303, avgTableProportion=0.75, avgTableSize=3.0
52.93/50.77
57.84/55.64 num=109, depth=9..56, filters=80591854, wck=53.519, mem=108M513
57.84/55.64 decisions=14296810, wrong=7146262, backtracks=5330744, failedAssignments=3574181, nogoods=679
57.84/55.64 nFilterCalls=94041428, avgTableProportion=0.75, avgTableSize=3.0
57.84/55.64
63.95/61.72 num=110, depth=13..56, filters=89760865, wck=59.593, mem=153M821
63.95/61.72 decisions=15726535, wrong=7861105, backtracks=5859430, failedAssignments=3931614, nogoods=693
63.95/61.72 nFilterCalls=104547082, avgTableProportion=0.75, avgTableSize=3.0
63.95/61.72
70.06/67.86 num=111, depth=11..53, filters=98912395, wck=65.734, mem=206M334
70.06/67.86 decisions=17299280, wrong=8647459, backtracks=6433539, failedAssignments=4324790, nogoods=703
70.06/67.86 nFilterCalls=115174760, avgTableProportion=0.75, avgTableSize=3.0
70.06/67.86
77.08/74.89 num=112, depth=12..53, filters=109885823, wck=72.765, mem=95M777
77.08/74.89 decisions=19028783, wrong=9512191, backtracks=7071996, failedAssignments=4757284, nogoods=714
77.08/74.89 nFilterCalls=127783951, avgTableProportion=0.75, avgTableSize=3.0
77.08/74.89
84.89/82.68 num=113, depth=31..51, filters=122226844, wck=80.557, mem=54M366
84.89/82.68 decisions=20931919, wrong=10463739, backtracks=7784527, failedAssignments=5233028, nogoods=724
84.89/82.68 nFilterCalls=141952432, avgTableProportion=0.75, avgTableSize=3.0
84.89/82.68
94.21/91.98 num=114, depth=14..54, filters=136296336, wck=89.85, mem=85M85
94.21/91.98 decisions=23025151, wrong=11510336, backtracks=8559961, failedAssignments=5756346, nogoods=737
94.21/91.98 nFilterCalls=157993253, avgTableProportion=0.75, avgTableSize=3.0
94.21/91.98
103.82/101.55 num=115, depth=24..54, filters=150635789, wck=99.427, mem=143M854
103.82/101.55 decisions=25326915, wrong=12661198, backtracks=9421102, failedAssignments=6331996, nogoods=747
103.82/101.55 nFilterCalls=174543724, avgTableProportion=0.75, avgTableSize=3.0
103.82/101.55
114.64/112.31 num=116, depth=19..53, filters=166338220, wck=110.187, mem=78M411
114.64/112.31 decisions=27858916, wrong=13927179, backtracks=10360209, failedAssignments=6965211, nogoods=756
114.64/112.31 nFilterCalls=192600753, avgTableProportion=0.75, avgTableSize=3.0
114.64/112.31
126.16/123.88 num=117, depth=20..55, filters=183129584, wck=121.757, mem=85M166
126.16/123.88 decisions=30644534, wrong=15319968, backtracks=11396747, failedAssignments=7661747, nogoods=769
126.16/123.88 nFilterCalls=211953152, avgTableProportion=0.75, avgTableSize=3.0
126.16/123.88
138.39/136.08 num=118, depth=31..54, filters=201673197, wck=133.951, mem=174M376
138.39/136.08 decisions=33709593, wrong=16852478, backtracks=12536829, failedAssignments=8427937, nogoods=781
138.39/136.08 nFilterCalls=233337371, avgTableProportion=0.75, avgTableSize=3.0
138.39/136.08
154.01/151.69 num=119, depth=33..55, filters=225652592, wck=149.563, mem=23M801
154.01/151.69 decisions=37079107, wrong=18537214, backtracks=13797805, failedAssignments=9270746, nogoods=791
154.01/151.69 nFilterCalls=260545905, avgTableProportion=0.75, avgTableSize=3.0
154.01/151.69
170.06/167.61 num=120, depth=31..54, filters=248286246, wck=165.486, mem=55M18
170.06/167.61 decisions=40786757, wrong=20391020, backtracks=15178613, failedAssignments=10197836, nogoods=801
170.06/167.61 nFilterCalls=286704525, avgTableProportion=0.75, avgTableSize=3.0
170.06/167.61
188.09/185.66 num=121, depth=31..53, filters=274328788, wck=183.534, mem=127M653
188.09/185.66 decisions=44865084, wrong=22430165, backtracks=16694983, failedAssignments=11217635, nogoods=814
188.09/185.66 nFilterCalls=316549453, avgTableProportion=0.75, avgTableSize=3.0
188.09/185.66
207.75/205.24 num=122, depth=30..54, filters=303083896, wck=203.117, mem=33M557
207.75/205.24 decisions=49351755, wrong=24673480, backtracks=18372298, failedAssignments=12339414, nogoods=823
207.75/205.24 nFilterCalls=349561594, avgTableProportion=0.75, avgTableSize=3.0
207.75/205.24
230.21/227.68 num=123, depth=30..54, filters=337075786, wck=225.558, mem=37M593
230.21/227.68 decisions=54282275, wrong=27138718, backtracks=20204424, failedAssignments=13573371, nogoods=830
230.21/227.68 nFilterCalls=388223446, avgTableProportion=0.75, avgTableSize=3.0
230.21/227.68
255.71/253.06 num=124, depth=23..53, filters=374862002, wck=250.93, mem=50M788
255.71/253.06 decisions=59709392, wrong=29852258, backtracks=22227141, failedAssignments=14930724, nogoods=842
255.71/253.06 nFilterCalls=431134768, avgTableProportion=0.75, avgTableSize=3.0
255.71/253.06
280.90/278.17 num=125, depth=30..54, filters=410369699, wck=276.044, mem=64M652
280.90/278.17 decisions=65680975, wrong=32838031, backtracks=24449295, failedAssignments=16423812, nogoods=856
280.90/278.17 nFilterCalls=472173207, avgTableProportion=0.75, avgTableSize=3.0
280.90/278.17
311.10/308.25 num=126, depth=17..54, filters=453500488, wck=306.12, mem=72M20
311.10/308.25 decisions=72249476, wrong=36122263, backtracks=26880815, failedAssignments=18066209, nogoods=869
311.10/308.25 nFilterCalls=521470168, avgTableProportion=0.75, avgTableSize=3.0
311.10/308.25
343.62/340.67 num=127, depth=31..55, filters=497170135, wck=338.542, mem=28M646
343.62/340.67 decisions=79474227, wrong=39734619, backtracks=29562521, failedAssignments=19872846, nogoods=882
343.62/340.67 nFilterCalls=571855013, avgTableProportion=0.75, avgTableSize=3.0
343.62/340.67
381.15/378.10 num=128, depth=14..55, filters=549839398, wck=375.977, mem=30M823
381.15/378.10 decisions=87422635, wrong=43708806, backtracks=32506044, failedAssignments=21860147, nogoods=901
381.15/378.10 nFilterCalls=631908357, avgTableProportion=0.75, avgTableSize=3.0
381.15/378.10
420.87/417.68 num=129, depth=9..55, filters=606189370, wck=415.55, mem=43M800
420.87/417.68 decisions=96165593, wrong=48080266, backtracks=35772680, failedAssignments=24046178, nogoods=914
420.87/417.68 nFilterCalls=696567439, avgTableProportion=0.75, avgTableSize=3.0
420.87/417.68
465.60/462.28 num=130, depth=11..55, filters=667363521, wck=460.159, mem=45M976
465.60/462.28 decisions=105784018, wrong=52889459, backtracks=39293638, failedAssignments=26450812, nogoods=926
465.60/462.28 nFilterCalls=766490182, avgTableProportion=0.75, avgTableSize=3.0
465.60/462.28
515.56/512.02 num=131, depth=30..55, filters=734932990, wck=509.891, mem=37M352
515.56/512.02 decisions=116362569, wrong=58178714, backtracks=43243263, failedAssignments=29095909, nogoods=937
515.56/512.02 nFilterCalls=844028129, avgTableProportion=0.75, avgTableSize=3.0
515.56/512.02
567.49/563.86 num=132, depth=29..54, filters=805733571, wck=561.737, mem=22M256
567.49/563.86 decisions=127999479, wrong=63997151, backtracks=47569299, failedAssignments=32005516, nogoods=951
567.49/563.86 nFilterCalls=925621446, avgTableProportion=0.75, avgTableSize=3.0
567.49/563.86
628.05/624.26 num=133, depth=22..56, filters=888738022, wck=622.135, mem=73M26
628.05/624.26 decisions=140799905, wrong=70397343, backtracks=52336072, failedAssignments=35206084, nogoods=960
628.05/624.26 nFilterCalls=1020740889, avgTableProportion=0.75, avgTableSize=3.0
628.05/624.26
694.82/690.80 num=134, depth=19..56, filters=984231396, wck=688.673, mem=36M330
694.82/690.80 decisions=154879514, wrong=77437129, backtracks=57595107, failedAssignments=38726709, nogoods=972
694.82/690.80 nFilterCalls=1129635673, avgTableProportion=0.75, avgTableSize=3.0
694.82/690.80
767.39/763.24 num=135, depth=30..54, filters=1085538648, wck=761.11, mem=75M227
767.39/763.24 decisions=170365201, wrong=85179954, backtracks=63356588, failedAssignments=42599396, nogoods=984
767.39/763.24 nFilterCalls=1245534935, avgTableProportion=0.75, avgTableSize=3.0
767.39/763.24
851.88/847.52 num=136, depth=17..55, filters=1198765195, wck=845.396, mem=62M291
851.88/847.52 decisions=187403976, wrong=93699319, backtracks=69708386, failedAssignments=46859352, nogoods=992
851.88/847.52 nFilterCalls=1374775442, avgTableProportion=0.75, avgTableSize=3.0
851.88/847.52
938.77/934.22 num=137, depth=11..54, filters=1319352352, wck=932.092, mem=67M716
938.77/934.22 decisions=206138808, wrong=103066715, backtracks=76679067, failedAssignments=51545304, nogoods=1000
938.77/934.22 nFilterCalls=1512814604, avgTableProportion=0.75, avgTableSize=3.0
938.77/934.22
1040.68/1035.92 num=138, depth=31..57, filters=1458064767, wck=1033.79, mem=56M940
1040.68/1035.92 decisions=226754145, wrong=113374362, backtracks=84350063, failedAssignments=56699851, nogoods=1011
1040.68/1035.92 nFilterCalls=1670919121, avgTableProportion=0.75, avgTableSize=3.0
1040.68/1035.92
1146.61/1141.66 num=139, depth=7..56, filters=1598344247, wck=1139.535, mem=40M756
1146.61/1141.66 decisions=249426208, wrong=124710375, backtracks=92810461, failedAssignments=62369853, nogoods=1026
1146.61/1141.66 nFilterCalls=1832520637, avgTableProportion=0.75, avgTableSize=3.0
1146.61/1141.66
1261.72/1256.53 num=140, depth=20..56, filters=1746934093, wck=1254.407, mem=68M862
1261.72/1256.53 decisions=274367039, wrong=137180771, backtracks=102010363, failedAssignments=68606855, nogoods=1041
1261.72/1256.53 nFilterCalls=2003843050, avgTableProportion=0.75, avgTableSize=3.0
1261.72/1256.53
1398.18/1392.73 num=141, depth=9..54, filters=1931008896, wck=1390.608, mem=45M117
1398.18/1392.73 decisions=301805395, wrong=150899931, backtracks=112269320, failedAssignments=75467557, nogoods=1057
1398.18/1392.73
1544.56/1538.81 num=142, depth=15..56, filters=2128194949, wck=1536.686, mem=60M262
1544.56/1538.81 decisions=331983050, wrong=165988740, backtracks=123512118, failedAssignments=83014330, nogoods=1069
1544.56/1538.81
1701.04/1695.10 num=143, depth=23..56, filters=2333643815, wck=1692.969, mem=63M527
1701.04/1695.10 decisions=365182355, wrong=182588372, backtracks=135812921, failedAssignments=91315780, nogoods=1081
1701.04/1695.10
1877.04/1870.79 num=144, depth=22..54, filters=2575055781, wck=1868.662, mem=27M911
1877.04/1870.79 decisions=401701155, wrong=200847752, backtracks=149385506, failedAssignments=100447375, nogoods=1091
1877.04/1870.79
2068.69/2062.04 num=145, depth=19..56, filters=2823420599, wck=2059.919, mem=51M688
2068.69/2062.04 decisions=441879039, wrong=220936674, backtracks=164371874, failedAssignments=110492129, nogoods=1103
2068.69/2062.04
2296.77/2289.76 num=146, depth=8..55, filters=3126557819, wck=2287.636, mem=40M912
2296.77/2289.76 decisions=486064552, wrong=243029412, backtracks=180840420, failedAssignments=121541359, nogoods=1117
2296.77/2289.76
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 (12204 MiB free)
memory of node 1: 16384 MiB (13242 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390541-1568381775/watcher-4390541-1568381775 -o /tmp/evaluation-result-4390541-1568381775/solver-4390541-1568381775 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17199 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390541-1568381775.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=17763, runsolver pid=17760
[startup+0.102961 s]*
/proc/loadavg: 2.00 1.88 1.43 5/228 17778
/proc/meminfo: memFree=26041276/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10659884 memory=29276 CPUtime=0.15 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 5847 0 0 0 14 1 0 0 20 0 15 0 414424805 10915721216 7253 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2664971 7319 2924 1 0 2627468 0
[pid=17763/tid=17765] ppid=17760 vsize=10659884 memory=-8125511277465341569 CPUtime=0.09 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) R 17760 17763 17167 0 -1 4202560 3229 0 0 0 9 0 0 0 20 0 15 0 414424805 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135915094648 140135894947196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424807 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414424808 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135468975008 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414424808 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135467922416 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424810 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) R 17760 17763 17167 0 -1 4202560 584 0 0 0 0 0 0 0 20 0 15 0 414424810 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135465799624 140135891568343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 414424810 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0.03 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) R 17760 17763 17167 0 -1 4202560 672 0 0 0 3 0 0 0 20 0 15 0 414424810 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135463710424 140135890265195 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424811 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424811 10915721216 7450 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29276 KiB
[startup+0.210781 s]*
/proc/loadavg: 2.00 1.88 1.43 3/228 17778
/proc/meminfo: memFree=26033464/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10659884 memory=35252 CPUtime=0.33 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 6958 0 0 0 31 2 0 0 20 0 15 0 414424805 10915721216 8813 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2664971 8813 2989 1 0 2627468 0
[pid=17763/tid=17765] ppid=17760 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) R 17760 17763 17167 0 -1 4202560 3853 0 0 0 19 1 0 0 20 0 15 0 414424805 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135915093040 140135910888605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10659884 memory=4051463433804453536 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424807 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414424808 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135468975008 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414424808 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135467922416 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424810 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) S 17760 17763 17167 0 -1 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 414424810 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135465818608 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 15 0 414424810 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0.05 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 725 0 0 0 5 0 0 0 20 0 15 0 414424810 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424811 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424811 10915721216 8813 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35252 KiB
[startup+0.310139 s]*
/proc/loadavg: 2.00 1.88 1.43 4/228 17778
/proc/meminfo: memFree=26026004/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10659884 memory=40640 CPUtime=0.48 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 9508 0 0 0 45 3 0 0 20 0 15 0 414424805 10915721216 10160 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2664971 10160 3002 1 0 2627468 0
[pid=17763/tid=17765] ppid=17760 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) R 17760 17763 17167 0 -1 4202560 6329 0 0 0 28 2 0 0 20 0 15 0 414424805 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135915098480 140135894947166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10659884 memory=3691175463614813856 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424806 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424807 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414424808 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135468975008 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414424808 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135467922416 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424810 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) S 17760 17763 17167 0 -1 1077944384 729 0 0 0 4 0 0 0 20 0 15 0 414424810 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135465818608 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 340 0 0 0 4 0 0 0 20 0 15 0 414424810 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0.08 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 414424810 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424811 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10659884 memory=139980892673664 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424811 10915721216 10160 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40640 KiB
[startup+0.700756 s]
/proc/loadavg: 2.00 1.88 1.43 4/228 17778
/proc/meminfo: memFree=26017220/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10661932 memory=63916 CPUtime=1.11 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 13127 0 0 0 106 5 0 0 20 0 15 0 414424805 10917818368 15979 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2665483 15979 3073 1 0 2627980 0
[pid=17763/tid=17765] ppid=17760 vsize=10661932 memory=1436 CPUtime=0.67 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) R 17760 17763 17167 0 -1 4202560 8880 0 0 0 64 3 0 0 20 0 15 0 414424805 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135915098704 140135910888605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10661932 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10661932 memory=692 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424806 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10661932 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424807 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414424808 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135468975008 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414424808 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135467922416 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424810 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10661932 memory=7739276948478061671 CPUtime=0.11 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) R 17760 17763 17167 0 -1 4202560 1129 0 0 0 11 0 0 0 20 0 15 0 414424810 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135465818608 140135892410402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10661932 memory=7019257425709197167 CPUtime=0.1 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 559 0 0 0 10 0 0 0 20 0 15 0 414424810 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 1212 0 0 0 18 0 0 0 20 0 15 0 414424810 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414424811 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424811 10917818368 15979 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63916 KiB
[startup+1.50078 s]
/proc/loadavg: 2.00 1.88 1.43 4/228 17778
/proc/meminfo: memFree=26001024/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10663980 memory=75896 CPUtime=2 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 18701 0 0 0 194 6 0 0 20 0 15 0 414424805 10919915520 18974 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2665995 18974 3097 1 0 2628492 0
[pid=17763/tid=17765] ppid=17760 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) R 17760 17763 17167 0 -1 4202560 13120 0 0 0 144 4 0 0 20 0 15 0 414424805 10919915520 18974 33554432000 4194304 4196468 140727010421824 140135915092560 140135894947166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10919915520 18974 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10919915520 18974 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414424806 10919915520 18974 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414424806 10919915520 18974 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 414424807 10919915520 18974 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
################
# More data... #
################
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 7286 0 0 0 171 8 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.2 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 7321 0 0 0 109 11 0 0 20 0 16 0 414424807 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10746276 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135468975072 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135467922432 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10746276 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.74 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) S 17760 17763 17167 0 -1 1077944384 4056 0 0 0 73 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135465818608 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10746276 memory=3580 CPUtime=0.69 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 3798 0 0 0 68 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.52 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 8054 0 0 0 51 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10746276 memory=279961538774496 CPUtime=0.48 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 767 0 0 0 20 28 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17779] ppid=17760 vsize=10746276 memory=916 CPUtime=2376.82 cores=1,3,5,7
/proc/17763/task/17779/stat : 17779 (java) R 17760 17763 17167 0 -1 4202560 20186 0 0 0 237675 7 0 0 20 0 16 0 414424992 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135455952240 140135544138432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 2389.57 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239268 KiB
[startup+2442.3 s]
/proc/loadavg: 1.65 1.68 1.68 3/229 18650
/proc/meminfo: memFree=26105744/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10746276 memory=239268 CPUtime=2449.66 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 82118 0 0 0 244885 81 0 0 20 0 16 0 414424805 11004186624 59817 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2686569 59817 3367 1 0 2646705 0
[pid=17763/tid=17765] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.85 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) S 17760 17763 17167 0 -1 1077944384 15358 0 0 0 179 6 0 0 20 0 16 0 414424805 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135915109552 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.82 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 7289 0 0 0 174 8 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.8 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 3084 0 0 0 171 9 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.82 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 3163 0 0 0 172 10 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.83 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 7288 0 0 0 174 9 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.23 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 7503 0 0 0 112 11 0 0 20 0 16 0 414424807 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135468975072 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135467922432 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.74 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) S 17760 17763 17167 0 -1 1077944384 4058 0 0 0 73 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135465818608 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.69 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 3800 0 0 0 68 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.52 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 8056 0 0 0 51 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10746276 memory=692 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10746276 memory=4164 CPUtime=0.49 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 784 0 0 0 21 28 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17779] ppid=17760 vsize=10746276 memory=1980 CPUtime=2436.75 cores=1,3,5,7
/proc/17763/task/17779/stat : 17779 (java) R 17760 17763 17167 0 -1 4202560 20338 0 0 0 243668 7 0 0 20 0 16 0 414424992 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135455952240 140135543937009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 2449.66 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239268 KiB
[startup+2502.3 s]
/proc/loadavg: 1.69 1.69 1.68 3/229 18654
/proc/meminfo: memFree=26106040/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10746276 memory=239268 CPUtime=2509.76 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 82204 0 0 0 250894 82 0 0 20 0 16 0 414424805 11004186624 59817 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2686569 59817 3367 1 0 2646705 0
[pid=17763/tid=17765] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.85 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) S 17760 17763 17167 0 -1 1077944384 15358 0 0 0 179 6 0 0 20 0 16 0 414424805 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135915109552 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.86 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 7289 0 0 0 178 8 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.83 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 3084 0 0 0 174 9 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10746276 memory=828 CPUtime=1.86 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 3168 0 0 0 176 10 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.86 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 7288 0 0 0 177 9 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10746276 memory=239268 CPUtime=1.26 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 7511 0 0 0 115 11 0 0 20 0 16 0 414424807 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135468975072 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10746276 memory=239268 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135467922432 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10746276 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.74 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) S 17760 17763 17167 0 -1 1077944384 4058 0 0 0 73 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135465818608 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.69 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 3800 0 0 0 68 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10746276 memory=239268 CPUtime=0.52 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 8056 0 0 0 51 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10746276 memory=21492 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10746276 memory=3580 CPUtime=0.51 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 790 0 0 0 22 29 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17779] ppid=17760 vsize=10746276 memory=39548 CPUtime=2496.67 cores=1,3,5,7
/proc/17763/task/17779/stat : 17779 (java) R 17760 17763 17167 0 -1 4202560 20405 0 0 0 249660 7 0 0 20 0 16 0 414424992 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135455952128 140135544138369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 2509.76 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.6 s]
/proc/loadavg: 1.58 1.67 1.67 3/229 18656
/proc/meminfo: memFree=26106320/32770624 swapFree=66927232/67108860
[pid=17763] ppid=17760 vsize=10746276 memory=239268 CPUtime=2520.08 cores=1,3,5,7
/proc/17763/stat : 17763 (java) S 17760 17763 17167 0 -1 1077944320 82213 0 0 0 251925 83 0 0 20 0 16 0 414424805 11004186624 59817 33554432000 4194304 4196468 140727010421824 140727010404368 140135910866679 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
/proc/17763/statm: 2686569 59817 3367 1 0 2646705 0
[pid=17763/tid=17765] ppid=17760 vsize=10746276 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/17763/task/17765/stat : 17765 (java) S 17760 17763 17167 0 -1 1077944384 15358 0 0 0 179 6 0 0 20 0 16 0 414424805 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135915109552 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17766] ppid=17760 vsize=10746276 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/17763/task/17766/stat : 17766 (java) S 17760 17763 17167 0 -1 1077944384 7289 0 0 0 178 8 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135863487248 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17767] ppid=17760 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/17763/task/17767/stat : 17767 (java) S 17760 17763 17167 0 -1 1077944384 3084 0 0 0 175 10 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135862434704 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17768] ppid=17760 vsize=10746276 memory=1440 CPUtime=1.86 cores=1,3,5,7
/proc/17763/task/17768/stat : 17768 (java) S 17760 17763 17167 0 -1 1077944384 3168 0 0 0 176 10 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135861382160 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17769] ppid=17760 vsize=10746276 memory=1980 CPUtime=1.87 cores=1,3,5,7
/proc/17763/task/17769/stat : 17769 (java) S 17760 17763 17167 0 -1 1077944384 7288 0 0 0 178 9 0 0 20 0 16 0 414424806 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135860329616 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17770] ppid=17760 vsize=10746276 memory=2496 CPUtime=1.27 cores=1,3,5,7
/proc/17763/task/17770/stat : 17770 (java) S 17760 17763 17167 0 -1 1077944384 7511 0 0 0 116 11 0 0 20 0 16 0 414424807 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135470028784 140135910877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17771] ppid=17760 vsize=10746276 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17771/stat : 17771 (java) S 17760 17763 17167 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135468975072 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17772] ppid=17760 vsize=10746276 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17772/stat : 17772 (java) S 17760 17763 17167 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414424808 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135467922432 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17773] ppid=17760 vsize=10746276 memory=804 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17773/stat : 17773 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135466870992 140135910885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17774] ppid=17760 vsize=10746276 memory=1804 CPUtime=0.74 cores=1,3,5,7
/proc/17763/task/17774/stat : 17774 (java) S 17760 17763 17167 0 -1 1077944384 4058 0 0 0 73 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135465818608 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17775] ppid=17760 vsize=10746276 memory=920 CPUtime=0.69 cores=1,3,5,7
/proc/17763/task/17775/stat : 17775 (java) S 17760 17763 17167 0 -1 1077944384 3800 0 0 0 68 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135464766064 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17776] ppid=17760 vsize=10746276 memory=3848 CPUtime=0.52 cores=1,3,5,7
/proc/17763/task/17776/stat : 17776 (java) S 17760 17763 17167 0 -1 1077944384 8056 0 0 0 51 1 0 0 20 0 16 0 414424810 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135463713520 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17777] ppid=17760 vsize=10746276 memory=2636 CPUtime=0 cores=1,3,5,7
/proc/17763/task/17777/stat : 17777 (java) S 17760 17763 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135462661216 140135910876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17778] ppid=17760 vsize=10746276 memory=2736 CPUtime=0.51 cores=1,3,5,7
/proc/17763/task/17778/stat : 17778 (java) S 17760 17763 17167 0 -1 1077944384 790 0 0 0 22 29 0 0 20 0 16 0 414424811 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135461607728 140135910877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
[pid=17763/tid=17779] ppid=17760 vsize=10746276 memory=4104 CPUtime=2506.96 cores=1,3,5,7
/proc/17763/task/17779/stat : 17779 (java) R 17760 17763 17167 0 -1 4202560 20414 0 0 0 250689 7 0 0 20 0 16 0 414424992 11004186624 59817 33554432000 4194304 4196468 140727010421824 140135455952128 140135543595372 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34889728 140727010423819 140727010423922 140727010423922 140727010426831 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.62 s]
# the end of solver process 17763 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.27 s, system=0.835388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2512.62
CPU time (s): 2520.11
CPU user time (s): 2519.27
CPU system time (s): 0.835388
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 377256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.27
system time used= 0.835388
maximum resident set size= 380680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86365
involuntary context switches= 2001
# summary of solver processes directly reported to runsolver:
# pid: 17763
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.27
# total CPU system time (s): 0.835388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9146 second user time and 22.1909 second system time
The end