2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.88
2.93/2.07 Instance
2.93/2.07 name=instance-4390466-1568387877, framework=CSP
2.93/2.07
2.93/2.07 Loading variables...
3.30/2.11 Loading constraints...
4.02/2.39
4.02/2.39 Domains
4.02/2.39 nTypes=26, nValues=3510, sizes=[55#2,56#2,57#2,58#2...77#2,78#2,79#2,80#2]
4.02/2.39 Variables
4.02/2.39 count=52, degrees=[25#52]
4.02/2.39 Constraints
4.02/2.39 count=325, arities=[4#325]
4.02/2.39 distribution=[CtrIntension#325]
4.02/2.39 nIntStructures=(325,shared:0)
4.02/2.39 wck=0.551, cpu=2.359, mem=74M76
4.02/2.40 Solver SolverBacktrack being built...
4.02/2.40
4.35/2.42
4.35/2.42 Solver
4.35/2.42 guaranteedGAC=false
4.35/2.42 wck=0.583, cpu=2.389, mem=84M718
4.35/2.42
4.35/2.42 Preprocessing
4.35/2.42 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.35/2.42 wck=0.001, cpu=2.391, mem=84M718
4.35/2.42
4.85/2.69 num=0, depth=33..33, filters=495, revisions=(5719,useless=5206), ccks=701316, wck=0.271, mem=87M361
4.85/2.69 decisions=53, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.85/2.69
5.09/2.87 num=1, depth=23..23, filters=658, revisions=(9149,useless=8468), ccks=1236104, wck=0.452, mem=87M361
5.09/2.87 decisions=98, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.09/2.87
5.19/2.98 num=2, depth=25..26, filters=815, revisions=(12409,useless=11559), ccks=1548483, wck=0.558, mem=90M3
5.19/2.98 decisions=149, wrong=34, backtracks=1, failedAssignments=33, nogoods=30
5.19/2.98
5.43/3.12 num=3, depth=12..12, filters=900, revisions=(14394,useless=13458), ccks=1934456, wck=0.695, mem=90M3
5.43/3.12 decisions=187, wrong=47, backtracks=1, failedAssignments=46, nogoods=43
5.43/3.12
5.53/3.22 num=4, depth=13..20, filters=1012, revisions=(17095,useless=16046), ccks=2242766, wck=0.801, mem=92M646
5.53/3.22 decisions=235, wrong=61, backtracks=1, failedAssignments=60, nogoods=57
5.53/3.22
5.65/3.32 num=5, depth=25..27, filters=1213, revisions=(21009,useless=19754), ccks=2519066, wck=0.897, mem=92M646
5.65/3.32 decisions=294, wrong=77, backtracks=1, failedAssignments=76, nogoods=73
5.65/3.32
5.86/3.59 num=6, depth=14..15, filters=1390, revisions=(26335,useless=24883), ccks=3337034, wck=1.166, mem=97M931
5.86/3.59 decisions=352, wrong=99, backtracks=6, failedAssignments=93, nogoods=81
5.86/3.59
6.07/3.78 num=7, depth=14..15, filters=1619, revisions=(31227,useless=29526), ccks=3939800, wck=1.361, mem=100M573
6.07/3.78 decisions=410, wrong=121, backtracks=9, failedAssignments=112, nogoods=98
6.07/3.78
7.07/4.79 num=8, depth=11..17, filters=1804, revisions=(37243,useless=35352), ccks=7216069, wck=2.374, mem=103M215
7.07/4.79 decisions=473, wrong=144, backtracks=11, failedAssignments=133, nogoods=100
7.07/4.79
7.58/5.29 num=9, depth=16..25, filters=1972, revisions=(41798,useless=39734), ccks=8771093, wck=2.867, mem=108M500
7.58/5.29 decisions=544, wrong=167, backtracks=11, failedAssignments=156, nogoods=123
7.58/5.29
7.79/5.47 num=10, depth=14..15, filters=2164, revisions=(47672,useless=45407), ccks=9323770, wck=3.05, mem=111M143
7.79/5.47 decisions=618, wrong=197, backtracks=16, failedAssignments=181, nogoods=139
7.79/5.47
8.13/5.71 num=11, depth=21..25, filters=2356, revisions=(51931,useless=49470), ccks=10063129, wck=3.294, mem=113M785
8.13/5.71 decisions=699, wrong=225, backtracks=16, failedAssignments=209, nogoods=167
8.13/5.71
8.44/6.05 num=12, depth=12..13, filters=2743, revisions=(60497,useless=57616), ccks=11088079, wck=3.627, mem=116M428
8.44/6.05 decisions=787, wrong=263, backtracks=23, failedAssignments=240, nogoods=178
8.44/6.05
8.74/6.32 num=13, depth=13..14, filters=3054, revisions=(68520,useless=65303), ccks=11919135, wck=3.899, mem=121M712
8.74/6.32 decisions=880, wrong=303, backtracks=29, failedAssignments=274, nogoods=198
8.74/6.32
9.14/6.79 num=14, depth=18..20, filters=3309, revisions=(74777,useless=71303), ccks=13367921, wck=4.368, mem=124M355
9.14/6.79 decisions=976, wrong=342, backtracks=31, failedAssignments=311, nogoods=206
9.14/6.79
9.34/6.91 num=15, depth=15..19, filters=3537, revisions=(78704,useless=75001), ccks=13722767, wck=4.486, mem=126M997
9.34/6.91 decisions=1077, wrong=383, backtracks=31, failedAssignments=352, nogoods=247
9.34/6.91
9.95/7.55 num=16, depth=14..18, filters=3785, revisions=(86936,useless=82980), ccks=15718717, wck=5.13, mem=132M282
9.95/7.55 decisions=1191, wrong=433, backtracks=36, failedAssignments=397, nogoods=249
9.95/7.55
10.37/7.94 num=17, depth=11..12, filters=4112, revisions=(98226,useless=93924), ccks=16917249, wck=5.518, mem=137M567
10.37/7.94 decisions=1320, wrong=492, backtracks=45, failedAssignments=447, nogoods=264
10.37/7.94
10.59/8.13 num=18, depth=13..22, filters=4470, revisions=(103000,useless=98338), ccks=17490999, wck=5.707, mem=140M209
10.59/8.13 decisions=1452, wrong=547, backtracks=45, failedAssignments=502, nogoods=319
10.59/8.13
11.18/8.80 num=19, depth=10..22, filters=4826, revisions=(109316,useless=104297), ccks=19604936, wck=6.376, mem=142M778
11.18/8.80 decisions=1596, wrong=608, backtracks=45, failedAssignments=563, nogoods=380
11.18/8.80
11.73/9.20 num=20, depth=16..32, filters=5358, revisions=(117014,useless=111411), ccks=20804643, wck=6.78, mem=29M592
11.73/9.20 decisions=1764, wrong=677, backtracks=47, failedAssignments=630, nogoods=426
11.73/9.20
12.23/9.70 num=21, depth=13..14, filters=5981, revisions=(133227,useless=126987), ccks=22380207, wck=7.284, mem=34M718
12.23/9.70 decisions=1954, wrong=765, backtracks=61, failedAssignments=704, nogoods=455
12.23/9.70
12.43/9.98 num=22, depth=20..32, filters=6442, revisions=(140040,useless=133338), ccks=23228910, wck=7.558, mem=39M844
12.43/9.98 decisions=2148, wrong=846, backtracks=61, failedAssignments=785, nogoods=536
12.43/9.98
12.84/10.39 num=23, depth=12..28, filters=7048, revisions=(150963,useless=143647), ccks=24534877, wck=7.975, mem=44M971
12.84/10.39 decisions=2360, wrong=938, backtracks=64, failedAssignments=874, nogoods=605
12.84/10.39
15.34/12.85 num=24, depth=12..13, filters=7879, revisions=(173805,useless=165603), ccks=32273150, wck=10.431, mem=55M223
15.34/12.85 decisions=2583, wrong=1043, backtracks=71, failedAssignments=972, nogoods=620
15.34/12.85
15.74/13.27 num=25, depth=14..29, filters=8442, revisions=(182396,useless=173631), ccks=33573304, wck=10.845, mem=60M349
15.74/13.27 decisions=2828, wrong=1151, backtracks=71, failedAssignments=1080, nogoods=728
15.74/13.27
16.45/14.00 num=26, depth=11..33, filters=9098, revisions=(193773,useless=184351), ccks=35914917, wck=11.579, mem=68M39
16.45/14.00 decisions=3105, wrong=1273, backtracks=74, failedAssignments=1199, nogoods=836
16.45/14.00
18.15/15.62 num=27, depth=7..11, filters=10303, revisions=(224471,useless=213813), ccks=41106072, wck=13.202, mem=80M855
18.15/15.62 decisions=3391, wrong=1412, backtracks=82, failedAssignments=1330, nogoods=842
18.15/15.62
18.76/16.23 num=28, depth=6..29, filters=10949, revisions=(236224,useless=224918), ccks=43014108, wck=13.811, mem=91M107
18.76/16.23 decisions=3708, wrong=1556, backtracks=82, failedAssignments=1474, nogoods=986
18.76/16.23
19.57/17.10 num=29, depth=6..26, filters=11690, revisions=(253673,useless=241623), ccks=45757673, wck=14.681, mem=101M360
19.57/17.10 decisions=4054, wrong=1716, backtracks=84, failedAssignments=1632, nogoods=1109
19.57/17.10
24.57/22.10 num=30, depth=10..11, filters=13575, revisions=(300707,useless=286623), ccks=61598163, wck=19.681, mem=121M865
24.57/22.10 decisions=4433, wrong=1900, backtracks=94, failedAssignments=1806, nogoods=1125
24.57/22.10
26.27/23.78 num=31, depth=6..37, filters=14504, revisions=(318587,useless=303572), ccks=66917800, wck=21.36, mem=132M117
26.27/23.78 decisions=4854, wrong=2092, backtracks=95, failedAssignments=1997, nogoods=1298
26.27/23.78
27.59/25.03 num=32, depth=10..12, filters=15976, revisions=(363208,useless=346649), ccks=70762281, wck=22.607, mem=152M622
27.59/25.03 decisions=5363, wrong=2341, backtracks=137, failedAssignments=2208, nogoods=1318
27.59/25.03
28.11/25.55 num=33, depth=13..46, filters=17184, revisions=(379855,useless=362086), ccks=72325999, wck=23.134, mem=29M787
28.11/25.55 decisions=5873, wrong=2573, backtracks=137, failedAssignments=2440, nogoods=1550
28.11/25.55
30.81/28.26 num=34, depth=14..16, filters=20815, revisions=(429931,useless=408370), ccks=80807713, wck=25.842, mem=47M923
30.81/28.26 decisions=6430, wrong=2844, backtracks=153, failedAssignments=2695, nogoods=1587
30.81/28.26
32.82/30.29 num=35, depth=11..19, filters=22956, revisions=(482585,useless=458786), ccks=87195040, wck=27.873, mem=71M241
32.82/30.29 decisions=7098, wrong=3171, backtracks=203, failedAssignments=2976, nogoods=1655
32.82/30.29
33.83/31.26 num=36, depth=14..34, filters=24245, revisions=(504333,useless=479245), ccks=90236195, wck=28.837, mem=84M195
33.83/31.26 decisions=7755, wrong=3483, backtracks=207, failedAssignments=3285, nogoods=1825
33.83/31.26
36.44/33.80 num=37, depth=9..14, filters=26874, revisions=(577252,useless=549424), ccks=98224097, wck=31.385, mem=112M695
36.44/33.80 decisions=8530, wrong=3865, backtracks=254, failedAssignments=3625, nogoods=1838
36.44/33.80
37.83/35.11 num=38, depth=11..32, filters=28422, revisions=(603970,useless=574592), ccks=102297879, wck=32.688, mem=132M152
37.83/35.11 decisions=9315, wrong=4242, backtracks=258, failedAssignments=3999, nogoods=2046
37.83/35.11
41.10/38.39 num=39, depth=5..37, filters=30474, revisions=(643205,useless=611756), ccks=112711302, wck=35.972, mem=155M470
41.10/38.39 decisions=10194, wrong=4663, backtracks=269, failedAssignments=4410, nogoods=2401
41.10/38.39
51.06/48.29 num=40, depth=10..14, filters=35068, revisions=(744912,useless=708758), ccks=144358383, wck=45.866, mem=71M636
51.06/48.29 decisions=11260, wrong=5190, backtracks=348, failedAssignments=4862, nogoods=2433
51.06/48.29
54.61/51.75 num=41, depth=9..12, filters=40221, revisions=(862603,useless=821037), ccks=155173836, wck=49.33, mem=110M631
54.61/51.75 decisions=12365, wrong=5737, backtracks=400, failedAssignments=5359, nogoods=2438
54.61/51.75
73.95/71.02 num=42, depth=6..11, filters=46117, revisions=(1013035,useless=965436), ccks=217439836, wck=68.6, mem=40M314
73.95/71.02 decisions=13646, wrong=6374, backtracks=493, failedAssignments=5906, nogoods=2472
73.95/71.02
75.95/73.02 num=43, depth=12..47, filters=48706, revisions=(1057624,useless=1007436), ccks=223677275, wck=70.596, mem=68M618
75.95/73.02 decisions=14916, wrong=6987, backtracks=504, failedAssignments=6508, nogoods=2813
75.95/73.02
95.76/92.82 num=44, depth=7..11, filters=56332, revisions=(1219275,useless=1161226), ccks=287183868, wck=90.396, mem=138M92
95.76/92.82 decisions=16426, wrong=7738, backtracks=596, failedAssignments=7170, nogoods=2817
95.76/92.82
98.50/95.50 num=45, depth=16..29, filters=59379, revisions=(1273099,useless=1212001), ccks=295640470, wck=93.083, mem=45M244
98.50/95.50 decisions=17931, wrong=8477, backtracks=609, failedAssignments=7898, nogoods=3036
98.50/95.50
102.51/99.52 num=46, depth=14..28, filters=62088, revisions=(1337236,useless=1273390), ccks=308455888, wck=97.095, mem=88M442
102.51/99.52 decisions=19576, wrong=9289, backtracks=639, failedAssignments=8699, nogoods=3176
102.51/99.52
105.62/102.66 num=47, depth=8..25, filters=65485, revisions=(1407517,useless=1340271), ccks=318317556, wck=100.235, mem=136M722
105.62/102.66 decisions=21436, wrong=10210, backtracks=680, failedAssignments=9580, nogoods=3301
105.62/102.66
109.97/107.00 num=48, depth=11..36, filters=69366, revisions=(1486083,useless=1414934), ccks=331958653, wck=104.584, mem=60M155
109.97/107.00 decisions=23459, wrong=11212, backtracks=714, failedAssignments=10550, nogoods=3426
109.97/107.00
114.64/111.57 num=49, depth=11..24, filters=73250, revisions=(1580758,useless=1505661), ccks=346296566, wck=109.147, mem=120M285
114.64/111.57 decisions=25661, wrong=12303, backtracks=762, failedAssignments=11617, nogoods=3552
114.64/111.57
123.48/120.37 num=50, depth=8..19, filters=77377, revisions=(1690542,useless=1611268), ccks=374670404, wck=117.949, mem=69M528
123.48/120.37 decisions=28090, wrong=13511, backtracks=804, failedAssignments=12790, nogoods=3696
123.48/120.37
126.68/123.52 num=51, depth=6..30, filters=82675, revisions=(1795062,useless=1710490), ccks=384425087, wck=121.098, mem=131M215
126.68/123.52 decisions=30735, wrong=14821, backtracks=824, failedAssignments=14081, nogoods=4033
126.68/123.52
133.93/130.77 num=52, depth=15..20, filters=87313, revisions=(1904596,useless=1815378), ccks=407482627, wck=128.349, mem=88M309
133.93/130.77 decisions=33682, wrong=16286, backtracks=900, failedAssignments=15501, nogoods=4114
133.93/130.77
139.27/136.01 num=53, depth=8..25, filters=93049, revisions=(2028361,useless=1933399), ccks=423912043, wck=133.593, mem=49M65
139.27/136.01 decisions=36874, wrong=17873, backtracks=956, failedAssignments=17063, nogoods=4238
139.27/136.01
144.47/141.28 num=54, depth=14..25, filters=99013, revisions=(2159337,useless=2058405), ccks=440347969, wck=138.855, mem=137M415
144.47/141.28 decisions=40426, wrong=19639, backtracks=1029, failedAssignments=18781, nogoods=4421
144.47/141.28
153.20/150.00 num=55, depth=9..25, filters=105874, revisions=(2337081,useless=2229181), ccks=467703769, wck=147.576, mem=136M51
153.20/150.00 decisions=44319, wrong=21578, backtracks=1108, failedAssignments=20671, nogoods=4503
153.20/150.00
161.02/157.71 num=56, depth=4..21, filters=112698, revisions=(2520659,useless=2405791), ccks=491833494, wck=155.287, mem=134M620
161.02/157.71 decisions=48542, wrong=23681, backtracks=1223, failedAssignments=22750, nogoods=4678
161.02/157.71
169.55/166.24 num=57, depth=10..22, filters=120825, revisions=(2723700,useless=2600630), ccks=518639296, wck=163.82, mem=140M136
169.55/166.24 decisions=53222, wrong=26014, backtracks=1316, failedAssignments=25037, nogoods=4756
169.55/166.24
175.47/172.17 num=58, depth=8..26, filters=130318, revisions=(2919970,useless=2787407), ccks=536795942, wck=169.754, mem=43M261
175.47/172.17 decisions=58401, wrong=28592, backtracks=1379, failedAssignments=27553, nogoods=4943
175.47/172.17
189.12/185.74 num=59, depth=12..28, filters=138442, revisions=(3148410,useless=3007596), ccks=580294633, wck=183.325, mem=73M836
189.12/185.74 decisions=64034, wrong=31396, backtracks=1502, failedAssignments=30321, nogoods=5205
189.12/185.74
200.62/197.22 num=60, depth=12..25, filters=149066, revisions=(3388929,useless=3237244), ccks=616735028, wck=194.803, mem=114M449
200.62/197.22 decisions=70234, wrong=34486, backtracks=1628, failedAssignments=33365, nogoods=5454
200.62/197.22
211.07/207.66 num=61, depth=10..24, filters=160605, revisions=(3644792,useless=3481568), ccks=649482065, wck=205.244, mem=71M959
211.07/207.66 decisions=77112, wrong=37916, backtracks=1738, failedAssignments=36714, nogoods=5642
211.07/207.66
220.90/217.45 num=62, depth=14..27, filters=176331, revisions=(3940970,useless=3761925), ccks=679735153, wck=215.025, mem=56M288
220.90/217.45 decisions=84843, wrong=41771, backtracks=1947, failedAssignments=40398, nogoods=5849
220.90/217.45
232.21/228.72 num=63, depth=12..24, filters=188340, revisions=(4267511,useless=4076424), ccks=714996369, wck=226.304, mem=49M615
232.21/228.72 decisions=93131, wrong=45905, backtracks=2154, failedAssignments=44450, nogoods=6055
232.21/228.72
250.03/246.56 num=64, depth=12..23, filters=203255, revisions=(4647016,useless=4440772), ccks=771532146, wck=244.138, mem=88M208
250.03/246.56 decisions=102229, wrong=50446, backtracks=2371, failedAssignments=48907, nogoods=6230
250.03/246.56
267.65/264.19 num=65, depth=6..22, filters=220018, revisions=(5173770,useless=4950260), ccks=825885297, wck=261.774, mem=63M192
267.65/264.19 decisions=112423, wrong=55536, backtracks=2638, failedAssignments=53810, nogoods=6454
267.65/264.19
283.42/279.85 num=66, depth=12..20, filters=233826, revisions=(5613004,useless=5375664), ccks=874519545, wck=277.433, mem=94M439
283.42/279.85 decisions=123373, wrong=61003, backtracks=2874, failedAssignments=59204, nogoods=6635
283.42/279.85
300.75/297.12 num=67, depth=8..30, filters=257428, revisions=(6091269,useless=5830116), ccks=928259688, wck=294.698, mem=55M253
300.75/297.12 decisions=135449, wrong=67028, backtracks=3052, failedAssignments=65137, nogoods=7054
300.75/297.12
331.87/328.29 num=68, depth=7..23, filters=282539, revisions=(6768601,useless=6481302), ccks=1026573987, wck=325.87, mem=104M642
331.87/328.29 decisions=149042, wrong=73816, backtracks=3439, failedAssignments=71663, nogoods=7212
331.87/328.29
388.22/384.56 num=69, depth=5..28, filters=317196, revisions=(7555508,useless=7232993), ccks=1205157315, wck=382.138, mem=61M876
388.22/384.56 decisions=164013, wrong=81291, backtracks=3841, failedAssignments=78842, nogoods=7436
388.22/384.56
458.26/454.53 num=70, depth=4..25, filters=355271, revisions=(8436018,useless=8074263), ccks=1428816383, wck=452.114, mem=97M719
458.26/454.53 decisions=180638, wrong=89592, backtracks=4351, failedAssignments=86739, nogoods=7644
458.26/454.53
631.72/627.88 num=71, depth=7..13, filters=413642, revisions=(10270534,useless=9848215), ccks=1981082405, wck=625.461, mem=72M312
631.72/627.88 decisions=200702, wrong=99618, backtracks=5800, failedAssignments=95426, nogoods=7687
631.72/627.88
664.00/660.07 num=72, depth=5..29, filters=449538, revisions=(11043777,useless=10585003), ccks=2083057992, wck=657.647, mem=85M217
664.00/660.07 decisions=220255, wrong=109382, backtracks=6212, failedAssignments=104981, nogoods=7915
664.00/660.07
706.96/702.97 num=73, depth=9..24, filters=486937, revisions=(11915297,useless=11418119), ccks=2219674388, wck=700.545, mem=75M8
706.96/702.97 decisions=241995, wrong=120243, backtracks=6946, failedAssignments=115492, nogoods=8106
706.96/702.97
743.53/739.41 num=74, depth=12..24, filters=527099, revisions=(12775821,useless=12238252), ccks=2333958471, wck=736.993, mem=73M974
743.53/739.41 decisions=265426, wrong=131949, backtracks=7354, failedAssignments=127054, nogoods=8263
743.53/739.41
781.61/777.48 num=75, depth=8..27, filters=575924, revisions=(13781632,useless=13195074), ccks=2452718062, wck=775.057, mem=31M850
781.61/777.48 decisions=291449, wrong=144948, backtracks=7835, failedAssignments=139772, nogoods=8548
781.61/777.48
831.59/827.37 num=76, depth=11..25, filters=628783, revisions=(14957795,useless=14317620), ccks=2609701332, wck=824.954, mem=71M504
831.59/827.37 decisions=320189, wrong=159309, backtracks=8753, failedAssignments=153762, nogoods=8703
831.59/827.37
878.18/873.89 num=77, depth=14..23, filters=672569, revisions=(16162516,useless=15478020), ccks=2755932885, wck=871.47, mem=76M926
878.18/873.89 decisions=352175, wrong=175291, backtracks=9754, failedAssignments=169151, nogoods=8834
878.18/873.89
932.50/928.01 num=78, depth=10..23, filters=718683, revisions=(17541243,useless=16805466), ccks=2925758524, wck=925.592, mem=73M644
932.50/928.01 decisions=386716, wrong=192553, backtracks=11163, failedAssignments=186079, nogoods=9162
932.50/928.01
981.01/976.46 num=79, depth=8..21, filters=776726, revisions=(19210543,useless=18415753), ccks=3074513672, wck=974.044, mem=66M214
981.01/976.46 decisions=425044, wrong=211709, backtracks=11983, failedAssignments=204700, nogoods=9360
981.01/976.46
1031.92/1027.27 num=80, depth=12..22, filters=840227, revisions=(20921892,useless=20063123), ccks=3230840051, wck=1024.848, mem=29M891
1031.92/1027.27 decisions=466479, wrong=232418, backtracks=12804, failedAssignments=225184, nogoods=9525
1031.92/1027.27
1110.86/1106.03 num=81, depth=10..22, filters=909304, revisions=(22912405,useless=21983167), ccks=3477747828, wck=1103.614, mem=72M713
1110.86/1106.03 decisions=512309, wrong=255325, backtracks=14319, failedAssignments=247716, nogoods=9661
1110.86/1106.03
1198.18/1193.21 num=82, depth=12..20, filters=1001846, revisions=(25654856,useless=24629382), ccks=3744456457, wck=1190.789, mem=78M94
1198.18/1193.21 decisions=564550, wrong=281438, backtracks=16283, failedAssignments=272501, nogoods=9859
1198.18/1193.21
1286.90/1281.89 num=83, depth=6..20, filters=1070272, revisions=(27763071,useless=26668780), ccks=4022060524, wck=1279.471, mem=70M664
1286.90/1281.89 decisions=620078, wrong=309193, backtracks=17819, failedAssignments=299765, nogoods=10016
1286.90/1281.89
1396.15/1390.98 num=84, depth=12..20, filters=1163320, revisions=(30159491,useless=28970153), ccks=4364118167, wck=1388.559, mem=54M662
1396.15/1390.98 decisions=681202, wrong=339748, backtracks=19545, failedAssignments=329755, nogoods=10175
1396.15/1390.98
1468.99/1463.65 num=85, depth=10..28, filters=1269791, revisions=(32829478,useless=31529474), ccks=4586012376, wck=1461.23, mem=36M521
1468.99/1463.65 decisions=748155, wrong=373215, backtracks=21228, failedAssignments=362744, nogoods=10474
1468.99/1463.65
1545.24/1539.72 num=86, depth=8..29, filters=1417808, revisions=(35875435,useless=34426899), ccks=4818345151, wck=1537.3, mem=36M587
1545.24/1539.72 decisions=822459, wrong=410355, backtracks=22644, failedAssignments=399032, nogoods=10749
1545.24/1539.72
1637.38/1631.73 num=87, depth=14..29, filters=1571767, revisions=(39488071,useless=37875831), ccks=5098425189, wck=1629.307, mem=55M904
1637.38/1631.73 decisions=903778, wrong=451002, backtracks=24874, failedAssignments=438949, nogoods=11181
1637.38/1631.73
1788.06/1782.25 num=88, depth=14..24, filters=1720615, revisions=(43729124,useless=41962827), ccks=5566566851, wck=1779.829, mem=69M898
1788.06/1782.25 decisions=994125, wrong=496166, backtracks=27449, failedAssignments=482858, nogoods=11355
1788.06/1782.25
1923.53/1917.55 num=89, depth=12..23, filters=1881462, revisions=(48820914,useless=46888723), ccks=5977285317, wck=1915.132, mem=48M548
1923.53/1917.55 decisions=1095738, wrong=546964, backtracks=31121, failedAssignments=531158, nogoods=11559
1923.53/1917.55
2046.82/2040.63 num=90, depth=10..27, filters=2127298, revisions=(53777804,useless=51597508), ccks=6349618111, wck=2038.212, mem=60M354
2046.82/2040.63 decisions=1204373, wrong=601272, backtracks=33153, failedAssignments=584288, nogoods=11976
2046.82/2040.63
2213.23/2206.81 num=91, depth=8..22, filters=2326318, revisions=(59756688,useless=57364714), ccks=6861365738, wck=2204.394, mem=55M96
2213.23/2206.81 decisions=1326123, wrong=662137, backtracks=38022, failedAssignments=642731, nogoods=12095
2213.23/2206.81
2423.05/2416.49 num=92, depth=6..24, filters=2554439, revisions=(64993016,useless=62370452), ccks=7518642245, wck=2414.073, mem=48M712
2423.05/2416.49 decisions=1457228, wrong=727682, backtracks=40388, failedAssignments=707018, nogoods=12237
2423.05/2416.49
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 (13348 MiB free)
memory of node 1: 16384 MiB (15633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390466-1568387877/watcher-4390466-1568387877 -o /tmp/evaluation-result-4390466-1568387877/solver-4390466-1568387877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390466-1568387877.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=1599, runsolver pid=1596
[startup+0.100154 s]*
/proc/loadavg: 1.73 1.73 1.81 4/228 1614
/proc/meminfo: memFree=29661028/32770624 swapFree=66981484/67108860
[pid=1599] ppid=1596 vsize=10659884 memory=29004 CPUtime=0.13 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 5726 0 0 0 12 1 0 0 20 0 15 0 415050351 10915721216 7251 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2664971 7251 2910 1 0 2627468 0
[pid=1599/tid=1601] ppid=1596 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) R 1596 1599 30397 0 -1 4202560 3305 0 0 0 9 0 0 0 20 0 15 0 415050352 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723524570376 139723520351638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723078436256 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723077383664 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0.02 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) R 1596 1599 30397 0 -1 4202560 552 0 0 0 2 0 0 0 20 0 15 0 415050357 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723073170648 139723499738271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 7449 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29004 KiB
[startup+0.210637 s]*
/proc/loadavg: 1.73 1.73 1.81 3/228 1614
/proc/meminfo: memFree=29650704/32770624 swapFree=66981484/67108860
[pid=1599] ppid=1596 vsize=10659884 memory=37020 CPUtime=0.33 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 9004 0 0 0 30 3 0 0 20 0 15 0 415050351 10915721216 9255 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2664971 9255 2989 1 0 2627468 0
[pid=1599/tid=1601] ppid=1596 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) R 1596 1599 30397 0 -1 4202560 6100 0 0 0 18 2 0 0 20 0 15 0 415050352 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723524566064 139723520361629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10659884 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10659884 memory=3762390652186998432 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723078436256 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723077383664 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 415050357 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 360 0 0 0 3 0 0 0 20 0 15 0 415050357 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0.05 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 584 0 0 0 5 0 0 0 20 0 15 0 415050357 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10659884 memory=139814201931392 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 9255 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37020 KiB
[startup+0.30997 s]*
/proc/loadavg: 1.73 1.73 1.81 4/228 1614
/proc/meminfo: memFree=29648160/32770624 swapFree=66981484/67108860
[pid=1599] ppid=1596 vsize=10659884 memory=40076 CPUtime=0.47 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 9231 0 0 0 44 3 0 0 20 0 15 0 415050351 10915721216 10019 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2664971 10019 3032 1 0 2627468 0
[pid=1599/tid=1601] ppid=1596 vsize=10659884 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) R 1596 1599 30397 0 -1 4202560 6249 0 0 0 28 2 0 0 20 0 15 0 415050352 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723524576288 139723520351638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10659884 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050352 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723078436256 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10659884 memory=139814070495727 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415050354 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723077383664 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 609 0 0 0 3 0 0 0 20 0 15 0 415050357 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10659884 memory=139814070481935 CPUtime=0.04 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 401 0 0 0 4 0 0 0 20 0 15 0 415050357 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10659884 memory=279628272422496 CPUtime=0.07 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 619 0 0 0 7 0 0 0 20 0 15 0 415050357 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10659884 memory=139814070486543 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10659884 memory=139814201931404 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050357 10915721216 10019 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40076 KiB
[startup+0.700789 s]
/proc/loadavg: 1.73 1.73 1.81 3/228 1614
/proc/meminfo: memFree=29637520/32770624 swapFree=66981484/67108860
[pid=1599] ppid=1596 vsize=10661932 memory=63556 CPUtime=1.12 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 12901 0 0 0 106 6 0 0 20 0 15 0 415050351 10917818368 15889 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2665483 15889 3074 1 0 2627980 0
[pid=1599/tid=1601] ppid=1596 vsize=10661932 memory=146711787870629 CPUtime=0.68 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) R 1596 1599 30397 0 -1 4202560 8804 0 0 0 64 4 0 0 20 0 15 0 415050352 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723524556640 139723501903263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10661932 memory=2998389 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050352 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050354 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415050354 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723078436256 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415050354 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723077383664 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10661932 memory=664970774371478939 CPUtime=0.09 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 955 0 0 0 9 0 0 0 20 0 15 0 415050357 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10661932 memory=-6305718286698570368 CPUtime=0.12 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) R 1596 1599 30397 0 -1 4202560 686 0 0 0 12 0 0 0 20 0 15 0 415050357 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723074212384 139723501885051 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 1097 0 0 0 18 0 0 0 20 0 15 0 415050357 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415050357 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050357 10917818368 15889 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63556 KiB
[startup+1.50075 s]
/proc/loadavg: 1.73 1.73 1.81 3/228 1614
/proc/meminfo: memFree=29621204/32770624 swapFree=66981484/67108860
[pid=1599] ppid=1596 vsize=10663980 memory=75808 CPUtime=2 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 18479 0 0 0 194 6 0 0 20 0 15 0 415050351 10919915520 18952 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2665995 18952 3097 1 0 2628492 0
[pid=1599/tid=1601] ppid=1596 vsize=10663980 memory=279628141238208 CPUtime=1.48 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) R 1596 1599 30397 0 -1 4202560 13028 0 0 0 144 4 0 0 20 0 15 0 415050352 10919915520 18952 33554432000 4194304 4196468 140727318076208 139723524579984 139723500615506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10663980 memory=7669187506292086639 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10919915520 18952 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10663980 memory=5787495379064864864 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10919915520 18952 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10663980 memory=7019606902145034193 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415050352 10919915520 18952 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10663980 memory=4294969536 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415050352 10919915520 18952 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10663980 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 415050354 10919915520 18952 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
################
# More data... #
################
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 3462 0 0 0 106 4 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.5 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 5196 0 0 0 45 5 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723078436320 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723077383680 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.19 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 11015 0 0 0 117 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10748324 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 10374 0 0 0 119 1 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.7 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 8979 0 0 0 68 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.48 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1069 0 0 0 20 28 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1615] ppid=1596 vsize=10748324 memory=196836 CPUtime=2438.57 cores=1,3,5,7
/proc/1599/task/1615/stat : 1615 (java) R 1596 1599 30397 0 -1 4202560 17399 0 0 0 243852 5 0 0 20 0 16 0 415050538 11006283776 49209 33554432000 4194304 4196468 140727318076208 139722986880784 139723161411412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 2449 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 196836 KiB
[startup+2502.3 s]
/proc/loadavg: 0.87 0.80 0.94 2/207 1894
/proc/meminfo: memFree=31387188/32770624 swapFree=66981512/67108860
[pid=1599] ppid=1596 vsize=10748324 memory=196836 CPUtime=2509.08 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 89508 0 0 0 250850 58 0 0 20 0 16 0 415050351 11006283776 49209 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2687081 49209 3384 1 0 2647217 0
[pid=1599/tid=1601] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.85 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) S 1596 1599 30397 0 -1 1077944384 15274 0 0 0 180 5 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723524582576 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.12 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 5062 0 0 0 109 3 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.13 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 2706 0 0 0 110 3 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.13 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 7480 0 0 0 108 5 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.12 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 3463 0 0 0 108 4 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.51 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 5200 0 0 0 46 5 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723078436320 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723077383680 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.19 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 11015 0 0 0 117 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.2 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 10374 0 0 0 119 1 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.7 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 8979 0 0 0 68 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10748324 memory=19840 CPUtime=0.49 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1073 0 0 0 21 28 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1615] ppid=1596 vsize=10748324 memory=0 CPUtime=2498.53 cores=1,3,5,7
/proc/1599/task/1615/stat : 1615 (java) R 1596 1599 30397 0 -1 4202560 17440 0 0 0 249848 5 0 0 20 0 16 0 415050538 11006283776 49209 33554432000 4194304 4196468 140727318076208 139722986880784 139723161240327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 2509.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 196836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 0.89 0.81 0.95 2/207 1894
/proc/meminfo: memFree=31387188/32770624 swapFree=66981512/67108860
[pid=1599] ppid=1596 vsize=10748324 memory=196836 CPUtime=2520.09 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 89514 0 0 0 251951 58 0 0 20 0 16 0 415050351 11006283776 49209 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2687081 49209 3384 1 0 2647217 0
[pid=1599/tid=1601] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.85 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) S 1596 1599 30397 0 -1 1077944384 15274 0 0 0 180 5 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723524582576 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.12 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 5062 0 0 0 109 3 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.13 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 2706 0 0 0 110 3 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.13 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 7480 0 0 0 108 5 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.12 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 3463 0 0 0 108 4 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.52 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 5202 0 0 0 47 5 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723078436320 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723077383680 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10748324 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10748324 memory=279628141109856 CPUtime=1.19 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 11015 0 0 0 117 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10748324 memory=6656426216303648864 CPUtime=1.2 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 10374 0 0 0 119 1 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.7 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 8979 0 0 0 68 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10748324 memory=8112282956445269571 CPUtime=0.49 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1073 0 0 0 21 28 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1615] ppid=1596 vsize=10748324 memory=7972 CPUtime=2509.53 cores=1,3,5,7
/proc/1599/task/1615/stat : 1615 (java) R 1596 1599 30397 0 -1 4202560 17444 0 0 0 250948 5 0 0 20 0 16 0 415050538 11006283776 49209 33554432000 4194304 4196468 140727318076208 139722986880784 139723155990824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 196836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.31 s]
# the end of solver process 1599 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.52 s, system=0.593155 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 0.89 0.81 0.95 2/207 1894
/proc/meminfo: memFree=31387188/32770624 swapFree=66981512/67108860
[pid=1599] ppid=1596 vsize=10748324 memory=196836 CPUtime=2520.09 cores=1,3,5,7
/proc/1599/stat : 1599 (java) S 1596 1599 30397 0 -1 1077944320 89514 0 0 0 251951 58 0 0 20 0 16 0 415050351 11006283776 49209 33554432000 4194304 4196468 140727318076208 140727318058752 139723520339703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
/proc/1599/statm: 2687081 49209 3384 1 0 2647217 0
[pid=1599/tid=1601] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.85 cores=1,3,5,7
/proc/1599/task/1601/stat : 1601 (java) S 1596 1599 30397 0 -1 1077944384 15274 0 0 0 180 5 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723524582576 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1602] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.12 cores=1,3,5,7
/proc/1599/task/1602/stat : 1602 (java) S 1596 1599 30397 0 -1 1077944384 5062 0 0 0 109 3 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723476891920 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1603] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.13 cores=1,3,5,7
/proc/1599/task/1603/stat : 1603 (java) S 1596 1599 30397 0 -1 1077944384 2706 0 0 0 110 3 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723475839376 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1604] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.13 cores=1,3,5,7
/proc/1599/task/1604/stat : 1604 (java) S 1596 1599 30397 0 -1 1077944384 7480 0 0 0 108 5 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723474786832 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1605] ppid=1596 vsize=10748324 memory=196836 CPUtime=1.12 cores=1,3,5,7
/proc/1599/task/1605/stat : 1605 (java) S 1596 1599 30397 0 -1 1077944384 3463 0 0 0 108 4 0 0 20 0 16 0 415050352 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723124169360 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1606] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.52 cores=1,3,5,7
/proc/1599/task/1606/stat : 1606 (java) S 1596 1599 30397 0 -1 1077944384 5202 0 0 0 47 5 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723079490032 139723520350850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1607] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1607/stat : 1607 (java) S 1596 1599 30397 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723078436320 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1608] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1608/stat : 1608 (java) S 1596 1599 30397 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415050354 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723077383680 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1609] ppid=1596 vsize=10748324 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1609/stat : 1609 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723076332240 139723520358299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1610] ppid=1596 vsize=10748324 memory=279628141109856 CPUtime=1.19 cores=1,3,5,7
/proc/1599/task/1610/stat : 1610 (java) S 1596 1599 30397 0 -1 1077944384 11015 0 0 0 117 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723075278832 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1611] ppid=1596 vsize=10748324 memory=6656426216303648864 CPUtime=1.2 cores=1,3,5,7
/proc/1599/task/1611/stat : 1611 (java) S 1596 1599 30397 0 -1 1077944384 10374 0 0 0 119 1 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723074226288 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1612] ppid=1596 vsize=10748324 memory=196836 CPUtime=0.7 cores=1,3,5,7
/proc/1599/task/1612/stat : 1612 (java) S 1596 1599 30397 0 -1 1077944384 8979 0 0 0 68 2 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723073173744 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1613] ppid=1596 vsize=10748324 memory=196836 CPUtime=0 cores=1,3,5,7
/proc/1599/task/1613/stat : 1613 (java) S 1596 1599 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723072121440 139723520349909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1614] ppid=1596 vsize=10748324 memory=8112282956445269571 CPUtime=0.49 cores=1,3,5,7
/proc/1599/task/1614/stat : 1614 (java) S 1596 1599 30397 0 -1 1077944384 1073 0 0 0 21 28 0 0 20 0 16 0 415050357 11006283776 49209 33554432000 4194304 4196468 140727318076208 139723003652912 139723520350850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
[pid=1599/tid=1615] ppid=1596 vsize=10748324 memory=7972 CPUtime=2509.53 cores=1,3,5,7
/proc/1599/task/1615/stat : 1615 (java) R 1596 1599 30397 0 -1 4202560 17444 0 0 0 250948 5 0 0 20 0 16 0 415050538 11006283776 49209 33554432000 4194304 4196468 140727318076208 139722986880784 139723155990824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140727318082571 140727318082674 140727318082674 140727318085583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 196836 KiB
Child status: 143
Real time (s): 2513.31
CPU time (s): 2520.11
CPU user time (s): 2519.52
CPU system time (s): 0.593155
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 254692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.593155
maximum resident set size= 255720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68518
involuntary context switches= 1238
# summary of solver processes directly reported to runsolver:
# pid: 1599
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.52
# total CPU system time (s): 0.593155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1231 second user time and 20.2554 second system time
The end