2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
3.61/2.29 Instance
3.61/2.29 name=instance-4390627-1568381472, framework=CSP
3.61/2.29
3.61/2.29 Loading variables...
4.00/2.33 Loading constraints...
6.91/3.28
6.91/3.28 Domains
6.91/3.28 nTypes=1, nValues=900, sizes=[6#150]
6.91/3.28 Variables
6.91/3.28 count=150, degrees=[119#2,120#36,121#112]
6.91/3.28 Constraints
6.91/3.28 count=4418, nSpecific=38, arities=[1#30,4#4350,10#29,30#5,60#4]
6.91/3.28 distribution=[CardinalityConstant#5,CtrIntension#4380,LexicographicLe#33]
6.91/3.28 nIntStructures=(7,shared:4373), nCftStructures=(1,shared:4349,unbuilt:68)
6.91/3.28 wck=1.434, cpu=3.222, mem=61M279
6.91/3.29 Solver SolverBacktrack being built...
6.91/3.29
7.26/3.32
7.26/3.32 Solver
7.26/3.32 guaranteedGAC=true
7.26/3.32 wck=1.481, cpu=3.267, mem=74M530
7.26/3.35
7.26/3.35 Preprocessing
7.26/3.35 filters=31, revisions=(3510,useless=3484), ccks=20546, nACremovedValues=150, nTotalRemovedValues=150, inconcistency=false
7.26/3.35 wck=0.029, cpu=3.297, mem=75M851
7.26/3.35
7.26/3.39 num=0, depth=20..25, filters=193, revisions=(18586,useless=18452), ccks=56686, wck=0.067, mem=75M851
7.26/3.39 decisions=55, wrong=17, backtracks=8, failedAssignments=10, nogoods=3
7.26/3.39
7.60/3.45 num=1, depth=1..50, filters=545, revisions=(44955,useless=44514), ccks=106461, wck=0.128, mem=78M476
7.60/3.45 decisions=129, wrong=31, backtracks=12, failedAssignments=21, nogoods=11
7.60/3.45
7.60/3.46 num=2, depth=0..7, filters=654, revisions=(50310,useless=49801), ccks=116261, wck=0.138, mem=78M476
7.60/3.46 decisions=163, wrong=46, backtracks=15, failedAssignments=33, nogoods=21
7.60/3.46
7.92/3.51 num=3, depth=0..67, filters=1118, revisions=(87313,useless=86404), ccks=165587, wck=0.187, mem=78M476
7.92/3.51 decisions=257, wrong=62, backtracks=18, failedAssignments=46, nogoods=27
7.92/3.51
7.92/3.55 num=4, depth=0..49, filters=1592, revisions=(130196,useless=128851), ccks=213605, wck=0.228, mem=81M119
7.92/3.55 decisions=338, wrong=81, backtracks=24, failedAssignments=60, nogoods=33
7.92/3.55
7.92/3.59 num=5, depth=7..56, filters=2151, revisions=(173726,useless=171890), ccks=266202, wck=0.267, mem=81M119
7.92/3.59 decisions=436, wrong=104, backtracks=31, failedAssignments=76, nogoods=46
7.92/3.59
8.23/3.65 num=6, depth=8..51, filters=3015, revisions=(264049,useless=261412), ccks=349250, wck=0.329, mem=81M119
8.23/3.65 decisions=543, wrong=133, backtracks=46, failedAssignments=93, nogoods=54
8.23/3.65
8.23/3.69 num=7, depth=11..47, filters=3706, revisions=(320360,useless=317155), ccks=404755, wck=0.368, mem=81M119
8.23/3.69 decisions=650, wrong=166, backtracks=60, failedAssignments=112, nogoods=60
8.23/3.69
8.48/3.74 num=8, depth=13..57, filters=4594, revisions=(389526,useless=385493), ccks=468861, wck=0.414, mem=81M119
8.48/3.74 decisions=775, wrong=202, backtracks=75, failedAssignments=133, nogoods=69
8.48/3.74
8.48/3.78 num=9, depth=28..50, filters=5376, revisions=(453470,useless=448717), ccks=532777, wck=0.456, mem=81M119
8.48/3.78 decisions=883, wrong=234, backtracks=88, failedAssignments=156, nogoods=77
8.48/3.78
8.72/3.81 num=10, depth=1..34, filters=5956, revisions=(487679,useless=482468), ccks=575820, wck=0.486, mem=81M119
8.72/3.81 decisions=999, wrong=278, backtracks=107, failedAssignments=181, nogoods=87
8.72/3.81
8.72/3.86 num=11, depth=0..51, filters=6879, revisions=(566071,useless=560029), ccks=646218, wck=0.534, mem=81M119
8.72/3.86 decisions=1128, wrong=320, backtracks=126, failedAssignments=209, nogoods=94
8.72/3.86
8.94/3.91 num=12, depth=2..55, filters=8057, revisions=(657013,useless=649901), ccks=734046, wck=0.589, mem=81M119
8.94/3.91 decisions=1286, wrong=374, backtracks=152, failedAssignments=240, nogoods=108
8.94/3.91
8.94/3.98 num=13, depth=2..56, filters=9490, revisions=(782288,useless=773840), ccks=846380, wck=0.657, mem=81M119
8.94/3.98 decisions=1454, wrong=434, backtracks=186, failedAssignments=274, nogoods=121
8.94/3.98
9.11/4.06 num=14, depth=2..56, filters=11690, revisions=(925236,useless=914648), ccks=983996, wck=0.732, mem=81M119
9.11/4.06 decisions=1645, wrong=503, backtracks=219, failedAssignments=311, nogoods=130
9.11/4.06
9.30/4.12 num=15, depth=2..54, filters=13183, revisions=(1030141,useless=1018179), ccks=1107522, wck=0.799, mem=81M119
9.30/4.12 decisions=1836, wrong=576, backtracks=257, failedAssignments=352, nogoods=145
9.30/4.12
9.49/4.21 num=16, depth=6..55, filters=15625, revisions=(1197424,useless=1183066), ccks=1279574, wck=0.884, mem=81M119
9.49/4.21 decisions=2052, wrong=659, backtracks=296, failedAssignments=397, nogoods=162
9.49/4.21
9.49/4.27 num=17, depth=10..51, filters=17115, revisions=(1307562,useless=1291877), ccks=1379614, wck=0.941, mem=81M119
9.49/4.27 decisions=2249, wrong=735, backtracks=325, failedAssignments=447, nogoods=175
9.49/4.27
9.60/4.35 num=18, depth=6..57, filters=18786, revisions=(1479257,useless=1462159), ccks=1506448, wck=1.022, mem=81M119
9.60/4.35 decisions=2487, wrong=827, backtracks=369, failedAssignments=502, nogoods=190
9.60/4.35
9.71/4.49 num=19, depth=6..56, filters=22565, revisions=(1812609,useless=1791894), ccks=1743417, wck=1.165, mem=81M119
9.71/4.49 decisions=2759, wrong=941, backtracks=442, failedAssignments=563, nogoods=200
9.71/4.49
10.02/4.61 num=20, depth=8..60, filters=25755, revisions=(2074601,useless=2050824), ccks=1969947, wck=1.284, mem=81M119
10.02/4.61 decisions=3054, wrong=1063, backtracks=509, failedAssignments=630, nogoods=212
10.02/4.61
10.13/4.70 num=21, depth=7..53, filters=27881, revisions=(2250137,useless=2224529), ccks=2154336, wck=1.377, mem=81M119
10.13/4.70 decisions=3319, wrong=1171, backtracks=556, failedAssignments=704, nogoods=229
10.13/4.70
10.33/4.83 num=22, depth=8..51, filters=31677, revisions=(2510050,useless=2480702), ccks=2481712, wck=1.51, mem=81M119
10.33/4.83 decisions=3680, wrong=1329, backtracks=638, failedAssignments=785, nogoods=241
10.33/4.83
10.44/4.94 num=23, depth=22..61, filters=34595, revisions=(2718170,useless=2686265), ccks=2676539, wck=1.612, mem=81M119
10.44/4.94 decisions=4013, wrong=1472, backtracks=710, failedAssignments=874, nogoods=261
10.44/4.94
10.56/5.05 num=24, depth=0..57, filters=37395, revisions=(2942466,useless=2908073), ccks=2898926, wck=1.722, mem=81M119
10.56/5.05 decisions=4363, wrong=1633, backtracks=781, failedAssignments=972, nogoods=271
10.56/5.05
10.66/5.14 num=25, depth=0..39, filters=39560, revisions=(3119411,useless=3083242), ccks=3129513, wck=1.821, mem=81M119
10.66/5.14 decisions=4752, wrong=1813, backtracks=871, failedAssignments=1080, nogoods=288
10.66/5.14
10.75/5.24 num=26, depth=1..39, filters=41760, revisions=(3277777,useless=3239873), ccks=3341250, wck=1.912, mem=81M119
10.75/5.24 decisions=5161, wrong=2004, backtracks=951, failedAssignments=1199, nogoods=300
10.75/5.24
10.86/5.32 num=27, depth=0..38, filters=43790, revisions=(3420736,useless=3381222), ccks=3562641, wck=1.999, mem=81M119
10.86/5.32 decisions=5572, wrong=2201, backtracks=1029, failedAssignments=1330, nogoods=316
10.86/5.32
10.97/5.43 num=28, depth=0..37, filters=46066, revisions=(3594171,useless=3552943), ccks=3839579, wck=2.108, mem=81M119
10.97/5.43 decisions=6071, wrong=2437, backtracks=1149, failedAssignments=1474, nogoods=338
10.97/5.43
11.07/5.55 num=29, depth=1..38, filters=48242, revisions=(3785078,useless=3742242), ccks=4174828, wck=2.226, mem=81M119
11.07/5.55 decisions=6594, wrong=2684, backtracks=1269, failedAssignments=1632, nogoods=362
11.07/5.55
11.27/5.74 num=30, depth=4..39, filters=51844, revisions=(4115573,useless=4069880), ccks=4713592, wck=2.413, mem=81M119
11.27/5.74 decisions=7241, wrong=2994, backtracks=1457, failedAssignments=1806, nogoods=385
11.27/5.74
11.38/5.85 num=31, depth=1..36, filters=54477, revisions=(4294327,useless=4246781), ccks=4986914, wck=2.525, mem=81M119
11.38/5.85 decisions=7788, wrong=3255, backtracks=1545, failedAssignments=1997, nogoods=409
11.38/5.85
11.59/6.05 num=32, depth=4..37, filters=58420, revisions=(4648074,useless=4597453), ccks=5570756, wck=2.73, mem=81M119
11.59/6.05 decisions=8581, wrong=3637, backtracks=1768, failedAssignments=2208, nogoods=429
11.59/6.05
11.82/6.25 num=33, depth=1..36, filters=62345, revisions=(4991060,useless=4937463), ccks=6135262, wck=2.93, mem=81M119
11.82/6.25 decisions=9403, wrong=4035, backtracks=1976, failedAssignments=2440, nogoods=455
11.82/6.25
12.02/6.44 num=34, depth=2..33, filters=66559, revisions=(5320808,useless=5263811), ccks=6631222, wck=3.114, mem=81M119
12.02/6.44 decisions=10216, wrong=4430, backtracks=2152, failedAssignments=2695, nogoods=478
12.02/6.44
12.22/6.66 num=35, depth=5..36, filters=70837, revisions=(5695450,useless=5635275), ccks=7291457, wck=3.337, mem=81M119
12.22/6.66 decisions=11192, wrong=4905, backtracks=2374, failedAssignments=2976, nogoods=497
12.22/6.66
12.53/6.96 num=36, depth=1..37, filters=76136, revisions=(6228249,useless=6163845), ccks=8208607, wck=3.636, mem=81M119
12.53/6.96 decisions=12310, wrong=5451, backtracks=2664, failedAssignments=3285, nogoods=529
12.53/6.96
12.93/7.39 num=37, depth=2..37, filters=83938, revisions=(7034438,useless=6963900), ccks=9454940, wck=4.062, mem=81M119
12.93/7.39 decisions=13695, wrong=6129, backtracks=3098, failedAssignments=3625, nogoods=552
12.93/7.39
13.23/7.67 num=38, depth=5..33, filters=89934, revisions=(7529465,useless=7454321), ccks=10239773, wck=4.345, mem=81M119
13.23/7.67 decisions=14917, wrong=6727, backtracks=3406, failedAssignments=3999, nogoods=580
13.23/7.67
13.53/7.95 num=39, depth=1..35, filters=95832, revisions=(8004719,useless=7924869), ccks=11045621, wck=4.622, mem=81M119
13.53/7.95 decisions=16164, wrong=7347, backtracks=3707, failedAssignments=4410, nogoods=594
13.53/7.95
13.93/8.32 num=40, depth=0..37, filters=102930, revisions=(8685444,useless=8600002), ccks=12176270, wck=5.001, mem=81M119
13.93/8.32 decisions=17720, wrong=8110, backtracks=4114, failedAssignments=4862, nogoods=613
13.93/8.32
14.33/8.71 num=41, depth=1..37, filters=111321, revisions=(9369125,useless=9277429), ccks=13261249, wck=5.383, mem=83M744
14.33/8.71 decisions=19327, wrong=8901, backtracks=4514, failedAssignments=5359, nogoods=627
14.33/8.71
14.75/9.11 num=42, depth=2..38, filters=120605, revisions=(10101864,useless=10002844), ccks=14437538, wck=5.786, mem=83M744
14.75/9.11 decisions=21133, wrong=9791, backtracks=4952, failedAssignments=5906, nogoods=647
14.75/9.11
15.34/9.79 num=43, depth=9..39, filters=133361, revisions=(11358252,useless=11248740), ccks=16413515, wck=6.464, mem=83M744
15.34/9.79 decisions=23443, wrong=10935, backtracks=5651, failedAssignments=6508, nogoods=668
15.34/9.79
15.97/10.38 num=44, depth=2..35, filters=144869, revisions=(12442337,useless=12323487), ccks=18092776, wck=7.054, mem=83M744
15.97/10.38 decisions=25813, wrong=12107, backtracks=6303, failedAssignments=7170, nogoods=680
15.97/10.38
16.62/10.98 num=45, depth=2..33, filters=156868, revisions=(13589694,useless=13461466), ccks=19776498, wck=7.66, mem=83M744
16.62/10.98 decisions=28258, wrong=13323, backtracks=6995, failedAssignments=7898, nogoods=686
16.62/10.98
17.42/11.70 num=46, depth=0..34, filters=173948, revisions=(14869531,useless=14728553), ccks=21749280, wck=8.379, mem=83M744
17.42/11.70 decisions=31029, wrong=14696, backtracks=7709, failedAssignments=8699, nogoods=700
17.42/11.70
18.02/12.39 num=47, depth=1..38, filters=188867, revisions=(16088664,useless=15935966), ccks=23770849, wck=9.07, mem=83M744
18.02/12.39 decisions=34048, wrong=16191, backtracks=8509, failedAssignments=9580, nogoods=716
18.02/12.39
18.83/13.12 num=48, depth=1..38, filters=205504, revisions=(17427777,useless=17262148), ccks=25734444, wck=9.792, mem=83M744
18.83/13.12 decisions=37301, wrong=17804, backtracks=9279, failedAssignments=10550, nogoods=726
18.83/13.12
19.62/13.91 num=49, depth=2..35, filters=224993, revisions=(18895727,useless=18714782), ccks=27823807, wck=10.589, mem=83M744
19.62/13.91 decisions=40858, wrong=19570, backtracks=10108, failedAssignments=11617, nogoods=745
19.62/13.91
21.52/15.90 num=50, depth=5..57, filters=304189, revisions=(24372858,useless=24114725), ccks=31397888, wck=12.572, mem=83M744
21.52/15.90 decisions=45528, wrong=21881, backtracks=11421, failedAssignments=12790, nogoods=770
21.52/15.90
23.92/18.20 num=51, depth=3..57, filters=396338, revisions=(30923531,useless=30575224), ccks=35472672, wck=14.88, mem=83M744
23.92/18.20 decisions=50622, wrong=24406, backtracks=12892, failedAssignments=14081, nogoods=803
23.92/18.20
25.62/19.99 num=52, depth=3..38, filters=432010, revisions=(34364493,useless=33986273), ccks=40459822, wck=16.668, mem=83M744
25.62/19.99 decisions=56265, wrong=27213, backtracks=14693, failedAssignments=15501, nogoods=820
25.62/19.99
27.22/21.59 num=53, depth=9..44, filters=472362, revisions=(37747508,useless=37333427), ccks=44434229, wck=18.27, mem=83M744
27.22/21.59 decisions=61963, wrong=30045, backtracks=16320, failedAssignments=17063, nogoods=839
27.22/21.59
28.62/22.94 num=54, depth=4..36, filters=502303, revisions=(40257282,useless=39819651), ccks=48142429, wck=19.62, mem=83M744
28.62/22.94 decisions=67712, wrong=32906, backtracks=17748, failedAssignments=18781, nogoods=849
28.62/22.94
30.32/24.65 num=55, depth=3..37, filters=537653, revisions=(43408951,useless=42944000), ccks=53234983, wck=21.328, mem=83M744
30.32/24.65 decisions=74263, wrong=36169, backtracks=19582, failedAssignments=20671, nogoods=872
30.32/24.65
33.22/27.53 num=56, depth=3..61, filters=638245, revisions=(50785193,useless=50225108), ccks=59060360, wck=24.208, mem=86M369
33.22/27.53 decisions=81978, wrong=40005, backtracks=21687, failedAssignments=22750, nogoods=903
33.22/27.53
36.12/30.42 num=57, depth=5..39, filters=692369, revisions=(56165623,useless=55561073), ccks=67394377, wck=27.092, mem=86M369
36.12/30.42 decisions=91174, wrong=44589, backtracks=24686, failedAssignments=25037, nogoods=930
36.12/30.42
38.53/32.81 num=58, depth=17..32, filters=738498, revisions=(60876928,useless=60234862), ccks=74180775, wck=29.489, mem=86M369
38.53/32.81 decisions=99641, wrong=48811, backtracks=27116, failedAssignments=27553, nogoods=942
38.53/32.81
42.08/36.38 num=59, depth=4..36, filters=803436, revisions=(67832577,useless=67137717), ccks=84352242, wck=33.059, mem=86M369
42.08/36.38 decisions=110477, wrong=54217, backtracks=30680, failedAssignments=30321, nogoods=966
42.08/36.38
44.80/39.04 num=60, depth=10..34, filters=864894, revisions=(72755898,useless=72013623), ccks=91736467, wck=35.721, mem=86M369
44.80/39.04 decisions=120859, wrong=59396, backtracks=33332, failedAssignments=33365, nogoods=989
44.80/39.04
47.69/41.93 num=61, depth=10..33, filters=931406, revisions=(78173138,useless=77379627), ccks=99451742, wck=38.606, mem=86M369
47.69/41.93 decisions=131943, wrong=64925, backtracks=36228, failedAssignments=36714, nogoods=1004
47.69/41.93
51.49/45.73 num=62, depth=9..37, filters=1006412, revisions=(85381394,useless=84529348), ccks=110173029, wck=42.402, mem=88M994
51.49/45.73 decisions=145364, wrong=71622, backtracks=40285, failedAssignments=40398, nogoods=1022
51.49/45.73
54.59/48.81 num=63, depth=19..34, filters=1078788, revisions=(91366292,useless=90455391), ccks=118165070, wck=45.49, mem=88M994
54.59/48.81 decisions=158817, wrong=78337, backtracks=43792, failedAssignments=44450, nogoods=1031
54.59/48.81
58.30/52.53 num=64, depth=9..32, filters=1156299, revisions=(98470480,useless=97498121), ccks=128707793, wck=49.204, mem=88M994
58.30/52.53 decisions=174106, wrong=85970, backtracks=47841, failedAssignments=48907, nogoods=1045
58.30/52.53
63.61/57.84 num=65, depth=5..35, filters=1266418, revisions=(108899218,useless=107836432), ccks=143047837, wck=54.514, mem=88M994
63.61/57.84 decisions=191781, wrong=94794, backtracks=53192, failedAssignments=53810, nogoods=1063
63.61/57.84
68.12/62.37 num=66, depth=8..36, filters=1372200, revisions=(117095999,useless=115954174), ccks=155599831, wck=59.041, mem=91M620
68.12/62.37 decisions=209923, wrong=103852, backtracks=57875, failedAssignments=59204, nogoods=1077
68.12/62.37
77.63/71.83 num=67, depth=4..58, filters=1691792, revisions=(141702112,useless=140252953), ccks=175553379, wck=68.507, mem=91M620
77.63/71.83 decisions=233440, wrong=115591, backtracks=65051, failedAssignments=65137, nogoods=1119
77.63/71.83
82.84/77.04 num=68, depth=3..37, filters=1808338, revisions=(151541579,useless=149997868), ccks=189467939, wck=73.713, mem=91M620
82.84/77.04 decisions=255356, wrong=126535, backtracks=71137, failedAssignments=71663, nogoods=1135
82.84/77.04
92.95/87.19 num=69, depth=5..59, filters=2051744, revisions=(173777281,useless=172021807), ccks=216207938, wck=83.865, mem=94M245
92.95/87.19 decisions=283150, wrong=140411, backtracks=80328, failedAssignments=78842, nogoods=1164
92.95/87.19
99.64/93.90 num=70, depth=14..38, filters=2199826, revisions=(186557531,useless=184684201), ccks=234042730, wck=90.572, mem=94M245
99.64/93.90 decisions=309846, wrong=153745, backtracks=87409, failedAssignments=86739, nogoods=1177
99.64/93.90
106.44/100.64 num=71, depth=9..36, filters=2355382, revisions=(199154390,useless=197163388), ccks=252446269, wck=97.32, mem=94M245
106.44/100.64 decisions=339147, wrong=168382, backtracks=94771, failedAssignments=95426, nogoods=1189
106.44/100.64
121.75/115.97 num=72, depth=8..58, filters=2907036, revisions=(240760850,useless=238236580), ccks=281646977, wck=112.645, mem=96M870
121.75/115.97 decisions=375257, wrong=186415, backtracks=105394, failedAssignments=104981, nogoods=1220
121.75/115.97
130.96/125.18 num=73, depth=3..37, filters=3107544, revisions=(258192722,useless=255509326), ccks=306696033, wck=121.853, mem=96M870
130.96/125.18 decisions=411003, wrong=204276, backtracks=115366, failedAssignments=115492, nogoods=1240
130.96/125.18
144.86/139.04 num=74, depth=4..38, filters=3368192, revisions=(284844967,useless=281949235), ccks=348029403, wck=135.716, mem=99M495
144.86/139.04 decisions=456422, wrong=226972, backtracks=130003, failedAssignments=127054, nogoods=1265
144.86/139.04
162.87/157.08 num=75, depth=3..57, filters=3901224, revisions=(329958302,useless=326568903), ccks=387639706, wck=153.756, mem=102M121
162.87/157.08 decisions=503263, wrong=250374, backtracks=144458, failedAssignments=139772, nogoods=1296
162.87/157.08
172.88/167.02 num=76, depth=1..40, filters=4143137, revisions=(348793727,useless=345206631), ccks=414298668, wck=163.698, mem=102M121
172.88/167.02 decisions=547757, wrong=272609, backtracks=155798, failedAssignments=153762, nogoods=1319
172.88/167.02
189.17/183.31 num=77, depth=4..34, filters=4459112, revisions=(380855398,useless=377020980), ccks=460272436, wck=179.983, mem=104M746
189.17/183.31 decisions=601807, wrong=299623, backtracks=172159, failedAssignments=169151, nogoods=1329
189.17/183.31
205.78/199.98 num=78, depth=9..37, filters=4784925, revisions=(413150691,useless=409054652), ccks=508283672, wck=196.654, mem=107M371
205.78/199.98 decisions=663956, wrong=330685, backtracks=191001, failedAssignments=186079, nogoods=1352
205.78/199.98
223.58/217.79 num=79, depth=1..36, filters=5147141, revisions=(447940901,useless=443542100), ccks=558721915, wck=214.463, mem=109M996
223.58/217.79 decisions=729819, wrong=363603, backtracks=210658, failedAssignments=204700, nogoods=1370
223.58/217.79
242.09/236.28 num=80, depth=5..37, filters=5552432, revisions=(482038751,useless=477329673), ccks=611466129, wck=232.954, mem=112M621
242.09/236.28 decisions=802963, wrong=400163, backtracks=231591, failedAssignments=225184, nogoods=1399
242.09/236.28
273.50/267.62 num=81, depth=3..37, filters=6111827, revisions=(542788048,useless=537616647), ccks=704400801, wck=264.292, mem=117M872
273.50/267.62 decisions=894939, wrong=446138, backtracks=263260, failedAssignments=247716, nogoods=1416
273.50/267.62
295.10/289.27 num=82, depth=17..33, filters=6430479, revisions=(576382360,useless=570959980), ccks=781319728, wck=285.948, mem=120M497
295.10/289.27 decisions=993275, wrong=495295, backtracks=290815, failedAssignments=272501, nogoods=1437
295.10/289.27
319.41/313.50 num=83, depth=17..34, filters=6952534, revisions=(618243311,useless=612426351), ccks=848996359, wck=310.179, mem=123M122
319.41/313.50 decisions=1090437, wrong=543865, backtracks=316448, failedAssignments=299765, nogoods=1459
319.41/313.50
347.93/342.02 num=84, depth=14..30, filters=7545129, revisions=(670539775,useless=664258074), ccks=927289958, wck=338.691, mem=128M373
347.93/342.02 decisions=1197656, wrong=597463, backtracks=346467, failedAssignments=329755, nogoods=1481
347.93/342.02
379.52/373.67 num=85, depth=16..27, filters=8016400, revisions=(717731959,useless=711108476), ccks=1037292909, wck=370.349, mem=133M623
379.52/373.67 decisions=1330694, wrong=663971, backtracks=384084, failedAssignments=362744, nogoods=1489
379.52/373.67
413.14/407.21 num=86, depth=18..27, filters=8536928, revisions=(771069272,useless=764026746), ccks=1151127406, wck=403.886, mem=138M874
413.14/407.21 decisions=1476856, wrong=737041, backtracks=425501, failedAssignments=399032, nogoods=1510
413.14/407.21
449.96/444.10 num=87, depth=16..25, filters=9057903, revisions=(828198459,useless=820757423), ccks=1278199148, wck=440.776, mem=144M124
449.96/444.10 decisions=1637966, wrong=817586, backtracks=470981, failedAssignments=438949, nogoods=1527
449.96/444.10
490.07/484.13 num=88, depth=16..26, filters=9606945, revisions=(889001942,useless=881131024), ccks=1423037294, wck=480.81, mem=149M375
490.07/484.13 decisions=1816030, wrong=906608, backtracks=521702, failedAssignments=482858, nogoods=1540
490.07/484.13
536.18/530.24 num=89, depth=16..25, filters=10312216, revisions=(957487486,useless=949114021), ccks=1582420963, wck=526.914, mem=154M625
536.18/530.24 decisions=2011473, wrong=1004319, backtracks=576946, failedAssignments=531158, nogoods=1555
536.18/530.24
583.86/577.81 num=90, depth=16..25, filters=10967460, revisions=(1029941889,useless=1021055654), ccks=1755328453, wck=574.484, mem=39M690
583.86/577.81 decisions=2227107, wrong=1112125, backtracks=637781, failedAssignments=584288, nogoods=1574
583.86/577.81
638.49/632.48 num=91, depth=16..26, filters=11792229, revisions=(1113301112,useless=1103789688), ccks=1951343381, wck=629.154, mem=47M720
638.49/632.48 decisions=2463704, wrong=1230413, backtracks=704922, failedAssignments=642731, nogoods=1588
638.49/632.48
696.51/690.49 num=92, depth=16..26, filters=12593401, revisions=(1202733797,useless=1192594515), ccks=2164342020, wck=687.165, mem=55M749
696.51/690.49 decisions=2722364, wrong=1359732, backtracks=778873, failedAssignments=707018, nogoods=1604
696.51/690.49
762.32/756.23 num=93, depth=16..26, filters=13585180, revisions=(1301573185,useless=1290711696), ccks=2397495056, wck=752.906, mem=63M779
762.32/756.23 decisions=3007377, wrong=1502227, backtracks=859521, failedAssignments=777734, nogoods=1617
762.32/756.23
831.75/825.63 num=94, depth=16..25, filters=14560696, revisions=(1408713846,useless=1397090048), ccks=2651179770, wck=822.307, mem=75M824
831.75/825.63 decisions=3321387, wrong=1659222, backtracks=948488, failedAssignments=855521, nogoods=1635
831.75/825.63
914.28/908.12 num=95, depth=16..26, filters=15771618, revisions=(1532949849,useless=1520448601), ccks=2944393215, wck=904.794, mem=87M869
914.28/908.12 decisions=3667374, wrong=1832205, backtracks=1047081, failedAssignments=941087, nogoods=1652
914.28/908.12
1000.70/994.53 num=96, depth=15..26, filters=16953203, revisions=(1666096720,useless=1652673414), ccks=3261008997, wck=991.204, mem=95M898
1000.70/994.53 decisions=4048145, wrong=2022580, backtracks=1155814, failedAssignments=1035210, nogoods=1667
1000.70/994.53
1098.03/1091.80 num=97, depth=15..26, filters=18446688, revisions=(1814000556,useless=1799482125), ccks=3599066334, wck=1088.478, mem=111M958
1098.03/1091.80 decisions=4466726, wrong=2231860, backtracks=1274198, failedAssignments=1138745, nogoods=1678
1098.03/1091.80
1199.96/1193.79 num=98, depth=15..26, filters=19882735, revisions=(1971800481,useless=1956157899), ccks=3969318178, wck=1190.461, mem=124M3
1199.96/1193.79 decisions=4926077, wrong=2461525, backtracks=1404160, failedAssignments=1252634, nogoods=1691
1199.96/1193.79
1317.70/1311.42 num=99, depth=15..26, filters=21634819, revisions=(2150677348,useless=2133748767), ccks=4382014212, wck=1308.094, mem=144M77
1317.70/1311.42 decisions=5430626, wrong=2713789, backtracks=1547329, failedAssignments=1377912, nogoods=1706
1317.70/1311.42
1441.03/1434.71 num=100, depth=15..26, filters=23337555, revisions=(2339863429,useless=2321607849), ccks=4834202130, wck=1431.384, mem=160M137
1441.03/1434.71 decisions=5985291, wrong=2991111, backtracks=1705227, failedAssignments=1515718, nogoods=1717
1441.03/1434.71
1585.40/1579.06 num=101, depth=15..26, filters=25539714, revisions=(2558705686,useless=2538848969), ccks=5339204953, wck=1575.731, mem=184M226
1585.40/1579.06 decisions=6595946, wrong=3296428, backtracks=1878786, failedAssignments=1667304, nogoods=1735
1585.40/1579.06
1734.54/1728.16 num=102, depth=15..26, filters=27624585, revisions=(2790067660,useless=2768581024), ccks=5876905925, wck=1724.839, mem=200M286
1734.54/1728.16 decisions=7268569, wrong=3632730, backtracks=2070029, failedAssignments=1834049, nogoods=1758
1734.54/1728.16
1908.78/1902.37 num=103, depth=15..26, filters=30254635, revisions=(3057157464,useless=3033754667), ccks=6481595936, wck=1899.051, mem=228M390
1908.78/1902.37 decisions=8011970, wrong=4004420, backtracks=2281201, failedAssignments=2017468, nogoods=1782
1908.78/1902.37
2089.98/2083.40 num=104, depth=15..26, filters=32766924, revisions=(3335732373,useless=3310369666), ccks=7144914980, wck=2080.079, mem=47M552
2089.98/2083.40 decisions=8822749, wrong=4409800, backtracks=2511632, failedAssignments=2219229, nogoods=1799
2089.98/2083.40
2298.34/2291.70 num=105, depth=15..26, filters=35823459, revisions=(3653807420,useless=3626193665), ccks=7879817476, wck=2288.38, mem=79M134
2298.34/2291.70 decisions=9717894, wrong=4857363, backtracks=2766880, failedAssignments=2441167, nogoods=1817
2298.34/2291.70
2517.51/2510.84 num=106, depth=15..26, filters=38868012, revisions=(3991016296,useless=3961024393), ccks=8681520136, wck=2507.516, mem=106M768
2517.51/2510.84 decisions=10700984, wrong=5348897, backtracks=3046258, failedAssignments=2685298, nogoods=1831
2517.51/2510.84
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 (15054 MiB free)
memory of node 1: 16384 MiB (15766 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390627-1568381472/watcher-4390627-1568381472 -o /tmp/evaluation-result-4390627-1568381472/solver-4390627-1568381472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568380480-27644 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390627-1568381472.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28166, runsolver pid=28163
Current StackSize limit: 8192 KiB
[startup+0.103877 s]*
/proc/loadavg: 2.17 2.02 1.35 5/230 28181
/proc/meminfo: memFree=31544136/32770624 swapFree=67004188/67108860
[pid=28166] ppid=28163 vsize=10659884 memory=29972 CPUtime=0.15 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 6003 0 0 0 14 1 0 0 20 0 15 0 414308769 10915721216 7493 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2664971 7493 2919 1 0 2627468 0
[pid=28166/tid=28168] ppid=28163 vsize=10659884 memory=720575944405811505 CPUtime=0.1 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) R 28163 28166 27612 0 -1 4202560 3350 0 0 0 9 1 0 0 20 0 15 0 414308769 10915721216 7493 33554432000 4194304 4196468 140730886690400 139741438905808 139741414248596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 7493 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10659884 memory=288370197316310656 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 7493 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 7493 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 7493 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308771 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414308772 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740992775456 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414308772 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740991723120 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) R 28163 28166 27612 0 -1 4202560 623 0 0 0 1 0 0 0 20 0 15 0 414308774 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740921718896 139741412545200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) R 28163 28166 27612 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740920666096 139741434686082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0.02 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) R 28163 28166 27612 0 -1 4202560 568 0 0 0 2 0 0 0 20 0 15 0 414308774 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740919609768 139741413599945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308775 10915721216 7493 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29972 KiB
[startup+0.211533 s]*
/proc/loadavg: 2.17 2.02 1.35 3/230 28181
/proc/meminfo: memFree=31534000/32770624 swapFree=67004188/67108860
[pid=28166] ppid=28163 vsize=10659884 memory=36816 CPUtime=0.32 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 9023 0 0 0 30 2 0 0 20 0 15 0 414308769 10915721216 9204 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2664971 9204 2989 1 0 2627468 0
[pid=28166/tid=28168] ppid=28163 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) R 28163 28166 27612 0 -1 4202560 6114 0 0 0 18 2 0 0 20 0 15 0 414308769 10915721216 9204 33554432000 4194304 4196468 140730886690400 139741438907024 139741434696861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9204 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10659884 memory=139821164626136 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9204 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9204 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9204 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308771 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414308772 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740992775456 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414308772 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740991723120 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) S 28163 28166 27612 0 -1 1077944384 780 0 0 0 3 0 0 0 20 0 15 0 414308774 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) S 28163 28166 27612 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 414308774 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740920666096 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0.05 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) S 28163 28166 27612 0 -1 1077944384 593 0 0 0 5 0 0 0 20 0 15 0 414308774 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740919613808 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308775 10915721216 9204 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36816 KiB
[startup+0.310166 s]*
/proc/loadavg: 2.17 2.02 1.35 3/230 28181
/proc/meminfo: memFree=31532188/32770624 swapFree=67004188/67108860
[pid=28166] ppid=28163 vsize=10659884 memory=39884 CPUtime=0.47 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 9247 0 0 0 45 2 0 0 20 0 15 0 414308769 10915721216 9971 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2664971 9971 3008 1 0 2627468 0
[pid=28166/tid=28168] ppid=28163 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) R 28163 28166 27612 0 -1 4202560 6264 0 0 0 28 2 0 0 20 0 15 0 414308769 10915721216 9971 33554432000 4194304 4196468 140730886690400 139741438902480 139741434696861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10659884 memory=4294981932 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9971 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10659884 memory=139821164626110 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9971 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9971 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308770 10915721216 9971 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308771 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414308772 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740992775456 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414308772 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740991723120 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) R 28163 28166 27612 0 -1 1077944384 813 0 0 0 4 0 0 0 20 0 15 0 414308774 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) R 28163 28166 27612 0 -1 4202560 195 0 0 0 3 0 0 0 20 0 15 0 414308774 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740920657600 139741413864385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0.08 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) R 28163 28166 27612 0 -1 4202560 616 0 0 0 8 0 0 0 20 0 15 0 414308774 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740919613808 139741434696282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10659884 memory=139821164598912 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308775 10915721216 9971 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39884 KiB
[startup+0.700716 s]
/proc/loadavg: 2.17 2.02 1.35 3/230 28181
/proc/meminfo: memFree=31521560/32770624 swapFree=67004188/67108860
[pid=28166] ppid=28163 vsize=10661932 memory=63280 CPUtime=1.1 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 12879 0 0 0 106 4 0 0 20 0 15 0 414308769 10917818368 15820 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2665483 15820 3075 1 0 2627980 0
[pid=28166/tid=28168] ppid=28163 vsize=10661932 memory=39072 CPUtime=0.67 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) R 28163 28166 27612 0 -1 4202560 8809 0 0 0 64 3 0 0 20 0 15 0 414308769 10917818368 15820 33554432000 4194304 4196468 140730886690400 139741438906960 139741414950816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10661932 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10917818368 15820 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10917818368 15820 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10917818368 15820 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308770 10917818368 15820 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308771 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414308772 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740992775456 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414308772 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740991723120 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10661932 memory=18 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) S 28163 28166 27612 0 -1 1077944384 1107 0 0 0 11 0 0 0 20 0 15 0 414308774 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10661932 memory=1317 CPUtime=0.1 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) R 28163 28166 27612 0 -1 4202560 517 0 0 0 10 0 0 0 20 0 15 0 414308774 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740920666096 139741420730209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10661932 memory=95884 CPUtime=0.18 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) S 28163 28166 27612 0 -1 1077944384 1087 0 0 0 18 0 0 0 20 0 15 0 414308774 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740919613808 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414308774 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308775 10917818368 15820 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63280 KiB
[startup+1.50073 s]
/proc/loadavg: 2.16 2.02 1.35 3/230 28181
/proc/meminfo: memFree=31505492/32770624 swapFree=67004188/67108860
[pid=28166] ppid=28163 vsize=10663980 memory=75388 CPUtime=2 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 18441 0 0 0 194 6 0 0 20 0 15 0 414308769 10919915520 18847 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2665995 18847 3094 1 0 2628492 0
[pid=28166/tid=28168] ppid=28163 vsize=10663980 memory=984 CPUtime=1.48 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) R 28163 28166 27612 0 -1 4202560 12949 0 0 0 143 5 0 0 20 0 15 0 414308769 10919915520 18847 33554432000 4194304 4196468 140730886690400 139741438906960 139741418755422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10919915520 18847 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10919915520 18847 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414308770 10919915520 18847 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414308770 10919915520 18847 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10663980 memory=1 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 414308771 10919915520 18847 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
################
# More data... #
################
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 485 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10748324 memory=354232 CPUtime=0.04 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 1843 0 0 0 3 1 0 0 20 0 16 0 414308771 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740992775520 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740991723136 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.35 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) S 28163 28166 27612 0 -1 1077944384 5624 0 0 0 234 1 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.52 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) S 28163 28166 27612 0 -1 1077944384 7921 0 0 0 250 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740920666096 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.89 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) S 28163 28166 27612 0 -1 1077944384 6293 0 0 0 87 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740919613808 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.5 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1034 0 0 0 21 29 0 0 20 0 16 0 414308775 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28182] ppid=28163 vsize=10748324 memory=354244 CPUtime=2440.5 cores=1,3,5,7
/proc/28166/task/28182/stat : 28182 (java) R 28163 28166 27612 0 -1 4202560 15317 0 0 0 244044 6 0 0 20 0 16 0 414308956 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740900838992 139741079035363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 2448.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 354244 KiB
[startup+2502.3 s]
/proc/loadavg: 1.88 1.85 1.87 3/230 28509
/proc/meminfo: memFree=31311804/32770624 swapFree=67004192/67108860
[pid=28166] ppid=28163 vsize=10748324 memory=354244 CPUtime=2509.01 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 56004 0 0 0 250850 51 0 0 20 0 16 0 414308769 11006283776 88561 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2687081 88561 3378 1 0 2647217 0
[pid=28166/tid=28168] ppid=28163 vsize=10748324 memory=354244 CPUtime=1.85 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) S 28163 28166 27612 0 -1 1077944384 15201 0 0 0 179 6 0 0 20 0 16 0 414308769 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741438917808 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 200 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.07 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 376 0 0 0 5 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 178 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10748324 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 485 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.04 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 1848 0 0 0 3 1 0 0 20 0 16 0 414308771 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740992775520 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10748324 memory=279642100326336 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740991723136 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.35 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) S 28163 28166 27612 0 -1 1077944384 5624 0 0 0 234 1 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.52 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) S 28163 28166 27612 0 -1 1077944384 7925 0 0 0 250 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740920666096 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10748324 memory=4108 CPUtime=0.89 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) S 28163 28166 27612 0 -1 1077944384 6295 0 0 0 87 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740919613808 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10748324 memory=3336 CPUtime=0.51 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1061 0 0 0 22 29 0 0 20 0 16 0 414308775 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28182] ppid=28163 vsize=10748324 memory=39136 CPUtime=2500.51 cores=1,3,5,7
/proc/28166/task/28182/stat : 28182 (java) R 28163 28166 27612 0 -1 4202560 15384 0 0 0 250045 6 0 0 20 0 16 0 414308956 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740900838992 139741079034682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 2509.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 354244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 1.90 1.86 1.87 3/230 28509
/proc/meminfo: memFree=31311804/32770624 swapFree=67004192/67108860
[pid=28166] ppid=28163 vsize=10748324 memory=354244 CPUtime=2520.01 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 56318 0 0 0 251950 51 0 0 20 0 16 0 414308769 11006283776 88561 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2687081 88561 3378 1 0 2647217 0
[pid=28166/tid=28168] ppid=28163 vsize=10748324 memory=354244 CPUtime=1.85 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) S 28163 28166 27612 0 -1 1077944384 15201 0 0 0 179 6 0 0 20 0 16 0 414308769 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741438917808 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 200 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.07 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 376 0 0 0 5 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 178 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 485 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.04 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 1848 0 0 0 3 1 0 0 20 0 16 0 414308771 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10748324 memory=668 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740992775520 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740991723136 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10748324 memory=3588 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.35 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) S 28163 28166 27612 0 -1 1077944384 5624 0 0 0 234 1 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.52 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) S 28163 28166 27612 0 -1 1077944384 7925 0 0 0 250 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740920666096 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10748324 memory=2604 CPUtime=0.89 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) S 28163 28166 27612 0 -1 1077944384 6295 0 0 0 87 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740919613808 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10748324 memory=792 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10748324 memory=1448 CPUtime=0.51 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1063 0 0 0 22 29 0 0 20 0 16 0 414308775 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28182] ppid=28163 vsize=10748324 memory=1964 CPUtime=2511.51 cores=1,3,5,7
/proc/28166/task/28182/stat : 28182 (java) R 28163 28166 27612 0 -1 4202560 15696 0 0 0 251145 6 0 0 20 0 16 0 414308956 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740900838992 139741079032200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 354244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.31 s]
# the end of solver process 28166 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.51 s, system=0.523083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 1.90 1.86 1.87 3/230 28509
/proc/meminfo: memFree=31311804/32770624 swapFree=67004192/67108860
[pid=28166] ppid=28163 vsize=10748324 memory=354244 CPUtime=2520.01 cores=1,3,5,7
/proc/28166/stat : 28166 (java) S 28163 28166 27612 0 -1 1077944320 56318 0 0 0 251950 51 0 0 20 0 16 0 414308769 11006283776 88561 33554432000 4194304 4196468 140730886690400 140730886672944 139741434674935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
/proc/28166/statm: 2687081 88561 3378 1 0 2647217 0
[pid=28166/tid=28168] ppid=28163 vsize=10748324 memory=354244 CPUtime=1.85 cores=1,3,5,7
/proc/28166/task/28168/stat : 28168 (java) S 28163 28166 27612 0 -1 1077944384 15201 0 0 0 179 6 0 0 20 0 16 0 414308769 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741438917808 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28169] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28169/stat : 28169 (java) S 28163 28166 27612 0 -1 1077944384 200 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741393435024 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28170] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.07 cores=1,3,5,7
/proc/28166/task/28170/stat : 28170 (java) S 28163 28166 27612 0 -1 1077944384 376 0 0 0 5 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741040027920 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28171] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28171/stat : 28171 (java) S 28163 28166 27612 0 -1 1077944384 178 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741038975632 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28172] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.06 cores=1,3,5,7
/proc/28166/task/28172/stat : 28172 (java) S 28163 28166 27612 0 -1 1077944384 485 0 0 0 4 2 0 0 20 0 16 0 414308770 11006283776 88561 33554432000 4194304 4196468 140730886690400 139741037922832 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28173] ppid=28163 vsize=10748324 memory=354244 CPUtime=0.04 cores=1,3,5,7
/proc/28166/task/28173/stat : 28173 (java) S 28163 28166 27612 0 -1 1077944384 1848 0 0 0 3 1 0 0 20 0 16 0 414308771 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740993829488 139741434686082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28174] ppid=28163 vsize=10748324 memory=668 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28174/stat : 28174 (java) S 28163 28166 27612 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740992775520 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28175] ppid=28163 vsize=10748324 memory=354244 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28175/stat : 28175 (java) S 28163 28166 27612 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414308772 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740991723136 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28176] ppid=28163 vsize=10748324 memory=3588 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28176/stat : 28176 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740990671440 139741434693531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28177] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.35 cores=1,3,5,7
/proc/28166/task/28177/stat : 28177 (java) S 28163 28166 27612 0 -1 1077944384 5624 0 0 0 234 1 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740921718896 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28178] ppid=28163 vsize=10748324 memory=354244 CPUtime=2.52 cores=1,3,5,7
/proc/28166/task/28178/stat : 28178 (java) S 28163 28166 27612 0 -1 1077944384 7925 0 0 0 250 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740920666096 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28179] ppid=28163 vsize=10748324 memory=2604 CPUtime=0.89 cores=1,3,5,7
/proc/28166/task/28179/stat : 28179 (java) S 28163 28166 27612 0 -1 1077944384 6295 0 0 0 87 2 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740919613808 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28180] ppid=28163 vsize=10748324 memory=792 CPUtime=0 cores=1,3,5,7
/proc/28166/task/28180/stat : 28180 (java) S 28163 28166 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414308774 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740918561248 139741434685141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28181] ppid=28163 vsize=10748324 memory=1448 CPUtime=0.51 cores=1,3,5,7
/proc/28166/task/28181/stat : 28181 (java) S 28163 28166 27612 0 -1 1077944384 1063 0 0 0 22 29 0 0 20 0 16 0 414308775 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740917509040 139741434686082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
[pid=28166/tid=28182] ppid=28163 vsize=10748324 memory=1964 CPUtime=2511.51 cores=1,3,5,7
/proc/28166/task/28182/stat : 28182 (java) R 28163 28166 27612 0 -1 4202560 15696 0 0 0 251145 6 0 0 20 0 16 0 414308956 11006283776 88561 33554432000 4194304 4196468 140730886690400 139740900838992 139741079032200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26628096 140730886697995 140730886698098 140730886698098 140730886701007 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 354244 KiB
Child status: 143
Real time (s): 2513.31
CPU time (s): 2520.03
CPU user time (s): 2519.51
CPU system time (s): 0.523083
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 363980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.523083
maximum resident set size= 363980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56730
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57539
involuntary context switches= 929
# summary of solver processes directly reported to runsolver:
# pid: 28166
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.51
# total CPU system time (s): 0.523083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7529 second user time and 22.6064 second system time
The end