2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
2.93/2.01 Instance
2.93/2.01 name=instance-4390543-1568383028, framework=CSP
2.93/2.01
2.93/2.01 Loading variables...
2.93/2.05 Loading constraints...
3.82/2.30
3.82/2.30 Domains
3.82/2.30 nTypes=1, nValues=16800, sizes=[336#50]
3.82/2.30 Variables
3.82/2.30 count=50, degrees=[25#48,26#1,27#1]
3.82/2.31 Constraints
3.82/2.31 count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.82/2.31 distribution=[CtrIntension#351,LE#1]
3.82/2.31 nIntStructures=(326,shared:25)
3.82/2.31 wck=0.463, cpu=2.27, mem=60M866
3.82/2.31 Solver SolverBacktrack being built...
3.82/2.31
3.82/2.33
3.82/2.33 Solver
3.82/2.33 guaranteedGAC=false
3.82/2.33 wck=0.493, cpu=2.298, mem=71M508
3.82/2.35
3.82/2.35 Preprocessing
3.82/2.35 filters=52, revisions=(53,useless=2), ccks=17107, nACremovedValues=2566, nTotalRemovedValues=2566, inconcistency=false
3.82/2.35 wck=0.013, cpu=2.313, mem=71M508
3.82/2.35
5.05/3.24 num=0, depth=24..24, filters=324, revisions=(1672,useless=1348), ccks=2582941, wck=0.906, mem=76M793
5.05/3.24 decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.05/3.24
5.05/3.24 num=1, depth=2..2, filters=348, revisions=(1720,useless=1373), ccks=2592280, wck=0.911, mem=76M793
5.05/3.24 decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.05/3.24
5.21/3.31 num=2, depth=3..3, filters=369, revisions=(1820,useless=1452), ccks=2771207, wck=0.972, mem=76M793
5.21/3.31 decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.21/3.31
5.21/3.32 num=3, depth=4..4, filters=397, revisions=(1969,useless=1572), ccks=2821670, wck=0.989, mem=76M793
5.21/3.32 decisions=125, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
5.21/3.32
5.21/3.34 num=4, depth=4..4, filters=428, revisions=(2122,useless=1695), ccks=2864507, wck=1.002, mem=79M436
5.21/3.34 decisions=157, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
5.21/3.34
5.67/3.79 num=5, depth=3..4, filters=462, revisions=(2291,useless=1830), ccks=4532306, wck=1.456, mem=79M436
5.67/3.79 decisions=193, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
5.67/3.79
5.77/3.82 num=6, depth=4..4, filters=498, revisions=(2470,useless=1972), ccks=4596558, wck=1.486, mem=79M436
5.77/3.82 decisions=231, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
5.77/3.82
5.77/3.85 num=7, depth=2..3, filters=539, revisions=(2583,useless=2045), ccks=4688448, wck=1.512, mem=79M436
5.77/3.85 decisions=272, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
5.77/3.85
6.28/4.30 num=8, depth=3..29, filters=738, revisions=(4472,useless=3735), ccks=6362192, wck=1.966, mem=82M78
6.28/4.30 decisions=343, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
6.28/4.30
6.28/4.39 num=9, depth=3..3, filters=785, revisions=(4614,useless=3830), ccks=6676984, wck=2.053, mem=82M78
6.28/4.39 decisions=392, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
6.28/4.39
6.39/4.45 num=10, depth=16..16, filters=885, revisions=(5744,useless=4860), ccks=6858716, wck=2.113, mem=84M721
6.39/4.45 decisions=458, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
6.39/4.45
6.96/4.91 num=11, depth=18..18, filters=1014, revisions=(7084,useless=6071), ccks=8508141, wck=2.574, mem=90M6
6.96/4.91 decisions=532, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
6.96/4.91
7.36/5.39 num=12, depth=20..20, filters=1167, revisions=(8711,useless=7544), ccks=10225777, wck=3.056, mem=95M290
7.36/5.39 decisions=614, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
7.36/5.39
7.97/5.99 num=13, depth=18..19, filters=1418, revisions=(10827,useless=9405), ccks=12351806, wck=3.652, mem=100M575
7.97/5.99 decisions=705, wrong=276, backtracks=2, failedAssignments=274, nogoods=248
7.97/5.99
8.57/6.54 num=14, depth=18..19, filters=1688, revisions=(13028,useless=11331), ccks=14333747, wck=4.21, mem=105M860
8.57/6.54 decisions=800, wrong=314, backtracks=3, failedAssignments=311, nogoods=260
8.57/6.54
9.09/7.08 num=15, depth=11..21, filters=1976, revisions=(15044,useless=13058), ccks=16242823, wck=4.75, mem=111M145
9.09/7.08 decisions=909, wrong=358, backtracks=6, failedAssignments=352, nogoods=281
9.09/7.08
9.59/7.51 num=16, depth=9..9, filters=2080, revisions=(15975,useless=13885), ccks=17788909, wck=5.179, mem=113M787
9.59/7.51 decisions=1008, wrong=403, backtracks=6, failedAssignments=397, nogoods=326
9.59/7.51
10.10/8.09 num=17, depth=18..23, filters=2333, revisions=(18518,useless=16174), ccks=19806439, wck=5.753, mem=119M72
10.10/8.09 decisions=1135, wrong=455, backtracks=8, failedAssignments=447, nogoods=347
10.10/8.09
10.60/8.51 num=18, depth=12..12, filters=2506, revisions=(19934,useless=17417), ccks=21344841, wck=6.179, mem=121M715
10.60/8.51 decisions=1257, wrong=510, backtracks=8, failedAssignments=502, nogoods=402
10.60/8.51
15.62/13.51 num=19, depth=1..1, filters=2567, revisions=(22862,useless=20284), ccks=39644519, wck=11.172, mem=137M569
15.62/13.51 decisions=1380, wrong=571, backtracks=8, failedAssignments=563, nogoods=463
15.62/13.51
15.72/13.61 num=20, depth=8..8, filters=2737, revisions=(23830,useless=21081), ccks=40017145, wck=11.278, mem=137M569
15.72/13.61 decisions=1522, wrong=638, backtracks=8, failedAssignments=630, nogoods=530
15.72/13.61
15.72/13.62 num=21, depth=2..2, filters=2887, revisions=(24132,useless=21234), ccks=40061292, wck=11.289, mem=137M569
15.72/13.62 decisions=1672, wrong=712, backtracks=8, failedAssignments=704, nogoods=604
15.72/13.62
16.20/14.07 num=22, depth=8..33, filters=4011, revisions=(29329,useless=25306), ccks=41511401, wck=11.731, mem=41M344
16.20/14.07 decisions=1867, wrong=793, backtracks=8, failedAssignments=785, nogoods=685
16.20/14.07
16.79/14.62 num=23, depth=15..19, filters=4405, revisions=(32438,useless=28021), ccks=43454118, wck=12.281, mem=46M523
16.79/14.62 decisions=2064, wrong=882, backtracks=8, failedAssignments=874, nogoods=774
16.79/14.62
17.39/15.20 num=24, depth=10..23, filters=4916, revisions=(35157,useless=30229), ccks=45549968, wck=12.869, mem=51M703
17.39/15.20 decisions=2283, wrong=980, backtracks=8, failedAssignments=972, nogoods=872
17.39/15.20
17.99/15.83 num=25, depth=15..19, filters=5279, revisions=(38448,useless=33157), ccks=47797218, wck=13.5, mem=56M882
17.99/15.83 decisions=2518, wrong=1088, backtracks=8, failedAssignments=1080, nogoods=980
17.99/15.83
17.99/15.89 num=26, depth=2..7, filters=5522, revisions=(39375,useless=33840), ccks=47992587, wck=13.557, mem=59M471
17.99/15.89 decisions=2763, wrong=1207, backtracks=8, failedAssignments=1199, nogoods=1099
17.99/15.89
18.10/16.00 num=27, depth=6..6, filters=5790, revisions=(40801,useless=34999), ccks=48392447, wck=13.67, mem=62M61
18.10/16.00 decisions=3031, wrong=1338, backtracks=8, failedAssignments=1330, nogoods=1230
18.10/16.00
18.40/16.30 num=28, depth=3..19, filters=6183, revisions=(44640,useless=38445), ccks=49375317, wck=13.961, mem=69M829
18.40/16.30 decisions=3338, wrong=1482, backtracks=8, failedAssignments=1474, nogoods=1374
18.40/16.30
18.70/16.52 num=29, depth=4..17, filters=6859, revisions=(48019,useless=41148), ccks=50098661, wck=14.182, mem=75M9
18.70/16.52 decisions=3671, wrong=1640, backtracks=8, failedAssignments=1632, nogoods=1532
18.70/16.52
18.91/16.73 num=30, depth=5..11, filters=7267, revisions=(50188,useless=42909), ccks=50850092, wck=14.4, mem=82M777
18.91/16.73 decisions=4030, wrong=1814, backtracks=8, failedAssignments=1806, nogoods=1706
18.91/16.73
19.11/16.93 num=31, depth=4..10, filters=7725, revisions=(52477,useless=44740), ccks=51533871, wck=14.597, mem=85M367
19.11/16.93 decisions=4422, wrong=2005, backtracks=8, failedAssignments=1997, nogoods=1897
19.11/16.93
19.91/17.73 num=32, depth=25..33, filters=9025, revisions=(62488,useless=53451), ccks=54213923, wck=15.401, mem=103M494
19.91/17.73 decisions=4877, wrong=2216, backtracks=8, failedAssignments=2208, nogoods=2108
19.91/17.73
20.12/17.99 num=33, depth=9..20, filters=9665, revisions=(66627,useless=56950), ccks=55075147, wck=15.656, mem=108M673
20.12/17.99 decisions=5361, wrong=2448, backtracks=8, failedAssignments=2440, nogoods=2340
20.12/17.99
21.13/18.96 num=34, depth=16..24, filters=10683, revisions=(76477,useless=65782), ccks=58360039, wck=16.628, mem=129M389
21.13/18.96 decisions=5895, wrong=2703, backtracks=8, failedAssignments=2695, nogoods=2595
21.13/18.96
21.43/19.20 num=35, depth=9..10, filters=11411, revisions=(80942,useless=69519), ccks=59167597, wck=16.869, mem=137M158
21.43/19.20 decisions=6467, wrong=2984, backtracks=8, failedAssignments=2976, nogoods=2876
21.43/19.20
21.74/19.58 num=36, depth=6..19, filters=12420, revisions=(87216,useless=74785), ccks=60437475, wck=17.248, mem=147M516
21.74/19.58 decisions=7104, wrong=3293, backtracks=8, failedAssignments=3285, nogoods=3185
21.74/19.58
22.84/20.63 num=37, depth=5..21, filters=13416, revisions=(94619,useless=81192), ccks=64095471, wck=18.292, mem=163M53
22.84/20.63 decisions=7805, wrong=3633, backtracks=8, failedAssignments=3625, nogoods=3525
22.84/20.63
23.24/20.97 num=38, depth=5..10, filters=14224, revisions=(99873,useless=85638), ccks=65192423, wck=18.632, mem=41M816
23.24/20.97 decisions=8563, wrong=4007, backtracks=8, failedAssignments=3999, nogoods=3899
23.24/20.97
23.85/21.58 num=39, depth=4..25, filters=15557, revisions=(108522,useless=92954), ccks=67297184, wck=19.25, mem=57M464
23.85/21.58 decisions=9410, wrong=4418, backtracks=8, failedAssignments=4410, nogoods=4310
23.85/21.58
24.63/22.25 num=40, depth=5..27, filters=17072, revisions=(121888,useless=104805), ccks=69356568, wck=19.911, mem=80M936
24.63/22.25 decisions=10341, wrong=4870, backtracks=8, failedAssignments=4862, nogoods=4762
24.63/22.25
25.05/22.69 num=41, depth=6..15, filters=18285, revisions=(129908,useless=111612), ccks=70842453, wck=20.357, mem=96M585
25.05/22.69 decisions=11350, wrong=5367, backtracks=8, failedAssignments=5359, nogoods=5259
25.05/22.69
25.84/23.31 num=42, depth=7..10, filters=19675, revisions=(138014,useless=118328), ccks=73002011, wck=20.98, mem=107M17
25.84/23.31 decisions=12454, wrong=5914, backtracks=8, failedAssignments=5906, nogoods=5806
25.84/23.31
27.34/24.82 num=43, depth=8..39, filters=22024, revisions=(162312,useless=140275), ccks=77869963, wck=22.484, mem=151M354
27.34/24.82 decisions=13699, wrong=6517, backtracks=9, failedAssignments=6508, nogoods=6400
27.34/24.82
28.12/25.58 num=44, depth=6..24, filters=24303, revisions=(180051,useless=155735), ccks=80175218, wck=23.247, mem=49M718
28.12/25.58 decisions=15047, wrong=7179, backtracks=9, failedAssignments=7170, nogoods=7062
28.12/25.58
29.13/26.58 num=45, depth=6..30, filters=27382, revisions=(202668,useless=175273), ccks=83176699, wck=24.244, mem=90M943
29.13/26.58 decisions=16533, wrong=7907, backtracks=9, failedAssignments=7898, nogoods=7790
29.13/26.58
30.44/27.84 num=46, depth=8..35, filters=30380, revisions=(233254,useless=202861), ccks=87005717, wck=25.509, mem=141M681
30.44/27.84 decisions=18170, wrong=8708, backtracks=9, failedAssignments=8699, nogoods=8591
30.44/27.84
31.98/29.39 num=47, depth=8..41, filters=34096, revisions=(270209,useless=236100), ccks=91606520, wck=27.057, mem=43M696
31.98/29.39 decisions=19973, wrong=9589, backtracks=9, failedAssignments=9580, nogoods=9472
31.98/29.39
33.58/30.96 num=48, depth=9..41, filters=37983, revisions=(307882,useless=269886), ccks=96322880, wck=28.63, mem=106M56
33.58/30.96 decisions=21954, wrong=10559, backtracks=9, failedAssignments=10550, nogoods=10442
33.58/30.96
35.05/32.38 num=49, depth=5..44, filters=41816, revisions=(346498,useless=304669), ccks=100615304, wck=30.049, mem=168M416
35.05/32.38 decisions=24132, wrong=11626, backtracks=9, failedAssignments=11617, nogoods=11509
35.05/32.38
36.58/33.84 num=50, depth=6..32, filters=46051, revisions=(384781,useless=338716), ccks=105022248, wck=31.507, mem=68M597
36.58/33.84 decisions=26510, wrong=12799, backtracks=9, failedAssignments=12790, nogoods=12682
36.58/33.84
38.18/35.41 num=51, depth=7..30, filters=50446, revisions=(422339,useless=371879), ccks=109823752, wck=33.077, mem=132M886
38.18/35.41 decisions=29122, wrong=14090, backtracks=9, failedAssignments=14081, nogoods=13973
38.18/35.41
39.48/36.79 num=52, depth=5..30, filters=55049, revisions=(455223,useless=400161), ccks=114100415, wck=34.453, mem=191M51
39.48/36.79 decisions=31992, wrong=15510, backtracks=9, failedAssignments=15501, nogoods=15393
39.48/36.79
41.41/38.62 num=53, depth=8..42, filters=60059, revisions=(501145,useless=441074), ccks=119631088, wck=36.29, mem=113M994
41.41/38.62 decisions=35158, wrong=17072, backtracks=9, failedAssignments=17063, nogoods=16955
41.41/38.62
43.95/41.14 num=54, depth=5..46, filters=66373, revisions=(558818,useless=492371), ccks=127512448, wck=38.802, mem=44M836
43.95/41.14 decisions=38639, wrong=18790, backtracks=10, failedAssignments=18781, nogoods=18514
43.95/41.14
45.88/43.05 num=55, depth=4..29, filters=71313, revisions=(602811,useless=531424), ccks=133622883, wck=40.717, mem=112M984
45.88/43.05 decisions=42448, wrong=20680, backtracks=12, failedAssignments=20671, nogoods=20133
45.88/43.05
48.30/45.40 num=56, depth=3..30, filters=77544, revisions=(666122,useless=588504), ccks=140790852, wck=43.066, mem=59M852
48.30/45.40 decisions=46634, wrong=22759, backtracks=14, failedAssignments=22750, nogoods=21877
48.30/45.40
50.76/47.83 num=57, depth=5..27, filters=84019, revisions=(730891,useless=646797), ccks=148095168, wck=45.498, mem=161M778
50.76/47.83 decisions=51237, wrong=25048, backtracks=16, failedAssignments=25037, nogoods=23801
50.76/47.83
53.10/50.14 num=58, depth=6..29, filters=91649, revisions=(804959,useless=713235), ccks=155072417, wck=47.803, mem=105M854
53.10/50.14 decisions=56289, wrong=27564, backtracks=25, failedAssignments=27553, nogoods=24532
53.10/50.14
55.62/52.65 num=59, depth=3..26, filters=99753, revisions=(872572,useless=772743), ccks=162727259, wck=50.316, mem=68M310
55.62/52.65 decisions=61848, wrong=30332, backtracks=29, failedAssignments=30321, nogoods=25921
55.62/52.65
57.92/54.91 num=60, depth=8..21, filters=106676, revisions=(939137,useless=832386), ccks=169819569, wck=52.581, mem=158M199
57.92/54.91 decisions=67952, wrong=33376, backtracks=38, failedAssignments=33365, nogoods=26901
57.92/54.91
62.28/59.22 num=61, depth=8..42, filters=116883, revisions=(1075946,useless=958987), ccks=182527318, wck=56.887, mem=59M555
62.28/59.22 decisions=74672, wrong=36725, backtracks=59, failedAssignments=36714, nogoods=27618
62.28/59.22
66.68/63.67 num=62, depth=4..15, filters=124625, revisions=(1139686,useless=1014984), ccks=197804215, wck=61.34, mem=135M584
66.68/63.67 decisions=82055, wrong=40410, backtracks=104, failedAssignments=40398, nogoods=28257
66.68/63.67
70.12/67.08 num=63, depth=11..19, filters=134876, revisions=(1227392,useless=1092439), ccks=208883708, wck=64.742, mem=102M204
70.12/67.08 decisions=90174, wrong=44463, backtracks=121, failedAssignments=44450, nogoods=28992
70.12/67.08
75.54/72.43 num=64, depth=7..27, filters=147438, revisions=(1365496,useless=1217941), ccks=225172240, wck=70.097, mem=43M629
75.54/72.43 decisions=99113, wrong=48921, backtracks=143, failedAssignments=48907, nogoods=30724
75.54/72.43
80.48/77.32 num=65, depth=7..19, filters=158464, revisions=(1478214,useless=1319633), ccks=241961704, wck=74.987, mem=154M993
80.48/77.32 decisions=108936, wrong=53824, backtracks=194, failedAssignments=53810, nogoods=31350
80.48/77.32
86.57/83.39 num=66, depth=5..36, filters=171953, revisions=(1644446,useless=1472375), ccks=260359631, wck=81.055, mem=139M56
86.57/83.39 decisions=119775, wrong=59235, backtracks=228, failedAssignments=59204, nogoods=32048
86.57/83.39
90.31/87.00 num=67, depth=5..19, filters=185378, revisions=(1768243,useless=1582748), ccks=271875995, wck=84.67, mem=149M856
90.31/87.00 decisions=131655, wrong=65168, backtracks=250, failedAssignments=65137, nogoods=33029
90.31/87.00
105.44/102.01 num=68, depth=7..11, filters=198352, revisions=(1864894,useless=1666425), ccks=325056937, wck=99.675, mem=155M458
105.44/102.01 decisions=144717, wrong=71694, backtracks=297, failedAssignments=71663, nogoods=33340
105.44/102.01
109.96/106.54 num=69, depth=6..30, filters=214372, revisions=(2031527,useless=1817038), ccks=339547960, wck=104.203, mem=72M248
109.96/106.54 decisions=159089, wrong=78873, backtracks=345, failedAssignments=78842, nogoods=34195
109.96/106.54
114.17/110.75 num=70, depth=3..19, filters=231996, revisions=(2170774,useless=1938660), ccks=352958727, wck=108.417, mem=129M895
114.17/110.75 decisions=174897, wrong=86770, backtracks=390, failedAssignments=86739, nogoods=35309
114.17/110.75
119.30/115.86 num=71, depth=6..15, filters=250685, revisions=(2311910,useless=2061108), ccks=369854351, wck=113.522, mem=62M266
119.30/115.86 decisions=192287, wrong=95458, backtracks=505, failedAssignments=95426, nogoods=36132
119.30/115.86
122.23/118.77 num=72, depth=6..12, filters=269971, revisions=(2444662,useless=2174575), ccks=379600954, wck=116.434, mem=51M56
122.23/118.77 decisions=211407, wrong=105013, backtracks=602, failedAssignments=104981, nogoods=36688
122.23/118.77
129.78/126.21 num=73, depth=4..22, filters=297804, revisions=(2677998,useless=2380078), ccks=402535422, wck=123.876, mem=145M880
129.78/126.21 decisions=232462, wrong=115533, backtracks=644, failedAssignments=115492, nogoods=38516
129.78/126.21
136.80/133.22 num=74, depth=11..16, filters=324418, revisions=(2882910,useless=2558334), ccks=426013504, wck=130.885, mem=124M313
136.80/133.22 decisions=255603, wrong=127097, backtracks=818, failedAssignments=127054, nogoods=39090
136.80/133.22
160.91/157.32 num=75, depth=3..12, filters=350207, revisions=(3094490,useless=2744125), ccks=513752211, wck=154.99, mem=119M907
160.91/157.32 decisions=281050, wrong=139815, backtracks=912, failedAssignments=139772, nogoods=39714
160.91/157.32
168.13/164.55 num=76, depth=11..14, filters=378343, revisions=(3305571,useless=2927069), ccks=537774874, wck=162.215, mem=62M346
168.13/164.55 decisions=309042, wrong=153805, backtracks=1098, failedAssignments=153762, nogoods=40350
168.13/164.55
179.06/175.49 num=77, depth=2..14, filters=429558, revisions=(3566600,useless=3136884), ccks=574615624, wck=173.157, mem=94M71
179.06/175.49 decisions=339834, wrong=169195, backtracks=1222, failedAssignments=169151, nogoods=41217
179.06/175.49
203.09/199.49 num=78, depth=4..14, filters=475709, revisions=(3782682,useless=3306816), ccks=661903385, wck=197.155, mem=123M723
203.09/199.49 decisions=373710, wrong=186128, backtracks=1824, failedAssignments=186079, nogoods=42416
203.09/199.49
216.01/212.33 num=79, depth=5..13, filters=523251, revisions=(4063118,useless=3539710), ccks=706115926, wck=209.996, mem=67M663
216.01/212.33 decisions=410963, wrong=204750, backtracks=2093, failedAssignments=204700, nogoods=43024
216.01/212.33
225.14/221.46 num=80, depth=4..16, filters=582268, revisions=(4395366,useless=3812831), ccks=735404186, wck=219.125, mem=79M957
225.14/221.46 decisions=451944, wrong=225234, backtracks=2391, failedAssignments=225184, nogoods=44309
225.14/221.46
266.09/262.32 num=81, depth=2..14, filters=642203, revisions=(4675226,useless=4032757), ccks=883003349, wck=259.983, mem=70M238
266.09/262.32 decisions=497016, wrong=247766, backtracks=2540, failedAssignments=247716, nogoods=45138
266.09/262.32
293.64/289.89 num=82, depth=4..16, filters=715757, revisions=(5217026,useless=4500909), ccks=978465758, wck=287.556, mem=85M256
293.64/289.89 decisions=546600, wrong=272551, backtracks=2673, failedAssignments=272501, nogoods=46414
293.64/289.89
318.43/314.57 num=83, depth=9..22, filters=794577, revisions=(5955149,useless=5160211), ccks=1054381474, wck=312.237, mem=76M47
318.43/314.57 decisions=601145, wrong=299815, backtracks=2913, failedAssignments=299765, nogoods=48052
318.43/314.57
396.40/392.38 num=84, depth=2..18, filters=864828, revisions=(6504612,useless=5639386), ccks=1321930081, wck=390.048, mem=50M520
396.40/392.38 decisions=661134, wrong=329805, backtracks=3168, failedAssignments=329755, nogoods=48858
396.40/392.38
417.21/413.08 num=85, depth=2..20, filters=939970, revisions=(7103238,useless=6162871), ccks=1388103953, wck=410.742, mem=55M4
417.21/413.08 decisions=727133, wrong=362797, backtracks=3531, failedAssignments=362744, nogoods=50163
417.21/413.08
442.80/438.59 num=86, depth=9..18, filters=1043124, revisions=(7797083,useless=6753559), ccks=1471218803, wck=436.255, mem=95M170
442.80/438.59 decisions=799721, wrong=399085, backtracks=3835, failedAssignments=399032, nogoods=51027
442.80/438.59
472.24/467.85 num=87, depth=5..18, filters=1141768, revisions=(8626372,useless=7484204), ccks=1563093183, wck=465.521, mem=81M195
472.24/467.85 decisions=879569, wrong=439002, backtracks=4063, failedAssignments=438949, nogoods=52117
472.24/467.85
574.24/569.79 num=88, depth=1..12, filters=1237271, revisions=(9216968,useless=7979110), ccks=1937498550, wck=567.458, mem=65M191
574.24/569.79 decisions=967397, wrong=482911, backtracks=4554, failedAssignments=482858, nogoods=52848
574.24/569.79
679.66/675.03 num=89, depth=6..15, filters=1359073, revisions=(9831449,useless=8471622), ccks=2333105544, wck=672.698, mem=93M395
679.66/675.03 decisions=1064007, wrong=531211, backtracks=4825, failedAssignments=531158, nogoods=53577
679.66/675.03
849.28/844.20 num=90, depth=4..19, filters=1461647, revisions=(10992469,useless=9529764), ccks=2927374173, wck=841.868, mem=76M164
849.28/844.20 decisions=1170281, wrong=584343, backtracks=5552, failedAssignments=584288, nogoods=54192
849.28/844.20
902.09/896.87 num=91, depth=3..15, filters=1623536, revisions=(12094105,useless=10461680), ccks=3097752586, wck=894.536, mem=75M174
902.09/896.87 decisions=1287182, wrong=642786, backtracks=6477, failedAssignments=642731, nogoods=55043
902.09/896.87
994.87/989.44 num=92, depth=2..12, filters=1807472, revisions=(12996055,useless=11179695), ccks=3423195010, wck=987.109, mem=54M784
994.87/989.44 decisions=1415766, wrong=707073, backtracks=7291, failedAssignments=707018, nogoods=55881
994.87/989.44
1173.97/1168.20 num=93, depth=1..19, filters=1963885, revisions=(13778573,useless=11805697), ccks=4065106196, wck=1165.868, mem=51M659
1173.97/1168.20 decisions=1557212, wrong=777789, backtracks=7958, failedAssignments=777734, nogoods=56982
1173.97/1168.20
1228.41/1222.53 num=94, depth=3..15, filters=2111993, revisions=(14823146,useless=12702163), ccks=4247112893, wck=1220.197, mem=76M671
1228.41/1222.53 decisions=1712799, wrong=855578, backtracks=9786, failedAssignments=855521, nogoods=57658
1228.41/1222.53
1274.72/1268.69 num=95, depth=7..18, filters=2319601, revisions=(16724141,useless=14395550), ccks=4389860360, wck=1266.357, mem=86M482
1274.72/1268.69 decisions=1883947, wrong=941144, backtracks=10388, failedAssignments=941087, nogoods=58485
1274.72/1268.69
1458.23/1451.96 num=96, depth=1..14, filters=2515135, revisions=(17822053,useless=15295659), ccks=5045542220, wck=1449.622, mem=73M669
1458.23/1451.96 decisions=2072207, wrong=1035269, backtracks=11277, failedAssignments=1035210, nogoods=59211
1458.23/1451.96
1570.01/1563.17 num=97, depth=6..25, filters=2741595, revisions=(20337900,useless=17584774), ccks=5383536276, wck=1560.84, mem=74M847
1570.01/1563.17 decisions=2279300, wrong=1138805, backtracks=13445, failedAssignments=1138745, nogoods=61679
1570.01/1563.17
1698.35/1691.17 num=98, depth=3..16, filters=3094797, revisions=(22106166,useless=18999784), ccks=5813269781, wck=1688.831, mem=56M905
1698.35/1691.17 decisions=2507090, wrong=1252694, backtracks=15769, failedAssignments=1252634, nogoods=63091
1698.35/1691.17
1905.74/1897.73 num=99, depth=2..40, filters=3379906, revisions=(25236267,useless=21842642), ccks=6475619304, wck=1895.4, mem=63M581
1905.74/1897.73 decisions=2757673, wrong=1377973, backtracks=18932, failedAssignments=1377912, nogoods=65820
1905.74/1897.73
2137.71/2128.41 num=100, depth=8..21, filters=3620172, revisions=(29043724,useless=25408880), ccks=7180615207, wck=2126.077, mem=55M367
2137.71/2128.41 decisions=3033304, wrong=1515780, backtracks=23320, failedAssignments=1515718, nogoods=67239
2137.71/2128.41
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 (8161 MiB free)
memory of node 1: 16384 MiB (15700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390543-1568383028/watcher-4390543-1568383028 -o /tmp/evaluation-result-4390543-1568383028/solver-4390543-1568383028 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17710 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390543-1568383028.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=18144, runsolver pid=18141
[startup+0.100403 s]*
/proc/loadavg: 1.95 2.00 1.87 3/228 18159
/proc/meminfo: memFree=24417104/32770624 swapFree=67020048/67108860
[pid=18144] ppid=18141 vsize=10659884 memory=28564 CPUtime=0.13 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 5577 0 0 0 12 1 0 0 20 0 15 0 414575451 10915721216 7141 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2664971 7141 2896 1 0 2627468 0
[pid=18144/tid=18146] ppid=18141 vsize=10659884 memory=-8197568871503400830 CPUtime=0.08 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) R 18141 18144 17678 0 -1 4202560 3377 0 0 0 8 0 0 0 20 0 15 0 414575452 10915721216 7141 33554432000 4194304 4196468 140729628108672 140712434510024 140712415961384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 7141 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 7141 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 7141 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575453 10915721216 7141 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575454 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414575454 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711988380704 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414575455 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711919870832 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) S 18141 18144 17678 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0.02 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) R 18141 18144 17678 0 -1 4202560 375 0 0 0 2 0 0 0 20 0 15 0 414575457 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711915658152 140712409638584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 7141 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28564 KiB
[startup+0.211226 s]*
/proc/loadavg: 1.95 2.00 1.87 3/228 18159
/proc/meminfo: memFree=24406648/32770624 swapFree=67020048/67108860
[pid=18144] ppid=18141 vsize=10659884 memory=37724 CPUtime=0.33 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 9136 0 0 0 30 3 0 0 20 0 15 0 414575451 10915721216 9431 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2664971 9431 2989 1 0 2627468 0
[pid=18144/tid=18146] ppid=18141 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) R 18141 18144 17678 0 -1 4202560 6144 0 0 0 18 2 0 0 20 0 15 0 414575452 10915721216 9431 33554432000 4194304 4196468 140729628108672 140712434506800 140712430302365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 9431 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10659884 memory=3691178148832970400 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 9431 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 9431 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575453 10915721216 9431 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575454 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414575454 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711988380704 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414575455 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711919870832 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 746 0 0 0 3 0 0 0 20 0 15 0 414575457 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) S 18141 18144 17678 0 -1 1077944384 140 0 0 0 2 0 0 0 20 0 15 0 414575457 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0.05 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 747 0 0 0 5 0 0 0 20 0 15 0 414575457 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 9431 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37724 KiB
[startup+0.310146 s]*
/proc/loadavg: 1.95 2.00 1.87 4/228 18159
/proc/meminfo: memFree=24404836/32770624 swapFree=67020048/67108860
[pid=18144] ppid=18141 vsize=10659884 memory=40264 CPUtime=0.47 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 9350 0 0 0 43 4 0 0 20 0 15 0 414575451 10915721216 10066 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2664971 10066 3001 1 0 2627468 0
[pid=18144/tid=18146] ppid=18141 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) R 18141 18144 17678 0 -1 4202560 6293 0 0 0 27 2 0 0 20 0 15 0 414575452 10915721216 10066 33554432000 4194304 4196468 140729628108672 140712434510896 140712430302365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 10066 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10659884 memory=3473877267789088416 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 10066 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10915721216 10066 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575453 10915721216 10066 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575454 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414575454 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711988380704 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414575455 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711919870832 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) R 18141 18144 17678 0 -1 4202560 762 0 0 0 4 0 0 0 20 0 15 0 414575457 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711917767536 140712430292374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) R 18141 18144 17678 0 -1 1077944384 167 0 0 0 3 0 0 0 20 0 15 0 414575457 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0.07 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 15 0 414575457 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10659884 memory=140467087574656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575457 10915721216 10066 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40264 KiB
[startup+0.700787 s]
/proc/loadavg: 1.95 2.00 1.87 4/228 18159
/proc/meminfo: memFree=24394332/32770624 swapFree=67020048/67108860
[pid=18144] ppid=18141 vsize=10661932 memory=63672 CPUtime=1.11 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 12943 0 0 0 105 6 0 0 20 0 15 0 414575451 10917818368 15918 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2665483 15918 3074 1 0 2627980 0
[pid=18144/tid=18146] ppid=18141 vsize=10661932 memory=1844 CPUtime=0.68 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) R 18141 18144 17678 0 -1 4202560 8837 0 0 0 64 4 0 0 20 0 15 0 414575452 10917818368 15918 33554432000 4194304 4196468 140729628108672 140712434512352 140712413467248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10661932 memory=4964 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10917818368 15918 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10661932 memory=10092 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10917818368 15918 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10661932 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10917818368 15918 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10661932 memory=1360 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575453 10917818368 15918 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10661932 memory=7420 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575454 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10661932 memory=860 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414575454 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711988380704 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414575455 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711919870832 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10661932 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10661932 memory=7014751519599842897 CPUtime=0.11 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 1014 0 0 0 11 0 0 0 20 0 15 0 414575457 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10661932 memory=6081666446975789422 CPUtime=0.1 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) R 18141 18144 17678 0 -1 4202560 507 0 0 0 10 0 0 0 20 0 15 0 414575457 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711916714736 140712409973543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10661932 memory=5787213848606435153 CPUtime=0.18 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 1226 0 0 0 18 0 0 0 20 0 15 0 414575457 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414575457 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575457 10917818368 15918 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63672 KiB
[startup+1.50077 s]
/proc/loadavg: 1.95 2.00 1.87 3/228 18159
/proc/meminfo: memFree=24378140/32770624 swapFree=67020048/67108860
[pid=18144] ppid=18141 vsize=10663980 memory=75728 CPUtime=2 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 18586 0 0 0 194 6 0 0 20 0 15 0 414575451 10919915520 18932 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2665995 18932 3094 1 0 2628492 0
[pid=18144/tid=18146] ppid=18141 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) R 18141 18144 17678 0 -1 4202560 13039 0 0 0 144 4 0 0 20 0 15 0 414575452 10919915520 18932 33554432000 4194304 4196468 140729628108672 140712434512464 140712414360926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10919915520 18932 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10919915520 18932 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414575452 10919915520 18932 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414575453 10919915520 18932 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414575454 10919915520 18932 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
################
# More data... #
################
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 5926 0 0 0 205 7 0 0 20 0 16 0 414575453 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10748324 memory=204312 CPUtime=0.63 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 6844 0 0 0 57 6 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711988380768 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414575455 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711919870848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.28 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 10366 0 0 0 126 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.14 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) S 18141 18144 17678 0 -1 1077944384 8648 0 0 0 113 1 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10748324 memory=204312 CPUtime=0.66 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 9572 0 0 0 64 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10748324 memory=211 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10748324 memory=204312 CPUtime=0.49 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 933 0 0 0 22 27 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18160] ppid=18141 vsize=10748324 memory=4964 CPUtime=2437.26 cores=1,3,5,7
/proc/18144/task/18160/stat : 18160 (java) R 18141 18144 17678 0 -1 4202560 18494 0 0 0 243721 5 0 0 20 0 16 0 414575639 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711896784128 140712072662952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 2451.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 204312 KiB
[startup+2502.3 s]
/proc/loadavg: 1.66 1.64 1.67 3/229 18409
/proc/meminfo: memFree=24287912/32770624 swapFree=67020140/67108860
[pid=18144] ppid=18141 vsize=10748324 memory=204312 CPUtime=2511.99 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 93026 0 0 0 251126 73 0 0 20 0 16 0 414575451 11006283776 51078 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2687081 51078 3375 1 0 2647217 0
[pid=18144/tid=18146] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.85 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) S 18141 18144 17678 0 -1 1077944384 15271 0 0 0 179 6 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712434523312 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.15 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 4229 0 0 0 208 7 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 5767 0 0 0 208 6 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 5484 0 0 0 207 7 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10748324 memory=64 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 5931 0 0 0 207 7 0 0 20 0 16 0 414575453 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10748324 memory=204312 CPUtime=0.65 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 6851 0 0 0 58 7 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711988380768 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414575455 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711919870848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.28 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 10366 0 0 0 126 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10748324 memory=1784 CPUtime=1.14 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) S 18141 18144 17678 0 -1 1077944384 8648 0 0 0 113 1 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10748324 memory=924 CPUtime=0.66 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 9572 0 0 0 64 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10748324 memory=4120 CPUtime=0.5 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 937 0 0 0 22 28 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18160] ppid=18141 vsize=10748324 memory=1384 CPUtime=2497.23 cores=1,3,5,7
/proc/18144/task/18160/stat : 18160 (java) R 18141 18144 17678 0 -1 4202560 18533 0 0 0 249718 5 0 0 20 0 16 0 414575639 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711896784112 140712072472775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 2511.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 204312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.3 s]
/proc/loadavg: 1.71 1.65 1.68 4/227 18599
/proc/meminfo: memFree=24503508/32770624 swapFree=67020140/67108860
[pid=18144] ppid=18141 vsize=10748324 memory=204312 CPUtime=2520 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 93028 0 0 0 251927 73 0 0 20 0 16 0 414575451 11006283776 51078 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2687081 51078 3375 1 0 2647217 0
[pid=18144/tid=18146] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.85 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) S 18141 18144 17678 0 -1 1077944384 15271 0 0 0 179 6 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712434523312 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.15 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 4229 0 0 0 208 7 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 5767 0 0 0 208 6 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10748324 memory=81 CPUtime=2.15 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 5484 0 0 0 208 7 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 5931 0 0 0 207 7 0 0 20 0 16 0 414575453 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10748324 memory=204312 CPUtime=0.65 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 6851 0 0 0 58 7 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10748324 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711988380768 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10748324 memory=21564 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414575455 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711919870848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10748324 memory=7420 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.28 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 10366 0 0 0 126 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.14 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) S 18141 18144 17678 0 -1 1077944384 8648 0 0 0 113 1 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10748324 memory=4120 CPUtime=0.66 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 9572 0 0 0 64 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10748324 memory=6628 CPUtime=0.5 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 937 0 0 0 22 28 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18160] ppid=18141 vsize=10748324 memory=204312 CPUtime=2505.22 cores=1,3,5,7
/proc/18144/task/18160/stat : 18160 (java) R 18141 18144 17678 0 -1 4202560 18535 0 0 0 250517 5 0 0 20 0 16 0 414575639 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711896784112 140712072473664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 204312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.31 s]
# the end of solver process 18144 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.28 s, system=0.740162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2510.3 s]
/proc/loadavg: 1.71 1.65 1.68 4/227 18599
/proc/meminfo: memFree=24503508/32770624 swapFree=67020140/67108860
[pid=18144] ppid=18141 vsize=10748324 memory=204312 CPUtime=2520 cores=1,3,5,7
/proc/18144/stat : 18144 (java) S 18141 18144 17678 0 -1 1077944320 93028 0 0 0 251927 73 0 0 20 0 16 0 414575451 11006283776 51078 33554432000 4194304 4196468 140729628108672 140729628091216 140712430280439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
/proc/18144/statm: 2687081 51078 3375 1 0 2647217 0
[pid=18144/tid=18146] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.85 cores=1,3,5,7
/proc/18144/task/18146/stat : 18146 (java) S 18141 18144 17678 0 -1 1077944384 15271 0 0 0 179 6 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712434523312 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18147] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.15 cores=1,3,5,7
/proc/18144/task/18147/stat : 18147 (java) S 18141 18144 17678 0 -1 1077944384 4229 0 0 0 208 7 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712391240848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18148] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18148/stat : 18148 (java) S 18141 18144 17678 0 -1 1077944384 5767 0 0 0 208 6 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712035982352 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18149] ppid=18141 vsize=10748324 memory=81 CPUtime=2.15 cores=1,3,5,7
/proc/18144/task/18149/stat : 18149 (java) S 18141 18144 17678 0 -1 1077944384 5484 0 0 0 208 7 0 0 20 0 16 0 414575452 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712034929552 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18150] ppid=18141 vsize=10748324 memory=204312 CPUtime=2.14 cores=1,3,5,7
/proc/18144/task/18150/stat : 18150 (java) S 18141 18144 17678 0 -1 1077944384 5931 0 0 0 207 7 0 0 20 0 16 0 414575453 11006283776 51078 33554432000 4194304 4196468 140729628108672 140712033876752 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18151] ppid=18141 vsize=10748324 memory=204312 CPUtime=0.65 cores=1,3,5,7
/proc/18144/task/18151/stat : 18151 (java) S 18141 18144 17678 0 -1 1077944384 6851 0 0 0 58 7 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711989434736 140712430291586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18152] ppid=18141 vsize=10748324 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18152/stat : 18152 (java) S 18141 18144 17678 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414575454 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711988380768 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18153] ppid=18141 vsize=10748324 memory=21564 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18153/stat : 18153 (java) S 18141 18144 17678 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414575455 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711919870848 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18154] ppid=18141 vsize=10748324 memory=7420 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18154/stat : 18154 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711918819152 140712430299035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18155] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.28 cores=1,3,5,7
/proc/18144/task/18155/stat : 18155 (java) S 18141 18144 17678 0 -1 1077944384 10366 0 0 0 126 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711917767536 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18156] ppid=18141 vsize=10748324 memory=204312 CPUtime=1.14 cores=1,3,5,7
/proc/18144/task/18156/stat : 18156 (java) S 18141 18144 17678 0 -1 1077944384 8648 0 0 0 113 1 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711916714736 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18157] ppid=18141 vsize=10748324 memory=4120 CPUtime=0.66 cores=1,3,5,7
/proc/18144/task/18157/stat : 18157 (java) S 18141 18144 17678 0 -1 1077944384 9572 0 0 0 64 2 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711915661936 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18158] ppid=18141 vsize=10748324 memory=204312 CPUtime=0 cores=1,3,5,7
/proc/18144/task/18158/stat : 18158 (java) S 18141 18144 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711914609376 140712430290645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18159] ppid=18141 vsize=10748324 memory=6628 CPUtime=0.5 cores=1,3,5,7
/proc/18144/task/18159/stat : 18159 (java) S 18141 18144 17678 0 -1 1077944384 937 0 0 0 22 28 0 0 20 0 16 0 414575457 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711913556656 140712430291586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
[pid=18144/tid=18160] ppid=18141 vsize=10748324 memory=204312 CPUtime=2505.22 cores=1,3,5,7
/proc/18144/task/18160/stat : 18160 (java) R 18141 18144 17678 0 -1 4202560 18535 0 0 0 250517 5 0 0 20 0 16 0 414575639 11006283776 51078 33554432000 4194304 4196468 140729628108672 140711896784112 140712072473664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18903040 140729628111883 140729628111986 140729628111986 140729628114895 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 204312 KiB
Child status: 143
Real time (s): 2510.31
CPU time (s): 2520.02
CPU user time (s): 2519.28
CPU system time (s): 0.740162
CPU usage (%): 100.387
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 302244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.28
system time used= 0.740162
maximum resident set size= 303272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71561
involuntary context switches= 2473
# summary of solver processes directly reported to runsolver:
# pid: 18144
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.28
# total CPU system time (s): 0.740162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.824 second user time and 22.8373 second system time
The end