2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.89
2.93/2.08 Instance
2.93/2.08 name=instance-4390703-1568388054, framework=CSP
2.93/2.08
2.93/2.08 Loading variables...
3.30/2.13 Loading constraints...
4.35/2.43
4.35/2.43 Domains
4.35/2.43 nTypes=28, nValues=4172, sizes=[61#2,62#2,63#2,64#2...85#2,86#2,87#2,88#2]
4.35/2.43 Variables
4.35/2.43 count=56, degrees=[27#56]
4.35/2.43 Constraints
4.35/2.43 count=378, arities=[4#378]
4.35/2.43 distribution=[CtrIntension#378]
4.35/2.43 nIntStructures=(378,shared:0)
4.35/2.43 wck=0.584, cpu=2.395, mem=82M3
4.35/2.44 Solver SolverBacktrack being built...
4.35/2.44
4.35/2.46
4.35/2.46 Solver
4.35/2.46 guaranteedGAC=false
4.35/2.46 wck=0.617, cpu=2.426, mem=92M646
4.35/2.46
4.35/2.46 Preprocessing
4.35/2.46 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.35/2.46 wck=0.001, cpu=2.429, mem=92M646
4.35/2.46
5.17/2.85 num=0, depth=35..35, filters=578, revisions=(6838,useless=6203), ccks=968713, wck=0.386, mem=95M288
5.17/2.85 decisions=55, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.17/2.85
5.43/3.10 num=1, depth=28..28, filters=753, revisions=(10858,useless=10036), ccks=1664238, wck=0.634, mem=95M288
5.43/3.10 decisions=105, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.43/3.10
5.67/3.28 num=2, depth=13..13, filters=816, revisions=(13059,useless=12170), ccks=2170057, wck=0.816, mem=95M288
5.67/3.28 decisions=142, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.67/3.28
5.91/3.43 num=3, depth=20..22, filters=952, revisions=(16323,useless=15297), ccks=2540212, wck=0.966, mem=95M288
5.91/3.43 decisions=190, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
5.91/3.43
6.26/3.73 num=4, depth=10..11, filters=1093, revisions=(20760,useless=19584), ccks=3551601, wck=1.264, mem=95M288
6.26/3.73 decisions=230, wrong=61, backtracks=1, failedAssignments=60, nogoods=50
6.26/3.73
6.36/3.88 num=5, depth=19..20, filters=1234, revisions=(24784,useless=23465), ccks=4047632, wck=1.415, mem=95M288
6.36/3.88 decisions=283, wrong=78, backtracks=2, failedAssignments=76, nogoods=52
6.36/3.88
6.59/4.05 num=6, depth=14..14, filters=1325, revisions=(27906,useless=26495), ccks=4606364, wck=1.582, mem=97M931
6.59/4.05 decisions=331, wrong=95, backtracks=2, failedAssignments=93, nogoods=69
6.59/4.05
6.79/4.25 num=7, depth=13..13, filters=1420, revisions=(31352,useless=29844), ccks=5285201, wck=1.784, mem=97M931
6.79/4.25 decisions=382, wrong=114, backtracks=2, failedAssignments=112, nogoods=88
6.79/4.25
7.00/4.40 num=8, depth=36..36, filters=2290, revisions=(38274,useless=35881), ccks=5766334, wck=1.936, mem=97M931
7.00/4.40 decisions=460, wrong=135, backtracks=2, failedAssignments=133, nogoods=109
7.00/4.40
7.90/5.38 num=9, depth=14..15, filters=2521, revisions=(45663,useless=43029), ccks=9126595, wck=2.921, mem=97M931
7.90/5.38 decisions=522, wrong=159, backtracks=3, failedAssignments=156, nogoods=127
7.90/5.38
8.22/5.65 num=10, depth=12..14, filters=2644, revisions=(49748,useless=46990), ccks=10038193, wck=3.19, mem=100M573
8.22/5.65 decisions=586, wrong=184, backtracks=3, failedAssignments=181, nogoods=152
8.22/5.65
8.63/6.06 num=11, depth=12..14, filters=2770, revisions=(54370,useless=51482), ccks=11457778, wck=3.594, mem=100M573
8.63/6.06 decisions=656, wrong=212, backtracks=3, failedAssignments=209, nogoods=180
8.63/6.06
8.92/6.33 num=12, depth=14..17, filters=2935, revisions=(58434,useless=55380), ccks=12381126, wck=3.871, mem=100M573
8.92/6.33 decisions=735, wrong=243, backtracks=3, failedAssignments=240, nogoods=211
8.92/6.33
9.23/6.69 num=13, depth=9..12, filters=3101, revisions=(64329,useless=61105), ccks=13567829, wck=4.223, mem=100M573
9.23/6.69 decisions=822, wrong=281, backtracks=7, failedAssignments=274, nogoods=240
9.23/6.69
10.74/8.12 num=14, depth=11..12, filters=3296, revisions=(72991,useless=69569), ccks=18543901, wck=5.654, mem=100M573
10.74/8.12 decisions=909, wrong=319, backtracks=8, failedAssignments=311, nogoods=257
10.74/8.12
11.24/8.61 num=15, depth=9..10, filters=3587, revisions=(84582,useless=80861), ccks=20197364, wck=6.149, mem=100M573
11.24/8.61 decisions=1012, wrong=366, backtracks=14, failedAssignments=352, nogoods=290
11.24/8.61
11.65/9.01 num=16, depth=7..13, filters=3756, revisions=(89284,useless=85392), ccks=21566800, wck=6.551, mem=100M573
11.65/9.01 decisions=1115, wrong=411, backtracks=14, failedAssignments=397, nogoods=335
11.65/9.01
13.35/10.72 num=17, depth=8..10, filters=4149, revisions=(103191,useless=98897), ccks=27520336, wck=8.256, mem=100M573
13.35/10.72 decisions=1236, wrong=467, backtracks=20, failedAssignments=447, nogoods=360
13.35/10.72
14.36/11.78 num=18, depth=7..19, filters=4323, revisions=(109298,useless=104828), ccks=31246615, wck=9.314, mem=100M573
14.36/11.78 decisions=1365, wrong=522, backtracks=20, failedAssignments=502, nogoods=415
14.36/11.78
16.36/13.78 num=19, depth=8..9, filters=4766, revisions=(126002,useless=121079), ccks=38183466, wck=11.314, mem=100M573
16.36/13.78 decisions=1503, wrong=587, backtracks=24, failedAssignments=563, nogoods=419
16.36/13.78
16.78/14.18 num=20, depth=9..18, filters=5038, revisions=(132531,useless=127335), ccks=39536183, wck=11.718, mem=100M573
16.78/14.18 decisions=1655, wrong=654, backtracks=24, failedAssignments=630, nogoods=486
16.78/14.18
17.58/14.93 num=21, depth=12..22, filters=5372, revisions=(140481,useless=134948), ccks=42139454, wck=12.465, mem=100M573
17.58/14.93 decisions=1825, wrong=728, backtracks=24, failedAssignments=704, nogoods=560
17.58/14.93
18.28/15.65 num=22, depth=11..13, filters=5930, revisions=(159156,useless=153042), ccks=44560452, wck=13.188, mem=100M573
18.28/15.65 decisions=2010, wrong=815, backtracks=31, failedAssignments=785, nogoods=593
18.28/15.65
18.98/16.38 num=23, depth=11..15, filters=6304, revisions=(170120,useless=163628), ccks=47012968, wck=13.914, mem=100M573
18.98/16.38 decisions=2203, wrong=904, backtracks=31, failedAssignments=874, nogoods=682
18.98/16.38
19.79/17.17 num=24, depth=10..19, filters=6697, revisions=(178858,useless=171972), ccks=49765939, wck=14.71, mem=100M573
19.79/17.17 decisions=2418, wrong=1002, backtracks=31, failedAssignments=972, nogoods=780
19.79/17.17
20.89/18.22 num=25, depth=10..13, filters=7438, revisions=(204399,useless=196753), ccks=53300313, wck=15.761, mem=103M215
20.89/18.22 decisions=2656, wrong=1116, backtracks=38, failedAssignments=1080, nogoods=819
20.89/18.22
21.59/18.98 num=26, depth=12..24, filters=7886, revisions=(214725,useless=206630), ccks=55868066, wck=16.516, mem=103M215
21.59/18.98 decisions=2918, wrong=1235, backtracks=38, failedAssignments=1199, nogoods=938
21.59/18.98
23.30/20.63 num=27, depth=10..14, filters=9306, revisions=(255699,useless=246155), ccks=61418313, wck=18.165, mem=103M215
23.30/20.63 decisions=3207, wrong=1374, backtracks=46, failedAssignments=1330, nogoods=948
23.30/20.63
24.30/21.67 num=28, depth=10..22, filters=9899, revisions=(267804,useless=257666), ccks=64964955, wck=19.207, mem=103M215
24.30/21.67 decisions=3519, wrong=1520, backtracks=48, failedAssignments=1474, nogoods=1055
24.30/21.67
34.51/31.86 num=29, depth=5..7, filters=10898, revisions=(312150,useless=300980), ccks=100928705, wck=29.398, mem=103M215
34.51/31.86 decisions=3880, wrong=1698, backtracks=68, failedAssignments=1632, nogoods=1089
34.51/31.86
35.61/32.97 num=30, depth=8..25, filters=11536, revisions=(326999,useless=315191), ccks=104643654, wck=30.509, mem=103M215
35.61/32.97 decisions=4253, wrong=1872, backtracks=68, failedAssignments=1806, nogoods=1263
35.61/32.97
36.72/34.01 num=31, depth=7..26, filters=12175, revisions=(343663,useless=331193), ccks=108170364, wck=31.548, mem=105M858
36.72/34.01 decisions=4661, wrong=2063, backtracks=68, failedAssignments=1997, nogoods=1454
36.72/34.01
38.62/35.95 num=32, depth=8..17, filters=12826, revisions=(363227,useless=350104), ccks=114852195, wck=33.482, mem=105M858
38.62/35.95 decisions=5103, wrong=2277, backtracks=71, failedAssignments=2208, nogoods=1598
38.62/35.95
39.92/37.29 num=33, depth=10..26, filters=13578, revisions=(382498,useless=368623), ccks=119441484, wck=34.829, mem=105M858
39.92/37.29 decisions=5596, wrong=2512, backtracks=74, failedAssignments=2440, nogoods=1731
39.92/37.29
52.94/50.30 num=34, depth=7..10, filters=15755, revisions=(455655,useless=439512), ccks=165345123, wck=47.833, mem=105M858
52.94/50.30 decisions=6176, wrong=2798, backtracks=105, failedAssignments=2695, nogoods=1789
52.94/50.30
55.64/52.97 num=35, depth=6..7, filters=17260, revisions=(519111,useless=501425), ccks=174378307, wck=50.511, mem=108M500
55.64/52.97 decisions=6793, wrong=3103, backtracks=129, failedAssignments=2976, nogoods=1825
55.64/52.97
57.24/54.55 num=36, depth=8..22, filters=18351, revisions=(545632,useless=526855), ccks=179689139, wck=52.087, mem=108M500
57.24/54.55 decisions=7437, wrong=3414, backtracks=132, failedAssignments=3285, nogoods=1993
57.24/54.55
63.79/61.06 num=37, depth=7..12, filters=21419, revisions=(636452,useless=614499), ccks=201984919, wck=58.598, mem=108M500
63.79/61.06 decisions=8207, wrong=3795, backtracks=174, failedAssignments=3625, nogoods=2000
63.79/61.06
67.48/64.74 num=38, depth=6..20, filters=22643, revisions=(672801,useless=649620), ccks=214696907, wck=62.278, mem=111M143
67.48/64.74 decisions=8989, wrong=4176, backtracks=183, failedAssignments=3999, nogoods=2109
67.48/64.74
80.24/77.49 num=39, depth=8..11, filters=26395, revisions=(794977,useless=767849), ccks=259055297, wck=75.025, mem=111M143
80.24/77.49 decisions=9896, wrong=4625, backtracks=221, failedAssignments=4410, nogoods=2121
80.24/77.49
84.06/81.19 num=40, depth=5..20, filters=27968, revisions=(835775,useless=807071), ccks=271808240, wck=78.73, mem=113M785
84.06/81.19 decisions=10846, wrong=5091, backtracks=236, failedAssignments=4862, nogoods=2244
84.06/81.19
87.39/84.42 num=41, depth=10..23, filters=29450, revisions=(876421,useless=846216), ccks=282750806, wck=81.952, mem=113M785
87.39/84.42 decisions=11882, wrong=5598, backtracks=248, failedAssignments=5359, nogoods=2402
87.39/84.42
89.79/86.85 num=42, depth=11..24, filters=31465, revisions=(920800,useless=888495), ccks=290934658, wck=84.385, mem=116M428
89.79/86.85 decisions=13012, wrong=6152, backtracks=256, failedAssignments=5906, nogoods=2610
89.79/86.85
92.79/89.88 num=43, depth=5..23, filters=34067, revisions=(974584,useless=939669), ccks=301108271, wck=87.419, mem=116M428
92.79/89.88 decisions=14258, wrong=6765, backtracks=267, failedAssignments=6508, nogoods=2799
92.79/89.88
96.39/93.49 num=44, depth=7..21, filters=36833, revisions=(1044702,useless=1006990), ccks=313171341, wck=91.031, mem=119M70
96.39/93.49 decisions=15632, wrong=7443, backtracks=287, failedAssignments=7170, nogoods=2922
96.39/93.49
101.21/98.21 num=45, depth=7..22, filters=39604, revisions=(1117581,useless=1077052), ccks=329267840, wck=95.746, mem=119M70
101.21/98.21 decisions=17127, wrong=8180, backtracks=316, failedAssignments=7898, nogoods=3024
101.21/98.21
108.21/105.29 num=46, depth=10..22, filters=42177, revisions=(1183469,useless=1140362), ccks=353712127, wck=102.823, mem=121M713
108.21/105.29 decisions=18777, wrong=8995, backtracks=334, failedAssignments=8699, nogoods=3136
108.21/105.29
112.31/109.39 num=47, depth=5..21, filters=45195, revisions=(1262580,useless=1216430), ccks=367465137, wck=106.929, mem=124M355
112.31/109.39 decisions=20576, wrong=9885, backtracks=376, failedAssignments=9580, nogoods=3418
112.31/109.39
138.92/135.99 num=48, depth=6..9, filters=51283, revisions=(1493977,useless=1441572), ccks=459805244, wck=133.528, mem=126M997
138.92/135.99 decisions=22705, wrong=10946, backtracks=467, failedAssignments=10550, nogoods=3493
138.92/135.99
143.52/140.59 num=49, depth=12..22, filters=54674, revisions=(1579262,useless=1523454), ccks=475167432, wck=138.122, mem=126M997
143.52/140.59 decisions=24884, wrong=12027, backtracks=486, failedAssignments=11617, nogoods=3666
143.52/140.59
149.22/146.26 num=50, depth=9..22, filters=59716, revisions=(1675236,useless=1614384), ccks=494084105, wck=143.796, mem=129M640
149.22/146.26 decisions=27312, wrong=13232, backtracks=525, failedAssignments=12790, nogoods=3793
149.22/146.26
159.04/156.05 num=51, depth=10..20, filters=64405, revisions=(1831668,useless=1766065), ccks=527582144, wck=153.584, mem=132M282
159.04/156.05 decisions=30023, wrong=14580, backtracks=586, failedAssignments=14081, nogoods=3870
159.04/156.05
166.83/163.84 num=52, depth=7..22, filters=69758, revisions=(1977746,useless=1906761), ccks=553864859, wck=161.376, mem=134M925
166.83/163.84 decisions=32926, wrong=16024, backtracks=625, failedAssignments=15501, nogoods=4045
166.83/163.84
172.04/169.08 num=53, depth=12..26, filters=75978, revisions=(2107457,useless=2030250), ccks=571054143, wck=166.622, mem=140M210
172.04/169.08 decisions=36130, wrong=17615, backtracks=656, failedAssignments=17063, nogoods=4271
172.04/169.08
227.01/223.98 num=54, depth=9..12, filters=96632, revisions=(2685285,useless=2586887), ccks=760247278, wck=221.519, mem=31M463
227.01/223.98 decisions=39784, wrong=19437, backtracks=762, failedAssignments=18781, nogoods=4283
227.01/223.98
232.01/228.97 num=55, depth=8..29, filters=103990, revisions=(2848517,useless=2742751), ccks=776394955, wck=226.508, mem=34M53
232.01/228.97 decisions=43640, wrong=21354, backtracks=801, failedAssignments=20671, nogoods=4486
232.01/228.97
292.73/289.63 num=56, depth=9..11, filters=123826, revisions=(3407425,useless=3280793), ccks=984955695, wck=287.168, mem=41M822
292.73/289.63 decisions=48418, wrong=23738, backtracks=1128, failedAssignments=22750, nogoods=4570
292.73/289.63
301.84/298.75 num=57, depth=14..28, filters=130873, revisions=(3588328,useless=3454637), ccks=1016093764, wck=296.29, mem=47M1
301.84/298.75 decisions=53203, wrong=26120, backtracks=1268, failedAssignments=25037, nogoods=4714
301.84/298.75
310.04/307.00 num=58, depth=7..24, filters=140791, revisions=(3810300,useless=3666684), ccks=1043306510, wck=304.538, mem=49M590
310.04/307.00 decisions=58405, wrong=28710, backtracks=1344, failedAssignments=27553, nogoods=4925
310.04/307.00
332.16/329.08 num=59, depth=5..23, filters=152940, revisions=(4138960,useless=3983058), ccks=1119461775, wck=326.618, mem=57M359
332.16/329.08 decisions=64145, wrong=31571, backtracks=1474, failedAssignments=30321, nogoods=5119
332.16/329.08
362.76/359.67 num=60, depth=6..24, filters=166430, revisions=(4530101,useless=4360496), ccks=1225751350, wck=357.207, mem=62M538
362.76/359.67 decisions=70481, wrong=34729, backtracks=1666, failedAssignments=33365, nogoods=5475
362.76/359.67
376.80/373.63 num=61, depth=9..26, filters=177211, revisions=(4796240,useless=4615793), ccks=1273304590, wck=371.163, mem=70M307
376.80/373.63 decisions=77315, wrong=38137, backtracks=1811, failedAssignments=36714, nogoods=5678
376.80/373.63
388.21/385.03 num=62, depth=8..24, filters=189080, revisions=(5107902,useless=4915350), ccks=1310948544, wck=382.564, mem=75M486
388.21/385.03 decisions=84837, wrong=41887, backtracks=1921, failedAssignments=40398, nogoods=5934
388.21/385.03
404.61/401.50 num=63, depth=12..24, filters=203100, revisions=(5458328,useless=5251384), ccks=1367037720, wck=399.033, mem=83M255
404.61/401.50 decisions=93117, wrong=46018, backtracks=2181, failedAssignments=44450, nogoods=6142
404.61/401.50
422.82/419.63 num=64, depth=13..26, filters=219057, revisions=(5852201,useless=5628402), ccks=1428484336, wck=417.169, mem=91M24
422.82/419.63 decisions=102172, wrong=50535, backtracks=2312, failedAssignments=48907, nogoods=6465
422.82/419.63
455.35/452.13 num=65, depth=11..23, filters=236366, revisions=(6331636,useless=6090372), ccks=1540582960, wck=449.665, mem=101M382
455.35/452.13 decisions=112170, wrong=55525, backtracks=2500, failedAssignments=53810, nogoods=6696
455.35/452.13
476.50/473.29 num=66, depth=10..26, filters=255886, revisions=(6790296,useless=6529460), ccks=1611331710, wck=470.827, mem=114M330
476.50/473.29 decisions=123211, wrong=61035, backtracks=2630, failedAssignments=59204, nogoods=6992
476.50/473.29
509.42/506.15 num=67, depth=6..26, filters=278833, revisions=(7345965,useless=7061841), ccks=1723510559, wck=503.685, mem=124M688
509.42/506.15 decisions=135441, wrong=67140, backtracks=2949, failedAssignments=65137, nogoods=7176
509.42/506.15
535.72/532.48 num=68, depth=10..24, filters=303102, revisions=(8025450,useless=7716512), ccks=1810605455, wck=530.019, mem=137M636
535.72/532.48 decisions=148929, wrong=73876, backtracks=3245, failedAssignments=71663, nogoods=7389
535.72/532.48
570.33/567.09 num=69, depth=8..20, filters=320640, revisions=(8638966,useless=8311851), ccks=1926775691, wck=564.625, mem=147M994
570.33/567.09 decisions=163540, wrong=81175, backtracks=3613, failedAssignments=78842, nogoods=7567
570.33/567.09
599.17/595.81 num=70, depth=6..22, filters=345711, revisions=(9325816,useless=8972707), ccks=2023232845, wck=593.348, mem=31M959
599.17/595.81 decisions=179623, wrong=89207, backtracks=4107, failedAssignments=86739, nogoods=7812
599.17/595.81
635.62/632.26 num=71, depth=8..21, filters=375561, revisions=(10132991,useless=9749545), ccks=2146298288, wck=629.798, mem=50M216
635.62/632.26 decisions=197504, wrong=98140, backtracks=4708, failedAssignments=95426, nogoods=8029
635.62/632.26
657.46/654.05 num=72, depth=11..25, filters=406125, revisions=(10905622,useless=10491566), ccks=2215878730, wck=651.591, mem=63M256
657.46/654.05 decisions=216837, wrong=107796, backtracks=4974, failedAssignments=104981, nogoods=8315
657.46/654.05
701.26/697.87 num=73, depth=12..24, filters=437656, revisions=(11823183,useless=11375504), ccks=2364228704, wck=695.409, mem=81M512
701.26/697.87 decisions=238339, wrong=118538, backtracks=5422, failedAssignments=115492, nogoods=8605
701.26/697.87
781.87/778.42 num=74, depth=7..24, filters=487718, revisions=(13041205,useless=12542765), ccks=2640699153, wck=775.961, mem=107M593
781.87/778.42 decisions=262317, wrong=130518, backtracks=6012, failedAssignments=127054, nogoods=8813
781.87/778.42
839.08/835.60 num=75, depth=13..21, filters=529463, revisions=(14119231,useless=13577813), ccks=2835392911, wck=833.134, mem=131M66
839.08/835.60 decisions=288537, wrong=143619, backtracks=6659, failedAssignments=139772, nogoods=8930
839.08/835.60
884.59/881.16 num=76, depth=8..25, filters=567149, revisions=(15286627,useless=14707379), ccks=2987862977, wck=878.696, mem=151M930
884.59/881.16 decisions=317101, wrong=157892, backtracks=7327, failedAssignments=153762, nogoods=9133
884.59/881.16
949.03/945.54 num=77, depth=10..24, filters=619341, revisions=(16544193,useless=15912701), ccks=3205744494, wck=943.073, mem=50M619
949.03/945.54 decisions=348515, wrong=173591, backtracks=7941, failedAssignments=169151, nogoods=9345
949.03/945.54
977.90/974.34 num=78, depth=12..40, filters=688940, revisions=(18074576,useless=17373418), ccks=3295461927, wck=971.874, mem=87M300
977.90/974.34 decisions=383114, wrong=190875, backtracks=8338, failedAssignments=186079, nogoods=9877
977.90/974.34
1023.31/1019.79 num=79, depth=12..28, filters=742855, revisions=(19651306,useless=18895314), ccks=3443197728, wck=1017.326, mem=116M121
1023.31/1019.79 decisions=421061, wrong=209838, backtracks=9469, failedAssignments=204700, nogoods=10137
1023.31/1019.79
1095.74/1092.19 num=80, depth=10..26, filters=807330, revisions=(21419030,useless=20597257), ccks=3683663575, wck=1089.727, mem=152M802
1095.74/1092.19 decisions=462823, wrong=230710, backtracks=10583, failedAssignments=225184, nogoods=10520
1095.74/1092.19
1187.20/1183.56 num=81, depth=8..26, filters=900725, revisions=(23321966,useless=22406581), ccks=3990750460, wck=1181.099, mem=71M200
1187.20/1183.56 decisions=509402, wrong=253990, backtracks=11474, failedAssignments=247716, nogoods=10720
1187.20/1183.56
1402.96/1399.25 num=82, depth=10..23, filters=986165, revisions=(25629947,useless=24625906), ccks=4755344871, wck=1396.787, mem=117M751
1402.96/1399.25 decisions=561309, wrong=279936, backtracks=13435, failedAssignments=272501, nogoods=10858
1402.96/1399.25
1495.30/1491.54 num=83, depth=10..23, filters=1054506, revisions=(27824115,useless=26751459), ccks=5067988257, wck=1489.079, mem=153M958
1495.30/1491.54 decisions=616636, wrong=307591, backtracks=15090, failedAssignments=299765, nogoods=11051
1495.30/1491.54
1612.37/1608.54 num=84, depth=12..25, filters=1147920, revisions=(30469440,useless=29301058), ccks=5460077131, wck=1606.074, mem=75M739
1612.37/1608.54 decisions=678024, wrong=338277, backtracks=16401, failedAssignments=329755, nogoods=11282
1612.37/1608.54
1976.91/1972.94 num=85, depth=7..23, filters=1277449, revisions=(34776196,useless=33474588), ccks=6711683176, wck=1970.48, mem=126M726
1976.91/1972.94 decisions=748047, wrong=373278, backtracks=19576, failedAssignments=362744, nogoods=11443
1976.91/1972.94
2131.60/2127.56 num=86, depth=12..24, filters=1406349, revisions=(38261713,useless=36828630), ccks=7225613457, wck=2125.098, mem=65M10
2131.60/2127.56 decisions=822655, wrong=410573, backtracks=21532, failedAssignments=399032, nogoods=11612
2131.60/2127.56
2255.25/2251.12 num=87, depth=10..23, filters=1520847, revisions=(41872849,useless=40319035), ccks=7632677015, wck=2248.654, mem=122M757
2255.25/2251.12 decisions=907694, wrong=453085, backtracks=25222, failedAssignments=438949, nogoods=11833
2255.25/2251.12
2392.82/2388.61 num=88, depth=8..24, filters=1695028, revisions=(46000444,useless=44271241), ccks=8081561926, wck=2386.147, mem=84M278
2392.82/2388.61 decisions=997788, wrong=498122, backtracks=27256, failedAssignments=482858, nogoods=12076
2392.82/2388.61
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 (14603 MiB free)
memory of node 1: 16384 MiB (15469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390703-1568388054/watcher-4390703-1568388054 -o /tmp/evaluation-result-4390703-1568388054/solver-4390703-1568388054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19778 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390703-1568388054.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20952, runsolver pid=20949
[startup+0.102288 s]*
/proc/loadavg: 2.00 2.01 1.98 4/228 20967
/proc/meminfo: memFree=30780304/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10659884 memory=27420 CPUtime=0.14 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 5417 0 0 0 12 2 0 0 20 0 15 0 415072193 10915721216 6855 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2664971 6855 2886 1 0 2627468 0
[pid=20952/tid=20954] ppid=20949 vsize=10659884 memory=-8439527450518781933 CPUtime=0.09 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 3211 0 0 0 8 1 0 0 20 0 15 0 415072193 10915721216 6855 33554432000 4194304 4196468 140731927691360 140156856434208 140156836291934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10659884 memory=4211973474357226890 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6855 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6855 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) R 20949 20952 19747 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156406098672 140156832911744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0.02 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) R 20949 20952 19747 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156405042240 140156852221653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27420 KiB
[startup+0.210593 s]*
/proc/loadavg: 2.00 2.01 1.98 3/228 20967
/proc/meminfo: memFree=30773752/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10659884 memory=34844 CPUtime=0.32 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 6849 0 0 0 30 2 0 0 20 0 15 0 415072193 10915721216 8711 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2664971 8711 2987 1 0 2627468 0
[pid=20952/tid=20954] ppid=20949 vsize=10659884 memory=7900017517374083699 CPUtime=0.2 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 3890 0 0 0 19 1 0 0 20 0 15 0 415072193 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156856437808 140156852233373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10659884 memory=4211973474357226890 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 654 0 0 0 3 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 716 0 0 0 4 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34844 KiB
[startup+0.311749 s]*
/proc/loadavg: 2.00 2.01 1.98 4/228 20967
/proc/meminfo: memFree=30765416/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10659884 memory=40308 CPUtime=0.47 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 9430 0 0 0 43 4 0 0 20 0 15 0 415072193 10915721216 10077 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2664971 10077 3000 1 0 2627468 0
[pid=20952/tid=20954] ppid=20949 vsize=10659884 memory=-5155634780447454526 CPUtime=0.3 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 6380 0 0 0 28 2 0 0 20 0 15 0 415072193 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156856443248 140156852233373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10659884 memory=4211973474357226890 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10659884 memory=139748035401247 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10659884 memory=279496070781728 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10659884 memory=139748035378191 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10659884 memory=279496187823712 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10659884 memory=139748035382799 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10659884 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10659884 memory=27420 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40308 KiB
[startup+0.700774 s]
/proc/loadavg: 2.00 2.01 1.98 3/228 20967
/proc/meminfo: memFree=30756348/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10661932 memory=63976 CPUtime=1.11 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 13123 0 0 0 105 6 0 0 20 0 15 0 415072193 10917818368 15994 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2665483 15994 3072 1 0 2627980 0
[pid=20952/tid=20954] ppid=20949 vsize=10661932 memory=10484 CPUtime=0.68 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 8931 0 0 0 64 4 0 0 20 0 15 0 415072193 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156856428384 140156836291934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10661932 memory=7596540479531410752 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 1027 0 0 0 11 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10661932 memory=229766254847294 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) R 20949 20952 19747 0 -1 4202560 567 0 0 0 11 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156406098672 140156852232794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10661932 memory=3545520603459238882 CPUtime=0.18 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 1238 0 0 0 18 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63976 KiB
[startup+1.50081 s]
/proc/loadavg: 2.00 2.01 1.98 3/228 20967
/proc/meminfo: memFree=30740616/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10663980 memory=76064 CPUtime=2.01 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 18690 0 0 0 194 7 0 0 20 0 15 0 415072193 10919915520 19016 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2665995 19016 3096 1 0 2628492 0
[pid=20952/tid=20954] ppid=20949 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 13199 0 0 0 143 5 0 0 20 0 15 0 415072193 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156856424784 140156837377119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10663980 memory=139748035431392 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 415072195 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
################
# More data... #
################
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 926 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3051 0 0 0 3 1 0 0 20 0 16 0 415072195 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.2 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8072 0 0 0 119 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7335 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8460 0 0 0 68 2 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.67 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1313 0 0 0 26 41 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=272552 CPUtime=2440.3 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18743 0 0 0 244025 5 0 0 20 0 16 0 415072381 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156318387536 140156477920390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2446.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272552 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 0.99 1.06 2/208 21271
/proc/meminfo: memFree=30978268/32770624 swapFree=66966948/67108860
[pid=20952] ppid=20949 vsize=10748324 memory=272552 CPUtime=2506.57 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 68182 0 0 0 250617 40 0 0 20 0 16 0 415072193 11006283776 68138 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2687081 68138 3382 1 0 2647217 0
[pid=20952/tid=20954] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.86 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) S 20949 20952 19747 0 -1 1077944384 15448 0 0 0 180 6 0 0 20 0 16 0 415072193 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156856454320 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.09 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 741 0 0 0 9 0 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.1 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1754 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.1 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 703 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.1 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 926 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3058 0 0 0 3 1 0 0 20 0 16 0 415072195 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.21 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8080 0 0 0 120 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7337 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.7 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8462 0 0 0 68 2 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=249490 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=1376 CPUtime=0.69 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1344 0 0 0 27 42 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=1060 CPUtime=2500.3 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18888 0 0 0 250025 5 0 0 20 0 16 0 415072381 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156318387536 140156483445792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2506.57 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.7 s]
/proc/loadavg: 1.00 0.99 1.06 2/208 21271
/proc/meminfo: memFree=30980116/32770624 swapFree=66966948/67108860
[pid=20952] ppid=20949 vsize=10748324 memory=270500 CPUtime=2520.01 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 68806 0 0 0 251961 40 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2687081 67625 3382 1 0 2647217 0
[pid=20952/tid=20954] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.86 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) S 20949 20952 19747 0 -1 1077944384 15448 0 0 0 180 6 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156856454320 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 764 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1772 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 1025 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 996 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.05 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3232 0 0 0 4 1 0 0 20 0 16 0 415072195 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.21 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8080 0 0 0 120 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7337 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.71 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8462 0 0 0 69 2 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.69 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1346 0 0 0 27 42 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=272552 CPUtime=2513.69 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18903 0 0 0 251364 5 0 0 20 0 16 0 415072381 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156318395808 140156483447504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.72 s]
# the end of solver process 20952 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.62 s, system=0.406095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.7 s]
/proc/loadavg: 1.00 0.99 1.06 2/208 21271
/proc/meminfo: memFree=30980116/32770624 swapFree=66966948/67108860
[pid=20952] ppid=20949 vsize=10748324 memory=270500 CPUtime=2520.01 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 68806 0 0 0 251961 40 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2687081 67625 3382 1 0 2647217 0
[pid=20952/tid=20954] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.86 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) S 20949 20952 19747 0 -1 1077944384 15448 0 0 0 180 6 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156856454320 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 764 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1772 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 1025 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 996 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.05 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3232 0 0 0 4 1 0 0 20 0 16 0 415072195 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.21 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8080 0 0 0 120 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7337 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.71 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8462 0 0 0 69 2 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.69 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1346 0 0 0 27 42 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=272552 CPUtime=2513.69 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18903 0 0 0 251364 5 0 0 20 0 16 0 415072381 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156318395808 140156483447504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270500 KiB
Child status: 143
Real time (s): 2515.72
CPU time (s): 2520.03
CPU user time (s): 2519.62
CPU system time (s): 0.406095
CPU usage (%): 100.171
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 276628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.406095
maximum resident set size= 277668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57433
involuntary context switches= 1948
# summary of solver processes directly reported to runsolver:
# pid: 20952
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.62
# total CPU system time (s): 0.406095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0818 second user time and 19.999 second system time
The end