2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
2.93/2.02	  Instance
2.93/2.02	    name=instance-4391360-1568389375, framework=COP, bounds=-infty..+infty
2.93/2.02	
2.93/2.02	  Loading variables...
2.93/2.08	  Loading constraints...
3.17/2.19	
3.17/2.19	  Domains
3.17/2.19	    nTypes=2, nValues=52514, sizes=[500#91,501#14]
3.17/2.19	  Variables
3.17/2.19	    count=105, degrees=[2#91,14#12,15#2]
3.17/2.19	  Objectives
3.17/2.19	    way=min, type=ObjVarLE
3.17/2.19	  Constraints
3.17/2.19	    count=95, nSpecific=3, arities=[1#2,3#91,14#1,91#1]
3.17/2.19	    distribution=[AllDifferent#1,CtrIntension#92,ObjVarLE#1,OrderedLT#1]
3.17/2.19	    nIntStructures=(2,shared:90)
3.17/2.19	    wck=0.341, cpu=2.155, mem=29M156
3.17/2.19	  Solver SolverBacktrack being built...
3.17/2.19	
3.44/2.22	
3.44/2.22	  Solver
3.44/2.22	    guaranteedGAC=false
3.44/2.22	    wck=0.372, cpu=2.184, mem=42M651
3.44/2.24	
3.44/2.24	  Preprocessing
3.44/2.24	    filters=2, revisions=(1,useless=0), ccks=501, nACremovedValues=669, nTotalRemovedValues=669, inconcistency=false
3.44/2.24	    wck=0.025, cpu=2.211, mem=42M651
3.44/2.24	
5.10/3.43	o 181
5.10/3.44	    num=0, depth=106..104, filters=616, revisions=(869,useless=217), ccks=11854370, wck=1.223, mem=45M294
5.10/3.44	    decisions=13, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=181
5.10/3.44	    
5.73/3.98	    num=1, depth=1..12, filters=1376, revisions=(1898,useless=444), ccks=16714589, wck=1.764, mem=45M294
5.73/3.98	    decisions=47, wrong=11, backtracks=0, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=181
5.73/3.98	    
5.73/4.00	    num=2, depth=0..0, filters=1387, revisions=(1909,useless=444), ccks=16716437, wck=1.78, mem=45M294
5.73/4.00	    decisions=69, wrong=22, backtracks=0, failedAssignments=22, nogoods=11, foundSolutions=1, bestBound=181
5.73/4.00	    
5.86/4.02	    num=3, depth=2..2, filters=1481, revisions=(2081,useless=525), ccks=16762492, wck=1.805, mem=45M294
5.86/4.02	    decisions=95, wrong=34, backtracks=0, failedAssignments=34, nogoods=23, foundSolutions=1, bestBound=181
5.86/4.02	    
6.16/4.31	    num=4, depth=0..2, filters=1582, revisions=(2277,useless=595), ccks=19791404, wck=2.096, mem=47M936
6.16/4.31	    decisions=123, wrong=47, backtracks=1, failedAssignments=47, nogoods=33, foundSolutions=1, bestBound=181
6.16/4.31	    
6.26/4.48	    num=5, depth=1..4, filters=1628, revisions=(2363,useless=621), ccks=21540901, wck=2.267, mem=47M936
6.26/4.48	    decisions=155, wrong=61, backtracks=1, failedAssignments=61, nogoods=47, foundSolutions=1, bestBound=181
6.26/4.48	    
6.93/5.08	    num=6, depth=0..2, filters=2349, revisions=(3131,useless=632), ccks=27324096, wck=2.865, mem=47M936
6.93/5.08	    decisions=189, wrong=77, backtracks=1, failedAssignments=77, nogoods=53, foundSolutions=1, bestBound=181
6.93/5.08	    
8.17/6.24	    num=7, depth=0..3, filters=2860, revisions=(3875,useless=785), ccks=39202797, wck=4.029, mem=50M579
8.17/6.24	    decisions=226, wrong=94, backtracks=2, failedAssignments=94, nogoods=67, foundSolutions=1, bestBound=181
8.17/6.24	    
9.02/7.07	    num=8, depth=1..3, filters=3357, revisions=(4551,useless=932), ccks=47556549, wck=4.852, mem=50M579
9.02/7.07	    decisions=266, wrong=113, backtracks=4, failedAssignments=113, nogoods=76, foundSolutions=1, bestBound=181
9.02/7.07	    
9.32/7.32	    num=9, depth=1..3, filters=3706, revisions=(4960,useless=1019), ccks=49455239, wck=5.105, mem=50M579
9.32/7.32	    decisions=309, wrong=134, backtracks=6, failedAssignments=134, nogoods=80, foundSolutions=1, bestBound=181
9.32/7.32	    
9.83/7.82	    num=10, depth=1..3, filters=4038, revisions=(5420,useless=1142), ccks=54364804, wck=5.602, mem=53M221
9.83/7.82	    decisions=356, wrong=157, backtracks=8, failedAssignments=157, nogoods=90, foundSolutions=1, bestBound=181
9.83/7.82	    
9.93/7.98	    num=11, depth=1..3, filters=4165, revisions=(5644,useless=1233), ccks=55843740, wck=5.763, mem=53M221
9.93/7.98	    decisions=409, wrong=182, backtracks=8, failedAssignments=182, nogoods=115, foundSolutions=1, bestBound=181
9.93/7.98	    
11.15/9.14	    num=12, depth=0..4, filters=4889, revisions=(6586,useless=1392), ccks=67874678, wck=6.925, mem=55M864
11.15/9.14	    decisions=468, wrong=210, backtracks=10, failedAssignments=210, nogoods=133, foundSolutions=1, bestBound=181
11.15/9.14	    
11.75/9.76	    num=13, depth=1..4, filters=5392, revisions=(7333,useless=1622), ccks=74040117, wck=7.544, mem=58M506
11.75/9.76	    decisions=532, wrong=241, backtracks=13, failedAssignments=241, nogoods=156, foundSolutions=1, bestBound=181
11.75/9.76	    
11.85/9.89	    num=14, depth=3..3, filters=5461, revisions=(7444,useless=1658), ccks=75076397, wck=7.671, mem=58M506
11.85/9.89	    decisions=603, wrong=275, backtracks=13, failedAssignments=275, nogoods=190, foundSolutions=1, bestBound=181
11.85/9.89	    
12.68/10.67	    num=15, depth=0..3, filters=6443, revisions=(8659,useless=1898), ccks=83097785, wck=8.457, mem=61M148
12.68/10.67	    decisions=680, wrong=312, backtracks=13, failedAssignments=312, nogoods=219, foundSolutions=1, bestBound=181
12.68/10.67	    
14.39/12.37	    num=16, depth=0..3, filters=7604, revisions=(10289,useless=2304), ccks=100029585, wck=10.157, mem=63M791
14.39/12.37	    decisions=764, wrong=353, backtracks=17, failedAssignments=353, nogoods=239, foundSolutions=1, bestBound=181
14.39/12.37	    
16.61/14.54	    num=17, depth=1..3, filters=8869, revisions=(12067,useless=2691), ccks=122848032, wck=12.328, mem=69M76
16.61/14.54	    decisions=859, wrong=399, backtracks=19, failedAssignments=398, nogoods=270, foundSolutions=1, bestBound=181
16.61/14.54	    
16.91/14.86	    num=18, depth=1..6, filters=9409, revisions=(12880,useless=2961), ccks=125810410, wck=12.644, mem=71M718
16.91/14.86	    decisions=964, wrong=449, backtracks=19, failedAssignments=448, nogoods=320, foundSolutions=1, bestBound=181
16.91/14.86	    
17.72/15.68	    num=19, depth=0..2, filters=10566, revisions=(14050,useless=3029), ccks=130384972, wck=13.464, mem=71M718
17.72/15.68	    decisions=1076, wrong=504, backtracks=19, failedAssignments=503, nogoods=374, foundSolutions=1, bestBound=181
17.72/15.68	    
18.32/16.29	    num=20, depth=1..8, filters=11558, revisions=(15389,useless=3367), ccks=135628469, wck=14.075, mem=74M360
18.32/16.29	    decisions=1206, wrong=565, backtracks=23, failedAssignments=564, nogoods=425, foundSolutions=1, bestBound=181
18.32/16.29	    
19.82/17.71	    num=21, depth=0..8, filters=13341, revisions=(17730,useless=3916), ccks=149315706, wck=15.492, mem=77M3
19.82/17.71	    decisions=1347, wrong=632, backtracks=25, failedAssignments=631, nogoods=482, foundSolutions=1, bestBound=181
19.82/17.71	    
20.82/18.74	    num=22, depth=0..2, filters=14933, revisions=(19329,useless=3994), ccks=154879280, wck=16.53, mem=79M645
20.82/18.74	    decisions=1497, wrong=706, backtracks=25, failedAssignments=705, nogoods=551, foundSolutions=1, bestBound=181
20.82/18.74	    
21.83/19.72	    num=23, depth=0..11, filters=16183, revisions=(20960,useless=4334), ccks=164412713, wck=17.502, mem=82M288
21.83/19.72	    decisions=1669, wrong=787, backtracks=27, failedAssignments=786, nogoods=628, foundSolutions=1, bestBound=181
21.83/19.72	    
22.53/20.40	    num=24, depth=0..2, filters=16960, revisions=(21802,useless=4373), ccks=170727842, wck=18.181, mem=82M288
22.53/20.40	    decisions=1849, wrong=876, backtracks=27, failedAssignments=875, nogoods=706, foundSolutions=1, bestBound=181
22.53/20.40	    
26.84/24.79	    num=25, depth=2..7, filters=22373, revisions=(28922,useless=5804), ccks=213814471, wck=22.572, mem=92M857
26.84/24.79	    decisions=2058, wrong=977, backtracks=32, failedAssignments=973, nogoods=786, foundSolutions=1, bestBound=181
26.84/24.79	    
30.04/27.91	    num=26, depth=0..9, filters=26330, revisions=(34046,useless=6778), ccks=246142577, wck=25.69, mem=98M142
30.04/27.91	    decisions=2291, wrong=1089, backtracks=39, failedAssignments=1081, nogoods=873, foundSolutions=1, bestBound=181
30.04/27.91	    
32.95/30.83	    num=27, depth=0..7, filters=30039, revisions=(38969,useless=7734), ccks=275839488, wck=28.618, mem=108M712
32.95/30.83	    decisions=2545, wrong=1213, backtracks=50, failedAssignments=1200, nogoods=940, foundSolutions=1, bestBound=181
32.95/30.83	    
36.52/34.35	    num=28, depth=0..7, filters=34032, revisions=(44396,useless=8884), ccks=312554803, wck=32.139, mem=119M282
36.52/34.35	    decisions=2822, wrong=1349, backtracks=61, failedAssignments=1331, nogoods=1001, foundSolutions=1, bestBound=181
36.52/34.35	    
39.72/37.52	    num=29, depth=0..9, filters=38216, revisions=(49985,useless=10118), ccks=344176869, wck=35.306, mem=127M209
39.72/37.52	    decisions=3125, wrong=1496, backtracks=73, failedAssignments=1475, nogoods=1083, foundSolutions=1, bestBound=181
39.72/37.52	    
43.43/41.29	    num=30, depth=1..9, filters=42303, revisions=(55527,useless=11313), ccks=382646152, wck=39.071, mem=140M421
43.43/41.29	    decisions=3452, wrong=1655, backtracks=79, failedAssignments=1633, nogoods=1205, foundSolutions=1, bestBound=181
43.43/41.29	    
44.87/42.60	    num=31, depth=0..6, filters=43925, revisions=(57725,useless=11822), ccks=395315451, wck=40.389, mem=29M466
44.87/42.60	    decisions=3806, wrong=1829, backtracks=82, failedAssignments=1807, nogoods=1370, foundSolutions=1, bestBound=181
44.87/42.60	    
48.57/46.36	    num=32, depth=1..5, filters=48000, revisions=(62632,useless=12587), ccks=424502587, wck=44.148, mem=37M314
48.57/46.36	    decisions=4195, wrong=2021, backtracks=87, failedAssignments=1998, nogoods=1415, foundSolutions=1, bestBound=181
48.57/46.36	    
51.77/49.53	    num=33, depth=0..9, filters=51664, revisions=(67586,useless=13683), ccks=456355832, wck=47.311, mem=45M162
51.77/49.53	    decisions=4634, wrong=2236, backtracks=98, failedAssignments=2209, nogoods=1571, foundSolutions=1, bestBound=181
51.77/49.53	    
52.57/50.34	    num=34, depth=2..10, filters=53903, revisions=(70322,useless=14154), ccks=463740647, wck=48.124, mem=50M394
52.57/50.34	    decisions=5109, wrong=2469, backtracks=101, failedAssignments=2441, nogoods=1797, foundSolutions=1, bestBound=181
52.57/50.34	    
53.38/51.15	    num=35, depth=0..7, filters=55130, revisions=(71858,useless=14439), ccks=470458600, wck=48.934, mem=53M10
53.38/51.15	    decisions=5626, wrong=2724, backtracks=103, failedAssignments=2696, nogoods=2044, foundSolutions=1, bestBound=181
53.38/51.15	    
55.47/53.20	    num=36, depth=1..11, filters=57020, revisions=(74287,useless=14913), ccks=490752340, wck=50.983, mem=55M626
55.47/53.20	    decisions=6199, wrong=3005, backtracks=108, failedAssignments=2977, nogoods=2309, foundSolutions=1, bestBound=181
55.47/53.20	    
56.39/54.17	    num=37, depth=1..9, filters=58280, revisions=(75845,useless=15207), ccks=499551073, wck=51.955, mem=58M242
56.39/54.17	    decisions=6828, wrong=3315, backtracks=110, failedAssignments=3286, nogoods=2614, foundSolutions=1, bestBound=181
56.39/54.17	    
57.58/55.33	    num=38, depth=1..10, filters=59623, revisions=(77528,useless=15519), ccks=510399081, wck=53.116, mem=60M858
57.58/55.33	    decisions=7518, wrong=3655, backtracks=113, failedAssignments=3626, nogoods=2948, foundSolutions=1, bestBound=181
57.58/55.33	    
65.71/63.45	    num=39, depth=0..13, filters=68023, revisions=(87638,useless=16914), ccks=577691654, wck=61.231, mem=79M170
65.71/63.45	    decisions=8279, wrong=4029, backtracks=117, failedAssignments=4000, nogoods=2994, foundSolutions=1, bestBound=181
65.71/63.45	    
66.91/64.60	    num=40, depth=1..12, filters=69424, revisions=(89388,useless=17220), ccks=588350536, wck=62.383, mem=81M786
66.91/64.60	    decisions=9113, wrong=4440, backtracks=120, failedAssignments=4411, nogoods=3397, foundSolutions=1, bestBound=181
66.91/64.60	    
68.42/66.18	o 176
68.42/66.18	    num=41, depth=1..104, filters=72273, revisions=(93038,useless=17952), ccks=603329519, wck=63.964, mem=87M18
68.42/66.18	    decisions=9788, wrong=4769, backtracks=127, failedAssignments=4740, nogoods=3711, foundSolutions=2, bestBound=176
68.42/66.18	    
69.76/67.49	    num=42, depth=1..7, filters=73750, revisions=(94901,useless=18288), ccks=614244795, wck=65.275, mem=89M634
69.76/67.49	    decisions=10788, wrong=5266, backtracks=130, failedAssignments=5237, nogoods=3767, foundSolutions=2, bestBound=176
69.76/67.49	    
70.06/67.78	    num=43, depth=0..3, filters=74189, revisions=(95413,useless=18345), ccks=616711256, wck=65.565, mem=89M634
70.06/67.78	    decisions=10813, wrong=5277, backtracks=131, failedAssignments=5248, nogoods=3775, foundSolutions=2, bestBound=176
70.06/67.78	    
70.70/68.38	    num=44, depth=0..5, filters=74620, revisions=(96048,useless=18497), ccks=622991676, wck=66.165, mem=89M634
70.70/68.38	    decisions=10842, wrong=5289, backtracks=132, failedAssignments=5260, nogoods=3784, foundSolutions=2, bestBound=176
70.70/68.38	    
71.30/68.98	    num=45, depth=0..2, filters=74933, revisions=(96526,useless=18620), ccks=629180815, wck=66.767, mem=92M250
71.30/68.98	    decisions=10871, wrong=5303, backtracks=134, failedAssignments=5273, nogoods=3794, foundSolutions=2, bestBound=176
71.30/68.98	    
71.90/69.51	    num=46, depth=0..6, filters=75435, revisions=(97203,useless=18771), ccks=634216701, wck=67.299, mem=92M250
71.90/69.51	    decisions=10905, wrong=5317, backtracks=136, failedAssignments=5287, nogoods=3805, foundSolutions=2, bestBound=176
71.90/69.51	    
72.71/70.37	    num=47, depth=0..2, filters=75925, revisions=(97906,useless=18949), ccks=642881045, wck=68.154, mem=94M866
72.71/70.37	    decisions=10939, wrong=5333, backtracks=141, failedAssignments=5303, nogoods=3806, foundSolutions=2, bestBound=176
72.71/70.37	    
73.31/70.96	    num=48, depth=0..5, filters=76480, revisions=(98669,useless=19104), ccks=648552362, wck=68.741, mem=97M482
73.31/70.96	    decisions=10978, wrong=5350, backtracks=143, failedAssignments=5320, nogoods=3820, foundSolutions=2, bestBound=176
73.31/70.96	    
74.21/71.89	    num=49, depth=0..2, filters=76970, revisions=(99420,useless=19286), ccks=658354567, wck=69.678, mem=100M98
74.21/71.89	    decisions=11020, wrong=5370, backtracks=145, failedAssignments=5339, nogoods=3836, foundSolutions=2, bestBound=176
74.21/71.89	    
74.81/72.47	    num=50, depth=3..8, filters=77794, revisions=(100526,useless=19506), ccks=664221889, wck=70.257, mem=100M98
74.81/72.47	    decisions=11070, wrong=5391, backtracks=145, failedAssignments=5360, nogoods=3857, foundSolutions=2, bestBound=176
74.81/72.47	    
76.07/73.69	    num=51, depth=0..3, filters=78552, revisions=(101629,useless=19772), ccks=676591905, wck=71.47, mem=102M714
76.07/73.69	    decisions=11123, wrong=5416, backtracks=148, failedAssignments=5383, nogoods=3876, foundSolutions=2, bestBound=176
76.07/73.69	    
76.48/74.02	    num=52, depth=6..9, filters=79209, revisions=(102511,useless=19962), ccks=679734532, wck=71.803, mem=105M330
76.48/74.02	    decisions=11184, wrong=5442, backtracks=149, failedAssignments=5408, nogoods=3899, foundSolutions=2, bestBound=176
76.48/74.02	    
76.97/74.56	    num=53, depth=2..7, filters=79952, revisions=(103549,useless=20201), ccks=684996179, wck=72.35, mem=105M330
76.97/74.56	    decisions=11246, wrong=5470, backtracks=151, failedAssignments=5436, nogoods=3923, foundSolutions=2, bestBound=176
76.97/74.56	    
78.07/75.63	    num=54, depth=0..3, filters=80760, revisions=(104698,useless=20479), ccks=695457433, wck=73.413, mem=107M946
78.07/75.63	    decisions=11312, wrong=5502, backtracks=154, failedAssignments=5467, nogoods=3949, foundSolutions=2, bestBound=176
78.07/75.63	    
78.48/76.10	    num=55, depth=7..10, filters=81973, revisions=(106316,useless=20845), ccks=700127919, wck=73.886, mem=110M562
78.48/76.10	    decisions=11392, wrong=5537, backtracks=156, failedAssignments=5501, nogoods=3980, foundSolutions=2, bestBound=176
78.48/76.10	    
80.48/78.10	    num=56, depth=0..1, filters=83048, revisions=(107684,useless=20969), ccks=723252608, wck=75.884, mem=113M178
80.48/78.10	    decisions=11467, wrong=5574, backtracks=156, failedAssignments=5538, nogoods=4010, foundSolutions=2, bestBound=176
80.48/78.10	    
80.87/78.47	    num=57, depth=7..12, filters=83743, revisions=(108648,useless=21201), ccks=726881858, wck=76.255, mem=115M794
80.87/78.47	    decisions=11563, wrong=5616, backtracks=158, failedAssignments=5579, nogoods=4050, foundSolutions=2, bestBound=176
80.87/78.47	    
83.18/80.75	    num=58, depth=0..1, filters=84946, revisions=(110225,useless=21307), ccks=753164460, wck=78.533, mem=118M410
83.18/80.75	    decisions=11654, wrong=5661, backtracks=158, failedAssignments=5624, nogoods=4085, foundSolutions=2, bestBound=176
83.18/80.75	    
83.59/81.14	    num=59, depth=7..13, filters=85674, revisions=(111241,useless=21560), ccks=756987067, wck=78.924, mem=121M26
83.59/81.14	    decisions=11769, wrong=5712, backtracks=159, failedAssignments=5674, nogoods=4134, foundSolutions=2, bestBound=176
83.59/81.14	    
83.88/81.45	    num=60, depth=6..10, filters=86265, revisions=(112040,useless=21738), ccks=759806243, wck=79.235, mem=121M26
83.88/81.45	    decisions=11891, wrong=5768, backtracks=160, failedAssignments=5729, nogoods=4187, foundSolutions=2, bestBound=176
83.88/81.45	    
84.18/81.77	    num=61, depth=6..14, filters=86874, revisions=(112876,useless=21933), ccks=762739116, wck=79.559, mem=121M26
84.18/81.77	    decisions=12029, wrong=5830, backtracks=161, failedAssignments=5790, nogoods=4246, foundSolutions=2, bestBound=176
84.18/81.77	    
86.98/84.59	    num=62, depth=1..1, filters=88286, revisions=(114996,useless=22108), ccks=795231004, wck=82.37, mem=128M874
86.98/84.59	    decisions=12164, wrong=5897, backtracks=161, failedAssignments=5857, nogoods=4313, foundSolutions=2, bestBound=176
86.98/84.59	    
88.18/85.77	    num=63, depth=0..11, filters=89906, revisions=(117141,useless=22623), ccks=807302473, wck=83.552, mem=134M106
88.18/85.77	    decisions=12325, wrong=5972, backtracks=167, failedAssignments=5931, nogoods=4374, foundSolutions=2, bestBound=176
88.18/85.77	    
92.38/89.98	    num=64, depth=0..1, filters=91871, revisions=(119900,useless=22844), ccks=856282560, wck=87.769, mem=141M954
92.38/89.98	    decisions=12488, wrong=6053, backtracks=167, failedAssignments=6012, nogoods=4447, foundSolutions=2, bestBound=176
92.38/89.98	    
92.98/90.55	    num=65, depth=2..7, filters=92779, revisions=(121075,useless=23085), ccks=861618902, wck=88.335, mem=144M570
92.98/90.55	    decisions=12673, wrong=6142, backtracks=167, failedAssignments=6101, nogoods=4536, foundSolutions=2, bestBound=176
92.98/90.55	    
93.59/91.12	    num=66, depth=2..9, filters=93950, revisions=(122614,useless=23428), ccks=866850170, wck=88.902, mem=144M570
93.59/91.12	    decisions=12878, wrong=6240, backtracks=168, failedAssignments=6199, nogoods=4633, foundSolutions=2, bestBound=176
93.59/91.12	    
98.89/96.41	    num=67, depth=1..1, filters=96113, revisions=(125856,useless=24186), ccks=928496377, wck=94.194, mem=157M650
98.89/96.41	    decisions=13095, wrong=6348, backtracks=168, failedAssignments=6307, nogoods=4741, foundSolutions=2, bestBound=176
98.89/96.41	    
99.19/96.74	    num=68, depth=7..7, filters=96501, revisions=(126383,useless=24308), ccks=931360303, wck=94.521, mem=157M650
99.19/96.74	    decisions=13340, wrong=6467, backtracks=168, failedAssignments=6426, nogoods=4860, foundSolutions=2, bestBound=176
99.19/96.74	    
99.49/97.06	    num=69, depth=7..8, filters=96982, revisions=(127025,useless=24450), ccks=934074614, wck=94.843, mem=158M971
99.49/97.06	    decisions=13610, wrong=6598, backtracks=168, failedAssignments=6557, nogoods=4991, foundSolutions=2, bestBound=176
99.49/97.06	    
100.72/98.24	    num=70, depth=0..8, filters=98782, revisions=(129592,useless=25056), ccks=945472569, wck=96.027, mem=35M193
100.72/98.24	    decisions=13905, wrong=6742, backtracks=169, failedAssignments=6701, nogoods=5086, foundSolutions=2, bestBound=176
100.72/98.24	    
101.43/98.91	    num=71, depth=4..12, filters=100635, revisions=(131959,useless=25525), ccks=951854038, wck=96.693, mem=37M818
101.43/98.91	    decisions=14237, wrong=6902, backtracks=173, failedAssignments=6859, nogoods=5239, foundSolutions=2, bestBound=176
101.43/98.91	    
102.13/99.61	    num=72, depth=1..12, filters=102325, revisions=(134010,useless=25886), ccks=958945746, wck=97.397, mem=40M444
102.13/99.61	    decisions=14597, wrong=7076, backtracks=177, failedAssignments=7033, nogoods=5392, foundSolutions=2, bestBound=176
102.13/99.61	    
102.57/100.02	    num=73, depth=0..4, filters=102915, revisions=(134741,useless=26050), ccks=960864699, wck=97.808, mem=40M444
102.57/100.02	    decisions=14985, wrong=7268, backtracks=180, failedAssignments=7224, nogoods=5545, foundSolutions=2, bestBound=176
102.57/100.02	    
103.96/101.45	    num=74, depth=1..11, filters=107811, revisions=(140820,useless=27153), ccks=974891307, wck=99.234, mem=45M694
103.96/101.45	    decisions=15419, wrong=7480, backtracks=197, failedAssignments=7435, nogoods=5687, foundSolutions=2, bestBound=176
103.96/101.45	    
108.26/105.72	    num=75, depth=0..6, filters=115481, revisions=(149674,useless=27958), ccks=1017622901, wck=103.502, mem=58M820
108.26/105.72	    decisions=15887, wrong=7712, backtracks=199, failedAssignments=7667, nogoods=5704, foundSolutions=2, bestBound=176
108.26/105.72	    
110.26/107.77	    num=76, depth=0..10, filters=118039, revisions=(153144,useless=28704), ccks=1037878699, wck=105.557, mem=64M71
110.26/107.77	    decisions=16409, wrong=7968, backtracks=207, failedAssignments=7922, nogoods=5935, foundSolutions=2, bestBound=176
110.26/107.77	    
111.36/108.82	    num=77, depth=2..11, filters=120969, revisions=(156853,useless=29439), ccks=1047883552, wck=106.603, mem=69M321
111.36/108.82	    decisions=16985, wrong=8251, backtracks=210, failedAssignments=8203, nogoods=6203, foundSolutions=2, bestBound=176
111.36/108.82	    
112.06/109.54	    num=78, depth=6..10, filters=122608, revisions=(158886,useless=29804), ccks=1054593419, wck=107.328, mem=71M946
112.06/109.54	    decisions=17615, wrong=8561, backtracks=211, failedAssignments=8512, nogoods=6509, foundSolutions=2, bestBound=176
112.06/109.54	    
112.86/110.37	    num=79, depth=1..11, filters=125208, revisions=(162084,useless=30393), ccks=1062500348, wck=108.158, mem=74M572
112.86/110.37	    decisions=18309, wrong=8903, backtracks=215, failedAssignments=8852, nogoods=6842, foundSolutions=2, bestBound=176
112.86/110.37	    
119.96/117.44	    num=80, depth=0..7, filters=140741, revisions=(178583,useless=30925), ccks=1131820939, wck=115.223, mem=87M698
119.96/117.44	    decisions=19066, wrong=9280, backtracks=218, failedAssignments=9226, nogoods=6869, foundSolutions=2, bestBound=176
119.96/117.44	    
121.68/119.14	    num=81, depth=0..9, filters=142911, revisions=(181387,useless=31443), ccks=1147884153, wck=116.928, mem=92M948
121.68/119.14	    decisions=19899, wrong=9692, backtracks=225, failedAssignments=9637, nogoods=7255, foundSolutions=2, bestBound=176
121.68/119.14	    
122.68/120.18	    num=82, depth=0..11, filters=145054, revisions=(184009,useless=31888), ccks=1157045782, wck=117.966, mem=95M573
122.68/120.18	    decisions=20813, wrong=10144, backtracks=228, failedAssignments=10089, nogoods=7700, foundSolutions=2, bestBound=176
122.68/120.18	    
124.07/121.57	    num=83, depth=1..9, filters=146931, revisions=(186380,useless=32324), ccks=1169855003, wck=119.35, mem=98M199
124.07/121.57	    decisions=21815, wrong=10641, backtracks=232, failedAssignments=10586, nogoods=7762, foundSolutions=2, bestBound=176
124.07/121.57	    
124.97/122.49	    num=84, depth=1..11, filters=148596, revisions=(188312,useless=32577), ccks=1178163700, wck=120.273, mem=100M824
124.97/122.49	    decisions=22920, wrong=11189, backtracks=237, failedAssignments=11133, nogoods=7888, foundSolutions=2, bestBound=176
124.97/122.49	    
125.87/123.31	    num=85, depth=1..13, filters=150145, revisions=(190161,useless=32846), ccks=1185832700, wck=121.096, mem=100M824
125.87/123.31	    decisions=24136, wrong=11791, backtracks=241, failedAssignments=11735, nogoods=8073, foundSolutions=2, bestBound=176
125.87/123.31	    
126.17/123.67	    num=86, depth=0..10, filters=151100, revisions=(191263,useless=32965), ccks=1187906801, wck=121.456, mem=100M824
126.17/123.67	    decisions=25469, wrong=12453, backtracks=242, failedAssignments=12397, nogoods=8305, foundSolutions=2, bestBound=176
126.17/123.67	    
126.68/124.19	    num=87, depth=3..12, filters=152527, revisions=(192892,useless=33151), ccks=1192090813, wck=121.972, mem=103M449
126.68/124.19	    decisions=26936, wrong=13181, backtracks=243, failedAssignments=13125, nogoods=8620, foundSolutions=2, bestBound=176
126.68/124.19	    
127.17/124.64	o 174
127.17/124.64	    num=88, depth=4..104, filters=153333, revisions=(193995,useless=33422), ccks=1196561071, wck=122.429, mem=104M770
127.17/124.64	    decisions=27303, wrong=13358, backtracks=244, failedAssignments=13302, nogoods=8796, foundSolutions=3, bestBound=174
127.17/124.64	    
128.40/125.83	    num=89, depth=3..12, filters=160833, revisions=(203016,useless=34720), ccks=1206878590, wck=123.611, mem=110M21
128.40/125.83	    decisions=29110, wrong=14256, backtracks=265, failedAssignments=14183, nogoods=9209, foundSolutions=3, bestBound=174
128.40/125.83	    
128.80/126.25	    num=90, depth=1..5, filters=161312, revisions=(203614,useless=34835), ccks=1210979785, wck=124.031, mem=110M21
128.80/126.25	    decisions=29137, wrong=14267, backtracks=265, failedAssignments=14194, nogoods=9220, foundSolutions=3, bestBound=174
128.80/126.25	    
129.40/126.84	    num=91, depth=0..3, filters=161718, revisions=(204167,useless=34943), ccks=1216809472, wck=124.623, mem=112M646
129.40/126.84	    decisions=29164, wrong=14280, backtracks=270, failedAssignments=14206, nogoods=9222, foundSolutions=3, bestBound=174
129.40/126.84	    
129.90/127.39	    num=92, depth=3..4, filters=162184, revisions=(204768,useless=35045), ccks=1222544811, wck=125.179, mem=112M646
129.90/127.39	    decisions=29194, wrong=14293, backtracks=271, failedAssignments=14219, nogoods=9232, foundSolutions=3, bestBound=174
129.90/127.39	    
130.40/127.82	    num=93, depth=0..2, filters=162525, revisions=(205243,useless=35158), ccks=1226849795, wck=125.61, mem=115M271
130.40/127.82	    decisions=29224, wrong=14307, backtracks=272, failedAssignments=14233, nogoods=9244, foundSolutions=3, bestBound=174
130.40/127.82	    
131.10/128.58	    num=94, depth=0..2, filters=163014, revisions=(205942,useless=35311), ccks=1234358226, wck=126.369, mem=115M271
131.10/128.58	    decisions=29258, wrong=14323, backtracks=274, failedAssignments=14249, nogoods=9256, foundSolutions=3, bestBound=174
131.10/128.58	    
131.71/129.19	    num=95, depth=1..5, filters=163721, revisions=(206818,useless=35474), ccks=1240165192, wck=126.975, mem=117M896
131.71/129.19	    decisions=29298, wrong=14341, backtracks=275, failedAssignments=14266, nogoods=9273, foundSolutions=3, bestBound=174
131.71/129.19	    
132.80/130.27	    num=96, depth=0..3, filters=164543, revisions=(208001,useless=35766), ccks=1250749325, wck=128.059, mem=120M522
132.80/130.27	    decisions=29340, wrong=14361, backtracks=283, failedAssignments=14285, nogoods=9274, foundSolutions=3, bestBound=174
132.80/130.27	    
134.11/131.51	    num=97, depth=0..3, filters=165418, revisions=(209294,useless=36042), ccks=1262233545, wck=129.298, mem=123M147
134.11/131.51	    decisions=29384, wrong=14383, backtracks=294, failedAssignments=14306, nogoods=9274, foundSolutions=3, bestBound=174
134.11/131.51	    
134.81/132.22	    num=98, depth=6..7, filters=166438, revisions=(210613,useless=36320), ccks=1269595342, wck=130.0, mem=123M147
134.81/132.22	    decisions=29438, wrong=14407, backtracks=295, failedAssignments=14329, nogoods=9297, foundSolutions=3, bestBound=174
134.81/132.22	    
135.62/133.07	    num=99, depth=0..3, filters=167073, revisions=(211499,useless=36535), ccks=1277838500, wck=130.852, mem=125M772
135.62/133.07	    decisions=29492, wrong=14433, backtracks=298, failedAssignments=14354, nogoods=9315, foundSolutions=3, bestBound=174
135.62/133.07	    
136.11/133.58	    num=100, depth=5..8, filters=168027, revisions=(212779,useless=36841), ccks=1282937574, wck=131.362, mem=128M397
136.11/133.58	    decisions=29556, wrong=14461, backtracks=299, failedAssignments=14382, nogoods=9341, foundSolutions=3, bestBound=174
136.11/133.58	    
137.01/134.43	    num=101, depth=1..7, filters=169260, revisions=(214322,useless=37111), ccks=1291803972, wck=132.215, mem=131M23
137.01/134.43	    decisions=29625, wrong=14492, backtracks=299, failedAssignments=14413, nogoods=9372, foundSolutions=3, bestBound=174
137.01/134.43	    
138.62/136.04	    num=102, depth=0..3, filters=170472, revisions=(216028,useless=37494), ccks=1307123444, wck=133.826, mem=133M648
138.62/136.04	    decisions=29697, wrong=14527, backtracks=306, failedAssignments=14447, nogoods=9384, foundSolutions=3, bestBound=174
138.62/136.04	    
139.11/136.52	    num=103, depth=2..7, filters=171132, revisions=(216906,useless=37669), ccks=1311828637, wck=134.301, mem=133M648
139.11/136.52	    decisions=29778, wrong=14564, backtracks=306, failedAssignments=14484, nogoods=9421, foundSolutions=3, bestBound=174
139.11/136.52	    
139.62/137.02	    num=104, depth=7..10, filters=172941, revisions=(219174,useless=38116), ccks=1316804779, wck=134.81, mem=136M273
139.62/137.02	    decisions=29874, wrong=14607, backtracks=311, failedAssignments=14525, nogoods=9457, foundSolutions=3, bestBound=174
139.62/137.02	    
142.01/139.41	    num=105, depth=0..5, filters=174565, revisions=(221484,useless=38723), ccks=1340803395, wck=137.2, mem=141M524
142.01/139.41	    decisions=29975, wrong=14655, backtracks=325, failedAssignments=14570, nogoods=9463, foundSolutions=3, bestBound=174
142.01/139.41	    
144.21/141.65	    num=106, depth=0..4, filters=176364, revisions=(224054,useless=39323), ccks=1362520877, wck=139.433, mem=146M774
144.21/141.65	    decisions=30083, wrong=14708, backtracks=334, failedAssignments=14620, nogoods=9475, foundSolutions=3, bestBound=174
144.21/141.65	    
144.51/141.96	    num=107, depth=7..7, filters=176708, revisions=(224532,useless=39435), ccks=1365356804, wck=139.742, mem=146M774
144.51/141.96	    decisions=30200, wrong=14763, backtracks=334, failedAssignments=14675, nogoods=9530, foundSolutions=3, bestBound=174
144.51/141.96	    
145.31/142.78	    num=108, depth=7..10, filters=179379, revisions=(228110,useless=40281), ccks=1373591152, wck=140.564, mem=152M24
145.31/142.78	    decisions=30337, wrong=14827, backtracks=341, failedAssignments=14736, nogoods=9572, foundSolutions=3, bestBound=174
145.31/142.78	    
148.21/145.62	    num=109, depth=0..7, filters=182043, revisions=(231857,useless=41178), ccks=1401620787, wck=143.406, mem=157M275
148.21/145.62	    decisions=30486, wrong=14898, backtracks=354, failedAssignments=14803, nogoods=9591, foundSolutions=3, bestBound=174
148.21/145.62	    
149.76/147.17	    num=110, depth=0..9, filters=184272, revisions=(234784,useless=41807), ccks=1416488001, wck=144.951, mem=30M537
149.76/147.17	    decisions=30651, wrong=14976, backtracks=365, failedAssignments=14877, nogoods=9634, foundSolutions=3, bestBound=174
149.76/147.17	    
150.57/147.92	    num=111, depth=2..9, filters=185371, revisions=(236290,useless=42127), ccks=1423746487, wck=145.704, mem=33M159
150.57/147.92	    decisions=30822, wrong=15057, backtracks=367, failedAssignments=14958, nogoods=9710, foundSolutions=3, bestBound=174
150.57/147.92	    
150.97/148.37	    num=112, depth=7..10, filters=186490, revisions=(237677,useless=42367), ccks=1428201847, wck=146.158, mem=36M640
150.97/148.37	    decisions=31012, wrong=15147, backtracks=369, failedAssignments=15047, nogoods=9797, foundSolutions=3, bestBound=174
150.97/148.37	    
151.80/149.16	    num=113, depth=8..13, filters=188511, revisions=(240223,useless=42821), ccks=1436463957, wck=146.948, mem=39M262
151.80/149.16	    decisions=31227, wrong=15248, backtracks=372, failedAssignments=15145, nogoods=9890, foundSolutions=3, bestBound=174
151.80/149.16	    
153.59/150.93	    num=114, depth=0..7, filters=193433, revisions=(245463,useless=43025), ccks=1454595863, wck=148.715, mem=41M884
153.59/150.93	    decisions=31450, wrong=15356, backtracks=372, failedAssignments=15253, nogoods=9997, foundSolutions=3, bestBound=174
153.59/150.93	    
156.10/153.42	    num=115, depth=0..7, filters=196095, revisions=(249044,useless=43782), ccks=1478863573, wck=151.2, mem=49M750
156.10/153.42	    decisions=31703, wrong=15479, backtracks=383, failedAssignments=15372, nogoods=10080, foundSolutions=3, bestBound=174
156.10/153.42	    
156.70/154.02	    num=116, depth=4..9, filters=197535, revisions=(250869,useless=44153), ccks=1484592243, wck=151.807, mem=52M372
156.70/154.02	    decisions=31974, wrong=15610, backtracks=384, failedAssignments=15503, nogoods=10210, foundSolutions=3, bestBound=174
156.70/154.02	    
157.10/154.45	    num=117, depth=7..10, filters=198441, revisions=(252015,useless=44362), ccks=1488662930, wck=152.234, mem=52M372
157.10/154.45	    decisions=32274, wrong=15755, backtracks=386, failedAssignments=15647, nogoods=10352, foundSolutions=3, bestBound=174
157.10/154.45	    
157.71/155.04	    num=118, depth=8..11, filters=200611, revisions=(254793,useless=44905), ccks=1494435173, wck=152.822, mem=54M994
157.71/155.04	    decisions=32607, wrong=15916, backtracks=390, failedAssignments=15805, nogoods=10491, foundSolutions=3, bestBound=174
157.71/155.04	    
162.03/159.33	    num=119, depth=5..6, filters=207186, revisions=(262030,useless=45176), ccks=1539756198, wck=157.119, mem=62M860
162.03/159.33	    decisions=32962, wrong=16091, backtracks=391, failedAssignments=15979, nogoods=10544, foundSolutions=3, bestBound=174
162.03/159.33	    
164.23/161.54	    num=120, depth=0..9, filters=210092, revisions=(265888,useless=46007), ccks=1561599412, wck=159.327, mem=70M726
164.23/161.54	    decisions=33356, wrong=16284, backtracks=399, failedAssignments=16170, nogoods=10715, foundSolutions=3, bestBound=174
164.23/161.54	    
166.63/163.90	    num=121, depth=3..10, filters=217918, revisions=(275928,useless=48050), ccks=1584585867, wck=161.683, mem=81M214
166.63/163.90	    decisions=33825, wrong=16514, backtracks=429, failedAssignments=16381, nogoods=10811, foundSolutions=3, bestBound=174
166.63/163.90	    
168.93/166.22	    num=122, depth=0..8, filters=220788, revisions=(279969,useless=49064), ccks=1605849431, wck=164.0, mem=89M80
168.93/166.22	    decisions=34297, wrong=16746, backtracks=444, failedAssignments=16613, nogoods=10946, foundSolutions=3, bestBound=174
168.93/166.22	    
180.74/178.04	    num=123, depth=0..4, filters=228358, revisions=(289797,useless=50182), ccks=1729504328, wck=175.823, mem=112M678
180.74/178.04	    decisions=34811, wrong=17002, backtracks=446, failedAssignments=16868, nogoods=11046, foundSolutions=3, bestBound=174
180.74/178.04	    
182.43/179.71	    num=124, depth=1..8, filters=230680, revisions=(292819,useless=50716), ccks=1745658071, wck=177.496, mem=117M922
182.43/179.71	    decisions=35384, wrong=17285, backtracks=452, failedAssignments=17149, nogoods=11320, foundSolutions=3, bestBound=174
182.43/179.71	    
185.53/182.86	    num=125, depth=3..10, filters=241382, revisions=(306132,useless=53097), ccks=1776361667, wck=180.643, mem=131M32
185.53/182.86	    decisions=36065, wrong=17621, backtracks=488, failedAssignments=17458, nogoods=11409, foundSolutions=3, bestBound=174
185.53/182.86	    
189.13/186.42	    num=126, depth=0..10, filters=245971, revisions=(312284,useless=54411), ccks=1810936685, wck=184.21, mem=141M520
189.13/186.42	    decisions=36766, wrong=17967, backtracks=506, failedAssignments=17798, nogoods=11657, foundSolutions=3, bestBound=174
189.13/186.42	    
196.34/193.69	    num=127, depth=1..7, filters=255063, revisions=(322990,useless=55447), ccks=1873195477, wck=191.474, mem=159M874
196.34/193.69	    decisions=37523, wrong=18342, backtracks=509, failedAssignments=18172, nogoods=11740, foundSolutions=3, bestBound=174
196.34/193.69	    
197.47/194.70	    num=128, depth=3..9, filters=256729, revisions=(325068,useless=55817), ccks=1882197541, wck=192.482, mem=30M767
197.47/194.70	    decisions=38354, wrong=18753, backtracks=511, failedAssignments=18583, nogoods=12147, foundSolutions=3, bestBound=174
197.47/194.70	    
198.08/195.35	    num=129, depth=3..9, filters=258037, revisions=(326694,useless=56105), ccks=1887656575, wck=193.134, mem=33M349
198.08/195.35	    decisions=39266, wrong=19205, backtracks=513, failedAssignments=19035, nogoods=12175, foundSolutions=3, bestBound=174
198.08/195.35	    
200.89/198.16	    num=130, depth=1..11, filters=264565, revisions=(334922,useless=57635), ccks=1914708871, wck=195.941, mem=41M93
200.89/198.16	    decisions=40300, wrong=19717, backtracks=544, failedAssignments=19532, nogoods=12574, foundSolutions=3, bestBound=174
200.89/198.16	    
214.81/212.07	    num=131, depth=1..4, filters=285315, revisions=(362822,useless=63544), ccks=2027672346, wck=209.857, mem=87M560
214.81/212.07	    decisions=41403, wrong=20267, backtracks=696, failedAssignments=20079, nogoods=12612, foundSolutions=3, bestBound=174
214.81/212.07	    
215.91/213.13	    num=132, depth=0..9, filters=286991, revisions=(364977,useless=63875), ccks=2036257496, wck=210.914, mem=90M141
215.91/213.13	    decisions=42615, wrong=20869, backtracks=705, failedAssignments=20681, nogoods=12784, foundSolutions=3, bestBound=174
215.91/213.13	    
216.91/214.13	    num=133, depth=2..11, filters=288748, revisions=(367106,useless=64170), ccks=2044913923, wck=211.919, mem=92M723
216.91/214.13	    decisions=43949, wrong=21531, backtracks=709, failedAssignments=21343, nogoods=13025, foundSolutions=3, bestBound=174
216.91/214.13	    
217.60/214.87	    num=134, depth=2..13, filters=290431, revisions=(369071,useless=64420), ccks=2050813623, wck=212.654, mem=95M854
217.60/214.87	    decisions=45417, wrong=22259, backtracks=713, failedAssignments=22071, nogoods=13334, foundSolutions=3, bestBound=174
217.60/214.87	    
218.81/216.01	    num=135, depth=3..10, filters=292971, revisions=(372183,useless=64956), ccks=2060149484, wck=213.8, mem=98M435
218.81/216.01	    decisions=47028, wrong=23060, backtracks=722, failedAssignments=22872, nogoods=13699, foundSolutions=3, bestBound=174
218.81/216.01	    
219.70/216.97	    num=136, depth=3..10, filters=294871, revisions=(374394,useless=65223), ccks=2067665636, wck=214.76, mem=101M17
219.70/216.97	    decisions=48801, wrong=23942, backtracks=725, failedAssignments=23753, nogoods=14161, foundSolutions=3, bestBound=174
219.70/216.97	    
220.81/218.05	    num=137, depth=2..10, filters=297112, revisions=(377064,useless=65624), ccks=2075874986, wck=215.831, mem=103M598
220.81/218.05	    decisions=50749, wrong=24912, backtracks=730, failedAssignments=24723, nogoods=14265, foundSolutions=3, bestBound=174
220.81/218.05	    
221.60/218.81	    num=138, depth=1..10, filters=298964, revisions=(379133,useless=65833), ccks=2080925869, wck=216.593, mem=106M180
221.60/218.81	    decisions=52891, wrong=25979, backtracks=732, failedAssignments=25790, nogoods=14474, foundSolutions=3, bestBound=174
221.60/218.81	    
223.60/220.80	    num=139, depth=3..10, filters=311520, revisions=(394606,useless=68861), ccks=2096036672, wck=218.582, mem=116M506
223.60/220.80	    decisions=55259, wrong=27159, backtracks=782, failedAssignments=26963, nogoods=14926, foundSolutions=3, bestBound=174
223.60/220.80	    
224.00/221.26	o 164
224.00/221.26	    num=140, depth=1..104, filters=312313, revisions=(395656,useless=69094), ccks=2100603452, wck=219.042, mem=119M87
224.00/221.26	    decisions=55530, wrong=27287, backtracks=782, failedAssignments=27091, nogoods=15054, foundSolutions=4, bestBound=164
224.00/221.26	    
225.14/222.32	    num=141, depth=8..11, filters=320818, revisions=(404861,useless=69828), ccks=2107590685, wck=220.105, mem=121M669
225.14/222.32	    decisions=58388, wrong=28711, backtracks=789, failedAssignments=28511, nogoods=15101, foundSolutions=4, bestBound=164
225.14/222.32	    
225.64/222.88	    num=142, depth=3..3, filters=321114, revisions=(405234,useless=69863), ccks=2113557947, wck=220.667, mem=121M669
225.64/222.88	    decisions=58413, wrong=28722, backtracks=789, failedAssignments=28522, nogoods=15112, foundSolutions=4, bestBound=164
225.64/222.88	    
226.14/223.34	    num=143, depth=0..2, filters=321486, revisions=(405752,useless=69969), ccks=2117959821, wck=221.129, mem=124M250
226.14/223.34	    decisions=58441, wrong=28735, backtracks=792, failedAssignments=28534, nogoods=15118, foundSolutions=4, bestBound=164
226.14/223.34	    
226.74/223.97	    num=144, depth=2..3, filters=321929, revisions=(406374,useless=70092), ccks=2124360897, wck=221.751, mem=124M250
226.74/223.97	    decisions=58472, wrong=28749, backtracks=793, failedAssignments=28547, nogoods=15131, foundSolutions=4, bestBound=164
226.74/223.97	    
227.44/224.64	    num=145, depth=1..3, filters=322427, revisions=(407112,useless=70266), ccks=2130978336, wck=222.423, mem=126M832
227.44/224.64	    decisions=58504, wrong=28764, backtracks=797, failedAssignments=28561, nogoods=15134, foundSolutions=4, bestBound=164
227.44/224.64	    
228.04/225.28	    num=146, depth=2..3, filters=322961, revisions=(407824,useless=70378), ccks=2137497052, wck=223.064, mem=129M413
228.04/225.28	    decisions=58539, wrong=28780, backtracks=798, failedAssignments=28577, nogoods=15148, foundSolutions=4, bestBound=164
228.04/225.28	    
228.74/225.97	    num=147, depth=1..3, filters=323644, revisions=(408848,useless=70596), ccks=2143517177, wck=223.755, mem=129M413
228.74/225.97	    decisions=58576, wrong=28798, backtracks=806, failedAssignments=28594, nogoods=15158, foundSolutions=4, bestBound=164
228.74/225.97	    
229.34/226.57	    num=148, depth=2..9, filters=324448, revisions=(409974,useless=70882), ccks=2149173120, wck=224.357, mem=131M995
229.34/226.57	    decisions=58625, wrong=28818, backtracks=808, failedAssignments=28613, nogoods=15175, foundSolutions=4, bestBound=164
229.34/226.57	    
229.95/227.18	    num=149, depth=3..5, filters=325127, revisions=(410869,useless=71050), ccks=2155017300, wck=224.964, mem=134M576
229.95/227.18	    decisions=58675, wrong=28841, backtracks=811, failedAssignments=28634, nogoods=15180, foundSolutions=4, bestBound=164
229.95/227.18	    
230.34/227.55	    num=150, depth=2..9, filters=325605, revisions=(411527,useless=71208), ccks=2158464007, wck=225.339, mem=134M576
230.34/227.55	    decisions=58732, wrong=28865, backtracks=813, failedAssignments=28657, nogoods=15201, foundSolutions=4, bestBound=164
230.34/227.55	    
230.95/228.15	    num=151, depth=3..5, filters=326414, revisions=(412581,useless=71413), ccks=2163957445, wck=225.931, mem=137M158
230.95/228.15	    decisions=58790, wrong=28892, backtracks=816, failedAssignments=28682, nogoods=15208, foundSolutions=4, bestBound=164
230.95/228.15	    
231.34/228.52	    num=152, depth=2..9, filters=326896, revisions=(413247,useless=71575), ccks=2167410919, wck=226.308, mem=137M158
231.34/228.52	    decisions=58857, wrong=28921, backtracks=818, failedAssignments=28710, nogoods=15233, foundSolutions=4, bestBound=164
231.34/228.52	    
232.24/229.43	    num=153, depth=3..9, filters=328423, revisions=(415244,useless=72008), ccks=2175804740, wck=227.211, mem=139M739
232.24/229.43	    decisions=58934, wrong=28955, backtracks=822, failedAssignments=28741, nogoods=15247, foundSolutions=4, bestBound=164
232.24/229.43	    
232.95/230.14	    num=154, depth=0..3, filters=329115, revisions=(416256,useless=72266), ccks=2182419666, wck=227.92, mem=142M321
232.95/230.14	    decisions=59006, wrong=28990, backtracks=825, failedAssignments=28775, nogoods=15272, foundSolutions=4, bestBound=164
232.95/230.14	    
234.04/231.21	    num=155, depth=0..5, filters=330501, revisions=(418107,useless=72642), ccks=2192479628, wck=228.992, mem=144M902
234.04/231.21	    decisions=59089, wrong=29029, backtracks=831, failedAssignments=28812, nogoods=15280, foundSolutions=4, bestBound=164
234.04/231.21	    
235.14/232.32	    num=156, depth=0..8, filters=331845, revisions=(420043,useless=73116), ccks=2202329125, wck=230.11, mem=150M65
235.14/232.32	    decisions=59180, wrong=29071, backtracks=839, failedAssignments=28853, nogoods=15302, foundSolutions=4, bestBound=164
235.14/232.32	    
236.64/233.86	    num=157, depth=2..6, filters=333364, revisions=(422137,useless=73608), ccks=2217377932, wck=231.641, mem=152M646
236.64/233.86	    decisions=59280, wrong=29118, backtracks=845, failedAssignments=28898, nogoods=15326, foundSolutions=4, bestBound=164
236.64/233.86	    
237.24/234.44	    num=158, depth=0..4, filters=334151, revisions=(423245,useless=73873), ccks=2222397849, wck=232.229, mem=155M228
237.24/234.44	    decisions=59381, wrong=29168, backtracks=851, failedAssignments=28948, nogoods=15337, foundSolutions=4, bestBound=164
237.24/234.44	    
238.98/236.13	    num=159, depth=1..5, filters=336430, revisions=(426399,useless=74564), ccks=2239456568, wck=233.915, mem=31M228
238.98/236.13	    decisions=59498, wrong=29224, backtracks=854, failedAssignments=29003, nogoods=15370, foundSolutions=4, bestBound=164
238.98/236.13	    
241.27/238.48	    num=160, depth=0..3, filters=338194, revisions=(428897,useless=75153), ccks=2262986559, wck=236.262, mem=36M313
241.27/238.48	    decisions=59627, wrong=29287, backtracks=870, failedAssignments=29064, nogoods=15375, foundSolutions=4, bestBound=164
241.27/238.48	    
243.47/240.62	    num=161, depth=0..4, filters=340630, revisions=(432400,useless=75980), ccks=2283136221, wck=238.405, mem=41M398
243.47/240.62	    decisions=59777, wrong=29360, backtracks=884, failedAssignments=29131, nogoods=15405, foundSolutions=4, bestBound=164
243.47/240.62	    
245.28/242.48	    num=162, depth=0..10, filters=342583, revisions=(435170,useless=76560), ccks=2301673601, wck=240.26, mem=46M484
245.28/242.48	    decisions=59937, wrong=29435, backtracks=896, failedAssignments=29205, nogoods=15445, foundSolutions=4, bestBound=164
245.28/242.48	    
246.38/243.50	    num=163, depth=3..3, filters=344828, revisions=(437437,useless=76667), ccks=2307077783, wck=241.29, mem=49M26
246.38/243.50	    decisions=60102, wrong=29516, backtracks=896, failedAssignments=29286, nogoods=15526, foundSolutions=4, bestBound=164
246.38/243.50	    
247.78/244.92	    num=164, depth=1..9, filters=347944, revisions=(441335,useless=77353), ccks=2321596894, wck=242.706, mem=54M111
247.78/244.92	    decisions=60290, wrong=29607, backtracks=903, failedAssignments=29375, nogoods=15568, foundSolutions=4, bestBound=164
247.78/244.92	    
248.58/245.70	    num=165, depth=0..7, filters=349218, revisions=(443144,useless=77840), ccks=2328447492, wck=243.489, mem=56M654
248.58/245.70	    decisions=60493, wrong=29705, backtracks=908, failedAssignments=29473, nogoods=15640, foundSolutions=4, bestBound=164
248.58/245.70	    
249.38/246.54	    num=166, depth=5..11, filters=350621, revisions=(444957,useless=78193), ccks=2336793476, wck=244.321, mem=61M739
249.38/246.54	    decisions=60720, wrong=29813, backtracks=910, failedAssignments=29581, nogoods=15746, foundSolutions=4, bestBound=164
249.38/246.54	    
250.58/247.79	    num=167, depth=0..3, filters=353966, revisions=(448322,useless=78336), ccks=2343396442, wck=245.579, mem=61M739
250.58/247.79	    decisions=60961, wrong=29932, backtracks=910, failedAssignments=29700, nogoods=15864, foundSolutions=4, bestBound=164
250.58/247.79	    
251.28/248.44	    num=168, depth=1..9, filters=355986, revisions=(450770,useless=78761), ccks=2349401102, wck=246.223, mem=64M282
251.28/248.44	    decisions=61232, wrong=30064, backtracks=916, failedAssignments=29831, nogoods=15973, foundSolutions=4, bestBound=164
251.28/248.44	    
252.48/249.69	    num=169, depth=6..10, filters=361847, revisions=(458237,useless=80315), ccks=2361374701, wck=247.476, mem=71M910
252.48/249.69	    decisions=61545, wrong=30216, backtracks=936, failedAssignments=29975, nogoods=16042, foundSolutions=4, bestBound=164
252.48/249.69	    
256.89/254.03	    num=170, depth=0..8, filters=366555, revisions=(464760,useless=81694), ccks=2403621815, wck=251.813, mem=84M623
256.89/254.03	    decisions=61873, wrong=30377, backtracks=964, failedAssignments=30133, nogoods=16068, foundSolutions=4, bestBound=164
256.89/254.03	    
260.69/257.84	    num=171, depth=0..9, filters=373241, revisions=(473768,useless=83578), ccks=2439230522, wck=255.623, mem=97M336
260.69/257.84	    decisions=62251, wrong=30563, backtracks=1001, failedAssignments=30307, nogoods=16124, foundSolutions=4, bestBound=164
260.69/257.84	    
264.09/261.23	    num=172, depth=0..8, filters=380246, revisions=(483187,useless=85561), ccks=2469985836, wck=259.02, mem=110M49
264.09/261.23	    decisions=62649, wrong=30759, backtracks=1043, failedAssignments=30498, nogoods=16188, foundSolutions=4, bestBound=164
264.09/261.23	    
264.59/261.76	    num=173, depth=0..6, filters=381000, revisions=(484219,useless=85770), ccks=2473558267, wck=259.544, mem=112M591
264.59/261.76	    decisions=63077, wrong=30970, backtracks=1048, failedAssignments=30709, nogoods=16390, foundSolutions=4, bestBound=164
264.59/261.76	    
265.00/262.19	    num=174, depth=5..9, filters=381837, revisions=(485252,useless=85964), ccks=2477333736, wck=259.97, mem=112M591
265.00/262.19	    decisions=63552, wrong=31203, backtracks=1049, failedAssignments=30941, nogoods=16620, foundSolutions=4, bestBound=164
265.00/262.19	    
267.59/264.79	    num=175, depth=5..9, filters=390736, revisions=(496558,useless=87843), ccks=2503293302, wck=262.575, mem=125M304
267.59/264.79	    decisions=64100, wrong=31473, backtracks=1075, failedAssignments=31196, nogoods=16709, foundSolutions=4, bestBound=164
267.59/264.79	    
272.69/269.86	    num=176, depth=0..8, filters=396475, revisions=(504503,useless=89369), ccks=2551061644, wck=267.644, mem=138M17
272.69/269.86	    decisions=64677, wrong=31758, backtracks=1112, failedAssignments=31477, nogoods=16845, foundSolutions=4, bestBound=164
272.69/269.86	    
273.49/270.61	    num=177, depth=7..11, filters=398616, revisions=(507153,useless=89823), ccks=2558330529, wck=268.394, mem=140M560
273.49/270.61	    decisions=65310, wrong=32069, backtracks=1116, failedAssignments=31786, nogoods=17146, foundSolutions=4, bestBound=164
273.49/270.61	    
284.63/281.79	    num=178, depth=2..5, filters=407492, revisions=(517870,useless=90363), ccks=2676594563, wck=279.577, mem=33M928
284.63/281.79	    decisions=65998, wrong=32412, backtracks=1119, failedAssignments=32126, nogoods=17161, foundSolutions=4, bestBound=164
284.63/281.79	    
286.04/283.19	    num=179, depth=0..8, filters=409767, revisions=(521013,useless=91030), ccks=2687205164, wck=280.979, mem=38M940
286.04/283.19	    decisions=66753, wrong=32786, backtracks=1135, failedAssignments=32500, nogoods=17506, foundSolutions=4, bestBound=164
286.04/283.19	    
286.53/283.68	    num=180, depth=7..10, filters=411890, revisions=(523387,useless=91305), ccks=2691311234, wck=281.465, mem=41M447
286.53/283.68	    decisions=67587, wrong=33198, backtracks=1136, failedAssignments=32911, nogoods=17902, foundSolutions=4, bestBound=164
286.53/283.68	    
287.14/284.23	    num=181, depth=7..9, filters=413160, revisions=(524919,useless=91537), ccks=2695905402, wck=282.011, mem=41M447
287.14/284.23	    decisions=68501, wrong=33651, backtracks=1138, failedAssignments=33363, nogoods=17932, foundSolutions=4, bestBound=164
287.14/284.23	    
289.74/286.86	    num=182, depth=1..8, filters=416043, revisions=(528869,useless=92297), ccks=2720486819, wck=284.643, mem=48M966
289.74/286.86	    decisions=69505, wrong=34149, backtracks=1152, failedAssignments=33860, nogoods=18374, foundSolutions=4, bestBound=164
289.74/286.86	    
290.34/287.40	    num=183, depth=2..10, filters=417378, revisions=(530451,useless=92515), ccks=2724213466, wck=285.186, mem=51M472
290.34/287.40	    decisions=70609, wrong=34696, backtracks=1154, failedAssignments=34407, nogoods=18496, foundSolutions=4, bestBound=164
290.34/287.40	    
290.64/287.79	    num=184, depth=5..9, filters=418420, revisions=(531668,useless=92669), ccks=2726384726, wck=285.576, mem=51M472
290.64/287.79	    decisions=71821, wrong=35298, backtracks=1155, failedAssignments=35009, nogoods=18676, foundSolutions=4, bestBound=164
290.64/287.79	    
291.74/288.80	    num=185, depth=2..10, filters=420866, revisions=(534723,useless=93248), ccks=2734544063, wck=286.59, mem=53M979
291.74/288.80	    decisions=73153, wrong=35960, backtracks=1167, failedAssignments=35671, nogoods=18898, foundSolutions=4, bestBound=164
291.74/288.80	    
292.14/289.25	    num=186, depth=3..10, filters=422086, revisions=(536119,useless=93410), ccks=2737365551, wck=287.035, mem=56M485
292.14/289.25	    decisions=74618, wrong=36688, backtracks=1168, failedAssignments=36399, nogoods=19208, foundSolutions=4, bestBound=164
292.14/289.25	    
294.24/291.34	    num=187, depth=1..11, filters=430419, revisions=(546445,useless=95328), ccks=2757392913, wck=289.124, mem=66M856
294.24/291.34	    decisions=76277, wrong=37513, backtracks=1213, failedAssignments=37200, nogoods=19456, foundSolutions=4, bestBound=164
294.24/291.34	    
295.24/292.36	    num=188, depth=3..8, filters=432524, revisions=(548956,useless=95720), ccks=2764004171, wck=290.142, mem=69M363
295.24/292.36	    decisions=78048, wrong=38395, backtracks=1215, failedAssignments=38081, nogoods=19908, foundSolutions=4, bestBound=164
295.24/292.36	    
296.34/293.44	    num=189, depth=1..10, filters=434812, revisions=(551724,useless=96195), ccks=2772358400, wck=291.223, mem=71M869
296.34/293.44	    decisions=79994, wrong=39365, backtracks=1222, failedAssignments=39051, nogoods=19986, foundSolutions=4, bestBound=164
296.34/293.44	    
297.54/294.67	    num=190, depth=2..9, filters=436842, revisions=(554193,useless=96486), ccks=2781133097, wck=292.453, mem=74M376
297.54/294.67	    decisions=82135, wrong=40432, backtracks=1227, failedAssignments=40118, nogoods=20170, foundSolutions=4, bestBound=164
297.54/294.67	    
299.14/296.22	    num=191, depth=2..11, filters=442004, revisions=(560484,useless=97544), ccks=2793982273, wck=294.001, mem=79M388
299.14/296.22	    decisions=84495, wrong=41607, backtracks=1250, failedAssignments=41291, nogoods=20397, foundSolutions=4, bestBound=164
299.14/296.22	    
299.84/296.92	    num=192, depth=2..9, filters=443696, revisions=(562315,useless=97677), ccks=2796303715, wck=294.701, mem=81M895
299.84/296.92	    decisions=87084, wrong=42898, backtracks=1252, failedAssignments=42582, nogoods=20821, foundSolutions=4, bestBound=164
299.84/296.92	    
300.64/297.72	    num=193, depth=2..10, filters=445762, revisions=(564577,useless=97865), ccks=2800151135, wck=295.507, mem=81M895
300.64/297.72	    decisions=89931, wrong=44318, backtracks=1257, failedAssignments=44002, nogoods=20929, foundSolutions=4, bestBound=164
300.64/297.72	    
301.44/298.57	    num=194, depth=3..10, filters=448163, revisions=(567237,useless=98106), ccks=2803491777, wck=296.355, mem=84M401
301.44/298.57	    decisions=93062, wrong=45880, backtracks=1261, failedAssignments=45564, nogoods=21196, foundSolutions=4, bestBound=164
301.44/298.57	    
303.64/300.74	    num=195, depth=3..10, filters=466384, revisions=(589794,useless=102585), ccks=2817468041, wck=298.526, mem=101M946
303.64/300.74	    decisions=96532, wrong=47611, backtracks=1336, failedAssignments=47282, nogoods=21623, foundSolutions=4, bestBound=164
303.64/300.74	    
326.65/323.72	    num=196, depth=1..8, filters=492019, revisions=(620289,useless=104278), ccks=3052017910, wck=321.502, mem=154M580
326.65/323.72	    decisions=100327, wrong=49507, backtracks=1350, failedAssignments=49172, nogoods=21888, foundSolutions=4, bestBound=164
326.65/323.72	    
332.38/329.50	    num=197, depth=2..10, filters=536752, revisions=(673281,useless=112239), ccks=3100444581, wck=327.28, mem=71M398
332.38/329.50	    decisions=104651, wrong=51665, backtracks=1455, failedAssignments=51251, nogoods=22427, foundSolutions=4, bestBound=164
332.38/329.50	    
334.09/331.12	    num=198, depth=2..11, filters=541441, revisions=(678539,useless=112803), ccks=3108126505, wck=328.903, mem=76M329
334.09/331.12	    decisions=109237, wrong=53953, backtracks=1466, failedAssignments=53538, nogoods=22866, foundSolutions=4, bestBound=164
334.09/331.12	    
388.95/385.94	    num=199, depth=1..6, filters=611513, revisions=(769544,useless=128754), ccks=3606925115, wck=383.723, mem=114M589
388.95/385.94	    decisions=114297, wrong=56481, backtracks=1783, failedAssignments=56054, nogoods=22981, foundSolutions=4, bestBound=164
388.95/385.94	    
391.35/388.31	    num=200, depth=0..10, filters=615889, revisions=(774486,useless=129166), ccks=3617390610, wck=386.097, mem=117M16
391.35/388.31	    decisions=119851, wrong=59256, backtracks=1800, failedAssignments=58822, nogoods=23467, foundSolutions=4, bestBound=164
391.35/388.31	    
393.06/390.10	    num=201, depth=3..12, filters=621123, revisions=(780350,useless=129800), ccks=3621730624, wck=387.888, mem=119M443
393.06/390.10	    decisions=125951, wrong=62300, backtracks=1816, failedAssignments=61866, nogoods=23803, foundSolutions=4, bestBound=164
393.06/390.10	    
403.71/400.66	    num=202, depth=0..10, filters=641468, revisions=(806055,useless=134909), ccks=3715180689, wck=398.447, mem=36M904
403.71/400.66	    decisions=132693, wrong=65667, backtracks=1896, failedAssignments=65215, nogoods=23852, foundSolutions=4, bestBound=164
403.71/400.66	    
432.26/429.15	    num=203, depth=0..9, filters=701514, revisions=(884076,useless=150160), ccks=3952272263, wck=426.93, mem=32M75
432.26/429.15	    decisions=140099, wrong=69368, backtracks=2175, failedAssignments=68899, nogoods=24318, foundSolutions=4, bestBound=164
432.26/429.15	    
434.85/431.75	    num=204, depth=1..11, filters=711488, revisions=(895763,useless=151921), ccks=3964040879, wck=429.534, mem=39M145
434.85/431.75	    decisions=148241, wrong=73434, backtracks=2218, failedAssignments=72951, nogoods=24717, foundSolutions=4, bestBound=164
434.85/431.75	    
545.72/542.54	    num=205, depth=0..8, filters=839343, revisions=(1058841,useless=173092), ccks=5101807177, wck=540.321, mem=137M700
545.72/542.54	    decisions=157224, wrong=77924, backtracks=2471, failedAssignments=77408, nogoods=24750, foundSolutions=4, bestBound=164
545.72/542.54	    
547.12/543.95	    num=206, depth=4..13, filters=844972, revisions=(1064654,useless=173265), ccks=5104863127, wck=541.734, mem=137M700
547.12/543.95	    decisions=167035, wrong=82827, backtracks=2482, failedAssignments=82311, nogoods=24761, foundSolutions=4, bestBound=164
547.12/543.95	    
551.36/548.17	    num=207, depth=0..10, filters=863364, revisions=(1087005,useless=177003), ccks=5121647576, wck=545.951, mem=41M203
551.36/548.17	    decisions=177860, wrong=88235, backtracks=2562, failedAssignments=87705, nogoods=24884, foundSolutions=4, bestBound=164
551.36/548.17	    
555.96/552.74	    num=208, depth=1..11, filters=872215, revisions=(1096652,useless=177842), ccks=5130661812, wck=550.523, mem=45M732
555.96/552.74	    decisions=189735, wrong=94168, backtracks=2587, failedAssignments=93638, nogoods=25197, foundSolutions=4, bestBound=164
555.96/552.74	    
586.67/583.46	    num=209, depth=0..13, filters=918083, revisions=(1152022,useless=184869), ccks=5412810111, wck=581.247, mem=129M511
586.67/583.46	    decisions=202829, wrong=100712, backtracks=2661, failedAssignments=100164, nogoods=25533, foundSolutions=4, bestBound=164
586.67/583.46	    
601.50/598.25	    num=210, depth=0..11, filters=1014320, revisions=(1268421,useless=202947), ccks=5526595935, wck=596.033, mem=130M443
601.50/598.25	    decisions=217357, wrong=107971, backtracks=2926, failedAssignments=107343, nogoods=25606, foundSolutions=4, bestBound=164
601.50/598.25	    
614.44/611.18	    num=211, depth=2..11, filters=1108335, revisions=(1385235,useless=223155), ccks=5625465605, wck=608.966, mem=107M49
614.44/611.18	    decisions=233449, wrong=116013, backtracks=3154, failedAssignments=115240, nogoods=25742, foundSolutions=4, bestBound=164
614.44/611.18	    
621.95/618.63	    num=212, depth=0..9, filters=1121284, revisions=(1400004,useless=224602), ccks=5646876097, wck=616.41, mem=120M260
621.95/618.63	    decisions=250833, wrong=124703, backtracks=3192, failedAssignments=123927, nogoods=26155, foundSolutions=4, bestBound=164
621.95/618.63	    
634.59/631.27	    num=213, depth=0..11, filters=1137765, revisions=(1419107,useless=227328), ccks=5727516842, wck=629.052, mem=34M548
634.59/631.27	    decisions=269954, wrong=134259, backtracks=3221, failedAssignments=133482, nogoods=26392, foundSolutions=4, bestBound=164
634.59/631.27	    
643.79/640.45	    num=214, depth=0..16, filters=1155731, revisions=(1440052,useless=230246), ccks=5795529911, wck=638.235, mem=56M252
643.79/640.45	    decisions=290991, wrong=144773, backtracks=3272, failedAssignments=143993, nogoods=26728, foundSolutions=4, bestBound=164
643.79/640.45	    
654.31/650.94	    num=215, depth=6..11, filters=1234878, revisions=(1533576,useless=243440), ccks=5852827950, wck=648.726, mem=32M420
654.31/650.94	    decisions=314195, wrong=156371, backtracks=3489, failedAssignments=155555, nogoods=26991, foundSolutions=4, bestBound=164
654.31/650.94	    
663.43/660.02	    num=216, depth=0..18, filters=1256912, revisions=(1558998,useless=246108), ccks=5898475744, wck=657.802, mem=53M810
663.43/660.02	    decisions=339675, wrong=169102, backtracks=3577, failedAssignments=168273, nogoods=27240, foundSolutions=4, bestBound=164
663.43/660.02	    
698.64/695.21	    num=217, depth=0..14, filters=1391117, revisions=(1717484,useless=265238), ccks=6209244717, wck=692.997, mem=102M37
698.64/695.21	    decisions=367937, wrong=183228, backtracks=3897, failedAssignments=182263, nogoods=27309, foundSolutions=4, bestBound=164
698.64/695.21	    
726.36/723.00	    num=218, depth=0..10, filters=1513037, revisions=(1872304,useless=294966), ccks=6413488649, wck=720.785, mem=61M99
726.36/723.00	    decisions=398909, wrong=198710, backtracks=4362, failedAssignments=197652, nogoods=27432, foundSolutions=4, bestBound=164
726.36/723.00	    
740.58/737.16	    num=219, depth=1..13, filters=1554591, revisions=(1922796,useless=303154), ccks=6474058607, wck=734.946, mem=106M82
740.58/737.16	    decisions=432794, wrong=215648, backtracks=4450, failedAssignments=214580, nogoods=27728, foundSolutions=4, bestBound=164
740.58/737.16	    
764.98/761.52	    num=220, depth=0..9, filters=1587859, revisions=(1961742,useless=307744), ccks=6580305885, wck=759.308, mem=40M536
764.98/761.52	    decisions=470075, wrong=234284, backtracks=4599, failedAssignments=233201, nogoods=28168, foundSolutions=4, bestBound=164
764.98/761.52	    
783.08/779.64	    num=221, depth=1..12, filters=1621751, revisions=(1999653,useless=312908), ccks=6615308580, wck=777.427, mem=64M695
783.08/779.64	    decisions=511055, wrong=254770, backtracks=4684, failedAssignments=253685, nogoods=28269, foundSolutions=4, bestBound=164
783.08/779.64	    
819.62/816.14	    num=222, depth=0..16, filters=1679979, revisions=(2069032,useless=321371), ccks=6891022393, wck=813.93, mem=50M474
819.62/816.14	    decisions=556155, wrong=277315, backtracks=4860, failedAssignments=276217, nogoods=28621, foundSolutions=4, bestBound=164
819.62/816.14	    
844.22/840.79	    num=223, depth=1..18, filters=1805837, revisions=(2221888,useless=343537), ccks=7046313000, wck=838.57, mem=83M859
844.22/840.79	    decisions=605971, wrong=302218, backtracks=5180, failedAssignments=301002, nogoods=28995, foundSolutions=4, bestBound=164
844.22/840.79	    
870.64/867.14	    num=224, depth=0..15, filters=1865761, revisions=(2292277,useless=351417), ccks=7168197130, wck=864.925, mem=34M600
870.64/867.14	    decisions=660526, wrong=329490, backtracks=5559, failedAssignments=328266, nogoods=29166, foundSolutions=4, bestBound=164
870.64/867.14	    
891.95/888.41	    num=225, depth=1..21, filters=1923271, revisions=(2358251,useless=359588), ccks=7241731241, wck=886.198, mem=89M209
891.95/888.41	    decisions=720595, wrong=359515, backtracks=5751, failedAssignments=358256, nogoods=29526, foundSolutions=4, bestBound=164
891.95/888.41	    
920.46/916.94	    num=226, depth=0..14, filters=1999316, revisions=(2449336,useless=372757), ccks=7390526328, wck=914.723, mem=84M811
920.46/916.94	    decisions=786637, wrong=392531, backtracks=6080, failedAssignments=391245, nogoods=29593, foundSolutions=4, bestBound=164
920.46/916.94	    
950.18/946.66	    num=227, depth=0..17, filters=2117010, revisions=(2589400,useless=392692), ccks=7521258580, wck=944.446, mem=32M709
950.18/946.66	    decisions=859439, wrong=428927, backtracks=6498, failedAssignments=427533, nogoods=29709, foundSolutions=4, bestBound=164
950.18/946.66	    
984.49/980.94	    num=228, depth=0..18, filters=2247335, revisions=(2745323,useless=414394), ccks=7695925508, wck=978.722, mem=86M873
984.49/980.94	    decisions=939543, wrong=468970, backtracks=7014, failedAssignments=467450, nogoods=30251, foundSolutions=4, bestBound=164
984.49/980.94	    
1025.19/1021.65	    num=229, depth=0..14, filters=2303749, revisions=(2806349,useless=418811), ccks=7783860450, wck=1019.436, mem=32M807
1025.19/1021.65	    decisions=1027370, wrong=512881, backtracks=7201, failedAssignments=511359, nogoods=30303, foundSolutions=4, bestBound=164
1025.19/1021.65	    
1070.22/1066.66	    num=230, depth=1..16, filters=2560041, revisions=(3114495,useless=465820), ccks=8029131618, wck=1064.443, mem=76M91
1070.22/1066.66	    decisions=1124566, wrong=561474, backtracks=7965, failedAssignments=559659, nogoods=30906, foundSolutions=4, bestBound=164
1070.22/1066.66	    
1206.17/1202.59	    num=231, depth=0..19, filters=2780062, revisions=(3385312,useless=511134), ccks=8899894830, wck=1200.372, mem=63M815
1206.17/1202.59	    decisions=1230908, wrong=614637, backtracks=8839, failedAssignments=612789, nogoods=31442, foundSolutions=4, bestBound=164
1206.17/1202.59	    
1247.49/1243.84	    num=232, depth=1..17, filters=2958088, revisions=(3596019,useless=539609), ccks=9042323990, wck=1241.629, mem=68M141
1247.49/1243.84	    decisions=1347975, wrong=673165, backtracks=9235, failedAssignments=671232, nogoods=31796, foundSolutions=4, bestBound=164
1247.49/1243.84	    
1276.72/1273.06	o 162
1276.72/1273.06	    num=233, depth=0..104, filters=3044171, revisions=(3693906,useless=549915), ccks=9132412847, wck=1270.847, mem=39M720
1276.72/1273.06	    decisions=1446426, wrong=722379, backtracks=9672, failedAssignments=720437, nogoods=32312, foundSolutions=5, bestBound=162
1276.72/1273.06	    
1308.83/1305.19	    num=234, depth=2..18, filters=3200662, revisions=(3868163,useless=567175), ccks=9194795336, wck=1302.972, mem=44M498
1308.83/1305.19	    decisions=1588155, wrong=793238, backtracks=10049, failedAssignments=791153, nogoods=32799, foundSolutions=5, bestBound=162
1308.83/1305.19	    
1309.32/1305.69	    num=235, depth=0..1, filters=3201020, revisions=(3868597,useless=567184), ccks=9200450356, wck=1303.479, mem=44M498
1309.32/1305.69	    decisions=1588178, wrong=793249, backtracks=10049, failedAssignments=791164, nogoods=32807, foundSolutions=5, bestBound=162
1309.32/1305.69	    
1310.12/1306.44	    num=236, depth=2..3, filters=3201856, revisions=(3869808,useless=567372), ccks=9206887987, wck=1304.224, mem=46M133
1310.12/1306.44	    decisions=1588211, wrong=793264, backtracks=10055, failedAssignments=791176, nogoods=32814, foundSolutions=5, bestBound=162
1310.12/1306.44	    
1310.43/1306.77	    num=237, depth=3..4, filters=3202198, revisions=(3870252,useless=567464), ccks=9209931321, wck=1304.55, mem=47M767
1310.43/1306.77	    decisions=1588240, wrong=793277, backtracks=10056, failedAssignments=791189, nogoods=32823, foundSolutions=5, bestBound=162
1310.43/1306.77	    
1311.23/1307.53	    num=238, depth=1..3, filters=3202761, revisions=(3871080,useless=567698), ccks=9217396512, wck=1305.316, mem=49M402
1311.23/1307.53	    decisions=1588272, wrong=793292, backtracks=10062, failedAssignments=791203, nogoods=32829, foundSolutions=5, bestBound=162
1311.23/1307.53	    
1311.84/1308.11	    num=239, depth=3..6, filters=3203361, revisions=(3871890,useless=567871), ccks=9223181566, wck=1305.893, mem=51M37
1311.84/1308.11	    decisions=1588311, wrong=793309, backtracks=10064, failedAssignments=791219, nogoods=32841, foundSolutions=5, bestBound=162
1311.84/1308.11	    
1312.33/1308.65	    num=240, depth=0..3, filters=3204150, revisions=(3873015,useless=568019), ccks=9227398139, wck=1306.438, mem=52M672
1312.33/1308.65	    decisions=1588352, wrong=793328, backtracks=10068, failedAssignments=791236, nogoods=32847, foundSolutions=5, bestBound=162
1312.33/1308.65	    
1313.13/1309.46	    num=241, depth=1..4, filters=3204984, revisions=(3874197,useless=568228), ccks=9234556082, wck=1307.249, mem=54M306
1313.13/1309.46	    decisions=1588396, wrong=793349, backtracks=10074, failedAssignments=791255, nogoods=32856, foundSolutions=5, bestBound=162
1313.13/1309.46	    
1313.53/1309.84	    num=242, depth=3..7, filters=3205649, revisions=(3875090,useless=568430), ccks=9238080599, wck=1307.626, mem=55M941
1313.53/1309.84	    decisions=1588447, wrong=793371, backtracks=10076, failedAssignments=791276, nogoods=32870, foundSolutions=5, bestBound=162
1313.53/1309.84	    
1314.33/1310.61	    num=243, depth=2..4, filters=3206626, revisions=(3876500,useless=568684), ccks=9244773104, wck=1308.396, mem=57M576
1314.33/1310.61	    decisions=1588499, wrong=793395, backtracks=10082, failedAssignments=791299, nogoods=32879, foundSolutions=5, bestBound=162
1314.33/1310.61	    
1315.14/1311.41	    num=244, depth=1..3, filters=3207865, revisions=(3878270,useless=569025), ccks=9250146784, wck=1309.196, mem=60M845
1315.14/1311.41	    decisions=1588555, wrong=793422, backtracks=10091, failedAssignments=791324, nogoods=32894, foundSolutions=5, bestBound=162
1315.14/1311.41	    
1315.44/1311.74	    num=245, depth=2..8, filters=3208612, revisions=(3879277,useless=569291), ccks=9252772954, wck=1309.523, mem=62M480
1315.44/1311.74	    decisions=1588619, wrong=793450, backtracks=10092, failedAssignments=791352, nogoods=32920, foundSolutions=5, bestBound=162
1315.44/1311.74	    
1316.54/1312.80	    num=246, depth=2..4, filters=3209911, revisions=(3881036,useless=569601), ccks=9261848626, wck=1310.59, mem=65M750
1316.54/1312.80	    decisions=1588690, wrong=793484, backtracks=10101, failedAssignments=791383, nogoods=32935, foundSolutions=5, bestBound=162
1316.54/1312.80	    
1316.85/1313.16	    num=247, depth=4..9, filters=3210792, revisions=(3882144,useless=569821), ccks=9265001962, wck=1310.942, mem=67M384
1316.85/1313.16	    decisions=1588767, wrong=793518, backtracks=10102, failedAssignments=791417, nogoods=32967, foundSolutions=5, bestBound=162
1316.85/1313.16	    
1318.25/1314.54	    num=248, depth=1..4, filters=3212141, revisions=(3883979,useless=570259), ccks=9277172565, wck=1312.327, mem=70M654
1318.25/1314.54	    decisions=1588848, wrong=793557, backtracks=10118, failedAssignments=791454, nogoods=32971, foundSolutions=5, bestBound=162
1318.25/1314.54	    
1318.65/1314.90	    num=249, depth=3..7, filters=3212597, revisions=(3884593,useless=570400), ccks=9280440710, wck=1312.682, mem=70M654
1318.65/1314.90	    decisions=1588939, wrong=793599, backtracks=10119, failedAssignments=791495, nogoods=33010, foundSolutions=5, bestBound=162
1318.65/1314.90	    
1319.15/1315.47	    num=250, depth=2..8, filters=3213447, revisions=(3885778,useless=570677), ccks=9285512084, wck=1313.253, mem=73M923
1319.15/1315.47	    decisions=1589037, wrong=793644, backtracks=10120, failedAssignments=791540, nogoods=33054, foundSolutions=5, bestBound=162
1319.15/1315.47	    
1320.55/1316.81	    num=251, depth=1..9, filters=3215165, revisions=(3888140,useless=571165), ccks=9297826632, wck=1314.59, mem=77M193
1320.55/1316.81	    decisions=1589150, wrong=793696, backtracks=10129, failedAssignments=791590, nogoods=33081, foundSolutions=5, bestBound=162
1320.55/1316.81	    
1320.86/1317.12	    num=252, depth=2..8, filters=3215568, revisions=(3888706,useless=571289), ccks=9300286776, wck=1314.905, mem=78M828
1320.86/1317.12	    decisions=1589268, wrong=793751, backtracks=10130, failedAssignments=791645, nogoods=33135, foundSolutions=5, bestBound=162
1320.86/1317.12	    
1322.86/1319.12	    num=253, depth=1..4, filters=3217587, revisions=(3891658,useless=571894), ccks=9318121177, wck=1316.906, mem=83M732
1322.86/1319.12	    decisions=1589403, wrong=793817, backtracks=10148, failedAssignments=791706, nogoods=33137, foundSolutions=5, bestBound=162
1322.86/1319.12	    
1323.55/1319.82	    num=254, depth=3..8, filters=3218914, revisions=(3893300,useless=572187), ccks=9324788029, wck=1317.606, mem=87M1
1323.55/1319.82	    decisions=1589547, wrong=793885, backtracks=10150, failedAssignments=791773, nogoods=33203, foundSolutions=5, bestBound=162
1323.55/1319.82	    
1324.15/1320.42	    num=255, depth=2..7, filters=3219903, revisions=(3894663,useless=572496), ccks=9329684596, wck=1318.203, mem=88M636
1324.15/1320.42	    decisions=1589702, wrong=793959, backtracks=10153, failedAssignments=791847, nogoods=33274, foundSolutions=5, bestBound=162
1324.15/1320.42	    
1325.35/1321.63	    num=256, depth=1..4, filters=3222566, revisions=(3897843,useless=572969), ccks=9339187492, wck=1319.416, mem=93M541
1325.35/1321.63	    decisions=1589876, wrong=794044, backtracks=10160, failedAssignments=791928, nogoods=33338, foundSolutions=5, bestBound=162
1325.35/1321.63	    
1328.55/1324.80	    num=257, depth=1..4, filters=3226098, revisions=(3902953,useless=573926), ccks=9367174643, wck=1322.582, mem=101M714
1328.55/1324.80	    decisions=1590080, wrong=794145, backtracks=10190, failedAssignments=792017, nogoods=33345, foundSolutions=5, bestBound=162
1328.55/1324.80	    
1333.15/1329.42	    num=258, depth=1..4, filters=3230817, revisions=(3909582,useless=575170), ccks=9408871854, wck=1327.207, mem=113M158
1333.15/1329.42	    decisions=1590310, wrong=794259, backtracks=10229, failedAssignments=792115, nogoods=33360, foundSolutions=5, bestBound=162
1333.15/1329.42	    
1335.97/1332.28	    num=259, depth=1..8, filters=3234816, revisions=(3915033,useless=576179), ccks=9436261465, wck=1330.064, mem=39M614
1335.97/1332.28	    decisions=1590555, wrong=794378, backtracks=10248, failedAssignments=792223, nogoods=33396, foundSolutions=5, bestBound=162
1335.97/1332.28	    
1337.37/1333.65	    num=260, depth=0..8, filters=3236866, revisions=(3917952,useless=576821), ccks=9447853184, wck=1331.436, mem=44M456
1337.37/1333.65	    decisions=1590802, wrong=794498, backtracks=10261, failedAssignments=792342, nogoods=33477, foundSolutions=5, bestBound=162
1337.37/1333.65	    
1339.16/1335.49	    num=261, depth=1..9, filters=3238986, revisions=(3920899,useless=577420), ccks=9464412479, wck=1333.271, mem=49M298
1339.16/1335.49	    decisions=1591073, wrong=794629, backtracks=10277, failedAssignments=792473, nogoods=33566, foundSolutions=5, bestBound=162
1339.16/1335.49	    
1341.87/1338.18	    num=262, depth=1..12, filters=3242263, revisions=(3925539,useless=578402), ccks=9488209311, wck=1335.969, mem=57M369
1341.87/1338.18	    decisions=1591377, wrong=794775, backtracks=10295, failedAssignments=792617, nogoods=33642, foundSolutions=5, bestBound=162
1341.87/1338.18	    
1342.96/1339.22	    num=263, depth=1..9, filters=3243714, revisions=(3927473,useless=578781), ccks=9497278840, wck=1337.005, mem=60M597
1342.96/1339.22	    decisions=1591702, wrong=794933, backtracks=10302, failedAssignments=792775, nogoods=33788, foundSolutions=5, bestBound=162
1342.96/1339.22	    
1343.26/1339.56	    num=264, depth=3..7, filters=3244291, revisions=(3928234,useless=578944), ccks=9499668483, wck=1337.347, mem=62M212
1343.26/1339.56	    decisions=1592057, wrong=795107, backtracks=10302, failedAssignments=792949, nogoods=33962, foundSolutions=5, bestBound=162
1343.26/1339.56	    
1349.07/1345.31	    num=265, depth=1..8, filters=3250131, revisions=(3936665,useless=580560), ccks=9554476533, wck=1343.098, mem=79M967
1349.07/1345.31	    decisions=1592453, wrong=795301, backtracks=10330, failedAssignments=793140, nogoods=33988, foundSolutions=5, bestBound=162
1349.07/1345.31	    
1355.07/1351.39	    num=266, depth=0..4, filters=3259676, revisions=(3950292,useless=583057), ccks=9599966021, wck=1349.18, mem=100M951
1355.07/1351.39	    decisions=1592939, wrong=795543, backtracks=10411, failedAssignments=793351, nogoods=34008, foundSolutions=5, bestBound=162
1355.07/1351.39	    
1355.47/1351.70	    num=267, depth=3..6, filters=3260169, revisions=(3950901,useless=583165), ccks=9601845216, wck=1349.483, mem=102M565
1355.47/1351.70	    decisions=1593409, wrong=795775, backtracks=10411, failedAssignments=793583, nogoods=34240, foundSolutions=5, bestBound=162
1355.47/1351.70	    
1355.78/1352.08	    num=268, depth=2..8, filters=3260851, revisions=(3951769,useless=583301), ccks=9604377564, wck=1349.863, mem=104M179
1355.78/1352.08	    decisions=1593927, wrong=796030, backtracks=10412, failedAssignments=793838, nogoods=34492, foundSolutions=5, bestBound=162
1355.78/1352.08	    
1367.08/1363.37	    num=269, depth=1..4, filters=3268915, revisions=(3963301,useless=586332), ccks=9707701410, wck=1361.154, mem=49M226
1367.08/1363.37	    decisions=1594493, wrong=796312, backtracks=10431, failedAssignments=794119, nogoods=34568, foundSolutions=5, bestBound=162
1367.08/1363.37	    
1370.48/1366.72	    num=270, depth=1..9, filters=3274172, revisions=(3970392,useless=587606), ccks=9738054191, wck=1364.501, mem=58M786
1370.48/1366.72	    decisions=1595142, wrong=796632, backtracks=10455, failedAssignments=794428, nogoods=34784, foundSolutions=5, bestBound=162
1370.48/1366.72	    
1372.79/1369.10	    num=271, depth=1..11, filters=3278350, revisions=(3975970,useless=588611), ccks=9760167439, wck=1366.885, mem=66M753
1372.79/1369.10	    decisions=1595838, wrong=796975, backtracks=10475, failedAssignments=794768, nogoods=35051, foundSolutions=5, bestBound=162
1372.79/1369.10	    
1373.79/1370.05	    num=272, depth=2..8, filters=3279870, revisions=(3977975,useless=588933), ccks=9767265891, wck=1367.83, mem=69M940
1373.79/1370.05	    decisions=1596594, wrong=797349, backtracks=10480, failedAssignments=795142, nogoods=35410, foundSolutions=5, bestBound=162
1373.79/1370.05	    
1375.28/1371.55	    num=273, depth=1..9, filters=3284385, revisions=(3983995,useless=590185), ccks=9779288244, wck=1369.336, mem=77M907
1375.28/1371.55	    decisions=1597431, wrong=797763, backtracks=10511, failedAssignments=795553, nogoods=35724, foundSolutions=5, bestBound=162
1375.28/1371.55	    
1378.18/1374.48	    num=274, depth=1..10, filters=3287854, revisions=(3988718,useless=591041), ccks=9806587627, wck=1372.264, mem=85M874
1378.18/1374.48	    decisions=1598348, wrong=798217, backtracks=10532, failedAssignments=796005, nogoods=36099, foundSolutions=5, bestBound=162
1378.18/1374.48	    
1387.29/1383.58	    num=275, depth=1..10, filters=3304923, revisions=(4011030,useless=594876), ccks=9889603081, wck=1381.368, mem=35M61
1387.29/1383.58	    decisions=1599410, wrong=798744, backtracks=10599, failedAssignments=796502, nogoods=36178, foundSolutions=5, bestBound=162
1387.29/1383.58	    
1388.80/1385.06	    num=276, depth=0..6, filters=3307421, revisions=(4014384,useless=595434), ccks=9898330374, wck=1382.844, mem=39M810
1388.80/1385.06	    decisions=1600513, wrong=799293, backtracks=10616, failedAssignments=797049, nogoods=36254, foundSolutions=5, bestBound=162
1388.80/1385.06	    
1389.49/1385.72	    num=277, depth=2..7, filters=3308641, revisions=(4015849,useless=595636), ccks=9901390492, wck=1383.508, mem=41M393
1389.49/1385.72	    decisions=1601722, wrong=799895, backtracks=10619, failedAssignments=797651, nogoods=36416, foundSolutions=5, bestBound=162
1389.49/1385.72	    
1394.09/1390.38	    num=278, depth=2..8, filters=3314922, revisions=(4024409,useless=596941), ccks=9941642442, wck=1388.169, mem=55M641
1394.09/1390.38	    decisions=1603084, wrong=800573, backtracks=10654, failedAssignments=798313, nogoods=36512, foundSolutions=5, bestBound=162
1394.09/1390.38	    
1394.69/1390.94	    num=279, depth=5..7, filters=3315886, revisions=(4025479,useless=597033), ccks=9943265098, wck=1388.723, mem=55M641
1394.69/1390.94	    decisions=1604545, wrong=801301, backtracks=10656, failedAssignments=799041, nogoods=36519, foundSolutions=5, bestBound=162
1394.69/1390.94	    
1399.20/1395.49	    num=280, depth=1..10, filters=3323158, revisions=(4035190,useless=598910), ccks=9983029933, wck=1393.275, mem=69M889
1399.20/1395.49	    decisions=1606174, wrong=802111, backtracks=10696, failedAssignments=799842, nogoods=36769, foundSolutions=5, bestBound=162
1399.20/1395.49	    
1409.10/1405.36	    num=281, depth=1..11, filters=3360298, revisions=(4082415,useless=607379), ccks=10072468943, wck=1403.144, mem=35M139
1409.10/1405.36	    decisions=1608078, wrong=803059, backtracks=10816, failedAssignments=800723, nogoods=36907, foundSolutions=5, bestBound=162
1409.10/1405.36	    
1414.50/1410.77	    num=282, depth=0..9, filters=3369789, revisions=(4095536,useless=609770), ccks=10112200834, wck=1408.551, mem=57M156
1414.50/1410.77	    decisions=1610046, wrong=804039, backtracks=10886, failedAssignments=801693, nogoods=37237, foundSolutions=5, bestBound=162
1414.50/1410.77	    
1420.31/1416.57	    num=283, depth=1..9, filters=3376719, revisions=(4104880,useless=611466), ccks=10165568711, wck=1414.359, mem=72M883
1420.31/1416.57	    decisions=1612208, wrong=805116, backtracks=10916, failedAssignments=802760, nogoods=37715, foundSolutions=5, bestBound=162
1420.31/1416.57	    
1423.10/1419.35	    num=284, depth=1..9, filters=3383804, revisions=(4113858,useless=613274), ccks=10186596543, wck=1417.134, mem=83M892
1423.10/1419.35	    decisions=1614575, wrong=806296, backtracks=10958, failedAssignments=803933, nogoods=37870, foundSolutions=5, bestBound=162
1423.10/1419.35	    
1424.01/1420.25	    num=285, depth=5..7, filters=3385337, revisions=(4115504,useless=613375), ccks=10188220891, wck=1418.031, mem=83M892
1424.01/1420.25	    decisions=1617162, wrong=807587, backtracks=10960, failedAssignments=805224, nogoods=38288, foundSolutions=5, bestBound=162
1424.01/1420.25	    
1434.41/1430.66	    num=286, depth=1..9, filters=3400018, revisions=(4135513,useless=616692), ccks=10275114756, wck=1428.443, mem=35M323
1434.41/1430.66	    decisions=1620044, wrong=809025, backtracks=11047, failedAssignments=806644, nogoods=38542, foundSolutions=5, bestBound=162
1434.41/1430.66	    
1435.92/1432.17	    num=287, depth=2..9, filters=3402915, revisions=(4138931,useless=617097), ccks=10282804011, wck=1429.954, mem=36M885
1435.92/1432.17	    decisions=1623176, wrong=810588, backtracks=11059, failedAssignments=808206, nogoods=38777, foundSolutions=5, bestBound=162
1435.92/1432.17	    
1438.92/1435.13	    num=288, depth=1..9, filters=3408475, revisions=(4145995,useless=618318), ccks=10300720043, wck=1432.918, mem=46M259
1438.92/1435.13	    decisions=1626619, wrong=812307, backtracks=11092, failedAssignments=809924, nogoods=39033, foundSolutions=5, bestBound=162
1438.92/1435.13	    
1441.71/1437.94	    num=289, depth=2..8, filters=3414269, revisions=(4153329,useless=619613), ccks=10316790027, wck=1435.729, mem=55M632
1441.71/1437.94	    decisions=1630412, wrong=814201, backtracks=11129, failedAssignments=811814, nogoods=39461, foundSolutions=5, bestBound=162
1441.71/1437.94	    
1445.11/1441.36	    num=290, depth=2..8, filters=3419401, revisions=(4159610,useless=620462), ccks=10336280973, wck=1439.149, mem=61M881
1445.11/1441.36	    decisions=1634584, wrong=816285, backtracks=11150, failedAssignments=813893, nogoods=39667, foundSolutions=5, bestBound=162
1445.11/1441.36	    
1447.21/1443.40	    num=291, depth=4..8, filters=3422663, revisions=(4163295,useless=620863), ccks=10341319589, wck=1441.188, mem=65M6
1447.21/1443.40	    decisions=1639162, wrong=818572, backtracks=11157, failedAssignments=816180, nogoods=39993, foundSolutions=5, bestBound=162
1447.21/1443.40	    
1449.51/1445.70	    num=292, depth=2..8, filters=3426423, revisions=(4167458,useless=621180), ccks=10346575008, wck=1443.482, mem=68M130
1449.51/1445.70	    decisions=1644200, wrong=821089, backtracks=11170, failedAssignments=818696, nogoods=40198, foundSolutions=5, bestBound=162
1449.51/1445.70	    
1452.31/1448.51	    num=293, depth=1..8, filters=3430727, revisions=(4172327,useless=621673), ccks=10357914865, wck=1446.293, mem=71M255
1452.31/1448.51	    decisions=1649742, wrong=823859, backtracks=11187, failedAssignments=821464, nogoods=40209, foundSolutions=5, bestBound=162
1452.31/1448.51	    
1456.71/1452.92	    num=294, depth=2..9, filters=3437779, revisions=(4180699,useless=622636), ccks=10378009526, wck=1450.703, mem=79M66
1456.71/1452.92	    decisions=1655847, wrong=826910, backtracks=11228, failedAssignments=824508, nogoods=40467, foundSolutions=5, bestBound=162
1456.71/1452.92	    
1462.41/1458.63	    num=295, depth=1..11, filters=3446080, revisions=(4191000,useless=624108), ccks=10414152550, wck=1456.419, mem=90M2
1462.41/1458.63	    decisions=1662561, wrong=830262, backtracks=11266, failedAssignments=827857, nogoods=40505, foundSolutions=5, bestBound=162
1462.41/1458.63	    
1465.31/1461.51	    num=296, depth=2..10, filters=3451779, revisions=(4197392,useless=624630), ccks=10422564180, wck=1459.294, mem=94M688
1465.31/1461.51	    decisions=1669943, wrong=833949, backtracks=11284, failedAssignments=831541, nogoods=40598, foundSolutions=5, bestBound=162
1465.31/1461.51	    
1468.62/1464.80	    num=297, depth=1..11, filters=3458224, revisions=(4204854,useless=625386), ccks=10438381795, wck=1462.584, mem=100M938
1468.62/1464.80	    decisions=1678063, wrong=838005, backtracks=11311, failedAssignments=835593, nogoods=40669, foundSolutions=5, bestBound=162
1468.62/1464.80	    
1476.43/1472.64	    num=298, depth=1..10, filters=3475568, revisions=(4227061,useless=629730), ccks=10488405679, wck=1470.42, mem=44M908
1476.43/1472.64	    decisions=1687003, wrong=842473, backtracks=11367, failedAssignments=840050, nogoods=40690, foundSolutions=5, bestBound=162
1476.43/1472.64	    
1511.94/1508.15	    num=299, depth=0..9, filters=3513989, revisions=(4281741,useless=643168), ccks=10811833710, wck=1505.936, mem=47M939
1511.94/1508.15	    decisions=1696837, wrong=847386, backtracks=11412, failedAssignments=844953, nogoods=40957, foundSolutions=5, bestBound=162
1511.94/1508.15	    
1515.73/1511.90	    num=300, depth=3..10, filters=3520996, revisions=(4289281,useless=643678), ccks=10817268190, wck=1509.685, mem=51M22
1515.73/1511.90	    decisions=1707632, wrong=852781, backtracks=11435, failedAssignments=850347, nogoods=41203, foundSolutions=5, bestBound=162
1515.73/1511.90	    
1525.03/1521.27	    num=301, depth=1..10, filters=3541899, revisions=(4315351,useless=648042), ccks=10882142879, wck=1519.053, mem=83M390
1525.03/1521.27	    decisions=1719526, wrong=858723, backtracks=11526, failedAssignments=856280, nogoods=41274, foundSolutions=5, bestBound=162
1525.03/1521.27	    
1537.33/1533.59	    num=302, depth=1..11, filters=3559800, revisions=(4337798,useless=651354), ccks=10953078030, wck=1531.376, mem=109M593
1537.33/1533.59	    decisions=1732601, wrong=865256, backtracks=11618, failedAssignments=862806, nogoods=41483, foundSolutions=5, bestBound=162
1537.33/1533.59	    
1630.09/1626.21	    num=303, depth=0..8, filters=3687633, revisions=(4503064,useless=679112), ccks=11804251305, wck=1623.998, mem=44M536
1630.09/1626.21	    decisions=1747042, wrong=872473, backtracks=11773, failedAssignments=869985, nogoods=41888, foundSolutions=5, bestBound=162
1630.09/1626.21	    
1639.29/1635.45	    num=304, depth=1..10, filters=3699531, revisions=(4516182,useless=680591), ccks=11828107779, wck=1633.24, mem=50M492
1639.29/1635.45	    decisions=1762837, wrong=880370, backtracks=11794, failedAssignments=877882, nogoods=42261, foundSolutions=5, bestBound=162
1639.29/1635.45	    
1646.29/1642.47	    num=305, depth=1..13, filters=3731192, revisions=(4553932,useless=686311), ccks=11865423409, wck=1640.253, mem=81M760
1646.29/1642.47	    decisions=1780272, wrong=889083, backtracks=11901, failedAssignments=886569, nogoods=42496, foundSolutions=5, bestBound=162
1646.29/1642.47	    
1820.41/1816.48	    num=306, depth=1..5, filters=3945830, revisions=(4847971,useless=743782), ccks=13407967513, wck=1814.267, mem=90M519
1820.41/1816.48	    decisions=1799546, wrong=898718, backtracks=12900, failedAssignments=896124, nogoods=42612, foundSolutions=5, bestBound=162
1820.41/1816.48	    
1827.41/1823.47	    num=307, depth=0..11, filters=3959509, revisions=(4862861,useless=744790), ccks=13420452229, wck=1821.254, mem=98M950
1827.41/1823.47	    decisions=1820572, wrong=909229, backtracks=12943, failedAssignments=906635, nogoods=42684, foundSolutions=5, bestBound=162
1827.41/1823.47	    
1840.82/1836.84	    num=308, depth=1..11, filters=4009561, revisions=(4923718,useless=754651), ccks=13485344543, wck=1834.623, mem=83M141
1840.82/1836.84	    decisions=1843762, wrong=920819, backtracks=13095, failedAssignments=918197, nogoods=43126, foundSolutions=5, bestBound=162
1840.82/1836.84	    
1855.73/1851.72	    num=309, depth=0..11, filters=4047253, revisions=(4968899,useless=761443), ccks=13585274383, wck=1849.506, mem=63M476
1855.73/1851.72	    decisions=1869254, wrong=933560, backtracks=13205, failedAssignments=930915, nogoods=43436, foundSolutions=5, bestBound=162
1855.73/1851.72	    
1871.84/1867.85	    num=310, depth=1..16, filters=4116734, revisions=(5052918,useless=774250), ccks=13682377687, wck=1865.633, mem=56M459
1871.84/1867.85	    decisions=1897420, wrong=947638, backtracks=13420, failedAssignments=944905, nogoods=43652, foundSolutions=5, bestBound=162
1871.84/1867.85	    
1885.54/1881.54	    num=311, depth=0..10, filters=4137456, revisions=(5075558,useless=776144), ccks=13706605603, wck=1879.329, mem=72M943
1885.54/1881.54	    decisions=1928203, wrong=963028, backtracks=13512, failedAssignments=960294, nogoods=44017, foundSolutions=5, bestBound=162
1885.54/1881.54	    
1918.18/1914.14	    num=312, depth=1..19, filters=4314246, revisions=(5296851,useless=816161), ccks=13947363225, wck=1911.928, mem=57M299
1918.18/1914.14	    decisions=1962303, wrong=980070, backtracks=13859, failedAssignments=977222, nogoods=44611, foundSolutions=5, bestBound=162
1918.18/1914.14	    
1944.88/1940.90	    num=313, depth=0..14, filters=4416309, revisions=(5419601,useless=834351), ccks=14126495563, wck=1938.68, mem=34M560
1944.88/1940.90	    decisions=1999841, wrong=998835, backtracks=14208, failedAssignments=995843, nogoods=44766, foundSolutions=5, bestBound=162
1944.88/1940.90	    
1958.59/1954.52	    num=314, depth=0..13, filters=4446572, revisions=(5453407,useless=837364), ccks=14163627897, wck=1952.309, mem=57M20
1958.59/1954.52	    decisions=2040830, wrong=1019324, backtracks=14324, failedAssignments=1016327, nogoods=44863, foundSolutions=5, bestBound=162
1958.59/1954.52	    
1987.41/1983.30	    num=315, depth=0..12, filters=4568654, revisions=(5601014,useless=859007), ccks=14361885391, wck=1981.082, mem=63M209
1987.41/1983.30	    decisions=2086271, wrong=1042040, backtracks=14784, failedAssignments=1038859, nogoods=45386, foundSolutions=5, bestBound=162
1987.41/1983.30	    
2004.02/1999.90	    num=316, depth=1..16, filters=4624688, revisions=(5667646,useless=868726), ccks=14413304993, wck=1997.687, mem=68M160
2004.02/1999.90	    decisions=2135869, wrong=1066832, backtracks=14980, failedAssignments=1063644, nogoods=45796, foundSolutions=5, bestBound=162
2004.02/1999.90	    
2047.64/2043.53	    num=317, depth=0..10, filters=4692554, revisions=(5751142,useless=881316), ccks=14643671015, wck=2041.311, mem=46M90
2047.64/2043.53	    decisions=2190511, wrong=1094151, backtracks=15295, failedAssignments=1090908, nogoods=46212, foundSolutions=5, bestBound=162
2047.64/2043.53	    
2080.18/2076.02	    num=318, depth=1..15, filters=4832040, revisions=(5922716,useless=911528), ccks=14817665705, wck=2073.808, mem=50M790
2080.18/2076.02	    decisions=2250738, wrong=1124258, backtracks=15790, failedAssignments=1120898, nogoods=46422, foundSolutions=5, bestBound=162
2080.18/2076.02	    
2112.59/2108.47	    num=319, depth=1..11, filters=4954330, revisions=(6069789,useless=932905), ccks=14965704661, wck=2106.253, mem=44M480
2112.59/2108.47	    decisions=2316936, wrong=1157353, backtracks=16104, failedAssignments=1153887, nogoods=46711, foundSolutions=5, bestBound=162
2112.59/2108.47	    
2136.80/2132.60	    num=320, depth=1..17, filters=5022413, revisions=(6148404,useless=942814), ccks=15032575575, wck=2130.383, mem=54M82
2136.80/2132.60	    decisions=2389547, wrong=1193651, backtracks=16341, failedAssignments=1190175, nogoods=47217, foundSolutions=5, bestBound=162
2136.80/2132.60	    
2180.13/2175.97	    num=321, depth=0..10, filters=5231209, revisions=(6399937,useless=982554), ccks=15277289660, wck=2173.753, mem=59M279
2180.13/2175.97	    decisions=2469807, wrong=1233776, backtracks=17088, failedAssignments=1230092, nogoods=47423, foundSolutions=5, bestBound=162
2180.13/2175.97	    
2286.40/2282.19	    num=322, depth=1..10, filters=5390445, revisions=(6590645,useless=1004872), ccks=15943418681, wck=2279.977, mem=65M112
2286.40/2282.19	    decisions=2557711, wrong=1277725, backtracks=17469, failedAssignments=1274001, nogoods=47916, foundSolutions=5, bestBound=162
2286.40/2282.19	    
2345.92/2341.65	    num=323, depth=0..13, filters=5525989, revisions=(6752577,useless=1029485), ccks=16197684834, wck=2339.436, mem=76M317
2345.92/2341.65	    decisions=2654655, wrong=1326193, backtracks=17988, failedAssignments=1322301, nogoods=48005, foundSolutions=5, bestBound=162
2345.92/2341.65	    
2400.06/2395.70	
2400.06/2395.70	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>
2400.06/2395.70	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: 16374 MiB (15248 MiB free)
  memory of node 1: 16384 MiB (13291 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391360-1568389375/watcher-4391360-1568389375 -o /tmp/evaluation-result-4391360-1568389375/solver-4391360-1568389375 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23588 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391360-1568389375.xml -cm 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=24181, runsolver pid=24178

[startup+0.101569 s]*
/proc/loadavg: 1.47 0.92 1.01 4/229 24196
/proc/meminfo: memFree=29209116/32770624 swapFree=66958212/67108860
[pid=24181] ppid=24178 vsize=10659884 memory=29256 CPUtime=0.15 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 5846 0 0 0 14 1 0 0 20 0 15 0 414874003 10915721216 7314 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2664971 7314 2909 1 0 2627468 0
[pid=24181/tid=24183] ppid=24178 vsize=10659884 memory=-8094235084319000145 CPUtime=0.1 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) R 24178 24181 21280 0 -1 4202560 3236 0 0 0 9 1 0 0 20 0 15 0 414874003 10915721216 7314 33554432000 4194304 4196468 140729774292992 140705561226176 140705539973735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10659884 memory=4211973784966929802 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 7314 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 7314 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 7314 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 7314 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704591468192 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704590415088 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) R 24178 24181 21280 0 -1 4202560 300 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704587239240 140705549232958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0.02 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) R 24178 24181 21280 0 -1 4202560 589 0 0 0 2 0 0 0 20 0 15 0 414874009 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704586201720 140705535838708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 7314 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29256 KiB

[startup+0.210781 s]*
/proc/loadavg: 1.47 0.92 1.01 3/229 24196
/proc/meminfo: memFree=29197816/32770624 swapFree=66958212/67108860
[pid=24181] ppid=24178 vsize=10659884 memory=36940 CPUtime=0.33 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 8990 0 0 0 31 2 0 0 20 0 15 0 414874003 10915721216 9235 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2664971 9235 2988 1 0 2627468 0
[pid=24181/tid=24183] ppid=24178 vsize=10659884 memory=8246674155440865347 CPUtime=0.2 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) R 24178 24181 21280 0 -1 4202560 6082 0 0 0 18 2 0 0 20 0 15 0 414874003 10915721216 9235 33554432000 4194304 4196468 140729774292992 140705561232528 140705557017757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10659884 memory=4211973784966929802 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9235 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9235 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9235 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9235 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704591468192 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704590415088 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 15 0 414874009 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) S 24178 24181 21280 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 414874009 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704587258224 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0.06 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) S 24178 24181 21280 0 -1 1077944384 629 0 0 0 6 0 0 0 20 0 15 0 414874009 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704586205168 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 9235 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36940 KiB

[startup+0.310203 s]*
/proc/loadavg: 1.47 0.92 1.01 3/229 24196
/proc/meminfo: memFree=29195868/32770624 swapFree=66958212/67108860
[pid=24181] ppid=24178 vsize=10659884 memory=39744 CPUtime=0.48 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 9212 0 0 0 45 3 0 0 20 0 15 0 414874003 10915721216 9936 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2664971 9936 3033 1 0 2627468 0
[pid=24181/tid=24183] ppid=24178 vsize=10659884 memory=-6933350163988323266 CPUtime=0.3 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) R 24178 24181 21280 0 -1 4202560 6234 0 0 0 28 2 0 0 20 0 15 0 414874003 10915721216 9936 33554432000 4194304 4196468 140729774292992 140705561227632 140705541076318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10659884 memory=4211973784966929802 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9936 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10659884 memory=140058762139264 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9936 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9936 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10659884 memory=140058615223839 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874004 10915721216 9936 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10659884 memory=280117230426912 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10659884 memory=140058615200783 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704591468192 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10659884 memory=280117377346944 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414874006 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704590415088 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10659884 memory=140058615205391 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 595 0 0 0 4 0 0 0 20 0 15 0 414874009 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) R 24178 24181 21280 0 -1 4202560 374 0 0 0 3 0 0 0 20 0 15 0 414874009 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704587258224 140705540527327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10659884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) R 24178 24181 21280 0 -1 4202560 653 0 0 0 8 0 0 0 20 0 15 0 414874009 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704586205168 140705557017178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10659884 memory=29256 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874009 10915721216 9936 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39744 KiB

[startup+0.702508 s]
/proc/loadavg: 1.47 0.92 1.01 3/229 24196
/proc/meminfo: memFree=29186344/32770624 swapFree=66958212/67108860
[pid=24181] ppid=24178 vsize=10661932 memory=62224 CPUtime=1.12 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 12587 0 0 0 107 5 0 0 20 0 15 0 414874003 10917818368 15556 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2665483 15556 3070 1 0 2627980 0
[pid=24181/tid=24183] ppid=24178 vsize=10661932 memory=1556 CPUtime=0.68 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) R 24178 24181 21280 0 -1 4202560 8773 0 0 0 64 4 0 0 20 0 15 0 414874003 10917818368 15556 33554432000 4194304 4196468 140729774292992 140705561218768 140705557009735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10661932 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10917818368 15556 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10661932 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10917818368 15556 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10661932 memory=7734763483327455577 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10917818368 15556 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874004 10917818368 15556 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10661932 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874006 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414874006 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704591468192 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414874006 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704590415088 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) R 24178 24181 21280 0 -1 4202560 842 0 0 0 12 0 0 0 20 0 15 0 414874009 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704588296864 140705536242617 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10661932 memory=243945284071899 CPUtime=0.1 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) S 24178 24181 21280 0 -1 1077944384 608 0 0 0 10 0 0 0 20 0 15 0 414874009 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704587258224 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10661932 memory=2933550 CPUtime=0.19 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) S 24178 24181 21280 0 -1 1077944384 1005 0 0 0 19 0 0 0 20 0 15 0 414874009 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704586205168 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414874009 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874009 10917818368 15556 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62224 KiB

[startup+1.5007 s]
/proc/loadavg: 1.47 0.92 1.01 3/229 24196
/proc/meminfo: memFree=29170524/32770624 swapFree=66958212/67108860
[pid=24181] ppid=24178 vsize=10663980 memory=74976 CPUtime=2.01 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 16657 0 0 0 195 6 0 0 20 0 15 0 414874003 10919915520 18744 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2665995 18744 3090 1 0 2628492 0
[pid=24181/tid=24183] ppid=24178 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) R 24178 24181 21280 0 -1 4202560 11700 0 0 0 143 5 0 0 20 0 15 0 414874003 10919915520 18744 33554432000 4194304 4196468 140729774292992 140705561236112 140705541076318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10919915520 18744 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10919915520 18744 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414874004 10919915520 18744 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10663980 memory=140058615253984 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414874004 10919915520 18744 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414874006 10919915520 18744 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0

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

/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 5189 0 0 0 38 1 0 0 20 0 16 0 414874004 11006283776 47493 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10748324 memory=189972 CPUtime=0.11 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 4512 0 0 0 9 2 0 0 20 0 16 0 414874006 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10748324 memory=189972 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704591468256 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10748324 memory=189972 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704590415104 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10748324 memory=189972 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10748324 memory=189972 CPUtime=1.02 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 7948 0 0 0 101 1 0 0 20 0 16 0 414874009 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10748324 memory=189972 CPUtime=1.03 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) S 24178 24181 21280 0 -1 1077944384 10689 0 0 0 102 1 0 0 20 0 16 0 414874009 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704587258224 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10748324 memory=189972 CPUtime=0.68 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) S 24178 24181 21280 0 -1 1077944384 11055 0 0 0 67 1 0 0 20 0 16 0 414874009 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704586205168 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10748324 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10748324 memory=4872558044660077418 CPUtime=0.45 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1034 0 0 0 17 28 0 0 20 0 16 0 414874009 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24197] ppid=24178 vsize=10748324 memory=6944656575208382560 CPUtime=2319.79 cores=1,3,5,7
/proc/24181/task/24197/stat : 24197 (java) R 24178 24181 21280 0 -1 4202560 17775 0 0 0 231975 4 0 0 20 0 16 0 414874191 11006283776 47493 33554432000 4194304 4196468 140729774292992 140704567439264 140705164507859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 2326.62 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189972 KiB

[startup+2382.3 s]
/proc/loadavg: 2.17 2.08 1.93 3/230 24522
/proc/meminfo: memFree=27846056/32770624 swapFree=66958228/67108860
[pid=24181] ppid=24178 vsize=10748324 memory=189464 CPUtime=2386.64 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 80431 0 0 0 238618 46 0 0 20 0 16 0 414874003 11006283776 47366 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2687081 47366 3381 1 0 2647217 0
[pid=24181/tid=24183] ppid=24178 vsize=10748324 memory=189972 CPUtime=1.85 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) S 24178 24181 21280 0 -1 1077944384 13676 0 0 0 179 6 0 0 20 0 16 0 414874003 11006283776 47366 33554432000 4194304 4196468 140729774292992 140705561238704 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10748324 memory=189976 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 2040 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47366 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10748324 memory=189976 CPUtime=0.39 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 2665 0 0 0 38 1 0 0 20 0 16 0 414874004 11006283776 47366 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10748324 memory=189972 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 2071 0 0 0 38 2 0 0 20 0 16 0 414874004 11006283776 47366 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10748324 memory=189972 CPUtime=0.39 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 5191 0 0 0 38 1 0 0 20 0 16 0 414874004 11006283776 47366 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10748324 memory=280117231264512 CPUtime=0.11 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 4669 0 0 0 9 2 0 0 20 0 16 0 414874006 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704591468256 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10748324 memory=189464 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704590415104 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10748324 memory=189464 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10748324 memory=189464 CPUtime=1.02 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 7949 0 0 0 101 1 0 0 20 0 16 0 414874009 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10748324 memory=189464 CPUtime=1.03 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) S 24178 24181 21280 0 -1 1077944384 10689 0 0 0 102 1 0 0 20 0 16 0 414874009 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704587258224 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.68 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) S 24178 24181 21280 0 -1 1077944384 11055 0 0 0 67 1 0 0 20 0 16 0 414874009 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704586205168 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10748324 memory=189464 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10748324 memory=804 CPUtime=0.46 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1064 0 0 0 17 29 0 0 20 0 16 0 414874009 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24197] ppid=24178 vsize=10748324 memory=1808 CPUtime=2379.78 cores=1,3,5,7
/proc/24181/task/24197/stat : 24197 (java) R 24178 24181 21280 0 -1 4202560 17924 0 0 0 237974 4 0 0 20 0 16 0 414874191 11006283776 47366 33554432000 4194304 4196468 140729774292992 140704567439264 140705164592971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 2386.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2395.7 s]
/proc/loadavg: 2.07 2.06 1.93 3/230 24525
/proc/meminfo: memFree=27118296/32770624 swapFree=66958228/67108860
[pid=24181] ppid=24178 vsize=10748324 memory=191000 CPUtime=2400.06 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 80452 0 0 0 239959 47 0 0 20 0 16 0 414874003 11006283776 47750 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2687081 47750 3381 1 0 2647217 0
[pid=24181/tid=24183] ppid=24178 vsize=10748324 memory=191000 CPUtime=1.85 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) S 24178 24181 21280 0 -1 1077944384 13676 0 0 0 179 6 0 0 20 0 16 0 414874003 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705561238704 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10748324 memory=191000 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 2040 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10748324 memory=189976 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 2666 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 2074 0 0 0 38 2 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 5193 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.11 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 4669 0 0 0 9 2 0 0 20 0 16 0 414874006 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704591468256 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10748324 memory=280117231264512 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704590415104 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10748324 memory=189972 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10748324 memory=189972 CPUtime=1.02 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 7949 0 0 0 101 1 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10748324 memory=189976 CPUtime=1.03 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) S 24178 24181 21280 0 -1 1077944384 10689 0 0 0 102 1 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704587258224 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10748324 memory=191000 CPUtime=0.68 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) S 24178 24181 21280 0 -1 1077944384 11055 0 0 0 67 1 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704586205168 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10748324 memory=191000 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10748324 memory=191000 CPUtime=0.46 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1064 0 0 0 17 29 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24197] ppid=24178 vsize=10748324 memory=3612 CPUtime=2393.18 cores=1,3,5,7
/proc/24181/task/24197/stat : 24197 (java) R 24178 24181 21280 0 -1 4202560 17939 0 0 0 239314 4 0 0 20 0 16 0 414874191 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704567439264 140705164496176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191000 KiB

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

[startup+2395.71 s]
# the end of solver process 24181 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.61 s, system=0.479049 s

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

[startup+2395.7 s]
/proc/loadavg: 2.07 2.06 1.93 3/230 24525
/proc/meminfo: memFree=27118296/32770624 swapFree=66958228/67108860
[pid=24181] ppid=24178 vsize=10748324 memory=191000 CPUtime=2400.06 cores=1,3,5,7
/proc/24181/stat : 24181 (java) S 24178 24181 21280 0 -1 1077944320 80452 0 0 0 239959 47 0 0 20 0 16 0 414874003 11006283776 47750 33554432000 4194304 4196468 140729774292992 140729774275536 140705556995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
/proc/24181/statm: 2687081 47750 3381 1 0 2647217 0
[pid=24181/tid=24183] ppid=24178 vsize=10748324 memory=191000 CPUtime=1.85 cores=1,3,5,7
/proc/24181/task/24183/stat : 24183 (java) S 24178 24181 21280 0 -1 1077944384 13676 0 0 0 179 6 0 0 20 0 16 0 414874003 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705561238704 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24184] ppid=24178 vsize=10748324 memory=191000 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24184/stat : 24184 (java) S 24178 24181 21280 0 -1 1077944384 2040 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705483069968 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24185] ppid=24178 vsize=10748324 memory=189976 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24185/stat : 24185 (java) S 24178 24181 21280 0 -1 1077944384 2666 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705482017424 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24186] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24186/stat : 24186 (java) S 24178 24181 21280 0 -1 1077944384 2074 0 0 0 38 2 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705480964368 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24187] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.4 cores=1,3,5,7
/proc/24181/task/24187/stat : 24187 (java) S 24178 24181 21280 0 -1 1077944384 5193 0 0 0 39 1 0 0 20 0 16 0 414874004 11006283776 47750 33554432000 4194304 4196468 140729774292992 140705479911824 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24188] ppid=24178 vsize=10748324 memory=189464 CPUtime=0.11 cores=1,3,5,7
/proc/24181/task/24188/stat : 24188 (java) S 24178 24181 21280 0 -1 1077944384 4669 0 0 0 9 2 0 0 20 0 16 0 414874006 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704592521968 140705557006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24189] ppid=24178 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24189/stat : 24189 (java) S 24178 24181 21280 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704591468256 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24190] ppid=24178 vsize=10748324 memory=280117231264512 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24190/stat : 24190 (java) S 24178 24181 21280 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414874006 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704590415104 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24191] ppid=24178 vsize=10748324 memory=189972 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24191/stat : 24191 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704589363664 140705557014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24192] ppid=24178 vsize=10748324 memory=189972 CPUtime=1.02 cores=1,3,5,7
/proc/24181/task/24192/stat : 24192 (java) S 24178 24181 21280 0 -1 1077944384 7949 0 0 0 101 1 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704588310768 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24193] ppid=24178 vsize=10748324 memory=189976 CPUtime=1.03 cores=1,3,5,7
/proc/24181/task/24193/stat : 24193 (java) S 24178 24181 21280 0 -1 1077944384 10689 0 0 0 102 1 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704587258224 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24194] ppid=24178 vsize=10748324 memory=191000 CPUtime=0.68 cores=1,3,5,7
/proc/24181/task/24194/stat : 24194 (java) S 24178 24181 21280 0 -1 1077944384 11055 0 0 0 67 1 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704586205168 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24195] ppid=24178 vsize=10748324 memory=191000 CPUtime=0 cores=1,3,5,7
/proc/24181/task/24195/stat : 24195 (java) S 24178 24181 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704585152864 140705557006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24196] ppid=24178 vsize=10748324 memory=191000 CPUtime=0.46 cores=1,3,5,7
/proc/24181/task/24196/stat : 24196 (java) S 24178 24181 21280 0 -1 1077944384 1064 0 0 0 17 29 0 0 20 0 16 0 414874009 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704584100912 140705557006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
[pid=24181/tid=24197] ppid=24178 vsize=10748324 memory=3612 CPUtime=2393.18 cores=1,3,5,7
/proc/24181/task/24197/stat : 24197 (java) R 24178 24181 21280 0 -1 4202560 17939 0 0 0 239314 4 0 0 20 0 16 0 414874191 11006283776 47750 33554432000 4194304 4196468 140729774292992 140704567439264 140705164496176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38944768 140729774294027 140729774294130 140729774294130 140729774297039 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191000 KiB

Child status: 143
Real time (s): 2395.71
CPU time (s): 2400.09
CPU user time (s): 2399.61
CPU system time (s): 0.479049
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 282564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.61
system time used= 0.479049
maximum resident set size= 282568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56886
involuntary context switches= 1225


# summary of solver processes directly reported to runsolver:
#   pid: 24181
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2399.61
#   total CPU system time (s): 0.479049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1277 second user time and 21.296 second system time

The end

Begin job on node145 at 2019-09-13 17:42:13
IDJOB=4391360
IDBENCH=126210
IDSOLVER=2833
FILE ID=node145/4391360-1568389375
RUNJOBID= node145-1568389279-23588
PBS_JOBID= 21701826
Free space on /tmp= 55180 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-4391360-1568389375/watcher-4391360-1568389375 -o /tmp/evaluation-result-4391360-1568389375/solver-4391360-1568389375 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23588 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391360-1568389375.xml -cm

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

MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4
RANDOM SEED=1227722649

node145.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		: 2668.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.59
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		: 2668.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	: 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		: 2668.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.59
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		: 2668.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	: 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		: 2668.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.59
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		: 2668.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	: 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		: 2668.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.59
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		: 2668.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:       32770624 kB
MemFree:        29224564 kB
MemAvailable:   31611732 kB
Buffers:           97132 kB
Cached:          2567328 kB
SwapCached:        41040 kB
Active:          1605536 kB
Inactive:        1347644 kB
Active(anon):     252268 kB
Inactive(anon):    77332 kB
Active(file):    1353268 kB
Inactive(file):  1270312 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66958212 kB
Dirty:              8640 kB
Writeback:             0 kB
AnonPages:        409996 kB
Mapped:            55880 kB
Shmem:             32356 kB
Slab:             186864 kB
SReclaimable:     158844 kB
SUnreclaim:        28020 kB
KernelStack:        4048 kB
PageTables:         6412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1327948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59420 MiB
End job on node145 at 2019-09-13 18:22:09