2.42/1.88	
2.42/1.88	AbsCon 2 
2.42/1.89	
2.93/2.09	  Instance
2.93/2.09	    name=instance-4390804-1568385561, framework=COP, bounds=-infty..+infty
2.93/2.09	
2.93/2.09	  Loading variables...
3.30/2.16	  Loading constraints...
3.66/2.26	
3.66/2.26	  Domains
3.66/2.26	    nTypes=32, nValues=8728, sizes=[30#6,31#60,32#209]
3.66/2.26	  Variables
3.66/2.26	    count=275, degrees=[2#270,46#5]
3.66/2.26	  Objectives
3.66/2.26	    way=min, type=SumSimpleLE
3.66/2.26	  Constraints
3.66/2.26	    count=272, nSpecific=47, arities=[2#225,5#1,6#45,45#1]
3.66/2.26	    distribution=[CtrExtensionV-Bits#225,Minimum#45,OrderedLT#1,SumSimpleLE#1]
3.66/2.26	    nExtStructures=(32,shared:193), nCftStructures=(32,shared:193,unbuilt:47)
3.66/2.26	    wck=0.403, cpu=2.214, mem=31M797
3.66/2.26	  Solver SolverBacktrack being built...
3.66/2.26	
3.66/2.28	
3.66/2.28	  Solver
3.66/2.28	    guaranteedGAC=true
3.66/2.28	    wck=0.435, cpu=2.244, mem=42M439
3.66/2.29	
3.66/2.29	  Preprocessing
3.66/2.29	    filters=281, revisions=(361,useless=136), nACremovedValues=1082, nTotalRemovedValues=1082, inconcistency=false
3.66/2.29	    wck=0.01, cpu=2.256, mem=42M439
3.66/2.29	
4.03/2.32	o 7293
4.03/2.32	    num=0, depth=276..274, filters=650, revisions=(586,useless=136), ccks=272, wck=0.044, mem=42M439
4.03/2.32	    decisions=5, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=7293
4.03/2.32	    
4.03/2.33	o 3692
4.03/2.34	    num=1, depth=276..274, filters=997, revisions=(1261,useless=586), ccks=544, wck=0.054, mem=42M439
4.03/2.34	    decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=3692
4.03/2.34	    
4.03/2.34	o 3127
4.03/2.35	    num=2, depth=4..274, filters=1602, revisions=(2116,useless=1040), ccks=816, wck=0.064, mem=45M82
4.03/2.35	    decisions=17, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=3127
4.03/2.35	    
4.03/2.37	    num=3, depth=1..4, filters=5556, revisions=(5645,useless=1511), ccks=816, wck=0.09, mem=45M82
4.03/2.37	    decisions=42, wrong=12, backtracks=0, failedAssignments=12, nogoods=12, foundSolutions=3, bestBound=3127
4.03/2.37	    
4.03/2.38	    num=4, depth=1..1, filters=7426, revisions=(6860,useless=1512), ccks=816, wck=0.105, mem=47M724
4.03/2.38	    decisions=65, wrong=23, backtracks=0, failedAssignments=23, nogoods=23, foundSolutions=3, bestBound=3127
4.03/2.38	    
4.03/2.39	o 2855
4.03/2.39	    num=5, depth=276..274, filters=8156, revisions=(7400,useless=1512), ccks=1088, wck=0.111, mem=47M724
4.03/2.39	    decisions=69, wrong=23, backtracks=0, failedAssignments=23, nogoods=23, foundSolutions=4, bestBound=2855
4.03/2.39	    
4.39/2.41	o 2821
4.39/2.41	    num=6, depth=3..274, filters=10318, revisions=(9382,useless=1974), ccks=1360, wck=0.128, mem=47M724
4.39/2.41	    decisions=87, wrong=30, backtracks=0, failedAssignments=30, nogoods=30, foundSolutions=5, bestBound=2821
4.39/2.41	    
4.39/2.42	o 2812
4.39/2.42	    num=7, depth=3..274, filters=12350, revisions=(11413,useless=2442), ccks=1632, wck=0.14, mem=47M724
4.39/2.42	    decisions=105, wrong=37, backtracks=0, failedAssignments=37, nogoods=37, foundSolutions=6, bestBound=2812
4.39/2.42	    
4.39/2.43	    num=8, depth=3..3, filters=14320, revisions=(13258,useless=2898), ccks=1632, wck=0.151, mem=50M367
4.39/2.43	    decisions=130, wrong=48, backtracks=0, failedAssignments=48, nogoods=48, foundSolutions=6, bestBound=2812
4.39/2.43	    
4.39/2.45	    num=9, depth=0..1, filters=18608, revisions=(16440,useless=2931), ccks=1632, wck=0.174, mem=50M367
4.39/2.45	    decisions=153, wrong=59, backtracks=0, failedAssignments=59, nogoods=49, foundSolutions=6, bestBound=2812
4.39/2.45	    
4.39/2.46	o 2736
4.39/2.46	    num=10, depth=1..274, filters=20387, revisions=(17882,useless=2936), ccks=1904, wck=0.182, mem=53M9
4.39/2.46	    decisions=169, wrong=65, backtracks=1, failedAssignments=64, nogoods=51, foundSolutions=7, bestBound=2736
4.39/2.46	    
4.39/2.47	o 2682
4.39/2.47	    num=11, depth=3..274, filters=22643, revisions=(20046,useless=3397), ccks=2176, wck=0.195, mem=53M9
4.39/2.47	    decisions=200, wrong=78, backtracks=2, failedAssignments=76, nogoods=55, foundSolutions=8, bestBound=2682
4.39/2.47	    
4.39/2.48	o 2678
4.39/2.48	    num=12, depth=4..274, filters=23766, revisions=(21353,useless=3851), ccks=2448, wck=0.203, mem=53M9
4.39/2.48	    decisions=213, wrong=82, backtracks=2, failedAssignments=80, nogoods=59, foundSolutions=9, bestBound=2678
4.39/2.48	    
4.39/2.49	    num=13, depth=3..5, filters=25816, revisions=(23343,useless=4310), ccks=2448, wck=0.213, mem=53M9
4.39/2.49	    decisions=240, wrong=94, backtracks=4, failedAssignments=91, nogoods=62, foundSolutions=9, bestBound=2678
4.39/2.49	    
4.69/2.50	    num=14, depth=4..5, filters=27674, revisions=(24783,useless=4320), ccks=2448, wck=0.22, mem=53M9
4.69/2.50	    decisions=266, wrong=105, backtracks=4, failedAssignments=102, nogoods=73, foundSolutions=9, bestBound=2678
4.69/2.50	    
4.69/2.52	    num=15, depth=0..3, filters=31598, revisions=(28069,useless=4331), ccks=2448, wck=0.236, mem=55M652
4.69/2.52	    decisions=295, wrong=118, backtracks=5, failedAssignments=114, nogoods=84, foundSolutions=9, bestBound=2678
4.69/2.52	    
4.69/2.52	o 2360
4.69/2.52	    num=16, depth=276..274, filters=32042, revisions=(28429,useless=4331), ccks=2720, wck=0.239, mem=55M652
4.69/2.52	    decisions=298, wrong=118, backtracks=5, failedAssignments=114, nogoods=84, foundSolutions=10, bestBound=2360
4.69/2.52	    
4.69/2.53	    num=17, depth=4..6, filters=34648, revisions=(31215,useless=4809), ccks=2720, wck=0.248, mem=55M652
4.69/2.53	    decisions=332, wrong=133, backtracks=6, failedAssignments=128, nogoods=89, foundSolutions=10, bestBound=2360
4.69/2.53	    
4.69/2.54	o 2338
4.69/2.54	    num=18, depth=2..274, filters=37156, revisions=(33304,useless=4820), ccks=2992, wck=0.258, mem=55M652
4.69/2.54	    decisions=355, wrong=142, backtracks=6, failedAssignments=137, nogoods=98, foundSolutions=11, bestBound=2338
4.69/2.54	    
4.69/2.55	    num=19, depth=2..6, filters=40076, revisions=(36066,useless=5289), ccks=2992, wck=0.268, mem=60M936
4.69/2.55	    decisions=386, wrong=156, backtracks=9, failedAssignments=149, nogoods=104, foundSolutions=11, bestBound=2338
4.69/2.55	    
4.69/2.56	    num=20, depth=3..5, filters=42053, revisions=(37416,useless=5292), ccks=2992, wck=0.278, mem=60M936
4.69/2.56	    decisions=411, wrong=167, backtracks=9, failedAssignments=160, nogoods=115, foundSolutions=11, bestBound=2338
4.69/2.56	    
4.69/2.57	    num=21, depth=1..4, filters=44819, revisions=(39687,useless=5309), ccks=2992, wck=0.286, mem=60M936
4.69/2.57	    decisions=443, wrong=181, backtracks=11, failedAssignments=172, nogoods=117, foundSolutions=11, bestBound=2338
4.69/2.57	    
4.69/2.57	    num=22, depth=2..5, filters=46992, revisions=(41355,useless=5319), ccks=2992, wck=0.293, mem=60M936
4.69/2.57	    decisions=474, wrong=195, backtracks=14, failedAssignments=185, nogoods=121, foundSolutions=11, bestBound=2338
4.69/2.57	    
4.69/2.58	    num=23, depth=1..5, filters=49818, revisions=(43339,useless=5322), ccks=2992, wck=0.302, mem=63M579
4.69/2.58	    decisions=507, wrong=211, backtracks=18, failedAssignments=199, nogoods=125, foundSolutions=11, bestBound=2338
4.69/2.58	    
4.69/2.59	    num=24, depth=2..5, filters=54258, revisions=(47038,useless=5373), ccks=2992, wck=0.312, mem=63M579
4.69/2.59	    decisions=555, wrong=234, backtracks=26, failedAssignments=215, nogoods=128, foundSolutions=11, bestBound=2338
4.69/2.59	    
5.01/2.60	    num=25, depth=2..7, filters=58351, revisions=(50245,useless=5391), ccks=2992, wck=0.324, mem=63M579
5.01/2.60	    decisions=595, wrong=252, backtracks=27, failedAssignments=232, nogoods=134, foundSolutions=11, bestBound=2338
5.01/2.60	    
5.01/2.61	o 2251
5.01/2.61	    num=26, depth=2..274, filters=61065, revisions=(52319,useless=5393), ccks=3264, wck=0.332, mem=66M221
5.01/2.61	    decisions=629, wrong=267, backtracks=28, failedAssignments=246, nogoods=139, foundSolutions=12, bestBound=2251
5.01/2.61	    
5.01/2.62	    num=27, depth=2..5, filters=64728, revisions=(55800,useless=5856), ccks=3264, wck=0.34, mem=66M221
5.01/2.62	    decisions=678, wrong=290, backtracks=32, failedAssignments=267, nogoods=152, foundSolutions=12, bestBound=2251
5.01/2.62	    
5.01/2.63	    num=28, depth=1..1, filters=66983, revisions=(57511,useless=5866), ccks=3264, wck=0.347, mem=66M221
5.01/2.63	    decisions=701, wrong=301, backtracks=32, failedAssignments=278, nogoods=163, foundSolutions=12, bestBound=2251
5.01/2.63	    
5.01/2.64	    num=29, depth=3..6, filters=69278, revisions=(59086,useless=5872), ccks=3264, wck=0.353, mem=66M221
5.01/2.64	    decisions=728, wrong=313, backtracks=32, failedAssignments=290, nogoods=175, foundSolutions=12, bestBound=2251
5.01/2.64	    
5.01/2.64	    num=30, depth=1..4, filters=72950, revisions=(62209,useless=5925), ccks=3264, wck=0.36, mem=68M864
5.01/2.64	    decisions=760, wrong=328, backtracks=35, failedAssignments=303, nogoods=184, foundSolutions=12, bestBound=2251
5.01/2.64	    
5.01/2.65	    num=31, depth=1..4, filters=78691, revisions=(66857,useless=5951), ccks=3264, wck=0.375, mem=68M864
5.01/2.65	    decisions=792, wrong=342, backtracks=35, failedAssignments=317, nogoods=198, foundSolutions=12, bestBound=2251
5.01/2.65	    
5.01/2.67	    num=32, depth=2..4, filters=84067, revisions=(71410,useless=6019), ccks=3264, wck=0.383, mem=71M506
5.01/2.67	    decisions=833, wrong=361, backtracks=38, failedAssignments=333, nogoods=210, foundSolutions=12, bestBound=2251
5.01/2.67	    
5.01/2.68	    num=33, depth=1..4, filters=88990, revisions=(75672,useless=6035), ccks=3264, wck=0.392, mem=71M506
5.01/2.68	    decisions=876, wrong=381, backtracks=41, failedAssignments=350, nogoods=225, foundSolutions=12, bestBound=2251
5.01/2.68	    
5.01/2.68	    num=34, depth=1..2, filters=92737, revisions=(78603,useless=6055), ccks=3264, wck=0.399, mem=71M506
5.01/2.68	    decisions=921, wrong=403, backtracks=44, failedAssignments=369, nogoods=230, foundSolutions=12, bestBound=2251
5.01/2.68	    
5.01/2.69	    num=35, depth=2..4, filters=97976, revisions=(83051,useless=6138), ccks=3264, wck=0.407, mem=71M506
5.01/2.69	    decisions=972, wrong=427, backtracks=47, failedAssignments=390, nogoods=246, foundSolutions=12, bestBound=2251
5.01/2.69	    
5.01/2.70	    num=36, depth=1..4, filters=102003, revisions=(85936,useless=6145), ccks=3264, wck=0.416, mem=74M149
5.01/2.70	    decisions=1024, wrong=452, backtracks=51, failedAssignments=413, nogoods=252, foundSolutions=12, bestBound=2251
5.01/2.70	    
5.34/2.71	    num=37, depth=1..5, filters=110182, revisions=(92847,useless=6272), ccks=3264, wck=0.428, mem=74M149
5.34/2.71	    decisions=1088, wrong=482, backtracks=60, failedAssignments=438, nogoods=268, foundSolutions=12, bestBound=2251
5.34/2.71	    
5.34/2.71	o 2246
5.34/2.71	    num=38, depth=3..274, filters=112181, revisions=(94521,useless=6274), ccks=3536, wck=0.433, mem=74M149
5.34/2.71	    decisions=1115, wrong=493, backtracks=64, failedAssignments=445, nogoods=275, foundSolutions=13, bestBound=2246
5.34/2.71	    
5.34/2.72	o 2045
5.34/2.73	    num=39, depth=2..274, filters=115691, revisions=(97950,useless=6738), ccks=3808, wck=0.442, mem=76M791
5.34/2.73	    decisions=1160, wrong=513, backtracks=64, failedAssignments=465, nogoods=295, foundSolutions=14, bestBound=2045
5.34/2.73	    
5.34/2.73	    num=40, depth=1..4, filters=117862, revisions=(100210,useless=7196), ccks=3808, wck=0.447, mem=76M791
5.34/2.73	    decisions=1186, wrong=525, backtracks=65, failedAssignments=476, nogoods=302, foundSolutions=14, bestBound=2045
5.34/2.73	    
5.34/2.73	    num=41, depth=0..3, filters=121064, revisions=(102930,useless=7230), ccks=3808, wck=0.453, mem=76M791
5.34/2.73	    decisions=1213, wrong=538, backtracks=67, failedAssignments=487, nogoods=307, foundSolutions=14, bestBound=2045
5.34/2.73	    
5.34/2.74	    num=42, depth=2..6, filters=122987, revisions=(104313,useless=7238), ccks=3808, wck=0.459, mem=76M791
5.34/2.74	    decisions=1239, wrong=550, backtracks=67, failedAssignments=499, nogoods=319, foundSolutions=14, bestBound=2045
5.34/2.74	    
5.34/2.75	    num=43, depth=2..2, filters=126475, revisions=(106879,useless=7247), ccks=3808, wck=0.466, mem=79M434
5.34/2.75	    decisions=1267, wrong=563, backtracks=67, failedAssignments=512, nogoods=332, foundSolutions=14, bestBound=2045
5.34/2.75	    
5.34/2.75	    num=44, depth=1..3, filters=129017, revisions=(108730,useless=7251), ccks=3808, wck=0.471, mem=79M434
5.34/2.75	    decisions=1299, wrong=578, backtracks=69, failedAssignments=526, nogoods=339, foundSolutions=14, bestBound=2045
5.34/2.75	    
5.34/2.76	    num=45, depth=2..4, filters=131849, revisions=(111129,useless=7304), ccks=3808, wck=0.477, mem=79M434
5.34/2.76	    decisions=1337, wrong=595, backtracks=70, failedAssignments=542, nogoods=353, foundSolutions=14, bestBound=2045
5.34/2.76	    
5.34/2.76	    num=46, depth=2..4, filters=135350, revisions=(113744,useless=7327), ccks=3808, wck=0.483, mem=79M434
5.34/2.76	    decisions=1378, wrong=614, backtracks=73, failedAssignments=559, nogoods=361, foundSolutions=14, bestBound=2045
5.34/2.76	    
5.34/2.77	    num=47, depth=3..4, filters=139945, revisions=(117536,useless=7383), ccks=3808, wck=0.49, mem=82M76
5.34/2.77	    decisions=1423, wrong=635, backtracks=75, failedAssignments=578, nogoods=377, foundSolutions=14, bestBound=2045
5.34/2.77	    
5.34/2.77	o 2024
5.34/2.77	    num=48, depth=3..274, filters=141022, revisions=(118397,useless=7384), ccks=4080, wck=0.494, mem=82M76
5.34/2.77	    decisions=1435, wrong=639, backtracks=75, failedAssignments=582, nogoods=381, foundSolutions=15, bestBound=2024
5.34/2.77	    
5.34/2.79	o 2017
5.34/2.79	    num=49, depth=1..274, filters=145601, revisions=(122554,useless=7862), ccks=4352, wck=0.508, mem=82M76
5.34/2.79	    decisions=1464, wrong=651, backtracks=76, failedAssignments=593, nogoods=392, foundSolutions=16, bestBound=2017
5.34/2.79	    
5.34/2.79	o 1824
5.34/2.79	    num=50, depth=1..274, filters=146515, revisions=(123772,useless=8319), ccks=4624, wck=0.512, mem=82M76
5.34/2.79	    decisions=1470, wrong=652, backtracks=76, failedAssignments=594, nogoods=393, foundSolutions=17, bestBound=1824
5.34/2.79	    
5.34/2.79	o 1815
5.34/2.80	    num=51, depth=2..274, filters=147758, revisions=(125259,useless=8773), ccks=4896, wck=0.516, mem=84M718
5.34/2.80	    decisions=1483, wrong=656, backtracks=77, failedAssignments=597, nogoods=394, foundSolutions=18, bestBound=1815
5.34/2.80	    
5.34/2.80	o 1806
5.34/2.80	    num=52, depth=2..274, filters=149527, revisions=(127182,useless=9231), ccks=5168, wck=0.52, mem=84M718
5.34/2.80	    decisions=1503, wrong=664, backtracks=79, failedAssignments=603, nogoods=395, foundSolutions=19, bestBound=1806
5.34/2.80	    
5.63/2.80	o 1798
5.63/2.81	    num=53, depth=2..274, filters=150731, revisions=(128615,useless=9688), ccks=5440, wck=0.524, mem=84M718
5.63/2.81	    decisions=1515, wrong=668, backtracks=80, failedAssignments=606, nogoods=396, foundSolutions=20, bestBound=1798
5.63/2.81	    
5.63/2.81	o 1790
5.63/2.81	    num=54, depth=1..274, filters=152946, revisions=(130899,useless=10151), ccks=5712, wck=0.53, mem=84M718
5.63/2.81	    decisions=1535, wrong=676, backtracks=82, failedAssignments=612, nogoods=397, foundSolutions=21, bestBound=1790
5.63/2.81	    
5.63/2.81	    num=55, depth=1..4, filters=155112, revisions=(133150,useless=10614), ccks=5712, wck=0.534, mem=84M718
5.63/2.81	    decisions=1561, wrong=688, backtracks=84, failedAssignments=623, nogoods=402, foundSolutions=21, bestBound=1790
5.63/2.81	    
5.63/2.82	    num=56, depth=3..8, filters=157058, revisions=(134682,useless=10619), ccks=5712, wck=0.539, mem=87M361
5.63/2.82	    decisions=1589, wrong=700, backtracks=89, failedAssignments=634, nogoods=404, foundSolutions=21, bestBound=1790
5.63/2.82	    
5.63/2.83	    num=57, depth=1..3, filters=161175, revisions=(137610,useless=10649), ccks=5712, wck=0.546, mem=87M361
5.63/2.83	    decisions=1616, wrong=712, backtracks=89, failedAssignments=646, nogoods=416, foundSolutions=21, bestBound=1790
5.63/2.83	    
5.63/2.83	    num=58, depth=1..2, filters=163639, revisions=(139408,useless=10665), ccks=5712, wck=0.552, mem=87M361
5.63/2.83	    decisions=1645, wrong=726, backtracks=90, failedAssignments=659, nogoods=427, foundSolutions=21, bestBound=1790
5.63/2.83	    
5.63/2.84	    num=59, depth=0..0, filters=168397, revisions=(142964,useless=10672), ccks=5712, wck=0.561, mem=90M3
5.63/2.84	    decisions=1673, wrong=740, backtracks=90, failedAssignments=673, nogoods=427, foundSolutions=21, bestBound=1790
5.63/2.84	    
5.63/2.85	    num=60, depth=0..6, filters=174203, revisions=(147957,useless=10762), ccks=5712, wck=0.571, mem=90M3
5.63/2.85	    decisions=1732, wrong=768, backtracks=105, failedAssignments=689, nogoods=429, foundSolutions=21, bestBound=1790
5.63/2.85	    
5.63/2.85	o 1784
5.63/2.86	    num=61, depth=3..274, filters=176128, revisions=(149434,useless=10774), ccks=5984, wck=0.575, mem=90M3
5.63/2.86	    decisions=1755, wrong=777, backtracks=107, failedAssignments=696, nogoods=435, foundSolutions=22, bestBound=1784
5.63/2.86	    
5.63/2.86	o 1768
5.63/2.86	    num=62, depth=3..274, filters=177596, revisions=(151058,useless=11227), ccks=6256, wck=0.579, mem=92M646
5.63/2.86	    decisions=1775, wrong=784, backtracks=107, failedAssignments=703, nogoods=442, foundSolutions=23, bestBound=1768
5.63/2.86	    
5.63/2.86	o 1762
5.63/2.86	    num=63, depth=3..274, filters=179255, revisions=(152909,useless=11682), ccks=6528, wck=0.583, mem=92M646
5.63/2.86	    decisions=1797, wrong=792, backtracks=107, failedAssignments=711, nogoods=450, foundSolutions=24, bestBound=1762
5.63/2.86	    
5.63/2.87	o 1750
5.63/2.87	    num=64, depth=4..274, filters=180256, revisions=(154169,useless=12134), ccks=6800, wck=0.586, mem=92M646
5.63/2.87	    decisions=1807, wrong=794, backtracks=108, failedAssignments=712, nogoods=451, foundSolutions=25, bestBound=1750
5.63/2.87	    
5.63/2.87	o 1734
5.63/2.87	    num=65, depth=5..274, filters=181083, revisions=(155294,useless=12584), ccks=7072, wck=0.589, mem=92M646
5.63/2.87	    decisions=1815, wrong=795, backtracks=108, failedAssignments=713, nogoods=452, foundSolutions=26, bestBound=1734
5.63/2.87	    
5.63/2.87	o 1728
5.63/2.87	    num=66, depth=5..274, filters=181950, revisions=(156465,useless=13036), ccks=7344, wck=0.591, mem=92M646
5.63/2.87	    decisions=1823, wrong=796, backtracks=108, failedAssignments=714, nogoods=453, foundSolutions=27, bestBound=1728
5.63/2.87	    
5.63/2.87	o 1724
5.63/2.87	    num=67, depth=4..274, filters=183001, revisions=(157771,useless=13488), ccks=7616, wck=0.595, mem=92M646
5.63/2.87	    decisions=1833, wrong=798, backtracks=109, failedAssignments=715, nogoods=454, foundSolutions=28, bestBound=1724
5.63/2.87	    
5.63/2.88	o 1708
5.63/2.88	    num=68, depth=5..274, filters=183832, revisions=(158896,useless=13938), ccks=7888, wck=0.598, mem=95M288
5.63/2.88	    decisions=1841, wrong=799, backtracks=109, failedAssignments=716, nogoods=455, foundSolutions=29, bestBound=1708
5.63/2.88	    
5.63/2.88	o 1702
5.63/2.88	    num=69, depth=5..274, filters=184702, revisions=(160067,useless=14390), ccks=8160, wck=0.6, mem=95M288
5.63/2.88	    decisions=1849, wrong=800, backtracks=109, failedAssignments=717, nogoods=456, foundSolutions=30, bestBound=1702
5.63/2.88	    
5.63/2.88	o 1625
5.63/2.88	    num=70, depth=4..274, filters=185752, revisions=(161373,useless=14844), ccks=8432, wck=0.603, mem=95M288
5.63/2.88	    decisions=1859, wrong=802, backtracks=110, failedAssignments=718, nogoods=457, foundSolutions=31, bestBound=1625
5.63/2.88	    
5.63/2.89	o 1609
5.63/2.89	    num=71, depth=5..274, filters=186581, revisions=(162498,useless=15294), ccks=8704, wck=0.606, mem=95M288
5.63/2.89	    decisions=1867, wrong=803, backtracks=110, failedAssignments=719, nogoods=458, foundSolutions=32, bestBound=1609
5.63/2.89	    
5.63/2.89	o 1603
5.63/2.89	    num=72, depth=5..274, filters=187408, revisions=(163623,useless=15744), ccks=8976, wck=0.609, mem=95M288
5.63/2.89	    decisions=1875, wrong=804, backtracks=110, failedAssignments=720, nogoods=459, foundSolutions=33, bestBound=1603
5.63/2.89	    
5.63/2.89	o 1562
5.63/2.89	    num=73, depth=4..274, filters=188514, revisions=(164976,useless=16200), ccks=9248, wck=0.612, mem=95M288
5.63/2.89	    decisions=1885, wrong=806, backtracks=111, failedAssignments=721, nogoods=460, foundSolutions=34, bestBound=1562
5.63/2.89	    
5.63/2.89	o 1546
5.63/2.89	    num=74, depth=5..274, filters=189344, revisions=(166101,useless=16650), ccks=9520, wck=0.614, mem=95M288
5.63/2.89	    decisions=1893, wrong=807, backtracks=111, failedAssignments=722, nogoods=461, foundSolutions=35, bestBound=1546
5.63/2.89	    
5.63/2.90	o 1540
5.92/2.90	    num=75, depth=5..274, filters=190171, revisions=(167226,useless=17100), ccks=9792, wck=0.618, mem=97M931
5.92/2.90	    decisions=1901, wrong=808, backtracks=111, failedAssignments=723, nogoods=462, foundSolutions=36, bestBound=1540
5.92/2.90	    
5.92/2.90	o 1478
5.92/2.91	    num=76, depth=4..274, filters=191415, revisions=(168666,useless=17550), ccks=10064, wck=0.621, mem=97M931
5.92/2.91	    decisions=1915, wrong=812, backtracks=112, failedAssignments=726, nogoods=464, foundSolutions=37, bestBound=1478
5.92/2.91	    
5.92/2.91	o 1469
5.92/2.91	    num=77, depth=4..274, filters=192716, revisions=(170153,useless=18004), ccks=10336, wck=0.624, mem=97M931
5.92/2.91	    decisions=1929, wrong=816, backtracks=113, failedAssignments=729, nogoods=466, foundSolutions=38, bestBound=1469
5.92/2.91	    
5.92/2.91	o 1462
5.92/2.91	    num=78, depth=276..274, filters=193437, revisions=(171188,useless=18454), ccks=10608, wck=0.627, mem=97M931
5.92/2.91	    decisions=1935, wrong=816, backtracks=113, failedAssignments=729, nogoods=466, foundSolutions=39, bestBound=1462
5.92/2.91	    
5.92/2.91	o 1456
5.92/2.91	    num=79, depth=5..274, filters=194265, revisions=(172313,useless=18904), ccks=10880, wck=0.63, mem=97M931
5.92/2.91	    decisions=1943, wrong=817, backtracks=113, failedAssignments=730, nogoods=467, foundSolutions=40, bestBound=1456
5.92/2.91	    
5.92/2.91	o 1453
5.92/2.91	    num=80, depth=4..274, filters=196414, revisions=(174417,useless=19362), ccks=11152, wck=0.634, mem=97M931
5.92/2.91	    decisions=1969, wrong=827, backtracks=115, failedAssignments=738, nogoods=469, foundSolutions=41, bestBound=1453
5.92/2.91	    
5.92/2.92	o 1447
5.92/2.92	    num=81, depth=5..274, filters=197309, revisions=(175587,useless=19812), ccks=11424, wck=0.636, mem=100M573
5.92/2.92	    decisions=1977, wrong=828, backtracks=115, failedAssignments=739, nogoods=470, foundSolutions=42, bestBound=1447
5.92/2.92	    
5.92/2.92	o 1446
5.92/2.92	    num=82, depth=4..274, filters=198643, revisions=(177074,useless=20264), ccks=11696, wck=0.64, mem=100M573
5.92/2.92	    decisions=1991, wrong=832, backtracks=116, failedAssignments=742, nogoods=472, foundSolutions=43, bestBound=1446
5.92/2.92	    
5.92/2.92	o 1439
5.92/2.92	    num=83, depth=276..274, filters=199429, revisions=(178154,useless=20714), ccks=11968, wck=0.643, mem=100M573
5.92/2.92	    decisions=1997, wrong=832, backtracks=116, failedAssignments=742, nogoods=472, foundSolutions=44, bestBound=1439
5.92/2.92	    
5.92/2.92	o 1425
5.92/2.93	    num=84, depth=5..274, filters=200329, revisions=(179324,useless=21164), ccks=12240, wck=0.645, mem=100M573
5.92/2.93	    decisions=2005, wrong=833, backtracks=116, failedAssignments=743, nogoods=473, foundSolutions=45, bestBound=1425
5.92/2.93	    
5.92/2.93	o 1414
5.92/2.93	    num=85, depth=4..274, filters=203115, revisions=(181940,useless=21626), ccks=12512, wck=0.65, mem=100M573
5.92/2.93	    decisions=2037, wrong=846, backtracks=119, failedAssignments=753, nogoods=476, foundSolutions=46, bestBound=1414
5.92/2.93	    
5.92/2.93	o 1405
5.92/2.93	    num=86, depth=4..274, filters=204623, revisions=(183614,useless=22092), ccks=12784, wck=0.653, mem=100M573
5.92/2.93	    decisions=2051, wrong=850, backtracks=120, failedAssignments=756, nogoods=477, foundSolutions=47, bestBound=1405
5.92/2.93	    
5.92/2.94	    num=87, depth=4..5, filters=207209, revisions=(186092,useless=22557), ccks=12784, wck=0.657, mem=103M215
5.92/2.94	    decisions=2084, wrong=864, backtracks=123, failedAssignments=767, nogoods=482, foundSolutions=47, bestBound=1405
5.92/2.94	    
5.92/2.94	    num=88, depth=2..5, filters=210153, revisions=(188222,useless=22593), ccks=12784, wck=0.663, mem=103M215
5.92/2.94	    decisions=2114, wrong=877, backtracks=126, failedAssignments=778, nogoods=484, foundSolutions=47, bestBound=1405
5.92/2.94	    
5.92/2.95	    num=89, depth=3..4, filters=211971, revisions=(189719,useless=22602), ccks=12784, wck=0.666, mem=103M215
5.92/2.95	    decisions=2141, wrong=889, backtracks=126, failedAssignments=790, nogoods=496, foundSolutions=47, bestBound=1405
5.92/2.95	    
5.92/2.95	    num=90, depth=0..4, filters=214863, revisions=(192034,useless=22631), ccks=12784, wck=0.673, mem=103M215
5.92/2.95	    decisions=2175, wrong=905, backtracks=130, failedAssignments=803, nogoods=504, foundSolutions=47, bestBound=1405
5.92/2.95	    
5.92/2.96	    num=91, depth=2..3, filters=218797, revisions=(194927,useless=22651), ccks=12784, wck=0.68, mem=103M215
5.92/2.96	    decisions=2207, wrong=920, backtracks=131, failedAssignments=817, nogoods=505, foundSolutions=47, bestBound=1405
5.92/2.96	    
5.92/2.97	    num=92, depth=1..5, filters=222711, revisions=(198274,useless=22683), ccks=12784, wck=0.687, mem=105M858
5.92/2.97	    decisions=2251, wrong=941, backtracks=137, failedAssignments=833, nogoods=513, foundSolutions=47, bestBound=1405
5.92/2.97	    
5.92/2.97	    num=93, depth=2..4, filters=226735, revisions=(201871,useless=22760), ccks=12784, wck=0.693, mem=105M858
5.92/2.97	    decisions=2289, wrong=959, backtracks=139, failedAssignments=850, nogoods=520, foundSolutions=47, bestBound=1405
5.92/2.97	    
5.92/2.99	    num=94, depth=1..7, filters=234104, revisions=(208372,useless=22833), ccks=12784, wck=0.705, mem=108M500
5.92/2.99	    decisions=2362, wrong=994, backtracks=160, failedAssignments=869, nogoods=525, foundSolutions=47, bestBound=1405
5.92/2.99	    
5.92/3.00	    num=95, depth=1..5, filters=241752, revisions=(215093,useless=22997), ccks=12784, wck=0.716, mem=108M500
5.92/3.00	    decisions=2412, wrong=1018, backtracks=164, failedAssignments=890, nogoods=539, foundSolutions=47, bestBound=1405
5.92/3.00	    
6.23/3.02	    num=96, depth=0..4, filters=247832, revisions=(220092,useless=23108), ccks=12784, wck=0.737, mem=111M143
6.23/3.02	    decisions=2472, wrong=1048, backtracks=172, failedAssignments=913, nogoods=539, foundSolutions=47, bestBound=1405
6.23/3.02	    
6.23/3.02	    num=97, depth=3..7, filters=251591, revisions=(222940,useless=23126), ccks=12784, wck=0.744, mem=111M143
6.23/3.02	    decisions=2529, wrong=1074, backtracks=173, failedAssignments=938, nogoods=555, foundSolutions=47, bestBound=1405
6.23/3.02	    
6.23/3.03	    num=98, depth=1..6, filters=256405, revisions=(226766,useless=23196), ccks=12784, wck=0.752, mem=111M143
6.23/3.03	    decisions=2591, wrong=1104, backtracks=179, failedAssignments=966, nogoods=569, foundSolutions=47, bestBound=1405
6.23/3.03	    
6.23/3.04	    num=99, depth=0..7, filters=263907, revisions=(232869,useless=23309), ccks=12784, wck=0.764, mem=113M785
6.23/3.04	    decisions=2666, wrong=1140, backtracks=184, failedAssignments=997, nogoods=588, foundSolutions=47, bestBound=1405
6.23/3.04	    
6.23/3.05	    num=100, depth=1..5, filters=272057, revisions=(239442,useless=23386), ccks=12784, wck=0.774, mem=113M785
6.23/3.05	    decisions=2757, wrong=1184, backtracks=196, failedAssignments=1031, nogoods=601, foundSolutions=47, bestBound=1405
6.23/3.05	    
6.23/3.07	    num=101, depth=0..6, filters=281695, revisions=(247412,useless=23497), ccks=12784, wck=0.786, mem=116M428
6.23/3.07	    decisions=2853, wrong=1230, backtracks=206, failedAssignments=1068, nogoods=616, foundSolutions=47, bestBound=1405
6.23/3.07	    
6.23/3.08	    num=102, depth=1..4, filters=290692, revisions=(254613,useless=23561), ccks=12784, wck=0.795, mem=116M428
6.23/3.08	    decisions=2971, wrong=1288, backtracks=223, failedAssignments=1109, nogoods=622, foundSolutions=47, bestBound=1405
6.23/3.08	    
6.23/3.09	    num=103, depth=0..6, filters=302777, revisions=(264795,useless=23716), ccks=12784, wck=0.808, mem=119M70
6.23/3.09	    decisions=3092, wrong=1347, backtracks=238, failedAssignments=1154, nogoods=627, foundSolutions=47, bestBound=1405
6.23/3.09	    
6.23/3.10	    num=104, depth=0..5, filters=315374, revisions=(276007,useless=23845), ccks=12784, wck=0.82, mem=119M70
6.23/3.10	    decisions=3218, wrong=1409, backtracks=255, failedAssignments=1204, nogoods=646, foundSolutions=47, bestBound=1405
6.23/3.10	    
6.47/3.12	o 1301
6.47/3.12	    num=105, depth=0..274, filters=328631, revisions=(286820,useless=23919), ccks=13056, wck=0.837, mem=121M713
6.47/3.12	    decisions=3350, wrong=1472, backtracks=273, failedAssignments=1254, nogoods=669, foundSolutions=48, bestBound=1301
6.47/3.12	    
6.47/3.13	    num=106, depth=1..5, filters=340887, revisions=(298107,useless=24500), ccks=13056, wck=0.851, mem=124M355
6.47/3.13	    decisions=3491, wrong=1541, backtracks=283, failedAssignments=1315, nogoods=682, foundSolutions=48, bestBound=1301
6.47/3.13	    
6.47/3.13	    num=107, depth=2..3, filters=343313, revisions=(300050,useless=24518), ccks=13056, wck=0.854, mem=124M355
6.47/3.13	    decisions=3517, wrong=1553, backtracks=284, failedAssignments=1326, nogoods=689, foundSolutions=48, bestBound=1301
6.47/3.13	    
6.47/3.14	    num=108, depth=0..5, filters=346785, revisions=(302871,useless=24543), ccks=13056, wck=0.858, mem=124M355
6.47/3.14	    decisions=3555, wrong=1570, backtracks=289, failedAssignments=1338, nogoods=695, foundSolutions=48, bestBound=1301
6.47/3.14	    
6.47/3.14	    num=109, depth=0..4, filters=350498, revisions=(306107,useless=24583), ccks=13056, wck=0.863, mem=126M997
6.47/3.14	    decisions=3592, wrong=1588, backtracks=294, failedAssignments=1351, nogoods=696, foundSolutions=48, bestBound=1301
6.47/3.14	    
6.47/3.15	    num=110, depth=1..4, filters=354163, revisions=(309133,useless=24624), ccks=13056, wck=0.866, mem=126M997
6.47/3.15	    decisions=3630, wrong=1606, backtracks=299, failedAssignments=1365, nogoods=703, foundSolutions=48, bestBound=1301
6.47/3.15	    
6.47/3.15	    num=111, depth=0..4, filters=359809, revisions=(314064,useless=24709), ccks=13056, wck=0.872, mem=126M997
6.47/3.15	    decisions=3678, wrong=1629, backtracks=306, failedAssignments=1381, nogoods=707, foundSolutions=48, bestBound=1301
6.47/3.15	    
6.47/3.16	    num=112, depth=1..3, filters=364441, revisions=(318087,useless=24780), ccks=13056, wck=0.877, mem=126M997
6.47/3.16	    decisions=3718, wrong=1648, backtracks=308, failedAssignments=1398, nogoods=718, foundSolutions=48, bestBound=1301
6.47/3.16	    
6.47/3.16	    num=113, depth=1..5, filters=371221, revisions=(324167,useless=24924), ccks=13056, wck=0.883, mem=126M997
6.47/3.16	    decisions=3785, wrong=1680, backtracks=325, failedAssignments=1417, nogoods=723, foundSolutions=48, bestBound=1301
6.47/3.16	    
6.47/3.17	    num=114, depth=2..3, filters=374951, revisions=(327050,useless=24959), ccks=13056, wck=0.888, mem=129M640
6.47/3.17	    decisions=3832, wrong=1702, backtracks=326, failedAssignments=1438, nogoods=739, foundSolutions=48, bestBound=1301
6.47/3.17	    
6.47/3.17	    num=115, depth=1..3, filters=381266, revisions=(332578,useless=25086), ccks=13056, wck=0.894, mem=129M640
6.47/3.17	    decisions=3898, wrong=1734, backtracks=336, failedAssignments=1461, nogoods=744, foundSolutions=48, bestBound=1301
6.47/3.17	    
6.47/3.18	    num=116, depth=0..4, filters=386665, revisions=(336927,useless=25179), ccks=13056, wck=0.9, mem=129M640
6.47/3.18	    decisions=3961, wrong=1764, backtracks=342, failedAssignments=1486, nogoods=747, foundSolutions=48, bestBound=1301
6.47/3.18	    
6.47/3.19	    num=117, depth=1..4, filters=392717, revisions=(342279,useless=25243), ccks=13056, wck=0.905, mem=129M640
6.47/3.19	    decisions=4030, wrong=1798, backtracks=353, failedAssignments=1514, nogoods=752, foundSolutions=48, bestBound=1301
6.47/3.19	    
6.47/3.19	    num=118, depth=0..4, filters=400846, revisions=(349180,useless=25328), ccks=13056, wck=0.914, mem=132M283
6.47/3.19	    decisions=4112, wrong=1838, backtracks=362, failedAssignments=1545, nogoods=771, foundSolutions=48, bestBound=1301
6.47/3.19	    
6.59/3.20	    num=119, depth=0..3, filters=409300, revisions=(356165,useless=25446), ccks=13056, wck=0.923, mem=132M283
6.59/3.20	    decisions=4188, wrong=1875, backtracks=365, failedAssignments=1579, nogoods=783, foundSolutions=48, bestBound=1301
6.59/3.20	    
6.59/3.21	    num=120, depth=1..3, filters=416641, revisions=(362040,useless=25510), ccks=13056, wck=0.932, mem=134M925
6.59/3.21	    decisions=4274, wrong=1917, backtracks=370, failedAssignments=1616, nogoods=790, foundSolutions=48, bestBound=1301
6.59/3.21	    
6.59/3.22	    num=121, depth=0..5, filters=425353, revisions=(369456,useless=25605), ccks=13056, wck=0.941, mem=134M925
6.59/3.22	    decisions=4372, wrong=1965, backtracks=378, failedAssignments=1657, nogoods=807, foundSolutions=48, bestBound=1301
6.59/3.22	    
6.59/3.23	    num=122, depth=1..3, filters=433938, revisions=(376036,useless=25699), ccks=13056, wck=0.952, mem=137M568
6.59/3.23	    decisions=4478, wrong=2017, backtracks=385, failedAssignments=1702, nogoods=820, foundSolutions=48, bestBound=1301
6.59/3.23	    
6.59/3.24	    num=123, depth=1..3, filters=445487, revisions=(385849,useless=25850), ccks=13056, wck=0.964, mem=137M568
6.59/3.24	    decisions=4613, wrong=2084, backtracks=404, failedAssignments=1752, nogoods=829, foundSolutions=48, bestBound=1301
6.59/3.24	    
6.59/3.26	    num=124, depth=0..4, filters=457533, revisions=(395589,useless=25985), ccks=13056, wck=0.978, mem=140M210
6.59/3.26	    decisions=4748, wrong=2150, backtracks=416, failedAssignments=1807, nogoods=838, foundSolutions=48, bestBound=1301
6.59/3.26	    
6.59/3.27	    num=125, depth=2..4, filters=469375, revisions=(405039,useless=26079), ccks=13056, wck=0.991, mem=140M210
6.59/3.27	    decisions=4900, wrong=2224, backtracks=430, failedAssignments=1868, nogoods=850, foundSolutions=48, bestBound=1301
6.59/3.27	    
6.59/3.29	    num=126, depth=1..4, filters=483164, revisions=(416859,useless=26223), ccks=13056, wck=1.006, mem=142M778
6.59/3.29	    decisions=5070, wrong=2308, backtracks=448, failedAssignments=1935, nogoods=857, foundSolutions=48, bestBound=1301
6.59/3.29	    
6.70/3.30	    num=127, depth=2..4, filters=497129, revisions=(427977,useless=26327), ccks=13056, wck=1.021, mem=142M778
6.70/3.30	    decisions=5252, wrong=2397, backtracks=464, failedAssignments=2009, nogoods=871, foundSolutions=48, bestBound=1301
6.70/3.30	    
6.70/3.33	    num=128, depth=0..5, filters=515290, revisions=(443210,useless=26554), ccks=13056, wck=1.053, mem=23M259
6.70/3.33	    decisions=5462, wrong=2501, backtracks=488, failedAssignments=2090, nogoods=876, foundSolutions=48, bestBound=1301
6.70/3.33	    
6.70/3.35	    num=129, depth=0..4, filters=534746, revisions=(459361,useless=26806), ccks=13056, wck=1.072, mem=25M849
6.70/3.35	    decisions=5680, wrong=2609, backtracks=510, failedAssignments=2179, nogoods=890, foundSolutions=48, bestBound=1301
6.70/3.35	    
6.70/3.37	    num=130, depth=0..4, filters=556743, revisions=(477436,useless=27112), ccks=13056, wck=1.094, mem=28M439
6.70/3.37	    decisions=5924, wrong=2730, backtracks=536, failedAssignments=2277, nogoods=901, foundSolutions=48, bestBound=1301
6.70/3.37	    
6.70/3.39	o 1298
6.70/3.39	    num=131, depth=1..274, filters=574066, revisions=(491600,useless=27350), ccks=13328, wck=1.112, mem=31M28
6.70/3.39	    decisions=6125, wrong=2828, backtracks=557, failedAssignments=2355, nogoods=908, foundSolutions=49, bestBound=1298
6.70/3.39	    
6.85/3.42	    num=132, depth=1..5, filters=596659, revisions=(510464,useless=28045), ccks=13328, wck=1.138, mem=33M618
6.85/3.42	    decisions=6398, wrong=2964, backtracks=575, failedAssignments=2474, nogoods=909, foundSolutions=49, bestBound=1298
6.85/3.42	    
6.85/3.42	    num=133, depth=2..4, filters=599241, revisions=(512321,useless=28069), ccks=13328, wck=1.141, mem=33M618
6.85/3.42	    decisions=6426, wrong=2977, backtracks=577, failedAssignments=2485, nogoods=913, foundSolutions=49, bestBound=1298
6.85/3.42	    
6.85/3.42	    num=134, depth=2..4, filters=602340, revisions=(514883,useless=28105), ccks=13328, wck=1.144, mem=33M618
6.85/3.42	    decisions=6461, wrong=2993, backtracks=581, failedAssignments=2497, nogoods=918, foundSolutions=49, bestBound=1298
6.85/3.42	    
6.85/3.43	    num=135, depth=2..3, filters=606246, revisions=(518023,useless=28151), ccks=13328, wck=1.148, mem=36M207
6.85/3.43	    decisions=6500, wrong=3011, backtracks=586, failedAssignments=2510, nogoods=930, foundSolutions=49, bestBound=1298
6.85/3.43	    
6.85/3.43	    num=136, depth=0..4, filters=610561, revisions=(521284,useless=28218), ccks=13328, wck=1.153, mem=36M207
6.85/3.43	    decisions=6539, wrong=3029, backtracks=590, failedAssignments=2524, nogoods=932, foundSolutions=49, bestBound=1298
6.85/3.43	    
6.85/3.44	    num=137, depth=2..3, filters=615020, revisions=(524910,useless=28277), ccks=13328, wck=1.157, mem=36M207
6.85/3.44	    decisions=6588, wrong=3052, backtracks=597, failedAssignments=2540, nogoods=946, foundSolutions=49, bestBound=1298
6.85/3.44	    
6.85/3.44	    num=138, depth=2..4, filters=618937, revisions=(528089,useless=28314), ccks=13328, wck=1.161, mem=36M207
6.85/3.44	    decisions=6635, wrong=3074, backtracks=602, failedAssignments=2557, nogoods=949, foundSolutions=49, bestBound=1298
6.85/3.44	    
6.85/3.45	    num=139, depth=2..4, filters=625384, revisions=(533558,useless=28417), ccks=13328, wck=1.167, mem=36M207
6.85/3.45	    decisions=6689, wrong=3100, backtracks=609, failedAssignments=2576, nogoods=955, foundSolutions=49, bestBound=1298
6.85/3.45	    
6.85/3.45	    num=140, depth=2..4, filters=630579, revisions=(537792,useless=28492), ccks=13328, wck=1.173, mem=38M797
6.85/3.45	    decisions=6745, wrong=3127, backtracks=615, failedAssignments=2597, nogoods=969, foundSolutions=49, bestBound=1298
6.85/3.45	    
6.85/3.46	    num=141, depth=2..4, filters=636565, revisions=(542709,useless=28553), ccks=13328, wck=1.178, mem=38M797
6.85/3.46	    decisions=6814, wrong=3160, backtracks=626, failedAssignments=2620, nogoods=974, foundSolutions=49, bestBound=1298
6.85/3.46	    
6.85/3.46	o 1288
6.85/3.46	    num=142, depth=1..274, filters=643268, revisions=(548273,useless=28723), ccks=13600, wck=1.185, mem=38M797
6.85/3.46	    decisions=6875, wrong=3188, backtracks=634, failedAssignments=2641, nogoods=976, foundSolutions=50, bestBound=1288
6.85/3.46	    
6.85/3.47	    num=143, depth=2..4, filters=648131, revisions=(552643,useless=29234), ccks=13600, wck=1.191, mem=38M797
6.85/3.47	    decisions=6939, wrong=3218, backtracks=636, failedAssignments=2669, nogoods=982, foundSolutions=50, bestBound=1288
6.85/3.47	    
6.85/3.47	    num=144, depth=1..4, filters=651071, revisions=(555097,useless=29260), ccks=13600, wck=1.194, mem=41M386
6.85/3.47	    decisions=6972, wrong=3234, backtracks=641, failedAssignments=2680, nogoods=985, foundSolutions=50, bestBound=1288
6.85/3.47	    
6.85/3.48	    num=145, depth=2..5, filters=654225, revisions=(557732,useless=29295), ccks=13600, wck=1.197, mem=42M708
6.85/3.48	    decisions=7010, wrong=3252, backtracks=648, failedAssignments=2692, nogoods=990, foundSolutions=50, bestBound=1288
6.85/3.48	    
6.85/3.48	    num=146, depth=2..4, filters=657514, revisions=(560304,useless=29320), ccks=13600, wck=1.201, mem=42M708
6.85/3.48	    decisions=7047, wrong=3269, backtracks=652, failedAssignments=2705, nogoods=994, foundSolutions=50, bestBound=1288
6.85/3.48	    
6.85/3.48	o 1282
6.85/3.48	    num=147, depth=2..274, filters=661293, revisions=(563446,useless=29386), ccks=13872, wck=1.205, mem=42M708
6.85/3.48	    decisions=7080, wrong=3283, backtracks=654, failedAssignments=2717, nogoods=998, foundSolutions=51, bestBound=1282
6.85/3.48	    
6.85/3.49	    num=148, depth=3..4, filters=664008, revisions=(566301,useless=29862), ccks=13872, wck=1.208, mem=42M708
6.85/3.49	    decisions=7116, wrong=3299, backtracks=654, failedAssignments=2733, nogoods=1014, foundSolutions=51, bestBound=1282
6.85/3.49	    
6.85/3.49	    num=149, depth=2..4, filters=667333, revisions=(568960,useless=29905), ccks=13872, wck=1.211, mem=42M708
6.85/3.49	    decisions=7149, wrong=3314, backtracks=659, failedAssignments=2744, nogoods=1019, foundSolutions=51, bestBound=1282
6.85/3.49	    
6.85/3.49	    num=150, depth=2..5, filters=670671, revisions=(571818,useless=29957), ccks=13872, wck=1.214, mem=42M708
6.85/3.49	    decisions=7182, wrong=3329, backtracks=663, failedAssignments=2756, nogoods=1021, foundSolutions=51, bestBound=1282
6.85/3.49	    
6.98/3.50	    num=151, depth=1..4, filters=673823, revisions=(574327,useless=29994), ccks=13872, wck=1.217, mem=45M297
6.98/3.50	    decisions=7217, wrong=3345, backtracks=666, failedAssignments=2769, nogoods=1029, foundSolutions=51, bestBound=1282
6.98/3.50	    
6.98/3.50	o 1276
6.98/3.50	    num=152, depth=4..274, filters=674734, revisions=(575093,useless=30000), ccks=14144, wck=1.219, mem=45M297
6.98/3.50	    decisions=7224, wrong=3346, backtracks=666, failedAssignments=2770, nogoods=1030, foundSolutions=52, bestBound=1276
6.98/3.50	    
6.98/3.50	    num=153, depth=4..5, filters=679271, revisions=(579285,useless=30560), ccks=14144, wck=1.224, mem=45M297
6.98/3.50	    decisions=7262, wrong=3363, backtracks=667, failedAssignments=2786, nogoods=1044, foundSolutions=52, bestBound=1276
6.98/3.50	    
6.98/3.51	    num=154, depth=2..4, filters=682652, revisions=(582060,useless=30610), ccks=14144, wck=1.227, mem=45M297
6.98/3.51	    decisions=7294, wrong=3378, backtracks=671, failedAssignments=2797, nogoods=1048, foundSolutions=52, bestBound=1276
6.98/3.51	    
6.98/3.51	    num=155, depth=2..4, filters=685684, revisions=(584470,useless=30636), ccks=14144, wck=1.23, mem=45M297
6.98/3.51	    decisions=7327, wrong=3393, backtracks=674, failedAssignments=2809, nogoods=1053, foundSolutions=52, bestBound=1276
6.98/3.51	    
6.98/3.51	o 1272
6.98/3.51	    num=156, depth=3..274, filters=686707, revisions=(585325,useless=30643), ccks=14416, wck=1.232, mem=45M297
6.98/3.51	    decisions=7336, wrong=3395, backtracks=675, failedAssignments=2810, nogoods=1054, foundSolutions=53, bestBound=1272
6.98/3.51	    
6.98/3.52	    num=157, depth=2..4, filters=692387, revisions=(590516,useless=31174), ccks=14416, wck=1.238, mem=47M887
6.98/3.52	    decisions=7373, wrong=3412, backtracks=678, failedAssignments=2824, nogoods=1066, foundSolutions=53, bestBound=1272
6.98/3.52	    
6.98/3.52	    num=158, depth=2..4, filters=695630, revisions=(593106,useless=31199), ccks=14416, wck=1.242, mem=47M887
6.98/3.52	    decisions=7406, wrong=3427, backtracks=682, failedAssignments=2835, nogoods=1070, foundSolutions=53, bestBound=1272
6.98/3.52	    
6.98/3.52	o 1266
6.98/3.52	    num=159, depth=4..274, filters=696588, revisions=(593917,useless=31206), ccks=14688, wck=1.243, mem=47M887
6.98/3.52	    decisions=7413, wrong=3428, backtracks=682, failedAssignments=2836, nogoods=1071, foundSolutions=54, bestBound=1266
6.98/3.52	    
6.98/3.53	    num=160, depth=3..4, filters=700820, revisions=(597879,useless=31665), ccks=14688, wck=1.248, mem=47M887
6.98/3.53	    decisions=7455, wrong=3447, backtracks=688, failedAssignments=2849, nogoods=1078, foundSolutions=54, bestBound=1266
6.98/3.53	    
6.98/3.53	    num=161, depth=1..4, filters=704611, revisions=(601055,useless=31736), ccks=14688, wck=1.251, mem=47M887
6.98/3.53	    decisions=7488, wrong=3463, backtracks=693, failedAssignments=2860, nogoods=1079, foundSolutions=54, bestBound=1266
6.98/3.53	    
6.98/3.53	    num=162, depth=2..4, filters=708066, revisions=(603795,useless=31761), ccks=14688, wck=1.255, mem=47M887
6.98/3.53	    decisions=7527, wrong=3481, backtracks=699, failedAssignments=2872, nogoods=1083, foundSolutions=54, bestBound=1266
6.98/3.53	    
6.98/3.54	    num=163, depth=1..4, filters=711172, revisions=(606388,useless=31784), ccks=14688, wck=1.258, mem=50M476
6.98/3.54	    decisions=7567, wrong=3500, backtracks=705, failedAssignments=2885, nogoods=1086, foundSolutions=54, bestBound=1266
6.98/3.54	    
6.98/3.54	o 1264
6.98/3.54	    num=164, depth=3..274, filters=712823, revisions=(607788,useless=31801), ccks=14960, wck=1.26, mem=50M476
6.98/3.54	    decisions=7584, wrong=3506, backtracks=707, failedAssignments=2889, nogoods=1088, foundSolutions=55, bestBound=1264
6.98/3.54	    
6.98/3.54	    num=165, depth=2..6, filters=716857, revisions=(611642,useless=32290), ccks=14960, wck=1.264, mem=50M476
6.98/3.54	    decisions=7625, wrong=3525, backtracks=712, failedAssignments=2905, nogoods=1090, foundSolutions=55, bestBound=1264
6.98/3.54	    
6.98/3.55	    num=166, depth=3..4, filters=719540, revisions=(613823,useless=32311), ccks=14960, wck=1.267, mem=50M476
6.98/3.55	    decisions=7652, wrong=3537, backtracks=713, failedAssignments=2916, nogoods=1099, foundSolutions=55, bestBound=1264
6.98/3.55	    
6.98/3.55	    num=167, depth=2..5, filters=723165, revisions=(616671,useless=32340), ccks=14960, wck=1.271, mem=50M476
6.98/3.55	    decisions=7691, wrong=3555, backtracks=720, failedAssignments=2928, nogoods=1102, foundSolutions=55, bestBound=1264
6.98/3.55	    
6.98/3.55	    num=168, depth=0..4, filters=727258, revisions=(620089,useless=32368), ccks=14960, wck=1.275, mem=50M476
6.98/3.55	    decisions=7738, wrong=3577, backtracks=729, failedAssignments=2941, nogoods=1104, foundSolutions=55, bestBound=1264
6.98/3.55	    
6.98/3.56	    num=169, depth=2..5, filters=730090, revisions=(622346,useless=32383), ccks=14960, wck=1.278, mem=50M476
6.98/3.56	    decisions=7774, wrong=3593, backtracks=731, failedAssignments=2955, nogoods=1109, foundSolutions=55, bestBound=1264
6.98/3.56	    
6.98/3.56	    num=170, depth=1..3, filters=733811, revisions=(625418,useless=32426), ccks=14960, wck=1.282, mem=53M66
6.98/3.56	    decisions=7817, wrong=3614, backtracks=736, failedAssignments=2971, nogoods=1114, foundSolutions=55, bestBound=1264
6.98/3.56	    
6.98/3.57	    num=171, depth=1..3, filters=737563, revisions=(628498,useless=32472), ccks=14960, wck=1.286, mem=53M66
6.98/3.57	    decisions=7860, wrong=3635, backtracks=740, failedAssignments=2988, nogoods=1117, foundSolutions=55, bestBound=1264
6.98/3.57	    
6.98/3.57	    num=172, depth=0..4, filters=742072, revisions=(632248,useless=32520), ccks=14960, wck=1.29, mem=53M66
6.98/3.57	    decisions=7912, wrong=3660, backtracks=746, failedAssignments=3007, nogoods=1119, foundSolutions=55, bestBound=1264
6.98/3.57	    
6.98/3.58	    num=173, depth=1..4, filters=748062, revisions=(637358,useless=32602), ccks=14960, wck=1.295, mem=53M66
6.98/3.58	    decisions=7972, wrong=3688, backtracks=753, failedAssignments=3028, nogoods=1126, foundSolutions=55, bestBound=1264
6.98/3.58	    
6.98/3.58	    num=174, depth=2..4, filters=752840, revisions=(641249,useless=32647), ccks=14960, wck=1.3, mem=53M66
6.98/3.58	    decisions=8027, wrong=3714, backtracks=756, failedAssignments=3051, nogoods=1130, foundSolutions=55, bestBound=1264
6.98/3.58	    
6.98/3.59	    num=175, depth=1..4, filters=760357, revisions=(647732,useless=32812), ccks=14960, wck=1.307, mem=55M655
6.98/3.59	    decisions=8102, wrong=3751, backtracks=768, failedAssignments=3076, nogoods=1131, foundSolutions=55, bestBound=1264
6.98/3.59	    
6.98/3.59	    num=176, depth=2..5, filters=766147, revisions=(652351,useless=32852), ccks=14960, wck=1.313, mem=55M655
6.98/3.59	    decisions=8168, wrong=3783, backtracks=773, failedAssignments=3104, nogoods=1135, foundSolutions=55, bestBound=1264
6.98/3.59	    
7.17/3.60	o 1259
7.17/3.60	    num=177, depth=2..274, filters=772058, revisions=(657361,useless=32906), ccks=15232, wck=1.318, mem=55M655
7.17/3.60	    decisions=8245, wrong=3819, backtracks=786, failedAssignments=3128, nogoods=1139, foundSolutions=56, bestBound=1259
7.17/3.60	    
7.17/3.61	    num=178, depth=2..4, filters=783573, revisions=(667508,useless=33425), ccks=15232, wck=1.328, mem=58M245
7.17/3.61	    decisions=8346, wrong=3868, backtracks=801, failedAssignments=3162, nogoods=1147, foundSolutions=56, bestBound=1259
7.17/3.61	    
7.17/3.61	    num=179, depth=3..5, filters=785899, revisions=(669357,useless=33438), ccks=15232, wck=1.331, mem=58M245
7.17/3.61	    decisions=8374, wrong=3880, backtracks=802, failedAssignments=3173, nogoods=1150, foundSolutions=56, bestBound=1259
7.17/3.61	    
7.17/3.61	o 1257
7.17/3.61	    num=180, depth=2..274, filters=788223, revisions=(671286,useless=33456), ccks=15504, wck=1.334, mem=58M245
7.17/3.61	    decisions=8401, wrong=3891, backtracks=806, failedAssignments=3180, nogoods=1153, foundSolutions=57, bestBound=1257
7.17/3.61	    
7.17/3.62	    num=181, depth=2..4, filters=791754, revisions=(674698,useless=33941), ccks=15504, wck=1.338, mem=58M245
7.17/3.62	    decisions=8434, wrong=3906, backtracks=808, failedAssignments=3193, nogoods=1157, foundSolutions=57, bestBound=1257
7.17/3.62	    
7.17/3.62	    num=182, depth=2..4, filters=794693, revisions=(677064,useless=33971), ccks=15504, wck=1.341, mem=58M245
7.17/3.62	    decisions=8465, wrong=3920, backtracks=812, failedAssignments=3204, nogoods=1164, foundSolutions=57, bestBound=1257
7.17/3.62	    
7.17/3.62	    num=183, depth=2..4, filters=798096, revisions=(679918,useless=34025), ccks=15504, wck=1.344, mem=58M245
7.17/3.62	    decisions=8502, wrong=3937, backtracks=817, failedAssignments=3216, nogoods=1168, foundSolutions=57, bestBound=1257
7.17/3.62	    
7.17/3.63	    num=184, depth=1..4, filters=801080, revisions=(682282,useless=34047), ccks=15504, wck=1.347, mem=60M835
7.17/3.63	    decisions=8536, wrong=3953, backtracks=820, failedAssignments=3229, nogoods=1175, foundSolutions=57, bestBound=1257
7.17/3.63	    
7.17/3.63	    num=185, depth=2..4, filters=804201, revisions=(684922,useless=34084), ccks=15504, wck=1.35, mem=60M835
7.17/3.63	    decisions=8576, wrong=3972, backtracks=825, failedAssignments=3243, nogoods=1176, foundSolutions=57, bestBound=1257
7.17/3.63	    
7.17/3.63	    num=186, depth=3..4, filters=807238, revisions=(687260,useless=34096), ccks=15504, wck=1.354, mem=60M835
7.17/3.63	    decisions=8613, wrong=3989, backtracks=826, failedAssignments=3259, nogoods=1188, foundSolutions=57, bestBound=1257
7.17/3.63	    
7.17/3.64	    num=187, depth=1..3, filters=811957, revisions=(691198,useless=34136), ccks=15504, wck=1.358, mem=60M835
7.17/3.64	    decisions=8659, wrong=4011, backtracks=831, failedAssignments=3276, nogoods=1193, foundSolutions=57, bestBound=1257
7.17/3.64	    
7.17/3.64	    num=188, depth=2..4, filters=816618, revisions=(694987,useless=34178), ccks=15504, wck=1.363, mem=60M835
7.17/3.64	    decisions=8715, wrong=4037, backtracks=838, failedAssignments=3295, nogoods=1199, foundSolutions=57, bestBound=1257
7.17/3.64	    
7.17/3.65	    num=189, depth=2..4, filters=821435, revisions=(698986,useless=34235), ccks=15504, wck=1.367, mem=60M835
7.17/3.65	    decisions=8781, wrong=4069, backtracks=849, failedAssignments=3316, nogoods=1205, foundSolutions=57, bestBound=1257
7.17/3.65	    
7.17/3.65	    num=190, depth=2..4, filters=827399, revisions=(703961,useless=34309), ccks=15504, wck=1.373, mem=63M424
7.17/3.65	    decisions=8844, wrong=4099, backtracks=856, failedAssignments=3339, nogoods=1214, foundSolutions=57, bestBound=1257
7.17/3.65	    
7.17/3.66	    num=191, depth=0..4, filters=833920, revisions=(709458,useless=34378), ccks=15504, wck=1.379, mem=63M424
7.17/3.66	    decisions=8914, wrong=4133, backtracks=865, failedAssignments=3364, nogoods=1216, foundSolutions=57, bestBound=1257
7.17/3.66	    
7.17/3.67	o 1256
7.17/3.67	    num=192, depth=0..274, filters=841355, revisions=(715645,useless=34487), ccks=15776, wck=1.386, mem=63M424
7.17/3.67	    decisions=9003, wrong=4175, backtracks=881, failedAssignments=3390, nogoods=1220, foundSolutions=58, bestBound=1256
7.17/3.67	    
7.17/3.67	    num=193, depth=1..7, filters=850102, revisions=(723533,useless=35001), ccks=15776, wck=1.395, mem=66M14
7.17/3.67	    decisions=9103, wrong=4222, backtracks=899, failedAssignments=3421, nogoods=1225, foundSolutions=58, bestBound=1256
7.17/3.67	    
7.17/3.68	    num=194, depth=2..4, filters=852955, revisions=(725910,useless=35011), ccks=15776, wck=1.397, mem=66M14
7.17/3.68	    decisions=9139, wrong=4238, backtracks=904, failedAssignments=3432, nogoods=1230, foundSolutions=58, bestBound=1256
7.17/3.68	    
7.17/3.68	    num=195, depth=3..4, filters=855377, revisions=(727805,useless=35025), ccks=15776, wck=1.4, mem=66M14
7.17/3.68	    decisions=9168, wrong=4251, backtracks=905, failedAssignments=3444, nogoods=1236, foundSolutions=58, bestBound=1256
7.17/3.68	    
7.17/3.68	o 1251
7.17/3.68	    num=196, depth=1..274, filters=858443, revisions=(730321,useless=35040), ccks=16048, wck=1.404, mem=66M14
7.17/3.68	    decisions=9205, wrong=4267, backtracks=909, failedAssignments=3456, nogoods=1238, foundSolutions=59, bestBound=1251
7.17/3.68	    
7.17/3.69	    num=197, depth=4..7, filters=862243, revisions=(733892,useless=35520), ccks=16048, wck=1.408, mem=66M14
7.17/3.69	    decisions=9246, wrong=4285, backtracks=915, failedAssignments=3470, nogoods=1247, foundSolutions=59, bestBound=1251
7.17/3.69	    
7.17/3.69	    num=198, depth=2..4, filters=864766, revisions=(735924,useless=35539), ccks=16048, wck=1.411, mem=66M14
7.17/3.69	    decisions=9274, wrong=4298, backtracks=917, failedAssignments=3481, nogoods=1252, foundSolutions=59, bestBound=1251
7.17/3.69	    
7.17/3.69	    num=199, depth=1..4, filters=867931, revisions=(738485,useless=35580), ccks=16048, wck=1.414, mem=68M603
7.17/3.69	    decisions=9308, wrong=4313, backtracks=920, failedAssignments=3493, nogoods=1255, foundSolutions=59, bestBound=1251
7.17/3.69	    
7.28/3.70	    num=200, depth=2..5, filters=871150, revisions=(741098,useless=35619), ccks=16048, wck=1.417, mem=68M603
7.28/3.70	    decisions=9343, wrong=4329, backtracks=924, failedAssignments=3506, nogoods=1262, foundSolutions=59, bestBound=1251
7.28/3.70	    
7.28/3.70	    num=201, depth=1..4, filters=874885, revisions=(744134,useless=35644), ccks=16048, wck=1.421, mem=68M603
7.28/3.70	    decisions=9384, wrong=4348, backtracks=929, failedAssignments=3520, nogoods=1266, foundSolutions=59, bestBound=1251
7.28/3.70	    
7.28/3.70	o 1245
7.28/3.70	    num=202, depth=3..274, filters=875965, revisions=(744991,useless=35646), ccks=16320, wck=1.422, mem=68M603
7.28/3.70	    decisions=9393, wrong=4350, backtracks=930, failedAssignments=3521, nogoods=1267, foundSolutions=60, bestBound=1245
7.28/3.70	    
7.28/3.71	    num=203, depth=4..5, filters=880031, revisions=(748681,useless=36123), ccks=16320, wck=1.427, mem=68M603
7.28/3.71	    decisions=9438, wrong=4370, backtracks=933, failedAssignments=3538, nogoods=1278, foundSolutions=60, bestBound=1245
7.28/3.71	    
7.28/3.71	    num=204, depth=2..4, filters=882615, revisions=(750759,useless=36143), ccks=16320, wck=1.429, mem=68M603
7.28/3.71	    decisions=9469, wrong=4384, backtracks=936, failedAssignments=3549, nogoods=1282, foundSolutions=60, bestBound=1245
7.28/3.71	    
7.28/3.71	o 1235
7.28/3.71	    num=205, depth=2..274, filters=884718, revisions=(752437,useless=36163), ccks=16592, wck=1.432, mem=68M603
7.28/3.71	    decisions=9490, wrong=4392, backtracks=938, failedAssignments=3555, nogoods=1284, foundSolutions=61, bestBound=1235
7.28/3.71	    
7.28/3.72	    num=206, depth=3..6, filters=888163, revisions=(755668,useless=36652), ccks=16592, wck=1.436, mem=71M193
7.28/3.72	    decisions=9530, wrong=4410, backtracks=944, failedAssignments=3568, nogoods=1289, foundSolutions=61, bestBound=1235
7.28/3.72	    
7.28/3.72	    num=207, depth=3..4, filters=890818, revisions=(757789,useless=36662), ccks=16592, wck=1.439, mem=71M193
7.28/3.72	    decisions=9564, wrong=4425, backtracks=948, failedAssignments=3579, nogoods=1295, foundSolutions=61, bestBound=1235
7.28/3.72	    
7.28/3.72	    num=208, depth=2..4, filters=893957, revisions=(760308,useless=36679), ccks=16592, wck=1.442, mem=71M193
7.28/3.72	    decisions=9604, wrong=4444, backtracks=955, failedAssignments=3591, nogoods=1296, foundSolutions=61, bestBound=1235
7.28/3.72	    
7.28/3.72	    num=209, depth=1..4, filters=897566, revisions=(763351,useless=36719), ccks=16592, wck=1.445, mem=71M193
7.28/3.72	    decisions=9649, wrong=4465, backtracks=963, failedAssignments=3604, nogoods=1300, foundSolutions=61, bestBound=1235
7.28/3.72	    
7.28/3.73	o 1229
7.28/3.73	    num=210, depth=3..274, filters=898972, revisions=(764478,useless=36721), ccks=16864, wck=1.447, mem=71M193
7.28/3.73	    decisions=9664, wrong=4470, backtracks=964, failedAssignments=3608, nogoods=1301, foundSolutions=62, bestBound=1229
7.28/3.73	    
7.28/3.73	    num=211, depth=4..6, filters=902657, revisions=(767840,useless=37208), ccks=16864, wck=1.451, mem=71M193
7.28/3.73	    decisions=9705, wrong=4488, backtracks=968, failedAssignments=3624, nogoods=1309, foundSolutions=62, bestBound=1229
7.28/3.73	    
7.28/3.73	    num=212, depth=2..4, filters=905509, revisions=(770139,useless=37230), ccks=16864, wck=1.454, mem=71M193
7.28/3.73	    decisions=9737, wrong=4503, backtracks=972, failedAssignments=3635, nogoods=1310, foundSolutions=62, bestBound=1229
7.28/3.73	    
7.28/3.74	    num=213, depth=2..4, filters=908873, revisions=(772940,useless=37251), ccks=16864, wck=1.457, mem=71M193
7.28/3.74	    decisions=9774, wrong=4520, backtracks=977, failedAssignments=3647, nogoods=1317, foundSolutions=62, bestBound=1229
7.28/3.74	    
7.28/3.74	    num=214, depth=2..4, filters=912297, revisions=(775658,useless=37283), ccks=16864, wck=1.46, mem=73M782
7.28/3.74	    decisions=9809, wrong=4536, backtracks=980, failedAssignments=3660, nogoods=1320, foundSolutions=62, bestBound=1229
7.28/3.74	    
7.28/3.74	    num=215, depth=1..4, filters=916884, revisions=(779509,useless=37333), ccks=16864, wck=1.464, mem=73M782
7.28/3.74	    decisions=9854, wrong=4557, backtracks=987, failedAssignments=3674, nogoods=1327, foundSolutions=62, bestBound=1229
7.28/3.74	    
7.28/3.75	    num=216, depth=3..4, filters=920277, revisions=(782282,useless=37356), ccks=16864, wck=1.467, mem=73M782
7.28/3.75	    decisions=9900, wrong=4578, backtracks=992, failedAssignments=3690, nogoods=1333, foundSolutions=62, bestBound=1229
7.28/3.75	    
7.28/3.75	    num=217, depth=3..5, filters=923493, revisions=(784806,useless=37366), ccks=16864, wck=1.471, mem=73M782
7.28/3.75	    decisions=9942, wrong=4597, backtracks=996, failedAssignments=3707, nogoods=1337, foundSolutions=62, bestBound=1229
7.28/3.75	    
7.28/3.75	    num=218, depth=1..4, filters=928007, revisions=(788605,useless=37412), ccks=16864, wck=1.475, mem=73M782
7.28/3.75	    decisions=9994, wrong=4622, backtracks=1002, failedAssignments=3726, nogoods=1341, foundSolutions=62, bestBound=1229
7.28/3.75	    
7.28/3.76	    num=219, depth=2..4, filters=933134, revisions=(792827,useless=37510), ccks=16864, wck=1.48, mem=73M782
7.28/3.76	    decisions=10048, wrong=4648, backtracks=1008, failedAssignments=3747, nogoods=1350, foundSolutions=62, bestBound=1229
7.28/3.76	    
7.28/3.76	o 1226
7.28/3.76	    num=220, depth=1..274, filters=936250, revisions=(795355,useless=37533), ccks=17136, wck=1.483, mem=76M372
7.28/3.76	    decisions=10085, wrong=4664, backtracks=1015, failedAssignments=3756, nogoods=1352, foundSolutions=63, bestBound=1226
7.28/3.76	    
7.28/3.77	    num=221, depth=2..4, filters=942154, revisions=(800501,useless=38016), ccks=17136, wck=1.489, mem=76M372
7.28/3.77	    decisions=10157, wrong=4698, backtracks=1024, failedAssignments=3781, nogoods=1361, foundSolutions=63, bestBound=1226
7.28/3.77	    
7.28/3.77	    num=222, depth=2..5, filters=945227, revisions=(803091,useless=38069), ccks=17136, wck=1.492, mem=76M372
7.28/3.77	    decisions=10188, wrong=4712, backtracks=1028, failedAssignments=3792, nogoods=1363, foundSolutions=63, bestBound=1226
7.28/3.77	    
7.28/3.77	    num=223, depth=3..5, filters=947882, revisions=(805211,useless=38077), ccks=17136, wck=1.495, mem=76M372
7.28/3.77	    decisions=10222, wrong=4727, backtracks=1031, failedAssignments=3804, nogoods=1369, foundSolutions=63, bestBound=1226
7.28/3.77	    
7.28/3.78	    num=224, depth=2..4, filters=951172, revisions=(807952,useless=38128), ccks=17136, wck=1.498, mem=76M372
7.28/3.78	    decisions=10264, wrong=4747, backtracks=1038, failedAssignments=3817, nogoods=1372, foundSolutions=63, bestBound=1226
7.28/3.78	    
7.28/3.78	    num=225, depth=3..4, filters=954536, revisions=(810678,useless=38143), ccks=17136, wck=1.501, mem=76M372
7.28/3.78	    decisions=10306, wrong=4766, backtracks=1043, failedAssignments=3831, nogoods=1379, foundSolutions=63, bestBound=1226
7.28/3.78	    
7.28/3.78	o 1220
7.28/3.78	    num=226, depth=2..274, filters=956754, revisions=(812446,useless=38156), ccks=17408, wck=1.504, mem=76M372
7.28/3.78	    decisions=10331, wrong=4776, backtracks=1046, failedAssignments=3838, nogoods=1381, foundSolutions=64, bestBound=1220
7.28/3.78	    
7.28/3.79	    num=227, depth=3..6, filters=961793, revisions=(817133,useless=38708), ccks=17408, wck=1.509, mem=78M962
7.28/3.79	    decisions=10375, wrong=4796, backtracks=1051, failedAssignments=3855, nogoods=1393, foundSolutions=64, bestBound=1220
7.28/3.79	    
7.28/3.79	    num=228, depth=2..4, filters=965199, revisions=(819848,useless=38738), ccks=17408, wck=1.512, mem=78M962
7.28/3.79	    decisions=10410, wrong=4812, backtracks=1056, failedAssignments=3866, nogoods=1398, foundSolutions=64, bestBound=1220
7.28/3.79	    
7.28/3.79	o 1215
7.28/3.79	    num=229, depth=3..274, filters=966767, revisions=(821119,useless=38750), ccks=17680, wck=1.514, mem=78M962
7.28/3.79	    decisions=10425, wrong=4817, backtracks=1057, failedAssignments=3870, nogoods=1400, foundSolutions=65, bestBound=1215
7.28/3.79	    
7.40/3.80	    num=230, depth=2..4, filters=970284, revisions=(824339,useless=39236), ccks=17680, wck=1.518, mem=78M962
7.40/3.80	    decisions=10459, wrong=4832, backtracks=1059, failedAssignments=3883, nogoods=1405, foundSolutions=65, bestBound=1215
7.40/3.80	    
7.40/3.80	    num=231, depth=3..4, filters=973009, revisions=(826507,useless=39245), ccks=17680, wck=1.521, mem=78M962
7.40/3.80	    decisions=10492, wrong=4847, backtracks=1063, failedAssignments=3894, nogoods=1410, foundSolutions=65, bestBound=1215
7.40/3.80	    
7.40/3.80	    num=232, depth=0..4, filters=976877, revisions=(829665,useless=39292), ccks=17680, wck=1.524, mem=78M962
7.40/3.80	    decisions=10527, wrong=4863, backtracks=1067, failedAssignments=3906, nogoods=1414, foundSolutions=65, bestBound=1215
7.40/3.80	    
7.40/3.81	o 1209
7.40/3.81	    num=233, depth=2..274, filters=979818, revisions=(832091,useless=39308), ccks=17952, wck=1.527, mem=81M551
7.40/3.81	    decisions=10562, wrong=4878, backtracks=1071, failedAssignments=3918, nogoods=1416, foundSolutions=66, bestBound=1209
7.40/3.81	    
7.40/3.81	    num=234, depth=3..5, filters=982347, revisions=(834526,useless=39768), ccks=17952, wck=1.531, mem=81M551
7.40/3.81	    decisions=10596, wrong=4893, backtracks=1073, failedAssignments=3932, nogoods=1426, foundSolutions=66, bestBound=1209
7.40/3.81	    
7.40/3.81	    num=235, depth=3..6, filters=984929, revisions=(836605,useless=39779), ccks=17952, wck=1.533, mem=81M551
7.40/3.81	    decisions=10628, wrong=4907, backtracks=1077, failedAssignments=3943, nogoods=1431, foundSolutions=66, bestBound=1209
7.40/3.81	    
7.40/3.82	    num=236, depth=1..4, filters=987641, revisions=(838855,useless=39799), ccks=17952, wck=1.536, mem=81M551
7.40/3.82	    decisions=10662, wrong=4923, backtracks=1081, failedAssignments=3955, nogoods=1433, foundSolutions=66, bestBound=1209
7.40/3.82	    
7.40/3.82	    num=237, depth=3..4, filters=991300, revisions=(841817,useless=39831), ccks=17952, wck=1.54, mem=81M551
7.40/3.82	    decisions=10702, wrong=4941, backtracks=1086, failedAssignments=3968, nogoods=1443, foundSolutions=66, bestBound=1209
7.40/3.82	    
7.40/3.82	    num=238, depth=2..4, filters=995106, revisions=(844859,useless=39864), ccks=17952, wck=1.543, mem=81M551
7.40/3.82	    decisions=10746, wrong=4962, backtracks=1093, failedAssignments=3982, nogoods=1449, foundSolutions=66, bestBound=1209
7.40/3.82	    
7.40/3.83	o 1205
7.40/3.83	    num=239, depth=2..274, filters=997460, revisions=(846801,useless=39878), ccks=18224, wck=1.546, mem=81M551
7.40/3.83	    decisions=10773, wrong=4973, backtracks=1097, failedAssignments=3989, nogoods=1453, foundSolutions=67, bestBound=1205
7.40/3.83	    
7.40/3.83	    num=240, depth=3..5, filters=1000529, revisions=(849662,useless=40343), ccks=18224, wck=1.55, mem=84M141
7.40/3.83	    decisions=10815, wrong=4992, backtracks=1099, failedAssignments=4006, nogoods=1463, foundSolutions=67, bestBound=1205
7.40/3.83	    
7.40/3.83	    num=241, depth=1..5, filters=1003190, revisions=(851846,useless=40367), ccks=18224, wck=1.552, mem=84M141
7.40/3.83	    decisions=10846, wrong=5007, backtracks=1106, failedAssignments=4017, nogoods=1466, foundSolutions=67, bestBound=1205
7.40/3.83	    
7.40/3.84	    num=242, depth=2..4, filters=1006248, revisions=(854388,useless=40414), ccks=18224, wck=1.555, mem=84M141
7.40/3.84	    decisions=10879, wrong=5022, backtracks=1109, failedAssignments=4029, nogoods=1468, foundSolutions=67, bestBound=1205
7.40/3.84	    
7.40/3.84	    num=243, depth=2..5, filters=1009711, revisions=(857278,useless=40439), ccks=18224, wck=1.558, mem=84M141
7.40/3.84	    decisions=10919, wrong=5041, backtracks=1118, failedAssignments=4042, nogoods=1475, foundSolutions=67, bestBound=1205
7.40/3.84	    
7.40/3.84	    num=244, depth=2..4, filters=1012522, revisions=(859583,useless=40461), ccks=18224, wck=1.561, mem=84M141
7.40/3.84	    decisions=10955, wrong=5057, backtracks=1120, failedAssignments=4056, nogoods=1481, foundSolutions=67, bestBound=1205
7.40/3.84	    
7.40/3.84	    num=245, depth=1..4, filters=1016494, revisions=(862888,useless=40491), ccks=18224, wck=1.565, mem=84M141
7.40/3.84	    decisions=11000, wrong=5079, backtracks=1130, failedAssignments=4072, nogoods=1486, foundSolutions=67, bestBound=1205
7.40/3.84	    
7.40/3.85	    num=246, depth=2..4, filters=1020740, revisions=(866358,useless=40544), ccks=18224, wck=1.569, mem=84M141
7.40/3.85	    decisions=11047, wrong=5101, backtracks=1135, failedAssignments=4089, nogoods=1489, foundSolutions=67, bestBound=1205
7.40/3.85	    
7.40/3.85	    num=247, depth=2..4, filters=1025216, revisions=(869899,useless=40568), ccks=18224, wck=1.574, mem=86M730
7.40/3.85	    decisions=11104, wrong=5128, backtracks=1143, failedAssignments=4108, nogoods=1492, foundSolutions=67, bestBound=1205
7.40/3.85	    
7.40/3.86	o 1199
7.40/3.86	    num=248, depth=0..274, filters=1028191, revisions=(872290,useless=40585), ccks=18496, wck=1.577, mem=86M730
7.40/3.86	    decisions=11135, wrong=5141, backtracks=1146, failedAssignments=4118, nogoods=1493, foundSolutions=68, bestBound=1199
7.40/3.86	    
7.40/3.86	    num=249, depth=3..5, filters=1034405, revisions=(877784,useless=41157), ccks=18496, wck=1.584, mem=86M730
7.40/3.86	    decisions=11197, wrong=5170, backtracks=1153, failedAssignments=4141, nogoods=1509, foundSolutions=68, bestBound=1199
7.40/3.86	    
7.40/3.87	    num=250, depth=1..4, filters=1037683, revisions=(880538,useless=41185), ccks=18496, wck=1.587, mem=86M730
7.40/3.87	    decisions=11235, wrong=5187, backtracks=1159, failedAssignments=4152, nogoods=1514, foundSolutions=68, bestBound=1199
7.40/3.87	    
7.40/3.87	    num=251, depth=3..5, filters=1040044, revisions=(882386,useless=41193), ccks=18496, wck=1.589, mem=86M730
7.40/3.87	    decisions=11265, wrong=5200, backtracks=1160, failedAssignments=4164, nogoods=1516, foundSolutions=68, bestBound=1199
7.40/3.87	    
7.40/3.87	    num=252, depth=1..4, filters=1043514, revisions=(885316,useless=41223), ccks=18496, wck=1.593, mem=86M730
7.40/3.87	    decisions=11307, wrong=5220, backtracks=1167, failedAssignments=4177, nogoods=1519, foundSolutions=68, bestBound=1199
7.40/3.87	    
7.40/3.88	    num=253, depth=2..4, filters=1046603, revisions=(887880,useless=41281), ccks=18496, wck=1.596, mem=89M320
7.40/3.88	    decisions=11341, wrong=5236, backtracks=1169, failedAssignments=4191, nogoods=1520, foundSolutions=68, bestBound=1199
7.40/3.88	    
7.40/3.88	    num=254, depth=2..5, filters=1050061, revisions=(890746,useless=41324), ccks=18496, wck=1.6, mem=89M320
7.40/3.88	    decisions=11383, wrong=5255, backtracks=1173, failedAssignments=4207, nogoods=1524, foundSolutions=68, bestBound=1199
7.40/3.88	    
7.40/3.88	o 1197
7.40/3.88	    num=255, depth=2..274, filters=1052009, revisions=(892328,useless=41337), ccks=18768, wck=1.602, mem=89M320
7.40/3.88	    decisions=11404, wrong=5263, backtracks=1174, failedAssignments=4214, nogoods=1529, foundSolutions=69, bestBound=1197
7.40/3.88	    
7.40/3.89	    num=256, depth=2..5, filters=1056741, revisions=(896603,useless=41815), ccks=18768, wck=1.608, mem=89M320
7.40/3.89	    decisions=11451, wrong=5285, backtracks=1178, failedAssignments=4233, nogoods=1534, foundSolutions=69, bestBound=1197
7.40/3.89	    
7.40/3.89	    num=257, depth=1..4, filters=1059603, revisions=(898966,useless=41847), ccks=18768, wck=1.611, mem=89M320
7.40/3.89	    decisions=11484, wrong=5300, backtracks=1182, failedAssignments=4244, nogoods=1537, foundSolutions=69, bestBound=1197
7.40/3.89	    
7.40/3.89	    num=258, depth=3..4, filters=1062494, revisions=(901319,useless=41874), ccks=18768, wck=1.614, mem=89M320
7.40/3.89	    decisions=11515, wrong=5314, backtracks=1184, failedAssignments=4256, nogoods=1544, foundSolutions=69, bestBound=1197
7.40/3.89	    
7.54/3.90	    num=259, depth=3..4, filters=1065758, revisions=(903942,useless=41900), ccks=18768, wck=1.617, mem=89M320
7.54/3.90	    decisions=11553, wrong=5331, backtracks=1188, failedAssignments=4269, nogoods=1554, foundSolutions=69, bestBound=1197
7.54/3.90	    
7.54/3.90	    num=260, depth=2..4, filters=1069633, revisions=(907094,useless=41935), ccks=18768, wck=1.621, mem=91M909
7.54/3.90	    decisions=11601, wrong=5354, backtracks=1197, failedAssignments=4283, nogoods=1559, foundSolutions=69, bestBound=1197
7.54/3.90	    
7.54/3.90	    num=261, depth=2..4, filters=1073418, revisions=(910209,useless=41963), ccks=18768, wck=1.624, mem=91M909
7.54/3.90	    decisions=11652, wrong=5378, backtracks=1205, failedAssignments=4299, nogoods=1563, foundSolutions=69, bestBound=1197
7.54/3.90	    
7.54/3.91	    num=262, depth=2..4, filters=1077326, revisions=(913321,useless=41979), ccks=18768, wck=1.628, mem=91M909
7.54/3.91	    decisions=11705, wrong=5403, backtracks=1213, failedAssignments=4316, nogoods=1566, foundSolutions=69, bestBound=1197
7.54/3.91	    
7.54/3.91	    num=263, depth=1..4, filters=1082010, revisions=(917299,useless=42028), ccks=18768, wck=1.632, mem=91M909
7.54/3.91	    decisions=11764, wrong=5431, backtracks=1224, failedAssignments=4335, nogoods=1571, foundSolutions=69, bestBound=1197
7.54/3.91	    
7.54/3.92	    num=264, depth=3..5, filters=1086092, revisions=(920501,useless=42049), ccks=18768, wck=1.637, mem=91M909
7.54/3.92	    decisions=11814, wrong=5454, backtracks=1228, failedAssignments=4356, nogoods=1580, foundSolutions=69, bestBound=1197
7.54/3.92	    
7.54/3.92	    num=265, depth=2..5, filters=1090863, revisions=(924527,useless=42087), ccks=18768, wck=1.642, mem=94M499
7.54/3.92	    decisions=11871, wrong=5481, backtracks=1233, failedAssignments=4379, nogoods=1588, foundSolutions=69, bestBound=1197
7.54/3.92	    
7.54/3.93	    num=266, depth=1..5, filters=1096966, revisions=(929686,useless=42149), ccks=18768, wck=1.647, mem=94M499
7.54/3.93	    decisions=11948, wrong=5519, backtracks=1249, failedAssignments=4404, nogoods=1590, foundSolutions=69, bestBound=1197
7.54/3.93	    
7.54/3.93	    num=267, depth=1..5, filters=1103602, revisions=(935156,useless=42210), ccks=18768, wck=1.653, mem=94M499
7.54/3.93	    decisions=12032, wrong=5560, backtracks=1263, failedAssignments=4432, nogoods=1592, foundSolutions=69, bestBound=1197
7.54/3.93	    
7.54/3.94	    num=268, depth=1..5, filters=1111626, revisions=(941919,useless=42298), ccks=18768, wck=1.66, mem=94M499
7.54/3.94	    decisions=12126, wrong=5606, backtracks=1280, failedAssignments=4463, nogoods=1597, foundSolutions=69, bestBound=1197
7.54/3.94	    
7.54/3.95	    num=269, depth=3..5, filters=1118072, revisions=(946963,useless=42332), ccks=18768, wck=1.667, mem=94M499
7.54/3.95	    decisions=12208, wrong=5645, backtracks=1286, failedAssignments=4497, nogoods=1607, foundSolutions=69, bestBound=1197
7.54/3.95	    
7.54/3.96	    num=270, depth=1..6, filters=1127529, revisions=(954894,useless=42444), ccks=18768, wck=1.675, mem=97M89
7.54/3.96	    decisions=12327, wrong=5704, backtracks=1312, failedAssignments=4534, nogoods=1614, foundSolutions=69, bestBound=1197
7.54/3.96	    
7.54/3.96	    num=271, depth=2..5, filters=1135959, revisions=(961581,useless=42500), ccks=18768, wck=1.684, mem=97M89
7.54/3.96	    decisions=12428, wrong=5753, backtracks=1322, failedAssignments=4575, nogoods=1625, foundSolutions=69, bestBound=1197
7.54/3.96	    
7.54/3.97	    num=272, depth=0..4, filters=1148357, revisions=(971890,useless=42690), ccks=18768, wck=1.695, mem=99M678
7.54/3.97	    decisions=12548, wrong=5812, backtracks=1337, failedAssignments=4620, nogoods=1637, foundSolutions=69, bestBound=1197
7.54/3.97	    
7.54/3.99	    num=273, depth=1..4, filters=1161085, revisions=(982199,useless=42801), ccks=18768, wck=1.707, mem=99M678
7.54/3.99	    decisions=12700, wrong=5886, backtracks=1363, failedAssignments=4670, nogoods=1642, foundSolutions=69, bestBound=1197
7.54/3.99	    
7.54/4.00	    num=274, depth=1..6, filters=1172189, revisions=(991356,useless=42889), ccks=18768, wck=1.717, mem=102M268
7.54/4.00	    decisions=12845, wrong=5958, backtracks=1385, failedAssignments=4725, nogoods=1655, foundSolutions=69, bestBound=1197
7.54/4.00	    
7.66/4.01	    num=275, depth=1..5, filters=1186949, revisions=(1003521,useless=43090), ccks=18768, wck=1.731, mem=102M268
7.66/4.01	    decisions=13008, wrong=6039, backtracks=1406, failedAssignments=4786, nogoods=1664, foundSolutions=69, bestBound=1197
7.66/4.01	    
7.66/4.02	    num=276, depth=0..5, filters=1202866, revisions=(1016849,useless=43241), ccks=18768, wck=1.744, mem=104M857
7.66/4.02	    decisions=13221, wrong=6144, backtracks=1449, failedAssignments=4853, nogoods=1668, foundSolutions=69, bestBound=1197
7.66/4.02	    
7.66/4.04	    num=277, depth=1..6, filters=1219785, revisions=(1031004,useless=43514), ccks=18768, wck=1.76, mem=104M857
7.66/4.04	    decisions=13403, wrong=6234, backtracks=1471, failedAssignments=4927, nogoods=1674, foundSolutions=69, bestBound=1197
7.66/4.04	    
7.66/4.06	    num=278, depth=1..6, filters=1239908, revisions=(1047997,useless=43752), ccks=18768, wck=1.777, mem=107M447
7.66/4.06	    decisions=13664, wrong=6363, backtracks=1525, failedAssignments=5008, nogoods=1685, foundSolutions=69, bestBound=1197
7.66/4.06	    
7.66/4.08	    num=279, depth=0..6, filters=1262273, revisions=(1066699,useless=43974), ccks=18768, wck=1.797, mem=110M36
7.66/4.08	    decisions=13937, wrong=6498, backtracks=1577, failedAssignments=5097, nogoods=1689, foundSolutions=69, bestBound=1197
7.66/4.08	    
7.66/4.10	    num=280, depth=1..6, filters=1285108, revisions=(1085730,useless=44310), ccks=18768, wck=1.817, mem=110M36
7.66/4.10	    decisions=14227, wrong=6642, backtracks=1628, failedAssignments=5195, nogoods=1701, foundSolutions=69, bestBound=1197
7.66/4.10	    
7.77/4.12	    num=281, depth=1..7, filters=1312138, revisions=(1107908,useless=44767), ccks=18768, wck=1.844, mem=112M626
7.77/4.12	    decisions=14526, wrong=6790, backtracks=1677, failedAssignments=5303, nogoods=1718, foundSolutions=69, bestBound=1197
7.77/4.12	    
7.77/4.15	    num=282, depth=0..6, filters=1341361, revisions=(1132573,useless=45080), ccks=18768, wck=1.87, mem=115M216
7.77/4.15	    decisions=14881, wrong=6966, backtracks=1744, failedAssignments=5422, nogoods=1721, foundSolutions=69, bestBound=1197
7.77/4.15	    
7.77/4.17	    num=283, depth=2..7, filters=1365366, revisions=(1151872,useless=45230), ccks=18768, wck=1.892, mem=117M805
7.77/4.17	    decisions=15201, wrong=7124, backtracks=1780, failedAssignments=5553, nogoods=1734, foundSolutions=69, bestBound=1197
7.77/4.17	    
7.86/4.20	    num=284, depth=1..5, filters=1396119, revisions=(1177178,useless=45653), ccks=18768, wck=1.919, mem=120M395
7.86/4.20	    decisions=15593, wrong=7319, backtracks=1837, failedAssignments=5697, nogoods=1748, foundSolutions=69, bestBound=1197
7.86/4.20	    
7.86/4.23	    num=285, depth=1..6, filters=1427267, revisions=(1202627,useless=45846), ccks=18768, wck=1.946, mem=125M574
7.86/4.23	    decisions=16028, wrong=7535, backtracks=1906, failedAssignments=5855, nogoods=1757, foundSolutions=69, bestBound=1197
7.86/4.23	    
7.86/4.26	    num=286, depth=1..7, filters=1463110, revisions=(1231597,useless=46204), ccks=18768, wck=1.979, mem=128M163
7.86/4.26	    decisions=16499, wrong=7768, backtracks=1978, failedAssignments=6029, nogoods=1773, foundSolutions=69, bestBound=1197
7.86/4.26	    
7.86/4.28	o 1179
7.86/4.28	    num=287, depth=1..274, filters=1480594, revisions=(1246440,useless=46436), ccks=19040, wck=1.996, mem=128M163
7.86/4.28	    decisions=16735, wrong=7883, backtracks=2014, failedAssignments=6119, nogoods=1784, foundSolutions=70, bestBound=1179
7.86/4.28	    
7.96/4.31	    num=288, depth=2..5, filters=1523737, revisions=(1281831,useless=47079), ccks=19040, wck=2.035, mem=135M932
7.96/4.31	    decisions=17235, wrong=8131, backtracks=2053, failedAssignments=6330, nogoods=1798, foundSolutions=70, bestBound=1179
7.96/4.31	    
7.96/4.32	    num=289, depth=2..6, filters=1525762, revisions=(1283408,useless=47083), ccks=19040, wck=2.037, mem=135M932
7.96/4.32	    decisions=17262, wrong=8143, backtracks=2055, failedAssignments=6341, nogoods=1802, foundSolutions=70, bestBound=1179
7.96/4.32	    
7.96/4.32	    num=290, depth=2..5, filters=1528990, revisions=(1286153,useless=47128), ccks=19040, wck=2.04, mem=135M932
7.96/4.32	    decisions=17304, wrong=8163, backtracks=2066, failedAssignments=6353, nogoods=1805, foundSolutions=70, bestBound=1179
7.96/4.32	    
7.96/4.32	    num=291, depth=1..5, filters=1530851, revisions=(1287748,useless=47136), ccks=19040, wck=2.042, mem=135M932
7.96/4.32	    decisions=17335, wrong=8176, backtracks=2066, failedAssignments=6366, nogoods=1818, foundSolutions=70, bestBound=1179
7.96/4.32	    
7.96/4.33	    num=292, depth=1..4, filters=1535158, revisions=(1291452,useless=47196), ccks=19040, wck=2.046, mem=135M932
7.96/4.33	    decisions=17383, wrong=8199, backtracks=2077, failedAssignments=6380, nogoods=1825, foundSolutions=70, bestBound=1179
7.96/4.33	    
7.96/4.33	    num=293, depth=2..5, filters=1539499, revisions=(1295165,useless=47236), ccks=19040, wck=2.05, mem=135M932
7.96/4.33	    decisions=17439, wrong=8226, backtracks=2092, failedAssignments=6396, nogoods=1829, foundSolutions=70, bestBound=1179
7.96/4.33	    
7.96/4.33	    num=294, depth=1..4, filters=1544782, revisions=(1299574,useless=47354), ccks=19040, wck=2.055, mem=135M932
7.96/4.33	    decisions=17487, wrong=8249, backtracks=2099, failedAssignments=6413, nogoods=1838, foundSolutions=70, bestBound=1179
7.96/4.33	    
7.96/4.34	    num=295, depth=1..5, filters=1549667, revisions=(1303773,useless=47405), ccks=19040, wck=2.059, mem=138M522
7.96/4.34	    decisions=17543, wrong=8276, backtracks=2110, failedAssignments=6432, nogoods=1841, foundSolutions=70, bestBound=1179
7.96/4.34	    
7.96/4.34	    num=296, depth=1..4, filters=1553851, revisions=(1307234,useless=47428), ccks=19040, wck=2.064, mem=138M522
7.96/4.34	    decisions=17601, wrong=8304, backtracks=2118, failedAssignments=6453, nogoods=1847, foundSolutions=70, bestBound=1179
7.96/4.34	    
7.96/4.35	    num=297, depth=0..4, filters=1558983, revisions=(1311329,useless=47474), ccks=19040, wck=2.069, mem=138M522
7.96/4.35	    decisions=17660, wrong=8332, backtracks=2124, failedAssignments=6476, nogoods=1855, foundSolutions=70, bestBound=1179
7.96/4.35	    
7.96/4.36	    num=298, depth=1..5, filters=1566424, revisions=(1317561,useless=47604), ccks=19040, wck=2.076, mem=138M522
7.96/4.36	    decisions=17742, wrong=8372, backtracks=2141, failedAssignments=6501, nogoods=1860, foundSolutions=70, bestBound=1179
7.96/4.36	    
7.96/4.36	    num=299, depth=2..5, filters=1571407, revisions=(1321791,useless=47659), ccks=19040, wck=2.082, mem=138M522
7.96/4.36	    decisions=17807, wrong=8403, backtracks=2146, failedAssignments=6529, nogoods=1873, foundSolutions=70, bestBound=1179
7.96/4.36	    
7.96/4.37	    num=300, depth=1..4, filters=1579097, revisions=(1328389,useless=47723), ccks=19040, wck=2.089, mem=141M111
7.96/4.37	    decisions=17910, wrong=8454, backtracks=2170, failedAssignments=6560, nogoods=1883, foundSolutions=70, bestBound=1179
7.96/4.37	    
7.96/4.38	    num=301, depth=2..7, filters=1586472, revisions=(1334510,useless=47820), ccks=19040, wck=2.097, mem=141M111
7.96/4.38	    decisions=17993, wrong=8494, backtracks=2180, failedAssignments=6594, nogoods=1890, foundSolutions=70, bestBound=1179
7.96/4.38	    
7.96/4.38	    num=302, depth=1..5, filters=1595029, revisions=(1341464,useless=47881), ccks=19040, wck=2.105, mem=141M111
7.96/4.38	    decisions=18101, wrong=8547, backtracks=2200, failedAssignments=6631, nogoods=1894, foundSolutions=70, bestBound=1179
7.96/4.38	    
7.96/4.40	    num=303, depth=0..7, filters=1607433, revisions=(1351852,useless=48213), ccks=19040, wck=2.117, mem=143M701
7.96/4.40	    decisions=18224, wrong=8607, backtracks=2222, failedAssignments=6672, nogoods=1900, foundSolutions=70, bestBound=1179
7.96/4.40	    
8.06/4.41	    num=304, depth=1..5, filters=1617944, revisions=(1360652,useless=48350), ccks=19040, wck=2.126, mem=143M701
8.06/4.41	    decisions=18362, wrong=8675, backtracks=2246, failedAssignments=6717, nogoods=1907, foundSolutions=70, bestBound=1179
8.06/4.41	    
8.06/4.42	    num=305, depth=1..5, filters=1630659, revisions=(1371031,useless=48578), ccks=19040, wck=2.14, mem=146M290
8.06/4.42	    decisions=18508, wrong=8747, backtracks=2269, failedAssignments=6767, nogoods=1917, foundSolutions=70, bestBound=1179
8.06/4.42	    
8.06/4.43	    num=306, depth=0..5, filters=1645051, revisions=(1383183,useless=48825), ccks=19040, wck=2.153, mem=146M290
8.06/4.43	    decisions=18674, wrong=8829, backtracks=2298, failedAssignments=6822, nogoods=1927, foundSolutions=70, bestBound=1179
8.06/4.43	    
8.06/4.45	    num=307, depth=0..4, filters=1659944, revisions=(1395892,useless=49016), ccks=19040, wck=2.166, mem=148M880
8.06/4.45	    decisions=18857, wrong=8919, backtracks=2334, failedAssignments=6883, nogoods=1930, foundSolutions=70, bestBound=1179
8.06/4.45	    
8.06/4.46	    num=308, depth=1..4, filters=1673247, revisions=(1406668,useless=49092), ccks=19040, wck=2.179, mem=148M880
8.06/4.46	    decisions=19038, wrong=9008, backtracks=2362, failedAssignments=6950, nogoods=1938, foundSolutions=70, bestBound=1179
8.06/4.46	    
8.06/4.48	    num=309, depth=0..4, filters=1691427, revisions=(1421696,useless=49332), ccks=19040, wck=2.195, mem=151M469
8.06/4.48	    decisions=19257, wrong=9116, backtracks=2397, failedAssignments=7024, nogoods=1946, foundSolutions=70, bestBound=1179
8.06/4.48	    
8.06/4.49	    num=310, depth=1..6, filters=1708068, revisions=(1435709,useless=49431), ccks=19040, wck=2.209, mem=151M469
8.06/4.49	    decisions=19498, wrong=9235, backtracks=2440, failedAssignments=7105, nogoods=1954, foundSolutions=70, bestBound=1179
8.06/4.49	    
8.16/4.50	    num=311, depth=0..6, filters=1726011, revisions=(1450515,useless=49587), ccks=19040, wck=2.225, mem=152M790
8.16/4.50	    decisions=19754, wrong=9362, backtracks=2484, failedAssignments=7194, nogoods=1961, foundSolutions=70, bestBound=1179
8.16/4.50	    
8.16/4.51	o 1177
8.16/4.51	    num=312, depth=1..274, filters=1732957, revisions=(1456259,useless=49625), ccks=19312, wck=2.231, mem=152M790
8.16/4.51	    decisions=19861, wrong=9413, backtracks=2506, failedAssignments=7225, nogoods=1967, foundSolutions=71, bestBound=1177
8.16/4.51	    
8.16/4.54	    num=313, depth=1..5, filters=1755176, revisions=(1474629,useless=50192), ccks=19312, wck=2.264, mem=25M941
8.16/4.54	    decisions=20122, wrong=9542, backtracks=2528, failedAssignments=7333, nogoods=1970, foundSolutions=71, bestBound=1177
8.16/4.54	    
8.16/4.55	    num=314, depth=2..5, filters=1757968, revisions=(1476946,useless=50224), ccks=19312, wck=2.267, mem=25M941
8.16/4.55	    decisions=20158, wrong=9558, backtracks=2534, failedAssignments=7344, nogoods=1975, foundSolutions=71, bestBound=1177
8.16/4.55	    
8.16/4.55	    num=315, depth=2..5, filters=1760700, revisions=(1479165,useless=50236), ccks=19312, wck=2.269, mem=25M941
8.16/4.55	    decisions=20191, wrong=9573, backtracks=2538, failedAssignments=7356, nogoods=1977, foundSolutions=71, bestBound=1177
8.16/4.55	    
8.16/4.55	    num=316, depth=2..5, filters=1763945, revisions=(1481866,useless=50268), ccks=19312, wck=2.272, mem=25M941
8.16/4.55	    decisions=20236, wrong=9594, backtracks=2549, failedAssignments=7369, nogoods=1980, foundSolutions=71, bestBound=1177
8.16/4.55	    
8.16/4.56	    num=317, depth=2..5, filters=1767889, revisions=(1485120,useless=50284), ccks=19312, wck=2.276, mem=25M941
8.16/4.56	    decisions=20287, wrong=9618, backtracks=2560, failedAssignments=7383, nogoods=1986, foundSolutions=71, bestBound=1177
8.16/4.56	    
8.16/4.56	    num=318, depth=2..4, filters=1771921, revisions=(1488473,useless=50314), ccks=19312, wck=2.279, mem=25M941
8.16/4.56	    decisions=20349, wrong=9648, backtracks=2574, failedAssignments=7399, nogoods=1990, foundSolutions=71, bestBound=1177
8.16/4.56	    
8.16/4.56	    num=319, depth=3..5, filters=1775477, revisions=(1491357,useless=50319), ccks=19312, wck=2.283, mem=25M941
8.16/4.56	    decisions=20394, wrong=9669, backtracks=2579, failedAssignments=7416, nogoods=1998, foundSolutions=71, bestBound=1177
8.16/4.56	    
8.16/4.57	    num=320, depth=1..6, filters=1779395, revisions=(1494577,useless=50357), ccks=19312, wck=2.286, mem=25M941
8.16/4.57	    decisions=20446, wrong=9694, backtracks=2589, failedAssignments=7435, nogoods=2003, foundSolutions=71, bestBound=1177
8.16/4.57	    
8.16/4.57	    num=321, depth=2..4, filters=1784779, revisions=(1498917,useless=50407), ccks=19312, wck=2.292, mem=28M540
8.16/4.57	    decisions=20501, wrong=9720, backtracks=2595, failedAssignments=7456, nogoods=2012, foundSolutions=71, bestBound=1177
8.16/4.57	    
8.16/4.58	    num=322, depth=2..4, filters=1791046, revisions=(1504132,useless=50473), ccks=19312, wck=2.297, mem=28M540
8.16/4.58	    decisions=20584, wrong=9760, backtracks=2613, failedAssignments=7479, nogoods=2018, foundSolutions=71, bestBound=1177
8.16/4.58	    
8.16/4.58	    num=323, depth=1..6, filters=1796614, revisions=(1508694,useless=50498), ccks=19312, wck=2.302, mem=28M540
8.16/4.58	    decisions=20654, wrong=9793, backtracks=2624, failedAssignments=7504, nogoods=2026, foundSolutions=71, bestBound=1177
8.16/4.58	    
8.16/4.59	    num=324, depth=1..6, filters=1803289, revisions=(1514299,useless=50626), ccks=19312, wck=2.309, mem=28M540
8.16/4.59	    decisions=20730, wrong=9830, backtracks=2637, failedAssignments=7532, nogoods=2033, foundSolutions=71, bestBound=1177
8.16/4.59	    
8.16/4.59	    num=325, depth=1..5, filters=1810206, revisions=(1520073,useless=50733), ccks=19312, wck=2.315, mem=31M139
8.16/4.59	    decisions=20822, wrong=9875, backtracks=2657, failedAssignments=7563, nogoods=2038, foundSolutions=71, bestBound=1177
8.16/4.59	    
8.30/4.60	    num=326, depth=1..5, filters=1819408, revisions=(1527770,useless=50950), ccks=19312, wck=2.325, mem=31M139
8.30/4.60	    decisions=20918, wrong=9922, backtracks=2671, failedAssignments=7597, nogoods=2046, foundSolutions=71, bestBound=1177
8.30/4.60	    
8.30/4.61	    num=327, depth=2..5, filters=1825954, revisions=(1532947,useless=50989), ccks=19312, wck=2.331, mem=31M139
8.30/4.61	    decisions=21014, wrong=9968, backtracks=2683, failedAssignments=7634, nogoods=2055, foundSolutions=71, bestBound=1177
8.30/4.61	    
8.30/4.62	    num=328, depth=2..7, filters=1834662, revisions=(1540071,useless=51058), ccks=19312, wck=2.34, mem=31M139
8.30/4.62	    decisions=21121, wrong=10020, backtracks=2698, failedAssignments=7675, nogoods=2058, foundSolutions=71, bestBound=1177
8.30/4.62	    
8.30/4.63	    num=329, depth=1..5, filters=1846007, revisions=(1549447,useless=51245), ccks=19312, wck=2.349, mem=33M738
8.30/4.63	    decisions=21256, wrong=10087, backtracks=2724, failedAssignments=7720, nogoods=2060, foundSolutions=71, bestBound=1177
8.30/4.63	    
8.30/4.64	    num=330, depth=1..7, filters=1857030, revisions=(1558623,useless=51383), ccks=19312, wck=2.36, mem=33M738
8.30/4.64	    decisions=21400, wrong=10158, backtracks=2752, failedAssignments=7770, nogoods=2064, foundSolutions=71, bestBound=1177
8.30/4.64	    
8.30/4.65	    num=331, depth=2..5, filters=1868935, revisions=(1568451,useless=51447), ccks=19312, wck=2.37, mem=33M738
8.30/4.65	    decisions=21569, wrong=10241, backtracks=2783, failedAssignments=7825, nogoods=2074, foundSolutions=71, bestBound=1177
8.30/4.65	    
8.30/4.66	    num=332, depth=1..4, filters=1883074, revisions=(1580522,useless=51539), ccks=19312, wck=2.382, mem=36M336
8.30/4.66	    decisions=21769, wrong=10340, backtracks=2824, failedAssignments=7886, nogoods=2083, foundSolutions=71, bestBound=1177
8.30/4.66	    
8.30/4.68	    num=333, depth=3..8, filters=1895929, revisions=(1590671,useless=51710), ccks=19312, wck=2.396, mem=36M336
8.30/4.68	    decisions=21930, wrong=10419, backtracks=2841, failedAssignments=7953, nogoods=2089, foundSolutions=71, bestBound=1177
8.30/4.68	    
8.30/4.69	    num=334, depth=2..5, filters=1913103, revisions=(1603873,useless=51833), ccks=19312, wck=2.412, mem=38M935
8.30/4.69	    decisions=22101, wrong=10503, backtracks=2852, failedAssignments=8027, nogoods=2103, foundSolutions=71, bestBound=1177
8.30/4.69	    
8.40/4.71	    num=335, depth=0..6, filters=1931653, revisions=(1619097,useless=52116), ccks=19312, wck=2.431, mem=41M534
8.40/4.71	    decisions=22338, wrong=10620, backtracks=2897, failedAssignments=8108, nogoods=2104, foundSolutions=71, bestBound=1177
8.40/4.71	    
8.40/4.73	    num=336, depth=1..4, filters=1950169, revisions=(1634377,useless=52205), ccks=19312, wck=2.446, mem=44M133
8.40/4.73	    decisions=22601, wrong=10750, backtracks=2945, failedAssignments=8197, nogoods=2115, foundSolutions=71, bestBound=1177
8.40/4.73	    
8.40/4.74	    num=337, depth=1..5, filters=1970696, revisions=(1651846,useless=52318), ccks=19312, wck=2.463, mem=44M133
8.40/4.74	    decisions=22908, wrong=10902, backtracks=3007, failedAssignments=8295, nogoods=2123, foundSolutions=71, bestBound=1177
8.40/4.74	    
8.40/4.76	    num=338, depth=1..5, filters=1991859, revisions=(1668819,useless=52555), ccks=19312, wck=2.481, mem=46M732
8.40/4.76	    decisions=23192, wrong=11043, backtracks=3042, failedAssignments=8403, nogoods=2134, foundSolutions=71, bestBound=1177
8.40/4.76	    
8.40/4.78	    num=339, depth=0..7, filters=2019406, revisions=(1691866,useless=52860), ccks=19312, wck=2.505, mem=49M331
8.40/4.78	    decisions=23549, wrong=11220, backtracks=3113, failedAssignments=8522, nogoods=2140, foundSolutions=71, bestBound=1177
8.40/4.78	    
8.40/4.79	o 1175
8.40/4.79	    num=340, depth=0..274, filters=2026615, revisions=(1698000,useless=52931), ccks=19584, wck=2.512, mem=49M331
8.40/4.79	    decisions=23637, wrong=11261, backtracks=3131, failedAssignments=8550, nogoods=2140, foundSolutions=72, bestBound=1175
8.40/4.79	    
8.50/4.80	o 1173
8.50/4.80	    num=341, depth=2..274, filters=2031008, revisions=(1701949,useless=53401), ccks=19856, wck=2.518, mem=49M331
8.50/4.80	    decisions=23696, wrong=11288, backtracks=3138, failedAssignments=8571, nogoods=2144, foundSolutions=73, bestBound=1173
8.50/4.80	    
8.50/4.80	    num=342, depth=1..6, filters=2033950, revisions=(1704874,useless=53876), ccks=19856, wck=2.521, mem=49M331
8.50/4.80	    decisions=23726, wrong=11301, backtracks=3140, failedAssignments=8582, nogoods=2152, foundSolutions=73, bestBound=1173
8.50/4.80	    
8.50/4.80	    num=343, depth=1..5, filters=2037073, revisions=(1707562,useless=53902), ccks=19856, wck=2.524, mem=51M929
8.50/4.80	    decisions=23761, wrong=11317, backtracks=3146, failedAssignments=8593, nogoods=2155, foundSolutions=73, bestBound=1173
8.50/4.80	    
8.50/4.81	    num=344, depth=0..4, filters=2041178, revisions=(1711059,useless=54039), ccks=19856, wck=2.528, mem=51M929
8.50/4.81	    decisions=23798, wrong=11334, backtracks=3152, failedAssignments=8605, nogoods=2161, foundSolutions=73, bestBound=1173
8.50/4.81	    
8.50/4.81	    num=345, depth=2..5, filters=2043607, revisions=(1713007,useless=54052), ccks=19856, wck=2.53, mem=51M929
8.50/4.81	    decisions=23830, wrong=11349, backtracks=3155, failedAssignments=8618, nogoods=2162, foundSolutions=73, bestBound=1173
8.50/4.81	    
8.50/4.81	    num=346, depth=2..4, filters=2047210, revisions=(1716037,useless=54085), ccks=19856, wck=2.534, mem=51M929
8.50/4.81	    decisions=23877, wrong=11371, backtracks=3163, failedAssignments=8632, nogoods=2166, foundSolutions=73, bestBound=1173
8.50/4.81	    
8.50/4.82	o 1172
8.50/4.82	    num=347, depth=2..274, filters=2050068, revisions=(1718417,useless=54109), ccks=20128, wck=2.538, mem=52M788
8.50/4.82	    decisions=23914, wrong=11387, backtracks=3171, failedAssignments=8640, nogoods=2169, foundSolutions=74, bestBound=1172
8.50/4.82	    
8.50/4.82	    num=348, depth=3..6, filters=2053942, revisions=(1721948,useless=54597), ccks=20128, wck=2.542, mem=52M788
8.50/4.82	    decisions=23963, wrong=11409, backtracks=3177, failedAssignments=8657, nogoods=2178, foundSolutions=74, bestBound=1172
8.50/4.82	    
8.50/4.82	    num=349, depth=2..4, filters=2056868, revisions=(1724347,useless=54614), ccks=20128, wck=2.544, mem=52M788
8.50/4.82	    decisions=23998, wrong=11425, backtracks=3182, failedAssignments=8668, nogoods=2182, foundSolutions=74, bestBound=1172
8.50/4.82	    
8.50/4.83	    num=350, depth=2..5, filters=2059921, revisions=(1726792,useless=54652), ccks=20128, wck=2.547, mem=52M788
8.50/4.83	    decisions=24031, wrong=11440, backtracks=3186, failedAssignments=8680, nogoods=2185, foundSolutions=74, bestBound=1172
8.50/4.83	    
8.50/4.83	    num=351, depth=1..4, filters=2063161, revisions=(1729565,useless=54688), ccks=20128, wck=2.55, mem=52M788
8.50/4.83	    decisions=24073, wrong=11460, backtracks=3194, failedAssignments=8693, nogoods=2188, foundSolutions=74, bestBound=1172
8.50/4.83	    
8.50/4.84	    num=352, depth=1..4, filters=2069112, revisions=(1734758,useless=54975), ccks=20128, wck=2.556, mem=55M387
8.50/4.84	    decisions=24123, wrong=11484, backtracks=3207, failedAssignments=8707, nogoods=2192, foundSolutions=74, bestBound=1172
8.50/4.84	    
8.50/4.84	    num=353, depth=3..7, filters=2072617, revisions=(1737376,useless=54992), ccks=20128, wck=2.56, mem=55M387
8.50/4.84	    decisions=24162, wrong=11502, backtracks=3211, failedAssignments=8723, nogoods=2201, foundSolutions=74, bestBound=1172
8.50/4.84	    
8.50/4.84	    num=354, depth=2..4, filters=2076945, revisions=(1740996,useless=55013), ccks=20128, wck=2.564, mem=55M387
8.50/4.84	    decisions=24214, wrong=11527, backtracks=3219, failedAssignments=8740, nogoods=2207, foundSolutions=74, bestBound=1172
8.50/4.84	    
8.50/4.85	    num=355, depth=2..4, filters=2081006, revisions=(1744399,useless=55042), ccks=20128, wck=2.567, mem=55M387
8.50/4.85	    decisions=24273, wrong=11555, backtracks=3228, failedAssignments=8759, nogoods=2212, foundSolutions=74, bestBound=1172
8.50/4.85	    
8.50/4.85	    num=356, depth=1..5, filters=2085597, revisions=(1748272,useless=55067), ccks=20128, wck=2.571, mem=55M387
8.50/4.85	    decisions=24332, wrong=11583, backtracks=3238, failedAssignments=8780, nogoods=2218, foundSolutions=74, bestBound=1172
8.50/4.85	    
8.50/4.86	    num=357, depth=3..6, filters=2089807, revisions=(1751470,useless=55107), ccks=20128, wck=2.576, mem=55M387
8.50/4.86	    decisions=24387, wrong=11608, backtracks=3240, failedAssignments=8803, nogoods=2224, foundSolutions=74, bestBound=1172
8.50/4.86	    
8.50/4.86	o 1163
8.50/4.86	    num=358, depth=2..274, filters=2092971, revisions=(1754125,useless=55149), ccks=20400, wck=2.579, mem=57M986
8.50/4.86	    decisions=24424, wrong=11624, backtracks=3248, failedAssignments=8813, nogoods=2228, foundSolutions=75, bestBound=1163
8.50/4.86	    
8.50/4.87	    num=359, depth=2..5, filters=2099872, revisions=(1760116,useless=55671), ccks=20400, wck=2.587, mem=57M986
8.50/4.87	    decisions=24506, wrong=11663, backtracks=3259, failedAssignments=8841, nogoods=2232, foundSolutions=75, bestBound=1163
8.50/4.87	    
8.50/4.87	    num=360, depth=2..5, filters=2103202, revisions=(1762764,useless=55697), ccks=20400, wck=2.59, mem=57M986
8.50/4.87	    decisions=24544, wrong=11681, backtracks=3267, failedAssignments=8852, nogoods=2234, foundSolutions=75, bestBound=1163
8.50/4.87	    
8.50/4.87	    num=361, depth=2..4, filters=2106773, revisions=(1765726,useless=55711), ccks=20400, wck=2.593, mem=57M986
8.50/4.87	    decisions=24588, wrong=11702, backtracks=3276, failedAssignments=8864, nogoods=2237, foundSolutions=75, bestBound=1163
8.50/4.87	    
8.50/4.88	    num=362, depth=1..5, filters=2110369, revisions=(1768761,useless=55747), ccks=20400, wck=2.597, mem=57M986
8.50/4.88	    decisions=24633, wrong=11723, backtracks=3284, failedAssignments=8877, nogoods=2240, foundSolutions=75, bestBound=1163
8.50/4.88	    
8.50/4.88	    num=363, depth=4..7, filters=2113932, revisions=(1771560,useless=55816), ccks=20400, wck=2.601, mem=57M986
8.50/4.88	    decisions=24667, wrong=11738, backtracks=3286, failedAssignments=8891, nogoods=2250, foundSolutions=75, bestBound=1163
8.50/4.88	    
8.50/4.88	    num=364, depth=2..5, filters=2118271, revisions=(1775191,useless=55837), ccks=20400, wck=2.604, mem=57M986
8.50/4.88	    decisions=24719, wrong=11763, backtracks=3297, failedAssignments=8907, nogoods=2254, foundSolutions=75, bestBound=1163
8.50/4.88	    
8.50/4.89	    num=365, depth=2..4, filters=2122625, revisions=(1778700,useless=55935), ccks=20400, wck=2.609, mem=60M585
8.50/4.89	    decisions=24770, wrong=11787, backtracks=3304, failedAssignments=8924, nogoods=2259, foundSolutions=75, bestBound=1163
8.50/4.89	    
8.50/4.89	    num=366, depth=1..4, filters=2127696, revisions=(1783012,useless=55975), ccks=20400, wck=2.613, mem=60M585
8.50/4.89	    decisions=24830, wrong=11816, backtracks=3316, failedAssignments=8943, nogoods=2262, foundSolutions=75, bestBound=1163
8.50/4.89	    
8.61/4.90	    num=367, depth=3..6, filters=2133014, revisions=(1787216,useless=56043), ccks=20400, wck=2.618, mem=60M585
8.61/4.90	    decisions=24888, wrong=11843, backtracks=3323, failedAssignments=8964, nogoods=2268, foundSolutions=75, bestBound=1163
8.61/4.90	    
8.61/4.90	    num=368, depth=1..5, filters=2139169, revisions=(1792406,useless=56113), ccks=20400, wck=2.624, mem=60M585
8.61/4.90	    decisions=24967, wrong=11882, backtracks=3344, failedAssignments=8987, nogoods=2274, foundSolutions=75, bestBound=1163
8.61/4.90	    
8.61/4.91	    num=369, depth=1..5, filters=2145761, revisions=(1797737,useless=56204), ccks=20400, wck=2.63, mem=60M585
8.61/4.91	    decisions=25046, wrong=11920, backtracks=3361, failedAssignments=9012, nogoods=2277, foundSolutions=75, bestBound=1163
8.61/4.91	    
8.61/4.92	    num=370, depth=1..5, filters=2152063, revisions=(1802843,useless=56294), ccks=20400, wck=2.636, mem=60M585
8.61/4.92	    decisions=25125, wrong=11958, backtracks=3373, failedAssignments=9040, nogoods=2282, foundSolutions=75, bestBound=1163
8.61/4.92	    
8.61/4.92	    num=371, depth=2..5, filters=2158347, revisions=(1807963,useless=56331), ccks=20400, wck=2.643, mem=63M183
8.61/4.92	    decisions=25206, wrong=11997, backtracks=3385, failedAssignments=9071, nogoods=2293, foundSolutions=75, bestBound=1163
8.61/4.92	    
8.61/4.93	    num=372, depth=1..5, filters=2167029, revisions=(1815066,useless=56447), ccks=20400, wck=2.651, mem=63M183
8.61/4.93	    decisions=25315, wrong=12050, backtracks=3407, failedAssignments=9105, nogoods=2300, foundSolutions=75, bestBound=1163
8.61/4.93	    
8.61/4.94	    num=373, depth=0..4, filters=2175677, revisions=(1822008,useless=56574), ccks=20400, wck=2.659, mem=63M183
8.61/4.94	    decisions=25419, wrong=12101, backtracks=3425, failedAssignments=9142, nogoods=2303, foundSolutions=75, bestBound=1163
8.61/4.94	    
8.61/4.95	    num=374, depth=0..6, filters=2185418, revisions=(1830063,useless=56747), ccks=20400, wck=2.669, mem=65M782
8.61/4.95	    decisions=25536, wrong=12158, backtracks=3449, failedAssignments=9183, nogoods=2309, foundSolutions=75, bestBound=1163
8.61/4.95	    
8.61/4.96	    num=375, depth=1..4, filters=2197343, revisions=(1839700,useless=56895), ccks=20400, wck=2.679, mem=65M782
8.61/4.96	    decisions=25676, wrong=12227, backtracks=3474, failedAssignments=9228, nogoods=2317, foundSolutions=75, bestBound=1163
8.61/4.96	    
8.61/4.97	    num=376, depth=1..5, filters=2209618, revisions=(1849824,useless=57004), ccks=20400, wck=2.69, mem=65M782
8.61/4.97	    decisions=25817, wrong=12297, backtracks=3497, failedAssignments=9278, nogoods=2326, foundSolutions=75, bestBound=1163
8.61/4.97	    
8.61/4.98	    num=377, depth=0..4, filters=2223873, revisions=(1861453,useless=57190), ccks=20400, wck=2.703, mem=68M381
8.61/4.98	    decisions=25987, wrong=12381, backtracks=3533, failedAssignments=9333, nogoods=2328, foundSolutions=75, bestBound=1163
8.61/4.98	    
8.61/4.99	o 1152
8.61/4.99	    num=378, depth=0..274, filters=2233950, revisions=(1869950,useless=57337), ccks=20672, wck=2.713, mem=68M381
8.61/4.99	    decisions=26120, wrong=12445, backtracks=3558, failedAssignments=9375, nogoods=2332, foundSolutions=76, bestBound=1152
8.61/4.99	    
8.61/5.00	o 1143
8.61/5.00	    num=379, depth=2..274, filters=2244229, revisions=(1878556,useless=57873), ccks=20944, wck=2.724, mem=70M980
8.61/5.00	    decisions=26254, wrong=12509, backtracks=3575, failedAssignments=9425, nogoods=2335, foundSolutions=77, bestBound=1143
8.61/5.00	    
8.72/5.01	    num=380, depth=2..6, filters=2246746, revisions=(1881040,useless=58340), ccks=20944, wck=2.727, mem=70M980
8.72/5.01	    decisions=26285, wrong=12522, backtracks=3578, failedAssignments=9436, nogoods=2340, foundSolutions=77, bestBound=1143
8.72/5.01	    
8.72/5.01	    num=381, depth=0..4, filters=2249941, revisions=(1883671,useless=58387), ccks=20944, wck=2.73, mem=70M980
8.72/5.01	    decisions=26316, wrong=12536, backtracks=3582, failedAssignments=9447, nogoods=2341, foundSolutions=77, bestBound=1143
8.72/5.01	    
8.72/5.01	    num=382, depth=2..5, filters=2252767, revisions=(1885908,useless=58418), ccks=20944, wck=2.733, mem=70M980
8.72/5.01	    decisions=26349, wrong=12551, backtracks=3586, failedAssignments=9459, nogoods=2344, foundSolutions=77, bestBound=1143
8.72/5.01	    
8.72/5.02	    num=383, depth=1..5, filters=2256499, revisions=(1889029,useless=58468), ccks=20944, wck=2.737, mem=70M980
8.72/5.02	    decisions=26396, wrong=12573, backtracks=3596, failedAssignments=9472, nogoods=2349, foundSolutions=77, bestBound=1143
8.72/5.02	    
8.72/5.02	    num=384, depth=2..5, filters=2259372, revisions=(1891339,useless=58495), ccks=20944, wck=2.74, mem=70M980
8.72/5.02	    decisions=26432, wrong=12589, backtracks=3599, failedAssignments=9486, nogoods=2352, foundSolutions=77, bestBound=1143
8.72/5.02	    
8.72/5.02	    num=385, depth=1..5, filters=2263756, revisions=(1895075,useless=58552), ccks=20944, wck=2.745, mem=70M980
8.72/5.02	    decisions=26492, wrong=12618, backtracks=3613, failedAssignments=9502, nogoods=2354, foundSolutions=77, bestBound=1143
8.72/5.02	    
8.72/5.03	    num=386, depth=1..5, filters=2267806, revisions=(1898439,useless=58583), ccks=20944, wck=2.748, mem=70M980
8.72/5.03	    decisions=26548, wrong=12645, backtracks=3626, failedAssignments=9519, nogoods=2358, foundSolutions=77, bestBound=1143
8.72/5.03	    
8.72/5.03	    num=387, depth=1..5, filters=2273369, revisions=(1903090,useless=58703), ccks=20944, wck=2.754, mem=73M579
8.72/5.03	    decisions=26611, wrong=12675, backtracks=3638, failedAssignments=9538, nogoods=2363, foundSolutions=77, bestBound=1143
8.72/5.03	    
8.72/5.04	    num=388, depth=0..4, filters=2278470, revisions=(1907257,useless=58765), ccks=20944, wck=2.759, mem=73M579
8.72/5.04	    decisions=26673, wrong=12704, backtracks=3648, failedAssignments=9559, nogoods=2368, foundSolutions=77, bestBound=1143
8.72/5.04	    
8.72/5.04	    num=389, depth=1..5, filters=2283946, revisions=(1911791,useless=58840), ccks=20944, wck=2.765, mem=73M579
8.72/5.04	    decisions=26740, wrong=12736, backtracks=3660, failedAssignments=9582, nogoods=2373, foundSolutions=77, bestBound=1143
8.72/5.04	    
8.72/5.05	    num=390, depth=1..4, filters=2289713, revisions=(1916378,useless=58950), ccks=20944, wck=2.771, mem=73M579
8.72/5.05	    decisions=26809, wrong=12769, backtracks=3669, failedAssignments=9607, nogoods=2376, foundSolutions=77, bestBound=1143
8.72/5.05	    
8.72/5.06	    num=391, depth=1..5, filters=2295837, revisions=(1921166,useless=59027), ccks=20944, wck=2.777, mem=73M579
8.72/5.06	    decisions=26884, wrong=12805, backtracks=3678, failedAssignments=9635, nogoods=2386, foundSolutions=77, bestBound=1143
8.72/5.06	    
8.72/5.06	    num=392, depth=1..5, filters=2304050, revisions=(1928180,useless=59121), ccks=20944, wck=2.784, mem=76M177
8.72/5.06	    decisions=26988, wrong=12856, backtracks=3703, failedAssignments=9666, nogoods=2390, foundSolutions=77, bestBound=1143
8.72/5.06	    
8.72/5.07	    num=393, depth=2..4, filters=2312632, revisions=(1935064,useless=59214), ccks=20944, wck=2.791, mem=76M177
8.72/5.07	    decisions=27089, wrong=12905, backtracks=3718, failedAssignments=9700, nogoods=2399, foundSolutions=77, bestBound=1143
8.72/5.07	    
8.72/5.08	    num=394, depth=1..5, filters=2323363, revisions=(1944256,useless=59326), ccks=20944, wck=2.8, mem=76M177
8.72/5.08	    decisions=27207, wrong=12963, backtracks=3744, failedAssignments=9737, nogoods=2409, foundSolutions=77, bestBound=1143
8.72/5.08	    
8.72/5.09	    num=395, depth=0..4, filters=2334477, revisions=(1953423,useless=59482), ccks=20944, wck=2.81, mem=78M776
8.72/5.09	    decisions=27330, wrong=13023, backtracks=3766, failedAssignments=9778, nogoods=2413, foundSolutions=77, bestBound=1143
8.72/5.09	    
8.72/5.10	    num=396, depth=1..5, filters=2346650, revisions=(1963950,useless=59602), ccks=20944, wck=2.82, mem=78M776
8.72/5.10	    decisions=27483, wrong=13099, backtracks=3800, failedAssignments=9823, nogoods=2419, foundSolutions=77, bestBound=1143
8.72/5.10	    
8.83/5.11	    num=397, depth=1..4, filters=2358506, revisions=(1973407,useless=59722), ccks=20944, wck=2.83, mem=78M776
8.83/5.11	    decisions=27639, wrong=13176, backtracks=3829, failedAssignments=9873, nogoods=2426, foundSolutions=77, bestBound=1143
8.83/5.11	    
8.83/5.12	    num=398, depth=0..4, filters=2372319, revisions=(1984840,useless=59915), ccks=20944, wck=2.842, mem=81M375
8.83/5.12	    decisions=27793, wrong=13252, backtracks=3853, failedAssignments=9928, nogoods=2435, foundSolutions=77, bestBound=1143
8.83/5.12	    
8.83/5.14	    num=399, depth=0..4, filters=2389181, revisions=(1999080,useless=60098), ccks=20944, wck=2.857, mem=81M375
8.83/5.14	    decisions=27987, wrong=13348, backtracks=3894, failedAssignments=9989, nogoods=2437, foundSolutions=77, bestBound=1143
8.83/5.14	    
8.83/5.15	    num=400, depth=1..5, filters=2404456, revisions=(2011203,useless=60280), ccks=20944, wck=2.872, mem=83M974
8.83/5.15	    decisions=28162, wrong=13435, backtracks=3914, failedAssignments=10056, nogoods=2446, foundSolutions=77, bestBound=1143
8.83/5.15	    
8.83/5.17	    num=401, depth=0..4, filters=2422650, revisions=(2025997,useless=60466), ccks=20944, wck=2.889, mem=83M974
8.83/5.17	    decisions=28378, wrong=13542, backtracks=3955, failedAssignments=10130, nogoods=2450, foundSolutions=77, bestBound=1143
8.83/5.17	    
8.83/5.19	    num=402, depth=0..6, filters=2446424, revisions=(2045278,useless=60893), ccks=20944, wck=2.91, mem=86M573
8.83/5.19	    decisions=28605, wrong=13655, backtracks=3995, failedAssignments=10211, nogoods=2451, foundSolutions=77, bestBound=1143
8.83/5.19	    
8.83/5.19	
8.83/5.19	  New Bounds: 1143..1142
8.83/5.19	    num=403, depth=0..3, filters=2448680, revisions=(2047205,useless=60921), ccks=20944, wck=2.913, mem=86M573
8.83/5.19	    decisions=28635, wrong=13671, backtracks=4002, failedAssignments=10222, foundSolutions=77, bestBound=1143
8.83/5.19	    
8.83/5.19	  Global
8.83/5.19	    filters=2448680, revisions=(2047205,useless=60921), ccks=20944
8.83/5.19	    Stop=FULL_EXPLORATION, wrong=13671, bestBound=1143, bestBoundWck=3.159, bestBoundCpu=4.925, foundSolutions=77, firstSolCpu=2.278
8.83/5.19	    wck=3.348, cpu=5.114, mem=86M573
8.83/5.19	
8.83/5.19	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>
8.83/5.19	s OPTIMUM FOUND
8.83/5.19	
8.83/5.19	d WRONG_DECISIONS 13671
8.83/5.19	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 (8996 MiB free)
  memory of node 1: 16384 MiB (15350 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390804-1568385561/watcher-4390804-1568385561 -o /tmp/evaluation-result-4390804-1568385561/solver-4390804-1568385561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2212 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390804-1568385561.xml -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=3330, runsolver pid=3327

[startup+0.101206 s]*
/proc/loadavg: 1.80 1.80 1.84 4/227 3345
/proc/meminfo: memFree=24913952/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10659884 memory=27668 CPUtime=0.14 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 5437 0 0 0 13 1 0 0 20 0 15 0 414813329 10915721216 6917 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2664971 6917 2848 1 0 2627468 0
[pid=3330/tid=3332] ppid=3327 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) R 3327 3330 2180 0 -1 4202560 3236 0 0 0 9 0 0 0 20 0 15 0 414813329 10915721216 7049 33554432000 4194304 4196468 140723811061392 139959709237256 139959697242942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 7049 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10659884 memory=3690050659078936224 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 7049 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 7049 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 7049 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813331 10915721216 7049 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813331 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958739059488 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813332 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958738007152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) S 3327 3330 2180 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 414813334 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958735903344 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0.02 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) R 3327 3330 2180 0 -1 4202560 563 0 0 0 2 0 0 0 20 0 15 0 414813334 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958733794200 139959683931526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813335 10915721216 7115 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27668 KiB

[startup+0.211431 s]*
/proc/loadavg: 1.80 1.80 1.84 3/227 3345
/proc/meminfo: memFree=24906460/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10659884 memory=34944 CPUtime=0.33 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 6917 0 0 0 31 2 0 0 20 0 15 0 414813329 10915721216 8736 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2664971 8736 2989 1 0 2627468 0
[pid=3330/tid=3332] ppid=3327 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) R 3327 3330 2180 0 -1 4202560 3879 0 0 0 19 1 0 0 20 0 15 0 414813329 10915721216 8736 33554432000 4194304 4196468 140723811061392 139959709237904 139959705027741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 8736 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10659884 memory=139985344787576 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 8736 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 8736 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 8736 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813331 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813331 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958739059488 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813332 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958738007152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) S 3327 3330 2180 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 414813334 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958735903344 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 414813334 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0.05 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) S 3327 3330 2180 0 -1 1077944384 754 0 0 0 5 0 0 0 20 0 15 0 414813334 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958733798256 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813335 10915721216 8736 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34944 KiB

[startup+0.318265 s]*
/proc/loadavg: 1.80 1.80 1.84 3/227 3345
/proc/meminfo: memFree=24899732/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10659884 memory=40064 CPUtime=0.48 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 9476 0 0 0 45 3 0 0 20 0 15 0 414813329 10915721216 10016 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2664971 10016 3001 1 0 2627468 0
[pid=3330/tid=3332] ppid=3327 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) R 3327 3330 2180 0 -1 4202560 6359 0 0 0 28 2 0 0 20 0 15 0 414813329 10915721216 10016 33554432000 4194304 4196468 140723811061392 139959709237600 139959705017750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10659884 memory=4296865450 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 10016 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10659884 memory=139985344787575 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 10016 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 10016 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10915721216 10016 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813331 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813331 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958739059488 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813332 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958738007152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) S 3327 3330 2180 0 -1 1077944384 451 0 0 0 4 0 0 0 20 0 15 0 414813334 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958735903344 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 527 0 0 0 4 0 0 0 20 0 15 0 414813334 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0.08 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) R 3327 3330 2180 0 -1 4202560 782 0 0 0 8 0 0 0 20 0 15 0 414813334 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958733798256 139959683689924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10659884 memory=139985341945472 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813335 10915721216 10016 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40064 KiB

[startup+0.701431 s]
/proc/loadavg: 1.80 1.80 1.84 3/227 3345
/proc/meminfo: memFree=24888156/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10661932 memory=63948 CPUtime=1.1 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 13154 0 0 0 105 5 0 0 20 0 15 0 414813329 10917818368 15987 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2665483 15987 3071 1 0 2627980 0
[pid=3330/tid=3332] ppid=3327 vsize=10661932 memory=39872 CPUtime=0.68 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) R 3327 3330 2180 0 -1 4202560 8893 0 0 0 64 4 0 0 20 0 15 0 414813329 10917818368 15987 33554432000 4194304 4196468 140723811061392 139959709222608 139959690171361 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10917818368 15987 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10917818368 15987 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10917818368 15987 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10917818368 15987 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813331 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10661932 memory=298 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813331 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958739059488 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10661932 memory=236129 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813332 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958738007152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) R 3327 3330 2180 0 -1 4202560 759 0 0 0 11 0 0 0 20 0 15 0 414813334 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958735903344 139959684662336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10661932 memory=33 CPUtime=0.11 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 886 0 0 0 11 0 0 0 20 0 15 0 414813334 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10661932 memory=1682 CPUtime=0.18 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) S 3327 3330 2180 0 -1 1077944384 1256 0 0 0 18 0 0 0 20 0 15 0 414813334 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958733798256 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813334 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813335 10917818368 15987 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63948 KiB

[startup+1.5007 s]
/proc/loadavg: 1.80 1.80 1.84 3/227 3345
/proc/meminfo: memFree=24869668/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10663980 memory=75768 CPUtime=2.01 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 16903 0 0 0 195 6 0 0 20 0 15 0 414813329 10919915520 18942 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2665995 18942 3091 1 0 2628492 0
[pid=3330/tid=3332] ppid=3327 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) R 3327 3330 2180 0 -1 4202560 11581 0 0 0 143 4 0 0 20 0 15 0 414813329 10919915520 18942 33554432000 4194304 4196468 140723811061392 139959709246096 139959689086302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10663980 memory=39872 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10919915520 18942 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10919915520 18942 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813330 10919915520 18942 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813330 10919915520 18942 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414813331 10919915520 18942 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0

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

/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414813330 11006283776 62404 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 16 0 414813331 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10748324 memory=19 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414813331 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958739059552 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10748324 memory=14 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414813332 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958738007168 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10748324 memory=39872 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10748324 memory=988 CPUtime=1.4 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) R 3327 3330 2180 0 -1 4202560 4535 0 0 0 140 0 0 0 20 0 16 0 414813334 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958735896416 139959685378928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10748324 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) R 3327 3330 2180 0 -1 4202560 8003 0 0 0 122 1 0 0 20 0 16 0 414813334 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958734850544 139959688392592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10748324 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) S 3327 3330 2180 0 -1 1077944384 5610 0 0 0 67 2 0 0 20 0 16 0 414813334 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958733798256 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10748324 memory=226652 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414813335 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3377] ppid=3327 vsize=10748324 memory=1428 CPUtime=1.18 cores=1,3,5,7
/proc/3330/task/3377/stat : 3377 (java) R 3327 3330 2180 0 -1 4202560 4697 0 0 0 114 4 0 0 20 0 16 0 414813516 11006283776 62404 33554432000 4194304 4196468 140723811061392 139958715030440 139959316872948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 249616 KiB

[startup+5.21055 s]
# the end of solver process 3330 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.7368 s, system=0.203673 s

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

[startup+3.20139 s]
/proc/loadavg: 1.81 1.81 1.84 6/227 3426
/proc/meminfo: memFree=24860540/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10748324 memory=261940 CPUtime=6.59 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 37853 0 0 0 642 17 0 0 20 0 16 0 414813329 11006283776 65485 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2687081 65485 3348 1 0 2647217 0
[pid=3330/tid=3332] ppid=3327 vsize=10748324 memory=704 CPUtime=1.85 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) S 3327 3330 2180 0 -1 1077944384 13144 0 0 0 179 6 0 0 20 0 16 0 414813329 11006283776 65485 33554432000 4194304 4196468 140723811061392 139959709248688 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 414813330 11006283776 65485 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10748324 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414813330 11006283776 65485 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 414813330 11006283776 65485 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10748324 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414813330 11006283776 65485 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10748324 memory=1112 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 16 0 414813331 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10748324 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414813331 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958739059552 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10748324 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414813332 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958738007168 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10748324 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) S 3327 3330 2180 0 -1 1077944384 4540 0 0 0 141 0 0 0 20 0 16 0 414813334 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958735903344 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10748324 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 8010 0 0 0 123 1 0 0 20 0 16 0 414813334 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10748324 memory=139985198033292 CPUtime=0.69 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) S 3327 3330 2180 0 -1 1077944384 5679 0 0 0 67 2 0 0 20 0 16 0 414813334 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958733798256 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10748324 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414813335 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3377] ppid=3327 vsize=10748324 memory=1112 CPUtime=1.27 cores=1,3,5,7
/proc/3330/task/3377/stat : 3377 (java) R 3327 3330 2180 0 -1 4202560 4713 0 0 0 123 4 0 0 20 0 16 0 414813516 11006283776 65485 33554432000 4194304 4196468 140723811061392 139958715022464 139959317480963 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 6.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 261940 KiB

[startup+4.00075 s]*
/proc/loadavg: 1.81 1.81 1.84 3/227 3426
/proc/meminfo: memFree=24787856/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10748324 memory=285224 CPUtime=7.66 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 38540 0 0 0 748 18 0 0 20 0 16 0 414813329 11006283776 71306 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2687081 71306 3367 1 0 2647217 0
[pid=3330/tid=3332] ppid=3327 vsize=10748324 memory=4026532047 CPUtime=1.85 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) S 3327 3330 2180 0 -1 1077944384 13144 0 0 0 179 6 0 0 20 0 16 0 414813329 11006283776 71306 33554432000 4194304 4196468 140723811061392 139959709248688 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 16 0 414813330 11006283776 71306 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10748324 memory=139985341949055 CPUtime=0.02 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 16 0 414813330 11006283776 71306 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10748324 memory=-8412656567318647667 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 414813330 11006283776 71306 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10748324 memory=-7457052372387209120 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 16 0 414813330 11006283776 71306 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 16 0 414813331 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10748324 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414813331 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958739059552 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10748324 memory=6944656591801718942 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414813332 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958738007168 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10748324 memory=-7449383003082255509 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10748324 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) S 3327 3330 2180 0 -1 1077944384 4595 0 0 0 154 0 0 0 20 0 16 0 414813334 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958735903344 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10748324 memory=3472285459133384047 CPUtime=1.3 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 8040 0 0 0 129 1 0 0 20 0 16 0 414813334 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10748324 memory=3472468281567072484 CPUtime=0.74 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) S 3327 3330 2180 0 -1 1077944384 5819 0 0 0 72 2 0 0 20 0 16 0 414813334 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958733798256 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10748324 memory=3544385890265608200 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10748324 memory=7363859834594444976 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414813335 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3377] ppid=3327 vsize=10748324 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/3330/task/3377/stat : 3377 (java) R 3327 3330 2180 0 -1 4202560 4748 0 0 0 202 4 0 0 20 0 16 0 414813516 11006283776 71306 33554432000 4194304 4196468 140723811061392 139958715022736 139959316620835 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285224 KiB

[startup+4.80135 s]
/proc/loadavg: 1.81 1.81 1.84 3/227 3426
/proc/meminfo: memFree=24787856/32770624 swapFree=66977616/67108860
[pid=3330] ppid=3327 vsize=10748324 memory=285328 CPUtime=8.5 cores=1,3,5,7
/proc/3330/stat : 3330 (java) S 3327 3330 2180 0 -1 1077944320 38953 0 0 0 831 19 0 0 20 0 16 0 414813329 11006283776 71332 33554432000 4194304 4196468 140723811061392 140723811043936 139959705005815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
/proc/3330/statm: 2687081 71332 3367 1 0 2647217 0
[pid=3330/tid=3332] ppid=3327 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/3330/task/3332/stat : 3332 (java) S 3327 3330 2180 0 -1 1077944384 13144 0 0 0 179 6 0 0 20 0 16 0 414813329 11006283776 71332 33554432000 4194304 4196468 140723811061392 139959709248688 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3333] ppid=3327 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3330/task/3333/stat : 3333 (java) S 3327 3330 2180 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 414813330 11006283776 71332 33554432000 4194304 4196468 140723811061392 139959631080336 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3334] ppid=3327 vsize=10748324 memory=-9174445032661854264 CPUtime=0.03 cores=1,3,5,7
/proc/3330/task/3334/stat : 3334 (java) S 3327 3330 2180 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 16 0 414813330 11006283776 71332 33554432000 4194304 4196468 140723811061392 139959310740240 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3335] ppid=3327 vsize=10748324 memory=6944656592387989600 CPUtime=0.02 cores=1,3,5,7
/proc/3330/task/3335/stat : 3335 (java) S 3327 3330 2180 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 16 0 414813330 11006283776 71332 33554432000 4194304 4196468 140723811061392 139959309687952 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3336] ppid=3327 vsize=10748324 memory=7809523229951467574 CPUtime=0.02 cores=1,3,5,7
/proc/3330/task/3336/stat : 3336 (java) S 3327 3330 2180 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 16 0 414813330 11006283776 71332 33554432000 4194304 4196468 140723811061392 139959308635152 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3337] ppid=3327 vsize=10748324 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/3330/task/3337/stat : 3337 (java) S 3327 3330 2180 0 -1 1077944384 312 0 0 0 1 0 0 0 20 0 16 0 414813331 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958740113520 139959705016962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3338] ppid=3327 vsize=10748324 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3338/stat : 3338 (java) S 3327 3330 2180 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414813331 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958739059552 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3339] ppid=3327 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3339/stat : 3339 (java) S 3327 3330 2180 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414813332 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958738007168 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3340] ppid=3327 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3340/stat : 3340 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958736955472 139959705024411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3341] ppid=3327 vsize=10748324 memory=6943526294502006880 CPUtime=1.54 cores=1,3,5,7
/proc/3330/task/3341/stat : 3341 (java) S 3327 3330 2180 0 -1 1077944384 4595 0 0 0 154 0 0 0 20 0 16 0 414813334 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958735903344 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3342] ppid=3327 vsize=10748324 memory=-4051592751533505334 CPUtime=1.3 cores=1,3,5,7
/proc/3330/task/3342/stat : 3342 (java) S 3327 3330 2180 0 -1 1077944384 8040 0 0 0 129 1 0 0 20 0 16 0 414813334 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958734850544 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3343] ppid=3327 vsize=10748324 memory=7391413433648273289 CPUtime=0.75 cores=1,3,5,7
/proc/3330/task/3343/stat : 3343 (java) S 3327 3330 2180 0 -1 1077944384 5819 0 0 0 73 2 0 0 20 0 16 0 414813334 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958733798256 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3344] ppid=3327 vsize=10748324 memory=-8818460131910270915 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3344/stat : 3344 (java) S 3327 3330 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813334 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958732745696 139959705016021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3345] ppid=3327 vsize=10748324 memory=-7608078712276876739 CPUtime=0 cores=1,3,5,7
/proc/3330/task/3345/stat : 3345 (java) S 3327 3330 2180 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414813335 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958731692464 139959705016962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
[pid=3330/tid=3377] ppid=3327 vsize=10748324 memory=285224 CPUtime=2.84 cores=1,3,5,7
/proc/3330/task/3377/stat : 3377 (java) R 3327 3330 2180 0 -1 4202560 5149 0 0 0 280 4 0 0 20 0 16 0 414813516 11006283776 71332 33554432000 4194304 4196468 140723811061392 139958715022736 139959317721276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140723811062795 140723811062898 140723811062898 140723811065807 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285328 KiB

[startup+5.20068 s]*
/proc/loadavg: 1.81 1.81 1.84 3/214 3429
/proc/meminfo: memFree=24702152/32770624 swapFree=66977616/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.21058
CPU time (s): 8.94047
CPU user time (s): 8.7368
CPU system time (s): 0.203673
CPU usage (%): 171.583
Max. virtual memory (cumulated for all children) (KiB): 10750756
Max. memory (cumulated for all children) (KiB): 285548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.7368
system time used= 0.203673
maximum resident set size= 285824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41524
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= 2567
involuntary context switches= 118


# summary of solver processes directly reported to runsolver:
#   pid: 3330
#   total CPU time (s): 8.94047
#   total CPU user time (s): 8.7368
#   total CPU system time (s): 0.203673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065214 second user time and 0.122757 second system time

The end

Begin job on node104 at 2019-09-13 15:29:04
IDJOB=4390804
IDBENCH=138379
IDSOLVER=2832
FILE ID=node104/4390804-1568385561
RUNJOBID= node104-1568376300-2212
PBS_JOBID= 21701850
Free space on /tmp= 56564 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-4390804-1568385561/watcher-4390804-1568385561 -o /tmp/evaluation-result-4390804-1568385561/solver-4390804-1568385561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2212 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390804-1568385561.xml -cm

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

MD5SUM BENCH= 005f7ae7871747b1063e6e013b23478b
RANDOM SEED=1503652811

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        24931964 kB
MemAvailable:   31641880 kB
Buffers:          151780 kB
Cached:          6771348 kB
SwapCached:        31860 kB
Active:          1980488 kB
Inactive:        5168020 kB
Active(anon):     192204 kB
Inactive(anon):    74524 kB
Active(file):    1788284 kB
Inactive(file):  5093496 kB
Unevictable:      107784 kB
Mlocked:          107784 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:              9092 kB
Writeback:             0 kB
AnonPages:        311304 kB
Mapped:            56256 kB
Shmem:             32780 kB
Slab:             286640 kB
SReclaimable:     256596 kB
SUnreclaim:        30044 kB
KernelStack:        3984 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1250364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56556 MiB
End job on node104 at 2019-09-13 15:29:09