2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.89
2.95/2.09 Instance
2.95/2.09 name=instance-4390704-1568387864, framework=CSP
2.95/2.09
2.95/2.09 Loading variables...
3.31/2.14 Loading constraints...
4.33/2.47
4.33/2.47 Domains
4.33/2.47 nTypes=29, nValues=4524, sizes=[64#2,65#2,66#2,67#2...89#2,90#2,91#2,92#2]
4.33/2.47 Variables
4.33/2.47 count=58, degrees=[28#58]
4.33/2.47 Constraints
4.33/2.47 count=406, arities=[4#406]
4.33/2.47 distribution=[CtrIntension#406]
4.33/2.47 nIntStructures=(406,shared:0)
4.33/2.47 wck=0.618, cpu=2.429, mem=87M288
4.33/2.47 Solver SolverBacktrack being built...
4.33/2.47
4.66/2.50
4.66/2.50 Solver
4.66/2.50 guaranteedGAC=false
4.66/2.50 wck=0.651, cpu=2.46, mem=97M931
4.66/2.50
4.66/2.50 Preprocessing
4.66/2.50 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.66/2.50 wck=0.001, cpu=2.462, mem=97M931
4.66/2.50
5.24/2.88 num=0, depth=36..36, filters=620, revisions=(7434,useless=6739), ccks=1125968, wck=0.387, mem=100M573
5.24/2.88 decisions=56, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.24/2.88
5.61/3.13 num=1, depth=31..31, filters=815, revisions=(12061,useless=11162), ccks=1893236, wck=0.633, mem=100M573
5.61/3.13 decisions=109, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.61/3.13
5.71/3.25 num=2, depth=31..31, filters=997, revisions=(16389,useless=15298), ccks=2265436, wck=0.757, mem=103M216
5.71/3.25 decisions=164, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.71/3.25
6.19/3.64 num=3, depth=11..12, filters=1135, revisions=(21732,useless=20502), ccks=3505573, wck=1.141, mem=103M216
6.19/3.64 decisions=203, wrong=47, backtracks=1, failedAssignments=46, nogoods=38
6.19/3.64
6.40/3.83 num=4, depth=35..35, filters=1874, revisions=(28090,useless=26113), ccks=4159485, wck=1.332, mem=103M216
6.40/3.83 decisions=266, wrong=61, backtracks=1, failedAssignments=60, nogoods=52
6.40/3.83
6.82/4.22 num=5, depth=12..13, filters=2024, revisions=(33088,useless=30957), ccks=5547911, wck=1.726, mem=103M216
6.82/4.22 decisions=312, wrong=78, backtracks=2, failedAssignments=76, nogoods=54
6.82/4.22
7.87/5.28 num=6, depth=6..6, filters=2150, revisions=(38741,useless=36483), ccks=9411862, wck=2.786, mem=103M216
7.87/5.28 decisions=352, wrong=95, backtracks=2, failedAssignments=93, nogoods=71
7.87/5.28
9.08/6.44 num=7, depth=6..7, filters=2253, revisions=(44005,useless=41644), ccks=13602246, wck=3.942, mem=103M216
9.08/6.44 decisions=398, wrong=115, backtracks=3, failedAssignments=112, nogoods=72
9.08/6.44
9.38/6.76 num=8, depth=12..12, filters=2327, revisions=(46770,useless=44334), ccks=14745874, wck=4.262, mem=103M216
9.38/6.76 decisions=452, wrong=136, backtracks=3, failedAssignments=133, nogoods=93
9.38/6.76
9.88/7.27 num=9, depth=7..11, filters=2446, revisions=(50362,useless=47807), ccks=16595894, wck=4.775, mem=103M216
9.88/7.27 decisions=509, wrong=159, backtracks=3, failedAssignments=156, nogoods=116
9.88/7.27
10.38/7.77 num=10, depth=8..11, filters=2533, revisions=(53591,useless=50948), ccks=18415845, wck=5.277, mem=103M216
10.38/7.77 decisions=570, wrong=184, backtracks=3, failedAssignments=181, nogoods=141
10.38/7.77
12.42/9.74 num=11, depth=6..8, filters=2679, revisions=(60922,useless=58132), ccks=25617247, wck=7.244, mem=103M216
12.42/9.74 decisions=637, wrong=214, backtracks=5, failedAssignments=209, nogoods=144
12.42/9.74
12.92/10.24 num=12, depth=9..13, filters=2798, revisions=(65498,useless=62586), ccks=27395780, wck=7.741, mem=103M216
12.92/10.24 decisions=716, wrong=247, backtracks=7, failedAssignments=240, nogoods=174
12.92/10.24
13.33/10.61 num=13, depth=7..9, filters=2935, revisions=(69389,useless=66339), ccks=28732164, wck=8.117, mem=103M216
13.33/10.61 decisions=793, wrong=281, backtracks=7, failedAssignments=274, nogoods=208
13.33/10.61
15.33/12.62 num=14, depth=5..9, filters=3100, revisions=(76784,useless=73567), ccks=36063582, wck=10.126, mem=103M216
15.33/12.62 decisions=878, wrong=319, backtracks=8, failedAssignments=311, nogoods=225
15.33/12.62
15.84/13.14 num=15, depth=7..9, filters=3224, revisions=(81094,useless=77752), ccks=37918569, wck=10.64, mem=103M216
15.84/13.14 decisions=969, wrong=360, backtracks=8, failedAssignments=352, nogoods=266
15.84/13.14
17.44/14.72 num=16, depth=6..7, filters=3473, revisions=(92713,useless=89118), ccks=43616352, wck=12.222, mem=103M216
17.44/14.72 decisions=1070, wrong=407, backtracks=10, failedAssignments=397, nogoods=270
17.44/14.72
18.05/15.36 num=17, depth=6..8, filters=3728, revisions=(104966,useless=101113), ccks=45856164, wck=12.866, mem=103M216
18.05/15.36 decisions=1181, wrong=459, backtracks=12, failedAssignments=447, nogoods=277
18.05/15.36
19.86/17.19 num=18, depth=6..8, filters=4013, revisions=(118602,useless=114461), ccks=52473727, wck=14.695, mem=103M216
19.86/17.19 decisions=1302, wrong=516, backtracks=14, failedAssignments=502, nogoods=293
19.86/17.19
21.06/18.32 num=19, depth=9..13, filters=4211, revisions=(124720,useless=120379), ccks=56574799, wck=15.825, mem=103M216
21.06/18.32 decisions=1437, wrong=577, backtracks=14, failedAssignments=563, nogoods=354
21.06/18.32
21.66/19.00 num=20, depth=12..16, filters=4431, revisions=(131426,useless=126863), ccks=58980003, wck=16.504, mem=103M216
21.66/19.00 decisions=1587, wrong=644, backtracks=14, failedAssignments=630, nogoods=421
21.66/19.00
23.57/20.86 num=21, depth=8..9, filters=5046, revisions=(153645,useless=148443), ccks=65587143, wck=18.364, mem=103M216
23.57/20.86 decisions=1753, wrong=723, backtracks=19, failedAssignments=704, nogoods=426
23.57/20.86
25.88/23.15 num=22, depth=8..12, filters=5373, revisions=(165558,useless=160026), ccks=73845260, wck=20.65, mem=103M216
25.88/23.15 decisions=1929, wrong=806, backtracks=21, failedAssignments=785, nogoods=476
25.88/23.15
27.08/24.38 num=23, depth=8..16, filters=5685, revisions=(173811,useless=167967), ccks=78310634, wck=21.886, mem=103M216
27.08/24.38 decisions=2123, wrong=895, backtracks=21, failedAssignments=874, nogoods=565
27.08/24.38
33.48/30.75 num=24, depth=7..8, filters=6401, revisions=(203274,useless=196701), ccks=101432631, wck=28.257, mem=103M216
33.48/30.75 decisions=2337, wrong=998, backtracks=26, failedAssignments=972, nogoods=582
33.48/30.75
34.89/32.17 num=25, depth=6..16, filters=6800, revisions=(213310,useless=206338), ccks=106520247, wck=29.671, mem=103M216
34.89/32.17 decisions=2570, wrong=1107, backtracks=27, failedAssignments=1080, nogoods=672
34.89/32.17
37.39/34.62 num=26, depth=7..8, filters=7569, revisions=(244065,useless=236297), ccks=115231605, wck=32.12, mem=103M216
37.39/34.62 decisions=2828, wrong=1232, backtracks=33, failedAssignments=1199, nogoods=694
37.39/34.62
39.10/36.36 num=27, depth=5..6, filters=8280, revisions=(277619,useless=269112), ccks=121258384, wck=33.865, mem=103M216
39.10/36.36 decisions=3121, wrong=1376, backtracks=46, failedAssignments=1330, nogoods=722
39.10/36.36
40.11/37.33 num=28, depth=8..17, filters=8718, revisions=(290709,useless=281763), ccks=124643369, wck=34.829, mem=103M216
40.11/37.33 decisions=3426, wrong=1520, backtracks=46, failedAssignments=1474, nogoods=866
40.11/37.33
44.31/41.56 num=29, depth=8..9, filters=10059, revisions=(337140,useless=326794), ccks=139671991, wck=39.063, mem=105M858
44.31/41.56 decisions=3774, wrong=1690, backtracks=58, failedAssignments=1632, nogoods=878
44.31/41.56
46.21/43.46 num=30, depth=8..16, filters=10700, revisions=(352501,useless=341514), ccks=146480732, wck=40.966, mem=105M858
46.21/43.46 decisions=4143, wrong=1867, backtracks=61, failedAssignments=1806, nogoods=991
46.21/43.46
47.71/44.98 num=31, depth=8..18, filters=11473, revisions=(371638,useless=359876), ccks=151818232, wck=42.478, mem=105M858
47.71/44.98 decisions=4546, wrong=2061, backtracks=64, failedAssignments=1997, nogoods=1109
47.71/44.98
49.42/46.60 num=32, depth=11..17, filters=12110, revisions=(390209,useless=377810), ccks=157566924, wck=44.1, mem=105M858
49.42/46.60 decisions=4990, wrong=2275, backtracks=68, failedAssignments=2208, nogoods=1203
49.42/46.60
51.02/48.29 num=33, depth=7..20, filters=12938, revisions=(410717,useless=397490), ccks=163535368, wck=45.792, mem=105M858
51.02/48.29 decisions=5474, wrong=2507, backtracks=68, failedAssignments=2440, nogoods=1435
51.02/48.29
60.63/57.83 num=34, depth=9..12, filters=15605, revisions=(490040,useless=474018), ccks=197599254, wck=55.332, mem=105M858
60.63/57.83 decisions=6040, wrong=2785, backtracks=91, failedAssignments=2695, nogoods=1444
60.63/57.83
66.04/63.24 num=35, depth=6..9, filters=17336, revisions=(566257,useless=548444), ccks=216560221, wck=60.738, mem=105M858
66.04/63.24 decisions=6670, wrong=3097, backtracks=122, failedAssignments=2976, nogoods=1480
66.04/63.24
68.14/65.34 num=36, depth=10..17, filters=18558, revisions=(604428,useless=585368), ccks=223895863, wck=62.844, mem=105M858
68.14/65.34 decisions=7321, wrong=3415, backtracks=131, failedAssignments=3285, nogoods=1626
68.14/65.34
70.08/67.23 num=37, depth=8..24, filters=19962, revisions=(634246,useless=613781), ccks=230474028, wck=64.736, mem=105M858
70.08/67.23 decisions=8039, wrong=3763, backtracks=139, failedAssignments=3625, nogoods=1826
70.08/67.23
72.28/69.47 num=38, depth=11..19, filters=21352, revisions=(666545,useless=644689), ccks=238269505, wck=66.968, mem=105M858
72.28/69.47 decisions=8813, wrong=4142, backtracks=145, failedAssignments=3999, nogoods=1968
72.28/69.47
75.08/72.28 num=39, depth=8..19, filters=22894, revisions=(702026,useless=678627), ccks=248179274, wck=69.783, mem=105M858
75.08/72.28 decisions=9665, wrong=4559, backtracks=153, failedAssignments=4410, nogoods=2074
75.08/72.28
81.09/78.11 num=40, depth=5..6, filters=25335, revisions=(805855,useless=779953), ccks=268436029, wck=75.61, mem=105M858
81.09/78.11 decisions=10661, wrong=5054, backtracks=196, failedAssignments=4862, nogoods=2145
81.09/78.11
84.33/81.35 num=41, depth=12..24, filters=26708, revisions=(847531,useless=820255), ccks=279884212, wck=78.85, mem=105M858
84.33/81.35 decisions=11694, wrong=5559, backtracks=206, failedAssignments=5359, nogoods=2337
84.33/81.35
103.25/100.27 num=42, depth=7..10, filters=30673, revisions=(1000776,useless=969383), ccks=347881859, wck=97.772, mem=105M858
103.25/100.27 decisions=12881, wrong=6148, backtracks=248, failedAssignments=5906, nogoods=2362
103.25/100.27
107.95/104.96 num=43, depth=10..18, filters=32318, revisions=(1050765,useless=1017724), ccks=364605509, wck=102.462, mem=105M858
107.95/104.96 decisions=14121, wrong=6759, backtracks=261, failedAssignments=6508, nogoods=2460
107.95/104.96
112.06/109.04 num=44, depth=10..21, filters=34527, revisions=(1106933,useless=1071679), ccks=378991556, wck=106.54, mem=105M858
112.06/109.04 decisions=15484, wrong=7431, backtracks=273, failedAssignments=7170, nogoods=2653
112.06/109.04
115.75/112.79 num=45, depth=8..21, filters=37061, revisions=(1168805,useless=1130995), ccks=392107018, wck=110.289, mem=105M858
115.75/112.79 decisions=16975, wrong=8168, backtracks=286, failedAssignments=7898, nogoods=2800
115.75/112.79
120.17/117.13 num=46, depth=8..22, filters=39512, revisions=(1238361,useless=1198079), ccks=407421878, wck=114.631, mem=105M858
120.17/117.13 decisions=18608, wrong=8975, backtracks=302, failedAssignments=8699, nogoods=2985
120.17/117.13
124.66/121.61 num=47, depth=8..21, filters=42562, revisions=(1316107,useless=1272737), ccks=423097795, wck=119.108, mem=105M858
124.66/121.61 decisions=20404, wrong=9865, backtracks=334, failedAssignments=9580, nogoods=3124
124.66/121.61
128.86/125.88 num=48, depth=10..21, filters=46136, revisions=(1416852,useless=1369854), ccks=437746352, wck=123.378, mem=105M858
128.86/125.88 decisions=22402, wrong=10856, backtracks=358, failedAssignments=10550, nogoods=3284
128.86/125.88
135.26/132.24 num=49, depth=12..21, filters=49831, revisions=(1507630,useless=1456934), ccks=460042435, wck=129.74, mem=105M858
135.26/132.24 decisions=24588, wrong=11942, backtracks=382, failedAssignments=11617, nogoods=3364
135.26/132.24
141.07/138.03 num=50, depth=10..21, filters=53607, revisions=(1612109,useless=1557633), ccks=480172871, wck=135.533, mem=105M858
141.07/138.03 decisions=27025, wrong=13151, backtracks=420, failedAssignments=12790, nogoods=3483
141.07/138.03
146.17/143.14 num=51, depth=10..22, filters=56900, revisions=(1717375,useless=1659604), ccks=497923121, wck=140.639, mem=105M858
146.17/143.14 decisions=29640, wrong=14451, backtracks=464, failedAssignments=14081, nogoods=3545
146.17/143.14
210.78/207.76 num=52, depth=4..7, filters=66356, revisions=(2062089,useless=1994617), ccks=732935873, wck=205.265, mem=105M858
210.78/207.76 decisions=32737, wrong=15997, backtracks=592, failedAssignments=15501, nogoods=3594
210.78/207.76
218.39/215.32 num=53, depth=8..24, filters=72559, revisions=(2193642,useless=2119967), ccks=759416023, wck=212.821, mem=105M858
218.39/215.32 decisions=35912, wrong=17575, backtracks=619, failedAssignments=17063, nogoods=3787
218.39/215.32
228.50/225.43 num=54, depth=8..22, filters=79334, revisions=(2348186,useless=2267722), ccks=794823158, wck=222.933, mem=105M858
228.50/225.43 decisions=39547, wrong=19384, backtracks=718, failedAssignments=18781, nogoods=3969
228.50/225.43
234.60/231.50 num=55, depth=14..27, filters=87188, revisions=(2509437,useless=2421118), ccks=815480601, wck=229.004, mem=108M500
234.60/231.50 decisions=43419, wrong=21308, backtracks=757, failedAssignments=20671, nogoods=4263
234.60/231.50
249.00/245.98 num=56, depth=12..24, filters=94330, revisions=(2691099,useless=2595598), ccks=866618836, wck=243.487, mem=108M500
249.00/245.98 decisions=47702, wrong=23441, backtracks=843, failedAssignments=22750, nogoods=4450
249.00/245.98
293.72/290.68 num=57, depth=6..19, filters=109175, revisions=(3223680,useless=3113048), ccks=1025521279, wck=288.187, mem=108M500
293.72/290.68 decisions=52625, wrong=25895, backtracks=1013, failedAssignments=25037, nogoods=4557
293.72/290.68
304.32/301.22 num=58, depth=12..22, filters=118788, revisions=(3442221,useless=3321941), ccks=1062082307, wck=298.727, mem=108M500
304.32/301.22 decisions=57817, wrong=28482, backtracks=1086, failedAssignments=27553, nogoods=4705
304.32/301.22
317.33/314.23 num=59, depth=12..22, filters=128660, revisions=(3722297,useless=3592060), ccks=1106932135, wck=311.736, mem=108M500
317.33/314.23 decisions=63597, wrong=31363, backtracks=1241, failedAssignments=30321, nogoods=4868
317.33/314.23
328.74/325.65 num=60, depth=12..25, filters=138534, revisions=(3983697,useless=3843467), ccks=1146225334, wck=323.149, mem=108M500
328.74/325.65 decisions=69766, wrong=34437, backtracks=1355, failedAssignments=33365, nogoods=5091
328.74/325.65
349.54/346.41 num=61, depth=10..25, filters=149581, revisions=(4269274,useless=4117938), ccks=1219848469, wck=343.912, mem=108M500
349.54/346.41 decisions=76613, wrong=37850, backtracks=1487, failedAssignments=36714, nogoods=5465
349.54/346.41
383.38/380.28 num=62, depth=6..25, filters=162722, revisions=(4694854,useless=4529934), ccks=1340290615, wck=377.785, mem=108M500
383.38/380.28 decisions=84169, wrong=41619, backtracks=1631, failedAssignments=40398, nogoods=5688
383.38/380.28
408.79/405.65 num=63, depth=10..20, filters=177071, revisions=(5108700,useless=4928809), ccks=1429634236, wck=403.156, mem=108M500
408.79/405.65 decisions=92448, wrong=45751, backtracks=1844, failedAssignments=44450, nogoods=5864
408.79/405.65
424.09/420.90 num=64, depth=11..25, filters=194510, revisions=(5498217,useless=5300884), ccks=1481728140, wck=418.399, mem=108M500
424.09/420.90 decisions=101514, wrong=50274, backtracks=1928, failedAssignments=48907, nogoods=6128
424.09/420.90
445.18/441.91 num=65, depth=14..26, filters=210197, revisions=(5971743,useless=5758669), ccks=1553876765, wck=439.411, mem=111M143
445.18/441.91 decisions=111546, wrong=55280, backtracks=2203, failedAssignments=53810, nogoods=6357
445.18/441.91
467.33/464.06 num=66, depth=12..26, filters=228208, revisions=(6466885,useless=6234564), ccks=1630780058, wck=461.567, mem=111M143
467.33/464.06 decisions=122530, wrong=60763, backtracks=2492, failedAssignments=59204, nogoods=6610
467.33/464.06
706.30/703.00 num=67, depth=6..25, filters=271186, revisions=(7984452,useless=7707972), ccks=2494275451, wck=700.499, mem=111M143
706.30/703.00 decisions=135488, wrong=67230, backtracks=3045, failedAssignments=65137, nogoods=6813
706.30/703.00
735.61/732.29 num=68, depth=5..24, filters=293263, revisions=(8682355,useless=8383592), ccks=2594937854, wck=729.793, mem=111M143
735.61/732.29 decisions=149028, wrong=73991, backtracks=3385, failedAssignments=71663, nogoods=6974
735.61/732.29
767.54/764.16 num=69, depth=12..25, filters=318693, revisions=(9291205,useless=8967004), ccks=2705712005, wck=761.658, mem=111M143
767.54/764.16 decisions=163826, wrong=81381, backtracks=3701, failedAssignments=78842, nogoods=7118
767.54/764.16
801.34/797.98 num=70, depth=14..24, filters=340892, revisions=(9962958,useless=9615764), ccks=2824278651, wck=795.481, mem=113M785
801.34/797.98 decisions=179776, wrong=89347, backtracks=4084, failedAssignments=86739, nogoods=7313
801.34/797.98
834.36/830.91 num=71, depth=12..24, filters=369604, revisions=(10706310,useless=10330114), ccks=2937314943, wck=828.413, mem=113M785
834.36/830.91 decisions=197494, wrong=98197, backtracks=4514, failedAssignments=95426, nogoods=7564
834.36/830.91
886.84/883.39 num=72, depth=12..22, filters=398217, revisions=(11594984,useless=11189325), ccks=3122529475, wck=880.895, mem=113M785
886.84/883.39 decisions=217023, wrong=107954, backtracks=4936, failedAssignments=104981, nogoods=7793
886.84/883.39
943.35/939.80 num=73, depth=12..24, filters=431655, revisions=(12588946,useless=12148795), ccks=3321001922, wck=937.302, mem=113M785
943.35/939.80 decisions=238841, wrong=118855, backtracks=5506, failedAssignments=115492, nogoods=7946
943.35/939.80
990.97/987.40 num=74, depth=8..24, filters=471661, revisions=(13631037,useless=13150612), ccks=3484157956, wck=984.899, mem=116M428
990.97/987.40 decisions=262287, wrong=130569, backtracks=5927, failedAssignments=127054, nogoods=8385
990.97/987.40
1047.99/1044.47 num=75, depth=10..25, filters=519256, revisions=(14784278,useless=14253824), ccks=3683452290, wck=1041.97, mem=116M428
1047.99/1044.47 decisions=288075, wrong=143454, backtracks=6430, failedAssignments=139772, nogoods=8611
1047.99/1044.47
1099.63/1096.04 num=76, depth=10..25, filters=572585, revisions=(16296873,useless=15711505), ccks=3861117056, wck=1093.538, mem=116M428
1099.63/1096.04 decisions=317301, wrong=158057, backtracks=7428, failedAssignments=153762, nogoods=8873
1099.63/1096.04
1137.43/1133.82 num=77, depth=10..26, filters=626980, revisions=(17709139,useless=17068938), ccks=3987619478, wck=1131.325, mem=119M70
1137.43/1133.82 decisions=349547, wrong=174169, backtracks=8511, failedAssignments=169151, nogoods=9241
1137.43/1133.82
1206.95/1203.34 num=78, depth=12..24, filters=677422, revisions=(19127202,useless=18435376), ccks=4229663434, wck=1200.841, mem=119M70
1206.95/1203.34 decisions=383871, wrong=191322, backtracks=9135, failedAssignments=186079, nogoods=9462
1206.95/1203.34
1322.70/1319.10 num=79, depth=10..23, filters=757019, revisions=(21389141,useless=20617062), ccks=4632333563, wck=1316.601, mem=121M713
1322.70/1319.10 decisions=423228, wrong=210992, backtracks=10278, failedAssignments=204700, nogoods=9594
1322.70/1319.10
1434.43/1430.75 num=80, depth=9..24, filters=835982, revisions=(23264803,useless=22413305), ccks=5025857760, wck=1428.248, mem=121M713
1434.43/1430.75 decisions=465091, wrong=231915, backtracks=10965, failedAssignments=225184, nogoods=9868
1434.43/1430.75
1545.78/1542.02 num=81, depth=12..26, filters=914332, revisions=(25375108,useless=24443725), ccks=5415798691, wck=1539.527, mem=124M355
1545.78/1542.02 decisions=511041, wrong=254881, backtracks=11968, failedAssignments=247716, nogoods=10177
1545.78/1542.02
1656.20/1652.46 num=82, depth=12..21, filters=1012142, revisions=(28791577,useless=27759066), ccks=5790629757, wck=1649.968, mem=124M355
1656.20/1652.46 decisions=562507, wrong=280606, backtracks=13348, failedAssignments=272501, nogoods=10327
1656.20/1652.46
1725.02/1721.19 num=83, depth=10..43, filters=1114639, revisions=(31167890,useless=30032365), ccks=6023480907, wck=1718.692, mem=126M997
1725.02/1721.19 decisions=617448, wrong=308057, backtracks=14166, failedAssignments=299765, nogoods=11005
1725.02/1721.19
1865.55/1861.64 num=84, depth=9..26, filters=1201234, revisions=(33922102,useless=32693927), ccks=6516372026, wck=1859.138, mem=129M640
1865.55/1861.64 decisions=678267, wrong=338458, backtracks=15846, failedAssignments=329755, nogoods=11258
1865.55/1861.64
1975.99/1972.02 num=85, depth=8..25, filters=1304135, revisions=(36838352,useless=35505075), ccks=6893092733, wck=1969.524, mem=129M640
1975.99/1972.02 decisions=745603, wrong=372117, backtracks=17562, failedAssignments=362744, nogoods=11582
1975.99/1972.02
2101.14/2097.16 num=86, depth=14..31, filters=1429956, revisions=(40070149,useless=38609046), ccks=7321120630, wck=2094.664, mem=132M282
2101.14/2097.16 decisions=819466, wrong=409035, backtracks=19000, failedAssignments=399032, nogoods=11938
2101.14/2097.16
2241.47/2237.49 num=87, depth=6..26, filters=1554916, revisions=(43555591,useless=41967064), ccks=7810093954, wck=2234.996, mem=134M925
2241.47/2237.49 decisions=901954, wrong=450269, backtracks=21885, failedAssignments=438949, nogoods=12211
2241.47/2237.49
2378.93/2374.88 num=88, depth=10..28, filters=1705484, revisions=(47840197,useless=46098553), ccks=8277432622, wck=2372.384, mem=137M567
2378.93/2374.88 decisions=990674, wrong=494617, backtracks=24478, failedAssignments=482858, nogoods=12708
2378.93/2374.88
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 (14824 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390704-1568387864/watcher-4390704-1568387864 -o /tmp/evaluation-result-4390704-1568387864/solver-4390704-1568387864 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568380474-26101 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390704-1568387864.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27575, runsolver pid=27572
[startup+0.100058 s]*
/proc/loadavg: 1.40 1.49 1.56 5/228 27590
/proc/meminfo: memFree=31154544/32770624 swapFree=67000260/67108860
[pid=27575] ppid=27572 vsize=10659884 memory=28780 CPUtime=0.14 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 5696 0 0 0 13 1 0 0 20 0 15 0 414700361 10915721216 7195 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2664971 7195 2899 1 0 2627468 0
[pid=27575/tid=27577] ppid=27572 vsize=10659884 memory=-8197568871503662460 CPUtime=0.09 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) R 27572 27575 26068 0 -1 4202560 3218 0 0 0 9 0 0 0 20 0 15 0 414700361 10915721216 7195 33554432000 4194304 4196468 140729192617440 140353166816296 140353154825022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 7195 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 7195 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 7195 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 7195 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700363 10915721216 7195 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414700363 10915721216 7195 33554432000 4194304 4196468 140729192617440 140352197256608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414700364 10915721216 7195 33554432000 4194304 4196468 140729192617440 140352196204016 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 7195 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 15 0 414700366 10915721216 7195 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 7261 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0.02 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) R 27572 27575 26068 0 -1 4202560 640 0 0 0 2 0 0 0 20 0 15 0 414700366 10915721216 7261 33554432000 4194304 4196468 140729192617440 140352191990040 140353141529432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 7261 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700367 10915721216 7261 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28780 KiB
[startup+0.211599 s]*
/proc/loadavg: 1.40 1.49 1.56 3/228 27590
/proc/meminfo: memFree=31143736/32770624 swapFree=67000260/67108860
[pid=27575] ppid=27572 vsize=10659884 memory=37280 CPUtime=0.33 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 9089 0 0 0 30 3 0 0 20 0 15 0 414700361 10915721216 9320 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2664971 9320 2985 1 0 2627468 0
[pid=27575/tid=27577] ppid=27572 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) R 27572 27575 26068 0 -1 4202560 6102 0 0 0 18 1 0 0 20 0 15 0 414700361 10915721216 9320 33554432000 4194304 4196468 140729192617440 140353166819984 140353162609821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 9320 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10659884 memory=3690902773674137248 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 9320 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 9320 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 9320 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700363 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414700363 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352197256608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414700364 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352196204016 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 590 0 0 0 3 0 0 0 20 0 15 0 414700366 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 15 0 414700366 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0.05 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 745 0 0 0 5 0 0 0 20 0 15 0 414700366 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700367 10915721216 9320 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37280 KiB
[startup+0.310172 s]*
/proc/loadavg: 1.40 1.49 1.56 4/228 27590
/proc/meminfo: memFree=31141800/32770624 swapFree=67000260/67108860
[pid=27575] ppid=27572 vsize=10659884 memory=40088 CPUtime=0.47 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 9437 0 0 0 44 3 0 0 20 0 15 0 414700361 10915721216 10022 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2664971 10022 3007 1 0 2627468 0
[pid=27575/tid=27577] ppid=27572 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) R 27572 27575 26068 0 -1 4202560 6374 0 0 0 28 2 0 0 20 0 15 0 414700361 10915721216 10022 33554432000 4194304 4196468 140729192617440 140353166819696 140353162609821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 10022 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10659884 memory=3832761759594829472 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 10022 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 10022 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700362 10915721216 10022 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700363 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414700363 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352197256608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414700364 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352196204016 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 15 0 414700366 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 15 0 414700366 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0.07 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 772 0 0 0 7 0 0 0 20 0 15 0 414700366 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10659884 memory=139978408842880 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700367 10915721216 10022 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40088 KiB
[startup+0.700817 s]
/proc/loadavg: 1.40 1.49 1.56 3/228 27590
/proc/meminfo: memFree=31131160/32770624 swapFree=67000260/67108860
[pid=27575] ppid=27572 vsize=10661932 memory=63824 CPUtime=1.1 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 12944 0 0 0 105 5 0 0 20 0 15 0 414700361 10917818368 15956 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2665483 15956 3074 1 0 2627980 0
[pid=27575/tid=27577] ppid=27572 vsize=10661932 memory=1240 CPUtime=0.68 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) R 27572 27575 26068 0 -1 4202560 8797 0 0 0 64 4 0 0 20 0 15 0 414700361 10917818368 15956 33554432000 4194304 4196468 140729192617440 140353166819920 140353146668382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10661932 memory=580 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10917818368 15956 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10661932 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10917818368 15956 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10661932 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10917818368 15956 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10661932 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700362 10917818368 15956 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700363 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10661932 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414700363 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352197256608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10661932 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414700364 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352196204016 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10661932 memory=7811607157327816530 CPUtime=0.11 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) R 27572 27575 26068 0 -1 4202560 1019 0 0 0 11 0 0 0 20 0 15 0 414700366 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352194099184 140353162609242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10661932 memory=7236547281622689387 CPUtime=0.1 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 536 0 0 0 10 0 0 0 20 0 15 0 414700366 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 1233 0 0 0 19 0 0 0 20 0 15 0 414700366 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414700366 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700367 10917818368 15956 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63824 KiB
[startup+1.50077 s]
/proc/loadavg: 1.45 1.50 1.57 4/228 27590
/proc/meminfo: memFree=31114720/32770624 swapFree=67000260/67108860
[pid=27575] ppid=27572 vsize=10663980 memory=75568 CPUtime=2 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 17088 0 0 0 194 6 0 0 20 0 15 0 414700361 10919915520 18892 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2665995 18892 3095 1 0 2628492 0
[pid=27575/tid=27577] ppid=27572 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) R 27572 27575 26068 0 -1 4202560 11808 0 0 0 143 5 0 0 20 0 15 0 414700361 10919915520 18892 33554432000 4194304 4196468 140729192617440 140353166818784 140353146668382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10663980 memory=3054156605301691547 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10919915520 18892 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10663980 memory=-8851153767425282410 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10919915520 18892 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10663980 memory=-8171376296011865461 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414700362 10919915520 18892 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414700362 10919915520 18892 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10663980 memory=8546864036052574154 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414700363 10919915520 18892 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
################
# More data... #
################
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.03 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 1165 0 0 0 2 1 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352197256672 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10748324 memory=246292 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414700364 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352196204032 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.33 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 8591 0 0 0 132 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10748324 memory=1564 CPUtime=1.26 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 7620 0 0 0 125 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10748324 memory=532 CPUtime=0.71 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 10084 0 0 0 70 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.47 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 845 0 0 0 19 28 0 0 20 0 16 0 414700367 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27591] ppid=27572 vsize=10748324 memory=35736 CPUtime=2440.68 cores=1,3,5,7
/proc/27575/task/27591/stat : 27591 (java) R 27572 27575 26068 0 -1 4202560 11946 0 0 0 244065 3 0 0 20 0 16 0 414700549 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352172994256 140352776845264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 2446.44 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 248340 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.03 1.12 2/207 27866
/proc/meminfo: memFree=31314036/32770624 swapFree=67000276/67108860
[pid=27575] ppid=27572 vsize=10748324 memory=248340 CPUtime=2506.47 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 55724 0 0 0 250605 42 0 0 20 0 16 0 414700361 11006283776 62085 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2687081 62085 3356 1 0 2647217 0
[pid=27575/tid=27577] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.85 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) S 27572 27575 26068 0 -1 1077944384 13739 0 0 0 179 6 0 0 20 0 16 0 414700361 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353166830768 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.03 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 1169 0 0 0 2 1 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352197256672 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414700364 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352196204032 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.33 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 8597 0 0 0 132 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.26 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 7622 0 0 0 125 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.71 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 10084 0 0 0 70 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.47 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 874 0 0 0 19 28 0 0 20 0 16 0 414700367 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27591] ppid=27572 vsize=10748324 memory=248340 CPUtime=2500.68 cores=1,3,5,7
/proc/27575/task/27591/stat : 27591 (java) R 27572 27575 26068 0 -1 4202560 12043 0 0 0 250065 3 0 0 20 0 16 0 414700549 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352172994256 140352776685952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 2506.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 248340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.9 s]
/proc/loadavg: 1.00 1.03 1.12 2/207 27870
/proc/meminfo: memFree=31314588/32770624 swapFree=67000276/67108860
[pid=27575] ppid=27572 vsize=10748324 memory=248340 CPUtime=2520.07 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 55867 0 0 0 251965 42 0 0 20 0 16 0 414700361 11006283776 62085 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2687081 62085 3356 1 0 2647217 0
[pid=27575/tid=27577] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.85 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) S 27572 27575 26068 0 -1 1077944384 13739 0 0 0 179 6 0 0 20 0 16 0 414700361 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353166830768 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.03 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 1169 0 0 0 2 1 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352197256672 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10748324 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414700364 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352196204032 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10748324 memory=35740 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.33 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 8597 0 0 0 132 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.26 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 7622 0 0 0 125 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10748324 memory=5908 CPUtime=0.71 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 10214 0 0 0 70 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10748324 memory=772 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10748324 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 875 0 0 0 19 29 0 0 20 0 16 0 414700367 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27591] ppid=27572 vsize=10748324 memory=3616 CPUtime=2514.29 cores=1,3,5,7
/proc/27575/task/27591/stat : 27591 (java) R 27572 27575 26068 0 -1 4202560 12055 0 0 0 251426 3 0 0 20 0 16 0 414700549 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352173002024 140352776660426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 248340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.93 s]
# the end of solver process 27575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.71 s, system=0.446091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.9 s]
/proc/loadavg: 1.00 1.03 1.12 2/207 27870
/proc/meminfo: memFree=31314588/32770624 swapFree=67000276/67108860
[pid=27575] ppid=27572 vsize=10748324 memory=248340 CPUtime=2520.07 cores=1,3,5,7
/proc/27575/stat : 27575 (java) S 27572 27575 26068 0 -1 1077944320 55867 0 0 0 251965 42 0 0 20 0 16 0 414700361 11006283776 62085 33554432000 4194304 4196468 140729192617440 140729192599984 140353162587895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
/proc/27575/statm: 2687081 62085 3356 1 0 2647217 0
[pid=27575/tid=27577] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.85 cores=1,3,5,7
/proc/27575/task/27577/stat : 27577 (java) S 27572 27575 26068 0 -1 1077944384 13739 0 0 0 179 6 0 0 20 0 16 0 414700361 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353166830768 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27578] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27578/stat : 27578 (java) S 27572 27575 26068 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353099278608 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27579] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27579/stat : 27579 (java) S 27572 27575 26068 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353098226064 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27580] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27580/stat : 27580 (java) S 27572 27575 26068 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353097173520 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27581] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.01 cores=1,3,5,7
/proc/27575/task/27581/stat : 27581 (java) S 27572 27575 26068 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 414700362 11006283776 62085 33554432000 4194304 4196468 140729192617440 140353096120976 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27582] ppid=27572 vsize=10748324 memory=248340 CPUtime=0.03 cores=1,3,5,7
/proc/27575/task/27582/stat : 27582 (java) S 27572 27575 26068 0 -1 1077944384 1169 0 0 0 2 1 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352198310384 140353162599042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27583] ppid=27572 vsize=10748324 memory=248340 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27583/stat : 27583 (java) S 27572 27575 26068 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414700363 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352197256672 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27584] ppid=27572 vsize=10748324 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27584/stat : 27584 (java) S 27572 27575 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414700364 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352196204032 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27585] ppid=27572 vsize=10748324 memory=35740 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27585/stat : 27585 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352195152592 140353162606491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27586] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.33 cores=1,3,5,7
/proc/27575/task/27586/stat : 27586 (java) S 27572 27575 26068 0 -1 1077944384 8597 0 0 0 132 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352194099184 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27587] ppid=27572 vsize=10748324 memory=248340 CPUtime=1.26 cores=1,3,5,7
/proc/27575/task/27587/stat : 27587 (java) S 27572 27575 26068 0 -1 1077944384 7622 0 0 0 125 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352193046640 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27588] ppid=27572 vsize=10748324 memory=5908 CPUtime=0.71 cores=1,3,5,7
/proc/27575/task/27588/stat : 27588 (java) S 27572 27575 26068 0 -1 1077944384 10214 0 0 0 70 1 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352191994096 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27589] ppid=27572 vsize=10748324 memory=772 CPUtime=0 cores=1,3,5,7
/proc/27575/task/27589/stat : 27589 (java) S 27572 27575 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414700366 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352190941792 140353162598101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27590] ppid=27572 vsize=10748324 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/27575/task/27590/stat : 27590 (java) S 27572 27575 26068 0 -1 1077944384 875 0 0 0 19 29 0 0 20 0 16 0 414700367 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352189889328 140353162599042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
[pid=27575/tid=27591] ppid=27572 vsize=10748324 memory=3616 CPUtime=2514.29 cores=1,3,5,7
/proc/27575/task/27591/stat : 27591 (java) R 27572 27575 26068 0 -1 4202560 12055 0 0 0 251426 3 0 0 20 0 16 0 414700549 11006283776 62085 33554432000 4194304 4196468 140729192617440 140352173002024 140352776660426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140729192625163 140729192625266 140729192625266 140729192628175 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 248340 KiB
Child status: 143
Real time (s): 2515.93
CPU time (s): 2520.16
CPU user time (s): 2519.71
CPU system time (s): 0.446091
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 248340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.446091
maximum resident set size= 269624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57350
involuntary context switches= 695
# summary of solver processes directly reported to runsolver:
# pid: 27575
# total CPU time (s): 2520.16
# total CPU user time (s): 2519.71
# total CPU system time (s): 0.446091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0595 second user time and 20.9662 second system time
The end