2.62/1.90
2.62/1.90 AbsCon 2
2.62/1.92
2.85/2.04 Instance
2.85/2.04 name=instance-4390547-1568381789, framework=CSP
2.85/2.04
2.85/2.04 Loading variables...
2.85/2.06 Loading constraints...
2.85/2.10
2.85/2.10 Domains
2.85/2.10 nTypes=1, nValues=168, sizes=[2#84]
2.85/2.10 Variables
2.85/2.10 count=84, degrees=[2#84]
2.85/2.10 Constraints
2.85/2.10 count=56, nSpecific=56, arities=[3#56]
2.85/2.10 distribution=[CtrExtensionCT-Table#56]
2.85/2.10 tables=[4#56], nTotalTuples=224
2.85/2.10 nExtStructures=(5,shared:51)
2.85/2.10 wck=0.224, cpu=2.057, mem=21M227
3.09/2.12 Solver SolverBacktrack being built...
3.09/2.12
3.09/2.13
3.09/2.13 Solver
3.09/2.13 guaranteedGAC=true
3.09/2.13 wck=0.259, cpu=2.09, mem=31M870
3.09/2.13
3.09/2.13 Preprocessing
3.09/2.13 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.09/2.13 wck=0.001, cpu=2.092, mem=31M870
3.09/2.13
3.09/2.14 num=0, depth=24..29, filters=277, wck=0.01, mem=31M870
3.09/2.14 decisions=67, wrong=20, backtracks=14, failedAssignments=10, nogoods=2
3.09/2.14 nFilterCalls=419, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.14
3.09/2.15 num=1, depth=24..28, filters=459, wck=0.015, mem=31M870
3.09/2.15 decisions=136, wrong=42, backtracks=29, failedAssignments=21, nogoods=5
3.09/2.15 nFilterCalls=693, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.15
3.09/2.15 num=2, depth=24..28, filters=641, wck=0.018, mem=31M870
3.09/2.15 decisions=206, wrong=65, backtracks=46, failedAssignments=33, nogoods=7
3.09/2.15 nFilterCalls=967, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.15
3.09/2.15 num=3, depth=24..28, filters=849, wck=0.02, mem=31M870
3.09/2.15 decisions=283, wrong=91, backtracks=64, failedAssignments=46, nogoods=10
3.09/2.15 nFilterCalls=1275, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.15
3.09/2.15 num=4, depth=24..28, filters=1065, wck=0.022, mem=31M870
3.09/2.15 decisions=363, wrong=119, backtracks=84, failedAssignments=60, nogoods=13
3.09/2.15 nFilterCalls=1593, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.15
3.09/2.16 num=5, depth=24..28, filters=1315, wck=0.025, mem=31M870
3.09/2.16 decisions=449, wrong=150, backtracks=108, failedAssignments=76, nogoods=17
3.09/2.16 nFilterCalls=1952, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.16
3.09/2.17 num=6, depth=24..29, filters=1670, wck=0.027, mem=31M870
3.09/2.17 decisions=540, wrong=183, backtracks=131, failedAssignments=93, nogoods=19
3.09/2.17 nFilterCalls=2418, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.17
3.09/2.17 num=7, depth=23..28, filters=2283, wck=0.041, mem=31M870
3.09/2.17 decisions=641, wrong=221, backtracks=158, failedAssignments=112, nogoods=22
3.09/2.17 nFilterCalls=3157, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.17
3.09/2.18 num=8, depth=18..31, filters=2679, wck=0.044, mem=31M870
3.09/2.18 decisions=750, wrong=263, backtracks=186, failedAssignments=133, nogoods=27
3.09/2.18 nFilterCalls=3679, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.18
3.09/2.18 num=9, depth=22..30, filters=3118, wck=0.047, mem=34M512
3.09/2.18 decisions=866, wrong=309, backtracks=216, failedAssignments=156, nogoods=30
3.09/2.18 nFilterCalls=4247, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.18
3.09/2.18 num=10, depth=18..28, filters=3604, wck=0.049, mem=34M512
3.09/2.18 decisions=990, wrong=359, backtracks=250, failedAssignments=181, nogoods=32
3.09/2.18 nFilterCalls=4878, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.18
3.09/2.19 num=11, depth=15..30, filters=4033, wck=0.052, mem=34M512
3.09/2.19 decisions=1128, wrong=415, backtracks=289, failedAssignments=209, nogoods=36
3.09/2.19 nFilterCalls=5469, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.19
3.09/2.19 num=12, depth=20..30, filters=4513, wck=0.054, mem=34M512
3.09/2.19 decisions=1272, wrong=477, backtracks=332, failedAssignments=240, nogoods=38
3.09/2.19 nFilterCalls=6106, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.19
3.09/2.19 num=13, depth=7..16, filters=4963, wck=0.056, mem=34M512
3.09/2.19 decisions=1415, wrong=545, backtracks=381, failedAssignments=274, nogoods=39
3.09/2.19 nFilterCalls=6706, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.19
3.09/2.19 num=14, depth=14..29, filters=5495, wck=0.058, mem=34M512
3.09/2.19 decisions=1588, wrong=619, backtracks=430, failedAssignments=311, nogoods=43
3.09/2.19 nFilterCalls=7424, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.19
3.09/2.19 num=15, depth=22..28, filters=6344, wck=0.06, mem=34M512
3.09/2.19 decisions=1777, wrong=701, backtracks=489, failedAssignments=352, nogoods=46
3.09/2.19 nFilterCalls=8474, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.19
3.09/2.19 num=16, depth=22..29, filters=7195, wck=0.063, mem=34M512
3.09/2.19 decisions=1978, wrong=790, backtracks=554, failedAssignments=397, nogoods=48
3.09/2.19 nFilterCalls=9541, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.19
3.09/2.20 num=17, depth=21..30, filters=8097, wck=0.065, mem=34M512
3.09/2.20 decisions=2197, wrong=888, backtracks=625, failedAssignments=447, nogoods=52
3.09/2.20 nFilterCalls=10683, avgTableProportion=0.75, avgTableSize=3.0
3.09/2.20
3.37/2.20 num=18, depth=15..27, filters=9021, wck=0.067, mem=34M512
3.37/2.20 decisions=2433, wrong=998, backtracks=704, failedAssignments=502, nogoods=56
3.37/2.20 nFilterCalls=11844, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.20
3.37/2.20 num=19, depth=9..21, filters=9848, wck=0.07, mem=34M512
3.37/2.20 decisions=2689, wrong=1120, backtracks=791, failedAssignments=563, nogoods=59
3.37/2.20 nFilterCalls=12931, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.20
3.37/2.20 num=20, depth=6..29, filters=10858, wck=0.072, mem=34M512
3.37/2.20 decisions=2982, wrong=1254, backtracks=889, failedAssignments=630, nogoods=63
3.37/2.20 nFilterCalls=14251, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.20
3.37/2.21 num=21, depth=19..29, filters=11979, wck=0.074, mem=34M512
3.37/2.21 decisions=3302, wrong=1402, backtracks=997, failedAssignments=704, nogoods=68
3.37/2.21 nFilterCalls=15708, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.21
3.37/2.21 num=22, depth=12..26, filters=13092, wck=0.077, mem=34M512
3.37/2.21 decisions=3636, wrong=1563, backtracks=1116, failedAssignments=785, nogoods=69
3.37/2.21 nFilterCalls=17159, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.21
3.37/2.21 num=23, depth=9..29, filters=14435, wck=0.08, mem=34M512
3.37/2.21 decisions=4015, wrong=1741, backtracks=1246, failedAssignments=874, nogoods=75
3.37/2.21 nFilterCalls=18887, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.21
3.37/2.21 num=24, depth=22..29, filters=15990, wck=0.083, mem=34M512
3.37/2.21 decisions=4432, wrong=1937, backtracks=1391, failedAssignments=972, nogoods=78
3.37/2.21 nFilterCalls=20877, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.21
3.37/2.22 num=25, depth=22..29, filters=17866, wck=0.087, mem=34M512
3.37/2.22 decisions=4887, wrong=2153, backtracks=1560, failedAssignments=1080, nogoods=83
3.37/2.22 nFilterCalls=23231, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.22
3.37/2.22 num=26, depth=14..25, filters=19401, wck=0.09, mem=34M512
3.37/2.22 decisions=5379, wrong=2391, backtracks=1737, failedAssignments=1199, nogoods=87
3.37/2.22 nFilterCalls=25268, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.22
3.37/2.23 num=27, depth=11..31, filters=21365, wck=0.094, mem=34M512
3.37/2.23 decisions=5925, wrong=2653, backtracks=1930, failedAssignments=1330, nogoods=92
3.37/2.23 nFilterCalls=27785, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.23
3.37/2.23 num=28, depth=13..29, filters=23543, wck=0.098, mem=34M512
3.37/2.23 decisions=6527, wrong=2941, backtracks=2142, failedAssignments=1474, nogoods=95
3.37/2.23 nFilterCalls=30561, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.23
3.37/2.23 num=29, depth=21..30, filters=26169, wck=0.103, mem=34M512
3.37/2.23 decisions=7186, wrong=3258, backtracks=2377, failedAssignments=1632, nogoods=99
3.37/2.23 nFilterCalls=33823, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.23
3.37/2.24 num=30, depth=21..30, filters=28871, wck=0.109, mem=34M512
3.37/2.24 decisions=7905, wrong=3606, backtracks=2634, failedAssignments=1806, nogoods=103
3.37/2.24 nFilterCalls=37232, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.24
3.37/2.25 num=31, depth=12..23, filters=32088, wck=0.114, mem=34M512
3.37/2.25 decisions=8667, wrong=3979, backtracks=2922, failedAssignments=1997, nogoods=105
3.37/2.25 nFilterCalls=41226, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.25
3.37/2.25 num=32, depth=8..30, filters=35325, wck=0.121, mem=34M512
3.37/2.25 decisions=9530, wrong=4399, backtracks=3231, failedAssignments=2208, nogoods=111
3.37/2.25 nFilterCalls=45306, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.25
3.37/2.26 num=33, depth=21..29, filters=39616, wck=0.128, mem=34M512
3.37/2.26 decisions=10478, wrong=4862, backtracks=3577, failedAssignments=2440, nogoods=115
3.37/2.26 nFilterCalls=50553, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.26
3.37/2.26 num=34, depth=13..31, filters=43250, wck=0.134, mem=34M512
3.37/2.26 decisions=11512, wrong=5370, backtracks=3947, failedAssignments=2695, nogoods=119
3.37/2.26 nFilterCalls=55201, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.26
3.37/2.27 num=35, depth=18..30, filters=47761, wck=0.141, mem=37M155
3.37/2.27 decisions=12652, wrong=5929, backtracks=4365, failedAssignments=2976, nogoods=124
3.37/2.27 nFilterCalls=60831, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.27
3.37/2.28 num=36, depth=19..29, filters=53228, wck=0.148, mem=37M155
3.37/2.28 decisions=13908, wrong=6545, backtracks=4825, failedAssignments=3285, nogoods=128
3.37/2.28 nFilterCalls=67489, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.28
3.37/2.29 num=37, depth=11..28, filters=59033, wck=0.155, mem=37M155
3.37/2.29 decisions=15278, wrong=7223, backtracks=5334, failedAssignments=3625, nogoods=133
3.37/2.29 nFilterCalls=74666, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.29
3.37/2.29 num=38, depth=9..30, filters=65670, wck=0.163, mem=37M155
3.37/2.29 decisions=16796, wrong=7971, backtracks=5890, failedAssignments=3999, nogoods=138
3.37/2.29 nFilterCalls=82760, avgTableProportion=0.75, avgTableSize=3.0
3.37/2.29
3.68/2.30 num=39, depth=18..28, filters=73229, wck=0.173, mem=37M155
3.68/2.30 decisions=18463, wrong=8793, backtracks=6504, failedAssignments=4410, nogoods=142
3.68/2.30 nFilterCalls=91959, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.30
3.68/2.31 num=40, depth=11..28, filters=81136, wck=0.182, mem=37M155
3.68/2.31 decisions=20287, wrong=9697, backtracks=7179, failedAssignments=4862, nogoods=145
3.68/2.31 nFilterCalls=101664, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.31
3.68/2.32 num=41, depth=7..31, filters=89833, wck=0.193, mem=37M155
3.68/2.32 decisions=22295, wrong=10690, backtracks=7923, failedAssignments=5359, nogoods=153
3.68/2.32 nFilterCalls=112356, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.32
3.68/2.34 num=42, depth=16..30, filters=99511, wck=0.205, mem=37M155
3.68/2.34 decisions=24501, wrong=11782, backtracks=8740, failedAssignments=5906, nogoods=158
3.68/2.34 nFilterCalls=124174, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.34
3.68/2.35 num=43, depth=19..29, filters=109817, wck=0.216, mem=37M155
3.68/2.35 decisions=26926, wrong=12984, backtracks=9640, failedAssignments=6508, nogoods=163
3.68/2.35 nFilterCalls=136843, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.35
3.68/2.36 num=44, depth=16..29, filters=120625, wck=0.229, mem=37M155
3.68/2.36 decisions=29597, wrong=14308, backtracks=10633, failedAssignments=7170, nogoods=168
3.68/2.36 nFilterCalls=150261, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.36
3.68/2.37 num=45, depth=18..29, filters=133878, wck=0.242, mem=37M155
3.68/2.37 decisions=32528, wrong=15763, backtracks=11723, failedAssignments=7898, nogoods=174
3.68/2.37 nFilterCalls=166367, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.37
3.68/2.38 num=46, depth=10..29, filters=147883, wck=0.253, mem=37M155
3.68/2.38 decisions=35756, wrong=17366, backtracks=12921, failedAssignments=8699, nogoods=181
3.68/2.38 nFilterCalls=183555, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.38
3.68/2.40 num=47, depth=16..30, filters=163324, wck=0.264, mem=37M155
3.68/2.40 decisions=39300, wrong=19127, backtracks=14239, failedAssignments=9580, nogoods=189
3.68/2.40 nFilterCalls=202410, avgTableProportion=0.75, avgTableSize=3.0
3.68/2.40
3.98/2.41 num=48, depth=12..29, filters=178791, wck=0.276, mem=37M155
3.98/2.41 decisions=43158, wrong=21048, backtracks=15675, failedAssignments=10550, nogoods=195
3.98/2.41 nFilterCalls=221615, avgTableProportion=0.75, avgTableSize=3.0
3.98/2.41
3.98/2.42 num=49, depth=17..29, filters=196478, wck=0.288, mem=37M155
3.98/2.42 decisions=47443, wrong=23178, backtracks=17271, failedAssignments=11617, nogoods=198
3.98/2.42 nFilterCalls=243399, avgTableProportion=0.75, avgTableSize=3.0
3.98/2.42
3.98/2.43 num=50, depth=17..30, filters=216851, wck=0.302, mem=37M155
3.98/2.43 decisions=52156, wrong=25523, backtracks=19021, failedAssignments=12790, nogoods=203
3.98/2.43 nFilterCalls=268081, avgTableProportion=0.75, avgTableSize=3.0
3.98/2.43
3.98/2.45 num=51, depth=13..25, filters=240616, wck=0.316, mem=37M155
3.98/2.45 decisions=57343, wrong=28107, backtracks=20954, failedAssignments=14081, nogoods=207
3.98/2.45 nFilterCalls=296869, avgTableProportion=0.75, avgTableSize=3.0
3.98/2.45
3.98/2.46 num=52, depth=3..30, filters=268359, wck=0.333, mem=37M155
3.98/2.46 decisions=63035, wrong=30942, backtracks=23078, failedAssignments=15501, nogoods=212
3.98/2.46 nFilterCalls=330040, avgTableProportion=0.75, avgTableSize=3.0
3.98/2.46
3.98/2.48 num=53, depth=5..31, filters=297176, wck=0.351, mem=37M155
3.98/2.48 decisions=69300, wrong=34064, backtracks=25401, failedAssignments=17063, nogoods=219
3.98/2.48 nFilterCalls=364664, avgTableProportion=0.75, avgTableSize=3.0
3.98/2.48
4.16/2.50 num=54, depth=11..30, filters=327516, wck=0.37, mem=37M155
4.16/2.50 decisions=76137, wrong=37473, backtracks=27983, failedAssignments=18781, nogoods=227
4.16/2.50 nFilterCalls=401789, avgTableProportion=0.75, avgTableSize=3.0
4.16/2.50
4.16/2.52 num=55, depth=17..29, filters=366998, wck=0.393, mem=37M155
4.16/2.52 decisions=83715, wrong=41251, backtracks=30828, failedAssignments=20671, nogoods=233
4.16/2.52 nFilterCalls=448363, avgTableProportion=0.75, avgTableSize=3.0
4.16/2.52
4.16/2.55 num=56, depth=15..29, filters=408170, wck=0.417, mem=37M155
4.16/2.55 decisions=91948, wrong=45357, backtracks=33957, failedAssignments=22750, nogoods=238
4.16/2.55 nFilterCalls=497681, avgTableProportion=0.75, avgTableSize=3.0
4.16/2.55
4.16/2.58 num=57, depth=16..29, filters=453987, wck=0.448, mem=37M155
4.16/2.58 decisions=101120, wrong=49932, backtracks=37389, failedAssignments=25037, nogoods=244
4.16/2.58 nFilterCalls=552299, avgTableProportion=0.75, avgTableSize=3.0
4.16/2.58
4.30/2.62 num=58, depth=16..29, filters=503988, wck=0.488, mem=39M797
4.30/2.62 decisions=111161, wrong=54943, backtracks=41187, failedAssignments=27553, nogoods=249
4.30/2.62 nFilterCalls=612156, avgTableProportion=0.75, avgTableSize=3.0
4.30/2.62
4.30/2.65 num=59, depth=16..29, filters=557795, wck=0.522, mem=39M797
4.30/2.65 decisions=122231, wrong=60467, backtracks=45336, failedAssignments=30321, nogoods=255
4.30/2.65 nFilterCalls=676677, avgTableProportion=0.75, avgTableSize=3.0
4.30/2.65
4.30/2.69 num=60, depth=9..32, filters=622022, wck=0.559, mem=39M797
4.30/2.69 decisions=134274, wrong=66477, backtracks=49905, failedAssignments=33365, nogoods=263
4.30/2.69 nFilterCalls=752818, avgTableProportion=0.75, avgTableSize=3.0
4.30/2.69
4.44/2.73 num=61, depth=17..30, filters=695958, wck=0.602, mem=39M797
4.44/2.73 decisions=147697, wrong=73178, backtracks=54960, failedAssignments=36714, nogoods=271
4.44/2.73 nFilterCalls=840137, avgTableProportion=0.75, avgTableSize=3.0
4.44/2.73
4.44/2.78 num=62, depth=16..30, filters=768920, wck=0.647, mem=39M797
4.44/2.78 decisions=162433, wrong=80536, backtracks=60491, failedAssignments=40398, nogoods=277
4.44/2.78 nFilterCalls=927573, avgTableProportion=0.75, avgTableSize=3.0
4.44/2.78
4.57/2.82 num=63, depth=12..30, filters=845550, wck=0.694, mem=39M797
4.57/2.82 decisions=178642, wrong=88628, backtracks=66614, failedAssignments=44450, nogoods=282
4.57/2.82 nFilterCalls=1019862, avgTableProportion=0.75, avgTableSize=3.0
4.57/2.82
4.57/2.88 num=64, depth=8..31, filters=939202, wck=0.749, mem=39M797
4.57/2.88 decisions=196292, wrong=97444, backtracks=73275, failedAssignments=48907, nogoods=293
4.57/2.88 nFilterCalls=1131054, avgTableProportion=0.75, avgTableSize=3.0
4.57/2.88
4.68/2.93 num=65, depth=10..32, filters=1029580, wck=0.803, mem=39M797
4.68/2.93 decisions=215927, wrong=107251, backtracks=80618, failedAssignments=53810, nogoods=300
4.68/2.93 nFilterCalls=1239971, avgTableProportion=0.75, avgTableSize=3.0
4.68/2.93
4.68/3.00 num=66, depth=16..31, filters=1136128, wck=0.867, mem=39M797
4.68/3.00 decisions=237444, wrong=117999, backtracks=88692, failedAssignments=59204, nogoods=305
4.68/3.00 nFilterCalls=1367451, avgTableProportion=0.75, avgTableSize=3.0
4.68/3.00
4.79/3.07 num=67, depth=7..30, filters=1256774, wck=0.939, mem=42M439
4.79/3.07 decisions=261185, wrong=129859, backtracks=97606, failedAssignments=65137, nogoods=312
4.79/3.07 nFilterCalls=1510796, avgTableProportion=0.75, avgTableSize=3.0
4.79/3.07
4.89/3.15 num=68, depth=13..30, filters=1380975, wck=1.015, mem=42M439
4.89/3.15 decisions=287200, wrong=142857, backtracks=107368, failedAssignments=71663, nogoods=321
4.89/3.15 nFilterCalls=1660254, avgTableProportion=0.75, avgTableSize=3.0
4.89/3.15
4.98/3.23 num=69, depth=13..31, filters=1520581, wck=1.099, mem=42M439
4.98/3.23 decisions=315931, wrong=157213, backtracks=118119, failedAssignments=78842, nogoods=330
4.98/3.23 nFilterCalls=1827491, avgTableProportion=0.75, avgTableSize=3.0
4.98/3.23
5.08/3.32 num=70, depth=15..30, filters=1673984, wck=1.193, mem=42M439
5.08/3.32 decisions=347457, wrong=172965, backtracks=130061, failedAssignments=86739, nogoods=337
5.08/3.32 nFilterCalls=2012106, avgTableProportion=0.75, avgTableSize=3.0
5.08/3.32
5.20/3.43 num=71, depth=14..29, filters=1861062, wck=1.302, mem=42M439
5.20/3.43 decisions=382226, wrong=190340, backtracks=143123, failedAssignments=95426, nogoods=341
5.20/3.43 nFilterCalls=2232738, avgTableProportion=0.75, avgTableSize=3.0
5.20/3.43
5.30/3.55 num=72, depth=15..30, filters=2065984, wck=1.422, mem=45M82
5.30/3.55 decisions=420458, wrong=209446, backtracks=157521, failedAssignments=104981, nogoods=347
5.30/3.55 nFilterCalls=2475630, avgTableProportion=0.75, avgTableSize=3.0
5.30/3.55
5.40/3.68 num=73, depth=15..31, filters=2271913, wck=1.549, mem=45M82
5.40/3.68 decisions=462419, wrong=230417, backtracks=173372, failedAssignments=115492, nogoods=357
5.40/3.68 nFilterCalls=2722025, avgTableProportion=0.75, avgTableSize=3.0
5.40/3.68
5.61/3.83 num=74, depth=10..30, filters=2511304, wck=1.696, mem=45M82
5.61/3.83 decisions=508590, wrong=253493, backtracks=190931, failedAssignments=127054, nogoods=366
5.61/3.83 nFilterCalls=3007502, avgTableProportion=0.75, avgTableSize=3.0
5.61/3.83
5.71/3.98 num=75, depth=15..30, filters=2765800, wck=1.849, mem=45M82
5.71/3.98 decisions=559376, wrong=278876, backtracks=210068, failedAssignments=139772, nogoods=372
5.71/3.98 nFilterCalls=3310649, avgTableProportion=0.75, avgTableSize=3.0
5.71/3.98
5.92/4.16 num=76, depth=15..30, filters=3065385, wck=2.03, mem=47M724
5.92/4.16 decisions=615180, wrong=306770, backtracks=231297, failedAssignments=153762, nogoods=384
5.92/4.16 nFilterCalls=3665849, avgTableProportion=0.75, avgTableSize=3.0
5.92/4.16
6.11/4.36 num=77, depth=14..31, filters=3381774, wck=2.226, mem=47M724
6.11/4.36 decisions=676622, wrong=337480, backtracks=254395, failedAssignments=169151, nogoods=389
6.11/4.36 nFilterCalls=4040936, avgTableProportion=0.75, avgTableSize=3.0
6.11/4.36
6.31/4.57 num=78, depth=14..30, filters=3730764, wck=2.443, mem=47M724
6.31/4.57 decisions=744243, wrong=371281, backtracks=280022, failedAssignments=186079, nogoods=396
6.31/4.57 nFilterCalls=4458133, avgTableProportion=0.75, avgTableSize=3.0
6.31/4.57
6.61/4.81 num=79, depth=14..31, filters=4117041, wck=2.682, mem=50M367
6.61/4.81 decisions=818547, wrong=408423, backtracks=308069, failedAssignments=204700, nogoods=404
6.61/4.81 nFilterCalls=4916895, avgTableProportion=0.75, avgTableSize=3.0
6.61/4.81
6.81/5.08 num=80, depth=12..30, filters=4538937, wck=2.947, mem=50M367
6.81/5.08 decisions=900384, wrong=449332, backtracks=339025, failedAssignments=225184, nogoods=411
6.81/5.08 nFilterCalls=5419982, avgTableProportion=0.75, avgTableSize=3.0
6.81/5.08
7.11/5.37 num=81, depth=13..30, filters=5018704, wck=3.241, mem=53M9
7.11/5.37 decisions=990349, wrong=494305, backtracks=372797, failedAssignments=247716, nogoods=418
7.11/5.37 nFilterCalls=5986461, avgTableProportion=0.75, avgTableSize=3.0
7.11/5.37
7.51/5.70 num=82, depth=13..31, filters=5530384, wck=3.569, mem=53M9
7.51/5.70 decisions=1089211, wrong=543727, backtracks=410417, failedAssignments=272501, nogoods=427
7.51/5.70 nFilterCalls=6595485, avgTableProportion=0.75, avgTableSize=3.0
7.51/5.70
7.82/6.05 num=83, depth=13..30, filters=6088864, wck=3.919, mem=55M652
7.82/6.05 decisions=1198151, wrong=598187, backtracks=451276, failedAssignments=299765, nogoods=435
7.82/6.05 nFilterCalls=7257978, avgTableProportion=0.75, avgTableSize=3.0
7.82/6.05
8.21/6.45 num=84, depth=14..30, filters=6706249, wck=4.316, mem=58M294
8.21/6.45 decisions=1317709, wrong=657956, backtracks=496522, failedAssignments=329755, nogoods=443
8.21/6.45 nFilterCalls=7993010, avgTableProportion=0.75, avgTableSize=3.0
8.21/6.45
8.61/6.88 num=85, depth=12..30, filters=7390498, wck=4.749, mem=60M937
8.61/6.88 decisions=1449496, wrong=723840, backtracks=546062, failedAssignments=362744, nogoods=450
8.61/6.88 nFilterCalls=8802653, avgTableProportion=0.75, avgTableSize=3.0
8.61/6.88
9.11/7.36 num=86, depth=9..31, filters=8195048, wck=5.232, mem=60M937
9.11/7.36 decisions=1594433, wrong=796300, backtracks=599952, failedAssignments=399032, nogoods=460
9.11/7.36 nFilterCalls=9747521, avgTableProportion=0.75, avgTableSize=3.0
9.11/7.36
9.61/7.86 num=87, depth=8..30, filters=9020238, wck=5.734, mem=63M579
9.61/7.86 decisions=1753691, wrong=875923, backtracks=659680, failedAssignments=438949, nogoods=471
9.61/7.86 nFilterCalls=10727874, avgTableProportion=0.75, avgTableSize=3.0
9.61/7.86
10.21/8.46 num=88, depth=11..30, filters=10003219, wck=6.33, mem=66M221
10.21/8.46 decisions=1927233, wrong=962684, backtracks=724695, failedAssignments=482858, nogoods=480
10.21/8.46 nFilterCalls=11880094, avgTableProportion=0.75, avgTableSize=3.0
10.21/8.46
10.92/9.12 num=89, depth=8..29, filters=11072782, wck=6.985, mem=68M864
10.92/9.12 decisions=2120021, wrong=1059069, backtracks=797686, failedAssignments=531158, nogoods=489
10.92/9.12 nFilterCalls=13138861, avgTableProportion=0.75, avgTableSize=3.0
10.92/9.12
11.61/9.81 num=90, depth=8..31, filters=12218252, wck=7.68, mem=74M149
11.61/9.81 decisions=2332127, wrong=1165113, backtracks=876871, failedAssignments=584288, nogoods=494
11.61/9.81 nFilterCalls=14485751, avgTableProportion=0.75, avgTableSize=3.0
11.61/9.81
12.41/10.68 num=91, depth=11..31, filters=13605723, wck=8.547, mem=76M791
12.41/10.68 decisions=2564798, wrong=1281437, backtracks=965907, failedAssignments=642731, nogoods=499
12.41/10.68 nFilterCalls=16110505, avgTableProportion=0.75, avgTableSize=3.0
12.41/10.68
13.41/11.60 num=92, depth=11..30, filters=15184107, wck=9.469, mem=79M434
13.41/11.60 decisions=2821563, wrong=1409809, backtracks=1062238, failedAssignments=707018, nogoods=505
13.41/11.60 nFilterCalls=17935512, avgTableProportion=0.75, avgTableSize=3.0
13.41/11.60
14.41/12.60 num=93, depth=11..31, filters=16827350, wck=10.468, mem=84M718
14.41/12.60 decisions=3103396, wrong=1550715, backtracks=1167841, failedAssignments=777734, nogoods=509
14.41/12.60 nFilterCalls=19851391, avgTableProportion=0.75, avgTableSize=3.0
14.41/12.60
15.41/13.69 num=94, depth=11..31, filters=18563957, wck=11.561, mem=90M3
15.41/13.69 decisions=3413251, wrong=1705635, backtracks=1284661, failedAssignments=855521, nogoods=521
15.41/13.69 nFilterCalls=21888128, avgTableProportion=0.75, avgTableSize=3.0
15.41/13.69
16.71/14.94 num=95, depth=11..30, filters=20560805, wck=12.805, mem=95M288
16.71/14.94 decisions=3752981, wrong=1875493, backtracks=1414337, failedAssignments=941087, nogoods=533
16.71/14.94 nFilterCalls=24228176, avgTableProportion=0.75, avgTableSize=3.0
16.71/14.94
18.01/16.29 num=96, depth=11..31, filters=22758022, wck=14.155, mem=100M573
18.01/16.29 decisions=4128393, wrong=2063190, backtracks=1553429, failedAssignments=1035210, nogoods=543
18.01/16.29 nFilterCalls=26774359, avgTableProportion=0.75, avgTableSize=3.0
18.01/16.29
19.51/17.75 num=97, depth=10..31, filters=25178516, wck=15.621, mem=105M858
19.51/17.75 decisions=4540603, wrong=2269286, backtracks=1705013, failedAssignments=1138745, nogoods=549
19.51/17.75 nFilterCalls=29588573, avgTableProportion=0.75, avgTableSize=3.0
19.51/17.75
20.82/19.05 num=98, depth=8..30, filters=27723015, wck=16.918, mem=113M785
20.82/19.05 decisions=4996205, wrong=2497079, backtracks=1873359, failedAssignments=1252634, nogoods=558
20.82/19.05 nFilterCalls=32581209, avgTableProportion=0.75, avgTableSize=3.0
20.82/19.05
22.71/20.90 num=99, depth=10..29, filters=30521542, wck=18.77, mem=121M712
22.71/20.90 decisions=5493705, wrong=2745820, backtracks=2061960, failedAssignments=1377912, nogoods=566
22.71/20.90 nFilterCalls=35869954, avgTableProportion=0.75, avgTableSize=3.0
22.71/20.90
24.72/22.91 num=100, depth=8..31, filters=33704914, wck=20.774, mem=129M640
24.72/22.91 decisions=6041220, wrong=3019569, backtracks=2264595, failedAssignments=1515718, nogoods=577
24.72/22.91 nFilterCalls=39574617, avgTableProportion=0.75, avgTableSize=3.0
24.72/22.91
26.82/25.05 num=101, depth=10..30, filters=37380143, wck=22.915, mem=137M567
26.82/25.05 decisions=6644523, wrong=3321212, backtracks=2491166, failedAssignments=1667304, nogoods=583
26.82/25.05 nFilterCalls=43830752, avgTableProportion=0.75, avgTableSize=3.0
26.82/25.05
29.64/27.80 num=102, depth=10..29, filters=42091315, wck=25.67, mem=25M57
29.64/27.80 decisions=7310672, wrong=3654279, backtracks=2739212, failedAssignments=1834049, nogoods=596
29.64/27.80 nFilterCalls=49275332, avgTableProportion=0.75, avgTableSize=3.0
29.64/27.80
32.24/30.49 num=103, depth=10..30, filters=46519006, wck=28.357, mem=35M415
32.24/30.49 decisions=8042590, wrong=4020229, backtracks=3014704, failedAssignments=2017468, nogoods=603
32.24/30.49 nFilterCalls=54434242, avgTableProportion=0.75, avgTableSize=3.0
32.24/30.49
34.86/33.10 num=104, depth=7..31, filters=50797974, wck=30.968, mem=48M363
34.86/33.10 decisions=8847913, wrong=4422882, backtracks=3314391, failedAssignments=2219229, nogoods=612
34.86/33.10 nFilterCalls=59473909, avgTableProportion=0.75, avgTableSize=3.0
34.86/33.10
38.15/36.38 num=105, depth=9..31, filters=56233922, wck=34.254, mem=61M311
38.15/36.38 decisions=9733702, wrong=4865767, backtracks=3648007, failedAssignments=2441167, nogoods=622
38.15/36.38 nFilterCalls=65776476, avgTableProportion=0.75, avgTableSize=3.0
38.15/36.38
41.96/40.13 num=106, depth=9..30, filters=62310163, wck=38.0, mem=76M849
41.96/40.13 decisions=10707421, wrong=5352617, backtracks=4011319, failedAssignments=2685298, nogoods=631
41.96/40.13 nFilterCalls=72787640, avgTableProportion=0.75, avgTableSize=3.0
41.96/40.13
46.05/44.21 num=107, depth=9..30, filters=69411073, wck=42.078, mem=92M386
46.05/44.21 decisions=11779456, wrong=5888624, backtracks=4411619, failedAssignments=2953843, nogoods=637
46.05/44.21 nFilterCalls=80921558, avgTableProportion=0.75, avgTableSize=3.0
46.05/44.21
50.86/49.03 num=108, depth=9..31, filters=77693331, wck=46.896, mem=110M513
50.86/49.03 decisions=12964642, wrong=6481208, backtracks=4859970, failedAssignments=3249242, nogoods=647
50.86/49.03 nFilterCalls=90387725, avgTableProportion=0.75, avgTableSize=3.0
50.86/49.03
55.45/53.68 num=109, depth=5..30, filters=85808993, wck=51.547, mem=128M640
55.45/53.68 decisions=14264493, wrong=7131124, backtracks=5342009, failedAssignments=3574181, nogoods=655
55.45/53.68 nFilterCalls=99790053, avgTableProportion=0.75, avgTableSize=3.0
55.45/53.68
60.55/58.74 num=110, depth=8..31, filters=94112862, wck=56.612, mem=151M946
60.55/58.74 decisions=15691876, wrong=7844809, backtracks=5871943, failedAssignments=3931614, nogoods=665
60.55/58.74 nFilterCalls=109515134, avgTableProportion=0.75, avgTableSize=3.0
60.55/58.74
65.89/64.04 num=111, depth=6..30, filters=104015349, wck=61.913, mem=43M326
65.89/64.04 decisions=17262218, wrong=8629971, backtracks=6457634, failedAssignments=4324790, nogoods=675
65.89/64.04 nFilterCalls=120964224, avgTableProportion=0.75, avgTableSize=3.0
65.89/64.04
72.18/70.39 num=112, depth=5..32, filters=114547711, wck=68.263, mem=69M407
72.18/70.39 decisions=18983830, wrong=9490769, backtracks=7105611, failedAssignments=4757284, nogoods=687
72.18/70.39 nFilterCalls=133207044, avgTableProportion=0.75, avgTableSize=3.0
72.18/70.39
78.68/76.86 num=113, depth=4..31, filters=124761156, wck=74.733, mem=95M487
78.68/76.86 decisions=20881253, wrong=10439472, backtracks=7811784, failedAssignments=5233028, nogoods=699
78.68/76.86 nFilterCalls=145285204, avgTableProportion=0.75, avgTableSize=3.0
78.68/76.86
87.29/85.49 num=114, depth=8..31, filters=140422624, wck=83.363, mem=129M392
87.29/85.49 decisions=22965431, wrong=11481552, backtracks=8611777, failedAssignments=5756346, nogoods=708
87.29/85.49 nFilterCalls=163087201, avgTableProportion=0.75, avgTableSize=3.0
87.29/85.49
96.72/94.86 num=115, depth=8..31, filters=155849709, wck=92.725, mem=30M375
96.72/94.86 decisions=25259190, wrong=12628424, backtracks=9481640, failedAssignments=6331996, nogoods=717
96.72/94.86 nFilterCalls=180804993, avgTableProportion=0.75, avgTableSize=3.0
96.72/94.86
106.33/104.45 num=116, depth=5..32, filters=171948557, wck=102.317, mem=70M997
106.33/104.45 decisions=27763591, wrong=13880617, backtracks=10444267, failedAssignments=6965211, nogoods=731
106.33/104.45 nFilterCalls=199438530, avgTableProportion=0.75, avgTableSize=3.0
106.33/104.45
117.33/115.40 num=117, depth=8..31, filters=190191425, wck=113.273, mem=112M918
117.33/115.40 decisions=30534055, wrong=15265840, backtracks=11498842, failedAssignments=7661747, nogoods=739
117.33/115.40 nFilterCalls=220483680, avgTableProportion=0.75, avgTableSize=3.0
117.33/115.40
128.76/126.84 num=118, depth=7..32, filters=208300105, wck=124.706, mem=27M601
128.76/126.84 decisions=33561636, wrong=16779621, backtracks=12641056, failedAssignments=8427937, nogoods=748
128.76/126.84 nFilterCalls=241687820, avgTableProportion=0.75, avgTableSize=3.0
128.76/126.84
142.47/140.59 num=119, depth=7..32, filters=231530887, wck=138.455, mem=76M566
142.47/140.59 decisions=36902769, wrong=18450179, backtracks=13915205, failedAssignments=9270746, nogoods=757
142.47/140.59 nFilterCalls=268388054, avgTableProportion=0.75, avgTableSize=3.0
142.47/140.59
158.48/156.56 num=120, depth=7..31, filters=257274802, wck=154.43, mem=133M261
158.48/156.56 decisions=40575963, wrong=20286769, backtracks=15332409, failedAssignments=10197836, nogoods=770
158.48/156.56 nFilterCalls=297941930, avgTableProportion=0.75, avgTableSize=3.0
158.48/156.56
175.72/173.75 num=121, depth=7..30, filters=285702480, wck=171.615, mem=65M654
175.72/173.75 decisions=44622583, wrong=22310072, backtracks=16889848, failedAssignments=11217635, nogoods=783
175.72/173.75 nFilterCalls=330579552, avgTableProportion=0.75, avgTableSize=3.0
175.72/173.75
194.62/192.66 num=122, depth=7..30, filters=314399010, wck=190.53, mem=134M330
194.62/192.66 decisions=49070869, wrong=24534205, backtracks=18606638, failedAssignments=12339414, nogoods=790
194.62/192.66 nFilterCalls=363851034, avgTableProportion=0.75, avgTableSize=3.0
194.62/192.66
213.75/211.73 num=123, depth=7..31, filters=346051559, wck=209.599, mem=79M909
213.75/211.73 decisions=53959567, wrong=26978546, backtracks=20473605, failedAssignments=13573371, nogoods=802
213.75/211.73 nFilterCalls=400423381, avgTableProportion=0.75, avgTableSize=3.0
213.75/211.73
235.99/233.98 num=124, depth=7..31, filters=383616521, wck=231.845, mem=37M132
235.99/233.98 decisions=59344386, wrong=29670949, backtracks=22556283, failedAssignments=14930724, nogoods=819
235.99/233.98 nFilterCalls=443592549, avgTableProportion=0.75, avgTableSize=3.0
235.99/233.98
261.50/259.43 num=125, depth=6..31, filters=427031081, wck=257.303, mem=128M332
261.50/259.43 decisions=65265354, wrong=32631426, backtracks=24815241, failedAssignments=16423812, nogoods=833
261.50/259.43 nFilterCalls=493186512, avgTableProportion=0.75, avgTableSize=3.0
261.50/259.43
288.83/286.72 num=126, depth=6..31, filters=469968896, wck=284.589, mem=102M418
288.83/286.72 decisions=71772023, wrong=35884751, backtracks=27308220, failedAssignments=18066209, nogoods=841
288.83/286.72 nFilterCalls=542814649, avgTableProportion=0.75, avgTableSize=3.0
288.83/286.72
317.49/315.37 num=127, depth=6..32, filters=514463759, wck=313.238, mem=89M110
317.49/315.37 decisions=78946656, wrong=39472062, backtracks=30029102, failedAssignments=19872846, nogoods=851
317.49/315.37 nFilterCalls=594324001, avgTableProportion=0.75, avgTableSize=3.0
317.49/315.37
348.91/346.78 num=128, depth=5..31, filters=564755483, wck=344.651, mem=90M629
348.91/346.78 decisions=86834580, wrong=43416015, backtracks=33019794, failedAssignments=21860147, nogoods=855
348.91/346.78 nFilterCalls=652658266, avgTableProportion=0.75, avgTableSize=3.0
348.91/346.78
387.74/385.54 num=129, depth=6..31, filters=628296833, wck=383.404, mem=105M972
387.74/385.54 decisions=95472652, wrong=47735045, backtracks=36402733, failedAssignments=24046178, nogoods=870
387.74/385.54 nFilterCalls=725562118, avgTableProportion=0.75, avgTableSize=3.0
387.74/385.54
432.66/430.47 num=130, depth=5..32, filters=696565307, wck=428.341, mem=134M702
432.66/430.47 decisions=104985009, wrong=52491216, backtracks=40079426, failedAssignments=26450812, nogoods=877
432.66/430.47 nFilterCalls=804208891, avgTableProportion=0.75, avgTableSize=3.0
432.66/430.47
473.99/471.74 num=131, depth=2..31, filters=760743125, wck=469.609, mem=66M796
473.99/471.74 decisions=115488769, wrong=57743087, backtracks=44093506, failedAssignments=29095909, nogoods=886
473.99/471.74 nFilterCalls=879088354, avgTableProportion=0.75, avgTableSize=3.0
473.99/471.74
519.82/517.58 num=132, depth=3..31, filters=834005632, wck=515.447, mem=130M22
519.82/517.58 decisions=126989039, wrong=63493213, backtracks=48445815, failedAssignments=32005516, nogoods=897
519.82/517.58 nFilterCalls=964198398, avgTableProportion=0.75, avgTableSize=3.0
519.82/517.58
576.94/574.61 num=133, depth=5..31, filters=922882646, wck=572.477, mem=107M695
576.94/574.61 decisions=139578787, wrong=69788080, backtracks=53405558, failedAssignments=35206084, nogoods=910
576.94/574.61 nFilterCalls=1067073624, avgTableProportion=0.75, avgTableSize=3.0
576.94/574.61
638.98/636.67 num=134, depth=4..31, filters=1017975792, wck=634.54, mem=109M287
638.98/636.67 decisions=153455110, wrong=76726233, backtracks=58799080, failedAssignments=38726709, nogoods=918
638.98/636.67 nFilterCalls=1177516513, avgTableProportion=0.75, avgTableSize=3.0
638.98/636.67
711.42/709.08 num=135, depth=5..32, filters=1131481892, wck=706.95, mem=40M10
711.42/709.08 decisions=168623037, wrong=84310190, backtracks=64836201, failedAssignments=42599396, nogoods=930
711.42/709.08 nFilterCalls=1308365219, avgTableProportion=0.75, avgTableSize=3.0
711.42/709.08
785.56/783.13 num=136, depth=5..32, filters=1247595361, wck=781.002, mem=103M993
785.56/783.13 decisions=185447196, wrong=92722264, backtracks=71482875, failedAssignments=46859352, nogoods=947
785.56/783.13 nFilterCalls=1443136477, avgTableProportion=0.75, avgTableSize=3.0
785.56/783.13
863.28/860.82 num=137, depth=4..31, filters=1367489431, wck=858.693, mem=99M466
863.28/860.82 decisions=203891399, wrong=101944358, backtracks=78648045, failedAssignments=51545304, nogoods=957
863.28/860.82 nFilterCalls=1582836989, avgTableProportion=0.75, avgTableSize=3.0
863.28/860.82
958.12/955.69 num=138, depth=4..31, filters=1511028357, wck=953.559, mem=43M713
958.12/955.69 decisions=224126501, wrong=112061904, backtracks=86672614, failedAssignments=56699851, nogoods=974
958.12/955.69 nFilterCalls=1749411948, avgTableProportion=0.75, avgTableSize=3.0
958.12/955.69
1062.76/1060.21 num=139, depth=4..32, filters=1662170785, wck=1058.075, mem=37M472
1062.76/1060.21 decisions=246553722, wrong=123275507, backtracks=95517858, failedAssignments=62369853, nogoods=985
1062.76/1060.21 nFilterCalls=1925528150, avgTableProportion=0.75, avgTableSize=3.0
1062.76/1060.21
1181.13/1178.51 num=140, depth=4..31, filters=1833335964, wck=1176.377, mem=80M848
1181.13/1178.51 decisions=271020666, wrong=135508973, backtracks=105159021, failedAssignments=68606855, nogoods=1000
1181.13/1178.51 nFilterCalls=2124903779, avgTableProportion=0.75, avgTableSize=3.0
1181.13/1178.51
1311.10/1308.43 num=141, depth=3..31, filters=2031198162, wck=1306.294, mem=23M477
1311.10/1308.43 decisions=297892302, wrong=148944784, backtracks=115821947, failedAssignments=75467557, nogoods=1012
1311.10/1308.43
1454.08/1451.30 num=142, depth=3..31, filters=2245107653, wck=1449.172, mem=33M783
1454.08/1451.30 decisions=327463792, wrong=163730523, backtracks=127755222, failedAssignments=83014330, nogoods=1022
1454.08/1451.30
1598.16/1595.30 num=143, depth=3..31, filters=2473332068, wck=1593.171, mem=34M595
1598.16/1595.30 decisions=359920324, wrong=179958781, backtracks=140732952, failedAssignments=91315780, nogoods=1033
1598.16/1595.30
1768.46/1765.57 num=144, depth=3..32, filters=2724337724, wck=1763.441, mem=44M426
1768.46/1765.57 decisions=395708239, wrong=197852731, backtracks=154979760, failedAssignments=100447375, nogoods=1045
1768.46/1765.57
1969.85/1966.81 num=145, depth=3..31, filters=3021249904, wck=1964.682, mem=29M43
1969.85/1966.81 decisions=434842508, wrong=217419858, backtracks=171062077, failedAssignments=110492129, nogoods=1056
1969.85/1966.81
2179.95/2176.83 num=146, depth=2..32, filters=3329938188, wck=2174.695, mem=66M76
2179.95/2176.83 decisions=478153823, wrong=239075509, backtracks=188506192, failedAssignments=121541359, nogoods=1071
2179.95/2176.83
2411.41/2408.11 num=147, depth=2..31, filters=3671020141, wck=2405.976, mem=60M449
2411.41/2408.11 decisions=525808712, wrong=262902947, backtracks=207749443, failedAssignments=133695512, nogoods=1084
2411.41/2408.11
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11660 MiB free)
memory of node 1: 16384 MiB (14014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390547-1568381789/watcher-4390547-1568381789 -o /tmp/evaluation-result-4390547-1568381789/solver-4390547-1568381789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390547-1568381789.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1381, runsolver pid=1378
[startup+0.104297 s]*
/proc/loadavg: 2.41 2.03 1.49 4/228 1396
/proc/meminfo: memFree=26275116/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10659884 memory=27720 CPUtime=0.13 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 5483 0 0 0 12 1 0 0 20 0 15 0 414092797 10915721216 6930 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2664971 6930 2849 1 0 2627468 0
[pid=1381/tid=1383] ppid=1378 vsize=10659884 memory=5450919713671312938 CPUtime=0.1 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) R 1378 1381 32084 0 -1 4202560 3225 0 0 0 9 1 0 0 20 0 15 0 414092797 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633964183128 139633944036702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092799 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414092800 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633450817184 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414092800 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633449764080 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) R 1378 1381 32084 0 -1 4202560 576 0 0 0 1 0 0 0 20 0 15 0 414092802 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633447652504 139633944349972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0.02 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) R 1378 1381 32084 0 -1 4202560 706 0 0 0 2 0 0 0 20 0 15 0 414092802 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633445551064 139633939354731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092803 10915721216 7391 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27720 KiB
[startup+0.211358 s]*
/proc/loadavg: 2.41 2.03 1.49 3/228 1396
/proc/meminfo: memFree=26268212/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10659884 memory=35288 CPUtime=0.31 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 6928 0 0 0 29 2 0 0 20 0 15 0 414092797 10915721216 8822 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2664971 8822 2989 1 0 2627468 0
[pid=1381/tid=1383] ppid=1378 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) R 1378 1381 32084 0 -1 4202560 3863 0 0 0 18 1 0 0 20 0 15 0 414092797 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633964188304 139633565820799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10659884 memory=139985895263218 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092799 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414092800 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633450817184 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414092800 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633449764080 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 806 0 0 0 3 0 0 0 20 0 15 0 414092802 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 414092802 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0.05 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) S 1378 1381 32084 0 -1 1077944384 764 0 0 0 5 0 0 0 20 0 15 0 414092802 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092803 10915721216 8822 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35288 KiB
[startup+0.310199 s]*
/proc/loadavg: 2.41 2.03 1.49 3/228 1396
/proc/meminfo: memFree=26262072/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10660908 memory=41128 CPUtime=0.46 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 9421 0 0 0 42 4 0 0 20 0 15 0 414092797 10916769792 10282 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2665227 10282 3001 1 0 2627724 0
[pid=1381/tid=1383] ppid=1378 vsize=10659884 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) R 1378 1381 32084 0 -1 4202560 6290 0 0 0 26 2 0 0 20 0 15 0 414092797 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633964177104 139633944036702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10659884 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10659884 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10659884 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10659884 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10659884 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092799 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10659884 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414092800 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633450817184 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10659884 memory=21196 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414092800 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633449764080 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 845 0 0 0 4 0 0 0 20 0 15 0 414092802 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 142 0 0 0 3 0 0 0 20 0 15 0 414092802 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10659884 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) R 1378 1381 32084 0 -1 1077944384 787 0 0 0 7 0 0 0 20 0 15 0 414092802 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10659884 memory=139985734969839 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10659884 memory=139985895233152 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092803 10915721216 10085 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 41128 KiB
[startup+0.700705 s]
/proc/loadavg: 2.41 2.03 1.49 3/228 1396
/proc/meminfo: memFree=26252516/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10661932 memory=63124 CPUtime=1.09 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 12908 0 0 0 103 6 0 0 20 0 15 0 414092797 10917818368 15781 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2665483 15781 3062 1 0 2627980 0
[pid=1381/tid=1383] ppid=1378 vsize=10661932 memory=72 CPUtime=0.67 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) R 1378 1381 32084 0 -1 4202560 8845 0 0 0 62 5 0 0 20 0 15 0 414092797 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633964188240 139633959978141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092798 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10661932 memory=7526543506831655909 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092799 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10661932 memory=5788058333313253472 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414092800 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633450817184 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10661932 memory=7594587674001172330 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414092800 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633449764080 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10661932 memory=3053511329498284128 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10661932 memory=-8412652160765825907 CPUtime=0.11 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 1112 0 0 0 11 0 0 0 20 0 15 0 414092802 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10661932 memory=7893295687695687954 CPUtime=0.1 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 396 0 0 0 10 0 0 0 20 0 15 0 414092802 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10661932 memory=-7233780906022726806 CPUtime=0.18 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) S 1378 1381 32084 0 -1 1077944384 1194 0 0 0 18 0 0 0 20 0 15 0 414092802 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10661932 memory=7234576917979478634 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414092802 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10661932 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092803 10917818368 15781 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63124 KiB
[startup+1.50069 s]
/proc/loadavg: 2.41 2.03 1.49 3/228 1396
/proc/meminfo: memFree=26236136/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10663980 memory=75420 CPUtime=1.99 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 18462 0 0 0 193 6 0 0 20 0 15 0 414092797 10919915520 18855 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2665995 18855 3094 1 0 2628492 0
[pid=1381/tid=1383] ppid=1378 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) R 1378 1381 32084 0 -1 4202560 13066 0 0 0 142 5 0 0 20 0 15 0 414092797 10919915520 18855 33554432000 4194304 4196468 140722603362512 139633964188240 139633959978141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10663980 memory=6442213880752005984 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10919915520 18855 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10663980 memory=7811022289770212201 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414092798 10919915520 18855 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10663980 memory=6156813656088601956 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10919915520 18855 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10663980 memory=7595721433765601877 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414092798 10919915520 18855 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10663980 memory=7884505993741820245 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 414092799 10919915520 18855 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
################
# More data... #
################
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 3242 0 0 0 27 0 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.12 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 5856 0 0 0 9 3 0 0 20 0 16 0 414092799 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633450817248 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633449764096 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.73 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 3130 0 0 0 73 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10746276 memory=732 CPUtime=0.61 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 1682 0 0 0 61 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.49 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) S 1378 1381 32084 0 -1 1077944384 6436 0 0 0 48 1 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.69 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 936 0 0 0 27 42 0 0 20 0 16 0 414092803 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1397] ppid=1378 vsize=10746276 memory=184832 CPUtime=2439.9 cores=0,2,4,6
/proc/1381/task/1397/stat : 1397 (java) R 1378 1381 32084 0 -1 4202560 15107 0 0 0 243985 5 0 0 20 0 16 0 414092987 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633426498000 139633569073853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 2445.61 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 184832 KiB
[startup+2502.3 s]
/proc/loadavg: 1.83 1.85 1.87 3/229 1809
/proc/meminfo: memFree=26278928/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10746276 memory=184832 CPUtime=2505.65 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 62570 0 0 0 250516 49 0 0 20 0 16 0 414092797 11004186624 46208 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2686569 46208 3368 1 0 2646705 0
[pid=1381/tid=1383] ppid=1378 vsize=10746276 memory=184832 CPUtime=1.87 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1378 1381 32084 0 -1 1077944384 15345 0 0 0 180 7 0 0 20 0 16 0 414092797 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633964199088 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 4090 0 0 0 27 1 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.27 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 2349 0 0 0 27 0 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2640 0 0 0 26 2 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.27 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 3270 0 0 0 27 0 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10746276 memory=732 CPUtime=0.12 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 6032 0 0 0 9 3 0 0 20 0 16 0 414092799 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633450817248 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10746276 memory=279971471514224 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633449764096 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10746276 memory=3512 CPUtime=0.73 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 3132 0 0 0 73 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.61 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 1685 0 0 0 61 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.5 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) S 1378 1381 32084 0 -1 1077944384 6438 0 0 0 49 1 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.7 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 967 0 0 0 27 43 0 0 20 0 16 0 414092803 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1397] ppid=1378 vsize=10746276 memory=184832 CPUtime=2499.89 cores=0,2,4,6
/proc/1381/task/1397/stat : 1397 (java) R 1378 1381 32084 0 -1 4202560 15178 0 0 0 249984 5 0 0 20 0 16 0 414092987 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633426498000 139633568995329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 2505.65 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 184832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.7 s]
/proc/loadavg: 1.79 1.84 1.87 3/229 1809
/proc/meminfo: memFree=26282284/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10746276 memory=184832 CPUtime=2520.06 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 62576 0 0 0 251957 49 0 0 20 0 16 0 414092797 11004186624 46208 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2686569 46208 3368 1 0 2646705 0
[pid=1381/tid=1383] ppid=1378 vsize=10746276 memory=184832 CPUtime=1.87 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1378 1381 32084 0 -1 1077944384 15345 0 0 0 180 7 0 0 20 0 16 0 414092797 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633964199088 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 4090 0 0 0 27 1 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 2349 0 0 0 28 0 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.29 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2640 0 0 0 27 2 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.29 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 3271 0 0 0 28 1 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.12 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 6034 0 0 0 9 3 0 0 20 0 16 0 414092799 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633450817248 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633449764096 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.73 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 3132 0 0 0 73 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.61 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 1685 0 0 0 61 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10746276 memory=732 CPUtime=0.5 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) S 1378 1381 32084 0 -1 1077944384 6438 0 0 0 49 1 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10746276 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.71 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 969 0 0 0 28 43 0 0 20 0 16 0 414092803 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1397] ppid=1378 vsize=10746276 memory=184832 CPUtime=2514.29 cores=0,2,4,6
/proc/1381/task/1397/stat : 1397 (java) R 1378 1381 32084 0 -1 4202560 15179 0 0 0 251424 5 0 0 20 0 16 0 414092987 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633426498000 139633569210382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 184832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.71 s]
# the end of solver process 1381 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.58 s, system=0.498084 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.7 s]
/proc/loadavg: 1.79 1.84 1.87 3/229 1809
/proc/meminfo: memFree=26282284/32770624 swapFree=66957012/67108860
[pid=1381] ppid=1378 vsize=10746276 memory=184832 CPUtime=2520.06 cores=0,2,4,6
/proc/1381/stat : 1381 (java) S 1378 1381 32084 0 -1 1077944320 62576 0 0 0 251957 49 0 0 20 0 16 0 414092797 11004186624 46208 33554432000 4194304 4196468 140722603362512 140722603345056 139633959956215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
/proc/1381/statm: 2686569 46208 3368 1 0 2646705 0
[pid=1381/tid=1383] ppid=1378 vsize=10746276 memory=184832 CPUtime=1.87 cores=0,2,4,6
/proc/1381/task/1383/stat : 1383 (java) S 1378 1381 32084 0 -1 1077944384 15345 0 0 0 180 7 0 0 20 0 16 0 414092797 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633964199088 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1384] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1384/stat : 1384 (java) S 1378 1381 32084 0 -1 1077944384 4090 0 0 0 27 1 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633886030352 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1385] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.28 cores=0,2,4,6
/proc/1381/task/1385/stat : 1385 (java) S 1378 1381 32084 0 -1 1077944384 2349 0 0 0 28 0 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633884977808 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1386] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.29 cores=0,2,4,6
/proc/1381/task/1386/stat : 1386 (java) S 1378 1381 32084 0 -1 1077944384 2640 0 0 0 27 2 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633564313872 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1387] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.29 cores=0,2,4,6
/proc/1381/task/1387/stat : 1387 (java) S 1378 1381 32084 0 -1 1077944384 3271 0 0 0 28 1 0 0 20 0 16 0 414092798 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633563261328 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1388] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.12 cores=0,2,4,6
/proc/1381/task/1388/stat : 1388 (java) S 1378 1381 32084 0 -1 1077944384 6034 0 0 0 9 3 0 0 20 0 16 0 414092799 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633451870960 139633959967362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1389] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1389/stat : 1389 (java) S 1378 1381 32084 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633450817248 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1390] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1390/stat : 1390 (java) S 1378 1381 32084 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 414092800 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633449764096 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1391] ppid=1378 vsize=10746276 memory=184832 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1391/stat : 1391 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633448712656 139633959974811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1392] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.73 cores=0,2,4,6
/proc/1381/task/1392/stat : 1392 (java) S 1378 1381 32084 0 -1 1077944384 3132 0 0 0 73 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633447659760 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1393] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.61 cores=0,2,4,6
/proc/1381/task/1393/stat : 1393 (java) S 1378 1381 32084 0 -1 1077944384 1685 0 0 0 61 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633446607216 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1394] ppid=1378 vsize=10746276 memory=732 CPUtime=0.5 cores=0,2,4,6
/proc/1381/task/1394/stat : 1394 (java) S 1378 1381 32084 0 -1 1077944384 6438 0 0 0 49 1 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633445554160 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1395] ppid=1378 vsize=10746276 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/1381/task/1395/stat : 1395 (java) S 1378 1381 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414092802 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633444501856 139633959966421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1396] ppid=1378 vsize=10746276 memory=184832 CPUtime=0.71 cores=0,2,4,6
/proc/1381/task/1396/stat : 1396 (java) S 1378 1381 32084 0 -1 1077944384 969 0 0 0 28 43 0 0 20 0 16 0 414092803 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633443449904 139633959967362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
[pid=1381/tid=1397] ppid=1378 vsize=10746276 memory=184832 CPUtime=2514.29 cores=0,2,4,6
/proc/1381/task/1397/stat : 1397 (java) R 1378 1381 32084 0 -1 4202560 15179 0 0 0 251424 5 0 0 20 0 16 0 414092987 11004186624 46208 33554432000 4194304 4196468 140722603362512 139633426498000 139633569210382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140722603369483 140722603369586 140722603369586 140722603372495 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 184832 KiB
Child status: 143
Real time (s): 2516.71
CPU time (s): 2520.08
CPU user time (s): 2519.58
CPU system time (s): 0.498084
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 243980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.498084
maximum resident set size= 245516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58787
involuntary context switches= 2386
# summary of solver processes directly reported to runsolver:
# pid: 1381
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.58
# total CPU system time (s): 0.498084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3108 second user time and 21.9844 second system time
The end