2.43/1.89
2.43/1.89 AbsCon 2
2.65/1.91
2.92/2.03 Instance
2.92/2.03 name=instance-4390617-1568383035, framework=CSP
2.92/2.03
2.92/2.03 Loading variables...
2.92/2.07 Loading constraints...
3.78/2.34
3.78/2.34 Domains
3.78/2.34 nTypes=1, nValues=25650, sizes=[513#50]
3.78/2.34 Variables
3.78/2.34 count=50, degrees=[25#48,26#1,27#1]
3.78/2.34 Constraints
3.78/2.34 count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.78/2.34 distribution=[CtrIntension#351,LE#1]
3.78/2.34 nIntStructures=(326,shared:25)
3.78/2.34 wck=0.475, cpu=2.303, mem=71M438
3.78/2.34 Solver SolverBacktrack being built...
3.78/2.34
3.78/2.37
3.78/2.37 Solver
3.78/2.37 guaranteedGAC=false
3.78/2.37 wck=0.507, cpu=2.332, mem=82M80
3.78/2.38
3.78/2.38 Preprocessing
3.78/2.38 filters=52, revisions=(53,useless=2), ccks=26277, nACremovedValues=4400, nTotalRemovedValues=4400, inconcistency=false
3.78/2.38 wck=0.015, cpu=2.349, mem=84M722
3.78/2.38
7.12/5.30 num=0, depth=24..24, filters=492, revisions=(1628,useless=1066), ccks=8926406, wck=2.927, mem=90M7
7.12/5.30 decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.12/5.30
7.37/5.42 num=1, depth=2..2, filters=516, revisions=(1676,useless=1091), ccks=9358518, wck=3.049, mem=90M7
7.37/5.42 decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
7.37/5.42
7.68/5.73 num=2, depth=3..3, filters=542, revisions=(1780,useless=1168), ccks=10539081, wck=3.366, mem=90M7
7.68/5.73 decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
7.68/5.73
8.90/6.98 num=3, depth=22..22, filters=668, revisions=(3104,useless=2367), ccks=15216714, wck=4.611, mem=95M292
8.90/6.98 decisions=143, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
8.90/6.98
9.60/7.64 num=4, depth=3..3, filters=697, revisions=(3238,useless=2472), ccks=17684976, wck=5.275, mem=95M292
9.60/7.64 decisions=174, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
9.60/7.64
17.03/15.01 num=5, depth=1..1, filters=713, revisions=(4006,useless=3224), ccks=44783364, wck=12.638, mem=100M577
17.03/15.01 decisions=207, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
17.03/15.01
17.32/15.32 num=6, depth=3..3, filters=749, revisions=(4131,useless=3312), ccks=45956264, wck=12.954, mem=100M577
17.32/15.32 decisions=244, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
17.32/15.32
17.72/15.76 num=7, depth=2..2, filters=807, revisions=(4305,useless=3409), ccks=47500332, wck=13.396, mem=103M219
17.72/15.76 decisions=284, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
17.72/15.76
17.72/15.78 num=8, depth=3..3, filters=851, revisions=(4445,useless=3506), ccks=47547255, wck=13.411, mem=103M219
17.72/15.78 decisions=329, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
17.72/15.78
18.04/16.05 num=9, depth=3..3, filters=899, revisions=(4635,useless=3648), ccks=48472203, wck=13.678, mem=103M219
18.04/16.05 decisions=378, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
18.04/16.05
30.06/28.01 num=10, depth=1..1, filters=924, revisions=(5836,useless=4824), ccks=90526957, wck=25.641, mem=111M147
30.06/28.01 decisions=429, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
30.06/28.01
30.37/28.38 num=11, depth=5..5, filters=982, revisions=(6162,useless=5092), ccks=91806199, wck=26.013, mem=111M147
30.37/28.38 decisions=490, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
30.37/28.38
31.43/29.38 num=12, depth=18..18, filters=1111, revisions=(7655,useless=6456), ccks=95422718, wck=27.013, mem=119M74
31.43/29.38 decisions=570, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
31.43/29.38
32.24/30.12 num=13, depth=7..7, filters=1220, revisions=(8189,useless=6881), ccks=98136591, wck=27.752, mem=121M716
32.24/30.12 decisions=645, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
32.24/30.12
32.93/30.86 num=14, depth=6..6, filters=1336, revisions=(8668,useless=7244), ccks=100843334, wck=28.488, mem=124M359
32.93/30.86 decisions=725, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
32.93/30.86
33.94/31.81 num=15, depth=6..6, filters=1465, revisions=(9226,useless=7632), ccks=104419190, wck=29.437, mem=124M359
33.94/31.81 decisions=813, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
33.94/31.81
53.84/51.70 num=16, depth=1..1, filters=1510, revisions=(11387,useless=9748), ccks=177486274, wck=49.332, mem=140M213
53.84/51.70 decisions=904, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
53.84/51.70
54.15/52.03 num=17, depth=4..4, filters=1613, revisions=(11751,useless=10008), ccks=178716527, wck=49.666, mem=140M213
54.15/52.03 decisions=1008, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
54.15/52.03
55.36/53.24 num=18, depth=2..2, filters=1780, revisions=(12261,useless=10296), ccks=183062729, wck=50.867, mem=142M778
55.36/53.24 decisions=1120, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
55.36/53.24
55.56/53.47 num=19, depth=4..4, filters=1905, revisions=(12689,useless=10600), ccks=183831842, wck=51.075, mem=142M778
55.56/53.47 decisions=1246, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
55.56/53.47
56.96/54.70 num=20, depth=3..3, filters=2041, revisions=(13143,useless=10918), ccks=188333728, wck=52.333, mem=46M762
56.96/54.70 decisions=1383, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
56.96/54.70
88.76/86.51 num=21, depth=1..1, filters=2115, revisions=(16696,useless=14397), ccks=306652244, wck=84.141, mem=72M393
88.76/86.51 decisions=1532, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
88.76/86.51
89.06/86.87 num=22, depth=4..4, filters=2278, revisions=(17281,useless=14819), ccks=307956821, wck=84.498, mem=72M393
89.06/86.87 decisions=1698, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
89.06/86.87
90.27/88.01 num=23, depth=20..22, filters=2585, revisions=(20885,useless=18116), ccks=311985431, wck=85.641, mem=85M209
90.27/88.01 decisions=1898, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
90.27/88.01
91.37/89.15 num=24, depth=9..11, filters=2882, revisions=(22545,useless=19479), ccks=316146992, wck=86.784, mem=90M335
91.37/89.15 decisions=2105, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
91.37/89.15
91.96/89.76 num=25, depth=7..7, filters=3104, revisions=(23825,useless=20537), ccks=318361132, wck=87.394, mem=95M461
91.96/89.76 decisions=2328, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
91.96/89.76
92.87/90.67 num=26, depth=7..7, filters=3465, revisions=(25285,useless=21636), ccks=321667319, wck=88.299, mem=98M24
92.87/90.67 decisions=2573, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
92.87/90.67
94.17/91.95 num=27, depth=7..24, filters=4017, revisions=(28880,useless=24679), ccks=326331373, wck=89.578, mem=110M840
94.17/91.95 decisions=2859, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
94.17/91.95
94.97/92.78 num=28, depth=11..11, filters=4527, revisions=(31446,useless=26735), ccks=329292494, wck=90.416, mem=118M529
94.97/92.78 decisions=3158, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
94.97/92.78
96.28/94.07 num=29, depth=10..13, filters=5065, revisions=(34112,useless=28863), ccks=333946637, wck=91.704, mem=126M218
96.28/94.07 decisions=3487, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
96.28/94.07
99.59/97.31 num=30, depth=22..25, filters=7219, revisions=(44637,useless=37085), ccks=345447900, wck=94.937, mem=154M413
99.59/97.31 decisions=3898, wrong=1826, backtracks=21, failedAssignments=1806, nogoods=1644
99.59/97.31
100.80/98.57 num=31, depth=13..27, filters=8179, revisions=(51069,useless=42544), ccks=349751625, wck=96.201, mem=174M918
100.80/98.57 decisions=4317, wrong=2022, backtracks=26, failedAssignments=1997, nogoods=1721
100.80/98.57
101.53/99.26 num=32, depth=19..25, filters=9083, revisions=(58014,useless=48584), ccks=351777255, wck=96.892, mem=65M122
101.53/99.26 decisions=4764, wrong=2233, backtracks=26, failedAssignments=2208, nogoods=1932
101.53/99.26
102.45/100.12 num=33, depth=22..33, filters=10362, revisions=(68281,useless=57571), ccks=354250929, wck=97.75, mem=93M622
102.45/100.12 decisions=5261, wrong=2465, backtracks=26, failedAssignments=2440, nogoods=2164
102.45/100.12
104.25/101.93 num=34, depth=10..27, filters=11865, revisions=(76391,useless=64174), ccks=360390436, wck=99.566, mem=119M530
104.25/101.93 decisions=5800, wrong=2721, backtracks=27, failedAssignments=2695, nogoods=2400
104.25/101.93
105.36/103.04 num=35, depth=20..30, filters=13107, revisions=(87339,useless=73880), ccks=363783080, wck=100.672, mem=150M621
105.36/103.04 decisions=6392, wrong=3002, backtracks=27, failedAssignments=2976, nogoods=2681
105.36/103.04
106.61/104.20 num=36, depth=16..38, filters=14659, revisions=(98548,useless=83537), ccks=367330136, wck=101.83, mem=47M192
106.61/104.20 decisions=7050, wrong=3312, backtracks=28, failedAssignments=3285, nogoods=2989
106.61/104.20
133.21/130.85 num=37, depth=12..13, filters=16985, revisions=(117244,useless=99898), ccks=463995628, wck=128.482, mem=133M286
133.21/130.85 decisions=7761, wrong=3661, backtracks=37, failedAssignments=3625, nogoods=3049
133.21/130.85
135.66/133.24 num=38, depth=6..16, filters=18327, revisions=(124724,useless=105994), ccks=472419134, wck=130.875, mem=156M766
135.66/133.24 decisions=8525, wrong=4035, backtracks=37, failedAssignments=3999, nogoods=3423
135.66/133.24
137.79/135.30 num=39, depth=15..35, filters=20529, revisions=(141695,useless=120762), ccks=478890753, wck=132.934, mem=73M92
137.79/135.30 decisions=9382, wrong=4446, backtracks=37, failedAssignments=4410, nogoods=3834
137.79/135.30
140.78/138.20 num=40, depth=7..13, filters=21969, revisions=(149416,useless=127044), ccks=489381707, wck=135.833, mem=93M724
140.78/138.20 decisions=10299, wrong=4898, backtracks=37, failedAssignments=4862, nogoods=4286
140.78/138.20
142.62/140.08 num=41, depth=7..36, filters=23533, revisions=(160225,useless=136289), ccks=495741133, wck=137.713, mem=122M94
142.62/140.08 decisions=11329, wrong=5395, backtracks=37, failedAssignments=5359, nogoods=4783
142.62/140.08
175.10/172.47 num=42, depth=3..9, filters=25810, revisions=(175196,useless=149018), ccks=616752644, wck=170.099, mem=60M262
175.10/172.47 decisions=12436, wrong=5944, backtracks=39, failedAssignments=5906, nogoods=5161
175.10/172.47
176.20/173.53 num=43, depth=3..19, filters=27606, revisions=(184188,useless=156215), ccks=620297454, wck=171.16, mem=80M620
176.20/173.53 decisions=13659, wrong=6546, backtracks=39, failedAssignments=6508, nogoods=5763
176.20/173.53
182.81/180.19 num=44, depth=4..27, filters=29745, revisions=(199085,useless=168973), ccks=644331719, wck=177.825, mem=126M427
182.81/180.19 decisions=15012, wrong=7209, backtracks=40, failedAssignments=7170, nogoods=6405
182.81/180.19
184.71/182.06 num=45, depth=11..24, filters=32326, revisions=(215932,useless=183239), ccks=650329202, wck=179.693, mem=172M234
184.71/182.06 decisions=16492, wrong=7937, backtracks=40, failedAssignments=7898, nogoods=7133
184.71/182.06
190.41/187.68 num=46, depth=4..27, filters=35474, revisions=(237886,useless=202045), ccks=669987839, wck=185.313, mem=107M983
190.41/187.68 decisions=18123, wrong=8739, backtracks=41, failedAssignments=8699, nogoods=7914
190.41/187.68
196.65/193.80 num=47, depth=6..38, filters=39432, revisions=(276243,useless=236443), ccks=690428435, wck=191.431, mem=77M549
196.65/193.80 decisions=19925, wrong=9621, backtracks=42, failedAssignments=9580, nogoods=8775
196.65/193.80
202.35/199.56 num=48, depth=6..40, filters=43386, revisions=(313313,useless=269558), ccks=709721057, wck=197.188, mem=168M903
202.35/199.56 decisions=21907, wrong=10592, backtracks=43, failedAssignments=10550, nogoods=9725
202.35/199.56
217.68/214.85 num=49, depth=10..29, filters=47399, revisions=(346387,useless=298617), ccks=765559184, wck=212.483, mem=140M580
217.68/214.85 decisions=24072, wrong=11660, backtracks=44, failedAssignments=11617, nogoods=10772
217.68/214.85
222.41/219.56 num=50, depth=11..46, filters=52291, revisions=(397481,useless=344762), ccks=780163353, wck=217.192, mem=134M382
222.41/219.56 decisions=26464, wrong=12833, backtracks=44, failedAssignments=12790, nogoods=11945
222.41/219.56
225.95/223.04 num=51, depth=15..24, filters=56801, revisions=(430835,useless=373604), ccks=791641474, wck=220.671, mem=69M849
225.95/223.04 decisions=29074, wrong=14129, backtracks=50, failedAssignments=14081, nogoods=12362
225.95/223.04
286.62/283.60 num=52, depth=7..19, filters=63275, revisions=(483441,useless=419602), ccks=1010708903, wck=281.233, mem=80M740
286.62/283.60 decisions=32051, wrong=15610, backtracks=112, failedAssignments=15501, nogoods=12677
286.62/283.60
290.96/287.99 num=53, depth=17..35, filters=68495, revisions=(533550,useless=464491), ccks=1024877741, wck=285.618, mem=59M891
290.96/287.99 decisions=35206, wrong=17172, backtracks=116, failedAssignments=17063, nogoods=13888
290.96/287.99
294.56/291.57 num=54, depth=7..22, filters=73922, revisions=(573357,useless=498870), ccks=1036513046, wck=289.203, mem=136M885
294.56/291.57 decisions=38672, wrong=18897, backtracks=124, failedAssignments=18781, nogoods=14419
294.56/291.57
299.80/296.78 num=55, depth=5..21, filters=77897, revisions=(611069,useless=532608), ccks=1055074609, wck=294.414, mem=89M95
299.80/296.78 decisions=42474, wrong=20788, backtracks=131, failedAssignments=20671, nogoods=15285
299.80/296.78
303.53/300.45 num=56, depth=5..25, filters=84011, revisions=(663916,useless=579342), ccks=1066322826, wck=298.083, mem=75M386
303.53/300.45 decisions=46660, wrong=22870, backtracks=135, failedAssignments=22750, nogoods=16505
303.53/300.45
311.73/308.62 num=57, depth=6..17, filters=89759, revisions=(709543,useless=619221), ccks=1095374605, wck=306.247, mem=143M643
311.73/308.62 decisions=51252, wrong=25158, backtracks=164, failedAssignments=25037, nogoods=17336
311.73/308.62
317.32/314.18 num=58, depth=8..20, filters=98248, revisions=(761505,useless=662605), ccks=1113963556, wck=311.809, mem=121M602
317.32/314.18 decisions=56310, wrong=27677, backtracks=171, failedAssignments=27553, nogoods=18189
317.32/314.18
324.01/320.87 num=59, depth=7..20, filters=103216, revisions=(808909,useless=705041), ccks=1137253544, wck=318.5, mem=82M19
324.01/320.87 decisions=61871, wrong=30450, backtracks=191, failedAssignments=30321, nogoods=18786
324.01/320.87
331.34/328.16 num=60, depth=11..47, filters=114186, revisions=(918647,useless=803808), ccks=1158193953, wck=325.796, mem=114M195
331.34/328.16 decisions=68016, wrong=33504, backtracks=201, failedAssignments=33365, nogoods=21285
331.34/328.16
337.04/333.88 num=61, depth=2..17, filters=122970, revisions=(977110,useless=853488), ccks=1177864991, wck=331.512, mem=109M554
337.04/333.88 decisions=74728, wrong=36853, backtracks=211, failedAssignments=36714, nogoods=22646
337.04/333.88
344.67/341.41 num=62, depth=6..21, filters=133373, revisions=(1058960,useless=924936), ccks=1202369426, wck=339.039, mem=72M506
344.67/341.41 decisions=82123, wrong=40541, backtracks=233, failedAssignments=40398, nogoods=24230
344.67/341.41
351.99/348.77 num=63, depth=9..20, filters=143346, revisions=(1137305,useless=993304), ccks=1227855617, wck=346.397, mem=79M429
351.99/348.77 decisions=90257, wrong=44600, backtracks=265, failedAssignments=44450, nogoods=25204
351.99/348.77
358.90/355.69 num=64, depth=11..17, filters=152592, revisions=(1217835,useless=1064490), ccks=1251378055, wck=353.317, mem=82M62
358.90/355.69 decisions=99186, wrong=49057, backtracks=337, failedAssignments=48907, nogoods=25931
358.90/355.69
563.38/560.03 num=65, depth=3..7, filters=168642, revisions=(1298336,useless=1131183), ccks=2004139343, wck=557.659, mem=64M324
563.38/560.03 decisions=109029, wrong=53976, backtracks=690, failedAssignments=53810, nogoods=26405
563.38/560.03
581.58/578.23 num=66, depth=12..18, filters=181276, revisions=(1404978,useless=1225190), ccks=2066004732, wck=575.866, mem=129M178
581.58/578.23 decisions=119834, wrong=59370, backtracks=739, failedAssignments=59204, nogoods=27605
581.58/578.23
589.55/586.19 num=67, depth=8..18, filters=195834, revisions=(1525348,useless=1330958), ccks=2091215727, wck=583.818, mem=131M227
589.55/586.19 decisions=131718, wrong=65304, backtracks=830, failedAssignments=65137, nogoods=28542
589.55/586.19
602.97/599.57 num=68, depth=6..19, filters=213952, revisions=(1665444,useless=1452936), ccks=2135893434, wck=597.198, mem=84M817
602.97/599.57 decisions=144903, wrong=71888, backtracks=888, failedAssignments=71663, nogoods=29434
602.97/599.57
634.68/631.29 num=69, depth=4..17, filters=229682, revisions=(1810861,useless=1581904), ccks=2246943467, wck=628.917, mem=92M665
634.68/631.29 decisions=159281, wrong=79069, backtracks=1053, failedAssignments=78842, nogoods=30264
634.68/631.29
653.93/650.40 num=70, depth=7..24, filters=252978, revisions=(2006293,useless=1753943), ccks=2308436455, wck=648.036, mem=120M21
653.93/650.40 decisions=175226, wrong=87031, backtracks=1120, failedAssignments=86739, nogoods=31658
653.93/650.40
683.56/680.03 num=71, depth=4..22, filters=271870, revisions=(2197259,useless=1925929), ccks=2411741219, wck=677.657, mem=67M549
683.56/680.03 decisions=192637, wrong=95728, backtracks=1161, failedAssignments=95426, nogoods=32704
683.56/680.03
696.60/693.02 num=72, depth=5..18, filters=285136, revisions=(2318714,useless=2034117), ccks=2458094345, wck=690.655, mem=72M253
696.60/693.02 decisions=211764, wrong=105283, backtracks=1280, failedAssignments=104981, nogoods=33708
696.60/693.02
716.94/713.39 num=73, depth=8..19, filters=311454, revisions=(2512957,useless=2202042), ccks=2527592804, wck=711.02, mem=79M371
716.94/713.39 decisions=232807, wrong=115798, backtracks=1368, failedAssignments=115492, nogoods=34345
716.94/713.39
2255.22/2251.13 num=74, depth=4..24, filters=333808, revisions=(2958004,useless=2624943), ccks=8125899937, wck=2248.761, mem=83M63
2255.22/2251.13 decisions=255954, wrong=127361, backtracks=1520, failedAssignments=127054, nogoods=36723
2255.22/2251.13
2273.24/2269.09 num=75, depth=8..20, filters=363641, revisions=(3226937,useless=2864044), ccks=8183756141, wck=2266.72, mem=88M690
2273.24/2269.09 decisions=281407, wrong=140079, backtracks=1586, failedAssignments=139772, nogoods=38202
2273.24/2269.09
2307.22/2302.92 num=76, depth=6..21, filters=419626, revisions=(3589712,useless=3170834), ccks=8293985549, wck=2300.549, mem=53M673
2307.22/2302.92 decisions=309560, wrong=154146, backtracks=1663, failedAssignments=153762, nogoods=39359
2307.22/2302.92
2364.76/2360.41 num=77, depth=8..14, filters=451566, revisions=(3815594,useless=3364776), ccks=8499883656, wck=2358.04, mem=53M780
2364.76/2360.41 decisions=340352, wrong=169536, backtracks=1749, failedAssignments=169151, nogoods=40162
2364.76/2360.41
2394.33/2389.95 num=78, depth=4..35, filters=490464, revisions=(4183860,useless=3694290), ccks=8594982819, wck=2387.577, mem=79M637
2394.33/2389.95 decisions=374263, wrong=186484, backtracks=1828, failedAssignments=186079, nogoods=41171
2394.33/2389.95
2411.75/2407.38 num=79, depth=2..17, filters=521147, revisions=(4462090,useless=3941690), ccks=8656966105, wck=2405.012, mem=90M464
2411.75/2407.38 decisions=411521, wrong=205105, backtracks=1981, failedAssignments=204700, nogoods=42348
2411.75/2407.38
2448.52/2444.02 num=80, depth=8..20, filters=563931, revisions=(4852325,useless=4289017), ccks=8783687188, wck=2441.655, mem=98M139
2448.52/2444.02 decisions=452511, wrong=225592, backtracks=2099, failedAssignments=225184, nogoods=43138
2448.52/2444.02
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 (15187 MiB free)
memory of node 1: 16384 MiB (15728 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390617-1568383035/watcher-4390617-1568383035 -o /tmp/evaluation-result-4390617-1568383035/solver-4390617-1568383035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26902 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390617-1568383035.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=27723, runsolver pid=27720
[startup+0.104168 s]*
/proc/loadavg: 1.68 1.76 1.68 4/233 27738
/proc/meminfo: memFree=31642132/32770624 swapFree=67009224/67108860
[pid=27723] ppid=27720 vsize=10659884 memory=27248 CPUtime=0.13 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 5800 0 0 0 12 1 0 0 20 0 15 0 414226215 10915721216 6812 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2664971 6812 2890 1 0 2627468 0
[pid=27723/tid=27725] ppid=27720 vsize=10659884 memory=7747744361495276107 CPUtime=0.09 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) R 27720 27723 26870 0 -1 4202560 3501 0 0 0 8 1 0 0 20 0 15 0 414226215 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362788508304 140362784292246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226217 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414226218 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362275185568 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414226218 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362274132976 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0.02 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) R 27720 27723 26870 0 -1 4202560 400 0 0 0 2 0 0 0 20 0 15 0 414226221 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362269924080 140362762821780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 6812 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27248 KiB
[startup+0.211008 s]*
/proc/loadavg: 1.68 1.76 1.68 3/233 27738
/proc/meminfo: memFree=31634876/32770624 swapFree=67009224/67108860
[pid=27723] ppid=27720 vsize=10659884 memory=34116 CPUtime=0.33 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 7146 0 0 0 31 2 0 0 20 0 15 0 414226215 10915721216 8529 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2664971 8529 2989 1 0 2627468 0
[pid=27723/tid=27725] ppid=27720 vsize=10659884 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) R 27720 27723 26870 0 -1 4202560 3992 0 0 0 18 1 0 0 20 0 15 0 414226215 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362788506672 140362784302237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10659884 memory=140260284885985 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226217 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414226218 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362275185568 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414226218 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362274132976 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 414226221 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 457 0 0 0 3 0 0 0 20 0 15 0 414226221 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0.05 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 824 0 0 0 5 0 0 0 20 0 15 0 414226221 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 8529 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34116 KiB
[startup+0.311444 s]*
/proc/loadavg: 1.68 1.76 1.68 3/233 27738
/proc/meminfo: memFree=31628508/32770624 swapFree=67009224/67108860
[pid=27723] ppid=27720 vsize=10659884 memory=39356 CPUtime=0.46 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 9657 0 0 0 43 3 0 0 20 0 15 0 414226215 10915721216 9839 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2664971 9839 3002 1 0 2627468 0
[pid=27723/tid=27725] ppid=27720 vsize=10659884 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) R 27720 27723 26870 0 -1 4202560 6409 0 0 0 27 3 0 0 20 0 15 0 414226215 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362788512720 140362768360798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10659884 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10659884 memory=140260284235398 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226216 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226217 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414226218 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362275185568 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414226218 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362274132976 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 414226221 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) R 27720 27723 26870 0 -1 4202560 500 0 0 0 4 0 0 0 20 0 15 0 414226221 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362270976624 140362784301658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0.08 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 864 0 0 0 8 0 0 0 20 0 15 0 414226221 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10659884 memory=140260282013312 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226221 10915721216 9839 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39356 KiB
[startup+0.700765 s]
/proc/loadavg: 1.68 1.76 1.68 3/233 27738
/proc/meminfo: memFree=31619008/32770624 swapFree=67009224/67108860
[pid=27723] ppid=27720 vsize=10661932 memory=62144 CPUtime=1.12 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 13158 0 0 0 107 5 0 0 20 0 15 0 414226215 10917818368 15536 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2665483 15536 3062 1 0 2627980 0
[pid=27723/tid=27725] ppid=27720 vsize=10661932 memory=13948 CPUtime=0.67 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) R 27720 27723 26870 0 -1 4202560 8893 0 0 0 63 4 0 0 20 0 15 0 414226215 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362788512336 140362769718865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226216 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226217 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10661932 memory=896 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414226218 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362275185568 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10661932 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414226218 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362274132976 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10661932 memory=2452 CPUtime=0.11 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 882 0 0 0 11 0 0 0 20 0 15 0 414226221 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10661932 memory=7302135314614015840 CPUtime=0.13 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 718 0 0 0 13 0 0 0 20 0 15 0 414226221 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10661932 memory=6008736837356055664 CPUtime=0.19 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 1306 0 0 0 19 0 0 0 20 0 15 0 414226221 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10661932 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414226221 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10661932 memory=10 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226221 10917818368 15536 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62144 KiB
[startup+1.50077 s]
/proc/loadavg: 1.68 1.76 1.68 3/233 27738
/proc/meminfo: memFree=31601044/32770624 swapFree=67009224/67108860
[pid=27723] ppid=27720 vsize=10663980 memory=76524 CPUtime=2.03 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 18973 0 0 0 197 6 0 0 20 0 15 0 414226215 10919915520 19131 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2665995 19131 3092 1 0 2628492 0
[pid=27723/tid=27725] ppid=27720 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) R 27720 27723 26870 0 -1 4202560 13196 0 0 0 142 5 0 0 20 0 15 0 414226215 10919915520 19131 33554432000 4194304 4196468 140724981551440 140362788520592 140362768360798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10919915520 19131 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10663980 memory=7308609273588117863 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10919915520 19131 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10663980 memory=7308609273588117863 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414226216 10919915520 19131 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10663980 memory=7308609273588117863 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414226216 10919915520 19131 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10663980 memory=7308609273588117863 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 414226217 10919915520 19131 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
################
# More data... #
################
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 4373 0 0 0 45 4 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.14 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 5795 0 0 0 12 2 0 0 20 0 16 0 414226217 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362275185632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362274132992 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10748324 memory=202360 CPUtime=1.09 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 8942 0 0 0 108 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10748324 memory=202360 CPUtime=1 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 9676 0 0 0 99 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10748324 memory=2200 CPUtime=0.66 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 9932 0 0 0 64 2 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10748324 memory=1948 CPUtime=0.47 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1208 0 0 0 20 27 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27739] ppid=27720 vsize=10748324 memory=202360 CPUtime=2439.53 cores=1,3,5,7
/proc/27723/task/27739/stat : 27739 (java) R 27720 27723 26870 0 -1 4202560 17826 0 0 0 243947 6 0 0 20 0 16 0 414226405 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362250865904 140362426761128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 2446.81 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202360 KiB
[startup+2502.3 s]
/proc/loadavg: 1.81 1.90 1.93 3/234 28306
/proc/meminfo: memFree=31403916/32770624 swapFree=67009252/67108860
[pid=27723] ppid=27720 vsize=10748324 memory=202360 CPUtime=2506.86 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 86477 0 0 0 250630 56 0 0 20 0 16 0 414226215 11006283776 50590 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2687081 50590 3374 1 0 2647217 0
[pid=27723/tid=27725] ppid=27720 vsize=10748324 memory=202360 CPUtime=1.87 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) S 27720 27723 26870 0 -1 1077944384 15493 0 0 0 180 7 0 0 20 0 16 0 414226215 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362788523184 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.49 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 2958 0 0 0 47 2 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 4607 0 0 0 47 3 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 3986 0 0 0 47 3 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 4373 0 0 0 46 4 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.15 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 5802 0 0 0 12 3 0 0 20 0 16 0 414226217 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362275185632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10748324 memory=732 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362274132992 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10748324 memory=202360 CPUtime=1.09 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 8942 0 0 0 108 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10748324 memory=3472 CPUtime=1 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 9676 0 0 0 99 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10748324 memory=1980 CPUtime=0.66 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 9932 0 0 0 64 2 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10748324 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.48 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1212 0 0 0 21 27 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27739] ppid=27720 vsize=10748324 memory=202360 CPUtime=2499.5 cores=1,3,5,7
/proc/27723/task/27739/stat : 27739 (java) R 27720 27723 26870 0 -1 4202560 18053 0 0 0 249944 6 0 0 20 0 16 0 414226405 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362250865888 140362426580352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 2506.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.5 s]
/proc/loadavg: 1.84 1.90 1.93 3/235 28308
/proc/meminfo: memFree=31403380/32770624 swapFree=67009252/67108860
[pid=27723] ppid=27720 vsize=10748324 memory=202360 CPUtime=2520.06 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 86480 0 0 0 251950 56 0 0 20 0 16 0 414226215 11006283776 50590 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2687081 50590 3374 1 0 2647217 0
[pid=27723/tid=27725] ppid=27720 vsize=10748324 memory=202360 CPUtime=1.87 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) S 27720 27723 26870 0 -1 1077944384 15493 0 0 0 180 7 0 0 20 0 16 0 414226215 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362788523184 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 2958 0 0 0 48 2 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 4607 0 0 0 47 3 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 3986 0 0 0 47 3 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 4373 0 0 0 46 4 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.15 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 5802 0 0 0 12 3 0 0 20 0 16 0 414226217 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362275185632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362274132992 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10748324 memory=6791534058613427641 CPUtime=1.09 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 8942 0 0 0 108 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10748324 memory=1948 CPUtime=1 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 9676 0 0 0 99 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.66 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 9932 0 0 0 64 2 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.49 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1214 0 0 0 21 28 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27739] ppid=27720 vsize=10748324 memory=3252 CPUtime=2512.7 cores=1,3,5,7
/proc/27723/task/27739/stat : 27739 (java) R 27720 27723 26870 0 -1 4202560 18054 0 0 0 251264 6 0 0 20 0 16 0 414226405 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362250865904 140362426582016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.51 s]
# the end of solver process 27723 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.51 s, system=0.567022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.5 s]
/proc/loadavg: 1.84 1.90 1.93 3/235 28308
/proc/meminfo: memFree=31403380/32770624 swapFree=67009252/67108860
[pid=27723] ppid=27720 vsize=10748324 memory=202360 CPUtime=2520.06 cores=1,3,5,7
/proc/27723/stat : 27723 (java) S 27720 27723 26870 0 -1 1077944320 86480 0 0 0 251950 56 0 0 20 0 16 0 414226215 11006283776 50590 33554432000 4194304 4196468 140724981551440 140724981533984 140362784280311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
/proc/27723/statm: 2687081 50590 3374 1 0 2647217 0
[pid=27723/tid=27725] ppid=27720 vsize=10748324 memory=202360 CPUtime=1.87 cores=1,3,5,7
/proc/27723/task/27725/stat : 27725 (java) S 27720 27723 26870 0 -1 1077944384 15493 0 0 0 180 7 0 0 20 0 16 0 414226215 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362788523184 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27726] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27726/stat : 27726 (java) S 27720 27723 26870 0 -1 1077944384 2958 0 0 0 48 2 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362753993488 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27727] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27727/stat : 27727 (java) S 27720 27723 26870 0 -1 1077944384 4607 0 0 0 47 3 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362390047632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27728] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27728/stat : 27728 (java) S 27720 27723 26870 0 -1 1077944384 3986 0 0 0 47 3 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362388995088 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27729] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.5 cores=1,3,5,7
/proc/27723/task/27729/stat : 27729 (java) S 27720 27723 26870 0 -1 1077944384 4373 0 0 0 46 4 0 0 20 0 16 0 414226216 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362387942544 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27730] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.15 cores=1,3,5,7
/proc/27723/task/27730/stat : 27730 (java) S 27720 27723 26870 0 -1 1077944384 5802 0 0 0 12 3 0 0 20 0 16 0 414226217 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362276239344 140362784291458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27731] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27731/stat : 27731 (java) S 27720 27723 26870 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362275185632 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27732] ppid=27720 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27732/stat : 27732 (java) S 27720 27723 26870 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 414226218 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362274132992 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27733] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27733/stat : 27733 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362273081552 140362784298907 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27734] ppid=27720 vsize=10748324 memory=6791534058613427641 CPUtime=1.09 cores=1,3,5,7
/proc/27723/task/27734/stat : 27734 (java) S 27720 27723 26870 0 -1 1077944384 8942 0 0 0 108 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362272029168 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27735] ppid=27720 vsize=10748324 memory=1948 CPUtime=1 cores=1,3,5,7
/proc/27723/task/27735/stat : 27735 (java) S 27720 27723 26870 0 -1 1077944384 9676 0 0 0 99 1 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362270976624 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27736] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.66 cores=1,3,5,7
/proc/27723/task/27736/stat : 27736 (java) S 27720 27723 26870 0 -1 1077944384 9932 0 0 0 64 2 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362269924080 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27737] ppid=27720 vsize=10748324 memory=202360 CPUtime=0 cores=1,3,5,7
/proc/27723/task/27737/stat : 27737 (java) S 27720 27723 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362268871776 140362784290517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27738] ppid=27720 vsize=10748324 memory=202360 CPUtime=0.49 cores=1,3,5,7
/proc/27723/task/27738/stat : 27738 (java) S 27720 27723 26870 0 -1 1077944384 1214 0 0 0 21 28 0 0 20 0 16 0 414226221 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362267818288 140362784291458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
[pid=27723/tid=27739] ppid=27720 vsize=10748324 memory=3252 CPUtime=2512.7 cores=1,3,5,7
/proc/27723/task/27739/stat : 27739 (java) R 27720 27723 26870 0 -1 4202560 18054 0 0 0 251264 6 0 0 20 0 16 0 414226405 11006283776 50590 33554432000 4194304 4196468 140724981551440 140362250865904 140362426582016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140724981556235 140724981556338 140724981556338 140724981559247 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202360 KiB
Child status: 143
Real time (s): 2515.51
CPU time (s): 2520.08
CPU user time (s): 2519.51
CPU system time (s): 0.567022
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 294176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.567022
maximum resident set size= 294188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59880
involuntary context switches= 2618
# summary of solver processes directly reported to runsolver:
# pid: 27723
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.51
# total CPU system time (s): 0.567022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6573 second user time and 21.1265 second system time
The end