2.45/1.87	
2.45/1.87	AbsCon 2 
2.45/1.89	
2.96/2.09	  Instance
2.96/2.09	    name=instance-4391104-1568391093, framework=COP, bounds=-infty..+infty
2.96/2.09	
2.96/2.09	  Loading variables...
3.33/2.15	  Loading constraints...
3.68/2.24	
3.68/2.24	  Domains
3.68/2.24	    nTypes=32, nValues=8728, sizes=[30#6,31#60,32#209]
3.68/2.24	  Variables
3.68/2.24	    count=275, degrees=[2#270,46#5]
3.68/2.24	  Objectives
3.68/2.24	    way=min, type=SumSimpleLE
3.68/2.24	  Constraints
3.68/2.24	    count=272, nSpecific=47, arities=[2#225,5#1,6#45,45#1]
3.68/2.24	    distribution=[CtrExtensionV-Bits#225,Minimum#45,OrderedLT#1,SumSimpleLE#1]
3.68/2.24	    nExtStructures=(32,shared:193), nCftStructures=(32,shared:193,unbuilt:47)
3.68/2.24	    wck=0.394, cpu=2.202, mem=31M797
3.68/2.25	  Solver SolverBacktrack being built...
3.68/2.25	
3.68/2.27	
3.68/2.27	  Solver
3.68/2.27	    guaranteedGAC=true
3.68/2.27	    wck=0.424, cpu=2.231, mem=42M440
3.68/2.28	
3.68/2.28	  Preprocessing
3.68/2.28	    filters=281, revisions=(361,useless=136), nACremovedValues=1082, nTotalRemovedValues=1082, inconcistency=false
3.68/2.28	    wck=0.01, cpu=2.242, mem=42M440
3.68/2.28	
4.04/2.30	o 7293
4.04/2.31	    num=0, depth=276..274, filters=650, revisions=(586,useless=136), ccks=272, wck=0.043, mem=42M440
4.04/2.31	    decisions=5, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=7293
4.04/2.31	    
4.04/2.32	o 3692
4.04/2.33	    num=1, depth=276..274, filters=997, revisions=(1261,useless=586), ccks=544, wck=0.052, mem=42M440
4.04/2.33	    decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=3692
4.04/2.33	    
4.04/2.33	o 3127
4.04/2.33	    num=2, depth=4..274, filters=1602, revisions=(2116,useless=1040), ccks=816, wck=0.063, mem=45M84
4.04/2.33	    decisions=17, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=3127
4.04/2.33	    
4.04/2.35	    num=3, depth=1..4, filters=5556, revisions=(5645,useless=1511), ccks=816, wck=0.088, mem=45M84
4.04/2.35	    decisions=42, wrong=12, backtracks=0, failedAssignments=12, nogoods=12, foundSolutions=3, bestBound=3127
4.04/2.35	    
4.04/2.37	    num=4, depth=1..1, filters=7426, revisions=(6860,useless=1512), ccks=816, wck=0.103, mem=47M726
4.04/2.37	    decisions=65, wrong=23, backtracks=0, failedAssignments=23, nogoods=23, foundSolutions=3, bestBound=3127
4.04/2.37	    
4.04/2.37	o 2855
4.04/2.37	    num=5, depth=276..274, filters=8156, revisions=(7400,useless=1512), ccks=1088, wck=0.108, mem=47M726
4.04/2.37	    decisions=69, wrong=23, backtracks=0, failedAssignments=23, nogoods=23, foundSolutions=4, bestBound=2855
4.04/2.37	    
4.04/2.39	o 2821
4.04/2.39	    num=6, depth=3..274, filters=10318, revisions=(9382,useless=1974), ccks=1360, wck=0.121, mem=47M726
4.04/2.39	    decisions=87, wrong=30, backtracks=0, failedAssignments=30, nogoods=30, foundSolutions=5, bestBound=2821
4.04/2.39	    
4.04/2.40	o 2812
4.04/2.40	    num=7, depth=3..274, filters=12350, revisions=(11413,useless=2442), ccks=1632, wck=0.132, mem=47M726
4.04/2.40	    decisions=105, wrong=37, backtracks=0, failedAssignments=37, nogoods=37, foundSolutions=6, bestBound=2812
4.04/2.40	    
4.39/2.41	    num=8, depth=3..3, filters=14320, revisions=(13258,useless=2898), ccks=1632, wck=0.143, mem=50M368
4.39/2.41	    decisions=130, wrong=48, backtracks=0, failedAssignments=48, nogoods=48, foundSolutions=6, bestBound=2812
4.39/2.41	    
4.39/2.43	    num=9, depth=0..1, filters=18608, revisions=(16440,useless=2931), ccks=1632, wck=0.163, mem=50M368
4.39/2.43	    decisions=153, wrong=59, backtracks=0, failedAssignments=59, nogoods=49, foundSolutions=6, bestBound=2812
4.39/2.43	    
4.39/2.44	o 2736
4.39/2.44	    num=10, depth=1..274, filters=20387, revisions=(17882,useless=2936), ccks=1904, wck=0.171, mem=53M11
4.39/2.44	    decisions=169, wrong=65, backtracks=1, failedAssignments=64, nogoods=51, foundSolutions=7, bestBound=2736
4.39/2.44	    
4.39/2.45	o 2682
4.39/2.45	    num=11, depth=3..274, filters=22643, revisions=(20046,useless=3397), ccks=2176, wck=0.183, mem=53M11
4.39/2.45	    decisions=200, wrong=78, backtracks=2, failedAssignments=76, nogoods=55, foundSolutions=8, bestBound=2682
4.39/2.45	    
4.39/2.46	o 2678
4.39/2.46	    num=12, depth=4..274, filters=23766, revisions=(21353,useless=3851), ccks=2448, wck=0.19, mem=53M11
4.39/2.46	    decisions=213, wrong=82, backtracks=2, failedAssignments=80, nogoods=59, foundSolutions=9, bestBound=2678
4.39/2.46	    
4.39/2.47	    num=13, depth=3..5, filters=25816, revisions=(23343,useless=4310), ccks=2448, wck=0.2, mem=53M11
4.39/2.47	    decisions=240, wrong=94, backtracks=4, failedAssignments=91, nogoods=62, foundSolutions=9, bestBound=2678
4.39/2.47	    
4.39/2.47	    num=14, depth=4..5, filters=27674, revisions=(24783,useless=4320), ccks=2448, wck=0.208, mem=53M11
4.39/2.47	    decisions=266, wrong=105, backtracks=4, failedAssignments=102, nogoods=73, foundSolutions=9, bestBound=2678
4.39/2.47	    
4.39/2.49	    num=15, depth=0..3, filters=31598, revisions=(28069,useless=4331), ccks=2448, wck=0.222, mem=55M653
4.39/2.49	    decisions=295, wrong=118, backtracks=5, failedAssignments=114, nogoods=84, foundSolutions=9, bestBound=2678
4.39/2.49	    
4.39/2.49	o 2360
4.39/2.49	    num=16, depth=276..274, filters=32042, revisions=(28429,useless=4331), ccks=2720, wck=0.225, mem=55M653
4.39/2.49	    decisions=298, wrong=118, backtracks=5, failedAssignments=114, nogoods=84, foundSolutions=10, bestBound=2360
4.39/2.49	    
4.70/2.50	    num=17, depth=4..6, filters=34648, revisions=(31215,useless=4809), ccks=2720, wck=0.235, mem=55M653
4.70/2.50	    decisions=332, wrong=133, backtracks=6, failedAssignments=128, nogoods=89, foundSolutions=10, bestBound=2360
4.70/2.50	    
4.70/2.51	o 2338
4.70/2.51	    num=18, depth=2..274, filters=37156, revisions=(33304,useless=4820), ccks=2992, wck=0.244, mem=55M653
4.70/2.51	    decisions=355, wrong=142, backtracks=6, failedAssignments=137, nogoods=98, foundSolutions=11, bestBound=2338
4.70/2.51	    
4.70/2.52	    num=19, depth=2..6, filters=40076, revisions=(36066,useless=5289), ccks=2992, wck=0.255, mem=58M296
4.70/2.52	    decisions=386, wrong=156, backtracks=9, failedAssignments=149, nogoods=104, foundSolutions=11, bestBound=2338
4.70/2.52	    
4.70/2.53	    num=20, depth=3..5, filters=42053, revisions=(37416,useless=5292), ccks=2992, wck=0.264, mem=60M938
4.70/2.53	    decisions=411, wrong=167, backtracks=9, failedAssignments=160, nogoods=115, foundSolutions=11, bestBound=2338
4.70/2.53	    
4.70/2.54	    num=21, depth=1..4, filters=44819, revisions=(39687,useless=5309), ccks=2992, wck=0.273, mem=60M938
4.70/2.54	    decisions=443, wrong=181, backtracks=11, failedAssignments=172, nogoods=117, foundSolutions=11, bestBound=2338
4.70/2.54	    
4.70/2.55	    num=22, depth=2..5, filters=46992, revisions=(41355,useless=5319), ccks=2992, wck=0.28, mem=60M938
4.70/2.55	    decisions=474, wrong=195, backtracks=14, failedAssignments=185, nogoods=121, foundSolutions=11, bestBound=2338
4.70/2.55	    
4.70/2.56	    num=23, depth=1..5, filters=49818, revisions=(43339,useless=5322), ccks=2992, wck=0.29, mem=63M581
4.70/2.56	    decisions=507, wrong=211, backtracks=18, failedAssignments=199, nogoods=125, foundSolutions=11, bestBound=2338
4.70/2.56	    
4.70/2.56	    num=24, depth=2..5, filters=54258, revisions=(47038,useless=5373), ccks=2992, wck=0.3, mem=63M581
4.70/2.56	    decisions=555, wrong=234, backtracks=26, failedAssignments=215, nogoods=128, foundSolutions=11, bestBound=2338
4.70/2.56	    
4.70/2.58	    num=25, depth=2..7, filters=58351, revisions=(50245,useless=5391), ccks=2992, wck=0.311, mem=63M581
4.70/2.58	    decisions=595, wrong=252, backtracks=27, failedAssignments=232, nogoods=134, foundSolutions=11, bestBound=2338
4.70/2.58	    
4.70/2.58	o 2251
4.70/2.59	    num=26, depth=2..274, filters=61065, revisions=(52319,useless=5393), ccks=3264, wck=0.319, mem=66M223
4.70/2.59	    decisions=629, wrong=267, backtracks=28, failedAssignments=246, nogoods=139, foundSolutions=12, bestBound=2251
4.70/2.59	    
4.70/2.59	    num=27, depth=2..5, filters=64728, revisions=(55800,useless=5856), ccks=3264, wck=0.328, mem=66M223
4.70/2.59	    decisions=678, wrong=290, backtracks=32, failedAssignments=267, nogoods=152, foundSolutions=12, bestBound=2251
4.70/2.59	    
5.01/2.60	    num=28, depth=1..1, filters=66983, revisions=(57511,useless=5866), ccks=3264, wck=0.334, mem=66M223
5.01/2.60	    decisions=701, wrong=301, backtracks=32, failedAssignments=278, nogoods=163, foundSolutions=12, bestBound=2251
5.01/2.60	    
5.01/2.61	    num=29, depth=3..6, filters=69278, revisions=(59086,useless=5872), ccks=3264, wck=0.341, mem=66M223
5.01/2.61	    decisions=728, wrong=313, backtracks=32, failedAssignments=290, nogoods=175, foundSolutions=12, bestBound=2251
5.01/2.61	    
5.01/2.61	    num=30, depth=1..4, filters=72950, revisions=(62209,useless=5925), ccks=3264, wck=0.349, mem=68M866
5.01/2.61	    decisions=760, wrong=328, backtracks=35, failedAssignments=303, nogoods=184, foundSolutions=12, bestBound=2251
5.01/2.61	    
5.01/2.63	    num=31, depth=1..4, filters=78691, revisions=(66857,useless=5951), ccks=3264, wck=0.363, mem=68M866
5.01/2.63	    decisions=792, wrong=342, backtracks=35, failedAssignments=317, nogoods=198, foundSolutions=12, bestBound=2251
5.01/2.63	    
5.01/2.64	    num=32, depth=2..4, filters=84067, revisions=(71410,useless=6019), ccks=3264, wck=0.372, mem=71M508
5.01/2.64	    decisions=833, wrong=361, backtracks=38, failedAssignments=333, nogoods=210, foundSolutions=12, bestBound=2251
5.01/2.64	    
5.01/2.65	    num=33, depth=1..4, filters=88990, revisions=(75672,useless=6035), ccks=3264, wck=0.38, mem=71M508
5.01/2.65	    decisions=876, wrong=381, backtracks=41, failedAssignments=350, nogoods=225, foundSolutions=12, bestBound=2251
5.01/2.65	    
5.01/2.65	    num=34, depth=1..2, filters=92737, revisions=(78603,useless=6055), ccks=3264, wck=0.388, mem=71M508
5.01/2.65	    decisions=921, wrong=403, backtracks=44, failedAssignments=369, nogoods=230, foundSolutions=12, bestBound=2251
5.01/2.65	    
5.01/2.66	    num=35, depth=2..4, filters=97976, revisions=(83051,useless=6138), ccks=3264, wck=0.396, mem=71M508
5.01/2.66	    decisions=972, wrong=427, backtracks=47, failedAssignments=390, nogoods=246, foundSolutions=12, bestBound=2251
5.01/2.66	    
5.01/2.67	    num=36, depth=1..4, filters=102003, revisions=(85936,useless=6145), ccks=3264, wck=0.405, mem=74M150
5.01/2.67	    decisions=1024, wrong=452, backtracks=51, failedAssignments=413, nogoods=252, foundSolutions=12, bestBound=2251
5.01/2.67	    
5.01/2.68	    num=37, depth=1..5, filters=110182, revisions=(92847,useless=6272), ccks=3264, wck=0.418, mem=74M150
5.01/2.68	    decisions=1088, wrong=482, backtracks=60, failedAssignments=438, nogoods=268, foundSolutions=12, bestBound=2251
5.01/2.68	    
5.01/2.69	o 2246
5.01/2.69	    num=38, depth=3..274, filters=112181, revisions=(94521,useless=6274), ccks=3536, wck=0.422, mem=74M150
5.01/2.69	    decisions=1115, wrong=493, backtracks=64, failedAssignments=445, nogoods=275, foundSolutions=13, bestBound=2246
5.01/2.69	    
5.34/2.70	o 2045
5.34/2.70	    num=39, depth=2..274, filters=115691, revisions=(97950,useless=6738), ccks=3808, wck=0.432, mem=76M793
5.34/2.70	    decisions=1160, wrong=513, backtracks=64, failedAssignments=465, nogoods=295, foundSolutions=14, bestBound=2045
5.34/2.70	    
5.34/2.70	    num=40, depth=1..4, filters=117862, revisions=(100210,useless=7196), ccks=3808, wck=0.437, mem=76M793
5.34/2.70	    decisions=1186, wrong=525, backtracks=65, failedAssignments=476, nogoods=302, foundSolutions=14, bestBound=2045
5.34/2.70	    
5.34/2.71	    num=41, depth=0..3, filters=121064, revisions=(102930,useless=7230), ccks=3808, wck=0.443, mem=76M793
5.34/2.71	    decisions=1213, wrong=538, backtracks=67, failedAssignments=487, nogoods=307, foundSolutions=14, bestBound=2045
5.34/2.71	    
5.34/2.71	    num=42, depth=2..6, filters=122987, revisions=(104313,useless=7238), ccks=3808, wck=0.449, mem=76M793
5.34/2.71	    decisions=1239, wrong=550, backtracks=67, failedAssignments=499, nogoods=319, foundSolutions=14, bestBound=2045
5.34/2.71	    
5.34/2.72	    num=43, depth=2..2, filters=126475, revisions=(106879,useless=7247), ccks=3808, wck=0.456, mem=79M436
5.34/2.72	    decisions=1267, wrong=563, backtracks=67, failedAssignments=512, nogoods=332, foundSolutions=14, bestBound=2045
5.34/2.72	    
5.34/2.73	    num=44, depth=1..3, filters=129017, revisions=(108730,useless=7251), ccks=3808, wck=0.461, mem=79M436
5.34/2.73	    decisions=1299, wrong=578, backtracks=69, failedAssignments=526, nogoods=339, foundSolutions=14, bestBound=2045
5.34/2.73	    
5.34/2.73	    num=45, depth=2..4, filters=131849, revisions=(111129,useless=7304), ccks=3808, wck=0.465, mem=79M436
5.34/2.73	    decisions=1337, wrong=595, backtracks=70, failedAssignments=542, nogoods=353, foundSolutions=14, bestBound=2045
5.34/2.73	    
5.34/2.74	    num=46, depth=2..4, filters=135350, revisions=(113744,useless=7327), ccks=3808, wck=0.471, mem=79M436
5.34/2.74	    decisions=1378, wrong=614, backtracks=73, failedAssignments=559, nogoods=361, foundSolutions=14, bestBound=2045
5.34/2.74	    
5.34/2.74	    num=47, depth=3..4, filters=139945, revisions=(117536,useless=7383), ccks=3808, wck=0.477, mem=82M78
5.34/2.74	    decisions=1423, wrong=635, backtracks=75, failedAssignments=578, nogoods=377, foundSolutions=14, bestBound=2045
5.34/2.74	    
5.34/2.74	o 2024
5.34/2.75	    num=48, depth=3..274, filters=141022, revisions=(118397,useless=7384), ccks=4080, wck=0.48, mem=82M78
5.34/2.75	    decisions=1435, wrong=639, backtracks=75, failedAssignments=582, nogoods=381, foundSolutions=15, bestBound=2024
5.34/2.75	    
5.34/2.76	o 2017
5.34/2.76	    num=49, depth=1..274, filters=145601, revisions=(122554,useless=7862), ccks=4352, wck=0.492, mem=82M78
5.34/2.76	    decisions=1464, wrong=651, backtracks=76, failedAssignments=593, nogoods=392, foundSolutions=16, bestBound=2017
5.34/2.76	    
5.34/2.76	o 1824
5.34/2.76	    num=50, depth=1..274, filters=146515, revisions=(123772,useless=8319), ccks=4624, wck=0.497, mem=82M78
5.34/2.76	    decisions=1470, wrong=652, backtracks=76, failedAssignments=594, nogoods=393, foundSolutions=17, bestBound=1824
5.34/2.76	    
5.34/2.77	o 1815
5.34/2.77	    num=51, depth=2..274, filters=147758, revisions=(125259,useless=8773), ccks=4896, wck=0.501, mem=84M721
5.34/2.77	    decisions=1483, wrong=656, backtracks=77, failedAssignments=597, nogoods=394, foundSolutions=18, bestBound=1815
5.34/2.77	    
5.34/2.77	o 1806
5.34/2.77	    num=52, depth=2..274, filters=149527, revisions=(127182,useless=9231), ccks=5168, wck=0.506, mem=84M721
5.34/2.77	    decisions=1503, wrong=664, backtracks=79, failedAssignments=603, nogoods=395, foundSolutions=19, bestBound=1806
5.34/2.77	    
5.34/2.77	o 1798
5.34/2.78	    num=53, depth=2..274, filters=150731, revisions=(128615,useless=9688), ccks=5440, wck=0.509, mem=84M721
5.34/2.78	    decisions=1515, wrong=668, backtracks=80, failedAssignments=606, nogoods=396, foundSolutions=20, bestBound=1798
5.34/2.78	    
5.34/2.78	o 1790
5.34/2.78	    num=54, depth=1..274, filters=152946, revisions=(130899,useless=10151), ccks=5712, wck=0.515, mem=84M721
5.34/2.78	    decisions=1535, wrong=676, backtracks=82, failedAssignments=612, nogoods=397, foundSolutions=21, bestBound=1790
5.34/2.78	    
5.34/2.79	    num=55, depth=1..4, filters=155112, revisions=(133150,useless=10614), ccks=5712, wck=0.52, mem=84M721
5.34/2.79	    decisions=1561, wrong=688, backtracks=84, failedAssignments=623, nogoods=402, foundSolutions=21, bestBound=1790
5.34/2.79	    
5.34/2.79	    num=56, depth=3..8, filters=157058, revisions=(134682,useless=10619), ccks=5712, wck=0.525, mem=87M363
5.34/2.79	    decisions=1589, wrong=700, backtracks=89, failedAssignments=634, nogoods=404, foundSolutions=21, bestBound=1790
5.34/2.79	    
5.60/2.80	    num=57, depth=1..3, filters=161175, revisions=(137610,useless=10649), ccks=5712, wck=0.534, mem=87M363
5.60/2.80	    decisions=1616, wrong=712, backtracks=89, failedAssignments=646, nogoods=416, foundSolutions=21, bestBound=1790
5.60/2.80	    
5.60/2.80	    num=58, depth=1..2, filters=163639, revisions=(139408,useless=10665), ccks=5712, wck=0.539, mem=87M363
5.60/2.80	    decisions=1645, wrong=726, backtracks=90, failedAssignments=659, nogoods=427, foundSolutions=21, bestBound=1790
5.60/2.80	    
5.60/2.82	    num=59, depth=0..0, filters=168397, revisions=(142964,useless=10672), ccks=5712, wck=0.551, mem=90M6
5.60/2.82	    decisions=1673, wrong=740, backtracks=90, failedAssignments=673, nogoods=427, foundSolutions=21, bestBound=1790
5.60/2.82	    
5.60/2.83	    num=60, depth=0..6, filters=174203, revisions=(147957,useless=10762), ccks=5712, wck=0.563, mem=90M6
5.60/2.83	    decisions=1732, wrong=768, backtracks=105, failedAssignments=689, nogoods=429, foundSolutions=21, bestBound=1790
5.60/2.83	    
5.60/2.83	o 1784
5.60/2.83	    num=61, depth=3..274, filters=176128, revisions=(149434,useless=10774), ccks=5984, wck=0.568, mem=90M6
5.60/2.83	    decisions=1755, wrong=777, backtracks=107, failedAssignments=696, nogoods=435, foundSolutions=22, bestBound=1784
5.60/2.83	    
5.60/2.84	o 1768
5.60/2.84	    num=62, depth=3..274, filters=177596, revisions=(151058,useless=11227), ccks=6256, wck=0.573, mem=92M648
5.60/2.84	    decisions=1775, wrong=784, backtracks=107, failedAssignments=703, nogoods=442, foundSolutions=23, bestBound=1768
5.60/2.84	    
5.60/2.84	o 1762
5.60/2.84	    num=63, depth=3..274, filters=179255, revisions=(152909,useless=11682), ccks=6528, wck=0.578, mem=92M648
5.60/2.84	    decisions=1797, wrong=792, backtracks=107, failedAssignments=711, nogoods=450, foundSolutions=24, bestBound=1762
5.60/2.84	    
5.60/2.85	o 1750
5.60/2.85	    num=64, depth=4..274, filters=180256, revisions=(154169,useless=12134), ccks=6800, wck=0.582, mem=92M648
5.60/2.85	    decisions=1807, wrong=794, backtracks=108, failedAssignments=712, nogoods=451, foundSolutions=25, bestBound=1750
5.60/2.85	    
5.60/2.85	o 1734
5.60/2.85	    num=65, depth=5..274, filters=181083, revisions=(155294,useless=12584), ccks=7072, wck=0.586, mem=92M648
5.60/2.85	    decisions=1815, wrong=795, backtracks=108, failedAssignments=713, nogoods=452, foundSolutions=26, bestBound=1734
5.60/2.85	    
5.60/2.85	o 1728
5.60/2.85	    num=66, depth=5..274, filters=181950, revisions=(156465,useless=13036), ccks=7344, wck=0.589, mem=92M648
5.60/2.85	    decisions=1823, wrong=796, backtracks=108, failedAssignments=714, nogoods=453, foundSolutions=27, bestBound=1728
5.60/2.85	    
5.60/2.86	o 1724
5.60/2.86	    num=67, depth=4..274, filters=183001, revisions=(157771,useless=13488), ccks=7616, wck=0.593, mem=92M648
5.60/2.86	    decisions=1833, wrong=798, backtracks=109, failedAssignments=715, nogoods=454, foundSolutions=28, bestBound=1724
5.60/2.86	    
5.60/2.86	o 1708
5.60/2.86	    num=68, depth=5..274, filters=183832, revisions=(158896,useless=13938), ccks=7888, wck=0.597, mem=95M291
5.60/2.86	    decisions=1841, wrong=799, backtracks=109, failedAssignments=716, nogoods=455, foundSolutions=29, bestBound=1708
5.60/2.86	    
5.60/2.87	o 1702
5.60/2.87	    num=69, depth=5..274, filters=184702, revisions=(160067,useless=14390), ccks=8160, wck=0.6, mem=95M291
5.60/2.87	    decisions=1849, wrong=800, backtracks=109, failedAssignments=717, nogoods=456, foundSolutions=30, bestBound=1702
5.60/2.87	    
5.60/2.87	o 1625
5.60/2.87	    num=70, depth=4..274, filters=185752, revisions=(161373,useless=14844), ccks=8432, wck=0.604, mem=95M291
5.60/2.87	    decisions=1859, wrong=802, backtracks=110, failedAssignments=718, nogoods=457, foundSolutions=31, bestBound=1625
5.60/2.87	    
5.60/2.87	o 1609
5.60/2.87	    num=71, depth=5..274, filters=186581, revisions=(162498,useless=15294), ccks=8704, wck=0.607, mem=95M291
5.60/2.87	    decisions=1867, wrong=803, backtracks=110, failedAssignments=719, nogoods=458, foundSolutions=32, bestBound=1609
5.60/2.87	    
5.60/2.87	o 1603
5.60/2.88	    num=72, depth=5..274, filters=187408, revisions=(163623,useless=15744), ccks=8976, wck=0.61, mem=95M291
5.60/2.88	    decisions=1875, wrong=804, backtracks=110, failedAssignments=720, nogoods=459, foundSolutions=33, bestBound=1603
5.60/2.88	    
5.60/2.88	o 1562
5.60/2.88	    num=73, depth=4..274, filters=188514, revisions=(164976,useless=16200), ccks=9248, wck=0.614, mem=95M291
5.60/2.88	    decisions=1885, wrong=806, backtracks=111, failedAssignments=721, nogoods=460, foundSolutions=34, bestBound=1562
5.60/2.88	    
5.60/2.88	o 1546
5.60/2.88	    num=74, depth=5..274, filters=189344, revisions=(166101,useless=16650), ccks=9520, wck=0.616, mem=95M291
5.60/2.88	    decisions=1893, wrong=807, backtracks=111, failedAssignments=722, nogoods=461, foundSolutions=35, bestBound=1546
5.60/2.88	    
5.60/2.88	o 1540
5.60/2.88	    num=75, depth=5..274, filters=190171, revisions=(167226,useless=17100), ccks=9792, wck=0.619, mem=97M933
5.60/2.88	    decisions=1901, wrong=808, backtracks=111, failedAssignments=723, nogoods=462, foundSolutions=36, bestBound=1540
5.60/2.88	    
5.60/2.89	o 1478
5.60/2.89	    num=76, depth=4..274, filters=191415, revisions=(168666,useless=17550), ccks=10064, wck=0.623, mem=97M933
5.60/2.89	    decisions=1915, wrong=812, backtracks=112, failedAssignments=726, nogoods=464, foundSolutions=37, bestBound=1478
5.60/2.89	    
5.60/2.89	o 1469
5.60/2.89	    num=77, depth=4..274, filters=192716, revisions=(170153,useless=18004), ccks=10336, wck=0.626, mem=97M933
5.60/2.89	    decisions=1929, wrong=816, backtracks=113, failedAssignments=729, nogoods=466, foundSolutions=38, bestBound=1469
5.60/2.89	    
5.60/2.89	o 1462
5.60/2.89	    num=78, depth=276..274, filters=193437, revisions=(171188,useless=18454), ccks=10608, wck=0.629, mem=97M933
5.60/2.89	    decisions=1935, wrong=816, backtracks=113, failedAssignments=729, nogoods=466, foundSolutions=39, bestBound=1462
5.60/2.89	    
5.91/2.90	o 1456
5.91/2.90	    num=79, depth=5..274, filters=194265, revisions=(172313,useless=18904), ccks=10880, wck=0.632, mem=97M933
5.91/2.90	    decisions=1943, wrong=817, backtracks=113, failedAssignments=730, nogoods=467, foundSolutions=40, bestBound=1456
5.91/2.90	    
5.91/2.90	o 1453
5.91/2.90	    num=80, depth=4..274, filters=196414, revisions=(174417,useless=19362), ccks=11152, wck=0.637, mem=97M933
5.91/2.90	    decisions=1969, wrong=827, backtracks=115, failedAssignments=738, nogoods=469, foundSolutions=41, bestBound=1453
5.91/2.90	    
5.91/2.90	o 1447
5.91/2.91	    num=81, depth=5..274, filters=197309, revisions=(175587,useless=19812), ccks=11424, wck=0.64, mem=100M575
5.91/2.91	    decisions=1977, wrong=828, backtracks=115, failedAssignments=739, nogoods=470, foundSolutions=42, bestBound=1447
5.91/2.91	    
5.91/2.91	o 1446
5.91/2.91	    num=82, depth=4..274, filters=198643, revisions=(177074,useless=20264), ccks=11696, wck=0.644, mem=100M575
5.91/2.91	    decisions=1991, wrong=832, backtracks=116, failedAssignments=742, nogoods=472, foundSolutions=43, bestBound=1446
5.91/2.91	    
5.91/2.91	o 1439
5.91/2.91	    num=83, depth=276..274, filters=199429, revisions=(178154,useless=20714), ccks=11968, wck=0.647, mem=100M575
5.91/2.91	    decisions=1997, wrong=832, backtracks=116, failedAssignments=742, nogoods=472, foundSolutions=44, bestBound=1439
5.91/2.91	    
5.91/2.91	o 1425
5.91/2.92	    num=84, depth=5..274, filters=200329, revisions=(179324,useless=21164), ccks=12240, wck=0.65, mem=100M575
5.91/2.92	    decisions=2005, wrong=833, backtracks=116, failedAssignments=743, nogoods=473, foundSolutions=45, bestBound=1425
5.91/2.92	    
5.91/2.92	o 1414
5.91/2.92	    num=85, depth=4..274, filters=203115, revisions=(181940,useless=21626), ccks=12512, wck=0.656, mem=100M575
5.91/2.92	    decisions=2037, wrong=846, backtracks=119, failedAssignments=753, nogoods=476, foundSolutions=46, bestBound=1414
5.91/2.92	    
5.91/2.92	o 1405
5.91/2.92	    num=86, depth=4..274, filters=204623, revisions=(183614,useless=22092), ccks=12784, wck=0.659, mem=100M575
5.91/2.92	    decisions=2051, wrong=850, backtracks=120, failedAssignments=756, nogoods=477, foundSolutions=47, bestBound=1405
5.91/2.92	    
5.91/2.93	    num=87, depth=4..5, filters=207209, revisions=(186092,useless=22557), ccks=12784, wck=0.663, mem=103M218
5.91/2.93	    decisions=2084, wrong=864, backtracks=123, failedAssignments=767, nogoods=482, foundSolutions=47, bestBound=1405
5.91/2.93	    
5.91/2.93	    num=88, depth=2..5, filters=210153, revisions=(188222,useless=22593), ccks=12784, wck=0.669, mem=103M218
5.91/2.93	    decisions=2114, wrong=877, backtracks=126, failedAssignments=778, nogoods=484, foundSolutions=47, bestBound=1405
5.91/2.93	    
5.91/2.94	    num=89, depth=3..4, filters=211971, revisions=(189719,useless=22602), ccks=12784, wck=0.672, mem=103M218
5.91/2.94	    decisions=2141, wrong=889, backtracks=126, failedAssignments=790, nogoods=496, foundSolutions=47, bestBound=1405
5.91/2.94	    
5.91/2.94	    num=90, depth=0..4, filters=214863, revisions=(192034,useless=22631), ccks=12784, wck=0.678, mem=103M218
5.91/2.94	    decisions=2175, wrong=905, backtracks=130, failedAssignments=803, nogoods=504, foundSolutions=47, bestBound=1405
5.91/2.94	    
5.91/2.95	    num=91, depth=2..3, filters=218797, revisions=(194927,useless=22651), ccks=12784, wck=0.684, mem=103M218
5.91/2.95	    decisions=2207, wrong=920, backtracks=131, failedAssignments=817, nogoods=505, foundSolutions=47, bestBound=1405
5.91/2.95	    
5.91/2.96	    num=92, depth=1..5, filters=222711, revisions=(198274,useless=22683), ccks=12784, wck=0.691, mem=105M860
5.91/2.96	    decisions=2251, wrong=941, backtracks=137, failedAssignments=833, nogoods=513, foundSolutions=47, bestBound=1405
5.91/2.96	    
5.91/2.96	    num=93, depth=2..4, filters=226735, revisions=(201871,useless=22760), ccks=12784, wck=0.697, mem=105M860
5.91/2.96	    decisions=2289, wrong=959, backtracks=139, failedAssignments=850, nogoods=520, foundSolutions=47, bestBound=1405
5.91/2.96	    
5.91/2.97	    num=94, depth=1..7, filters=234104, revisions=(208372,useless=22833), ccks=12784, wck=0.708, mem=108M503
5.91/2.97	    decisions=2362, wrong=994, backtracks=160, failedAssignments=869, nogoods=525, foundSolutions=47, bestBound=1405
5.91/2.97	    
5.91/2.98	    num=95, depth=1..5, filters=241752, revisions=(215093,useless=22997), ccks=12784, wck=0.719, mem=108M503
5.91/2.98	    decisions=2412, wrong=1018, backtracks=164, failedAssignments=890, nogoods=539, foundSolutions=47, bestBound=1405
5.91/2.98	    
5.91/2.99	    num=96, depth=0..4, filters=247832, revisions=(220092,useless=23108), ccks=12784, wck=0.728, mem=111M145
5.91/2.99	    decisions=2472, wrong=1048, backtracks=172, failedAssignments=913, nogoods=539, foundSolutions=47, bestBound=1405
5.91/2.99	    
5.91/3.00	    num=97, depth=3..7, filters=251591, revisions=(222940,useless=23126), ccks=12784, wck=0.734, mem=111M145
5.91/3.00	    decisions=2529, wrong=1074, backtracks=173, failedAssignments=938, nogoods=555, foundSolutions=47, bestBound=1405
5.91/3.00	    
6.22/3.01	    num=98, depth=1..6, filters=256405, revisions=(226766,useless=23196), ccks=12784, wck=0.742, mem=111M145
6.22/3.01	    decisions=2591, wrong=1104, backtracks=179, failedAssignments=966, nogoods=569, foundSolutions=47, bestBound=1405
6.22/3.01	    
6.22/3.02	    num=99, depth=0..7, filters=263907, revisions=(232869,useless=23309), ccks=12784, wck=0.753, mem=113M788
6.22/3.02	    decisions=2666, wrong=1140, backtracks=184, failedAssignments=997, nogoods=588, foundSolutions=47, bestBound=1405
6.22/3.02	    
6.22/3.03	    num=100, depth=1..5, filters=272057, revisions=(239442,useless=23386), ccks=12784, wck=0.762, mem=113M788
6.22/3.03	    decisions=2757, wrong=1184, backtracks=196, failedAssignments=1031, nogoods=601, foundSolutions=47, bestBound=1405
6.22/3.03	    
6.22/3.04	    num=101, depth=0..6, filters=281695, revisions=(247412,useless=23497), ccks=12784, wck=0.774, mem=116M430
6.22/3.04	    decisions=2853, wrong=1230, backtracks=206, failedAssignments=1068, nogoods=616, foundSolutions=47, bestBound=1405
6.22/3.04	    
6.22/3.05	    num=102, depth=1..4, filters=290692, revisions=(254613,useless=23561), ccks=12784, wck=0.784, mem=116M430
6.22/3.05	    decisions=2971, wrong=1288, backtracks=223, failedAssignments=1109, nogoods=622, foundSolutions=47, bestBound=1405
6.22/3.05	    
6.22/3.06	    num=103, depth=0..6, filters=302777, revisions=(264795,useless=23716), ccks=12784, wck=0.798, mem=119M72
6.22/3.06	    decisions=3092, wrong=1347, backtracks=238, failedAssignments=1154, nogoods=627, foundSolutions=47, bestBound=1405
6.22/3.06	    
6.22/3.08	    num=104, depth=0..5, filters=315374, revisions=(276007,useless=23845), ccks=12784, wck=0.811, mem=119M72
6.22/3.08	    decisions=3218, wrong=1409, backtracks=255, failedAssignments=1204, nogoods=646, foundSolutions=47, bestBound=1405
6.22/3.08	    
6.22/3.09	o 1301
6.22/3.09	    num=105, depth=0..274, filters=328631, revisions=(286820,useless=23919), ccks=13056, wck=0.828, mem=121M715
6.22/3.09	    decisions=3350, wrong=1472, backtracks=273, failedAssignments=1254, nogoods=669, foundSolutions=48, bestBound=1301
6.22/3.09	    
6.33/3.11	    num=106, depth=1..5, filters=340887, revisions=(298107,useless=24500), ccks=13056, wck=0.844, mem=124M357
6.33/3.11	    decisions=3491, wrong=1541, backtracks=283, failedAssignments=1315, nogoods=682, foundSolutions=48, bestBound=1301
6.33/3.11	    
6.33/3.11	    num=107, depth=2..3, filters=343313, revisions=(300050,useless=24518), ccks=13056, wck=0.848, mem=124M357
6.33/3.11	    decisions=3517, wrong=1553, backtracks=284, failedAssignments=1326, nogoods=689, foundSolutions=48, bestBound=1301
6.33/3.11	    
6.33/3.12	    num=108, depth=0..5, filters=346785, revisions=(302871,useless=24543), ccks=13056, wck=0.852, mem=124M357
6.33/3.12	    decisions=3555, wrong=1570, backtracks=289, failedAssignments=1338, nogoods=695, foundSolutions=48, bestBound=1301
6.33/3.12	    
6.33/3.12	    num=109, depth=0..4, filters=350498, revisions=(306107,useless=24583), ccks=13056, wck=0.857, mem=127M0
6.33/3.12	    decisions=3592, wrong=1588, backtracks=294, failedAssignments=1351, nogoods=696, foundSolutions=48, bestBound=1301
6.33/3.12	    
6.33/3.13	    num=110, depth=1..4, filters=354163, revisions=(309133,useless=24624), ccks=13056, wck=0.862, mem=127M0
6.33/3.13	    decisions=3630, wrong=1606, backtracks=299, failedAssignments=1365, nogoods=703, foundSolutions=48, bestBound=1301
6.33/3.13	    
6.33/3.13	    num=111, depth=0..4, filters=359809, revisions=(314064,useless=24709), ccks=13056, wck=0.868, mem=127M0
6.33/3.13	    decisions=3678, wrong=1629, backtracks=306, failedAssignments=1381, nogoods=707, foundSolutions=48, bestBound=1301
6.33/3.13	    
6.33/3.14	    num=112, depth=1..3, filters=364441, revisions=(318087,useless=24780), ccks=13056, wck=0.874, mem=127M0
6.33/3.14	    decisions=3718, wrong=1648, backtracks=308, failedAssignments=1398, nogoods=718, foundSolutions=48, bestBound=1301
6.33/3.14	    
6.33/3.15	    num=113, depth=1..5, filters=371221, revisions=(324167,useless=24924), ccks=13056, wck=0.881, mem=127M0
6.33/3.15	    decisions=3785, wrong=1680, backtracks=325, failedAssignments=1417, nogoods=723, foundSolutions=48, bestBound=1301
6.33/3.15	    
6.33/3.15	    num=114, depth=2..3, filters=374951, revisions=(327050,useless=24959), ccks=13056, wck=0.887, mem=129M642
6.33/3.15	    decisions=3832, wrong=1702, backtracks=326, failedAssignments=1438, nogoods=739, foundSolutions=48, bestBound=1301
6.33/3.15	    
6.33/3.16	    num=115, depth=1..3, filters=381266, revisions=(332578,useless=25086), ccks=13056, wck=0.893, mem=129M642
6.33/3.16	    decisions=3898, wrong=1734, backtracks=336, failedAssignments=1461, nogoods=744, foundSolutions=48, bestBound=1301
6.33/3.16	    
6.33/3.17	    num=116, depth=0..4, filters=386665, revisions=(336927,useless=25179), ccks=13056, wck=0.9, mem=129M642
6.33/3.17	    decisions=3961, wrong=1764, backtracks=342, failedAssignments=1486, nogoods=747, foundSolutions=48, bestBound=1301
6.33/3.17	    
6.33/3.17	    num=117, depth=1..4, filters=392717, revisions=(342279,useless=25243), ccks=13056, wck=0.907, mem=129M642
6.33/3.17	    decisions=4030, wrong=1798, backtracks=353, failedAssignments=1514, nogoods=752, foundSolutions=48, bestBound=1301
6.33/3.17	    
6.33/3.18	    num=118, depth=0..4, filters=400846, revisions=(349180,useless=25328), ccks=13056, wck=0.917, mem=132M285
6.33/3.18	    decisions=4112, wrong=1838, backtracks=362, failedAssignments=1545, nogoods=771, foundSolutions=48, bestBound=1301
6.33/3.18	    
6.33/3.19	    num=119, depth=0..3, filters=409300, revisions=(356165,useless=25446), ccks=13056, wck=0.927, mem=132M285
6.33/3.19	    decisions=4188, wrong=1875, backtracks=365, failedAssignments=1579, nogoods=783, foundSolutions=48, bestBound=1301
6.33/3.19	    
6.44/3.20	    num=120, depth=1..3, filters=416641, revisions=(362040,useless=25510), ccks=13056, wck=0.937, mem=134M927
6.44/3.20	    decisions=4274, wrong=1917, backtracks=370, failedAssignments=1616, nogoods=790, foundSolutions=48, bestBound=1301
6.44/3.20	    
6.44/3.21	    num=121, depth=0..5, filters=425353, revisions=(369456,useless=25605), ccks=13056, wck=0.948, mem=134M927
6.44/3.21	    decisions=4372, wrong=1965, backtracks=378, failedAssignments=1657, nogoods=807, foundSolutions=48, bestBound=1301
6.44/3.21	    
6.44/3.23	    num=122, depth=1..3, filters=433938, revisions=(376036,useless=25699), ccks=13056, wck=0.96, mem=137M570
6.44/3.23	    decisions=4478, wrong=2017, backtracks=385, failedAssignments=1702, nogoods=820, foundSolutions=48, bestBound=1301
6.44/3.23	    
6.44/3.24	    num=123, depth=1..3, filters=445487, revisions=(385849,useless=25850), ccks=13056, wck=0.974, mem=137M570
6.44/3.24	    decisions=4613, wrong=2084, backtracks=404, failedAssignments=1752, nogoods=829, foundSolutions=48, bestBound=1301
6.44/3.24	    
6.44/3.26	    num=124, depth=0..4, filters=457533, revisions=(395589,useless=25985), ccks=13056, wck=0.991, mem=140M212
6.44/3.26	    decisions=4748, wrong=2150, backtracks=416, failedAssignments=1807, nogoods=838, foundSolutions=48, bestBound=1301
6.44/3.26	    
6.44/3.27	    num=125, depth=2..4, filters=469375, revisions=(405039,useless=26079), ccks=13056, wck=1.006, mem=140M212
6.44/3.27	    decisions=4900, wrong=2224, backtracks=430, failedAssignments=1868, nogoods=850, foundSolutions=48, bestBound=1301
6.44/3.27	    
6.44/3.29	    num=126, depth=1..4, filters=483164, revisions=(416859,useless=26223), ccks=13056, wck=1.022, mem=142M778
6.44/3.29	    decisions=5070, wrong=2308, backtracks=448, failedAssignments=1935, nogoods=857, foundSolutions=48, bestBound=1301
6.44/3.29	    
6.58/3.30	    num=127, depth=2..4, filters=497129, revisions=(427977,useless=26327), ccks=13056, wck=1.039, mem=142M778
6.58/3.30	    decisions=5252, wrong=2397, backtracks=464, failedAssignments=2009, nogoods=871, foundSolutions=48, bestBound=1301
6.58/3.30	    
6.58/3.34	    num=128, depth=0..5, filters=515290, revisions=(443210,useless=26554), ccks=13056, wck=1.073, mem=23M292
6.58/3.34	    decisions=5462, wrong=2501, backtracks=488, failedAssignments=2090, nogoods=876, foundSolutions=48, bestBound=1301
6.58/3.34	    
6.58/3.36	    num=129, depth=0..4, filters=534746, revisions=(459361,useless=26806), ccks=13056, wck=1.095, mem=25M882
6.58/3.36	    decisions=5680, wrong=2609, backtracks=510, failedAssignments=2179, nogoods=890, foundSolutions=48, bestBound=1301
6.58/3.36	    
6.58/3.39	    num=130, depth=0..4, filters=556743, revisions=(477436,useless=27112), ccks=13056, wck=1.121, mem=28M471
6.58/3.39	    decisions=5924, wrong=2730, backtracks=536, failedAssignments=2277, nogoods=901, foundSolutions=48, bestBound=1301
6.58/3.39	    
6.72/3.41	o 1298
6.72/3.41	    num=131, depth=1..274, filters=574066, revisions=(491600,useless=27350), ccks=13328, wck=1.141, mem=31M61
6.72/3.41	    decisions=6125, wrong=2828, backtracks=557, failedAssignments=2355, nogoods=908, foundSolutions=49, bestBound=1298
6.72/3.41	    
6.72/3.44	    num=132, depth=1..5, filters=596659, revisions=(510464,useless=28045), ccks=13328, wck=1.17, mem=33M650
6.72/3.44	    decisions=6398, wrong=2964, backtracks=575, failedAssignments=2474, nogoods=909, foundSolutions=49, bestBound=1298
6.72/3.44	    
6.72/3.44	    num=133, depth=2..4, filters=599241, revisions=(512321,useless=28069), ccks=13328, wck=1.174, mem=33M650
6.72/3.44	    decisions=6426, wrong=2977, backtracks=577, failedAssignments=2485, nogoods=913, foundSolutions=49, bestBound=1298
6.72/3.44	    
6.72/3.44	    num=134, depth=2..4, filters=602340, revisions=(514883,useless=28105), ccks=13328, wck=1.177, mem=33M650
6.72/3.44	    decisions=6461, wrong=2993, backtracks=581, failedAssignments=2497, nogoods=918, foundSolutions=49, bestBound=1298
6.72/3.44	    
6.72/3.45	    num=135, depth=2..3, filters=606246, revisions=(518023,useless=28151), ccks=13328, wck=1.182, mem=33M650
6.72/3.45	    decisions=6500, wrong=3011, backtracks=586, failedAssignments=2510, nogoods=930, foundSolutions=49, bestBound=1298
6.72/3.45	    
6.72/3.45	    num=136, depth=0..4, filters=610561, revisions=(521284,useless=28218), ccks=13328, wck=1.187, mem=36M240
6.72/3.45	    decisions=6539, wrong=3029, backtracks=590, failedAssignments=2524, nogoods=932, foundSolutions=49, bestBound=1298
6.72/3.45	    
6.72/3.46	    num=137, depth=2..3, filters=615020, revisions=(524910,useless=28277), ccks=13328, wck=1.192, mem=36M240
6.72/3.46	    decisions=6588, wrong=3052, backtracks=597, failedAssignments=2540, nogoods=946, foundSolutions=49, bestBound=1298
6.72/3.46	    
6.72/3.46	    num=138, depth=2..4, filters=618937, revisions=(528089,useless=28314), ccks=13328, wck=1.197, mem=36M240
6.72/3.46	    decisions=6635, wrong=3074, backtracks=602, failedAssignments=2557, nogoods=949, foundSolutions=49, bestBound=1298
6.72/3.46	    
6.72/3.47	    num=139, depth=2..4, filters=625384, revisions=(533558,useless=28417), ccks=13328, wck=1.203, mem=36M240
6.72/3.47	    decisions=6689, wrong=3100, backtracks=609, failedAssignments=2576, nogoods=955, foundSolutions=49, bestBound=1298
6.72/3.47	    
6.72/3.47	    num=140, depth=2..4, filters=630579, revisions=(537792,useless=28492), ccks=13328, wck=1.21, mem=38M830
6.72/3.47	    decisions=6745, wrong=3127, backtracks=615, failedAssignments=2597, nogoods=969, foundSolutions=49, bestBound=1298
6.72/3.47	    
6.72/3.48	    num=141, depth=2..4, filters=636565, revisions=(542709,useless=28553), ccks=13328, wck=1.216, mem=38M830
6.72/3.48	    decisions=6814, wrong=3160, backtracks=626, failedAssignments=2620, nogoods=974, foundSolutions=49, bestBound=1298
6.72/3.48	    
6.72/3.49	o 1288
6.72/3.49	    num=142, depth=1..274, filters=643268, revisions=(548273,useless=28723), ccks=13600, wck=1.224, mem=38M830
6.72/3.49	    decisions=6875, wrong=3188, backtracks=634, failedAssignments=2641, nogoods=976, foundSolutions=50, bestBound=1288
6.72/3.49	    
6.86/3.50	    num=143, depth=2..4, filters=648131, revisions=(552643,useless=29234), ccks=13600, wck=1.231, mem=38M830
6.86/3.50	    decisions=6939, wrong=3218, backtracks=636, failedAssignments=2669, nogoods=982, foundSolutions=50, bestBound=1288
6.86/3.50	    
6.86/3.50	    num=144, depth=1..4, filters=651071, revisions=(555097,useless=29260), ccks=13600, wck=1.234, mem=41M419
6.86/3.50	    decisions=6972, wrong=3234, backtracks=641, failedAssignments=2680, nogoods=985, foundSolutions=50, bestBound=1288
6.86/3.50	    
6.86/3.50	    num=145, depth=2..5, filters=654225, revisions=(557732,useless=29295), ccks=13600, wck=1.238, mem=42M740
6.86/3.50	    decisions=7010, wrong=3252, backtracks=648, failedAssignments=2692, nogoods=990, foundSolutions=50, bestBound=1288
6.86/3.50	    
6.86/3.51	    num=146, depth=2..4, filters=657514, revisions=(560304,useless=29320), ccks=13600, wck=1.242, mem=42M740
6.86/3.51	    decisions=7047, wrong=3269, backtracks=652, failedAssignments=2705, nogoods=994, foundSolutions=50, bestBound=1288
6.86/3.51	    
6.86/3.51	o 1282
6.86/3.51	    num=147, depth=2..274, filters=661293, revisions=(563446,useless=29386), ccks=13872, wck=1.247, mem=42M740
6.86/3.51	    decisions=7080, wrong=3283, backtracks=654, failedAssignments=2717, nogoods=998, foundSolutions=51, bestBound=1282
6.86/3.51	    
6.86/3.52	    num=148, depth=3..4, filters=664008, revisions=(566301,useless=29862), ccks=13872, wck=1.25, mem=42M740
6.86/3.52	    decisions=7116, wrong=3299, backtracks=654, failedAssignments=2733, nogoods=1014, foundSolutions=51, bestBound=1282
6.86/3.52	    
6.86/3.52	    num=149, depth=2..4, filters=667333, revisions=(568960,useless=29905), ccks=13872, wck=1.254, mem=42M740
6.86/3.52	    decisions=7149, wrong=3314, backtracks=659, failedAssignments=2744, nogoods=1019, foundSolutions=51, bestBound=1282
6.86/3.52	    
6.86/3.52	    num=150, depth=2..5, filters=670671, revisions=(571818,useless=29957), ccks=13872, wck=1.258, mem=42M740
6.86/3.52	    decisions=7182, wrong=3329, backtracks=663, failedAssignments=2756, nogoods=1021, foundSolutions=51, bestBound=1282
6.86/3.52	    
6.86/3.53	    num=151, depth=1..4, filters=673823, revisions=(574327,useless=29994), ccks=13872, wck=1.262, mem=45M330
6.86/3.53	    decisions=7217, wrong=3345, backtracks=666, failedAssignments=2769, nogoods=1029, foundSolutions=51, bestBound=1282
6.86/3.53	    
6.86/3.53	o 1276
6.86/3.53	    num=152, depth=4..274, filters=674734, revisions=(575093,useless=30000), ccks=14144, wck=1.264, mem=45M330
6.86/3.53	    decisions=7224, wrong=3346, backtracks=666, failedAssignments=2770, nogoods=1030, foundSolutions=52, bestBound=1276
6.86/3.53	    
6.86/3.53	    num=153, depth=4..5, filters=679271, revisions=(579285,useless=30560), ccks=14144, wck=1.269, mem=45M330
6.86/3.53	    decisions=7262, wrong=3363, backtracks=667, failedAssignments=2786, nogoods=1044, foundSolutions=52, bestBound=1276
6.86/3.53	    
6.86/3.54	    num=154, depth=2..4, filters=682652, revisions=(582060,useless=30610), ccks=14144, wck=1.273, mem=45M330
6.86/3.54	    decisions=7294, wrong=3378, backtracks=671, failedAssignments=2797, nogoods=1048, foundSolutions=52, bestBound=1276
6.86/3.54	    
6.86/3.54	    num=155, depth=2..4, filters=685684, revisions=(584470,useless=30636), ccks=14144, wck=1.277, mem=45M330
6.86/3.54	    decisions=7327, wrong=3393, backtracks=674, failedAssignments=2809, nogoods=1053, foundSolutions=52, bestBound=1276
6.86/3.54	    
6.86/3.54	o 1272
6.86/3.54	    num=156, depth=3..274, filters=686707, revisions=(585325,useless=30643), ccks=14416, wck=1.278, mem=45M330
6.86/3.54	    decisions=7336, wrong=3395, backtracks=675, failedAssignments=2810, nogoods=1054, foundSolutions=53, bestBound=1272
6.86/3.54	    
6.86/3.55	    num=157, depth=2..4, filters=692387, revisions=(590516,useless=31174), ccks=14416, wck=1.286, mem=47M919
6.86/3.55	    decisions=7373, wrong=3412, backtracks=678, failedAssignments=2824, nogoods=1066, foundSolutions=53, bestBound=1272
6.86/3.55	    
6.86/3.56	    num=158, depth=2..4, filters=695630, revisions=(593106,useless=31199), ccks=14416, wck=1.29, mem=47M919
6.86/3.56	    decisions=7406, wrong=3427, backtracks=682, failedAssignments=2835, nogoods=1070, foundSolutions=53, bestBound=1272
6.86/3.56	    
6.86/3.56	o 1266
6.86/3.56	    num=159, depth=4..274, filters=696588, revisions=(593917,useless=31206), ccks=14688, wck=1.292, mem=47M919
6.86/3.56	    decisions=7413, wrong=3428, backtracks=682, failedAssignments=2836, nogoods=1071, foundSolutions=54, bestBound=1266
6.86/3.56	    
6.86/3.56	    num=160, depth=3..4, filters=700820, revisions=(597879,useless=31665), ccks=14688, wck=1.297, mem=47M919
6.86/3.56	    decisions=7455, wrong=3447, backtracks=688, failedAssignments=2849, nogoods=1078, foundSolutions=54, bestBound=1266
6.86/3.56	    
6.86/3.57	    num=161, depth=1..4, filters=704611, revisions=(601055,useless=31736), ccks=14688, wck=1.302, mem=47M919
6.86/3.57	    decisions=7488, wrong=3463, backtracks=693, failedAssignments=2860, nogoods=1079, foundSolutions=54, bestBound=1266
6.86/3.57	    
6.86/3.57	    num=162, depth=2..4, filters=708066, revisions=(603795,useless=31761), ccks=14688, wck=1.305, mem=47M919
6.86/3.57	    decisions=7527, wrong=3481, backtracks=699, failedAssignments=2872, nogoods=1083, foundSolutions=54, bestBound=1266
6.86/3.57	    
6.86/3.57	    num=163, depth=1..4, filters=711172, revisions=(606388,useless=31784), ccks=14688, wck=1.309, mem=50M509
6.86/3.57	    decisions=7567, wrong=3500, backtracks=705, failedAssignments=2885, nogoods=1086, foundSolutions=54, bestBound=1266
6.86/3.57	    
6.86/3.58	o 1264
6.86/3.58	    num=164, depth=3..274, filters=712823, revisions=(607788,useless=31801), ccks=14960, wck=1.311, mem=50M509
6.86/3.58	    decisions=7584, wrong=3506, backtracks=707, failedAssignments=2889, nogoods=1088, foundSolutions=55, bestBound=1264
6.86/3.58	    
6.86/3.58	    num=165, depth=2..6, filters=716857, revisions=(611642,useless=32290), ccks=14960, wck=1.317, mem=50M509
6.86/3.58	    decisions=7625, wrong=3525, backtracks=712, failedAssignments=2905, nogoods=1090, foundSolutions=55, bestBound=1264
6.86/3.58	    
6.86/3.59	    num=166, depth=3..4, filters=719540, revisions=(613823,useless=32311), ccks=14960, wck=1.321, mem=50M509
6.86/3.59	    decisions=7652, wrong=3537, backtracks=713, failedAssignments=2916, nogoods=1099, foundSolutions=55, bestBound=1264
6.86/3.59	    
6.86/3.59	    num=167, depth=2..5, filters=723165, revisions=(616671,useless=32340), ccks=14960, wck=1.325, mem=50M509
6.86/3.59	    decisions=7691, wrong=3555, backtracks=720, failedAssignments=2928, nogoods=1102, foundSolutions=55, bestBound=1264
6.86/3.59	    
6.86/3.59	    num=168, depth=0..4, filters=727258, revisions=(620089,useless=32368), ccks=14960, wck=1.33, mem=50M509
6.86/3.59	    decisions=7738, wrong=3577, backtracks=729, failedAssignments=2941, nogoods=1104, foundSolutions=55, bestBound=1264
6.86/3.59	    
7.02/3.60	    num=169, depth=2..5, filters=730090, revisions=(622346,useless=32383), ccks=14960, wck=1.333, mem=50M509
7.02/3.60	    decisions=7774, wrong=3593, backtracks=731, failedAssignments=2955, nogoods=1109, foundSolutions=55, bestBound=1264
7.02/3.60	    
7.02/3.60	    num=170, depth=1..3, filters=733811, revisions=(625418,useless=32426), ccks=14960, wck=1.338, mem=53M99
7.02/3.60	    decisions=7817, wrong=3614, backtracks=736, failedAssignments=2971, nogoods=1114, foundSolutions=55, bestBound=1264
7.02/3.60	    
7.02/3.61	    num=171, depth=1..3, filters=737563, revisions=(628498,useless=32472), ccks=14960, wck=1.342, mem=53M99
7.02/3.61	    decisions=7860, wrong=3635, backtracks=740, failedAssignments=2988, nogoods=1117, foundSolutions=55, bestBound=1264
7.02/3.61	    
7.02/3.61	    num=172, depth=0..4, filters=742072, revisions=(632248,useless=32520), ccks=14960, wck=1.347, mem=53M99
7.02/3.61	    decisions=7912, wrong=3660, backtracks=746, failedAssignments=3007, nogoods=1119, foundSolutions=55, bestBound=1264
7.02/3.61	    
7.02/3.62	    num=173, depth=1..4, filters=748062, revisions=(637358,useless=32602), ccks=14960, wck=1.353, mem=53M99
7.02/3.62	    decisions=7972, wrong=3688, backtracks=753, failedAssignments=3028, nogoods=1126, foundSolutions=55, bestBound=1264
7.02/3.62	    
7.02/3.62	    num=174, depth=2..4, filters=752840, revisions=(641249,useless=32647), ccks=14960, wck=1.359, mem=53M99
7.02/3.62	    decisions=8027, wrong=3714, backtracks=756, failedAssignments=3051, nogoods=1130, foundSolutions=55, bestBound=1264
7.02/3.62	    
7.02/3.63	    num=175, depth=1..4, filters=760357, revisions=(647732,useless=32812), ccks=14960, wck=1.366, mem=55M688
7.02/3.63	    decisions=8102, wrong=3751, backtracks=768, failedAssignments=3076, nogoods=1131, foundSolutions=55, bestBound=1264
7.02/3.63	    
7.02/3.64	    num=176, depth=2..5, filters=766147, revisions=(652351,useless=32852), ccks=14960, wck=1.373, mem=55M688
7.02/3.64	    decisions=8168, wrong=3783, backtracks=773, failedAssignments=3104, nogoods=1135, foundSolutions=55, bestBound=1264
7.02/3.64	    
7.02/3.64	o 1259
7.02/3.65	    num=177, depth=2..274, filters=772058, revisions=(657361,useless=32906), ccks=15232, wck=1.38, mem=55M688
7.02/3.65	    decisions=8245, wrong=3819, backtracks=786, failedAssignments=3128, nogoods=1139, foundSolutions=56, bestBound=1259
7.02/3.65	    
7.02/3.66	    num=178, depth=2..4, filters=783573, revisions=(667508,useless=33425), ccks=15232, wck=1.392, mem=58M278
7.02/3.66	    decisions=8346, wrong=3868, backtracks=801, failedAssignments=3162, nogoods=1147, foundSolutions=56, bestBound=1259
7.02/3.66	    
7.02/3.66	    num=179, depth=3..5, filters=785899, revisions=(669357,useless=33438), ccks=15232, wck=1.395, mem=58M278
7.02/3.66	    decisions=8374, wrong=3880, backtracks=802, failedAssignments=3173, nogoods=1150, foundSolutions=56, bestBound=1259
7.02/3.66	    
7.02/3.66	o 1257
7.02/3.66	    num=180, depth=2..274, filters=788223, revisions=(671286,useless=33456), ccks=15504, wck=1.398, mem=58M278
7.02/3.66	    decisions=8401, wrong=3891, backtracks=806, failedAssignments=3180, nogoods=1153, foundSolutions=57, bestBound=1257
7.02/3.66	    
7.02/3.67	    num=181, depth=2..4, filters=791754, revisions=(674698,useless=33941), ccks=15504, wck=1.403, mem=58M278
7.02/3.67	    decisions=8434, wrong=3906, backtracks=808, failedAssignments=3193, nogoods=1157, foundSolutions=57, bestBound=1257
7.02/3.67	    
7.02/3.67	    num=182, depth=2..4, filters=794693, revisions=(677064,useless=33971), ccks=15504, wck=1.407, mem=58M278
7.02/3.67	    decisions=8465, wrong=3920, backtracks=812, failedAssignments=3204, nogoods=1164, foundSolutions=57, bestBound=1257
7.02/3.67	    
7.02/3.68	    num=183, depth=2..4, filters=798096, revisions=(679918,useless=34025), ccks=15504, wck=1.411, mem=58M278
7.02/3.68	    decisions=8502, wrong=3937, backtracks=817, failedAssignments=3216, nogoods=1168, foundSolutions=57, bestBound=1257
7.02/3.68	    
7.02/3.68	    num=184, depth=1..4, filters=801080, revisions=(682282,useless=34047), ccks=15504, wck=1.414, mem=60M867
7.02/3.68	    decisions=8536, wrong=3953, backtracks=820, failedAssignments=3229, nogoods=1175, foundSolutions=57, bestBound=1257
7.02/3.68	    
7.02/3.68	    num=185, depth=2..4, filters=804201, revisions=(684922,useless=34084), ccks=15504, wck=1.418, mem=60M867
7.02/3.68	    decisions=8576, wrong=3972, backtracks=825, failedAssignments=3243, nogoods=1176, foundSolutions=57, bestBound=1257
7.02/3.68	    
7.02/3.69	    num=186, depth=3..4, filters=807238, revisions=(687260,useless=34096), ccks=15504, wck=1.422, mem=60M867
7.02/3.69	    decisions=8613, wrong=3989, backtracks=826, failedAssignments=3259, nogoods=1188, foundSolutions=57, bestBound=1257
7.02/3.69	    
7.02/3.69	    num=187, depth=1..3, filters=811957, revisions=(691198,useless=34136), ccks=15504, wck=1.427, mem=60M867
7.02/3.69	    decisions=8659, wrong=4011, backtracks=831, failedAssignments=3276, nogoods=1193, foundSolutions=57, bestBound=1257
7.02/3.69	    
7.16/3.70	    num=188, depth=2..4, filters=816618, revisions=(694987,useless=34178), ccks=15504, wck=1.432, mem=60M867
7.16/3.70	    decisions=8715, wrong=4037, backtracks=838, failedAssignments=3295, nogoods=1199, foundSolutions=57, bestBound=1257
7.16/3.70	    
7.16/3.70	    num=189, depth=2..4, filters=821435, revisions=(698986,useless=34235), ccks=15504, wck=1.437, mem=60M867
7.16/3.70	    decisions=8781, wrong=4069, backtracks=849, failedAssignments=3316, nogoods=1205, foundSolutions=57, bestBound=1257
7.16/3.70	    
7.16/3.71	    num=190, depth=2..4, filters=827399, revisions=(703961,useless=34309), ccks=15504, wck=1.445, mem=63M457
7.16/3.71	    decisions=8844, wrong=4099, backtracks=856, failedAssignments=3339, nogoods=1214, foundSolutions=57, bestBound=1257
7.16/3.71	    
7.16/3.72	    num=191, depth=0..4, filters=833920, revisions=(709458,useless=34378), ccks=15504, wck=1.452, mem=63M457
7.16/3.72	    decisions=8914, wrong=4133, backtracks=865, failedAssignments=3364, nogoods=1216, foundSolutions=57, bestBound=1257
7.16/3.72	    
7.16/3.72	o 1256
7.16/3.73	    num=192, depth=0..274, filters=841355, revisions=(715645,useless=34487), ccks=15776, wck=1.46, mem=63M457
7.16/3.73	    decisions=9003, wrong=4175, backtracks=881, failedAssignments=3390, nogoods=1220, foundSolutions=58, bestBound=1256
7.16/3.73	    
7.16/3.74	    num=193, depth=1..7, filters=850102, revisions=(723533,useless=35001), ccks=15776, wck=1.47, mem=66M46
7.16/3.74	    decisions=9103, wrong=4222, backtracks=899, failedAssignments=3421, nogoods=1225, foundSolutions=58, bestBound=1256
7.16/3.74	    
7.16/3.74	    num=194, depth=2..4, filters=852955, revisions=(725910,useless=35011), ccks=15776, wck=1.473, mem=66M46
7.16/3.74	    decisions=9139, wrong=4238, backtracks=904, failedAssignments=3432, nogoods=1230, foundSolutions=58, bestBound=1256
7.16/3.74	    
7.16/3.74	    num=195, depth=3..4, filters=855377, revisions=(727805,useless=35025), ccks=15776, wck=1.476, mem=66M46
7.16/3.74	    decisions=9168, wrong=4251, backtracks=905, failedAssignments=3444, nogoods=1236, foundSolutions=58, bestBound=1256
7.16/3.74	    
7.16/3.75	o 1251
7.16/3.75	    num=196, depth=1..274, filters=858443, revisions=(730321,useless=35040), ccks=16048, wck=1.48, mem=66M46
7.16/3.75	    decisions=9205, wrong=4267, backtracks=909, failedAssignments=3456, nogoods=1238, foundSolutions=59, bestBound=1251
7.16/3.75	    
7.16/3.75	    num=197, depth=4..7, filters=862243, revisions=(733892,useless=35520), ccks=16048, wck=1.485, mem=66M46
7.16/3.75	    decisions=9246, wrong=4285, backtracks=915, failedAssignments=3470, nogoods=1247, foundSolutions=59, bestBound=1251
7.16/3.75	    
7.16/3.75	    num=198, depth=2..4, filters=864766, revisions=(735924,useless=35539), ccks=16048, wck=1.488, mem=66M46
7.16/3.75	    decisions=9274, wrong=4298, backtracks=917, failedAssignments=3481, nogoods=1252, foundSolutions=59, bestBound=1251
7.16/3.75	    
7.16/3.76	    num=199, depth=1..4, filters=867931, revisions=(738485,useless=35580), ccks=16048, wck=1.492, mem=66M46
7.16/3.76	    decisions=9308, wrong=4313, backtracks=920, failedAssignments=3493, nogoods=1255, foundSolutions=59, bestBound=1251
7.16/3.76	    
7.16/3.76	    num=200, depth=2..5, filters=871150, revisions=(741098,useless=35619), ccks=16048, wck=1.496, mem=68M636
7.16/3.76	    decisions=9343, wrong=4329, backtracks=924, failedAssignments=3506, nogoods=1262, foundSolutions=59, bestBound=1251
7.16/3.76	    
7.16/3.77	    num=201, depth=1..4, filters=874885, revisions=(744134,useless=35644), ccks=16048, wck=1.5, mem=68M636
7.16/3.77	    decisions=9384, wrong=4348, backtracks=929, failedAssignments=3520, nogoods=1266, foundSolutions=59, bestBound=1251
7.16/3.77	    
7.16/3.77	o 1245
7.16/3.77	    num=202, depth=3..274, filters=875965, revisions=(744991,useless=35646), ccks=16320, wck=1.502, mem=68M636
7.16/3.77	    decisions=9393, wrong=4350, backtracks=930, failedAssignments=3521, nogoods=1267, foundSolutions=60, bestBound=1245
7.16/3.77	    
7.16/3.77	    num=203, depth=4..5, filters=880031, revisions=(748681,useless=36123), ccks=16320, wck=1.507, mem=68M636
7.16/3.77	    decisions=9438, wrong=4370, backtracks=933, failedAssignments=3538, nogoods=1278, foundSolutions=60, bestBound=1245
7.16/3.77	    
7.16/3.78	    num=204, depth=2..4, filters=882615, revisions=(750759,useless=36143), ccks=16320, wck=1.51, mem=68M636
7.16/3.78	    decisions=9469, wrong=4384, backtracks=936, failedAssignments=3549, nogoods=1282, foundSolutions=60, bestBound=1245
7.16/3.78	    
7.16/3.78	o 1235
7.16/3.78	    num=205, depth=2..274, filters=884718, revisions=(752437,useless=36163), ccks=16592, wck=1.513, mem=68M636
7.16/3.78	    decisions=9490, wrong=4392, backtracks=938, failedAssignments=3555, nogoods=1284, foundSolutions=61, bestBound=1235
7.16/3.78	    
7.16/3.78	    num=206, depth=3..6, filters=888163, revisions=(755668,useless=36652), ccks=16592, wck=1.518, mem=71M226
7.16/3.78	    decisions=9530, wrong=4410, backtracks=944, failedAssignments=3568, nogoods=1289, foundSolutions=61, bestBound=1235
7.16/3.78	    
7.16/3.79	    num=207, depth=3..4, filters=890818, revisions=(757789,useless=36662), ccks=16592, wck=1.521, mem=71M226
7.16/3.79	    decisions=9564, wrong=4425, backtracks=948, failedAssignments=3579, nogoods=1295, foundSolutions=61, bestBound=1235
7.16/3.79	    
7.16/3.79	    num=208, depth=2..4, filters=893957, revisions=(760308,useless=36679), ccks=16592, wck=1.524, mem=71M226
7.16/3.79	    decisions=9604, wrong=4444, backtracks=955, failedAssignments=3591, nogoods=1296, foundSolutions=61, bestBound=1235
7.16/3.79	    
7.16/3.79	    num=209, depth=1..4, filters=897566, revisions=(763351,useless=36719), ccks=16592, wck=1.528, mem=71M226
7.16/3.79	    decisions=9649, wrong=4465, backtracks=963, failedAssignments=3604, nogoods=1300, foundSolutions=61, bestBound=1235
7.16/3.79	    
7.16/3.80	o 1229
7.16/3.80	    num=210, depth=3..274, filters=898972, revisions=(764478,useless=36721), ccks=16864, wck=1.531, mem=71M226
7.16/3.80	    decisions=9664, wrong=4470, backtracks=964, failedAssignments=3608, nogoods=1301, foundSolutions=62, bestBound=1229
7.16/3.80	    
7.28/3.80	    num=211, depth=4..6, filters=902657, revisions=(767840,useless=37208), ccks=16864, wck=1.536, mem=71M226
7.28/3.80	    decisions=9705, wrong=4488, backtracks=968, failedAssignments=3624, nogoods=1309, foundSolutions=62, bestBound=1229
7.28/3.80	    
7.28/3.80	    num=212, depth=2..4, filters=905509, revisions=(770139,useless=37230), ccks=16864, wck=1.539, mem=71M226
7.28/3.80	    decisions=9737, wrong=4503, backtracks=972, failedAssignments=3635, nogoods=1310, foundSolutions=62, bestBound=1229
7.28/3.80	    
7.28/3.81	    num=213, depth=2..4, filters=908873, revisions=(772940,useless=37251), ccks=16864, wck=1.542, mem=71M226
7.28/3.81	    decisions=9774, wrong=4520, backtracks=977, failedAssignments=3647, nogoods=1317, foundSolutions=62, bestBound=1229
7.28/3.81	    
7.28/3.81	    num=214, depth=2..4, filters=912297, revisions=(775658,useless=37283), ccks=16864, wck=1.546, mem=73M815
7.28/3.81	    decisions=9809, wrong=4536, backtracks=980, failedAssignments=3660, nogoods=1320, foundSolutions=62, bestBound=1229
7.28/3.81	    
7.28/3.82	    num=215, depth=1..4, filters=916884, revisions=(779509,useless=37333), ccks=16864, wck=1.551, mem=73M815
7.28/3.82	    decisions=9854, wrong=4557, backtracks=987, failedAssignments=3674, nogoods=1327, foundSolutions=62, bestBound=1229
7.28/3.82	    
7.28/3.82	    num=216, depth=3..4, filters=920277, revisions=(782282,useless=37356), ccks=16864, wck=1.555, mem=73M815
7.28/3.82	    decisions=9900, wrong=4578, backtracks=992, failedAssignments=3690, nogoods=1333, foundSolutions=62, bestBound=1229
7.28/3.82	    
7.28/3.82	    num=217, depth=3..5, filters=923493, revisions=(784806,useless=37366), ccks=16864, wck=1.559, mem=73M815
7.28/3.82	    decisions=9942, wrong=4597, backtracks=996, failedAssignments=3707, nogoods=1337, foundSolutions=62, bestBound=1229
7.28/3.82	    
7.28/3.83	    num=218, depth=1..4, filters=928007, revisions=(788605,useless=37412), ccks=16864, wck=1.564, mem=73M815
7.28/3.83	    decisions=9994, wrong=4622, backtracks=1002, failedAssignments=3726, nogoods=1341, foundSolutions=62, bestBound=1229
7.28/3.83	    
7.28/3.83	    num=219, depth=2..4, filters=933134, revisions=(792827,useless=37510), ccks=16864, wck=1.569, mem=73M815
7.28/3.83	    decisions=10048, wrong=4648, backtracks=1008, failedAssignments=3747, nogoods=1350, foundSolutions=62, bestBound=1229
7.28/3.83	    
7.28/3.84	o 1226
7.28/3.84	    num=220, depth=1..274, filters=936250, revisions=(795355,useless=37533), ccks=17136, wck=1.573, mem=76M405
7.28/3.84	    decisions=10085, wrong=4664, backtracks=1015, failedAssignments=3756, nogoods=1352, foundSolutions=63, bestBound=1226
7.28/3.84	    
7.28/3.85	    num=221, depth=2..4, filters=942154, revisions=(800501,useless=38016), ccks=17136, wck=1.58, mem=76M405
7.28/3.85	    decisions=10157, wrong=4698, backtracks=1024, failedAssignments=3781, nogoods=1361, foundSolutions=63, bestBound=1226
7.28/3.85	    
7.28/3.85	    num=222, depth=2..5, filters=945227, revisions=(803091,useless=38069), ccks=17136, wck=1.584, mem=76M405
7.28/3.85	    decisions=10188, wrong=4712, backtracks=1028, failedAssignments=3792, nogoods=1363, foundSolutions=63, bestBound=1226
7.28/3.85	    
7.28/3.85	    num=223, depth=3..5, filters=947882, revisions=(805211,useless=38077), ccks=17136, wck=1.587, mem=76M405
7.28/3.85	    decisions=10222, wrong=4727, backtracks=1031, failedAssignments=3804, nogoods=1369, foundSolutions=63, bestBound=1226
7.28/3.85	    
7.28/3.86	    num=224, depth=2..4, filters=951172, revisions=(807952,useless=38128), ccks=17136, wck=1.59, mem=76M405
7.28/3.86	    decisions=10264, wrong=4747, backtracks=1038, failedAssignments=3817, nogoods=1372, foundSolutions=63, bestBound=1226
7.28/3.86	    
7.28/3.86	    num=225, depth=3..4, filters=954536, revisions=(810678,useless=38143), ccks=17136, wck=1.594, mem=76M405
7.28/3.86	    decisions=10306, wrong=4766, backtracks=1043, failedAssignments=3831, nogoods=1379, foundSolutions=63, bestBound=1226
7.28/3.86	    
7.28/3.86	o 1220
7.28/3.86	    num=226, depth=2..274, filters=956754, revisions=(812446,useless=38156), ccks=17408, wck=1.597, mem=76M405
7.28/3.86	    decisions=10331, wrong=4776, backtracks=1046, failedAssignments=3838, nogoods=1381, foundSolutions=64, bestBound=1220
7.28/3.86	    
7.28/3.87	    num=227, depth=3..6, filters=961793, revisions=(817133,useless=38708), ccks=17408, wck=1.603, mem=78M994
7.28/3.87	    decisions=10375, wrong=4796, backtracks=1051, failedAssignments=3855, nogoods=1393, foundSolutions=64, bestBound=1220
7.28/3.87	    
7.28/3.87	    num=228, depth=2..4, filters=965199, revisions=(819848,useless=38738), ccks=17408, wck=1.607, mem=78M994
7.28/3.87	    decisions=10410, wrong=4812, backtracks=1056, failedAssignments=3866, nogoods=1398, foundSolutions=64, bestBound=1220
7.28/3.87	    
7.28/3.87	o 1215
7.28/3.87	    num=229, depth=3..274, filters=966767, revisions=(821119,useless=38750), ccks=17680, wck=1.609, mem=78M994
7.28/3.87	    decisions=10425, wrong=4817, backtracks=1057, failedAssignments=3870, nogoods=1400, foundSolutions=65, bestBound=1215
7.28/3.87	    
7.28/3.88	    num=230, depth=2..4, filters=970284, revisions=(824339,useless=39236), ccks=17680, wck=1.614, mem=78M994
7.28/3.88	    decisions=10459, wrong=4832, backtracks=1059, failedAssignments=3883, nogoods=1405, foundSolutions=65, bestBound=1215
7.28/3.88	    
7.28/3.88	    num=231, depth=3..4, filters=973009, revisions=(826507,useless=39245), ccks=17680, wck=1.617, mem=78M994
7.28/3.88	    decisions=10492, wrong=4847, backtracks=1063, failedAssignments=3894, nogoods=1410, foundSolutions=65, bestBound=1215
7.28/3.88	    
7.28/3.89	    num=232, depth=0..4, filters=976877, revisions=(829665,useless=39292), ccks=17680, wck=1.621, mem=78M994
7.28/3.89	    decisions=10527, wrong=4863, backtracks=1067, failedAssignments=3906, nogoods=1414, foundSolutions=65, bestBound=1215
7.28/3.89	    
7.28/3.89	o 1209
7.28/3.89	    num=233, depth=2..274, filters=979818, revisions=(832091,useless=39308), ccks=17952, wck=1.625, mem=81M585
7.28/3.89	    decisions=10562, wrong=4878, backtracks=1071, failedAssignments=3918, nogoods=1416, foundSolutions=66, bestBound=1209
7.28/3.89	    
7.28/3.89	    num=234, depth=3..5, filters=982347, revisions=(834526,useless=39768), ccks=17952, wck=1.629, mem=81M585
7.28/3.89	    decisions=10596, wrong=4893, backtracks=1073, failedAssignments=3932, nogoods=1426, foundSolutions=66, bestBound=1209
7.28/3.89	    
7.39/3.90	    num=235, depth=3..6, filters=984929, revisions=(836605,useless=39779), ccks=17952, wck=1.632, mem=81M585
7.39/3.90	    decisions=10628, wrong=4907, backtracks=1077, failedAssignments=3943, nogoods=1431, foundSolutions=66, bestBound=1209
7.39/3.90	    
7.39/3.90	    num=236, depth=1..4, filters=987641, revisions=(838855,useless=39799), ccks=17952, wck=1.635, mem=81M585
7.39/3.90	    decisions=10662, wrong=4923, backtracks=1081, failedAssignments=3955, nogoods=1433, foundSolutions=66, bestBound=1209
7.39/3.90	    
7.39/3.90	    num=237, depth=3..4, filters=991300, revisions=(841817,useless=39831), ccks=17952, wck=1.639, mem=81M585
7.39/3.90	    decisions=10702, wrong=4941, backtracks=1086, failedAssignments=3968, nogoods=1443, foundSolutions=66, bestBound=1209
7.39/3.90	    
7.39/3.91	    num=238, depth=2..4, filters=995106, revisions=(844859,useless=39864), ccks=17952, wck=1.644, mem=81M585
7.39/3.91	    decisions=10746, wrong=4962, backtracks=1093, failedAssignments=3982, nogoods=1449, foundSolutions=66, bestBound=1209
7.39/3.91	    
7.39/3.91	o 1205
7.39/3.91	    num=239, depth=2..274, filters=997460, revisions=(846801,useless=39878), ccks=18224, wck=1.647, mem=81M585
7.39/3.91	    decisions=10773, wrong=4973, backtracks=1097, failedAssignments=3989, nogoods=1453, foundSolutions=67, bestBound=1205
7.39/3.91	    
7.39/3.92	    num=240, depth=3..5, filters=1000529, revisions=(849662,useless=40343), ccks=18224, wck=1.651, mem=84M175
7.39/3.92	    decisions=10815, wrong=4992, backtracks=1099, failedAssignments=4006, nogoods=1463, foundSolutions=67, bestBound=1205
7.39/3.92	    
7.39/3.92	    num=241, depth=1..5, filters=1003190, revisions=(851846,useless=40367), ccks=18224, wck=1.654, mem=84M175
7.39/3.92	    decisions=10846, wrong=5007, backtracks=1106, failedAssignments=4017, nogoods=1466, foundSolutions=67, bestBound=1205
7.39/3.92	    
7.39/3.92	    num=242, depth=2..4, filters=1006248, revisions=(854388,useless=40414), ccks=18224, wck=1.658, mem=84M175
7.39/3.92	    decisions=10879, wrong=5022, backtracks=1109, failedAssignments=4029, nogoods=1468, foundSolutions=67, bestBound=1205
7.39/3.92	    
7.39/3.93	    num=243, depth=2..5, filters=1009711, revisions=(857278,useless=40439), ccks=18224, wck=1.661, mem=84M175
7.39/3.93	    decisions=10919, wrong=5041, backtracks=1118, failedAssignments=4042, nogoods=1475, foundSolutions=67, bestBound=1205
7.39/3.93	    
7.39/3.93	    num=244, depth=2..4, filters=1012522, revisions=(859583,useless=40461), ccks=18224, wck=1.665, mem=84M175
7.39/3.93	    decisions=10955, wrong=5057, backtracks=1120, failedAssignments=4056, nogoods=1481, foundSolutions=67, bestBound=1205
7.39/3.93	    
7.39/3.93	    num=245, depth=1..4, filters=1016494, revisions=(862888,useless=40491), ccks=18224, wck=1.669, mem=84M175
7.39/3.93	    decisions=11000, wrong=5079, backtracks=1130, failedAssignments=4072, nogoods=1486, foundSolutions=67, bestBound=1205
7.39/3.93	    
7.39/3.94	    num=246, depth=2..4, filters=1020740, revisions=(866358,useless=40544), ccks=18224, wck=1.674, mem=84M175
7.39/3.94	    decisions=11047, wrong=5101, backtracks=1135, failedAssignments=4089, nogoods=1489, foundSolutions=67, bestBound=1205
7.39/3.94	    
7.39/3.94	    num=247, depth=2..4, filters=1025216, revisions=(869899,useless=40568), ccks=18224, wck=1.679, mem=86M765
7.39/3.94	    decisions=11104, wrong=5128, backtracks=1143, failedAssignments=4108, nogoods=1492, foundSolutions=67, bestBound=1205
7.39/3.94	    
7.39/3.95	o 1199
7.39/3.95	    num=248, depth=0..274, filters=1028191, revisions=(872290,useless=40585), ccks=18496, wck=1.683, mem=86M765
7.39/3.95	    decisions=11135, wrong=5141, backtracks=1146, failedAssignments=4118, nogoods=1493, foundSolutions=68, bestBound=1199
7.39/3.95	    
7.39/3.96	    num=249, depth=3..5, filters=1034405, revisions=(877784,useless=41157), ccks=18496, wck=1.691, mem=86M765
7.39/3.96	    decisions=11197, wrong=5170, backtracks=1153, failedAssignments=4141, nogoods=1509, foundSolutions=68, bestBound=1199
7.39/3.96	    
7.39/3.96	    num=250, depth=1..4, filters=1037683, revisions=(880538,useless=41185), ccks=18496, wck=1.694, mem=86M765
7.39/3.96	    decisions=11235, wrong=5187, backtracks=1159, failedAssignments=4152, nogoods=1514, foundSolutions=68, bestBound=1199
7.39/3.96	    
7.39/3.96	    num=251, depth=3..5, filters=1040044, revisions=(882386,useless=41193), ccks=18496, wck=1.697, mem=86M765
7.39/3.96	    decisions=11265, wrong=5200, backtracks=1160, failedAssignments=4164, nogoods=1516, foundSolutions=68, bestBound=1199
7.39/3.96	    
7.39/3.97	    num=252, depth=1..4, filters=1043514, revisions=(885316,useless=41223), ccks=18496, wck=1.701, mem=86M765
7.39/3.97	    decisions=11307, wrong=5220, backtracks=1167, failedAssignments=4177, nogoods=1519, foundSolutions=68, bestBound=1199
7.39/3.97	    
7.39/3.97	    num=253, depth=2..4, filters=1046603, revisions=(887880,useless=41281), ccks=18496, wck=1.705, mem=86M765
7.39/3.97	    decisions=11341, wrong=5236, backtracks=1169, failedAssignments=4191, nogoods=1520, foundSolutions=68, bestBound=1199
7.39/3.97	    
7.39/3.97	    num=254, depth=2..5, filters=1050061, revisions=(890746,useless=41324), ccks=18496, wck=1.709, mem=89M354
7.39/3.97	    decisions=11383, wrong=5255, backtracks=1173, failedAssignments=4207, nogoods=1524, foundSolutions=68, bestBound=1199
7.39/3.97	    
7.39/3.98	o 1197
7.39/3.98	    num=255, depth=2..274, filters=1052009, revisions=(892328,useless=41337), ccks=18768, wck=1.712, mem=89M354
7.39/3.98	    decisions=11404, wrong=5263, backtracks=1174, failedAssignments=4214, nogoods=1529, foundSolutions=69, bestBound=1197
7.39/3.98	    
7.39/3.98	    num=256, depth=2..5, filters=1056741, revisions=(896603,useless=41815), ccks=18768, wck=1.719, mem=89M354
7.39/3.98	    decisions=11451, wrong=5285, backtracks=1178, failedAssignments=4233, nogoods=1534, foundSolutions=69, bestBound=1197
7.39/3.98	    
7.39/3.99	    num=257, depth=1..4, filters=1059603, revisions=(898966,useless=41847), ccks=18768, wck=1.722, mem=89M354
7.39/3.99	    decisions=11484, wrong=5300, backtracks=1182, failedAssignments=4244, nogoods=1537, foundSolutions=69, bestBound=1197
7.39/3.99	    
7.39/3.99	    num=258, depth=3..4, filters=1062494, revisions=(901319,useless=41874), ccks=18768, wck=1.725, mem=89M354
7.39/3.99	    decisions=11515, wrong=5314, backtracks=1184, failedAssignments=4256, nogoods=1544, foundSolutions=69, bestBound=1197
7.39/3.99	    
7.39/3.99	    num=259, depth=3..4, filters=1065758, revisions=(903942,useless=41900), ccks=18768, wck=1.729, mem=89M354
7.39/3.99	    decisions=11553, wrong=5331, backtracks=1188, failedAssignments=4269, nogoods=1554, foundSolutions=69, bestBound=1197
7.39/3.99	    
7.39/4.00	    num=260, depth=2..4, filters=1069633, revisions=(907094,useless=41935), ccks=18768, wck=1.734, mem=91M944
7.39/4.00	    decisions=11601, wrong=5354, backtracks=1197, failedAssignments=4283, nogoods=1559, foundSolutions=69, bestBound=1197
7.39/4.00	    
7.39/4.00	    num=261, depth=2..4, filters=1073418, revisions=(910209,useless=41963), ccks=18768, wck=1.738, mem=91M944
7.39/4.00	    decisions=11652, wrong=5378, backtracks=1205, failedAssignments=4299, nogoods=1563, foundSolutions=69, bestBound=1197
7.39/4.00	    
7.55/4.01	    num=262, depth=2..4, filters=1077326, revisions=(913321,useless=41979), ccks=18768, wck=1.742, mem=91M944
7.55/4.01	    decisions=11705, wrong=5403, backtracks=1213, failedAssignments=4316, nogoods=1566, foundSolutions=69, bestBound=1197
7.55/4.01	    
7.55/4.01	    num=263, depth=1..4, filters=1082010, revisions=(917299,useless=42028), ccks=18768, wck=1.747, mem=91M944
7.55/4.01	    decisions=11764, wrong=5431, backtracks=1224, failedAssignments=4335, nogoods=1571, foundSolutions=69, bestBound=1197
7.55/4.01	    
7.55/4.02	    num=264, depth=3..5, filters=1086092, revisions=(920501,useless=42049), ccks=18768, wck=1.753, mem=91M944
7.55/4.02	    decisions=11814, wrong=5454, backtracks=1228, failedAssignments=4356, nogoods=1580, foundSolutions=69, bestBound=1197
7.55/4.02	    
7.55/4.02	    num=265, depth=2..5, filters=1090863, revisions=(924527,useless=42087), ccks=18768, wck=1.758, mem=94M533
7.55/4.02	    decisions=11871, wrong=5481, backtracks=1233, failedAssignments=4379, nogoods=1588, foundSolutions=69, bestBound=1197
7.55/4.02	    
7.55/4.03	    num=266, depth=1..5, filters=1096966, revisions=(929686,useless=42149), ccks=18768, wck=1.765, mem=94M533
7.55/4.03	    decisions=11948, wrong=5519, backtracks=1249, failedAssignments=4404, nogoods=1590, foundSolutions=69, bestBound=1197
7.55/4.03	    
7.55/4.04	    num=267, depth=1..5, filters=1103602, revisions=(935156,useless=42210), ccks=18768, wck=1.773, mem=94M533
7.55/4.04	    decisions=12032, wrong=5560, backtracks=1263, failedAssignments=4432, nogoods=1592, foundSolutions=69, bestBound=1197
7.55/4.04	    
7.55/4.05	    num=268, depth=1..5, filters=1111626, revisions=(941919,useless=42298), ccks=18768, wck=1.783, mem=94M533
7.55/4.05	    decisions=12126, wrong=5606, backtracks=1280, failedAssignments=4463, nogoods=1597, foundSolutions=69, bestBound=1197
7.55/4.05	    
7.55/4.06	    num=269, depth=3..5, filters=1118072, revisions=(946963,useless=42332), ccks=18768, wck=1.792, mem=94M533
7.55/4.06	    decisions=12208, wrong=5645, backtracks=1286, failedAssignments=4497, nogoods=1607, foundSolutions=69, bestBound=1197
7.55/4.06	    
7.55/4.07	    num=270, depth=1..6, filters=1127529, revisions=(954894,useless=42444), ccks=18768, wck=1.802, mem=97M123
7.55/4.07	    decisions=12327, wrong=5704, backtracks=1312, failedAssignments=4534, nogoods=1614, foundSolutions=69, bestBound=1197
7.55/4.07	    
7.55/4.08	    num=271, depth=2..5, filters=1135959, revisions=(961581,useless=42500), ccks=18768, wck=1.812, mem=97M123
7.55/4.08	    decisions=12428, wrong=5753, backtracks=1322, failedAssignments=4575, nogoods=1625, foundSolutions=69, bestBound=1197
7.55/4.08	    
7.55/4.09	    num=272, depth=0..4, filters=1148357, revisions=(971890,useless=42690), ccks=18768, wck=1.825, mem=99M712
7.55/4.09	    decisions=12548, wrong=5812, backtracks=1337, failedAssignments=4620, nogoods=1637, foundSolutions=69, bestBound=1197
7.55/4.09	    
7.55/4.10	    num=273, depth=1..4, filters=1161085, revisions=(982199,useless=42801), ccks=18768, wck=1.839, mem=99M712
7.55/4.10	    decisions=12700, wrong=5886, backtracks=1363, failedAssignments=4670, nogoods=1642, foundSolutions=69, bestBound=1197
7.55/4.10	    
7.71/4.12	    num=274, depth=1..6, filters=1172189, revisions=(991356,useless=42889), ccks=18768, wck=1.85, mem=102M302
7.71/4.12	    decisions=12845, wrong=5958, backtracks=1385, failedAssignments=4725, nogoods=1655, foundSolutions=69, bestBound=1197
7.71/4.12	    
7.71/4.13	    num=275, depth=1..5, filters=1186949, revisions=(1003521,useless=43090), ccks=18768, wck=1.867, mem=102M302
7.71/4.13	    decisions=13008, wrong=6039, backtracks=1406, failedAssignments=4786, nogoods=1664, foundSolutions=69, bestBound=1197
7.71/4.13	    
7.71/4.15	    num=276, depth=0..5, filters=1202866, revisions=(1016849,useless=43241), ccks=18768, wck=1.885, mem=104M892
7.71/4.15	    decisions=13221, wrong=6144, backtracks=1449, failedAssignments=4853, nogoods=1668, foundSolutions=69, bestBound=1197
7.71/4.15	    
7.71/4.17	    num=277, depth=1..6, filters=1219785, revisions=(1031004,useless=43514), ccks=18768, wck=1.903, mem=104M892
7.71/4.17	    decisions=13403, wrong=6234, backtracks=1471, failedAssignments=4927, nogoods=1674, foundSolutions=69, bestBound=1197
7.71/4.17	    
7.71/4.19	    num=278, depth=1..6, filters=1239908, revisions=(1047997,useless=43752), ccks=18768, wck=1.923, mem=107M481
7.71/4.19	    decisions=13664, wrong=6363, backtracks=1525, failedAssignments=5008, nogoods=1685, foundSolutions=69, bestBound=1197
7.71/4.19	    
7.80/4.21	    num=279, depth=0..6, filters=1262273, revisions=(1066699,useless=43974), ccks=18768, wck=1.946, mem=110M71
7.80/4.21	    decisions=13937, wrong=6498, backtracks=1577, failedAssignments=5097, nogoods=1689, foundSolutions=69, bestBound=1197
7.80/4.21	    
7.80/4.23	    num=280, depth=1..6, filters=1285108, revisions=(1085730,useless=44310), ccks=18768, wck=1.969, mem=110M71
7.80/4.23	    decisions=14227, wrong=6642, backtracks=1628, failedAssignments=5195, nogoods=1701, foundSolutions=69, bestBound=1197
7.80/4.23	    
7.80/4.27	    num=281, depth=1..7, filters=1312138, revisions=(1107908,useless=44767), ccks=18768, wck=2.0, mem=112M660
7.80/4.27	    decisions=14526, wrong=6790, backtracks=1677, failedAssignments=5303, nogoods=1718, foundSolutions=69, bestBound=1197
7.80/4.27	    
7.80/4.30	    num=282, depth=0..6, filters=1341361, revisions=(1132573,useless=45080), ccks=18768, wck=2.03, mem=115M250
7.80/4.30	    decisions=14881, wrong=6966, backtracks=1744, failedAssignments=5422, nogoods=1721, foundSolutions=69, bestBound=1197
7.80/4.30	    
7.90/4.32	    num=283, depth=2..7, filters=1365366, revisions=(1151872,useless=45230), ccks=18768, wck=2.057, mem=117M839
7.90/4.32	    decisions=15201, wrong=7124, backtracks=1780, failedAssignments=5553, nogoods=1734, foundSolutions=69, bestBound=1197
7.90/4.32	    
7.90/4.35	    num=284, depth=1..5, filters=1396119, revisions=(1177178,useless=45653), ccks=18768, wck=2.087, mem=120M429
7.90/4.35	    decisions=15593, wrong=7319, backtracks=1837, failedAssignments=5697, nogoods=1748, foundSolutions=69, bestBound=1197
7.90/4.35	    
7.90/4.38	    num=285, depth=1..6, filters=1427267, revisions=(1202627,useless=45846), ccks=18768, wck=2.119, mem=125M608
7.90/4.38	    decisions=16028, wrong=7535, backtracks=1906, failedAssignments=5855, nogoods=1757, foundSolutions=69, bestBound=1197
7.90/4.38	    
8.00/4.42	    num=286, depth=1..7, filters=1463110, revisions=(1231597,useless=46204), ccks=18768, wck=2.157, mem=128M198
8.00/4.42	    decisions=16499, wrong=7768, backtracks=1978, failedAssignments=6029, nogoods=1773, foundSolutions=69, bestBound=1197
8.00/4.42	    
8.00/4.44	o 1179
8.00/4.44	    num=287, depth=1..274, filters=1480594, revisions=(1246440,useless=46436), ccks=19040, wck=2.176, mem=128M198
8.00/4.44	    decisions=16735, wrong=7883, backtracks=2014, failedAssignments=6119, nogoods=1784, foundSolutions=70, bestBound=1179
8.00/4.44	    
8.00/4.49	    num=288, depth=2..5, filters=1523737, revisions=(1281831,useless=47079), ccks=19040, wck=2.223, mem=135M966
8.00/4.49	    decisions=17235, wrong=8131, backtracks=2053, failedAssignments=6330, nogoods=1798, foundSolutions=70, bestBound=1179
8.00/4.49	    
8.00/4.49	    num=289, depth=2..6, filters=1525762, revisions=(1283408,useless=47083), ccks=19040, wck=2.225, mem=135M966
8.00/4.49	    decisions=17262, wrong=8143, backtracks=2055, failedAssignments=6341, nogoods=1802, foundSolutions=70, bestBound=1179
8.00/4.49	    
8.00/4.49	    num=290, depth=2..5, filters=1528990, revisions=(1286153,useless=47128), ccks=19040, wck=2.229, mem=135M966
8.00/4.49	    decisions=17304, wrong=8163, backtracks=2066, failedAssignments=6353, nogoods=1805, foundSolutions=70, bestBound=1179
8.00/4.49	    
8.11/4.50	    num=291, depth=1..5, filters=1530851, revisions=(1287748,useless=47136), ccks=19040, wck=2.231, mem=135M966
8.11/4.50	    decisions=17335, wrong=8176, backtracks=2066, failedAssignments=6366, nogoods=1818, foundSolutions=70, bestBound=1179
8.11/4.50	    
8.11/4.50	    num=292, depth=1..4, filters=1535158, revisions=(1291452,useless=47196), ccks=19040, wck=2.236, mem=135M966
8.11/4.50	    decisions=17383, wrong=8199, backtracks=2077, failedAssignments=6380, nogoods=1825, foundSolutions=70, bestBound=1179
8.11/4.50	    
8.11/4.51	    num=293, depth=2..5, filters=1539499, revisions=(1295165,useless=47236), ccks=19040, wck=2.24, mem=135M966
8.11/4.51	    decisions=17439, wrong=8226, backtracks=2092, failedAssignments=6396, nogoods=1829, foundSolutions=70, bestBound=1179
8.11/4.51	    
8.11/4.51	    num=294, depth=1..4, filters=1544782, revisions=(1299574,useless=47354), ccks=19040, wck=2.246, mem=135M966
8.11/4.51	    decisions=17487, wrong=8249, backtracks=2099, failedAssignments=6413, nogoods=1838, foundSolutions=70, bestBound=1179
8.11/4.51	    
8.11/4.52	    num=295, depth=1..5, filters=1549667, revisions=(1303773,useless=47405), ccks=19040, wck=2.251, mem=138M556
8.11/4.52	    decisions=17543, wrong=8276, backtracks=2110, failedAssignments=6432, nogoods=1841, foundSolutions=70, bestBound=1179
8.11/4.52	    
8.11/4.52	    num=296, depth=1..4, filters=1553851, revisions=(1307234,useless=47428), ccks=19040, wck=2.256, mem=138M556
8.11/4.52	    decisions=17601, wrong=8304, backtracks=2118, failedAssignments=6453, nogoods=1847, foundSolutions=70, bestBound=1179
8.11/4.52	    
8.11/4.53	    num=297, depth=0..4, filters=1558983, revisions=(1311329,useless=47474), ccks=19040, wck=2.262, mem=138M556
8.11/4.53	    decisions=17660, wrong=8332, backtracks=2124, failedAssignments=6476, nogoods=1855, foundSolutions=70, bestBound=1179
8.11/4.53	    
8.11/4.54	    num=298, depth=1..5, filters=1566424, revisions=(1317561,useless=47604), ccks=19040, wck=2.27, mem=138M556
8.11/4.54	    decisions=17742, wrong=8372, backtracks=2141, failedAssignments=6501, nogoods=1860, foundSolutions=70, bestBound=1179
8.11/4.54	    
8.11/4.54	    num=299, depth=2..5, filters=1571407, revisions=(1321791,useless=47659), ccks=19040, wck=2.276, mem=138M556
8.11/4.54	    decisions=17807, wrong=8403, backtracks=2146, failedAssignments=6529, nogoods=1873, foundSolutions=70, bestBound=1179
8.11/4.54	    
8.11/4.55	    num=300, depth=1..4, filters=1579097, revisions=(1328389,useless=47723), ccks=19040, wck=2.284, mem=141M146
8.11/4.55	    decisions=17910, wrong=8454, backtracks=2170, failedAssignments=6560, nogoods=1883, foundSolutions=70, bestBound=1179
8.11/4.55	    
8.11/4.56	    num=301, depth=2..7, filters=1586472, revisions=(1334510,useless=47820), ccks=19040, wck=2.294, mem=141M146
8.11/4.56	    decisions=17993, wrong=8494, backtracks=2180, failedAssignments=6594, nogoods=1890, foundSolutions=70, bestBound=1179
8.11/4.56	    
8.11/4.57	    num=302, depth=1..5, filters=1595029, revisions=(1341464,useless=47881), ccks=19040, wck=2.303, mem=141M146
8.11/4.57	    decisions=18101, wrong=8547, backtracks=2200, failedAssignments=6631, nogoods=1894, foundSolutions=70, bestBound=1179
8.11/4.57	    
8.11/4.58	    num=303, depth=0..7, filters=1607433, revisions=(1351852,useless=48213), ccks=19040, wck=2.317, mem=143M735
8.11/4.58	    decisions=18224, wrong=8607, backtracks=2222, failedAssignments=6672, nogoods=1900, foundSolutions=70, bestBound=1179
8.11/4.58	    
8.11/4.59	    num=304, depth=1..5, filters=1617944, revisions=(1360652,useless=48350), ccks=19040, wck=2.328, mem=143M735
8.11/4.59	    decisions=18362, wrong=8675, backtracks=2246, failedAssignments=6717, nogoods=1907, foundSolutions=70, bestBound=1179
8.11/4.59	    
8.21/4.61	    num=305, depth=1..5, filters=1630659, revisions=(1371031,useless=48578), ccks=19040, wck=2.343, mem=146M325
8.21/4.61	    decisions=18508, wrong=8747, backtracks=2269, failedAssignments=6767, nogoods=1917, foundSolutions=70, bestBound=1179
8.21/4.61	    
8.21/4.62	    num=306, depth=0..5, filters=1645051, revisions=(1383183,useless=48825), ccks=19040, wck=2.358, mem=146M325
8.21/4.62	    decisions=18674, wrong=8829, backtracks=2298, failedAssignments=6822, nogoods=1927, foundSolutions=70, bestBound=1179
8.21/4.62	    
8.21/4.64	    num=307, depth=0..4, filters=1659944, revisions=(1395892,useless=49016), ccks=19040, wck=2.374, mem=148M914
8.21/4.64	    decisions=18857, wrong=8919, backtracks=2334, failedAssignments=6883, nogoods=1930, foundSolutions=70, bestBound=1179
8.21/4.64	    
8.21/4.65	    num=308, depth=1..4, filters=1673247, revisions=(1406668,useless=49092), ccks=19040, wck=2.388, mem=148M914
8.21/4.65	    decisions=19038, wrong=9008, backtracks=2362, failedAssignments=6950, nogoods=1938, foundSolutions=70, bestBound=1179
8.21/4.65	    
8.21/4.67	    num=309, depth=0..4, filters=1691427, revisions=(1421696,useless=49332), ccks=19040, wck=2.407, mem=151M504
8.21/4.67	    decisions=19257, wrong=9116, backtracks=2397, failedAssignments=7024, nogoods=1946, foundSolutions=70, bestBound=1179
8.21/4.67	    
8.21/4.69	    num=310, depth=1..6, filters=1708068, revisions=(1435709,useless=49431), ccks=19040, wck=2.423, mem=151M504
8.21/4.69	    decisions=19498, wrong=9235, backtracks=2440, failedAssignments=7105, nogoods=1954, foundSolutions=70, bestBound=1179
8.21/4.69	    
8.31/4.71	    num=311, depth=0..6, filters=1726011, revisions=(1450515,useless=49587), ccks=19040, wck=2.441, mem=152M823
8.31/4.71	    decisions=19754, wrong=9362, backtracks=2484, failedAssignments=7194, nogoods=1961, foundSolutions=70, bestBound=1179
8.31/4.71	    
8.31/4.71	o 1177
8.31/4.71	    num=312, depth=1..274, filters=1732957, revisions=(1456259,useless=49625), ccks=19312, wck=2.449, mem=152M823
8.31/4.71	    decisions=19861, wrong=9413, backtracks=2506, failedAssignments=7225, nogoods=1967, foundSolutions=71, bestBound=1177
8.31/4.71	    
8.31/4.75	    num=313, depth=1..5, filters=1755176, revisions=(1474629,useless=50192), ccks=19312, wck=2.485, mem=25M974
8.31/4.75	    decisions=20122, wrong=9542, backtracks=2528, failedAssignments=7333, nogoods=1970, foundSolutions=71, bestBound=1177
8.31/4.75	    
8.31/4.75	    num=314, depth=2..5, filters=1757968, revisions=(1476946,useless=50224), ccks=19312, wck=2.488, mem=25M974
8.31/4.75	    decisions=20158, wrong=9558, backtracks=2534, failedAssignments=7344, nogoods=1975, foundSolutions=71, bestBound=1177
8.31/4.75	    
8.31/4.76	    num=315, depth=2..5, filters=1760700, revisions=(1479165,useless=50236), ccks=19312, wck=2.491, mem=25M974
8.31/4.76	    decisions=20191, wrong=9573, backtracks=2538, failedAssignments=7356, nogoods=1977, foundSolutions=71, bestBound=1177
8.31/4.76	    
8.31/4.76	    num=316, depth=2..5, filters=1763945, revisions=(1481866,useless=50268), ccks=19312, wck=2.495, mem=25M974
8.31/4.76	    decisions=20236, wrong=9594, backtracks=2549, failedAssignments=7369, nogoods=1980, foundSolutions=71, bestBound=1177
8.31/4.76	    
8.31/4.76	    num=317, depth=2..5, filters=1767889, revisions=(1485120,useless=50284), ccks=19312, wck=2.499, mem=25M974
8.31/4.76	    decisions=20287, wrong=9618, backtracks=2560, failedAssignments=7383, nogoods=1986, foundSolutions=71, bestBound=1177
8.31/4.76	    
8.31/4.77	    num=318, depth=2..4, filters=1771921, revisions=(1488473,useless=50314), ccks=19312, wck=2.503, mem=25M974
8.31/4.77	    decisions=20349, wrong=9648, backtracks=2574, failedAssignments=7399, nogoods=1990, foundSolutions=71, bestBound=1177
8.31/4.77	    
8.31/4.77	    num=319, depth=3..5, filters=1775477, revisions=(1491357,useless=50319), ccks=19312, wck=2.507, mem=25M974
8.31/4.77	    decisions=20394, wrong=9669, backtracks=2579, failedAssignments=7416, nogoods=1998, foundSolutions=71, bestBound=1177
8.31/4.77	    
8.31/4.78	    num=320, depth=1..6, filters=1779395, revisions=(1494577,useless=50357), ccks=19312, wck=2.511, mem=25M974
8.31/4.78	    decisions=20446, wrong=9694, backtracks=2589, failedAssignments=7435, nogoods=2003, foundSolutions=71, bestBound=1177
8.31/4.78	    
8.31/4.78	    num=321, depth=2..4, filters=1784779, revisions=(1498917,useless=50407), ccks=19312, wck=2.517, mem=28M573
8.31/4.78	    decisions=20501, wrong=9720, backtracks=2595, failedAssignments=7456, nogoods=2012, foundSolutions=71, bestBound=1177
8.31/4.78	    
8.31/4.79	    num=322, depth=2..4, filters=1791046, revisions=(1504132,useless=50473), ccks=19312, wck=2.523, mem=28M573
8.31/4.79	    decisions=20584, wrong=9760, backtracks=2613, failedAssignments=7479, nogoods=2018, foundSolutions=71, bestBound=1177
8.31/4.79	    
8.31/4.79	    num=323, depth=1..6, filters=1796614, revisions=(1508694,useless=50498), ccks=19312, wck=2.529, mem=28M573
8.31/4.79	    decisions=20654, wrong=9793, backtracks=2624, failedAssignments=7504, nogoods=2026, foundSolutions=71, bestBound=1177
8.31/4.79	    
8.44/4.80	    num=324, depth=1..6, filters=1803289, revisions=(1514299,useless=50626), ccks=19312, wck=2.537, mem=28M573
8.44/4.80	    decisions=20730, wrong=9830, backtracks=2637, failedAssignments=7532, nogoods=2033, foundSolutions=71, bestBound=1177
8.44/4.80	    
8.44/4.81	    num=325, depth=1..5, filters=1810206, revisions=(1520073,useless=50733), ccks=19312, wck=2.544, mem=31M172
8.44/4.81	    decisions=20822, wrong=9875, backtracks=2657, failedAssignments=7563, nogoods=2038, foundSolutions=71, bestBound=1177
8.44/4.81	    
8.44/4.82	    num=326, depth=1..5, filters=1819408, revisions=(1527770,useless=50950), ccks=19312, wck=2.554, mem=31M172
8.44/4.82	    decisions=20918, wrong=9922, backtracks=2671, failedAssignments=7597, nogoods=2046, foundSolutions=71, bestBound=1177
8.44/4.82	    
8.44/4.83	    num=327, depth=2..5, filters=1825954, revisions=(1532947,useless=50989), ccks=19312, wck=2.562, mem=31M172
8.44/4.83	    decisions=21014, wrong=9968, backtracks=2683, failedAssignments=7634, nogoods=2055, foundSolutions=71, bestBound=1177
8.44/4.83	    
8.44/4.84	    num=328, depth=2..7, filters=1834662, revisions=(1540071,useless=51058), ccks=19312, wck=2.571, mem=31M172
8.44/4.84	    decisions=21121, wrong=10020, backtracks=2698, failedAssignments=7675, nogoods=2058, foundSolutions=71, bestBound=1177
8.44/4.84	    
8.44/4.85	    num=329, depth=1..5, filters=1846007, revisions=(1549447,useless=51245), ccks=19312, wck=2.583, mem=33M770
8.44/4.85	    decisions=21256, wrong=10087, backtracks=2724, failedAssignments=7720, nogoods=2060, foundSolutions=71, bestBound=1177
8.44/4.85	    
8.44/4.86	    num=330, depth=1..7, filters=1857030, revisions=(1558623,useless=51383), ccks=19312, wck=2.594, mem=33M770
8.44/4.86	    decisions=21400, wrong=10158, backtracks=2752, failedAssignments=7770, nogoods=2064, foundSolutions=71, bestBound=1177
8.44/4.86	    
8.44/4.87	    num=331, depth=2..5, filters=1868935, revisions=(1568451,useless=51447), ccks=19312, wck=2.606, mem=33M770
8.44/4.87	    decisions=21569, wrong=10241, backtracks=2783, failedAssignments=7825, nogoods=2074, foundSolutions=71, bestBound=1177
8.44/4.87	    
8.44/4.88	    num=332, depth=1..4, filters=1883074, revisions=(1580522,useless=51539), ccks=19312, wck=2.62, mem=36M369
8.44/4.88	    decisions=21769, wrong=10340, backtracks=2824, failedAssignments=7886, nogoods=2083, foundSolutions=71, bestBound=1177
8.44/4.88	    
8.54/4.90	    num=333, depth=3..8, filters=1895929, revisions=(1590671,useless=51710), ccks=19312, wck=2.635, mem=36M369
8.54/4.90	    decisions=21930, wrong=10419, backtracks=2841, failedAssignments=7953, nogoods=2089, foundSolutions=71, bestBound=1177
8.54/4.90	    
8.54/4.92	    num=334, depth=2..5, filters=1913103, revisions=(1603873,useless=51833), ccks=19312, wck=2.655, mem=38M968
8.54/4.92	    decisions=22101, wrong=10503, backtracks=2852, failedAssignments=8027, nogoods=2103, foundSolutions=71, bestBound=1177
8.54/4.92	    
8.54/4.94	    num=335, depth=0..6, filters=1931653, revisions=(1619097,useless=52116), ccks=19312, wck=2.676, mem=41M567
8.54/4.94	    decisions=22338, wrong=10620, backtracks=2897, failedAssignments=8108, nogoods=2104, foundSolutions=71, bestBound=1177
8.54/4.94	    
8.54/4.96	    num=336, depth=1..4, filters=1950169, revisions=(1634377,useless=52205), ccks=19312, wck=2.694, mem=44M166
8.54/4.96	    decisions=22601, wrong=10750, backtracks=2945, failedAssignments=8197, nogoods=2115, foundSolutions=71, bestBound=1177
8.54/4.96	    
8.54/4.98	    num=337, depth=1..5, filters=1970696, revisions=(1651846,useless=52318), ccks=19312, wck=2.713, mem=44M166
8.54/4.98	    decisions=22908, wrong=10902, backtracks=3007, failedAssignments=8295, nogoods=2123, foundSolutions=71, bestBound=1177
8.54/4.98	    
8.54/5.00	    num=338, depth=1..5, filters=1991859, revisions=(1668819,useless=52555), ccks=19312, wck=2.734, mem=46M764
8.54/5.00	    decisions=23192, wrong=11043, backtracks=3042, failedAssignments=8403, nogoods=2134, foundSolutions=71, bestBound=1177
8.54/5.00	    
8.65/5.03	    num=339, depth=0..7, filters=2019406, revisions=(1691866,useless=52860), ccks=19312, wck=2.762, mem=49M363
8.65/5.03	    decisions=23549, wrong=11220, backtracks=3113, failedAssignments=8522, nogoods=2140, foundSolutions=71, bestBound=1177
8.65/5.03	    
8.65/5.03	o 1175
8.65/5.04	    num=340, depth=0..274, filters=2026615, revisions=(1698000,useless=52931), ccks=19584, wck=2.77, mem=49M363
8.65/5.04	    decisions=23637, wrong=11261, backtracks=3131, failedAssignments=8550, nogoods=2140, foundSolutions=72, bestBound=1175
8.65/5.04	    
8.65/5.04	o 1173
8.65/5.04	    num=341, depth=2..274, filters=2031008, revisions=(1701949,useless=53401), ccks=19856, wck=2.776, mem=49M363
8.65/5.04	    decisions=23696, wrong=11288, backtracks=3138, failedAssignments=8571, nogoods=2144, foundSolutions=73, bestBound=1173
8.65/5.04	    
8.65/5.05	    num=342, depth=1..6, filters=2033950, revisions=(1704874,useless=53876), ccks=19856, wck=2.78, mem=49M363
8.65/5.05	    decisions=23726, wrong=11301, backtracks=3140, failedAssignments=8582, nogoods=2152, foundSolutions=73, bestBound=1173
8.65/5.05	    
8.65/5.05	    num=343, depth=1..5, filters=2037073, revisions=(1707562,useless=53902), ccks=19856, wck=2.783, mem=49M363
8.65/5.05	    decisions=23761, wrong=11317, backtracks=3146, failedAssignments=8593, nogoods=2155, foundSolutions=73, bestBound=1173
8.65/5.05	    
8.65/5.05	    num=344, depth=0..4, filters=2041178, revisions=(1711059,useless=54039), ccks=19856, wck=2.788, mem=51M962
8.65/5.05	    decisions=23798, wrong=11334, backtracks=3152, failedAssignments=8605, nogoods=2161, foundSolutions=73, bestBound=1173
8.65/5.05	    
8.65/5.06	    num=345, depth=2..5, filters=2043607, revisions=(1713007,useless=54052), ccks=19856, wck=2.791, mem=51M962
8.65/5.06	    decisions=23830, wrong=11349, backtracks=3155, failedAssignments=8618, nogoods=2162, foundSolutions=73, bestBound=1173
8.65/5.06	    
8.65/5.06	    num=346, depth=2..4, filters=2047210, revisions=(1716037,useless=54085), ccks=19856, wck=2.794, mem=51M962
8.65/5.06	    decisions=23877, wrong=11371, backtracks=3163, failedAssignments=8632, nogoods=2166, foundSolutions=73, bestBound=1173
8.65/5.06	    
8.65/5.06	o 1172
8.65/5.06	    num=347, depth=2..274, filters=2050068, revisions=(1718417,useless=54109), ccks=20128, wck=2.799, mem=52M821
8.65/5.06	    decisions=23914, wrong=11387, backtracks=3171, failedAssignments=8640, nogoods=2169, foundSolutions=74, bestBound=1172
8.65/5.06	    
8.65/5.07	    num=348, depth=3..6, filters=2053942, revisions=(1721948,useless=54597), ccks=20128, wck=2.804, mem=52M821
8.65/5.07	    decisions=23963, wrong=11409, backtracks=3177, failedAssignments=8657, nogoods=2178, foundSolutions=74, bestBound=1172
8.65/5.07	    
8.65/5.07	    num=349, depth=2..4, filters=2056868, revisions=(1724347,useless=54614), ccks=20128, wck=2.807, mem=52M821
8.65/5.07	    decisions=23998, wrong=11425, backtracks=3182, failedAssignments=8668, nogoods=2182, foundSolutions=74, bestBound=1172
8.65/5.07	    
8.65/5.08	    num=350, depth=2..5, filters=2059921, revisions=(1726792,useless=54652), ccks=20128, wck=2.81, mem=52M821
8.65/5.08	    decisions=24031, wrong=11440, backtracks=3186, failedAssignments=8680, nogoods=2185, foundSolutions=74, bestBound=1172
8.65/5.08	    
8.65/5.08	    num=351, depth=1..4, filters=2063161, revisions=(1729565,useless=54688), ccks=20128, wck=2.814, mem=52M821
8.65/5.08	    decisions=24073, wrong=11460, backtracks=3194, failedAssignments=8693, nogoods=2188, foundSolutions=74, bestBound=1172
8.65/5.08	    
8.65/5.09	    num=352, depth=1..4, filters=2069112, revisions=(1734758,useless=54975), ccks=20128, wck=2.82, mem=55M420
8.65/5.09	    decisions=24123, wrong=11484, backtracks=3207, failedAssignments=8707, nogoods=2192, foundSolutions=74, bestBound=1172
8.65/5.09	    
8.65/5.09	    num=353, depth=3..7, filters=2072617, revisions=(1737376,useless=54992), ccks=20128, wck=2.825, mem=55M420
8.65/5.09	    decisions=24162, wrong=11502, backtracks=3211, failedAssignments=8723, nogoods=2201, foundSolutions=74, bestBound=1172
8.65/5.09	    
8.65/5.09	    num=354, depth=2..4, filters=2076945, revisions=(1740996,useless=55013), ccks=20128, wck=2.829, mem=55M420
8.65/5.09	    decisions=24214, wrong=11527, backtracks=3219, failedAssignments=8740, nogoods=2207, foundSolutions=74, bestBound=1172
8.65/5.09	    
8.65/5.10	    num=355, depth=2..4, filters=2081006, revisions=(1744399,useless=55042), ccks=20128, wck=2.833, mem=55M420
8.65/5.10	    decisions=24273, wrong=11555, backtracks=3228, failedAssignments=8759, nogoods=2212, foundSolutions=74, bestBound=1172
8.65/5.10	    
8.65/5.10	    num=356, depth=1..5, filters=2085597, revisions=(1748272,useless=55067), ccks=20128, wck=2.838, mem=55M420
8.65/5.10	    decisions=24332, wrong=11583, backtracks=3238, failedAssignments=8780, nogoods=2218, foundSolutions=74, bestBound=1172
8.65/5.10	    
8.76/5.11	    num=357, depth=3..6, filters=2089807, revisions=(1751470,useless=55107), ccks=20128, wck=2.844, mem=55M420
8.76/5.11	    decisions=24387, wrong=11608, backtracks=3240, failedAssignments=8803, nogoods=2224, foundSolutions=74, bestBound=1172
8.76/5.11	    
8.76/5.11	o 1163
8.76/5.11	    num=358, depth=2..274, filters=2092971, revisions=(1754125,useless=55149), ccks=20400, wck=2.848, mem=58M18
8.76/5.11	    decisions=24424, wrong=11624, backtracks=3248, failedAssignments=8813, nogoods=2228, foundSolutions=75, bestBound=1163
8.76/5.11	    
8.76/5.12	    num=359, depth=2..5, filters=2099872, revisions=(1760116,useless=55671), ccks=20400, wck=2.857, mem=58M18
8.76/5.12	    decisions=24506, wrong=11663, backtracks=3259, failedAssignments=8841, nogoods=2232, foundSolutions=75, bestBound=1163
8.76/5.12	    
8.76/5.13	    num=360, depth=2..5, filters=2103202, revisions=(1762764,useless=55697), ccks=20400, wck=2.86, mem=58M18
8.76/5.13	    decisions=24544, wrong=11681, backtracks=3267, failedAssignments=8852, nogoods=2234, foundSolutions=75, bestBound=1163
8.76/5.13	    
8.76/5.13	    num=361, depth=2..4, filters=2106773, revisions=(1765726,useless=55711), ccks=20400, wck=2.864, mem=58M18
8.76/5.13	    decisions=24588, wrong=11702, backtracks=3276, failedAssignments=8864, nogoods=2237, foundSolutions=75, bestBound=1163
8.76/5.13	    
8.76/5.13	    num=362, depth=1..5, filters=2110369, revisions=(1768761,useless=55747), ccks=20400, wck=2.868, mem=58M18
8.76/5.13	    decisions=24633, wrong=11723, backtracks=3284, failedAssignments=8877, nogoods=2240, foundSolutions=75, bestBound=1163
8.76/5.13	    
8.76/5.14	    num=363, depth=4..7, filters=2113932, revisions=(1771560,useless=55816), ccks=20400, wck=2.872, mem=58M18
8.76/5.14	    decisions=24667, wrong=11738, backtracks=3286, failedAssignments=8891, nogoods=2250, foundSolutions=75, bestBound=1163
8.76/5.14	    
8.76/5.14	    num=364, depth=2..5, filters=2118271, revisions=(1775191,useless=55837), ccks=20400, wck=2.877, mem=58M18
8.76/5.14	    decisions=24719, wrong=11763, backtracks=3297, failedAssignments=8907, nogoods=2254, foundSolutions=75, bestBound=1163
8.76/5.14	    
8.76/5.15	    num=365, depth=2..4, filters=2122625, revisions=(1778700,useless=55935), ccks=20400, wck=2.881, mem=60M617
8.76/5.15	    decisions=24770, wrong=11787, backtracks=3304, failedAssignments=8924, nogoods=2259, foundSolutions=75, bestBound=1163
8.76/5.15	    
8.76/5.15	    num=366, depth=1..4, filters=2127696, revisions=(1783012,useless=55975), ccks=20400, wck=2.886, mem=60M617
8.76/5.15	    decisions=24830, wrong=11816, backtracks=3316, failedAssignments=8943, nogoods=2262, foundSolutions=75, bestBound=1163
8.76/5.15	    
8.76/5.16	    num=367, depth=3..6, filters=2133014, revisions=(1787216,useless=56043), ccks=20400, wck=2.892, mem=60M617
8.76/5.16	    decisions=24888, wrong=11843, backtracks=3323, failedAssignments=8964, nogoods=2268, foundSolutions=75, bestBound=1163
8.76/5.16	    
8.76/5.16	    num=368, depth=1..5, filters=2139169, revisions=(1792406,useless=56113), ccks=20400, wck=2.899, mem=60M617
8.76/5.16	    decisions=24967, wrong=11882, backtracks=3344, failedAssignments=8987, nogoods=2274, foundSolutions=75, bestBound=1163
8.76/5.16	    
8.76/5.17	    num=369, depth=1..5, filters=2145761, revisions=(1797737,useless=56204), ccks=20400, wck=2.906, mem=60M617
8.76/5.17	    decisions=25046, wrong=11920, backtracks=3361, failedAssignments=9012, nogoods=2277, foundSolutions=75, bestBound=1163
8.76/5.17	    
8.76/5.18	    num=370, depth=1..5, filters=2152063, revisions=(1802843,useless=56294), ccks=20400, wck=2.913, mem=60M617
8.76/5.18	    decisions=25125, wrong=11958, backtracks=3373, failedAssignments=9040, nogoods=2282, foundSolutions=75, bestBound=1163
8.76/5.18	    
8.76/5.19	    num=371, depth=2..5, filters=2158347, revisions=(1807963,useless=56331), ccks=20400, wck=2.92, mem=63M216
8.76/5.19	    decisions=25206, wrong=11997, backtracks=3385, failedAssignments=9071, nogoods=2293, foundSolutions=75, bestBound=1163
8.76/5.19	    
8.76/5.20	    num=372, depth=1..5, filters=2167029, revisions=(1815066,useless=56447), ccks=20400, wck=2.93, mem=63M216
8.76/5.20	    decisions=25315, wrong=12050, backtracks=3407, failedAssignments=9105, nogoods=2300, foundSolutions=75, bestBound=1163
8.76/5.20	    
8.85/5.21	    num=373, depth=0..4, filters=2175677, revisions=(1822008,useless=56574), ccks=20400, wck=2.94, mem=63M216
8.85/5.21	    decisions=25419, wrong=12101, backtracks=3425, failedAssignments=9142, nogoods=2303, foundSolutions=75, bestBound=1163
8.85/5.21	    
8.85/5.22	    num=374, depth=0..6, filters=2185418, revisions=(1830063,useless=56747), ccks=20400, wck=2.952, mem=65M815
8.85/5.22	    decisions=25536, wrong=12158, backtracks=3449, failedAssignments=9183, nogoods=2309, foundSolutions=75, bestBound=1163
8.85/5.22	    
8.85/5.23	    num=375, depth=1..4, filters=2197343, revisions=(1839700,useless=56895), ccks=20400, wck=2.963, mem=65M815
8.85/5.23	    decisions=25676, wrong=12227, backtracks=3474, failedAssignments=9228, nogoods=2317, foundSolutions=75, bestBound=1163
8.85/5.23	    
8.85/5.24	    num=376, depth=1..5, filters=2209618, revisions=(1849824,useless=57004), ccks=20400, wck=2.976, mem=65M815
8.85/5.24	    decisions=25817, wrong=12297, backtracks=3497, failedAssignments=9278, nogoods=2326, foundSolutions=75, bestBound=1163
8.85/5.24	    
8.85/5.26	    num=377, depth=0..4, filters=2223873, revisions=(1861453,useless=57190), ccks=20400, wck=2.991, mem=68M414
8.85/5.26	    decisions=25987, wrong=12381, backtracks=3533, failedAssignments=9333, nogoods=2328, foundSolutions=75, bestBound=1163
8.85/5.26	    
8.85/5.27	o 1152
8.85/5.27	    num=378, depth=0..274, filters=2233950, revisions=(1869950,useless=57337), ccks=20672, wck=3.003, mem=68M414
8.85/5.27	    decisions=26120, wrong=12445, backtracks=3558, failedAssignments=9375, nogoods=2332, foundSolutions=76, bestBound=1152
8.85/5.27	    
8.85/5.28	o 1143
8.85/5.28	    num=379, depth=2..274, filters=2244229, revisions=(1878556,useless=57873), ccks=20944, wck=3.016, mem=71M12
8.85/5.28	    decisions=26254, wrong=12509, backtracks=3575, failedAssignments=9425, nogoods=2335, foundSolutions=77, bestBound=1143
8.85/5.28	    
8.85/5.28	    num=380, depth=2..6, filters=2246746, revisions=(1881040,useless=58340), ccks=20944, wck=3.019, mem=71M12
8.85/5.28	    decisions=26285, wrong=12522, backtracks=3578, failedAssignments=9436, nogoods=2340, foundSolutions=77, bestBound=1143
8.85/5.28	    
8.85/5.29	    num=381, depth=0..4, filters=2249941, revisions=(1883671,useless=58387), ccks=20944, wck=3.023, mem=71M12
8.85/5.29	    decisions=26316, wrong=12536, backtracks=3582, failedAssignments=9447, nogoods=2341, foundSolutions=77, bestBound=1143
8.85/5.29	    
8.85/5.29	    num=382, depth=2..5, filters=2252767, revisions=(1885908,useless=58418), ccks=20944, wck=3.026, mem=71M12
8.85/5.29	    decisions=26349, wrong=12551, backtracks=3586, failedAssignments=9459, nogoods=2344, foundSolutions=77, bestBound=1143
8.85/5.29	    
8.85/5.30	    num=383, depth=1..5, filters=2256499, revisions=(1889029,useless=58468), ccks=20944, wck=3.03, mem=71M12
8.85/5.30	    decisions=26396, wrong=12573, backtracks=3596, failedAssignments=9472, nogoods=2349, foundSolutions=77, bestBound=1143
8.85/5.30	    
8.96/5.30	    num=384, depth=2..5, filters=2259372, revisions=(1891339,useless=58495), ccks=20944, wck=3.034, mem=71M12
8.96/5.30	    decisions=26432, wrong=12589, backtracks=3599, failedAssignments=9486, nogoods=2352, foundSolutions=77, bestBound=1143
8.96/5.30	    
8.96/5.30	    num=385, depth=1..5, filters=2263756, revisions=(1895075,useless=58552), ccks=20944, wck=3.039, mem=71M12
8.96/5.30	    decisions=26492, wrong=12618, backtracks=3613, failedAssignments=9502, nogoods=2354, foundSolutions=77, bestBound=1143
8.96/5.30	    
8.96/5.31	    num=386, depth=1..5, filters=2267806, revisions=(1898439,useless=58583), ccks=20944, wck=3.043, mem=71M12
8.96/5.31	    decisions=26548, wrong=12645, backtracks=3626, failedAssignments=9519, nogoods=2358, foundSolutions=77, bestBound=1143
8.96/5.31	    
8.96/5.31	    num=387, depth=1..5, filters=2273369, revisions=(1903090,useless=58703), ccks=20944, wck=3.05, mem=73M611
8.96/5.31	    decisions=26611, wrong=12675, backtracks=3638, failedAssignments=9538, nogoods=2363, foundSolutions=77, bestBound=1143
8.96/5.31	    
8.96/5.32	    num=388, depth=0..4, filters=2278470, revisions=(1907257,useless=58765), ccks=20944, wck=3.056, mem=73M611
8.96/5.32	    decisions=26673, wrong=12704, backtracks=3648, failedAssignments=9559, nogoods=2368, foundSolutions=77, bestBound=1143
8.96/5.32	    
8.96/5.33	    num=389, depth=1..5, filters=2283946, revisions=(1911791,useless=58840), ccks=20944, wck=3.062, mem=73M611
8.96/5.33	    decisions=26740, wrong=12736, backtracks=3660, failedAssignments=9582, nogoods=2373, foundSolutions=77, bestBound=1143
8.96/5.33	    
8.96/5.33	    num=390, depth=1..4, filters=2289713, revisions=(1916378,useless=58950), ccks=20944, wck=3.069, mem=73M611
8.96/5.33	    decisions=26809, wrong=12769, backtracks=3669, failedAssignments=9607, nogoods=2376, foundSolutions=77, bestBound=1143
8.96/5.33	    
8.96/5.34	    num=391, depth=1..5, filters=2295837, revisions=(1921166,useless=59027), ccks=20944, wck=3.076, mem=73M611
8.96/5.34	    decisions=26884, wrong=12805, backtracks=3678, failedAssignments=9635, nogoods=2386, foundSolutions=77, bestBound=1143
8.96/5.34	    
8.96/5.35	    num=392, depth=1..5, filters=2304050, revisions=(1928180,useless=59121), ccks=20944, wck=3.084, mem=76M210
8.96/5.35	    decisions=26988, wrong=12856, backtracks=3703, failedAssignments=9666, nogoods=2390, foundSolutions=77, bestBound=1143
8.96/5.35	    
8.96/5.36	    num=393, depth=2..4, filters=2312632, revisions=(1935064,useless=59214), ccks=20944, wck=3.092, mem=76M210
8.96/5.36	    decisions=27089, wrong=12905, backtracks=3718, failedAssignments=9700, nogoods=2399, foundSolutions=77, bestBound=1143
8.96/5.36	    
8.96/5.37	    num=394, depth=1..5, filters=2323363, revisions=(1944256,useless=59326), ccks=20944, wck=3.103, mem=76M210
8.96/5.37	    decisions=27207, wrong=12963, backtracks=3744, failedAssignments=9737, nogoods=2409, foundSolutions=77, bestBound=1143
8.96/5.37	    
8.96/5.38	    num=395, depth=0..4, filters=2334477, revisions=(1953423,useless=59482), ccks=20944, wck=3.115, mem=78M809
8.96/5.38	    decisions=27330, wrong=13023, backtracks=3766, failedAssignments=9778, nogoods=2413, foundSolutions=77, bestBound=1143
8.96/5.38	    
8.96/5.39	    num=396, depth=1..5, filters=2346650, revisions=(1963950,useless=59602), ccks=20944, wck=3.126, mem=78M809
8.96/5.39	    decisions=27483, wrong=13099, backtracks=3800, failedAssignments=9823, nogoods=2419, foundSolutions=77, bestBound=1143
8.96/5.39	    
9.07/5.40	    num=397, depth=1..4, filters=2358506, revisions=(1973407,useless=59722), ccks=20944, wck=3.138, mem=78M809
9.07/5.40	    decisions=27639, wrong=13176, backtracks=3829, failedAssignments=9873, nogoods=2426, foundSolutions=77, bestBound=1143
9.07/5.40	    
9.07/5.42	    num=398, depth=0..4, filters=2372319, revisions=(1984840,useless=59915), ccks=20944, wck=3.152, mem=81M408
9.07/5.42	    decisions=27793, wrong=13252, backtracks=3853, failedAssignments=9928, nogoods=2435, foundSolutions=77, bestBound=1143
9.07/5.42	    
9.07/5.44	    num=399, depth=0..4, filters=2389181, revisions=(1999080,useless=60098), ccks=20944, wck=3.17, mem=81M408
9.07/5.44	    decisions=27987, wrong=13348, backtracks=3894, failedAssignments=9989, nogoods=2437, foundSolutions=77, bestBound=1143
9.07/5.44	    
9.07/5.45	    num=400, depth=1..5, filters=2404456, revisions=(2011203,useless=60280), ccks=20944, wck=3.187, mem=84M7
9.07/5.45	    decisions=28162, wrong=13435, backtracks=3914, failedAssignments=10056, nogoods=2446, foundSolutions=77, bestBound=1143
9.07/5.45	    
9.07/5.47	    num=401, depth=0..4, filters=2422650, revisions=(2025997,useless=60466), ccks=20944, wck=3.207, mem=84M7
9.07/5.47	    decisions=28378, wrong=13542, backtracks=3955, failedAssignments=10130, nogoods=2450, foundSolutions=77, bestBound=1143
9.07/5.47	    
9.17/5.50	    num=402, depth=0..6, filters=2446424, revisions=(2045278,useless=60893), ccks=20944, wck=3.233, mem=86M605
9.17/5.50	    decisions=28605, wrong=13655, backtracks=3995, failedAssignments=10211, nogoods=2451, foundSolutions=77, bestBound=1143
9.17/5.50	    
9.17/5.50	
9.17/5.50	  New Bounds: 1143..1142
9.17/5.50	    num=403, depth=0..3, filters=2448680, revisions=(2047205,useless=60921), ccks=20944, wck=3.235, mem=86M605
9.17/5.50	    decisions=28635, wrong=13671, backtracks=4002, failedAssignments=10222, foundSolutions=77, bestBound=1143
9.17/5.50	    
9.17/5.50	  Global
9.17/5.50	    filters=2448680, revisions=(2047205,useless=60921), ccks=20944
9.17/5.50	    Stop=FULL_EXPLORATION, wrong=13671, bestBound=1143, bestBoundWck=3.44, bestBoundCpu=5.221, foundSolutions=77, firstSolCpu=2.264
9.17/5.50	    wck=3.66, cpu=5.442, mem=86M605
9.17/5.50	
9.17/5.50	v <instantiation id='sol77' type='solution' cost='1143'>  <list> x[] drd[][] dr[] </list>  <values> 19 107 289 375 540 356 268 86 0 165 356 268 86 0 165 104 16 166 252 417 104 16 166 252 417 521 433 251 165 0 521 433 251 165 0 15 103 285 371 536 586 498 316 230 65 586 498 316 230 65 19 107 289 375 540 35 53 235 321 486 31 57 239 325 490 79 9 191 277 442 79 9 191 277 442 293 205 23 63 228 293 205 23 63 228 70 18 200 286 451 282 194 12 74 239 33 55 237 323 488 33 55 237 323 488 421 333 151 65 100 420 332 150 64 101 12 100 282 368 533 12 100 282 368 533 53 35 217 303 468 88 0 182 268 433 88 0 182 268 433 124 36 146 232 397 124 36 146 232 397 67 21 203 289 454 76 12 194 280 445 501 413 231 145 20 93 5 177 263 428 51 37 219 305 470 0 88 270 356 521 0 88 270 356 521 218 130 52 138 303 219 131 51 137 302 334 246 64 22 187 331 243 61 25 190 44 44 226 312 477 174 86 96 182 347 174 86 96 182 347 270 182 0 86 251 270 182 0 86 251 0 0 16 16 0 0 15 65 65 19 35 31 9 9 23 23 18 12 33 33 65 64 12 12 35 0 0 36 36 21 12 20 5 37 0 0 52 51 22 25 44 86 86 0 0 </values>  </instantiation>
9.17/5.50	s OPTIMUM FOUND
9.17/5.50	
9.17/5.50	d WRONG_DECISIONS 13671
9.17/5.50	d NUMBER_SOLUTIONS 77

OK	1143

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391104-1568391093/watcher-4391104-1568391093 -o /tmp/evaluation-result-4391104-1568391093/solver-4391104-1568391093 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568388596-9576 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391104-1568391093.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=10854, runsolver pid=10851

[startup+0.105171 s]*
/proc/loadavg: 2.15 1.79 1.71 5/234 10869
/proc/meminfo: memFree=31297900/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10659884 memory=29748 CPUtime=0.14 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 5422 0 0 0 13 1 0 0 20 0 15 0 415348944 10915721216 7437 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2664971 7437 2931 1 0 2627468 0
[pid=10854/tid=10856] ppid=10851 vsize=10659884 memory=-8125511277465211260 CPUtime=0.1 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) R 10851 10854 9544 0 -1 4202560 2997 0 0 0 9 1 0 0 20 0 15 0 415348944 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439545849448 140439525660005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348946 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415348947 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439032104224 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415348947 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439031051888 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348949 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) R 10851 10854 9544 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 15 0 415348949 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) R 10851 10854 9544 0 -1 4202560 181 0 0 0 1 0 0 0 20 0 15 0 415348949 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439027879304 140439534333527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0.03 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) R 10851 10854 9544 0 -1 4202560 578 0 0 0 3 0 0 0 20 0 15 0 415348949 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439026837848 140439519985014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348950 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348950 10915721216 7569 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29748 KiB

[startup+0.211948 s]*
/proc/loadavg: 2.15 1.79 1.71 3/234 10869
/proc/meminfo: memFree=31291264/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10659884 memory=35476 CPUtime=0.33 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 6486 0 0 0 31 2 0 0 20 0 15 0 415348944 10915721216 8869 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2664971 8869 2990 1 0 2627468 0
[pid=10854/tid=10856] ppid=10851 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) R 10851 10854 9544 0 -1 4202560 3461 0 0 0 19 1 0 0 20 0 15 0 415348944 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439545848416 140439541638301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10659884 memory=140703403949794 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348946 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415348947 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439032104224 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415348947 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439031051888 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348949 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) S 10851 10854 9544 0 -1 1077944384 674 0 0 0 3 0 0 0 20 0 15 0 415348949 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 15 0 415348949 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0.05 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 678 0 0 0 5 0 0 0 20 0 15 0 415348949 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348950 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348950 10915721216 8869 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35476 KiB

[startup+0.319958 s]*
/proc/loadavg: 2.15 1.79 1.71 4/234 10869
/proc/meminfo: memFree=31284320/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10659884 memory=40372 CPUtime=0.49 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 8966 0 0 0 46 3 0 0 20 0 15 0 415348944 10915721216 10093 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2664971 10093 3002 1 0 2627468 0
[pid=10854/tid=10856] ppid=10851 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) R 10851 10854 9544 0 -1 4202560 5881 0 0 0 28 2 0 0 20 0 15 0 415348944 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439545848160 140439541638301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10659884 memory=15120695590459032 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348945 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348946 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415348947 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439032104224 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415348947 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439031051888 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348949 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) S 10851 10854 9544 0 -1 1077944384 688 0 0 0 4 0 0 0 20 0 15 0 415348949 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 340 0 0 0 4 0 0 0 20 0 15 0 415348949 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0.08 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 701 0 0 0 8 0 0 0 20 0 15 0 415348949 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348950 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10659884 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348950 10915721216 10093 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40372 KiB

[startup+0.700752 s]
/proc/loadavg: 2.15 1.79 1.71 4/234 10869
/proc/meminfo: memFree=31275788/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10661932 memory=64044 CPUtime=1.13 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 12621 0 0 0 108 5 0 0 20 0 15 0 415348944 10917818368 16011 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2665483 16011 3070 1 0 2627980 0
[pid=10854/tid=10856] ppid=10851 vsize=10661932 memory=1220 CPUtime=0.68 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) R 10851 10854 9544 0 -1 4202560 8672 0 0 0 64 4 0 0 20 0 15 0 415348944 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439545848400 140439524808866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348945 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348946 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415348947 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439032104224 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415348947 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439031051888 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348949 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10661932 memory=7236533984234661184 CPUtime=0.13 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) R 10851 10854 9544 0 -1 4202560 1028 0 0 0 13 0 0 0 20 0 15 0 415348949 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439028947056 140439525002959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10661932 memory=7380106142448642414 CPUtime=0.11 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 651 0 0 0 11 0 0 0 20 0 15 0 415348949 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10661932 memory=5859271421084194152 CPUtime=0.18 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 910 0 0 0 18 0 0 0 20 0 15 0 415348949 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415348950 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348950 10917818368 16011 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64044 KiB

[startup+1.50075 s]
/proc/loadavg: 2.15 1.79 1.71 3/234 10869
/proc/meminfo: memFree=31258976/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10663980 memory=76052 CPUtime=2.03 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 17929 0 0 0 197 6 0 0 20 0 15 0 415348944 10919915520 19013 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2665995 19013 3096 1 0 2628492 0
[pid=10854/tid=10856] ppid=10851 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) R 10851 10854 9544 0 -1 4202560 12683 0 0 0 143 5 0 0 20 0 15 0 415348944 10919915520 19013 33554432000 4194304 4196468 140729155177664 140439545848736 140439523198649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10663980 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10919915520 19013 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10663980 memory=-6352177149651680470 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10919915520 19013 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10663980 memory=8514701219931451533 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415348945 10919915520 19013 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415348945 10919915520 19013 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 415348946 10919915520 19013 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0

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

[startup+4.80071 s]
/proc/loadavg: 2.14 1.79 1.71 4/234 10870
/proc/meminfo: memFree=31048440/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10748324 memory=279192 CPUtime=8.44 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 38455 0 0 0 828 16 0 0 20 0 16 0 415348944 11006283776 69798 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2687081 69798 3362 1 0 2647217 0
[pid=10854/tid=10856] ppid=10851 vsize=10748324 memory=1 CPUtime=1.85 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) S 10851 10854 9544 0 -1 1077944384 14824 0 0 0 179 6 0 0 20 0 16 0 415348944 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439545859248 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10748324 memory=281406391538683 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10748324 memory=1142 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10748324 memory=248 CPUtime=0.03 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 29 0 0 0 3 0 0 0 20 0 16 0 415348945 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10748324 memory=6468 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10748324 memory=13807 CPUtime=0.01 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 1080 0 0 0 1 0 0 0 20 0 16 0 415348946 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10748324 memory=20610 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439032104288 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439031051904 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348949 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10748324 memory=-7088785026379990432 CPUtime=1.42 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) S 10851 10854 9544 0 -1 1077944384 4570 0 0 0 142 0 0 0 20 0 16 0 415348949 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10748324 memory=-6873162000112450758 CPUtime=1.38 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 7588 0 0 0 137 1 0 0 20 0 16 0 415348949 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10748324 memory=-7812193691855986592 CPUtime=0.73 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 4530 0 0 0 72 1 0 0 20 0 16 0 415348949 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10748324 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10870] ppid=10851 vsize=10748324 memory=281406525848352 CPUtime=2.86 cores=1,3,5,7
/proc/10854/task/10870/stat : 10870 (java) R 10851 10854 9544 0 -1 4202560 4199 0 0 0 283 3 0 0 20 0 16 0 415349131 11006283776 69798 33554432000 4194304 4196468 140729155177664 140439008075328 140439145815522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279192 KiB

[startup+5.20099 s]
/proc/loadavg: 2.14 1.79 1.71 3/234 10870
/proc/meminfo: memFree=31047760/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10748324 memory=279200 CPUtime=8.85 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 38531 0 0 0 869 16 0 0 20 0 16 0 415348944 11006283776 69800 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2687081 69800 3363 1 0 2647217 0
[pid=10854/tid=10856] ppid=10851 vsize=10748324 memory=301741390671656210 CPUtime=1.85 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) S 10851 10854 9544 0 -1 1077944384 14824 0 0 0 179 6 0 0 20 0 16 0 415348944 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439545859248 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10748324 memory=14691915828307225 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10748324 memory=-6369387732215973279 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10748324 memory=-7966001734536614954 CPUtime=0.03 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 29 0 0 0 3 0 0 0 20 0 16 0 415348945 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10748324 memory=-7812193691855986592 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10748324 memory=7681407940103534239 CPUtime=0.01 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 1080 0 0 0 1 0 0 0 20 0 16 0 415348946 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439032104288 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439031051904 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348949 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10748324 memory=6655300316396806240 CPUtime=1.42 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) S 10851 10854 9544 0 -1 1077944384 4570 0 0 0 142 0 0 0 20 0 16 0 415348949 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10748324 memory=6944656592455097440 CPUtime=1.38 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 7588 0 0 0 137 1 0 0 20 0 16 0 415348949 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10748324 memory=6944656592387989600 CPUtime=0.73 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 4532 0 0 0 72 1 0 0 20 0 16 0 415348949 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10870] ppid=10851 vsize=10748324 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/10854/task/10870/stat : 10870 (java) R 10851 10854 9544 0 -1 4202560 4273 0 0 0 323 3 0 0 20 0 16 0 415349131 11006283776 69800 33554432000 4194304 4196468 140729155177664 140439008067472 140439146590795 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279200 KiB

[startup+5.40071 s]
/proc/loadavg: 2.14 1.79 1.71 3/234 10870
/proc/meminfo: memFree=31047760/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10748324 memory=279248 CPUtime=9.07 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 38548 0 0 0 891 16 0 0 20 0 16 0 415348944 11006283776 69812 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2687081 69812 3363 1 0 2647217 0
[pid=10854/tid=10856] ppid=10851 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) S 10851 10854 9544 0 -1 1077944384 14824 0 0 0 179 6 0 0 20 0 16 0 415348944 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439545859248 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10748324 memory=3761553726326141814 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10748324 memory=3473595930291106198 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10748324 memory=2321237444256296116 CPUtime=0.03 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 29 0 0 0 3 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10748324 memory=2319529902429662931 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10748324 memory=3834170872913358840 CPUtime=0.01 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 1080 0 0 0 1 0 0 0 20 0 16 0 415348946 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10748324 memory=3905101557762323731 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439032104288 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10748324 memory=3689750106505572409 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439031051904 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10748324 memory=3760702691508449344 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10748324 memory=2319529902730538080 CPUtime=1.42 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) S 10851 10854 9544 0 -1 1077944384 4570 0 0 0 142 0 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10748324 memory=4116488161515756688 CPUtime=1.39 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 7593 0 0 0 138 1 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10748324 memory=2320677814462214325 CPUtime=0.74 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 4544 0 0 0 73 1 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10748324 memory=140703263312704 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10748324 memory=140703403939456 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10870] ppid=10851 vsize=10748324 memory=0 CPUtime=3.46 cores=1,3,5,7
/proc/10854/task/10870/stat : 10870 (java) R 10851 10854 9544 0 -1 4202560 4273 0 0 0 343 3 0 0 20 0 16 0 415349131 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439008067472 140439145815556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279248 KiB

[startup+5.50074 s]
/proc/loadavg: 2.14 1.79 1.71 3/234 10870
/proc/meminfo: memFree=31047760/32770624 swapFree=67004048/67108860
[pid=10854] ppid=10851 vsize=10748324 memory=279248 CPUtime=9.17 cores=1,3,5,7
/proc/10854/stat : 10854 (java) S 10851 10854 9544 0 -1 1077944320 38548 0 0 0 901 16 0 0 20 0 16 0 415348944 11006283776 69812 33554432000 4194304 4196468 140729155177664 140729155160208 140439541616375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
/proc/10854/statm: 2687081 69812 3363 1 0 2647217 0
[pid=10854/tid=10856] ppid=10851 vsize=10748324 memory=3843995730526 CPUtime=1.85 cores=1,3,5,7
/proc/10854/task/10856/stat : 10856 (java) S 10851 10854 9544 0 -1 1077944384 14824 0 0 0 179 6 0 0 20 0 16 0 415348944 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439545859248 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10857] ppid=10851 vsize=10748324 memory=290763857956438330 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10857/stat : 10857 (java) S 10851 10854 9544 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439467690384 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10858] ppid=10851 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10858/stat : 10858 (java) S 10851 10854 9544 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439466637584 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10859] ppid=10851 vsize=10748324 memory=115 CPUtime=0.03 cores=1,3,5,7
/proc/10854/task/10859/stat : 10859 (java) S 10851 10854 9544 0 -1 1077944384 29 0 0 0 3 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439465585296 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10860] ppid=10851 vsize=10748324 memory=114 CPUtime=0.02 cores=1,3,5,7
/proc/10854/task/10860/stat : 10860 (java) S 10851 10854 9544 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 16 0 415348945 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439464532496 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10861] ppid=10851 vsize=10748324 memory=66 CPUtime=0.01 cores=1,3,5,7
/proc/10854/task/10861/stat : 10861 (java) S 10851 10854 9544 0 -1 1077944384 1080 0 0 0 1 0 0 0 20 0 16 0 415348946 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439033158256 140439541627522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10862] ppid=10851 vsize=10748324 memory=185 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10862/stat : 10862 (java) S 10851 10854 9544 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439032104288 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10863] ppid=10851 vsize=10748324 memory=1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10863/stat : 10863 (java) S 10851 10854 9544 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415348947 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439031051904 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10864] ppid=10851 vsize=10748324 memory=1 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10864/stat : 10864 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439030000208 140439541634971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10865] ppid=10851 vsize=10748324 memory=439 CPUtime=1.42 cores=1,3,5,7
/proc/10854/task/10865/stat : 10865 (java) S 10851 10854 9544 0 -1 1077944384 4570 0 0 0 142 0 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439028947056 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10866] ppid=10851 vsize=10748324 memory=56 CPUtime=1.39 cores=1,3,5,7
/proc/10854/task/10866/stat : 10866 (java) S 10851 10854 9544 0 -1 1077944384 7593 0 0 0 138 1 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439027894256 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10867] ppid=10851 vsize=10748324 memory=288230377091511528 CPUtime=0.74 cores=1,3,5,7
/proc/10854/task/10867/stat : 10867 (java) S 10851 10854 9544 0 -1 1077944384 4544 0 0 0 73 1 0 0 20 0 16 0 415348949 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439026841968 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10868] ppid=10851 vsize=10748324 memory=14413704909313181 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10868/stat : 10868 (java) S 10851 10854 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439025789408 140439541626581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10869] ppid=10851 vsize=10748324 memory=-1161699032756226647 CPUtime=0 cores=1,3,5,7
/proc/10854/task/10869/stat : 10869 (java) S 10851 10854 9544 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 415348950 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439024737200 140439541627522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
[pid=10854/tid=10870] ppid=10851 vsize=10748324 memory=6944656592455097440 CPUtime=3.56 cores=1,3,5,7
/proc/10854/task/10870/stat : 10870 (java) R 10851 10854 9544 0 -1 4202560 4273 0 0 0 353 3 0 0 20 0 16 0 415349131 11006283776 69812 33554432000 4194304 4196468 140729155177664 140439008067472 140439145159234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39686144 140729155179531 140729155179634 140729155179634 140729155182543 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 279248 KiB

Child status: 0
Real time (s): 5.51601
CPU time (s): 9.19946
CPU user time (s): 9.02292
CPU system time (s): 0.176544
CPU usage (%): 166.778
Max. virtual memory (cumulated for all children) (KiB): 10750752
Max. memory (cumulated for all children) (KiB): 279248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.02292
system time used= 0.176544
maximum resident set size= 279856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2713
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 10854
#   total CPU time (s): 9.19946
#   total CPU user time (s): 9.02292
#   total CPU system time (s): 0.176544

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069572 second user time and 0.122258 second system time

The end

Begin job on node133 at 2019-09-13 18:10:54
IDJOB=4391104
IDBENCH=138379
IDSOLVER=2833
FILE ID=node133/4391104-1568391093
RUNJOBID= node133-1568388596-9576
PBS_JOBID= 21701853
Free space on /tmp= 59408 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391104-1568391093/watcher-4391104-1568391093 -o /tmp/evaluation-result-4391104-1568391093/solver-4391104-1568391093 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568388596-9576 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391104-1568391093.xml -cm

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

MD5SUM BENCH= 005f7ae7871747b1063e6e013b23478b
RANDOM SEED=1671770781

node133.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.18
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.18
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.18
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.18
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:        31315660 kB
MemAvailable:   31632008 kB
Buffers:          171240 kB
Cached:           429172 kB
SwapCached:         3424 kB
Active:           586752 kB
Inactive:         290376 kB
Active(anon):     300084 kB
Inactive(anon):    16032 kB
Active(file):     286668 kB
Inactive(file):   274344 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       67004048 kB
Dirty:              8828 kB
Writeback:             0 kB
AnonPages:        385316 kB
Mapped:            56448 kB
Shmem:             31428 kB
Slab:             171276 kB
SReclaimable:     142340 kB
SUnreclaim:        28936 kB
KernelStack:        3824 kB
PageTables:         6380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1264248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59400 MiB
End job on node133 at 2019-09-13 18:10:59