2.75/2.15	
2.75/2.15	AbsCon 2 
2.75/2.17	
3.15/2.33	  Instance
3.15/2.33	    name=instance-4391060-1568381157, framework=COP, bounds=-infty..+infty
3.15/2.33	
3.15/2.33	  Loading variables...
3.15/2.39	  Loading constraints...
3.64/2.52	
3.64/2.52	  Domains
3.64/2.52	    nTypes=2, nValues=52514, sizes=[500#91,501#14]
3.64/2.52	  Variables
3.64/2.52	    count=105, degrees=[2#91,14#12,15#2]
3.64/2.52	  Objectives
3.64/2.52	    way=min, type=ObjVarLE
3.64/2.52	  Constraints
3.64/2.52	    count=95, nSpecific=3, arities=[1#2,3#91,14#1,91#1]
3.64/2.52	    distribution=[AllDifferent#1,CtrIntension#92,ObjVarLE#1,OrderedLT#1]
3.64/2.52	    nIntStructures=(2,shared:90)
3.64/2.52	    wck=0.41, cpu=2.459, mem=29M157
3.64/2.53	  Solver SolverBacktrack being built...
3.64/2.53	
3.64/2.56	
3.64/2.56	  Solver
3.64/2.56	    guaranteedGAC=false
3.64/2.56	    wck=0.449, cpu=2.495, mem=42M652
3.64/2.59	
3.64/2.59	  Preprocessing
3.64/2.59	    filters=2, revisions=(1,useless=0), ccks=501, nACremovedValues=669, nTotalRemovedValues=669, inconcistency=false
3.64/2.59	    wck=0.031, cpu=2.526, mem=42M652
3.64/2.59	
5.53/3.99	o 181
5.53/4.00	    num=0, depth=106..104, filters=616, revisions=(869,useless=217), ccks=11854370, wck=1.446, mem=45M294
5.53/4.00	    decisions=13, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=181
5.53/4.00	    
6.34/4.65	    num=1, depth=1..12, filters=1376, revisions=(1898,useless=444), ccks=16714589, wck=2.094, mem=45M294
6.34/4.65	    decisions=47, wrong=11, backtracks=0, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=181
6.34/4.65	    
6.34/4.67	    num=2, depth=0..0, filters=1387, revisions=(1909,useless=444), ccks=16716437, wck=2.112, mem=45M294
6.34/4.67	    decisions=69, wrong=22, backtracks=0, failedAssignments=22, nogoods=11, foundSolutions=1, bestBound=181
6.34/4.67	    
6.43/4.83	    num=3, depth=2..2, filters=1481, revisions=(2081,useless=525), ccks=16762492, wck=2.267, mem=45M294
6.43/4.83	    decisions=95, wrong=34, backtracks=0, failedAssignments=34, nogoods=23, foundSolutions=1, bestBound=181
6.43/4.83	    
6.77/5.20	    num=4, depth=0..2, filters=1582, revisions=(2277,useless=595), ccks=19791404, wck=2.637, mem=47M937
6.77/5.20	    decisions=123, wrong=47, backtracks=1, failedAssignments=47, nogoods=33, foundSolutions=1, bestBound=181
6.77/5.20	    
6.96/5.40	    num=5, depth=1..4, filters=1628, revisions=(2363,useless=621), ccks=21540901, wck=2.837, mem=47M937
6.96/5.40	    decisions=155, wrong=61, backtracks=1, failedAssignments=61, nogoods=47, foundSolutions=1, bestBound=181
6.96/5.40	    
7.74/6.10	    num=6, depth=0..2, filters=2349, revisions=(3131,useless=632), ccks=27324096, wck=3.537, mem=47M937
7.74/6.10	    decisions=189, wrong=77, backtracks=1, failedAssignments=77, nogoods=53, foundSolutions=1, bestBound=181
7.74/6.10	    
9.19/7.46	    num=7, depth=0..3, filters=2860, revisions=(3875,useless=785), ccks=39202797, wck=4.899, mem=50M579
9.19/7.46	    decisions=226, wrong=94, backtracks=2, failedAssignments=94, nogoods=67, foundSolutions=1, bestBound=181
9.19/7.46	    
10.24/8.42	    num=8, depth=1..3, filters=3357, revisions=(4551,useless=932), ccks=47556549, wck=5.862, mem=53M222
10.24/8.42	    decisions=266, wrong=113, backtracks=4, failedAssignments=113, nogoods=76, foundSolutions=1, bestBound=181
10.24/8.42	    
10.54/8.72	    num=9, depth=1..3, filters=3706, revisions=(4960,useless=1019), ccks=49455239, wck=6.157, mem=53M222
10.54/8.72	    decisions=309, wrong=134, backtracks=6, failedAssignments=134, nogoods=80, foundSolutions=1, bestBound=181
10.54/8.72	    
11.15/9.30	    num=10, depth=1..3, filters=4038, revisions=(5420,useless=1142), ccks=54364804, wck=6.738, mem=53M222
11.15/9.30	    decisions=356, wrong=157, backtracks=8, failedAssignments=157, nogoods=90, foundSolutions=1, bestBound=181
11.15/9.30	    
11.25/9.48	    num=11, depth=1..3, filters=4165, revisions=(5644,useless=1233), ccks=55843740, wck=6.925, mem=55M864
11.25/9.48	    decisions=409, wrong=182, backtracks=8, failedAssignments=182, nogoods=115, foundSolutions=1, bestBound=181
11.25/9.48	    
12.66/10.84	    num=12, depth=0..4, filters=4889, revisions=(6586,useless=1392), ccks=67874678, wck=8.284, mem=55M864
12.66/10.84	    decisions=468, wrong=210, backtracks=10, failedAssignments=210, nogoods=133, foundSolutions=1, bestBound=181
12.66/10.84	    
13.36/11.57	    num=13, depth=1..4, filters=5392, revisions=(7333,useless=1622), ccks=74040117, wck=9.008, mem=58M507
13.36/11.57	    decisions=532, wrong=241, backtracks=13, failedAssignments=241, nogoods=156, foundSolutions=1, bestBound=181
13.36/11.57	    
13.58/11.72	    num=14, depth=3..3, filters=5461, revisions=(7444,useless=1658), ccks=75076397, wck=9.157, mem=58M507
13.58/11.72	    decisions=603, wrong=275, backtracks=13, failedAssignments=275, nogoods=190, foundSolutions=1, bestBound=181
13.58/11.72	    
14.51/12.63	    num=15, depth=0..3, filters=6443, revisions=(8659,useless=1898), ccks=83097785, wck=10.073, mem=61M149
14.51/12.63	    decisions=680, wrong=312, backtracks=13, failedAssignments=312, nogoods=219, foundSolutions=1, bestBound=181
14.51/12.63	    
16.51/14.61	    num=16, depth=0..3, filters=7604, revisions=(10289,useless=2304), ccks=100029585, wck=12.051, mem=63M791
16.51/14.61	    decisions=764, wrong=353, backtracks=17, failedAssignments=353, nogoods=239, foundSolutions=1, bestBound=181
16.51/14.61	    
19.05/17.12	    num=17, depth=1..3, filters=8869, revisions=(12067,useless=2691), ccks=122848032, wck=14.558, mem=69M76
19.05/17.12	    decisions=859, wrong=399, backtracks=19, failedAssignments=398, nogoods=270, foundSolutions=1, bestBound=181
19.05/17.12	    
19.35/17.48	    num=18, depth=1..6, filters=9409, revisions=(12880,useless=2961), ccks=125810410, wck=14.923, mem=71M719
19.35/17.48	    decisions=964, wrong=449, backtracks=19, failedAssignments=448, nogoods=320, foundSolutions=1, bestBound=181
19.35/17.48	    
20.35/18.43	    num=19, depth=0..2, filters=10566, revisions=(14050,useless=3029), ccks=130384972, wck=15.869, mem=71M719
20.35/18.43	    decisions=1076, wrong=504, backtracks=19, failedAssignments=503, nogoods=374, foundSolutions=1, bestBound=181
20.35/18.43	    
21.06/19.13	    num=20, depth=1..8, filters=11558, revisions=(15389,useless=3367), ccks=135628469, wck=16.573, mem=74M361
21.06/19.13	    decisions=1206, wrong=565, backtracks=23, failedAssignments=564, nogoods=425, foundSolutions=1, bestBound=181
21.06/19.13	    
22.65/20.77	    num=21, depth=0..8, filters=13341, revisions=(17730,useless=3916), ccks=149315706, wck=18.21, mem=79M646
22.65/20.77	    decisions=1347, wrong=632, backtracks=25, failedAssignments=631, nogoods=482, foundSolutions=1, bestBound=181
22.65/20.77	    
23.85/21.97	    num=22, depth=0..2, filters=14933, revisions=(19329,useless=3994), ccks=154879280, wck=19.409, mem=79M646
23.85/21.97	    decisions=1497, wrong=706, backtracks=25, failedAssignments=705, nogoods=551, foundSolutions=1, bestBound=181
23.85/21.97	    
24.99/23.09	    num=23, depth=0..11, filters=16183, revisions=(20960,useless=4334), ccks=164412713, wck=20.53, mem=82M288
24.99/23.09	    decisions=1669, wrong=787, backtracks=27, failedAssignments=786, nogoods=628, foundSolutions=1, bestBound=181
24.99/23.09	    
25.78/23.87	    num=24, depth=0..2, filters=16960, revisions=(21802,useless=4373), ccks=170727842, wck=21.31, mem=82M288
25.78/23.87	    decisions=1849, wrong=876, backtracks=27, failedAssignments=875, nogoods=706, foundSolutions=1, bestBound=181
25.78/23.87	    
30.89/28.96	    num=25, depth=2..7, filters=22373, revisions=(28922,useless=5804), ccks=213814471, wck=26.403, mem=92M858
30.89/28.96	    decisions=2058, wrong=977, backtracks=32, failedAssignments=973, nogoods=786, foundSolutions=1, bestBound=181
30.89/28.96	    
34.49/32.57	    num=26, depth=0..9, filters=26330, revisions=(34046,useless=6778), ccks=246142577, wck=30.007, mem=100M785
34.49/32.57	    decisions=2291, wrong=1089, backtracks=39, failedAssignments=1081, nogoods=873, foundSolutions=1, bestBound=181
34.49/32.57	    
37.90/35.96	    num=27, depth=0..7, filters=30039, revisions=(38969,useless=7734), ccks=275839488, wck=33.396, mem=108M713
37.90/35.96	    decisions=2545, wrong=1213, backtracks=50, failedAssignments=1200, nogoods=940, foundSolutions=1, bestBound=181
37.90/35.96	    
42.09/40.03	    num=28, depth=0..7, filters=34032, revisions=(44396,useless=8884), ccks=312554803, wck=37.467, mem=119M282
42.09/40.03	    decisions=2822, wrong=1349, backtracks=61, failedAssignments=1331, nogoods=1001, foundSolutions=1, bestBound=181
42.09/40.03	    
45.68/43.69	    num=29, depth=0..9, filters=38216, revisions=(49985,useless=10118), ccks=344176869, wck=41.127, mem=129M852
45.68/43.69	    decisions=3125, wrong=1496, backtracks=73, failedAssignments=1475, nogoods=1083, foundSolutions=1, bestBound=181
45.68/43.69	    
50.10/48.05	    num=30, depth=1..9, filters=42303, revisions=(55527,useless=11313), ccks=382646152, wck=45.493, mem=140M422
50.10/48.05	    decisions=3452, wrong=1655, backtracks=79, failedAssignments=1633, nogoods=1205, foundSolutions=1, bestBound=181
50.10/48.05	    
51.62/49.58	    num=31, depth=0..6, filters=43925, revisions=(57725,useless=11822), ccks=395315451, wck=47.019, mem=29M467
51.62/49.58	    decisions=3806, wrong=1829, backtracks=82, failedAssignments=1807, nogoods=1370, foundSolutions=1, bestBound=181
51.62/49.58	    
56.02/53.91	    num=32, depth=1..5, filters=48000, revisions=(62632,useless=12587), ccks=424502587, wck=51.354, mem=37M314
56.02/53.91	    decisions=4195, wrong=2021, backtracks=87, failedAssignments=1998, nogoods=1415, foundSolutions=1, bestBound=181
56.02/53.91	    
59.62/57.57	    num=33, depth=0..9, filters=51664, revisions=(67586,useless=13683), ccks=456355832, wck=55.01, mem=47M778
59.62/57.57	    decisions=4634, wrong=2236, backtracks=98, failedAssignments=2209, nogoods=1571, foundSolutions=1, bestBound=181
59.62/57.57	    
60.62/58.50	    num=34, depth=2..10, filters=53903, revisions=(70322,useless=14154), ccks=463740647, wck=55.946, mem=50M394
60.62/58.50	    decisions=5109, wrong=2469, backtracks=101, failedAssignments=2441, nogoods=1797, foundSolutions=1, bestBound=181
60.62/58.50	    
61.53/59.44	    num=35, depth=0..7, filters=55130, revisions=(71858,useless=14439), ccks=470458600, wck=56.88, mem=53M10
61.53/59.44	    decisions=5626, wrong=2724, backtracks=103, failedAssignments=2696, nogoods=2044, foundSolutions=1, bestBound=181
61.53/59.44	    
63.93/61.80	    num=36, depth=1..11, filters=57020, revisions=(74287,useless=14913), ccks=490752340, wck=59.241, mem=58M242
63.93/61.80	    decisions=6199, wrong=3005, backtracks=108, failedAssignments=2977, nogoods=2309, foundSolutions=1, bestBound=181
63.93/61.80	    
65.03/62.92	    num=37, depth=1..9, filters=58280, revisions=(75845,useless=15207), ccks=499551073, wck=60.357, mem=58M242
65.03/62.92	    decisions=6828, wrong=3315, backtracks=110, failedAssignments=3286, nogoods=2614, foundSolutions=1, bestBound=181
65.03/62.92	    
66.33/64.25	    num=38, depth=1..10, filters=59623, revisions=(77528,useless=15519), ccks=510399081, wck=61.693, mem=60M858
66.33/64.25	    decisions=7518, wrong=3655, backtracks=113, failedAssignments=3626, nogoods=2948, foundSolutions=1, bestBound=181
66.33/64.25	    
75.66/73.58	    num=39, depth=0..13, filters=68023, revisions=(87638,useless=16914), ccks=577691654, wck=71.017, mem=81M786
75.66/73.58	    decisions=8279, wrong=4029, backtracks=117, failedAssignments=4000, nogoods=2994, foundSolutions=1, bestBound=181
75.66/73.58	    
77.06/74.90	    num=40, depth=1..12, filters=69424, revisions=(89388,useless=17220), ccks=588350536, wck=72.338, mem=84M402
77.06/74.90	    decisions=9113, wrong=4440, backtracks=120, failedAssignments=4411, nogoods=3397, foundSolutions=1, bestBound=181
77.06/74.90	    
78.86/76.73	o 176
78.86/76.73	    num=41, depth=1..104, filters=72273, revisions=(93038,useless=17952), ccks=603329519, wck=74.17, mem=87M18
78.86/76.73	    decisions=9788, wrong=4769, backtracks=127, failedAssignments=4740, nogoods=3711, foundSolutions=2, bestBound=176
78.86/76.73	    
80.42/78.25	    num=42, depth=1..7, filters=73750, revisions=(94901,useless=18288), ccks=614244795, wck=75.687, mem=89M634
80.42/78.25	    decisions=10788, wrong=5266, backtracks=130, failedAssignments=5237, nogoods=3767, foundSolutions=2, bestBound=176
80.42/78.25	    
80.72/78.58	    num=43, depth=0..3, filters=74189, revisions=(95413,useless=18345), ccks=616711256, wck=76.021, mem=89M634
80.72/78.58	    decisions=10813, wrong=5277, backtracks=131, failedAssignments=5248, nogoods=3775, foundSolutions=2, bestBound=176
80.72/78.58	    
81.47/79.27	    num=44, depth=0..5, filters=74620, revisions=(96048,useless=18497), ccks=622991676, wck=76.715, mem=92M250
81.47/79.27	    decisions=10842, wrong=5289, backtracks=132, failedAssignments=5260, nogoods=3784, foundSolutions=2, bestBound=176
81.47/79.27	    
82.17/79.97	    num=45, depth=0..2, filters=74933, revisions=(96526,useless=18620), ccks=629180815, wck=77.414, mem=92M250
82.17/79.97	    decisions=10871, wrong=5303, backtracks=134, failedAssignments=5273, nogoods=3794, foundSolutions=2, bestBound=176
82.17/79.97	    
82.77/80.59	    num=46, depth=0..6, filters=75435, revisions=(97203,useless=18771), ccks=634216701, wck=78.027, mem=94M866
82.77/80.59	    decisions=10905, wrong=5317, backtracks=136, failedAssignments=5287, nogoods=3805, foundSolutions=2, bestBound=176
82.77/80.59	    
83.77/81.57	    num=47, depth=0..2, filters=75925, revisions=(97906,useless=18949), ccks=642881045, wck=79.015, mem=97M482
83.77/81.57	    decisions=10939, wrong=5333, backtracks=141, failedAssignments=5303, nogoods=3806, foundSolutions=2, bestBound=176
83.77/81.57	    
84.47/82.25	    num=48, depth=0..5, filters=76480, revisions=(98669,useless=19104), ccks=648552362, wck=79.693, mem=97M482
84.47/82.25	    decisions=10978, wrong=5350, backtracks=143, failedAssignments=5320, nogoods=3820, foundSolutions=2, bestBound=176
84.47/82.25	    
85.57/83.34	    num=49, depth=0..2, filters=76970, revisions=(99420,useless=19286), ccks=658354567, wck=80.783, mem=100M98
85.57/83.34	    decisions=11020, wrong=5370, backtracks=145, failedAssignments=5339, nogoods=3836, foundSolutions=2, bestBound=176
85.57/83.34	    
86.28/84.01	    num=50, depth=3..8, filters=77794, revisions=(100526,useless=19506), ccks=664221889, wck=81.453, mem=102M714
86.28/84.01	    decisions=11070, wrong=5391, backtracks=145, failedAssignments=5360, nogoods=3857, foundSolutions=2, bestBound=176
86.28/84.01	    
87.74/85.42	    num=51, depth=0..3, filters=78552, revisions=(101629,useless=19772), ccks=676591905, wck=82.858, mem=105M330
87.74/85.42	    decisions=11123, wrong=5416, backtracks=148, failedAssignments=5383, nogoods=3876, foundSolutions=2, bestBound=176
87.74/85.42	    
88.14/85.80	    num=52, depth=6..9, filters=79209, revisions=(102511,useless=19962), ccks=679734532, wck=83.243, mem=105M330
88.14/85.80	    decisions=11184, wrong=5442, backtracks=149, failedAssignments=5408, nogoods=3899, foundSolutions=2, bestBound=176
88.14/85.80	    
88.75/86.43	    num=53, depth=2..7, filters=79952, revisions=(103549,useless=20201), ccks=684996179, wck=83.875, mem=107M946
88.75/86.43	    decisions=11246, wrong=5470, backtracks=151, failedAssignments=5436, nogoods=3923, foundSolutions=2, bestBound=176
88.75/86.43	    
89.95/87.66	    num=54, depth=0..3, filters=80760, revisions=(104698,useless=20479), ccks=695457433, wck=85.105, mem=110M562
89.95/87.66	    decisions=11312, wrong=5502, backtracks=154, failedAssignments=5467, nogoods=3949, foundSolutions=2, bestBound=176
89.95/87.66	    
90.55/88.21	    num=55, depth=7..10, filters=81973, revisions=(106316,useless=20845), ccks=700127919, wck=85.652, mem=110M562
90.55/88.21	    decisions=11392, wrong=5537, backtracks=156, failedAssignments=5501, nogoods=3980, foundSolutions=2, bestBound=176
90.55/88.21	    
92.85/90.52	    num=56, depth=0..1, filters=83048, revisions=(107684,useless=20969), ccks=723252608, wck=87.962, mem=115M794
92.85/90.52	    decisions=11467, wrong=5574, backtracks=156, failedAssignments=5538, nogoods=4010, foundSolutions=2, bestBound=176
92.85/90.52	    
93.25/90.95	    num=57, depth=7..12, filters=83743, revisions=(108648,useless=21201), ccks=726881858, wck=88.391, mem=115M794
93.25/90.95	    decisions=11563, wrong=5616, backtracks=158, failedAssignments=5579, nogoods=4050, foundSolutions=2, bestBound=176
93.25/90.95	    
95.87/93.58	    num=58, depth=0..1, filters=84946, revisions=(110225,useless=21307), ccks=753164460, wck=91.025, mem=121M26
95.87/93.58	    decisions=11654, wrong=5661, backtracks=158, failedAssignments=5624, nogoods=4085, foundSolutions=2, bestBound=176
95.87/93.58	    
96.38/94.03	    num=59, depth=7..13, filters=85674, revisions=(111241,useless=21560), ccks=756987067, wck=91.475, mem=121M26
96.38/94.03	    decisions=11769, wrong=5712, backtracks=159, failedAssignments=5674, nogoods=4134, foundSolutions=2, bestBound=176
96.38/94.03	    
96.67/94.39	    num=60, depth=6..10, filters=86265, revisions=(112040,useless=21738), ccks=759806243, wck=91.834, mem=123M642
96.67/94.39	    decisions=11891, wrong=5768, backtracks=160, failedAssignments=5729, nogoods=4187, foundSolutions=2, bestBound=176
96.67/94.39	    
97.07/94.77	    num=61, depth=6..14, filters=86874, revisions=(112876,useless=21933), ccks=762739116, wck=92.207, mem=123M642
97.07/94.77	    decisions=12029, wrong=5830, backtracks=161, failedAssignments=5790, nogoods=4246, foundSolutions=2, bestBound=176
97.07/94.77	    
100.38/98.02	    num=62, depth=1..1, filters=88286, revisions=(114996,useless=22108), ccks=795231004, wck=95.458, mem=131M490
100.38/98.02	    decisions=12164, wrong=5897, backtracks=161, failedAssignments=5857, nogoods=4313, foundSolutions=2, bestBound=176
100.38/98.02	    
101.67/99.38	    num=63, depth=0..11, filters=89906, revisions=(117141,useless=22623), ccks=807302473, wck=96.818, mem=134M106
101.67/99.38	    decisions=12325, wrong=5972, backtracks=167, failedAssignments=5931, nogoods=4374, foundSolutions=2, bestBound=176
101.67/99.38	    
106.57/104.26	    num=64, depth=0..1, filters=91871, revisions=(119900,useless=22844), ccks=856282560, wck=101.699, mem=141M954
106.57/104.26	    decisions=12488, wrong=6053, backtracks=167, failedAssignments=6012, nogoods=4447, foundSolutions=2, bestBound=176
106.57/104.26	    
107.27/104.91	    num=65, depth=2..7, filters=92779, revisions=(121075,useless=23085), ccks=861618902, wck=102.352, mem=144M569
107.27/104.91	    decisions=12673, wrong=6142, backtracks=167, failedAssignments=6101, nogoods=4536, foundSolutions=2, bestBound=176
107.27/104.91	    
107.87/105.57	    num=66, depth=2..9, filters=93950, revisions=(122614,useless=23428), ccks=866850170, wck=103.007, mem=147M185
107.87/105.57	    decisions=12878, wrong=6240, backtracks=168, failedAssignments=6199, nogoods=4633, foundSolutions=2, bestBound=176
107.87/105.57	    
113.98/111.69	    num=67, depth=1..1, filters=96113, revisions=(125856,useless=24186), ccks=928496377, wck=109.13, mem=157M649
113.98/111.69	    decisions=13095, wrong=6348, backtracks=168, failedAssignments=6307, nogoods=4741, foundSolutions=2, bestBound=176
113.98/111.69	    
114.39/112.06	    num=68, depth=7..7, filters=96501, revisions=(126383,useless=24308), ccks=931360303, wck=109.505, mem=158M971
114.39/112.06	    decisions=13340, wrong=6467, backtracks=168, failedAssignments=6426, nogoods=4860, foundSolutions=2, bestBound=176
114.39/112.06	    
114.80/112.45	    num=69, depth=7..8, filters=96982, revisions=(127025,useless=24450), ccks=934074614, wck=109.887, mem=29M877
114.80/112.45	    decisions=13610, wrong=6598, backtracks=168, failedAssignments=6557, nogoods=4991, foundSolutions=2, bestBound=176
114.80/112.45	    
116.20/113.86	    num=70, depth=0..8, filters=98782, revisions=(129592,useless=25056), ccks=945472569, wck=111.303, mem=35M128
116.20/113.86	    decisions=13905, wrong=6742, backtracks=169, failedAssignments=6701, nogoods=5086, foundSolutions=2, bestBound=176
116.20/113.86	    
117.00/114.64	    num=71, depth=4..12, filters=100635, revisions=(131959,useless=25525), ccks=951854038, wck=112.076, mem=37M753
117.00/114.64	    decisions=14237, wrong=6902, backtracks=173, failedAssignments=6859, nogoods=5239, foundSolutions=2, bestBound=176
117.00/114.64	    
117.81/115.46	    num=72, depth=1..12, filters=102325, revisions=(134010,useless=25886), ccks=958945746, wck=112.899, mem=40M378
117.81/115.46	    decisions=14597, wrong=7076, backtracks=177, failedAssignments=7033, nogoods=5392, foundSolutions=2, bestBound=176
117.81/115.46	    
118.34/115.93	    num=73, depth=0..4, filters=102915, revisions=(134741,useless=26050), ccks=960864699, wck=113.373, mem=43M3
118.34/115.93	    decisions=14985, wrong=7268, backtracks=180, failedAssignments=7224, nogoods=5545, foundSolutions=2, bestBound=176
118.34/115.93	    
120.04/117.60	    num=74, depth=1..11, filters=107811, revisions=(140820,useless=27153), ccks=974891307, wck=115.042, mem=48M254
120.04/117.60	    decisions=15419, wrong=7480, backtracks=197, failedAssignments=7435, nogoods=5687, foundSolutions=2, bestBound=176
120.04/117.60	    
124.94/122.55	    num=75, depth=0..6, filters=115481, revisions=(149674,useless=27958), ccks=1017622901, wck=119.992, mem=61M380
124.94/122.55	    decisions=15887, wrong=7712, backtracks=199, failedAssignments=7667, nogoods=5704, foundSolutions=2, bestBound=176
124.94/122.55	    
127.34/124.95	    num=76, depth=0..10, filters=118039, revisions=(153144,useless=28704), ccks=1037878699, wck=122.393, mem=66M630
127.34/124.95	    decisions=16409, wrong=7968, backtracks=207, failedAssignments=7922, nogoods=5935, foundSolutions=2, bestBound=176
127.34/124.95	    
128.55/126.19	    num=77, depth=2..11, filters=120969, revisions=(156853,useless=29439), ccks=1047883552, wck=123.635, mem=69M256
128.55/126.19	    decisions=16985, wrong=8251, backtracks=210, failedAssignments=8203, nogoods=6203, foundSolutions=2, bestBound=176
128.55/126.19	    
129.45/127.04	    num=78, depth=6..10, filters=122608, revisions=(158886,useless=29804), ccks=1054593419, wck=124.477, mem=71M881
129.45/127.04	    decisions=17615, wrong=8561, backtracks=211, failedAssignments=8512, nogoods=6509, foundSolutions=2, bestBound=176
129.45/127.04	    
130.46/128.01	    num=79, depth=1..11, filters=125208, revisions=(162084,useless=30393), ccks=1062500348, wck=125.448, mem=74M506
130.46/128.01	    decisions=18309, wrong=8903, backtracks=215, failedAssignments=8852, nogoods=6842, foundSolutions=2, bestBound=176
130.46/128.01	    
138.75/136.39	    num=80, depth=0..7, filters=140741, revisions=(178583,useless=30925), ccks=1131820939, wck=133.83, mem=87M632
138.75/136.39	    decisions=19066, wrong=9280, backtracks=218, failedAssignments=9226, nogoods=6869, foundSolutions=2, bestBound=176
138.75/136.39	    
140.75/138.37	    num=81, depth=0..9, filters=142911, revisions=(181387,useless=31443), ccks=1147884153, wck=135.812, mem=92M883
140.75/138.37	    decisions=19899, wrong=9692, backtracks=225, failedAssignments=9637, nogoods=7255, foundSolutions=2, bestBound=176
140.75/138.37	    
141.96/139.58	    num=82, depth=0..11, filters=145054, revisions=(184009,useless=31888), ccks=1157045782, wck=137.016, mem=95M508
141.96/139.58	    decisions=20813, wrong=10144, backtracks=228, failedAssignments=10089, nogoods=7700, foundSolutions=2, bestBound=176
141.96/139.58	    
143.66/141.24	    num=83, depth=1..9, filters=146931, revisions=(186380,useless=32324), ccks=1169855003, wck=138.679, mem=98M133
143.66/141.24	    decisions=21815, wrong=10641, backtracks=232, failedAssignments=10586, nogoods=7762, foundSolutions=2, bestBound=176
143.66/141.24	    
144.76/142.35	    num=84, depth=1..11, filters=148596, revisions=(188312,useless=32577), ccks=1178163700, wck=139.791, mem=100M758
144.76/142.35	    decisions=22920, wrong=11189, backtracks=237, failedAssignments=11133, nogoods=7888, foundSolutions=2, bestBound=176
144.76/142.35	    
145.76/143.31	    num=85, depth=1..13, filters=150145, revisions=(190161,useless=32846), ccks=1185832700, wck=140.754, mem=103M383
145.76/143.31	    decisions=24136, wrong=11791, backtracks=241, failedAssignments=11735, nogoods=8073, foundSolutions=2, bestBound=176
145.76/143.31	    
146.16/143.73	    num=86, depth=0..10, filters=151100, revisions=(191263,useless=32965), ccks=1187906801, wck=141.167, mem=103M383
146.16/143.73	    decisions=25469, wrong=12453, backtracks=242, failedAssignments=12397, nogoods=8305, foundSolutions=2, bestBound=176
146.16/143.73	    
146.76/144.34	    num=87, depth=3..12, filters=152527, revisions=(192892,useless=33151), ccks=1192090813, wck=141.777, mem=103M383
146.76/144.34	    decisions=26936, wrong=13181, backtracks=243, failedAssignments=13125, nogoods=8620, foundSolutions=2, bestBound=176
146.76/144.34	    
147.26/144.87	o 174
147.26/144.88	    num=88, depth=4..104, filters=153333, revisions=(193995,useless=33422), ccks=1196561071, wck=142.315, mem=107M330
147.26/144.88	    decisions=27303, wrong=13358, backtracks=244, failedAssignments=13302, nogoods=8796, foundSolutions=3, bestBound=174
147.26/144.88	    
148.70/146.26	    num=89, depth=3..12, filters=160833, revisions=(203016,useless=34720), ccks=1206878590, wck=143.706, mem=112M580
148.70/146.26	    decisions=29110, wrong=14256, backtracks=265, failedAssignments=14183, nogoods=9209, foundSolutions=3, bestBound=174
148.70/146.26	    
149.20/146.76	    num=90, depth=1..5, filters=161312, revisions=(203614,useless=34835), ccks=1210979785, wck=144.201, mem=112M580
149.20/146.76	    decisions=29137, wrong=14267, backtracks=265, failedAssignments=14194, nogoods=9220, foundSolutions=3, bestBound=174
149.20/146.76	    
149.90/147.46	    num=91, depth=0..3, filters=161718, revisions=(204167,useless=34943), ccks=1216809472, wck=144.902, mem=112M580
149.90/147.46	    decisions=29164, wrong=14280, backtracks=270, failedAssignments=14206, nogoods=9222, foundSolutions=3, bestBound=174
149.90/147.46	    
150.61/148.12	    num=92, depth=3..4, filters=162184, revisions=(204768,useless=35045), ccks=1222544811, wck=145.562, mem=115M206
150.61/148.12	    decisions=29194, wrong=14293, backtracks=271, failedAssignments=14219, nogoods=9232, foundSolutions=3, bestBound=174
150.61/148.12	    
151.10/148.63	    num=93, depth=0..2, filters=162525, revisions=(205243,useless=35158), ccks=1226849795, wck=146.071, mem=115M206
151.10/148.63	    decisions=29224, wrong=14307, backtracks=272, failedAssignments=14233, nogoods=9244, foundSolutions=3, bestBound=174
151.10/148.63	    
152.00/149.52	    num=94, depth=0..2, filters=163014, revisions=(205942,useless=35311), ccks=1234358226, wck=146.966, mem=117M831
152.00/149.52	    decisions=29258, wrong=14323, backtracks=274, failedAssignments=14249, nogoods=9256, foundSolutions=3, bestBound=174
152.00/149.52	    
152.70/150.24	    num=95, depth=1..5, filters=163721, revisions=(206818,useless=35474), ccks=1240165192, wck=147.682, mem=117M831
152.70/150.24	    decisions=29298, wrong=14341, backtracks=275, failedAssignments=14266, nogoods=9273, foundSolutions=3, bestBound=174
152.70/150.24	    
154.00/151.50	    num=96, depth=0..3, filters=164543, revisions=(208001,useless=35766), ccks=1250749325, wck=148.942, mem=120M456
154.00/151.50	    decisions=29340, wrong=14361, backtracks=283, failedAssignments=14285, nogoods=9274, foundSolutions=3, bestBound=174
154.00/151.50	    
155.40/152.96	    num=97, depth=0..3, filters=165418, revisions=(209294,useless=36042), ccks=1262233545, wck=150.4, mem=123M81
155.40/152.96	    decisions=29384, wrong=14383, backtracks=294, failedAssignments=14306, nogoods=9274, foundSolutions=3, bestBound=174
155.40/152.96	    
156.21/153.78	    num=98, depth=6..7, filters=166438, revisions=(210613,useless=36320), ccks=1269595342, wck=151.224, mem=125M706
156.21/153.78	    decisions=29438, wrong=14407, backtracks=295, failedAssignments=14329, nogoods=9297, foundSolutions=3, bestBound=174
156.21/153.78	    
157.21/154.78	    num=99, depth=0..3, filters=167073, revisions=(211499,useless=36535), ccks=1277838500, wck=152.222, mem=128M332
157.21/154.78	    decisions=29492, wrong=14433, backtracks=298, failedAssignments=14354, nogoods=9315, foundSolutions=3, bestBound=174
157.21/154.78	    
157.81/155.38	    num=100, depth=5..8, filters=168027, revisions=(212779,useless=36841), ccks=1282937574, wck=152.816, mem=128M332
157.81/155.38	    decisions=29556, wrong=14461, backtracks=299, failedAssignments=14382, nogoods=9341, foundSolutions=3, bestBound=174
157.81/155.38	    
158.91/156.40	    num=101, depth=1..7, filters=169260, revisions=(214322,useless=37111), ccks=1291803972, wck=153.846, mem=130M957
158.91/156.40	    decisions=29625, wrong=14492, backtracks=299, failedAssignments=14413, nogoods=9372, foundSolutions=3, bestBound=174
158.91/156.40	    
160.81/158.31	    num=102, depth=0..3, filters=170472, revisions=(216028,useless=37494), ccks=1307123444, wck=155.755, mem=133M582
160.81/158.31	    decisions=29697, wrong=14527, backtracks=306, failedAssignments=14447, nogoods=9384, foundSolutions=3, bestBound=174
160.81/158.31	    
161.31/158.87	    num=103, depth=2..7, filters=171132, revisions=(216906,useless=37669), ccks=1311828637, wck=156.308, mem=136M207
161.31/158.87	    decisions=29778, wrong=14564, backtracks=306, failedAssignments=14484, nogoods=9421, foundSolutions=3, bestBound=174
161.31/158.87	    
161.91/159.46	    num=104, depth=7..10, filters=172941, revisions=(219174,useless=38116), ccks=1316804779, wck=156.903, mem=138M833
161.91/159.46	    decisions=29874, wrong=14607, backtracks=311, failedAssignments=14525, nogoods=9457, foundSolutions=3, bestBound=174
161.91/159.46	    
164.71/162.28	    num=105, depth=0..5, filters=174565, revisions=(221484,useless=38723), ccks=1340803395, wck=159.717, mem=144M83
164.71/162.28	    decisions=29975, wrong=14655, backtracks=325, failedAssignments=14570, nogoods=9463, foundSolutions=3, bestBound=174
164.71/162.28	    
167.41/164.90	    num=106, depth=0..4, filters=176364, revisions=(224054,useless=39323), ccks=1362520877, wck=162.341, mem=149M334
167.41/164.90	    decisions=30083, wrong=14708, backtracks=334, failedAssignments=14620, nogoods=9475, foundSolutions=3, bestBound=174
167.41/164.90	    
167.71/165.26	    num=107, depth=7..7, filters=176708, revisions=(224532,useless=39435), ccks=1365356804, wck=162.702, mem=149M334
167.71/165.26	    decisions=30200, wrong=14763, backtracks=334, failedAssignments=14675, nogoods=9530, foundSolutions=3, bestBound=174
167.71/165.26	    
168.71/166.22	    num=108, depth=7..10, filters=179379, revisions=(228110,useless=40281), ccks=1373591152, wck=163.661, mem=151M959
168.71/166.22	    decisions=30337, wrong=14827, backtracks=341, failedAssignments=14736, nogoods=9572, foundSolutions=3, bestBound=174
168.71/166.22	    
172.01/169.55	    num=109, depth=0..7, filters=182043, revisions=(231857,useless=41178), ccks=1401620787, wck=166.993, mem=159M373
172.01/169.55	    decisions=30486, wrong=14898, backtracks=354, failedAssignments=14803, nogoods=9591, foundSolutions=3, bestBound=174
172.01/169.55	    
173.83/171.37	    num=110, depth=0..9, filters=184272, revisions=(234784,useless=41807), ccks=1416488001, wck=168.809, mem=33M160
173.83/171.37	    decisions=30651, wrong=14976, backtracks=365, failedAssignments=14877, nogoods=9634, foundSolutions=3, bestBound=174
173.83/171.37	    
174.75/172.26	    num=111, depth=2..9, filters=185371, revisions=(236290,useless=42127), ccks=1423746487, wck=169.698, mem=35M782
174.75/172.26	    decisions=30822, wrong=15057, backtracks=367, failedAssignments=14958, nogoods=9710, foundSolutions=3, bestBound=174
174.75/172.26	    
175.37/172.80	    num=112, depth=7..10, filters=186490, revisions=(237677,useless=42367), ccks=1428201847, wck=170.24, mem=36M640
175.37/172.80	    decisions=31012, wrong=15147, backtracks=369, failedAssignments=15047, nogoods=9797, foundSolutions=3, bestBound=174
175.37/172.80	    
176.27/173.74	    num=113, depth=8..13, filters=188511, revisions=(240223,useless=42821), ccks=1436463957, wck=171.184, mem=39M262
176.27/173.74	    decisions=31227, wrong=15248, backtracks=372, failedAssignments=15145, nogoods=9890, foundSolutions=3, bestBound=174
176.27/173.74	    
178.38/175.86	    num=114, depth=0..7, filters=193433, revisions=(245463,useless=43025), ccks=1454595863, wck=173.301, mem=44M506
178.38/175.86	    decisions=31450, wrong=15356, backtracks=372, failedAssignments=15253, nogoods=9997, foundSolutions=3, bestBound=174
178.38/175.86	    
181.38/178.83	    num=115, depth=0..7, filters=196095, revisions=(249044,useless=43782), ccks=1478863573, wck=176.275, mem=49M750
181.38/178.83	    decisions=31703, wrong=15479, backtracks=383, failedAssignments=15372, nogoods=10080, foundSolutions=3, bestBound=174
181.38/178.83	    
182.08/179.56	    num=116, depth=4..9, filters=197535, revisions=(250869,useless=44153), ccks=1484592243, wck=177.001, mem=52M372
182.08/179.56	    decisions=31974, wrong=15610, backtracks=384, failedAssignments=15503, nogoods=10210, foundSolutions=3, bestBound=174
182.08/179.56	    
182.59/180.07	    num=117, depth=7..10, filters=198441, revisions=(252015,useless=44362), ccks=1488662930, wck=177.512, mem=54M994
182.59/180.07	    decisions=32274, wrong=15755, backtracks=386, failedAssignments=15647, nogoods=10352, foundSolutions=3, bestBound=174
182.59/180.07	    
183.29/180.77	    num=118, depth=8..11, filters=200611, revisions=(254793,useless=44905), ccks=1494435173, wck=178.214, mem=57M616
183.29/180.77	    decisions=32607, wrong=15916, backtracks=390, failedAssignments=15805, nogoods=10491, foundSolutions=3, bestBound=174
183.29/180.77	    
188.50/185.93	    num=119, depth=5..6, filters=207186, revisions=(262030,useless=45176), ccks=1539756198, wck=183.375, mem=65M482
188.50/185.93	    decisions=32962, wrong=16091, backtracks=391, failedAssignments=15979, nogoods=10544, foundSolutions=3, bestBound=174
188.50/185.93	    
191.10/188.57	    num=120, depth=0..9, filters=210092, revisions=(265888,useless=46007), ccks=1561599412, wck=186.014, mem=70M726
191.10/188.57	    decisions=33356, wrong=16284, backtracks=399, failedAssignments=16170, nogoods=10715, foundSolutions=3, bestBound=174
191.10/188.57	    
193.90/191.37	    num=121, depth=3..10, filters=217918, revisions=(275928,useless=48050), ccks=1584585867, wck=188.808, mem=81M214
193.90/191.37	    decisions=33825, wrong=16514, backtracks=429, failedAssignments=16381, nogoods=10811, foundSolutions=3, bestBound=174
193.90/191.37	    
196.71/194.11	    num=122, depth=0..8, filters=220788, revisions=(279969,useless=49064), ccks=1605849431, wck=191.554, mem=89M80
196.71/194.11	    decisions=34297, wrong=16746, backtracks=444, failedAssignments=16613, nogoods=10946, foundSolutions=3, bestBound=174
196.71/194.11	    
210.54/208.00	    num=123, depth=0..4, filters=228358, revisions=(289797,useless=50182), ccks=1729504328, wck=205.441, mem=112M678
210.54/208.00	    decisions=34811, wrong=17002, backtracks=446, failedAssignments=16868, nogoods=11046, foundSolutions=3, bestBound=174
210.54/208.00	    
212.54/209.94	    num=124, depth=1..8, filters=230680, revisions=(292819,useless=50716), ccks=1745658071, wck=207.385, mem=117M922
212.54/209.94	    decisions=35384, wrong=17285, backtracks=452, failedAssignments=17149, nogoods=11320, foundSolutions=3, bestBound=174
212.54/209.94	    
216.25/213.60	    num=125, depth=3..10, filters=241382, revisions=(306132,useless=53097), ccks=1776361667, wck=211.044, mem=131M32
216.25/213.60	    decisions=36065, wrong=17621, backtracks=488, failedAssignments=17458, nogoods=11409, foundSolutions=3, bestBound=174
216.25/213.60	    
220.35/217.75	    num=126, depth=0..10, filters=245971, revisions=(312284,useless=54411), ccks=1810936685, wck=215.192, mem=141M520
220.35/217.75	    decisions=36766, wrong=17967, backtracks=506, failedAssignments=17798, nogoods=11657, foundSolutions=3, bestBound=174
220.35/217.75	    
228.85/226.21	    num=127, depth=1..7, filters=255063, revisions=(322990,useless=55447), ccks=1873195477, wck=223.65, mem=160M36
228.85/226.21	    decisions=37523, wrong=18342, backtracks=509, failedAssignments=18172, nogoods=11740, foundSolutions=3, bestBound=174
228.85/226.21	    
229.97/227.38	    num=128, depth=3..9, filters=256729, revisions=(325068,useless=55817), ccks=1882197541, wck=224.823, mem=33M349
229.97/227.38	    decisions=38354, wrong=18753, backtracks=511, failedAssignments=18583, nogoods=12147, foundSolutions=3, bestBound=174
229.97/227.38	    
230.80/228.15	    num=129, depth=3..9, filters=258037, revisions=(326694,useless=56105), ccks=1887656575, wck=225.586, mem=33M349
230.80/228.15	    decisions=39266, wrong=19205, backtracks=513, failedAssignments=19035, nogoods=12175, foundSolutions=3, bestBound=174
230.80/228.15	    
234.09/231.41	    num=130, depth=1..11, filters=264565, revisions=(334922,useless=57635), ccks=1914708871, wck=228.855, mem=43M675
234.09/231.41	    decisions=40300, wrong=19717, backtracks=544, failedAssignments=19532, nogoods=12574, foundSolutions=3, bestBound=174
234.09/231.41	    
250.09/247.46	    num=131, depth=1..4, filters=285315, revisions=(362822,useless=63544), ccks=2027672346, wck=244.902, mem=87M560
250.09/247.46	    decisions=41403, wrong=20267, backtracks=696, failedAssignments=20079, nogoods=12612, foundSolutions=3, bestBound=174
250.09/247.46	    
251.30/248.68	    num=132, depth=0..9, filters=286991, revisions=(364977,useless=63875), ccks=2036257496, wck=246.123, mem=90M142
251.30/248.68	    decisions=42615, wrong=20869, backtracks=705, failedAssignments=20681, nogoods=12784, foundSolutions=3, bestBound=174
251.30/248.68	    
252.50/249.84	    num=133, depth=2..11, filters=288748, revisions=(367106,useless=64170), ccks=2044913923, wck=247.281, mem=92M723
252.50/249.84	    decisions=43949, wrong=21531, backtracks=709, failedAssignments=21343, nogoods=13025, foundSolutions=3, bestBound=174
252.50/249.84	    
253.30/250.69	    num=134, depth=2..13, filters=290431, revisions=(369071,useless=64420), ccks=2050813623, wck=248.128, mem=95M854
253.30/250.69	    decisions=45417, wrong=22259, backtracks=713, failedAssignments=22071, nogoods=13334, foundSolutions=3, bestBound=174
253.30/250.69	    
254.71/252.01	    num=135, depth=3..10, filters=292971, revisions=(372183,useless=64956), ccks=2060149484, wck=249.449, mem=98M435
254.71/252.01	    decisions=47028, wrong=23060, backtracks=722, failedAssignments=22872, nogoods=13699, foundSolutions=3, bestBound=174
254.71/252.01	    
255.81/253.12	    num=136, depth=3..10, filters=294871, revisions=(374394,useless=65223), ccks=2067665636, wck=250.556, mem=101M17
255.81/253.12	    decisions=48801, wrong=23942, backtracks=725, failedAssignments=23753, nogoods=14161, foundSolutions=3, bestBound=174
255.81/253.12	    
257.00/254.35	    num=137, depth=2..10, filters=297112, revisions=(377064,useless=65624), ccks=2075874986, wck=251.791, mem=106M180
257.00/254.35	    decisions=50749, wrong=24912, backtracks=730, failedAssignments=24723, nogoods=14265, foundSolutions=3, bestBound=174
257.00/254.35	    
257.90/255.23	    num=138, depth=1..10, filters=298964, revisions=(379133,useless=65833), ccks=2080925869, wck=252.671, mem=106M180
257.90/255.23	    decisions=52891, wrong=25979, backtracks=732, failedAssignments=25790, nogoods=14474, foundSolutions=3, bestBound=174
257.90/255.23	    
260.20/257.53	    num=139, depth=3..10, filters=311520, revisions=(394606,useless=68861), ccks=2096036672, wck=254.966, mem=119M87
260.20/257.53	    decisions=55259, wrong=27159, backtracks=782, failedAssignments=26963, nogoods=14926, foundSolutions=3, bestBound=174
260.20/257.53	    
260.71/258.06	o 164
260.71/258.06	    num=140, depth=1..104, filters=312313, revisions=(395656,useless=69094), ccks=2100603452, wck=255.498, mem=119M87
260.71/258.06	    decisions=55530, wrong=27287, backtracks=782, failedAssignments=27091, nogoods=15054, foundSolutions=4, bestBound=164
260.71/258.06	    
261.91/259.29	    num=141, depth=8..11, filters=320818, revisions=(404861,useless=69828), ccks=2107590685, wck=256.727, mem=124M250
261.91/259.29	    decisions=58388, wrong=28711, backtracks=789, failedAssignments=28511, nogoods=15101, foundSolutions=4, bestBound=164
261.91/259.29	    
262.61/259.94	    num=142, depth=3..3, filters=321114, revisions=(405234,useless=69863), ccks=2113557947, wck=257.38, mem=124M250
262.61/259.94	    decisions=58413, wrong=28722, backtracks=789, failedAssignments=28522, nogoods=15112, foundSolutions=4, bestBound=164
262.61/259.94	    
263.11/260.47	    num=143, depth=0..2, filters=321486, revisions=(405752,useless=69969), ccks=2117959821, wck=257.915, mem=124M250
263.11/260.47	    decisions=58441, wrong=28735, backtracks=792, failedAssignments=28534, nogoods=15118, foundSolutions=4, bestBound=164
263.11/260.47	    
263.82/261.19	    num=144, depth=2..3, filters=321929, revisions=(406374,useless=70092), ccks=2124360897, wck=258.634, mem=126M832
263.82/261.19	    decisions=58472, wrong=28749, backtracks=793, failedAssignments=28547, nogoods=15131, foundSolutions=4, bestBound=164
263.82/261.19	    
264.61/261.97	    num=145, depth=1..3, filters=322427, revisions=(407112,useless=70266), ccks=2130978336, wck=259.412, mem=129M413
264.61/261.97	    decisions=58504, wrong=28764, backtracks=797, failedAssignments=28561, nogoods=15134, foundSolutions=4, bestBound=164
264.61/261.97	    
265.41/262.71	    num=146, depth=2..3, filters=322961, revisions=(407824,useless=70378), ccks=2137497052, wck=260.154, mem=129M413
265.41/262.71	    decisions=58539, wrong=28780, backtracks=798, failedAssignments=28577, nogoods=15148, foundSolutions=4, bestBound=164
265.41/262.71	    
266.21/263.51	    num=147, depth=1..3, filters=323644, revisions=(408848,useless=70596), ccks=2143517177, wck=260.953, mem=131M995
266.21/263.51	    decisions=58576, wrong=28798, backtracks=806, failedAssignments=28594, nogoods=15158, foundSolutions=4, bestBound=164
266.21/263.51	    
266.91/264.21	    num=148, depth=2..9, filters=324448, revisions=(409974,useless=70882), ccks=2149173120, wck=261.649, mem=134M576
266.91/264.21	    decisions=58625, wrong=28818, backtracks=808, failedAssignments=28613, nogoods=15175, foundSolutions=4, bestBound=164
266.91/264.21	    
267.61/264.91	    num=149, depth=3..5, filters=325127, revisions=(410869,useless=71050), ccks=2155017300, wck=262.351, mem=134M576
267.61/264.91	    decisions=58675, wrong=28841, backtracks=811, failedAssignments=28634, nogoods=15180, foundSolutions=4, bestBound=164
267.61/264.91	    
268.01/265.34	    num=150, depth=2..9, filters=325605, revisions=(411527,useless=71208), ccks=2158464007, wck=262.786, mem=137M158
268.01/265.34	    decisions=58732, wrong=28865, backtracks=813, failedAssignments=28657, nogoods=15201, foundSolutions=4, bestBound=164
268.01/265.34	    
268.72/266.03	    num=151, depth=3..5, filters=326414, revisions=(412581,useless=71413), ccks=2163957445, wck=263.469, mem=137M158
268.72/266.03	    decisions=58790, wrong=28892, backtracks=816, failedAssignments=28682, nogoods=15208, foundSolutions=4, bestBound=164
268.72/266.03	    
269.12/266.47	    num=152, depth=2..9, filters=326896, revisions=(413247,useless=71575), ccks=2167410919, wck=263.906, mem=139M739
269.12/266.47	    decisions=58857, wrong=28921, backtracks=818, failedAssignments=28710, nogoods=15233, foundSolutions=4, bestBound=164
269.12/266.47	    
270.22/267.51	    num=153, depth=3..9, filters=328423, revisions=(415244,useless=72008), ccks=2175804740, wck=264.949, mem=142M321
270.22/267.51	    decisions=58934, wrong=28955, backtracks=822, failedAssignments=28741, nogoods=15247, foundSolutions=4, bestBound=164
270.22/267.51	    
271.02/268.33	    num=154, depth=0..3, filters=329115, revisions=(416256,useless=72266), ccks=2182419666, wck=265.77, mem=144M902
271.02/268.33	    decisions=59006, wrong=28990, backtracks=825, failedAssignments=28775, nogoods=15272, foundSolutions=4, bestBound=164
271.02/268.33	    
272.23/269.57	    num=155, depth=0..5, filters=330501, revisions=(418107,useless=72642), ccks=2192479628, wck=267.009, mem=147M484
272.23/269.57	    decisions=59089, wrong=29029, backtracks=831, failedAssignments=28812, nogoods=15280, foundSolutions=4, bestBound=164
272.23/269.57	    
273.53/270.86	    num=156, depth=0..8, filters=331845, revisions=(420043,useless=73116), ccks=2202329125, wck=268.301, mem=150M65
273.53/270.86	    decisions=59180, wrong=29071, backtracks=839, failedAssignments=28853, nogoods=15302, foundSolutions=4, bestBound=164
273.53/270.86	    
275.33/272.63	    num=157, depth=2..6, filters=333364, revisions=(422137,useless=73608), ccks=2217377932, wck=270.071, mem=155M228
275.33/272.63	    decisions=59280, wrong=29118, backtracks=845, failedAssignments=28898, nogoods=15326, foundSolutions=4, bestBound=164
275.33/272.63	    
276.03/273.31	    num=158, depth=0..4, filters=334151, revisions=(423245,useless=73873), ccks=2222397849, wck=270.75, mem=157M810
276.03/273.31	    decisions=59381, wrong=29168, backtracks=851, failedAssignments=28948, nogoods=15337, foundSolutions=4, bestBound=164
276.03/273.31	    
277.95/275.27	    num=159, depth=1..5, filters=336430, revisions=(426399,useless=74564), ccks=2239456568, wck=272.711, mem=33M795
277.95/275.27	    decisions=59498, wrong=29224, backtracks=854, failedAssignments=29003, nogoods=15370, foundSolutions=4, bestBound=164
277.95/275.27	    
280.76/278.05	    num=160, depth=0..3, filters=338194, revisions=(428897,useless=75153), ccks=2262986559, wck=275.488, mem=38M881
280.76/278.05	    decisions=59627, wrong=29287, backtracks=870, failedAssignments=29064, nogoods=15375, foundSolutions=4, bestBound=164
280.76/278.05	    
283.25/280.57	    num=161, depth=0..4, filters=340630, revisions=(432400,useless=75980), ccks=2283136221, wck=278.014, mem=43M966
283.25/280.57	    decisions=59777, wrong=29360, backtracks=884, failedAssignments=29131, nogoods=15405, foundSolutions=4, bestBound=164
283.25/280.57	    
285.45/282.76	    num=162, depth=0..10, filters=342583, revisions=(435170,useless=76560), ccks=2301673601, wck=280.198, mem=49M51
285.45/282.76	    decisions=59937, wrong=29435, backtracks=896, failedAssignments=29205, nogoods=15445, foundSolutions=4, bestBound=164
285.45/282.76	    
286.65/283.97	    num=163, depth=3..3, filters=344828, revisions=(437437,useless=76667), ccks=2307077783, wck=281.415, mem=49M51
286.65/283.97	    decisions=60102, wrong=29516, backtracks=896, failedAssignments=29286, nogoods=15526, foundSolutions=4, bestBound=164
286.65/283.97	    
288.35/285.64	    num=164, depth=1..9, filters=347944, revisions=(441335,useless=77353), ccks=2321596894, wck=283.079, mem=54M136
288.35/285.64	    decisions=60290, wrong=29607, backtracks=903, failedAssignments=29375, nogoods=15568, foundSolutions=4, bestBound=164
288.35/285.64	    
289.25/286.56	    num=165, depth=0..7, filters=349218, revisions=(443144,useless=77840), ccks=2328447492, wck=284.004, mem=59M221
289.25/286.56	    decisions=60493, wrong=29705, backtracks=908, failedAssignments=29473, nogoods=15640, foundSolutions=4, bestBound=164
289.25/286.56	    
290.25/287.54	    num=166, depth=5..11, filters=350621, revisions=(444957,useless=78193), ccks=2336793476, wck=284.983, mem=61M764
290.25/287.54	    decisions=60720, wrong=29813, backtracks=910, failedAssignments=29581, nogoods=15746, foundSolutions=4, bestBound=164
290.25/287.54	    
291.76/289.03	    num=167, depth=0..3, filters=353966, revisions=(448322,useless=78336), ccks=2343396442, wck=286.47, mem=64M307
291.76/289.03	    decisions=60961, wrong=29932, backtracks=910, failedAssignments=29700, nogoods=15864, foundSolutions=4, bestBound=164
291.76/289.03	    
292.45/289.79	    num=168, depth=1..9, filters=355986, revisions=(450770,useless=78761), ccks=2349401102, wck=287.227, mem=66M849
292.45/289.79	    decisions=61232, wrong=30064, backtracks=916, failedAssignments=29831, nogoods=15973, foundSolutions=4, bestBound=164
292.45/289.79	    
293.95/291.26	    num=169, depth=6..10, filters=361847, revisions=(458237,useless=80315), ccks=2361374701, wck=288.701, mem=71M934
293.95/291.26	    decisions=61545, wrong=30216, backtracks=936, failedAssignments=29975, nogoods=16042, foundSolutions=4, bestBound=164
293.95/291.26	    
299.04/296.37	    num=170, depth=0..8, filters=366555, revisions=(464760,useless=81694), ccks=2403621815, wck=293.814, mem=84M647
299.04/296.37	    decisions=61873, wrong=30377, backtracks=964, failedAssignments=30133, nogoods=16068, foundSolutions=4, bestBound=164
299.04/296.37	    
303.54/300.86	    num=171, depth=0..9, filters=373241, revisions=(473768,useless=83578), ccks=2439230522, wck=298.304, mem=99M903
303.54/300.86	    decisions=62251, wrong=30563, backtracks=1001, failedAssignments=30307, nogoods=16124, foundSolutions=4, bestBound=164
303.54/300.86	    
307.55/304.87	    num=172, depth=0..8, filters=380246, revisions=(483187,useless=85561), ccks=2469985836, wck=302.312, mem=112M616
307.55/304.87	    decisions=62649, wrong=30759, backtracks=1043, failedAssignments=30498, nogoods=16188, foundSolutions=4, bestBound=164
307.55/304.87	    
308.15/305.49	    num=173, depth=0..6, filters=381000, revisions=(484219,useless=85770), ccks=2473558267, wck=302.935, mem=112M616
308.15/305.49	    decisions=63077, wrong=30970, backtracks=1048, failedAssignments=30709, nogoods=16390, foundSolutions=4, bestBound=164
308.15/305.49	    
308.65/306.00	    num=174, depth=5..9, filters=381837, revisions=(485252,useless=85964), ccks=2477333736, wck=303.439, mem=115M159
308.65/306.00	    decisions=63552, wrong=31203, backtracks=1049, failedAssignments=30941, nogoods=16620, foundSolutions=4, bestBound=164
308.65/306.00	    
311.76/309.07	    num=175, depth=5..9, filters=390736, revisions=(496558,useless=87843), ccks=2503293302, wck=306.509, mem=127M872
311.76/309.07	    decisions=64100, wrong=31473, backtracks=1075, failedAssignments=31196, nogoods=16709, foundSolutions=4, bestBound=164
311.76/309.07	    
317.76/315.04	    num=176, depth=0..8, filters=396475, revisions=(504503,useless=89369), ccks=2551061644, wck=312.479, mem=140M585
317.76/315.04	    decisions=64677, wrong=31758, backtracks=1112, failedAssignments=31477, nogoods=16845, foundSolutions=4, bestBound=164
317.76/315.04	    
318.65/315.92	    num=177, depth=7..11, filters=398616, revisions=(507153,useless=89823), ccks=2558330529, wck=313.362, mem=143M127
318.65/315.92	    decisions=65310, wrong=32069, backtracks=1116, failedAssignments=31786, nogoods=17146, foundSolutions=4, bestBound=164
318.65/315.92	    
331.80/329.09	    num=178, depth=2..5, filters=407492, revisions=(517870,useless=90363), ccks=2676594563, wck=326.531, mem=33M887
331.80/329.09	    decisions=65998, wrong=32412, backtracks=1119, failedAssignments=32126, nogoods=17161, foundSolutions=4, bestBound=164
331.80/329.09	    
333.49/330.71	    num=179, depth=0..8, filters=409767, revisions=(521013,useless=91030), ccks=2687205164, wck=328.15, mem=38M900
333.49/330.71	    decisions=66753, wrong=32786, backtracks=1135, failedAssignments=32500, nogoods=17506, foundSolutions=4, bestBound=164
333.49/330.71	    
333.99/331.27	    num=180, depth=7..10, filters=411890, revisions=(523387,useless=91305), ccks=2691311234, wck=328.71, mem=41M406
333.99/331.27	    decisions=67587, wrong=33198, backtracks=1136, failedAssignments=32911, nogoods=17902, foundSolutions=4, bestBound=164
333.99/331.27	    
334.69/331.90	    num=181, depth=7..9, filters=413160, revisions=(524919,useless=91537), ccks=2695905402, wck=329.341, mem=43M912
334.69/331.90	    decisions=68501, wrong=33651, backtracks=1138, failedAssignments=33363, nogoods=17932, foundSolutions=4, bestBound=164
334.69/331.90	    
337.69/334.94	    num=182, depth=1..8, filters=416043, revisions=(528869,useless=92297), ccks=2720486819, wck=332.379, mem=51M432
337.69/334.94	    decisions=69505, wrong=34149, backtracks=1152, failedAssignments=33860, nogoods=18374, foundSolutions=4, bestBound=164
337.69/334.94	    
338.29/335.56	    num=183, depth=2..10, filters=417378, revisions=(530451,useless=92515), ccks=2724213466, wck=333.003, mem=51M432
338.29/335.56	    decisions=70609, wrong=34696, backtracks=1154, failedAssignments=34407, nogoods=18496, foundSolutions=4, bestBound=164
338.29/335.56	    
338.80/336.01	    num=184, depth=5..9, filters=418420, revisions=(531668,useless=92669), ccks=2726384726, wck=333.452, mem=53M938
338.80/336.01	    decisions=71821, wrong=35298, backtracks=1155, failedAssignments=35009, nogoods=18676, foundSolutions=4, bestBound=164
338.80/336.01	    
339.90/337.18	    num=185, depth=2..10, filters=420866, revisions=(534723,useless=93248), ccks=2734544063, wck=334.617, mem=56M444
339.90/337.18	    decisions=73153, wrong=35960, backtracks=1167, failedAssignments=35671, nogoods=18898, foundSolutions=4, bestBound=164
339.90/337.18	    
340.39/337.69	    num=186, depth=3..10, filters=422086, revisions=(536119,useless=93410), ccks=2737365551, wck=335.13, mem=56M444
340.39/337.69	    decisions=74618, wrong=36688, backtracks=1168, failedAssignments=36399, nogoods=19208, foundSolutions=4, bestBound=164
340.39/337.69	    
342.81/340.09	    num=187, depth=1..11, filters=430419, revisions=(546445,useless=95328), ccks=2757392913, wck=337.53, mem=66M470
342.81/340.09	    decisions=76277, wrong=37513, backtracks=1213, failedAssignments=37200, nogoods=19456, foundSolutions=4, bestBound=164
342.81/340.09	    
344.00/341.26	    num=188, depth=3..8, filters=432524, revisions=(548956,useless=95720), ccks=2764004171, wck=338.703, mem=68M976
344.00/341.26	    decisions=78048, wrong=38395, backtracks=1215, failedAssignments=38081, nogoods=19908, foundSolutions=4, bestBound=164
344.00/341.26	    
345.30/342.51	    num=189, depth=1..10, filters=434812, revisions=(551724,useless=96195), ccks=2772358400, wck=339.947, mem=71M483
345.30/342.51	    decisions=79994, wrong=39365, backtracks=1222, failedAssignments=39051, nogoods=19986, foundSolutions=4, bestBound=164
345.30/342.51	    
346.70/343.93	    num=190, depth=2..9, filters=436842, revisions=(554193,useless=96486), ccks=2781133097, wck=341.369, mem=73M989
346.70/343.93	    decisions=82135, wrong=40432, backtracks=1227, failedAssignments=40118, nogoods=20170, foundSolutions=4, bestBound=164
346.70/343.93	    
348.50/345.70	    num=191, depth=2..11, filters=442004, revisions=(560484,useless=97544), ccks=2793982273, wck=343.145, mem=81M508
348.50/345.70	    decisions=84495, wrong=41607, backtracks=1250, failedAssignments=41291, nogoods=20397, foundSolutions=4, bestBound=164
348.50/345.70	    
349.30/346.51	    num=192, depth=2..9, filters=443696, revisions=(562315,useless=97677), ccks=2796303715, wck=343.948, mem=81M508
349.30/346.51	    decisions=87084, wrong=42898, backtracks=1252, failedAssignments=42582, nogoods=20821, foundSolutions=4, bestBound=164
349.30/346.51	    
350.20/347.43	    num=193, depth=2..10, filters=445762, revisions=(564577,useless=97865), ccks=2800151135, wck=344.872, mem=84M15
350.20/347.43	    decisions=89931, wrong=44318, backtracks=1257, failedAssignments=44002, nogoods=20929, foundSolutions=4, bestBound=164
350.20/347.43	    
351.20/348.40	    num=194, depth=3..10, filters=448163, revisions=(567237,useless=98106), ccks=2803491777, wck=345.842, mem=84M15
351.20/348.40	    decisions=93062, wrong=45880, backtracks=1261, failedAssignments=45564, nogoods=21196, foundSolutions=4, bestBound=164
351.20/348.40	    
353.60/350.89	    num=195, depth=3..10, filters=466384, revisions=(589794,useless=102585), ccks=2817468041, wck=348.329, mem=104M66
353.60/350.89	    decisions=96532, wrong=47611, backtracks=1336, failedAssignments=47282, nogoods=21623, foundSolutions=4, bestBound=164
353.60/350.89	    
380.43/377.68	    num=196, depth=1..8, filters=492019, revisions=(620289,useless=104278), ccks=3052017910, wck=375.123, mem=31M907
380.43/377.68	    decisions=100327, wrong=49507, backtracks=1350, failedAssignments=49172, nogoods=21888, foundSolutions=4, bestBound=164
380.43/377.68	    
387.23/384.40	    num=197, depth=2..10, filters=536752, revisions=(673281,useless=112239), ccks=3100444581, wck=381.841, mem=73M866
387.23/384.40	    decisions=104651, wrong=51665, backtracks=1455, failedAssignments=51251, nogoods=22427, foundSolutions=4, bestBound=164
387.23/384.40	    
389.03/386.29	    num=198, depth=2..11, filters=541441, revisions=(678539,useless=112803), ccks=3108126505, wck=383.729, mem=76M334
389.03/386.29	    decisions=109237, wrong=53953, backtracks=1466, failedAssignments=53538, nogoods=22866, foundSolutions=4, bestBound=164
389.03/386.29	    
452.60/449.77	    num=199, depth=1..6, filters=611513, revisions=(769544,useless=128754), ccks=3606925115, wck=447.214, mem=114M569
452.60/449.77	    decisions=114297, wrong=56481, backtracks=1783, failedAssignments=56054, nogoods=22981, foundSolutions=4, bestBound=164
452.60/449.77	    
455.40/452.52	    num=200, depth=0..10, filters=615889, revisions=(774486,useless=129166), ccks=3617390610, wck=449.958, mem=119M426
455.40/452.52	    decisions=119851, wrong=59256, backtracks=1800, failedAssignments=58822, nogoods=23467, foundSolutions=4, bestBound=164
455.40/452.52	    
457.52/454.60	    num=201, depth=3..12, filters=621123, revisions=(780350,useless=129800), ccks=3621730624, wck=452.038, mem=121M855
457.52/454.60	    decisions=125951, wrong=62300, backtracks=1816, failedAssignments=61866, nogoods=23803, foundSolutions=4, bestBound=164
457.52/454.60	    
469.74/466.83	    num=202, depth=0..10, filters=641468, revisions=(806055,useless=134909), ccks=3715180689, wck=464.273, mem=36M931
469.74/466.83	    decisions=132693, wrong=65667, backtracks=1896, failedAssignments=65215, nogoods=23852, foundSolutions=4, bestBound=164
469.74/466.83	    
501.99/499.08	    num=203, depth=0..9, filters=701514, revisions=(884076,useless=150160), ccks=3952272263, wck=496.521, mem=32M59
501.99/499.08	    decisions=140099, wrong=69368, backtracks=2175, failedAssignments=68899, nogoods=24318, foundSolutions=4, bestBound=164
501.99/499.08	    
504.99/502.10	    num=204, depth=1..11, filters=711488, revisions=(895763,useless=151921), ccks=3964040879, wck=499.545, mem=41M489
504.99/502.10	    decisions=148241, wrong=73434, backtracks=2218, failedAssignments=72951, nogoods=24717, foundSolutions=4, bestBound=164
504.99/502.10	    
634.66/631.61	    num=205, depth=0..8, filters=839343, revisions=(1058841,useless=173092), ccks=5101807177, wck=629.05, mem=137M729
634.66/631.61	    decisions=157224, wrong=77924, backtracks=2471, failedAssignments=77408, nogoods=24750, foundSolutions=4, bestBound=164
634.66/631.61	    
636.17/633.17	    num=206, depth=4..13, filters=844972, revisions=(1064654,useless=173265), ccks=5104863127, wck=630.606, mem=140M25
636.17/633.17	    decisions=167035, wrong=82827, backtracks=2482, failedAssignments=82311, nogoods=24761, foundSolutions=4, bestBound=164
636.17/633.17	    
640.99/637.94	    num=207, depth=0..10, filters=863364, revisions=(1087005,useless=177003), ccks=5121647576, wck=635.376, mem=43M419
640.99/637.94	    decisions=177860, wrong=88235, backtracks=2562, failedAssignments=87705, nogoods=24884, foundSolutions=4, bestBound=164
640.99/637.94	    
646.20/643.19	    num=208, depth=1..11, filters=872215, revisions=(1096652,useless=177842), ccks=5130661812, wck=640.632, mem=47M948
646.20/643.19	    decisions=189735, wrong=94168, backtracks=2587, failedAssignments=93638, nogoods=25197, foundSolutions=4, bestBound=164
646.20/643.19	    
682.21/679.16	    num=209, depth=0..13, filters=918083, revisions=(1152022,useless=184869), ccks=5412810111, wck=676.598, mem=129M469
682.21/679.16	    decisions=202829, wrong=100712, backtracks=2661, failedAssignments=100164, nogoods=25533, foundSolutions=4, bestBound=164
682.21/679.16	    
699.43/696.36	    num=210, depth=0..11, filters=1014320, revisions=(1268421,useless=202947), ccks=5526595935, wck=693.806, mem=130M423
699.43/696.36	    decisions=217357, wrong=107971, backtracks=2926, failedAssignments=107343, nogoods=25606, foundSolutions=4, bestBound=164
699.43/696.36	    
714.56/711.44	    num=211, depth=2..11, filters=1108335, revisions=(1385235,useless=223155), ccks=5625465605, wck=708.879, mem=109M196
714.56/711.44	    decisions=233449, wrong=116013, backtracks=3154, failedAssignments=115240, nogoods=25742, foundSolutions=4, bestBound=164
714.56/711.44	    
723.17/720.04	    num=212, depth=0..9, filters=1121284, revisions=(1400004,useless=224602), ccks=5646876097, wck=717.482, mem=122M407
723.17/720.04	    decisions=250833, wrong=124703, backtracks=3192, failedAssignments=123927, nogoods=26155, foundSolutions=4, bestBound=164
723.17/720.04	    
737.99/734.87	    num=213, depth=0..11, filters=1137765, revisions=(1419107,useless=227328), ccks=5727516842, wck=732.309, mem=34M483
737.99/734.87	    decisions=269954, wrong=134259, backtracks=3221, failedAssignments=133482, nogoods=26392, foundSolutions=4, bestBound=164
737.99/734.87	    
748.70/745.53	    num=214, depth=0..16, filters=1155731, revisions=(1440052,useless=230246), ccks=5795529911, wck=742.974, mem=58M358
748.70/745.53	    decisions=290991, wrong=144773, backtracks=3272, failedAssignments=143993, nogoods=26728, foundSolutions=4, bestBound=164
748.70/745.53	    
760.81/757.68	    num=215, depth=6..11, filters=1234878, revisions=(1533576,useless=243440), ccks=5852827950, wck=755.116, mem=34M502
760.81/757.68	    decisions=314195, wrong=156371, backtracks=3489, failedAssignments=155555, nogoods=26991, foundSolutions=4, bestBound=164
760.81/757.68	    
771.32/768.15	    num=216, depth=0..18, filters=1256912, revisions=(1558998,useless=246108), ccks=5898475744, wck=765.594, mem=53M753
771.32/768.15	    decisions=339675, wrong=169102, backtracks=3577, failedAssignments=168273, nogoods=27240, foundSolutions=4, bestBound=164
771.32/768.15	    
812.64/809.42	    num=217, depth=0..14, filters=1391117, revisions=(1717484,useless=265238), ccks=6209244717, wck=806.861, mem=104M96
812.64/809.42	    decisions=367937, wrong=183228, backtracks=3897, failedAssignments=182263, nogoods=27309, foundSolutions=4, bestBound=164
812.64/809.42	    
845.06/841.86	    num=218, depth=0..10, filters=1513037, revisions=(1872304,useless=294966), ccks=6413488649, wck=839.304, mem=60M968
845.06/841.86	    decisions=398909, wrong=198710, backtracks=4362, failedAssignments=197652, nogoods=27432, foundSolutions=4, bestBound=164
845.06/841.86	    
861.46/858.20	    num=219, depth=1..13, filters=1554591, revisions=(1922796,useless=303154), ccks=6474058607, wck=855.639, mem=107M996
861.46/858.20	    decisions=432794, wrong=215648, backtracks=4450, failedAssignments=214580, nogoods=27728, foundSolutions=4, bestBound=164
861.46/858.20	    
889.49/886.22	    num=220, depth=0..9, filters=1587859, revisions=(1961742,useless=307744), ccks=6580305885, wck=883.659, mem=42M484
889.49/886.22	    decisions=470075, wrong=234284, backtracks=4599, failedAssignments=233201, nogoods=28168, foundSolutions=4, bestBound=164
889.49/886.22	    
910.20/906.93	    num=221, depth=1..12, filters=1621751, revisions=(1999653,useless=312908), ccks=6615308580, wck=904.374, mem=66M643
910.20/906.93	    decisions=511055, wrong=254770, backtracks=4684, failedAssignments=253685, nogoods=28269, foundSolutions=4, bestBound=164
910.20/906.93	    
952.72/949.44	    num=222, depth=0..16, filters=1679979, revisions=(2069032,useless=321371), ccks=6891022393, wck=946.881, mem=52M409
952.72/949.44	    decisions=556155, wrong=277315, backtracks=4860, failedAssignments=276217, nogoods=28621, foundSolutions=4, bestBound=164
952.72/949.44	    
981.35/978.05	    num=223, depth=1..18, filters=1805837, revisions=(2221888,useless=343537), ccks=7046313000, wck=975.487, mem=85M732
981.35/978.05	    decisions=605971, wrong=302218, backtracks=5180, failedAssignments=301002, nogoods=28995, foundSolutions=4, bestBound=164
981.35/978.05	    
1011.76/1008.47	    num=224, depth=0..15, filters=1865761, revisions=(2292277,useless=351417), ccks=7168197130, wck=1005.908, mem=36M485
1011.76/1008.47	    decisions=660526, wrong=329490, backtracks=5559, failedAssignments=328266, nogoods=29166, foundSolutions=4, bestBound=164
1011.76/1008.47	    
1036.27/1032.91	    num=225, depth=1..21, filters=1923271, revisions=(2358251,useless=359588), ccks=7241731241, wck=1030.348, mem=91M94
1036.27/1032.91	    decisions=720595, wrong=359515, backtracks=5751, failedAssignments=358256, nogoods=29526, foundSolutions=4, bestBound=164
1036.27/1032.91	    
1069.19/1065.90	    num=226, depth=0..14, filters=1999316, revisions=(2449336,useless=372757), ccks=7390526328, wck=1063.337, mem=86M667
1069.19/1065.90	    decisions=786637, wrong=392531, backtracks=6080, failedAssignments=391245, nogoods=29593, foundSolutions=4, bestBound=164
1069.19/1065.90	    
1103.11/1099.78	    num=227, depth=0..17, filters=2117010, revisions=(2589400,useless=392692), ccks=7521258580, wck=1097.221, mem=34M507
1103.11/1099.78	    decisions=859439, wrong=428927, backtracks=6498, failedAssignments=427533, nogoods=29709, foundSolutions=4, bestBound=164
1103.11/1099.78	    
1142.22/1138.89	    num=228, depth=0..18, filters=2247335, revisions=(2745323,useless=414394), ccks=7695925508, wck=1136.329, mem=88M609
1142.22/1138.89	    decisions=939543, wrong=468970, backtracks=7014, failedAssignments=467450, nogoods=30251, foundSolutions=4, bestBound=164
1142.22/1138.89	    
1188.56/1185.19	    num=229, depth=0..14, filters=2303749, revisions=(2806349,useless=418811), ccks=7783860450, wck=1182.627, mem=34M554
1188.56/1185.19	    decisions=1027370, wrong=512881, backtracks=7201, failedAssignments=511359, nogoods=30303, foundSolutions=4, bestBound=164
1188.56/1185.19	    
1239.97/1236.57	    num=230, depth=1..16, filters=2560041, revisions=(3114495,useless=465820), ccks=8029131618, wck=1234.009, mem=75M943
1239.97/1236.57	    decisions=1124566, wrong=561474, backtracks=7965, failedAssignments=559659, nogoods=30906, foundSolutions=4, bestBound=164
1239.97/1236.57	    
1395.36/1391.86	    num=231, depth=0..19, filters=2780062, revisions=(3385312,useless=511134), ccks=8899894830, wck=1389.299, mem=65M387
1395.36/1391.86	    decisions=1230908, wrong=614637, backtracks=8839, failedAssignments=612789, nogoods=31442, foundSolutions=4, bestBound=164
1395.36/1391.86	    
1442.48/1438.92	    num=232, depth=1..17, filters=2958088, revisions=(3596019,useless=539609), ccks=9042323990, wck=1436.358, mem=69M688
1442.48/1438.92	    decisions=1347975, wrong=673165, backtracks=9235, failedAssignments=671232, nogoods=31796, foundSolutions=4, bestBound=164
1442.48/1438.92	    
1475.71/1472.20	o 162
1475.80/1472.20	    num=233, depth=0..104, filters=3044171, revisions=(3693906,useless=549915), ccks=9132412847, wck=1469.638, mem=41M326
1475.80/1472.20	    decisions=1446426, wrong=722379, backtracks=9672, failedAssignments=720437, nogoods=32312, foundSolutions=5, bestBound=162
1475.80/1472.20	    
1512.44/1508.73	    num=234, depth=2..18, filters=3200662, revisions=(3868163,useless=567175), ccks=9194795336, wck=1506.169, mem=45M997
1512.44/1508.73	    decisions=1588155, wrong=793238, backtracks=10049, failedAssignments=791153, nogoods=32799, foundSolutions=5, bestBound=162
1512.44/1508.73	    
1513.04/1509.31	    num=235, depth=0..1, filters=3201020, revisions=(3868597,useless=567184), ccks=9200450356, wck=1506.75, mem=45M997
1513.04/1509.31	    decisions=1588178, wrong=793249, backtracks=10049, failedAssignments=791164, nogoods=32807, foundSolutions=5, bestBound=162
1513.04/1509.31	    
1513.85/1510.16	    num=236, depth=2..3, filters=3201856, revisions=(3869808,useless=567372), ccks=9206887987, wck=1507.6, mem=49M265
1513.85/1510.16	    decisions=1588211, wrong=793264, backtracks=10055, failedAssignments=791176, nogoods=32814, foundSolutions=5, bestBound=162
1513.85/1510.16	    
1514.24/1510.53	    num=237, depth=3..4, filters=3202198, revisions=(3870252,useless=567464), ccks=9209931321, wck=1507.974, mem=49M265
1514.24/1510.53	    decisions=1588240, wrong=793277, backtracks=10056, failedAssignments=791189, nogoods=32823, foundSolutions=5, bestBound=162
1514.24/1510.53	    
1515.14/1511.41	    num=238, depth=1..3, filters=3202761, revisions=(3871080,useless=567698), ccks=9217396512, wck=1508.847, mem=50M899
1515.14/1511.41	    decisions=1588272, wrong=793292, backtracks=10062, failedAssignments=791203, nogoods=32829, foundSolutions=5, bestBound=162
1515.14/1511.41	    
1515.75/1512.07	    num=239, depth=3..6, filters=3203361, revisions=(3871890,useless=567871), ccks=9223181566, wck=1509.508, mem=52M534
1515.75/1512.07	    decisions=1588311, wrong=793309, backtracks=10064, failedAssignments=791219, nogoods=32841, foundSolutions=5, bestBound=162
1515.75/1512.07	    
1516.34/1512.69	    num=240, depth=0..3, filters=3204150, revisions=(3873015,useless=568019), ccks=9227398139, wck=1510.13, mem=54M168
1516.34/1512.69	    decisions=1588352, wrong=793328, backtracks=10068, failedAssignments=791236, nogoods=32847, foundSolutions=5, bestBound=162
1516.34/1512.69	    
1517.34/1513.61	    num=241, depth=1..4, filters=3204984, revisions=(3874197,useless=568228), ccks=9234556082, wck=1511.056, mem=55M802
1517.34/1513.61	    decisions=1588396, wrong=793349, backtracks=10074, failedAssignments=791255, nogoods=32856, foundSolutions=5, bestBound=162
1517.34/1513.61	    
1517.75/1514.05	    num=242, depth=3..7, filters=3205649, revisions=(3875090,useless=568430), ccks=9238080599, wck=1511.487, mem=57M436
1517.75/1514.05	    decisions=1588447, wrong=793371, backtracks=10076, failedAssignments=791276, nogoods=32870, foundSolutions=5, bestBound=162
1517.75/1514.05	    
1518.65/1514.92	    num=243, depth=2..4, filters=3206626, revisions=(3876500,useless=568684), ccks=9244773104, wck=1512.365, mem=60M705
1518.65/1514.92	    decisions=1588499, wrong=793395, backtracks=10082, failedAssignments=791299, nogoods=32879, foundSolutions=5, bestBound=162
1518.65/1514.92	    
1519.56/1515.84	    num=244, depth=1..3, filters=3207865, revisions=(3878270,useless=569025), ccks=9250146784, wck=1513.28, mem=62M339
1519.56/1515.84	    decisions=1588555, wrong=793422, backtracks=10091, failedAssignments=791324, nogoods=32894, foundSolutions=5, bestBound=162
1519.56/1515.84	    
1519.96/1516.21	    num=245, depth=2..8, filters=3208612, revisions=(3879277,useless=569291), ccks=9252772954, wck=1513.654, mem=63M973
1519.96/1516.21	    decisions=1588619, wrong=793450, backtracks=10092, failedAssignments=791352, nogoods=32920, foundSolutions=5, bestBound=162
1519.96/1516.21	    
1521.16/1517.43	    num=246, depth=2..4, filters=3209911, revisions=(3881036,useless=569601), ccks=9261848626, wck=1514.871, mem=67M241
1521.16/1517.43	    decisions=1588690, wrong=793484, backtracks=10101, failedAssignments=791383, nogoods=32935, foundSolutions=5, bestBound=162
1521.16/1517.43	    
1521.56/1517.83	    num=247, depth=4..9, filters=3210792, revisions=(3882144,useless=569821), ccks=9265001962, wck=1515.274, mem=68M876
1521.56/1517.83	    decisions=1588767, wrong=793518, backtracks=10102, failedAssignments=791417, nogoods=32967, foundSolutions=5, bestBound=162
1521.56/1517.83	    
1523.16/1519.42	    num=248, depth=1..4, filters=3212141, revisions=(3883979,useless=570259), ccks=9277172565, wck=1516.856, mem=72M144
1523.16/1519.42	    decisions=1588848, wrong=793557, backtracks=10118, failedAssignments=791454, nogoods=32971, foundSolutions=5, bestBound=162
1523.16/1519.42	    
1523.56/1519.82	    num=249, depth=3..7, filters=3212597, revisions=(3884593,useless=570400), ccks=9280440710, wck=1517.261, mem=73M778
1523.56/1519.82	    decisions=1588939, wrong=793599, backtracks=10119, failedAssignments=791495, nogoods=33010, foundSolutions=5, bestBound=162
1523.56/1519.82	    
1524.16/1520.47	    num=250, depth=2..8, filters=3213447, revisions=(3885778,useless=570677), ccks=9285512084, wck=1517.914, mem=75M412
1524.16/1520.47	    decisions=1589037, wrong=793644, backtracks=10120, failedAssignments=791540, nogoods=33054, foundSolutions=5, bestBound=162
1524.16/1520.47	    
1525.66/1522.00	    num=251, depth=1..9, filters=3215165, revisions=(3888140,useless=571165), ccks=9297826632, wck=1519.443, mem=80M461
1525.66/1522.00	    decisions=1589150, wrong=793696, backtracks=10129, failedAssignments=791590, nogoods=33081, foundSolutions=5, bestBound=162
1525.66/1522.00	    
1526.07/1522.36	    num=252, depth=2..8, filters=3215568, revisions=(3888706,useless=571289), ccks=9300286776, wck=1519.803, mem=80M461
1526.07/1522.36	    decisions=1589268, wrong=793751, backtracks=10130, failedAssignments=791645, nogoods=33135, foundSolutions=5, bestBound=162
1526.07/1522.36	    
1528.37/1524.65	    num=253, depth=1..4, filters=3217587, revisions=(3891658,useless=571894), ccks=9318121177, wck=1522.087, mem=86M998
1528.37/1524.65	    decisions=1589403, wrong=793817, backtracks=10148, failedAssignments=791706, nogoods=33137, foundSolutions=5, bestBound=162
1528.37/1524.65	    
1529.17/1525.45	    num=254, depth=3..8, filters=3218914, revisions=(3893300,useless=572187), ccks=9324788029, wck=1522.888, mem=88M632
1529.17/1525.45	    decisions=1589547, wrong=793885, backtracks=10150, failedAssignments=791773, nogoods=33203, foundSolutions=5, bestBound=162
1529.17/1525.45	    
1529.88/1526.13	    num=255, depth=2..7, filters=3219903, revisions=(3894663,useless=572496), ccks=9329684596, wck=1523.57, mem=90M266
1529.88/1526.13	    decisions=1589702, wrong=793959, backtracks=10153, failedAssignments=791847, nogoods=33274, foundSolutions=5, bestBound=162
1529.88/1526.13	    
1531.27/1527.51	    num=256, depth=1..4, filters=3222566, revisions=(3897843,useless=572969), ccks=9339187492, wck=1524.955, mem=95M169
1531.27/1527.51	    decisions=1589876, wrong=794044, backtracks=10160, failedAssignments=791928, nogoods=33338, foundSolutions=5, bestBound=162
1531.27/1527.51	    
1534.88/1531.12	    num=257, depth=1..4, filters=3226098, revisions=(3902953,useless=573926), ccks=9367174643, wck=1528.564, mem=103M340
1534.88/1531.12	    decisions=1590080, wrong=794145, backtracks=10190, failedAssignments=792017, nogoods=33345, foundSolutions=5, bestBound=162
1534.88/1531.12	    
1540.18/1536.40	    num=258, depth=1..4, filters=3230817, revisions=(3909582,useless=575170), ccks=9408871854, wck=1533.843, mem=33M25
1540.18/1536.40	    decisions=1590310, wrong=794259, backtracks=10229, failedAssignments=792115, nogoods=33360, foundSolutions=5, bestBound=162
1540.18/1536.40	    
1543.38/1539.68	    num=259, depth=1..8, filters=3234816, revisions=(3915033,useless=576179), ccks=9436261465, wck=1537.117, mem=41M89
1543.38/1539.68	    decisions=1590555, wrong=794378, backtracks=10248, failedAssignments=792223, nogoods=33396, foundSolutions=5, bestBound=162
1543.38/1539.68	    
1544.98/1541.24	    num=260, depth=0..8, filters=3236866, revisions=(3917952,useless=576821), ccks=9447853184, wck=1538.686, mem=45M927
1544.98/1541.24	    decisions=1590802, wrong=794498, backtracks=10261, failedAssignments=792342, nogoods=33477, foundSolutions=5, bestBound=162
1544.98/1541.24	    
1547.08/1543.34	    num=261, depth=1..9, filters=3238986, revisions=(3920899,useless=577420), ccks=9464412479, wck=1540.781, mem=52M378
1547.08/1543.34	    decisions=1591073, wrong=794629, backtracks=10277, failedAssignments=792473, nogoods=33566, foundSolutions=5, bestBound=162
1547.08/1543.34	    
1550.18/1546.42	    num=262, depth=1..12, filters=3242263, revisions=(3925539,useless=578402), ccks=9488209311, wck=1543.86, mem=60M442
1550.18/1546.42	    decisions=1591377, wrong=794775, backtracks=10295, failedAssignments=792617, nogoods=33642, foundSolutions=5, bestBound=162
1550.18/1546.42	    
1551.38/1547.60	    num=263, depth=1..9, filters=3243714, revisions=(3927473,useless=578781), ccks=9497278840, wck=1545.043, mem=63M668
1551.38/1547.60	    decisions=1591702, wrong=794933, backtracks=10302, failedAssignments=792775, nogoods=33788, foundSolutions=5, bestBound=162
1551.38/1547.60	    
1551.68/1547.99	    num=264, depth=3..7, filters=3244291, revisions=(3928234,useless=578944), ccks=9499668483, wck=1545.433, mem=65M280
1551.68/1547.99	    decisions=1592057, wrong=795107, backtracks=10302, failedAssignments=792949, nogoods=33962, foundSolutions=5, bestBound=162
1551.68/1547.99	    
1558.30/1554.56	    num=265, depth=1..8, filters=3250131, revisions=(3936665,useless=580560), ccks=9554476533, wck=1551.997, mem=81M408
1558.30/1554.56	    decisions=1592453, wrong=795301, backtracks=10330, failedAssignments=793140, nogoods=33988, foundSolutions=5, bestBound=162
1558.30/1554.56	    
1565.20/1561.50	    num=266, depth=0..4, filters=3259676, revisions=(3950292,useless=583057), ccks=9599966021, wck=1558.937, mem=103M987
1565.20/1561.50	    decisions=1592939, wrong=795543, backtracks=10411, failedAssignments=793351, nogoods=34008, foundSolutions=5, bestBound=162
1565.20/1561.50	    
1565.60/1561.84	    num=267, depth=3..6, filters=3260169, revisions=(3950901,useless=583165), ccks=9601845216, wck=1559.283, mem=103M987
1565.60/1561.84	    decisions=1593409, wrong=795775, backtracks=10411, failedAssignments=793583, nogoods=34240, foundSolutions=5, bestBound=162
1565.60/1561.84	    
1566.00/1562.28	    num=268, depth=2..8, filters=3260851, revisions=(3951769,useless=583301), ccks=9604377564, wck=1559.717, mem=105M600
1566.00/1562.28	    decisions=1593927, wrong=796030, backtracks=10412, failedAssignments=793838, nogoods=34492, foundSolutions=5, bestBound=162
1566.00/1562.28	    
1578.93/1575.19	    num=269, depth=1..4, filters=3268915, revisions=(3963301,useless=586332), ccks=9707701410, wck=1572.633, mem=52M271
1578.93/1575.19	    decisions=1594493, wrong=796312, backtracks=10431, failedAssignments=794119, nogoods=34568, foundSolutions=5, bestBound=162
1578.93/1575.19	    
1582.83/1579.01	    num=270, depth=1..9, filters=3274172, revisions=(3970392,useless=587606), ccks=9738054191, wck=1576.454, mem=61M826
1582.83/1579.01	    decisions=1595142, wrong=796632, backtracks=10455, failedAssignments=794428, nogoods=34784, foundSolutions=5, bestBound=162
1582.83/1579.01	    
1585.52/1581.74	    num=271, depth=1..11, filters=3278350, revisions=(3975970,useless=588611), ccks=9760167439, wck=1579.177, mem=68M196
1585.52/1581.74	    decisions=1595838, wrong=796975, backtracks=10475, failedAssignments=794768, nogoods=35051, foundSolutions=5, bestBound=162
1585.52/1581.74	    
1586.62/1582.81	    num=272, depth=2..8, filters=3279870, revisions=(3977975,useless=588933), ccks=9767265891, wck=1580.255, mem=71M381
1586.62/1582.81	    decisions=1596594, wrong=797349, backtracks=10480, failedAssignments=795142, nogoods=35410, foundSolutions=5, bestBound=162
1586.62/1582.81	    
1588.32/1584.53	    num=273, depth=1..9, filters=3284385, revisions=(3983995,useless=590185), ccks=9779288244, wck=1581.974, mem=79M344
1588.32/1584.53	    decisions=1597431, wrong=797763, backtracks=10511, failedAssignments=795553, nogoods=35724, foundSolutions=5, bestBound=162
1588.32/1584.53	    
1591.62/1587.88	    num=274, depth=1..10, filters=3287854, revisions=(3988718,useless=591041), ccks=9806587627, wck=1585.316, mem=87M306
1591.62/1587.88	    decisions=1598348, wrong=798217, backtracks=10532, failedAssignments=796005, nogoods=36099, foundSolutions=5, bestBound=162
1591.62/1587.88	    
1602.03/1598.28	    num=275, depth=1..10, filters=3304923, revisions=(4011030,useless=594876), ccks=9889603081, wck=1595.717, mem=36M512
1602.03/1598.28	    decisions=1599410, wrong=798744, backtracks=10599, failedAssignments=796502, nogoods=36178, foundSolutions=5, bestBound=162
1602.03/1598.28	    
1603.73/1599.98	    num=276, depth=0..6, filters=3307421, revisions=(4014384,useless=595434), ccks=9898330374, wck=1597.422, mem=42M842
1603.73/1599.98	    decisions=1600513, wrong=799293, backtracks=10616, failedAssignments=797049, nogoods=36254, foundSolutions=5, bestBound=162
1603.73/1599.98	    
1604.53/1600.74	    num=277, depth=2..7, filters=3308641, revisions=(4015849,useless=595636), ccks=9901390492, wck=1598.181, mem=44M424
1604.53/1600.74	    decisions=1601722, wrong=799895, backtracks=10619, failedAssignments=797651, nogoods=36416, foundSolutions=5, bestBound=162
1604.53/1600.74	    
1609.84/1606.06	    num=278, depth=2..8, filters=3314922, revisions=(4024409,useless=596941), ccks=9941642442, wck=1603.496, mem=57M84
1609.84/1606.06	    decisions=1603084, wrong=800573, backtracks=10654, failedAssignments=798313, nogoods=36512, foundSolutions=5, bestBound=162
1609.84/1606.06	    
1610.43/1606.69	    num=279, depth=5..7, filters=3315886, revisions=(4025479,useless=597033), ccks=9943265098, wck=1604.126, mem=57M84
1610.43/1606.69	    decisions=1604545, wrong=801301, backtracks=10656, failedAssignments=799041, nogoods=36519, foundSolutions=5, bestBound=162
1610.43/1606.69	    
1615.63/1611.88	    num=280, depth=1..10, filters=3323158, revisions=(4035190,useless=598910), ccks=9983029933, wck=1609.321, mem=71M327
1615.63/1611.88	    decisions=1606174, wrong=802111, backtracks=10696, failedAssignments=799842, nogoods=36769, foundSolutions=5, bestBound=162
1615.63/1611.88	    
1626.95/1623.17	    num=281, depth=1..11, filters=3360298, revisions=(4082415,useless=607379), ccks=10072468943, wck=1620.608, mem=36M579
1626.95/1623.17	    decisions=1608078, wrong=803059, backtracks=10816, failedAssignments=800723, nogoods=36907, foundSolutions=5, bestBound=162
1626.95/1623.17	    
1633.25/1629.40	    num=282, depth=0..9, filters=3369789, revisions=(4095536,useless=609770), ccks=10112200834, wck=1626.839, mem=58M592
1633.25/1629.40	    decisions=1610046, wrong=804039, backtracks=10886, failedAssignments=801693, nogoods=37237, foundSolutions=5, bestBound=162
1633.25/1629.40	    
1639.86/1636.03	    num=283, depth=1..9, filters=3376719, revisions=(4104880,useless=611466), ccks=10165568711, wck=1633.471, mem=74M315
1639.86/1636.03	    decisions=1612208, wrong=805116, backtracks=10916, failedAssignments=802760, nogoods=37715, foundSolutions=5, bestBound=162
1639.86/1636.03	    
1642.96/1639.20	    num=284, depth=1..9, filters=3383804, revisions=(4113858,useless=613274), ccks=10186596543, wck=1636.637, mem=85M321
1642.96/1639.20	    decisions=1614575, wrong=806296, backtracks=10958, failedAssignments=803933, nogoods=37870, foundSolutions=5, bestBound=162
1642.96/1639.20	    
1644.05/1640.22	    num=285, depth=5..7, filters=3385337, revisions=(4115504,useless=613375), ccks=10188220891, wck=1637.66, mem=86M894
1644.05/1640.22	    decisions=1617162, wrong=807587, backtracks=10960, failedAssignments=805224, nogoods=38288, foundSolutions=5, bestBound=162
1644.05/1640.22	    
1655.87/1652.10	    num=286, depth=1..9, filters=3400018, revisions=(4135513,useless=616692), ccks=10275114756, wck=1649.538, mem=36M745
1655.87/1652.10	    decisions=1620044, wrong=809025, backtracks=11047, failedAssignments=806644, nogoods=38542, foundSolutions=5, bestBound=162
1655.87/1652.10	    
1657.66/1653.82	    num=287, depth=2..9, filters=3402915, revisions=(4138931,useless=617097), ccks=10282804011, wck=1651.259, mem=39M869
1657.66/1653.82	    decisions=1623176, wrong=810588, backtracks=11059, failedAssignments=808206, nogoods=38777, foundSolutions=5, bestBound=162
1657.66/1653.82	    
1660.97/1657.19	    num=288, depth=1..9, filters=3408475, revisions=(4145995,useless=618318), ccks=10300720043, wck=1654.634, mem=47M679
1660.97/1657.19	    decisions=1626619, wrong=812307, backtracks=11092, failedAssignments=809924, nogoods=39033, foundSolutions=5, bestBound=162
1660.97/1657.19	    
1664.26/1660.40	    num=289, depth=2..8, filters=3414269, revisions=(4153329,useless=619613), ccks=10316790027, wck=1657.838, mem=57M51
1664.26/1660.40	    decisions=1630412, wrong=814201, backtracks=11129, failedAssignments=811814, nogoods=39461, foundSolutions=5, bestBound=162
1664.26/1660.40	    
1668.07/1664.29	    num=290, depth=2..8, filters=3419401, revisions=(4159610,useless=620462), ccks=10336280973, wck=1661.729, mem=63M300
1668.07/1664.29	    decisions=1634584, wrong=816285, backtracks=11150, failedAssignments=813893, nogoods=39667, foundSolutions=5, bestBound=162
1668.07/1664.29	    
1670.47/1666.61	    num=291, depth=4..8, filters=3422663, revisions=(4163295,useless=620863), ccks=10341319589, wck=1664.054, mem=66M424
1670.47/1666.61	    decisions=1639162, wrong=818572, backtracks=11157, failedAssignments=816180, nogoods=39993, foundSolutions=5, bestBound=162
1670.47/1666.61	    
1673.07/1669.22	    num=292, depth=2..8, filters=3426423, revisions=(4167458,useless=621180), ccks=10346575008, wck=1666.66, mem=69M548
1673.07/1669.22	    decisions=1644200, wrong=821089, backtracks=11170, failedAssignments=818696, nogoods=40198, foundSolutions=5, bestBound=162
1673.07/1669.22	    
1676.27/1672.42	    num=293, depth=1..8, filters=3430727, revisions=(4172327,useless=621673), ccks=10357914865, wck=1669.858, mem=72M672
1676.27/1672.42	    decisions=1649742, wrong=823859, backtracks=11187, failedAssignments=821464, nogoods=40209, foundSolutions=5, bestBound=162
1676.27/1672.42	    
1681.27/1677.43	    num=294, depth=2..9, filters=3437779, revisions=(4180699,useless=622636), ccks=10378009526, wck=1674.875, mem=80M482
1681.27/1677.43	    decisions=1655847, wrong=826910, backtracks=11228, failedAssignments=824508, nogoods=40467, foundSolutions=5, bestBound=162
1681.27/1677.43	    
1687.77/1683.94	    num=295, depth=1..11, filters=3446080, revisions=(4191000,useless=624108), ccks=10414152550, wck=1681.38, mem=92M978
1687.77/1683.94	    decisions=1662561, wrong=830262, backtracks=11266, failedAssignments=827857, nogoods=40505, foundSolutions=5, bestBound=162
1687.77/1683.94	    
1691.08/1687.21	    num=296, depth=2..10, filters=3451779, revisions=(4197392,useless=624630), ccks=10422564180, wck=1684.651, mem=96M102
1691.08/1687.21	    decisions=1669943, wrong=833949, backtracks=11284, failedAssignments=831541, nogoods=40598, foundSolutions=5, bestBound=162
1691.08/1687.21	    
1694.78/1690.96	    num=297, depth=1..11, filters=3458224, revisions=(4204854,useless=625386), ccks=10438381795, wck=1688.398, mem=103M912
1694.78/1690.96	    decisions=1678063, wrong=838005, backtracks=11311, failedAssignments=835593, nogoods=40669, foundSolutions=5, bestBound=162
1694.78/1690.96	    
1703.69/1699.88	    num=298, depth=1..10, filters=3475568, revisions=(4227061,useless=629730), ccks=10488405679, wck=1697.321, mem=47M862
1703.69/1699.88	    decisions=1687003, wrong=842473, backtracks=11367, failedAssignments=840050, nogoods=40690, foundSolutions=5, bestBound=162
1703.69/1699.88	    
1744.50/1740.62	    num=299, depth=0..9, filters=3513989, revisions=(4281741,useless=643168), ccks=10811833710, wck=1738.059, mem=49M300
1744.50/1740.62	    decisions=1696837, wrong=847386, backtracks=11412, failedAssignments=844953, nogoods=40957, foundSolutions=5, bestBound=162
1744.50/1740.62	    
1748.70/1744.89	    num=300, depth=3..10, filters=3520996, revisions=(4289281,useless=643678), ccks=10817268190, wck=1742.335, mem=53M923
1748.70/1744.89	    decisions=1707632, wrong=852781, backtracks=11435, failedAssignments=850347, nogoods=41203, foundSolutions=5, bestBound=162
1748.70/1744.89	    
1759.41/1755.58	    num=301, depth=1..10, filters=3541899, revisions=(4315351,useless=648042), ccks=10882142879, wck=1753.016, mem=84M749
1759.41/1755.58	    decisions=1719526, wrong=858723, backtracks=11526, failedAssignments=856280, nogoods=41274, foundSolutions=5, bestBound=162
1759.41/1755.58	    
1773.53/1769.63	    num=302, depth=1..11, filters=3559800, revisions=(4337798,useless=651354), ccks=10953078030, wck=1767.069, mem=35M498
1773.53/1769.63	    decisions=1732601, wrong=865256, backtracks=11618, failedAssignments=862806, nogoods=41483, foundSolutions=5, bestBound=162
1773.53/1769.63	    
1879.58/1875.66	    num=303, depth=0..8, filters=3687633, revisions=(4503064,useless=679112), ccks=11804251305, wck=1873.103, mem=47M391
1879.58/1875.66	    decisions=1747042, wrong=872473, backtracks=11773, failedAssignments=869985, nogoods=41888, foundSolutions=5, bestBound=162
1879.58/1875.66	    
1890.10/1886.16	    num=304, depth=1..10, filters=3699531, revisions=(4516182,useless=680591), ccks=11828107779, wck=1883.606, mem=53M347
1890.10/1886.16	    decisions=1762837, wrong=880370, backtracks=11794, failedAssignments=877882, nogoods=42261, foundSolutions=5, bestBound=162
1890.10/1886.16	    
1898.11/1894.16	    num=305, depth=1..13, filters=3731192, revisions=(4553932,useless=686311), ccks=11865423409, wck=1891.6, mem=84M615
1898.11/1894.16	    decisions=1780272, wrong=889083, backtracks=11901, failedAssignments=886569, nogoods=42496, foundSolutions=5, bestBound=162
1898.11/1894.16	    
2097.73/2093.60	    num=306, depth=1..5, filters=3945830, revisions=(4847971,useless=743782), ccks=13407967513, wck=2091.042, mem=93M133
2097.73/2093.60	    decisions=1799546, wrong=898718, backtracks=12900, failedAssignments=896124, nogoods=42612, foundSolutions=5, bestBound=162
2097.73/2093.60	    
2105.63/2101.54	    num=307, depth=0..11, filters=3959509, revisions=(4862861,useless=744790), ccks=13420452229, wck=2098.983, mem=101M563
2105.63/2101.54	    decisions=1820572, wrong=909229, backtracks=12943, failedAssignments=906635, nogoods=42684, foundSolutions=5, bestBound=162
2105.63/2101.54	    
2120.84/2116.76	    num=308, depth=1..11, filters=4009561, revisions=(4923718,useless=754651), ccks=13485344543, wck=2114.205, mem=85M775
2120.84/2116.76	    decisions=1843762, wrong=920819, backtracks=13095, failedAssignments=918197, nogoods=43126, foundSolutions=5, bestBound=162
2120.84/2116.76	    
2137.85/2133.74	    num=309, depth=0..11, filters=4047253, revisions=(4968899,useless=761443), ccks=13585274383, wck=2131.18, mem=66M89
2137.85/2133.74	    decisions=1869254, wrong=933560, backtracks=13205, failedAssignments=930915, nogoods=43436, foundSolutions=5, bestBound=162
2137.85/2133.74	    
2156.18/2152.09	    num=310, depth=1..16, filters=4116734, revisions=(5052918,useless=774250), ccks=13682377687, wck=2149.53, mem=58M985
2156.18/2152.09	    decisions=1897420, wrong=947638, backtracks=13420, failedAssignments=944905, nogoods=43652, foundSolutions=5, bestBound=162
2156.18/2152.09	    
2171.78/2167.62	    num=311, depth=0..10, filters=4137456, revisions=(5075558,useless=776144), ccks=13706605603, wck=2165.06, mem=74M95
2171.78/2167.62	    decisions=1928203, wrong=963028, backtracks=13512, failedAssignments=960294, nogoods=44017, foundSolutions=5, bestBound=162
2171.78/2167.62	    
2209.02/2204.84	    num=312, depth=1..19, filters=4314246, revisions=(5296851,useless=816161), ccks=13947363225, wck=2202.279, mem=59M845
2209.02/2204.84	    decisions=1962303, wrong=980070, backtracks=13859, failedAssignments=977222, nogoods=44611, foundSolutions=5, bestBound=162
2209.02/2204.84	    
2239.55/2235.38	    num=313, depth=0..14, filters=4416309, revisions=(5419601,useless=834351), ccks=14126495563, wck=2232.817, mem=37M96
2239.55/2235.38	    decisions=1999841, wrong=998835, backtracks=14208, failedAssignments=995843, nogoods=44766, foundSolutions=5, bestBound=162
2239.55/2235.38	    
2255.05/2250.84	    num=314, depth=0..13, filters=4446572, revisions=(5453407,useless=837364), ccks=14163627897, wck=2248.278, mem=59M556
2255.05/2250.84	    decisions=2040830, wrong=1019324, backtracks=14324, failedAssignments=1016327, nogoods=44863, foundSolutions=5, bestBound=162
2255.05/2250.84	    
2287.97/2283.74	    num=315, depth=0..12, filters=4568654, revisions=(5601014,useless=859007), ccks=14361885391, wck=2281.178, mem=65M638
2287.97/2283.74	    decisions=2086271, wrong=1042040, backtracks=14784, failedAssignments=1038859, nogoods=45386, foundSolutions=5, bestBound=162
2287.97/2283.74	    
2306.88/2302.61	    num=316, depth=1..16, filters=4624688, revisions=(5667646,useless=868726), ccks=14413304993, wck=2300.055, mem=70M633
2306.88/2302.61	    decisions=2135869, wrong=1066832, backtracks=14980, failedAssignments=1063644, nogoods=45796, foundSolutions=5, bestBound=162
2306.88/2302.61	    
2356.62/2352.30	    num=317, depth=0..10, filters=4692554, revisions=(5751142,useless=881316), ccks=14643671015, wck=2349.742, mem=48M489
2356.62/2352.30	    decisions=2190511, wrong=1094151, backtracks=15295, failedAssignments=1090908, nogoods=46212, foundSolutions=5, bestBound=162
2356.62/2352.30	    
2393.66/2389.33	    num=318, depth=1..15, filters=4832040, revisions=(5922716,useless=911528), ccks=14817665705, wck=2386.772, mem=53M134
2393.66/2389.33	    decisions=2250738, wrong=1124258, backtracks=15790, failedAssignments=1120898, nogoods=46422, foundSolutions=5, bestBound=162
2393.66/2389.33	    
2430.59/2426.26	    num=319, depth=1..11, filters=4954330, revisions=(6069789,useless=932905), ccks=14965704661, wck=2423.697, mem=46M815
2430.59/2426.26	    decisions=2316936, wrong=1157353, backtracks=16104, failedAssignments=1153887, nogoods=46711, foundSolutions=5, bestBound=162
2430.59/2426.26	    
2458.01/2453.68	    num=320, depth=1..17, filters=5022413, revisions=(6148404,useless=942814), ccks=15032575575, wck=2451.118, mem=56M363
2458.01/2453.68	    decisions=2389547, wrong=1193651, backtracks=16341, failedAssignments=1190175, nogoods=47217, foundSolutions=5, bestBound=162
2458.01/2453.68	    
2507.56/2503.14	    num=321, depth=0..10, filters=5231209, revisions=(6399937,useless=982554), ccks=15277289660, wck=2500.584, mem=61M484
2507.56/2503.14	    decisions=2469807, wrong=1233776, backtracks=17088, failedAssignments=1230092, nogoods=47423, foundSolutions=5, bestBound=162
2507.56/2503.14	    
2520.05/2515.60	
2520.05/2515.60	v <instantiation id='sol5' type='solution' cost='162'>  <list> x[] y[][] </list>  <values> 0 1 4 6 13 21 31 45 67 78 104 127 146 162 * 1 4 6 13 21 31 45 67 78 104 127 146 162 * * 3 5 12 20 30 44 66 77 103 126 145 161 * * * 2 9 17 27 41 63 74 100 123 142 158 * * * * 7 15 25 39 61 72 98 121 140 156 * * * * * 8 18 32 54 65 91 114 133 149 * * * * * * 10 24 46 57 83 106 125 141 * * * * * * * 14 36 47 73 96 115 131 * * * * * * * * 22 33 59 82 101 117 * * * * * * * * * 11 37 60 79 95 * * * * * * * * * * 26 49 68 84 * * * * * * * * * * * 23 42 58 * * * * * * * * * * * * 19 35 * * * * * * * * * * * * * 16 * * * * * * * * * * * * * * </values>  </instantiation>
2520.05/2515.60	s SATISFIABLE

OK	162

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: 16375 MiB (13159 MiB free)
  memory of node 1: 16384 MiB (15434 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391060-1568381157/watcher-4391060-1568381157 -o /tmp/evaluation-result-4391060-1568381157/solver-4391060-1568381157 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568380476-17273 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391060-1568381157.xml -cm 

running on 4 cores: 0-3

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=17535, runsolver pid=17532

[startup+0.100966 s]*
/proc/loadavg: 2.42 1.97 1.11 4/244 17550
/proc/meminfo: memFree=29263916/32770688 swapFree=66961076/67108860
[pid=17535] ppid=17532 vsize=10659884 memory=26904 CPUtime=0.12 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 5238 0 0 0 11 1 0 0 20 0 15 0 414057379 10915721216 6726 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2664971 6726 2832 1 0 2627468 0
[pid=17535/tid=17537] ppid=17532 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) R 17532 17535 17242 0 -1 4202560 3175 0 0 0 9 0 0 0 20 0 15 0 414057380 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407573671616 140407553480037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057382 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407127459232 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407126406640 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057385 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) R 17532 17535 17242 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 414057385 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407124301808 140407569447554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) S 17532 17535 17242 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 414057385 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0.01 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) S 17532 17535 17242 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 414057385 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407122196720 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 6726 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26904 KiB

[startup+0.218265 s]*
/proc/loadavg: 2.42 1.97 1.11 7/244 17550
/proc/meminfo: memFree=29256140/32770688 swapFree=66961076/67108860
[pid=17535] ppid=17532 vsize=10659884 memory=35392 CPUtime=0.33 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 6903 0 0 0 31 2 0 0 20 0 15 0 414057379 10915721216 8848 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2664971 8848 2990 1 0 2627468 0
[pid=17535/tid=17537] ppid=17532 vsize=10659884 memory=7022364594140610616 CPUtime=0.21 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) R 17532 17535 17242 0 -1 4202560 3839 0 0 0 20 1 0 0 20 0 15 0 414057380 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407573662768 140407569458333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10659884 memory=365 CPUtime=0 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10659884 memory=3761543426541831840 CPUtime=0 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057382 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407127459232 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407126406640 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057385 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10659884 memory=0 CPUtime=0.02 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) R 17532 17535 17242 0 -1 4202560 488 0 0 0 2 0 0 0 20 0 15 0 414057385 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407124287832 140407548682931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10659884 memory=-1 CPUtime=0.02 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) S 17532 17535 17242 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 414057385 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0.05 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) R 17532 17535 17242 0 -1 1077944384 729 0 0 0 5 0 0 0 20 0 15 0 414057385 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407122196720 140407569447554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 8848 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35392 KiB

[startup+0.311498 s]*
/proc/loadavg: 2.42 1.97 1.11 4/244 17550
/proc/meminfo: memFree=29255768/32770688 swapFree=66961076/67108860
[pid=17535] ppid=17532 vsize=10659884 memory=37692 CPUtime=0.44 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 7056 0 0 0 42 2 0 0 20 0 15 0 414057379 10915721216 9423 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2664971 9423 2990 1 0 2627468 0
[pid=17535/tid=17537] ppid=17532 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) R 17532 17535 17242 0 -1 4202560 3884 0 0 0 29 1 0 0 20 0 15 0 414057380 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407573668208 140407569458333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10659884 memory=4294976388 CPUtime=0 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10659884 memory=3763241068200150688 CPUtime=0 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057382 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407127459232 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407126406640 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057385 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10659884 memory=0 CPUtime=0.03 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) R 17532 17535 17242 0 -1 4202560 582 0 0 0 3 0 0 0 20 0 15 0 414057385 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407124301808 140407550180480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10659884 memory=-1 CPUtime=0.03 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) R 17532 17535 17242 0 -1 1077944384 503 0 0 0 3 0 0 0 20 0 15 0 414057385 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407123236112 140407569446613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0.05 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) R 17532 17535 17242 0 -1 1077944384 731 0 0 0 5 0 0 0 20 0 15 0 414057385 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407122194528 140407569446613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10659884 memory=140299153655424 CPUtime=0 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 9423 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37692 KiB

[startup+0.700706 s]
/proc/loadavg: 2.42 1.97 1.11 4/244 17550
/proc/meminfo: memFree=29242184/32770688 swapFree=66961076/67108860
[pid=17535] ppid=17532 vsize=10659884 memory=58680 CPUtime=1.09 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 12803 0 0 0 104 5 0 0 20 0 15 0 414057379 10915721216 14670 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2664971 14670 3070 1 0 2627468 0
[pid=17535/tid=17537] ppid=17532 vsize=10659884 memory=14068 CPUtime=0.68 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) R 17532 17535 17242 0 -1 4202560 8606 0 0 0 64 4 0 0 20 0 15 0 414057380 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407573650160 140407553516894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10659884 memory=2120 CPUtime=0 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10659884 memory=496 CPUtime=0 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10659884 memory=1556 CPUtime=0 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10659884 memory=928 CPUtime=0 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10659884 memory=1628 CPUtime=0 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057382 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10659884 memory=796 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407127459232 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10659884 memory=1444 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414057383 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407126406640 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10659884 memory=1984 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057385 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10659884 memory=2424 CPUtime=0.1 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) S 17532 17535 17242 0 -1 1077944384 813 0 0 0 10 0 0 0 20 0 15 0 414057385 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407124301808 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10659884 memory=7302135314614015844 CPUtime=0.11 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) R 17532 17535 17242 0 -1 1077944384 978 0 0 0 11 0 0 0 20 0 15 0 414057385 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10659884 memory=6152852025532641383 CPUtime=0.18 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) R 17532 17535 17242 0 -1 4202560 1048 0 0 0 18 0 0 0 20 0 15 0 414057385 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407122193656 140407548153520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10659884 memory=7368002589315584080 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057386 10915721216 14670 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 58680 KiB

[startup+1.50089 s]
/proc/loadavg: 2.42 1.97 1.11 4/244 17550
/proc/meminfo: memFree=29224192/32770688 swapFree=66961076/67108860
[pid=17535] ppid=17532 vsize=10663980 memory=72244 CPUtime=1.95 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 17161 0 0 0 189 6 0 0 20 0 15 0 414057379 10919915520 18061 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2665995 18061 3078 1 0 2628492 0
[pid=17535/tid=17537] ppid=17532 vsize=10663980 memory=280594106108491 CPUtime=1.47 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) R 17532 17535 17242 0 -1 4202560 12556 0 0 0 143 4 0 0 20 0 15 0 414057380 10919915520 18061 33554432000 4194304 4196468 140735140595792 140407573662384 140407553516894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10919915520 18061 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10663980 memory=2935261 CPUtime=0 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10919915520 18061 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414057381 10919915520 18061 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10663980 memory=140298999256160 CPUtime=0 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414057381 10919915520 18061 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 414057382 10919915520 18061 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0

################
# More data... #
################

/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1791 0 0 0 25 1 0 0 20 0 16 0 414057381 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10748324 memory=200408 CPUtime=0.1 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 6302 0 0 0 8 2 0 0 20 0 16 0 414057382 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10748324 memory=200408 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407127459296 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10748324 memory=3612 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407126406656 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10748324 memory=247524 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057385 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10748324 memory=1708 CPUtime=1 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) S 17532 17535 17242 0 -1 1077944384 8641 0 0 0 99 1 0 0 20 0 16 0 414057385 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407124301808 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10748324 memory=3612 CPUtime=1.22 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) S 17532 17535 17242 0 -1 1077944384 9707 0 0 0 121 1 0 0 20 0 16 0 414057385 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10748324 memory=38216 CPUtime=0.7 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) S 17532 17535 17242 0 -1 1077944384 11151 0 0 0 68 2 0 0 20 0 16 0 414057385 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407122196720 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057386 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10748324 memory=3848 CPUtime=0.66 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1069 0 0 0 29 37 0 0 20 0 16 0 414057386 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17551] ppid=17532 vsize=10748324 memory=200920 CPUtime=2379.67 cores=0-3
/proc/17535/task/17551/stat : 17551 (java) R 17532 17535 17242 0 -1 4202560 19488 0 0 0 237962 5 0 0 20 0 16 0 414057594 11006283776 50102 33554432000 4194304 4196468 140735140595792 140407034986160 140407200523615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 2386.65 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.15 2.39 3/230 18192
/proc/meminfo: memFree=29372328/32770688 swapFree=66961080/67108860
[pid=17535] ppid=17532 vsize=10748324 memory=197844 CPUtime=2446.71 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 88349 0 0 0 244625 46 0 0 20 0 16 0 414057379 11006283776 49461 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2687081 49461 3380 1 0 2647217 0
[pid=17535/tid=17537] ppid=17532 vsize=10748324 memory=197844 CPUtime=2.12 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) S 17532 17535 17242 0 -1 1077944384 15536 0 0 0 206 6 0 0 20 0 16 0 414057380 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407573679280 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10748324 memory=199896 CPUtime=0.28 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 5255 0 0 0 28 0 0 0 20 0 16 0 414057381 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10748324 memory=198868 CPUtime=0.29 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 4374 0 0 0 28 1 0 0 20 0 16 0 414057381 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10748324 memory=197844 CPUtime=0.27 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 3551 0 0 0 26 1 0 0 20 0 16 0 414057381 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10748324 memory=197844 CPUtime=0.27 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 1794 0 0 0 26 1 0 0 20 0 16 0 414057381 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10748324 memory=197844 CPUtime=0.1 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 6308 0 0 0 8 2 0 0 20 0 16 0 414057382 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10748324 memory=197844 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407127459296 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10748324 memory=0 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407126406656 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10748324 memory=204492 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057385 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10748324 memory=197844 CPUtime=1 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) S 17532 17535 17242 0 -1 1077944384 8641 0 0 0 99 1 0 0 20 0 16 0 414057385 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407124301808 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10748324 memory=197844 CPUtime=1.22 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) S 17532 17535 17242 0 -1 1077944384 9707 0 0 0 121 1 0 0 20 0 16 0 414057385 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10748324 memory=2044 CPUtime=0.71 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) S 17532 17535 17242 0 -1 1077944384 11151 0 0 0 69 2 0 0 20 0 16 0 414057385 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407122196720 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10748324 memory=197844 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057386 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10748324 memory=197844 CPUtime=0.67 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1073 0 0 0 30 37 0 0 20 0 16 0 414057386 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17551] ppid=17532 vsize=10748324 memory=197844 CPUtime=2439.66 cores=0-3
/proc/17535/task/17551/stat : 17551 (java) R 17532 17535 17242 0 -1 4202560 19517 0 0 0 243961 5 0 0 20 0 16 0 414057594 11006283776 49461 33554432000 4194304 4196468 140735140595792 140407034986160 140407200552885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 2446.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197844 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.12 2.36 3/229 18198
/proc/meminfo: memFree=29382196/32770688 swapFree=66961080/67108860
[pid=17535] ppid=17532 vsize=10748324 memory=195792 CPUtime=2506.75 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 89199 0 0 0 250628 47 0 0 20 0 16 0 414057379 11006283776 48948 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2687081 48948 3380 1 0 2647217 0
[pid=17535/tid=17537] ppid=17532 vsize=10748324 memory=1708 CPUtime=2.12 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) S 17532 17535 17242 0 -1 1077944384 15536 0 0 0 206 6 0 0 20 0 16 0 414057380 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407573679280 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10748324 memory=195792 CPUtime=0.29 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 5259 0 0 0 29 0 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10748324 memory=205004 CPUtime=0.3 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 4376 0 0 0 29 1 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10748324 memory=197844 CPUtime=0.28 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 3557 0 0 0 27 1 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10748324 memory=196816 CPUtime=0.28 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 2099 0 0 0 27 1 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10748324 memory=196816 CPUtime=0.11 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 6488 0 0 0 9 2 0 0 20 0 16 0 414057382 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10748324 memory=196816 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407127459296 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10748324 memory=196816 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407126406656 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10748324 memory=195792 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10748324 memory=195792 CPUtime=1 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) S 17532 17535 17242 0 -1 1077944384 8644 0 0 0 99 1 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407124301808 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10748324 memory=198868 CPUtime=1.22 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) S 17532 17535 17242 0 -1 1077944384 9709 0 0 0 121 1 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10748324 memory=280597998338072 CPUtime=0.71 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) S 17532 17535 17242 0 -1 1077944384 11153 0 0 0 69 2 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407122196720 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10748324 memory=195792 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057386 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10748324 memory=3612 CPUtime=0.68 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1103 0 0 0 30 38 0 0 20 0 16 0 414057386 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17551] ppid=17532 vsize=10748324 memory=38216 CPUtime=2499.66 cores=0-3
/proc/17535/task/17551/stat : 17551 (java) R 17532 17535 17242 0 -1 4202560 19833 0 0 0 249960 6 0 0 20 0 16 0 414057594 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407034986160 140407200523542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 2506.75 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.6 s]
/proc/loadavg: 2.00 2.11 2.36 3/229 18198
/proc/meminfo: memFree=29384240/32770688 swapFree=66961080/67108860
[pid=17535] ppid=17532 vsize=10748324 memory=195792 CPUtime=2520.05 cores=0-3
/proc/17535/stat : 17535 (java) S 17532 17535 17242 0 -1 1077944320 89211 0 0 0 251958 47 0 0 20 0 16 0 414057379 11006283776 48948 33554432000 4194304 4196468 140735140595792 140735140578336 140407569436407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
/proc/17535/statm: 2687081 48948 3380 1 0 2647217 0
[pid=17535/tid=17537] ppid=17532 vsize=10748324 memory=5920 CPUtime=2.12 cores=0-3
/proc/17535/task/17537/stat : 17537 (java) S 17532 17535 17242 0 -1 1077944384 15536 0 0 0 206 6 0 0 20 0 16 0 414057380 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407573679280 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17538] ppid=17532 vsize=10748324 memory=780 CPUtime=0.29 cores=0-3
/proc/17535/task/17538/stat : 17538 (java) S 17532 17535 17242 0 -1 1077944384 5259 0 0 0 29 0 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407522056464 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17539] ppid=17532 vsize=10748324 memory=195792 CPUtime=0.3 cores=0-3
/proc/17535/task/17539/stat : 17539 (java) S 17532 17535 17242 0 -1 1077944384 4376 0 0 0 29 1 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407521003920 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17540] ppid=17532 vsize=10748324 memory=195792 CPUtime=0.28 cores=0-3
/proc/17535/task/17540/stat : 17540 (java) S 17532 17535 17242 0 -1 1077944384 3557 0 0 0 27 1 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407519951376 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17541] ppid=17532 vsize=10748324 memory=3612 CPUtime=0.28 cores=0-3
/proc/17535/task/17541/stat : 17541 (java) S 17532 17535 17242 0 -1 1077944384 2099 0 0 0 27 1 0 0 20 0 16 0 414057381 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407518898832 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17542] ppid=17532 vsize=10748324 memory=38216 CPUtime=0.11 cores=0-3
/proc/17535/task/17542/stat : 17542 (java) S 17532 17535 17242 0 -1 1077944384 6488 0 0 0 9 2 0 0 20 0 16 0 414057382 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407128513008 140407569447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17543] ppid=17532 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0-3
/proc/17535/task/17543/stat : 17543 (java) S 17532 17535 17242 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407127459296 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17544] ppid=17532 vsize=10748324 memory=1398722017469774279 CPUtime=0 cores=0-3
/proc/17535/task/17544/stat : 17544 (java) S 17532 17535 17242 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414057383 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407126406656 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17545] ppid=17532 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/17535/task/17545/stat : 17545 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407125355216 140407569455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17546] ppid=17532 vsize=10748324 memory=1556 CPUtime=1 cores=0-3
/proc/17535/task/17546/stat : 17546 (java) S 17532 17535 17242 0 -1 1077944384 8644 0 0 0 99 1 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407124301808 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17547] ppid=17532 vsize=10748324 memory=1556 CPUtime=1.22 cores=0-3
/proc/17535/task/17547/stat : 17547 (java) S 17532 17535 17242 0 -1 1077944384 9709 0 0 0 121 1 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407123249264 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17548] ppid=17532 vsize=10748324 memory=928 CPUtime=0.71 cores=0-3
/proc/17535/task/17548/stat : 17548 (java) S 17532 17535 17242 0 -1 1077944384 11153 0 0 0 69 2 0 0 20 0 16 0 414057385 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407122196720 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17549] ppid=17532 vsize=10748324 memory=1628 CPUtime=0 cores=0-3
/proc/17535/task/17549/stat : 17549 (java) S 17532 17535 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414057386 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407121144416 140407569446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17550] ppid=17532 vsize=10748324 memory=1708 CPUtime=0.69 cores=0-3
/proc/17535/task/17550/stat : 17550 (java) S 17532 17535 17242 0 -1 1077944384 1105 0 0 0 30 39 0 0 20 0 16 0 414057386 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407120091952 140407569447554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
[pid=17535/tid=17551] ppid=17532 vsize=10748324 memory=1224 CPUtime=2512.96 cores=0-3
/proc/17535/task/17551/stat : 17551 (java) R 17532 17535 17242 0 -1 4202560 19843 0 0 0 251290 6 0 0 20 0 16 0 414057594 11006283776 48948 33554432000 4194304 4196468 140735140595792 140407034978320 140407200334464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35000320 140735140602891 140735140602994 140735140602994 140735140605903 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195792 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2515.61 s]
# the end of solver process 17535 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.6 s, system=0.478116 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2515.61
CPU time (s): 2520.08
CPU user time (s): 2519.6
CPU system time (s): 0.478116
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 282180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.478116
maximum resident set size= 282184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58874
involuntary context switches= 1210


# summary of solver processes directly reported to runsolver:
#   pid: 17535
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.6
#   total CPU system time (s): 0.478116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5561 second user time and 22.4079 second system time

The end

Begin job on node116 at 2019-09-13 15:25:16
IDJOB=4391060
IDBENCH=126210
IDSOLVER=2832
FILE ID=node116/4391060-1568381157
RUNJOBID= node116-1568380476-17273
PBS_JOBID= 21701846
Free space on /tmp= 56868 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391060-1568381157/watcher-4391060-1568381157 -o /tmp/evaluation-result-4391060-1568381157/solver-4391060-1568381157 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568380476-17273 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391060-1568381157.xml -cm

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4
RANDOM SEED=1712976382

node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29280140 kB
MemAvailable:   31345176 kB
Buffers:          117628 kB
Cached:          2224388 kB
SwapCached:        46632 kB
Active:          1360888 kB
Inactive:        1532300 kB
Active(anon):     505296 kB
Inactive(anon):    86692 kB
Active(file):     855592 kB
Inactive(file):  1445608 kB
Unevictable:      110508 kB
Mlocked:          110508 kB
SwapTotal:      67108860 kB
SwapFree:       66961076 kB
Dirty:              9060 kB
Writeback:             4 kB
AnonPages:        616112 kB
Mapped:            56008 kB
Shmem:             31980 kB
Slab:             187788 kB
SReclaimable:     159344 kB
SUnreclaim:        28444 kB
KernelStack:        3984 kB
PageTables:         7116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1967552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    491520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 56868 MiB
End job on node116 at 2019-09-13 16:07:12