2.40/1.87	
2.40/1.87	AbsCon 2 
2.40/1.89	
2.91/2.05	  Instance
2.91/2.05	    name=instance-4391170-1568390381, framework=COP, bounds=-infty..+infty
2.91/2.05	
2.91/2.05	  Loading variables...
2.91/2.08	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
3.44/2.21	
3.44/2.21	
3.44/2.21	  Domains
3.44/2.21	    nTypes=56, nValues=1853, sizes=[1#2,2#28,29#5,30#55]
3.44/2.21	  Variables
3.44/2.21	    count=90, degrees=[1#2,2#59,3#29]
3.44/2.21	  Objectives
3.44/2.21	    way=max, type=SumSimpleGE
3.44/2.21	  Constraints
3.44/2.21	    count=62, nSpecific=3, arities=[1#1,2#58,30#3]
3.44/2.21	    distribution=[Circuit#1,CtrExtensionV-Bits#30,CtrIntension#29,SumSimpleGE#1,SumSimpleLE#1]
3.44/2.21	    nExtStructures=(30,shared:0), nIntStructures=(29,shared:0), nCftStructures=(58,shared:0,unbuilt:4)
3.44/2.21	    wck=0.37, cpu=2.165, mem=26M513
3.44/2.22	  Solver SolverBacktrack being built...
3.44/2.22	
3.44/2.24	
3.44/2.24	  Solver
3.44/2.24	    guaranteedGAC=false
3.44/2.24	    wck=0.396, cpu=2.19, mem=37M156
3.44/2.25	
3.44/2.25	  Preprocessing
3.44/2.25	    filters=44, revisions=(106,useless=51), ccks=2064, nACremovedValues=437, nTotalRemovedValues=437, inconcistency=false
3.44/2.25	    wck=0.014, cpu=2.205, mem=37M156
3.44/2.25	
3.44/2.27	o 74
3.44/2.28	    num=0, depth=91..89, filters=207, revisions=(393,useless=179), ccks=2175, wck=0.038, mem=37M156
3.44/2.28	    decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=74
3.44/2.28	    
3.71/2.30	o 318
3.71/2.30	    num=1, depth=2..89, filters=631, revisions=(1121,useless=549), ccks=2412, wck=0.066, mem=37M156
3.71/2.30	    decisions=70, wrong=23, backtracks=17, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=318
3.71/2.30	    
3.71/2.31	    num=2, depth=2..11, filters=1197, revisions=(2050,useless=992), ccks=2575, wck=0.076, mem=37M156
3.71/2.31	    decisions=105, wrong=38, backtracks=23, failedAssignments=17, nogoods=10, foundSolutions=2, bestBound=318
3.71/2.31	    
3.71/2.32	    num=3, depth=5..17, filters=1631, revisions=(2671,useless=1252), ccks=2696, wck=0.082, mem=37M156
3.71/2.32	    decisions=150, wrong=55, backtracks=33, failedAssignments=28, nogoods=18, foundSolutions=2, bestBound=318
3.71/2.32	    
3.71/2.33	o 335
3.71/2.33	    num=4, depth=2..89, filters=2021, revisions=(3322,useless=1560), ccks=2873, wck=0.092, mem=37M156
3.71/2.33	    decisions=174, wrong=64, backtracks=38, failedAssignments=34, nogoods=22, foundSolutions=3, bestBound=335
3.71/2.33	    
3.71/2.34	    num=5, depth=1..4, filters=2671, revisions=(4588,useless=2209), ccks=3012, wck=0.107, mem=37M156
3.71/2.34	    decisions=208, wrong=79, backtracks=41, failedAssignments=47, nogoods=33, foundSolutions=3, bestBound=335
3.71/2.34	    
3.71/2.35	    num=6, depth=2..7, filters=3085, revisions=(5233,useless=2487), ccks=3113, wck=0.112, mem=37M156
3.71/2.35	    decisions=239, wrong=92, backtracks=43, failedAssignments=58, nogoods=41, foundSolutions=3, bestBound=335
3.71/2.35	    
3.71/2.36	o 415
3.71/2.36	    num=7, depth=3..89, filters=3414, revisions=(5823,useless=2772), ccks=3287, wck=0.118, mem=39M798
3.71/2.36	    decisions=257, wrong=95, backtracks=43, failedAssignments=61, nogoods=44, foundSolutions=4, bestBound=415
3.71/2.36	    
3.71/2.36	    num=8, depth=6..13, filters=4023, revisions=(6854,useless=3259), ccks=3433, wck=0.125, mem=39M798
3.71/2.36	    decisions=302, wrong=112, backtracks=47, failedAssignments=74, nogoods=51, foundSolutions=4, bestBound=415
3.71/2.36	    
3.71/2.37	    num=9, depth=9..13, filters=4664, revisions=(7821,useless=3652), ccks=3616, wck=0.132, mem=39M798
3.71/2.37	    decisions=341, wrong=126, backtracks=50, failedAssignments=85, nogoods=59, foundSolutions=4, bestBound=415
3.71/2.37	    
3.71/2.37	    num=10, depth=3..16, filters=5090, revisions=(8422,useless=3907), ccks=3730, wck=0.136, mem=39M798
3.71/2.37	    decisions=387, wrong=143, backtracks=56, failedAssignments=97, nogoods=64, foundSolutions=4, bestBound=415
3.71/2.37	    
3.71/2.38	    num=11, depth=6..14, filters=5493, revisions=(9035,useless=4169), ccks=3825, wck=0.14, mem=39M798
3.71/2.38	    decisions=427, wrong=156, backtracks=56, failedAssignments=110, nogoods=77, foundSolutions=4, bestBound=415
3.71/2.38	    
3.71/2.39	    num=12, depth=3..12, filters=6102, revisions=(9870,useless=4505), ccks=3997, wck=0.146, mem=39M798
3.71/2.39	    decisions=476, wrong=175, backtracks=63, failedAssignments=124, nogoods=84, foundSolutions=4, bestBound=415
3.71/2.39	    
3.71/2.39	o 508
3.71/2.39	    num=13, depth=6..89, filters=6720, revisions=(10823,useless=4907), ccks=4249, wck=0.154, mem=39M798
3.71/2.39	    decisions=517, wrong=190, backtracks=70, failedAssignments=134, nogoods=88, foundSolutions=5, bestBound=508
3.71/2.39	    
4.03/2.40	    num=14, depth=8..16, filters=7423, revisions=(11919,useless=5417), ccks=4518, wck=0.161, mem=39M798
4.03/2.40	    decisions=582, wrong=218, backtracks=82, failedAssignments=151, nogoods=92, foundSolutions=5, bestBound=508
4.03/2.40	    
4.03/2.40	    num=15, depth=2..11, filters=7803, revisions=(12437,useless=5636), ccks=4646, wck=0.165, mem=39M798
4.03/2.40	    decisions=620, wrong=235, backtracks=90, failedAssignments=162, nogoods=100, foundSolutions=5, bestBound=508
4.03/2.40	    
4.03/2.41	    num=16, depth=7..12, filters=8423, revisions=(13450,useless=6077), ccks=4866, wck=0.172, mem=39M798
4.03/2.41	    decisions=659, wrong=250, backtracks=94, failedAssignments=174, nogoods=107, foundSolutions=5, bestBound=508
4.03/2.41	    
4.03/2.42	    num=17, depth=4..13, filters=9092, revisions=(14379,useless=6451), ccks=5067, wck=0.179, mem=39M798
4.03/2.42	    decisions=718, wrong=275, backtracks=108, failedAssignments=187, nogoods=116, foundSolutions=5, bestBound=508
4.03/2.42	    
4.03/2.43	    num=18, depth=0..10, filters=9960, revisions=(15750,useless=7056), ccks=5346, wck=0.187, mem=39M798
4.03/2.43	    decisions=777, wrong=300, backtracks=122, failedAssignments=201, nogoods=120, foundSolutions=5, bestBound=508
4.03/2.43	    
4.03/2.43	    num=19, depth=1..8, filters=10567, revisions=(16623,useless=7437), ccks=5510, wck=0.194, mem=39M798
4.03/2.43	    decisions=835, wrong=326, backtracks=134, failedAssignments=217, nogoods=129, foundSolutions=5, bestBound=508
4.03/2.43	    
4.03/2.44	    num=20, depth=2..16, filters=11206, revisions=(17554,useless=7835), ccks=5704, wck=0.2, mem=39M798
4.03/2.44	    decisions=898, wrong=355, backtracks=153, failedAssignments=234, nogoods=134, foundSolutions=5, bestBound=508
4.03/2.44	    
4.03/2.45	    num=21, depth=0..11, filters=11934, revisions=(18645,useless=8299), ccks=5927, wck=0.208, mem=39M798
4.03/2.45	    decisions=951, wrong=377, backtracks=156, failedAssignments=253, nogoods=149, foundSolutions=5, bestBound=508
4.03/2.45	    
4.03/2.46	    num=22, depth=0..15, filters=12828, revisions=(19964,useless=8861), ccks=6247, wck=0.218, mem=39M798
4.03/2.46	    decisions=1029, wrong=412, backtracks=177, failedAssignments=274, nogoods=157, foundSolutions=5, bestBound=508
4.03/2.46	    
4.03/2.46	    num=23, depth=2..10, filters=13492, revisions=(20865,useless=9252), ccks=6466, wck=0.224, mem=39M798
4.03/2.46	    decisions=1095, wrong=443, backtracks=187, failedAssignments=297, nogoods=162, foundSolutions=5, bestBound=508
4.03/2.46	    
4.03/2.47	    num=24, depth=6..13, filters=14644, revisions=(22596,useless=10017), ccks=6905, wck=0.233, mem=39M798
4.03/2.47	    decisions=1170, wrong=476, backtracks=202, failedAssignments=322, nogoods=171, foundSolutions=5, bestBound=508
4.03/2.47	    
4.03/2.48	    num=25, depth=1..8, filters=15689, revisions=(24079,useless=10649), ccks=7215, wck=0.241, mem=42M441
4.03/2.48	    decisions=1255, wrong=515, backtracks=214, failedAssignments=350, nogoods=184, foundSolutions=5, bestBound=508
4.03/2.48	    
4.03/2.49	    num=26, depth=3..13, filters=17038, revisions=(26058,useless=11514), ccks=7629, wck=0.252, mem=42M441
4.03/2.49	    decisions=1356, wrong=560, backtracks=232, failedAssignments=381, nogoods=193, foundSolutions=5, bestBound=508
4.03/2.49	    
4.35/2.50	    num=27, depth=2..12, filters=18204, revisions=(27729,useless=12232), ccks=7929, wck=0.263, mem=42M441
4.35/2.50	    decisions=1467, wrong=612, backtracks=261, failedAssignments=415, nogoods=207, foundSolutions=5, bestBound=508
4.35/2.50	    
4.35/2.51	    num=28, depth=2..20, filters=19333, revisions=(29384,useless=12950), ccks=8295, wck=0.272, mem=42M441
4.35/2.51	    decisions=1573, wrong=658, backtracks=274, failedAssignments=452, nogoods=222, foundSolutions=5, bestBound=508
4.35/2.51	    
4.35/2.52	    num=29, depth=1..11, filters=20728, revisions=(31356,useless=13800), ccks=8699, wck=0.283, mem=42M441
4.35/2.52	    decisions=1700, wrong=717, backtracks=302, failedAssignments=493, nogoods=237, foundSolutions=5, bestBound=508
4.35/2.52	    
4.35/2.54	    num=30, depth=2..17, filters=22913, revisions=(34431,useless=15066), ccks=9330, wck=0.299, mem=42M441
4.35/2.54	    decisions=1882, wrong=803, backtracks=346, failedAssignments=538, nogoods=254, foundSolutions=5, bestBound=508
4.35/2.54	    
4.35/2.55	    num=31, depth=2..17, filters=24901, revisions=(37084,useless=16144), ccks=9963, wck=0.313, mem=42M441
4.35/2.55	    decisions=2071, wrong=893, backtracks=397, failedAssignments=588, nogoods=272, foundSolutions=5, bestBound=508
4.35/2.55	    
4.35/2.57	    num=32, depth=0..16, filters=27038, revisions=(40066,useless=17426), ccks=10600, wck=0.328, mem=42M441
4.35/2.57	    decisions=2246, wrong=977, backtracks=434, failedAssignments=643, nogoods=277, foundSolutions=5, bestBound=508
4.35/2.57	    
4.35/2.58	    num=33, depth=4..18, filters=29363, revisions=(43255,useless=18730), ccks=11228, wck=0.344, mem=42M441
4.35/2.58	    decisions=2442, wrong=1071, backtracks=481, failedAssignments=704, nogoods=285, foundSolutions=5, bestBound=508
4.35/2.58	    
4.65/2.60	    num=34, depth=5..17, filters=31954, revisions=(46830,useless=20235), ccks=12067, wck=0.362, mem=45M83
4.65/2.60	    decisions=2691, wrong=1192, backtracks=551, failedAssignments=771, nogoods=292, foundSolutions=5, bestBound=508
4.65/2.60	    
4.65/2.61	    num=35, depth=4..18, filters=34498, revisions=(49998,useless=21435), ccks=12924, wck=0.375, mem=45M83
4.65/2.61	    decisions=2949, wrong=1316, backtracks=615, failedAssignments=845, nogoods=300, foundSolutions=5, bestBound=508
4.65/2.61	    
4.65/2.63	    num=36, depth=5..14, filters=37923, revisions=(54925,useless=23551), ccks=13904, wck=0.397, mem=45M83
4.65/2.63	    decisions=3192, wrong=1432, backtracks=662, failedAssignments=926, nogoods=311, foundSolutions=5, bestBound=508
4.65/2.63	    
4.65/2.64	o 513
4.65/2.64	    num=37, depth=4..89, filters=38465, revisions=(55781,useless=23921), ccks=14154, wck=0.402, mem=45M83
4.65/2.64	    decisions=3237, wrong=1449, backtracks=671, failedAssignments=937, nogoods=320, foundSolutions=6, bestBound=513
4.65/2.64	    
4.65/2.66	    num=38, depth=5..16, filters=42059, revisions=(60868,useless=26143), ccks=15280, wck=0.423, mem=45M83
4.65/2.66	    decisions=3534, wrong=1592, backtracks=743, failedAssignments=1035, nogoods=337, foundSolutions=6, bestBound=513
4.65/2.66	    
4.65/2.67	    num=39, depth=0..10, filters=42669, revisions=(61811,useless=26555), ccks=15461, wck=0.429, mem=45M83
4.65/2.67	    decisions=3571, wrong=1608, backtracks=748, failedAssignments=1046, nogoods=340, foundSolutions=6, bestBound=513
4.65/2.67	    
4.65/2.67	    num=40, depth=8..16, filters=43185, revisions=(62659,useless=26937), ccks=15625, wck=0.432, mem=45M83
4.65/2.67	    decisions=3613, wrong=1622, backtracks=751, failedAssignments=1058, nogoods=344, foundSolutions=6, bestBound=513
4.65/2.67	    
4.65/2.67	    num=41, depth=3..10, filters=43673, revisions=(63363,useless=27239), ccks=15772, wck=0.435, mem=45M83
4.65/2.67	    decisions=3652, wrong=1638, backtracks=755, failedAssignments=1071, nogoods=352, foundSolutions=6, bestBound=513
4.65/2.67	    
4.65/2.68	    num=42, depth=1..13, filters=44269, revisions=(64180,useless=27575), ccks=15949, wck=0.44, mem=45M83
4.65/2.68	    decisions=3702, wrong=1659, backtracks=765, failedAssignments=1085, nogoods=361, foundSolutions=6, bestBound=513
4.65/2.68	    
4.65/2.68	    num=43, depth=3..9, filters=45238, revisions=(65635,useless=28201), ccks=16210, wck=0.447, mem=45M83
4.65/2.68	    decisions=3758, wrong=1684, backtracks=775, failedAssignments=1101, nogoods=368, foundSolutions=6, bestBound=513
4.65/2.68	    
4.65/2.69	    num=44, depth=1..14, filters=46062, revisions=(66823,useless=28717), ccks=16428, wck=0.452, mem=45M83
4.65/2.69	    decisions=3826, wrong=1715, backtracks=794, failedAssignments=1118, nogoods=374, foundSolutions=6, bestBound=513
4.65/2.69	    
4.96/2.70	    num=45, depth=4..9, filters=47071, revisions=(68323,useless=29334), ccks=16726, wck=0.46, mem=45M83
4.96/2.70	    decisions=3878, wrong=1738, backtracks=800, failedAssignments=1137, nogoods=390, foundSolutions=6, bestBound=513
4.96/2.70	    
4.96/2.70	    num=46, depth=5..15, filters=47939, revisions=(69544,useless=29847), ccks=16974, wck=0.465, mem=45M83
4.96/2.70	    decisions=3943, wrong=1766, backtracks=810, failedAssignments=1158, nogoods=398, foundSolutions=6, bestBound=513
4.96/2.70	    
4.96/2.71	    num=47, depth=2..15, filters=48733, revisions=(70770,useless=30376), ccks=17181, wck=0.471, mem=45M83
4.96/2.71	    decisions=4006, wrong=1793, backtracks=815, failedAssignments=1181, nogoods=417, foundSolutions=6, bestBound=513
4.96/2.71	    
4.96/2.71	    num=48, depth=4..17, filters=49740, revisions=(72260,useless=31021), ccks=17465, wck=0.477, mem=45M83
4.96/2.71	    decisions=4088, wrong=1827, backtracks=829, failedAssignments=1206, nogoods=434, foundSolutions=6, bestBound=513
4.96/2.71	    
4.96/2.72	    num=49, depth=0..15, filters=51190, revisions=(74325,useless=31890), ccks=17912, wck=0.486, mem=45M83
4.96/2.72	    decisions=4180, wrong=1868, backtracks=845, failedAssignments=1234, nogoods=451, foundSolutions=6, bestBound=513
4.96/2.72	    
4.96/2.73	    num=50, depth=2..13, filters=52440, revisions=(76043,useless=32609), ccks=18275, wck=0.493, mem=45M83
4.96/2.73	    decisions=4285, wrong=1916, backtracks=869, failedAssignments=1265, nogoods=463, foundSolutions=6, bestBound=513
4.96/2.73	    
4.96/2.74	    num=51, depth=8..16, filters=53669, revisions=(77899,useless=33443), ccks=18663, wck=0.5, mem=45M83
4.96/2.74	    decisions=4389, wrong=1962, backtracks=885, failedAssignments=1299, nogoods=472, foundSolutions=6, bestBound=513
4.96/2.74	    
4.96/2.75	    num=52, depth=3..16, filters=55508, revisions=(80445,useless=34510), ccks=19222, wck=0.511, mem=45M83
4.96/2.75	    decisions=4528, wrong=2028, backtracks=925, failedAssignments=1336, nogoods=481, foundSolutions=6, bestBound=513
4.96/2.75	    
4.96/2.76	    num=53, depth=1..18, filters=57283, revisions=(82976,useless=35596), ccks=19753, wck=0.521, mem=47M725
4.96/2.76	    decisions=4672, wrong=2094, backtracks=957, failedAssignments=1377, nogoods=490, foundSolutions=6, bestBound=513
4.96/2.76	    
4.96/2.77	    num=54, depth=0..12, filters=59432, revisions=(85836,useless=36736), ccks=20417, wck=0.533, mem=47M725
4.96/2.77	    decisions=4847, wrong=2179, backtracks=1007, failedAssignments=1422, nogoods=496, foundSolutions=6, bestBound=513
4.96/2.77	    
4.96/2.78	    num=55, depth=4..17, filters=61664, revisions=(88810,useless=37947), ccks=21064, wck=0.544, mem=47M725
4.96/2.78	    decisions=5037, wrong=2270, backtracks=1060, failedAssignments=1472, nogoods=505, foundSolutions=6, bestBound=513
4.96/2.78	    
4.96/2.80	    num=56, depth=5..14, filters=64080, revisions=(92231,useless=39397), ccks=21834, wck=0.558, mem=47M725
4.96/2.80	    decisions=5207, wrong=2352, backtracks=1095, failedAssignments=1527, nogoods=515, foundSolutions=6, bestBound=513
4.96/2.80	    
5.24/2.81	    num=57, depth=2..15, filters=66674, revisions=(95804,useless=40913), ccks=22604, wck=0.572, mem=47M725
5.24/2.81	    decisions=5411, wrong=2452, backtracks=1146, failedAssignments=1588, nogoods=519, foundSolutions=6, bestBound=513
5.24/2.81	    
5.24/2.82	    num=58, depth=5..16, filters=69344, revisions=(99589,useless=42534), ccks=23435, wck=0.587, mem=47M725
5.24/2.82	    decisions=5620, wrong=2552, backtracks=1185, failedAssignments=1655, nogoods=529, foundSolutions=6, bestBound=513
5.24/2.82	    
5.24/2.84	    num=59, depth=7..19, filters=72254, revisions=(103698,useless=44300), ccks=24315, wck=0.602, mem=47M725
5.24/2.84	    decisions=5867, wrong=2668, backtracks=1245, failedAssignments=1729, nogoods=545, foundSolutions=6, bestBound=513
5.24/2.84	    
5.24/2.86	    num=60, depth=0..15, filters=74973, revisions=(107480,useless=45912), ccks=25066, wck=0.618, mem=47M725
5.24/2.86	    decisions=6103, wrong=2786, backtracks=1320, failedAssignments=1810, nogoods=545, foundSolutions=6, bestBound=513
5.24/2.86	    
5.24/2.87	    num=61, depth=5..18, filters=78710, revisions=(112472,useless=47944), ccks=26260, wck=0.637, mem=47M725
5.24/2.87	    decisions=6421, wrong=2940, backtracks=1401, failedAssignments=1899, nogoods=556, foundSolutions=6, bestBound=513
5.24/2.87	    
5.48/2.90	    num=62, depth=1..17, filters=83518, revisions=(119046,useless=50686), ccks=27716, wck=0.662, mem=47M725
5.48/2.90	    decisions=6772, wrong=3111, backtracks=1497, failedAssignments=1997, nogoods=580, foundSolutions=6, bestBound=513
5.48/2.90	    
5.48/2.92	    num=63, depth=3..16, filters=87624, revisions=(124526,useless=52948), ccks=29001, wck=0.683, mem=47M725
5.48/2.92	    decisions=7153, wrong=3297, backtracks=1613, failedAssignments=2105, nogoods=600, foundSolutions=6, bestBound=513
5.48/2.92	    
5.48/2.93	o 567
5.48/2.93	    num=64, depth=2..89, filters=89295, revisions=(126833,useless=53914), ccks=29571, wck=0.693, mem=50M368
5.48/2.93	    decisions=7283, wrong=3354, backtracks=1645, failedAssignments=2139, nogoods=610, foundSolutions=7, bestBound=567
5.48/2.93	    
5.48/2.96	    num=65, depth=5..16, filters=95609, revisions=(135526,useless=57604), ccks=31725, wck=0.724, mem=50M368
5.48/2.96	    decisions=7717, wrong=3568, backtracks=1751, failedAssignments=2270, nogoods=619, foundSolutions=7, bestBound=567
5.48/2.96	    
5.48/2.97	    num=66, depth=1..14, filters=96448, revisions=(136761,useless=58111), ccks=31987, wck=0.73, mem=50M368
5.48/2.97	    decisions=7771, wrong=3590, backtracks=1765, failedAssignments=2281, nogoods=627, foundSolutions=7, bestBound=567
5.48/2.97	    
5.48/2.97	    num=67, depth=2..13, filters=96979, revisions=(137557,useless=58449), ccks=32143, wck=0.734, mem=50M368
5.48/2.97	    decisions=7809, wrong=3605, backtracks=1770, failedAssignments=2293, nogoods=633, foundSolutions=7, bestBound=567
5.48/2.97	    
5.48/2.98	    num=68, depth=6..16, filters=97633, revisions=(138513,useless=58856), ccks=32376, wck=0.738, mem=50M368
5.48/2.98	    decisions=7859, wrong=3627, backtracks=1781, failedAssignments=2306, nogoods=636, foundSolutions=7, bestBound=567
5.48/2.98	    
5.48/2.98	    num=69, depth=2..16, filters=98120, revisions=(139204,useless=59154), ccks=32533, wck=0.741, mem=50M368
5.48/2.98	    decisions=7909, wrong=3648, backtracks=1794, failedAssignments=2320, nogoods=643, foundSolutions=7, bestBound=567
5.48/2.98	    
5.48/2.98	    num=70, depth=2..13, filters=98760, revisions=(140137,useless=59567), ccks=32728, wck=0.745, mem=50M368
5.48/2.98	    decisions=7958, wrong=3671, backtracks=1805, failedAssignments=2336, nogoods=648, foundSolutions=7, bestBound=567
5.48/2.98	    
5.48/2.99	    num=71, depth=7..14, filters=99604, revisions=(141373,useless=60096), ccks=33018, wck=0.749, mem=50M368
5.48/2.99	    decisions=8017, wrong=3697, backtracks=1815, failedAssignments=2353, nogoods=651, foundSolutions=7, bestBound=567
5.48/2.99	    
5.48/2.99	    num=72, depth=3..18, filters=100571, revisions=(142802,useless=60703), ccks=33283, wck=0.755, mem=50M368
5.48/2.99	    decisions=8084, wrong=3725, backtracks=1832, failedAssignments=2372, nogoods=661, foundSolutions=7, bestBound=567
5.48/2.99	    
5.48/3.00	    num=73, depth=1..15, filters=101585, revisions=(144324,useless=61374), ccks=33576, wck=0.763, mem=50M368
5.48/3.00	    decisions=8164, wrong=3760, backtracks=1852, failedAssignments=2393, nogoods=670, foundSolutions=7, bestBound=567
5.48/3.00	    
5.77/3.01	    num=74, depth=4..17, filters=102850, revisions=(146116,useless=62114), ccks=33953, wck=0.771, mem=50M368
5.77/3.01	    decisions=8258, wrong=3804, backtracks=1885, failedAssignments=2416, nogoods=678, foundSolutions=7, bestBound=567
5.77/3.01	    
5.77/3.02	    num=75, depth=2..12, filters=104087, revisions=(147839,useless=62833), ccks=34310, wck=0.778, mem=50M368
5.77/3.02	    decisions=8346, wrong=3845, backtracks=1902, failedAssignments=2441, nogoods=682, foundSolutions=7, bestBound=567
5.77/3.02	    
5.77/3.02	    num=76, depth=6..14, filters=105467, revisions=(149822,useless=63666), ccks=34784, wck=0.786, mem=50M368
5.77/3.02	    decisions=8449, wrong=3892, backtracks=1930, failedAssignments=2469, nogoods=688, foundSolutions=7, bestBound=567
5.77/3.02	    
5.77/3.03	o 583
5.77/3.03	    num=77, depth=7..89, filters=106068, revisions=(150826,useless=64118), ccks=35033, wck=0.791, mem=50M368
5.77/3.03	    decisions=8489, wrong=3903, backtracks=1930, failedAssignments=2480, nogoods=699, foundSolutions=8, bestBound=583
5.77/3.03	    
5.77/3.04	    num=78, depth=6..14, filters=107665, revisions=(153132,useless=65126), ccks=35611, wck=0.799, mem=50M368
5.77/3.04	    decisions=8604, wrong=3954, backtracks=1953, failedAssignments=2514, nogoods=708, foundSolutions=8, bestBound=583
5.77/3.04	    
5.77/3.04	    num=79, depth=3..13, filters=108122, revisions=(153813,useless=65424), ccks=35731, wck=0.802, mem=50M368
5.77/3.04	    decisions=8648, wrong=3974, backtracks=1969, failedAssignments=2525, nogoods=710, foundSolutions=8, bestBound=583
5.77/3.04	    
5.77/3.04	    num=80, depth=6..13, filters=108858, revisions=(154959,useless=65937), ccks=35991, wck=0.807, mem=50M368
5.77/3.04	    decisions=8699, wrong=3995, backtracks=1981, failedAssignments=2537, nogoods=715, foundSolutions=8, bestBound=583
5.77/3.04	    
5.77/3.05	    num=81, depth=0..12, filters=109311, revisions=(155626,useless=66225), ccks=36120, wck=0.81, mem=50M368
5.77/3.05	    decisions=8745, wrong=4014, backtracks=1990, failedAssignments=2550, nogoods=723, foundSolutions=8, bestBound=583
5.77/3.05	    
5.77/3.05	    num=82, depth=8..16, filters=110122, revisions=(156891,useless=66767), ccks=36413, wck=0.815, mem=50M368
5.77/3.05	    decisions=8795, wrong=4034, backtracks=2002, failedAssignments=2564, nogoods=729, foundSolutions=8, bestBound=583
5.77/3.05	    
5.77/3.06	    num=83, depth=6..13, filters=111032, revisions=(158306,useless=67408), ccks=36733, wck=0.82, mem=50M368
5.77/3.06	    decisions=8856, wrong=4060, backtracks=2017, failedAssignments=2580, nogoods=736, foundSolutions=8, bestBound=583
5.77/3.06	    
5.77/3.06	    num=84, depth=3..12, filters=111816, revisions=(159357,useless=67809), ccks=37009, wck=0.825, mem=50M368
5.77/3.06	    decisions=8911, wrong=4086, backtracks=2030, failedAssignments=2597, nogoods=738, foundSolutions=8, bestBound=583
5.77/3.06	    
5.77/3.07	    num=85, depth=1..8, filters=112642, revisions=(160586,useless=68333), ccks=37254, wck=0.83, mem=50M368
5.77/3.07	    decisions=8973, wrong=4116, backtracks=2042, failedAssignments=2616, nogoods=741, foundSolutions=8, bestBound=583
5.77/3.07	    
5.77/3.08	    num=86, depth=4..11, filters=113790, revisions=(162313,useless=69085), ccks=37605, wck=0.837, mem=50M368
5.77/3.08	    decisions=9040, wrong=4147, backtracks=2057, failedAssignments=2637, nogoods=745, foundSolutions=8, bestBound=583
5.77/3.08	    
5.77/3.08	    num=87, depth=5..18, filters=114975, revisions=(163945,useless=69762), ccks=37961, wck=0.844, mem=50M368
5.77/3.08	    decisions=9127, wrong=4187, backtracks=2082, failedAssignments=2660, nogoods=752, foundSolutions=8, bestBound=583
5.77/3.08	    
5.77/3.09	    num=88, depth=3..11, filters=115962, revisions=(165448,useless=70413), ccks=38235, wck=0.85, mem=53M10
5.77/3.09	    decisions=9202, wrong=4221, backtracks=2095, failedAssignments=2685, nogoods=758, foundSolutions=8, bestBound=583
5.77/3.09	    
5.77/3.10	    num=89, depth=5..12, filters=117319, revisions=(167359,useless=71203), ccks=38663, wck=0.858, mem=53M10
5.77/3.10	    decisions=9298, wrong=4265, backtracks=2117, failedAssignments=2713, nogoods=767, foundSolutions=8, bestBound=583
5.77/3.10	    
5.77/3.10	    num=90, depth=3..13, filters=118593, revisions=(169197,useless=72004), ccks=39059, wck=0.865, mem=53M10
5.77/3.10	    decisions=9393, wrong=4309, backtracks=2138, failedAssignments=2744, nogoods=780, foundSolutions=8, bestBound=583
5.77/3.10	    
5.98/3.11	    num=91, depth=6..14, filters=120303, revisions=(171774,useless=73136), ccks=39619, wck=0.876, mem=53M10
5.98/3.11	    decisions=9507, wrong=4360, backtracks=2158, failedAssignments=2778, nogoods=799, foundSolutions=8, bestBound=583
5.98/3.11	    
5.98/3.12	    num=92, depth=2..17, filters=121958, revisions=(174045,useless=74071), ccks=40122, wck=0.884, mem=53M10
5.98/3.12	    decisions=9625, wrong=4415, backtracks=2183, failedAssignments=2815, nogoods=810, foundSolutions=8, bestBound=583
5.98/3.12	    
5.98/3.13	    num=93, depth=3..13, filters=123374, revisions=(175953,useless=74854), ccks=40568, wck=0.892, mem=53M10
5.98/3.13	    decisions=9748, wrong=4472, backtracks=2214, failedAssignments=2856, nogoods=819, foundSolutions=8, bestBound=583
5.98/3.13	    
5.98/3.14	    num=94, depth=5..13, filters=125585, revisions=(179029,useless=76136), ccks=41269, wck=0.903, mem=53M10
5.98/3.14	    decisions=9922, wrong=4554, backtracks=2258, failedAssignments=2901, nogoods=834, foundSolutions=8, bestBound=583
5.98/3.14	    
5.98/3.15	    num=95, depth=6..14, filters=128042, revisions=(182516,useless=77614), ccks=42085, wck=0.917, mem=53M10
5.98/3.15	    decisions=10080, wrong=4628, backtracks=2292, failedAssignments=2951, nogoods=850, foundSolutions=8, bestBound=583
5.98/3.15	    
5.98/3.17	    num=96, depth=6..14, filters=130296, revisions=(185500,useless=78811), ccks=42846, wck=0.928, mem=53M10
5.98/3.17	    decisions=10288, wrong=4726, backtracks=2349, failedAssignments=3006, nogoods=861, foundSolutions=8, bestBound=583
5.98/3.17	    
5.98/3.18	    num=97, depth=1..16, filters=132259, revisions=(188238,useless=79997), ccks=43461, wck=0.938, mem=53M10
5.98/3.18	    decisions=10474, wrong=4815, backtracks=2396, failedAssignments=3067, nogoods=873, foundSolutions=8, bestBound=583
5.98/3.18	    
5.98/3.19	    num=98, depth=2..12, filters=134869, revisions=(191824,useless=81484), ccks=44284, wck=0.951, mem=53M10
5.98/3.19	    decisions=10702, wrong=4926, backtracks=2453, failedAssignments=3134, nogoods=887, foundSolutions=8, bestBound=583
5.98/3.19	    
6.17/3.21	    num=99, depth=2..19, filters=137858, revisions=(196114,useless=83325), ccks=45189, wck=0.968, mem=53M10
6.17/3.21	    decisions=10930, wrong=5036, backtracks=2504, failedAssignments=3208, nogoods=897, foundSolutions=8, bestBound=583
6.17/3.21	    
6.17/3.22	    num=100, depth=5..17, filters=141440, revisions=(200955,useless=85307), ccks=46239, wck=0.986, mem=53M10
6.17/3.22	    decisions=11204, wrong=5169, backtracks=2574, failedAssignments=3289, nogoods=912, foundSolutions=8, bestBound=583
6.17/3.22	    
6.17/3.25	    num=101, depth=5..16, filters=145589, revisions=(206698,useless=87678), ccks=47509, wck=1.01, mem=53M10
6.17/3.25	    decisions=11492, wrong=5306, backtracks=2635, failedAssignments=3378, nogoods=936, foundSolutions=8, bestBound=583
6.17/3.25	    
6.17/3.27	    num=102, depth=1..12, filters=149316, revisions=(211753,useless=89759), ccks=48671, wck=1.029, mem=55M653
6.17/3.27	    decisions=11811, wrong=5464, backtracks=2725, failedAssignments=3476, nogoods=943, foundSolutions=8, bestBound=583
6.17/3.27	    
6.17/3.29	    num=103, depth=7..19, filters=154121, revisions=(218665,useless=92733), ccks=50210, wck=1.056, mem=55M653
6.17/3.29	    decisions=12145, wrong=5625, backtracks=2792, failedAssignments=3584, nogoods=969, foundSolutions=8, bestBound=583
6.17/3.29	    
6.39/3.32	    num=104, depth=4..18, filters=158823, revisions=(225194,useless=95509), ccks=51588, wck=1.081, mem=55M653
6.39/3.32	    decisions=12505, wrong=5802, backtracks=2871, failedAssignments=3703, nogoods=981, foundSolutions=8, bestBound=583
6.39/3.32	    
6.39/3.34	    num=105, depth=7..19, filters=163172, revisions=(231291,useless=98134), ccks=53076, wck=1.104, mem=55M653
6.39/3.34	    decisions=12875, wrong=5980, backtracks=2925, failedAssignments=3834, nogoods=1000, foundSolutions=8, bestBound=583
6.39/3.34	    
6.39/3.38	    num=106, depth=7..17, filters=170267, revisions=(241356,useless=102373), ccks=55330, wck=1.142, mem=55M653
6.39/3.38	    decisions=13297, wrong=6185, backtracks=3016, failedAssignments=3978, nogoods=1020, foundSolutions=8, bestBound=583
6.39/3.38	    
6.59/3.41	    num=107, depth=2..19, filters=176797, revisions=(250231,useless=106130), ccks=57324, wck=1.175, mem=55M653
6.59/3.41	    decisions=13804, wrong=6433, backtracks=3151, failedAssignments=4136, nogoods=1038, foundSolutions=8, bestBound=583
6.59/3.41	    
6.59/3.45	    num=108, depth=7..18, filters=184172, revisions=(260222,useless=110209), ccks=59594, wck=1.213, mem=58M295
6.59/3.45	    decisions=14356, wrong=6704, backtracks=3287, failedAssignments=4310, nogoods=1057, foundSolutions=8, bestBound=583
6.59/3.45	    
6.59/3.49	    num=109, depth=3..18, filters=191444, revisions=(270121,useless=114377), ccks=61637, wck=1.251, mem=58M295
6.59/3.49	    decisions=14931, wrong=6988, backtracks=3406, failedAssignments=4501, nogoods=1077, foundSolutions=8, bestBound=583
6.59/3.49	    
6.81/3.53	    num=110, depth=0..15, filters=199630, revisions=(281314,useless=119049), ccks=64174, wck=1.293, mem=58M295
6.81/3.53	    decisions=15578, wrong=7308, backtracks=3557, failedAssignments=4712, nogoods=1084, foundSolutions=8, bestBound=583
6.81/3.53	    
6.81/3.58	    num=111, depth=1..17, filters=208592, revisions=(293869,useless=124488), ccks=66704, wck=1.338, mem=58M295
6.81/3.58	    decisions=16242, wrong=7638, backtracks=3697, failedAssignments=4944, nogoods=1091, foundSolutions=8, bestBound=583
6.81/3.58	    
6.93/3.63	    num=112, depth=8..16, filters=218030, revisions=(307946,useless=130995), ccks=69585, wck=1.39, mem=60M938
6.93/3.63	    decisions=16912, wrong=7967, backtracks=3793, failedAssignments=5199, nogoods=1109, foundSolutions=8, bestBound=583
6.93/3.63	    
6.93/3.68	    num=113, depth=3..18, filters=229551, revisions=(323586,useless=137545), ccks=73048, wck=1.447, mem=60M938
6.93/3.68	    decisions=17788, wrong=8401, backtracks=3995, failedAssignments=5480, nogoods=1135, foundSolutions=8, bestBound=583
6.93/3.68	    
7.07/3.74	    num=114, depth=4..18, filters=241183, revisions=(339521,useless=144236), ccks=76615, wck=1.506, mem=63M580
7.07/3.74	    decisions=18648, wrong=8828, backtracks=4191, failedAssignments=5789, nogoods=1143, foundSolutions=8, bestBound=583
7.07/3.74	    
7.07/3.78	o 628
7.07/3.79	    num=115, depth=7..89, filters=249026, revisions=(350367,useless=148693), ccks=79098, wck=1.547, mem=63M580
7.07/3.79	    decisions=19171, wrong=9083, backtracks=4288, failedAssignments=5955, nogoods=1159, foundSolutions=9, bestBound=628
7.07/3.79	    
7.22/3.87	    num=116, depth=7..16, filters=263792, revisions=(373176,useless=159295), ccks=83395, wck=1.634, mem=66M223
7.22/3.87	    decisions=20172, wrong=9580, backtracks=4433, failedAssignments=6329, nogoods=1186, foundSolutions=9, bestBound=628
7.22/3.87	    
7.22/3.88	    num=117, depth=4..12, filters=264520, revisions=(374281,useless=159764), ccks=83633, wck=1.638, mem=66M223
7.22/3.88	    decisions=20219, wrong=9601, backtracks=4445, failedAssignments=6340, nogoods=1189, foundSolutions=9, bestBound=628
7.22/3.88	    
7.22/3.88	    num=118, depth=10..16, filters=265153, revisions=(375289,useless=160200), ccks=83868, wck=1.642, mem=66M223
7.22/3.88	    decisions=20259, wrong=9614, backtracks=4446, failedAssignments=6352, nogoods=1201, foundSolutions=9, bestBound=628
7.22/3.88	    
7.22/3.88	    num=119, depth=8..13, filters=265861, revisions=(376357,useless=160656), ccks=84121, wck=1.646, mem=66M223
7.22/3.88	    decisions=20316, wrong=9638, backtracks=4459, failedAssignments=6365, nogoods=1208, foundSolutions=9, bestBound=628
7.22/3.88	    
7.22/3.89	    num=120, depth=6..14, filters=266508, revisions=(377363,useless=161081), ccks=84318, wck=1.65, mem=66M223
7.22/3.89	    decisions=20360, wrong=9655, backtracks=4465, failedAssignments=6379, nogoods=1219, foundSolutions=9, bestBound=628
7.22/3.89	    
7.22/3.89	    num=121, depth=3..13, filters=267542, revisions=(378930,useless=161737), ccks=84602, wck=1.657, mem=66M223
7.22/3.89	    decisions=20409, wrong=9674, backtracks=4468, failedAssignments=6395, nogoods=1234, foundSolutions=9, bestBound=628
7.22/3.89	    
7.32/3.90	    num=122, depth=4..16, filters=268178, revisions=(379825,useless=162128), ccks=84781, wck=1.66, mem=66M223
7.32/3.90	    decisions=20474, wrong=9703, backtracks=4483, failedAssignments=6412, nogoods=1240, foundSolutions=9, bestBound=628
7.32/3.90	    
7.32/3.90	    num=123, depth=4..14, filters=269032, revisions=(381102,useless=162679), ccks=85011, wck=1.666, mem=66M223
7.32/3.90	    decisions=20537, wrong=9730, backtracks=4496, failedAssignments=6431, nogoods=1251, foundSolutions=9, bestBound=628
7.32/3.90	    
7.32/3.91	    num=124, depth=1..15, filters=269920, revisions=(382310,useless=163180), ccks=85291, wck=1.671, mem=66M223
7.32/3.91	    decisions=20610, wrong=9764, backtracks=4514, failedAssignments=6452, nogoods=1257, foundSolutions=9, bestBound=628
7.32/3.91	    
7.32/3.92	    num=125, depth=7..12, filters=271101, revisions=(384262,useless=164111), ccks=85646, wck=1.678, mem=66M223
7.32/3.92	    decisions=20685, wrong=9797, backtracks=4526, failedAssignments=6475, nogoods=1264, foundSolutions=9, bestBound=628
7.32/3.92	    
7.32/3.92	    num=126, depth=1..10, filters=272004, revisions=(385569,useless=164668), ccks=85914, wck=1.683, mem=66M223
7.32/3.92	    decisions=20756, wrong=9829, backtracks=4538, failedAssignments=6500, nogoods=1280, foundSolutions=9, bestBound=628
7.32/3.92	    
7.32/3.93	    num=127, depth=2..15, filters=273484, revisions=(387575,useless=165488), ccks=86352, wck=1.691, mem=66M223
7.32/3.93	    decisions=20856, wrong=9876, backtracks=4563, failedAssignments=6528, nogoods=1290, foundSolutions=9, bestBound=628
7.32/3.93	    
7.32/3.94	    num=128, depth=8..16, filters=274687, revisions=(389378,useless=166289), ccks=86746, wck=1.698, mem=66M223
7.32/3.94	    decisions=20949, wrong=9915, backtracks=4573, failedAssignments=6559, nogoods=1305, foundSolutions=9, bestBound=628
7.32/3.94	    
7.32/3.94	    num=129, depth=3..12, filters=275903, revisions=(391094,useless=167024), ccks=87160, wck=1.705, mem=66M223
7.32/3.94	    decisions=21046, wrong=9960, backtracks=4593, failedAssignments=6593, nogoods=1311, foundSolutions=9, bestBound=628
7.32/3.94	    
7.32/3.95	    num=130, depth=0..14, filters=277898, revisions=(393907,useless=168211), ccks=87757, wck=1.715, mem=66M223
7.32/3.95	    decisions=21182, wrong=10023, backtracks=4628, failedAssignments=6630, nogoods=1321, foundSolutions=9, bestBound=628
7.32/3.95	    
7.32/3.96	    num=131, depth=3..15, filters=279591, revisions=(396199,useless=169160), ccks=88287, wck=1.724, mem=66M223
7.32/3.96	    decisions=21325, wrong=10089, backtracks=4664, failedAssignments=6671, nogoods=1334, foundSolutions=9, bestBound=628
7.32/3.96	    
7.32/3.97	    num=132, depth=9..18, filters=281583, revisions=(399074,useless=170412), ccks=88962, wck=1.734, mem=66M223
7.32/3.97	    decisions=21459, wrong=10151, backtracks=4684, failedAssignments=6716, nogoods=1342, foundSolutions=9, bestBound=628
7.32/3.97	    
7.32/3.98	    num=133, depth=6..13, filters=283370, revisions=(401567,useless=171454), ccks=89577, wck=1.743, mem=66M223
7.32/3.98	    decisions=21616, wrong=10224, backtracks=4715, failedAssignments=6766, nogoods=1353, foundSolutions=9, bestBound=628
7.32/3.98	    
7.32/3.99	    num=134, depth=2..11, filters=285878, revisions=(405194,useless=173001), ccks=90322, wck=1.756, mem=66M223
7.32/3.99	    decisions=21792, wrong=10310, backtracks=4751, failedAssignments=6821, nogoods=1361, foundSolutions=9, bestBound=628
7.32/3.99	    
7.45/4.01	    num=135, depth=6..16, filters=288738, revisions=(409060,useless=174604), ccks=91233, wck=1.77, mem=66M223
7.45/4.01	    decisions=22003, wrong=10411, backtracks=4804, failedAssignments=6882, nogoods=1371, foundSolutions=9, bestBound=628
7.45/4.01	    
7.45/4.02	o 635
7.45/4.02	    num=136, depth=10..89, filters=290273, revisions=(411439,useless=175726), ccks=91845, wck=1.779, mem=68M865
7.45/4.02	    decisions=22110, wrong=10458, backtracks=4823, failedAssignments=6914, nogoods=1376, foundSolutions=10, bestBound=635
7.45/4.02	    
7.45/4.04	    num=137, depth=7..17, filters=293919, revisions=(416806,useless=178154), ccks=92969, wck=1.798, mem=68M865
7.45/4.04	    decisions=22348, wrong=10570, backtracks=4871, failedAssignments=6988, nogoods=1394, foundSolutions=10, bestBound=635
7.45/4.04	    
7.45/4.04	    num=138, depth=6..12, filters=294616, revisions=(417875,useless=178627), ccks=93251, wck=1.803, mem=68M865
7.45/4.04	    decisions=22397, wrong=10590, backtracks=4881, failedAssignments=6999, nogoods=1397, foundSolutions=10, bestBound=635
7.45/4.04	    
7.45/4.04	    num=139, depth=5..9, filters=295001, revisions=(418411,useless=178846), ccks=93361, wck=1.805, mem=68M865
7.45/4.04	    decisions=22430, wrong=10604, backtracks=4886, failedAssignments=7011, nogoods=1404, foundSolutions=10, bestBound=635
7.45/4.04	    
7.45/4.05	    num=140, depth=3..15, filters=295685, revisions=(419466,useless=179297), ccks=93544, wck=1.81, mem=68M865
7.45/4.05	    decisions=22480, wrong=10626, backtracks=4896, failedAssignments=7024, nogoods=1410, foundSolutions=10, bestBound=635
7.45/4.05	    
7.45/4.05	    num=141, depth=6..11, filters=296259, revisions=(420313,useless=179656), ccks=93717, wck=1.813, mem=68M865
7.45/4.05	    decisions=22524, wrong=10644, backtracks=4901, failedAssignments=7038, nogoods=1420, foundSolutions=10, bestBound=635
7.45/4.05	    
7.45/4.06	    num=142, depth=3..15, filters=297030, revisions=(421442,useless=180128), ccks=93943, wck=1.818, mem=68M865
7.45/4.06	    decisions=22579, wrong=10665, backtracks=4909, failedAssignments=7054, nogoods=1431, foundSolutions=10, bestBound=635
7.45/4.06	    
7.45/4.06	    num=143, depth=2..11, filters=297712, revisions=(422443,useless=180545), ccks=94142, wck=1.822, mem=68M865
7.45/4.06	    decisions=22628, wrong=10688, backtracks=4923, failedAssignments=7071, nogoods=1438, foundSolutions=10, bestBound=635
7.45/4.06	    
7.45/4.07	    num=144, depth=10..17, filters=298772, revisions=(424084,useless=181285), ccks=94518, wck=1.828, mem=68M865
7.45/4.07	    decisions=22698, wrong=10716, backtracks=4934, failedAssignments=7090, nogoods=1446, foundSolutions=10, bestBound=635
7.45/4.07	    
7.45/4.07	    num=145, depth=3..12, filters=299554, revisions=(425290,useless=181813), ccks=94737, wck=1.834, mem=68M865
7.45/4.07	    decisions=22758, wrong=10741, backtracks=4941, failedAssignments=7111, nogoods=1460, foundSolutions=10, bestBound=635
7.45/4.07	    
7.45/4.08	    num=146, depth=1..11, filters=300299, revisions=(426376,useless=182294), ccks=94988, wck=1.838, mem=68M865
7.45/4.08	    decisions=22824, wrong=10771, backtracks=4952, failedAssignments=7134, nogoods=1469, foundSolutions=10, bestBound=635
7.45/4.08	    
7.45/4.08	    num=147, depth=8..18, filters=301428, revisions=(428055,useless=183033), ccks=95365, wck=1.844, mem=68M865
7.45/4.08	    decisions=22912, wrong=10810, backtracks=4969, failedAssignments=7159, nogoods=1472, foundSolutions=10, bestBound=635
7.45/4.08	    
7.45/4.09	    num=148, depth=7..11, filters=302749, revisions=(430096,useless=183931), ccks=95817, wck=1.852, mem=68M865
7.45/4.09	    decisions=22993, wrong=10846, backtracks=4978, failedAssignments=7187, nogoods=1480, foundSolutions=10, bestBound=635
7.45/4.09	    
7.45/4.10	    num=149, depth=3..12, filters=304332, revisions=(432269,useless=184826), ccks=96295, wck=1.86, mem=68M865
7.45/4.10	    decisions=23110, wrong=10900, backtracks=5005, failedAssignments=7218, nogoods=1489, foundSolutions=10, bestBound=635
7.45/4.10	    
7.45/4.10	o 636
7.45/4.10	    num=150, depth=10..89, filters=304800, revisions=(433090,useless=185220), ccks=96566, wck=1.864, mem=68M865
7.45/4.10	    decisions=23141, wrong=10909, backtracks=5009, failedAssignments=7224, nogoods=1494, foundSolutions=11, bestBound=636
7.45/4.10	    
7.56/4.11	    num=151, depth=8..14, filters=306425, revisions=(435620,useless=186401), ccks=97116, wck=1.873, mem=68M865
7.56/4.11	    decisions=23254, wrong=10961, backtracks=5024, failedAssignments=7261, nogoods=1503, foundSolutions=11, bestBound=636
7.56/4.11	    
7.56/4.12	    num=152, depth=3..10, filters=307032, revisions=(436559,useless=186811), ccks=97275, wck=1.877, mem=68M865
7.56/4.12	    decisions=23295, wrong=10978, backtracks=5032, failedAssignments=7272, nogoods=1510, foundSolutions=11, bestBound=636
7.56/4.12	    
7.56/4.12	    num=153, depth=3..12, filters=307617, revisions=(437402,useless=187159), ccks=97443, wck=1.881, mem=68M865
7.56/4.12	    decisions=23345, wrong=10999, backtracks=5043, failedAssignments=7284, nogoods=1517, foundSolutions=11, bestBound=636
7.56/4.12	    
7.56/4.12	    num=154, depth=7..13, filters=308237, revisions=(438351,useless=187552), ccks=97689, wck=1.885, mem=68M865
7.56/4.12	    decisions=23389, wrong=11015, backtracks=5046, failedAssignments=7297, nogoods=1526, foundSolutions=11, bestBound=636
7.56/4.12	    
7.56/4.13	    num=155, depth=7..12, filters=308973, revisions=(439440,useless=187993), ccks=97966, wck=1.889, mem=68M865
7.56/4.13	    decisions=23438, wrong=11036, backtracks=5054, failedAssignments=7311, nogoods=1535, foundSolutions=11, bestBound=636
7.56/4.13	    
7.56/4.13	    num=156, depth=6..14, filters=310084, revisions=(441082,useless=188695), ccks=98347, wck=1.896, mem=68M865
7.56/4.13	    decisions=23509, wrong=11067, backtracks=5072, failedAssignments=7327, nogoods=1538, foundSolutions=11, bestBound=636
7.56/4.13	    
7.56/4.14	    num=157, depth=6..14, filters=311091, revisions=(442664,useless=189387), ccks=98695, wck=1.902, mem=68M865
7.56/4.14	    decisions=23561, wrong=11088, backtracks=5077, failedAssignments=7344, nogoods=1548, foundSolutions=11, bestBound=636
7.56/4.14	    
7.56/4.15	    num=158, depth=3..12, filters=312162, revisions=(444237,useless=190051), ccks=98987, wck=1.908, mem=68M865
7.56/4.15	    decisions=23633, wrong=11120, backtracks=5092, failedAssignments=7363, nogoods=1556, foundSolutions=11, bestBound=636
7.56/4.15	    
7.56/4.15	    num=159, depth=8..19, filters=313246, revisions=(445902,useless=190779), ccks=99333, wck=1.914, mem=71M507
7.56/4.15	    decisions=23707, wrong=11152, backtracks=5105, failedAssignments=7384, nogoods=1565, foundSolutions=11, bestBound=636
7.56/4.15	    
7.56/4.16	    num=160, depth=8..12, filters=314273, revisions=(447476,useless=191497), ccks=99675, wck=1.92, mem=71M507
7.56/4.16	    decisions=23779, wrong=11183, backtracks=5113, failedAssignments=7407, nogoods=1575, foundSolutions=11, bestBound=636
7.56/4.16	    
7.56/4.16	    num=161, depth=5..11, filters=315333, revisions=(449058,useless=192173), ccks=100009, wck=1.926, mem=71M507
7.56/4.16	    decisions=23855, wrong=11216, backtracks=5125, failedAssignments=7432, nogoods=1588, foundSolutions=11, bestBound=636
7.56/4.16	    
7.56/4.17	    num=162, depth=5..15, filters=316660, revisions=(451026,useless=192986), ccks=100359, wck=1.934, mem=71M507
7.56/4.17	    decisions=23939, wrong=11254, backtracks=5141, failedAssignments=7460, nogoods=1600, foundSolutions=11, bestBound=636
7.56/4.17	    
7.56/4.18	    num=163, depth=1..12, filters=317954, revisions=(452876,useless=193798), ccks=100751, wck=1.941, mem=71M507
7.56/4.18	    decisions=24048, wrong=11304, backtracks=5169, failedAssignments=7491, nogoods=1610, foundSolutions=11, bestBound=636
7.56/4.18	    
7.56/4.19	    num=164, depth=9..15, filters=319660, revisions=(455516,useless=195023), ccks=101280, wck=1.951, mem=71M507
7.56/4.19	    decisions=24158, wrong=11353, backtracks=5186, failedAssignments=7525, nogoods=1618, foundSolutions=11, bestBound=636
7.56/4.19	    
7.56/4.20	    num=165, depth=9..13, filters=321097, revisions=(457696,useless=195994), ccks=101789, wck=1.959, mem=71M507
7.56/4.20	    decisions=24259, wrong=11399, backtracks=5196, failedAssignments=7562, nogoods=1622, foundSolutions=11, bestBound=636
7.56/4.20	    
7.65/4.21	    num=166, depth=1..15, filters=323003, revisions=(460334,useless=197089), ccks=102378, wck=1.969, mem=71M507
7.65/4.21	    decisions=24409, wrong=11472, backtracks=5243, failedAssignments=7603, nogoods=1632, foundSolutions=11, bestBound=636
7.65/4.21	    
7.65/4.22	    num=167, depth=8..15, filters=324843, revisions=(462916,useless=198172), ccks=102959, wck=1.978, mem=71M507
7.65/4.22	    decisions=24549, wrong=11537, backtracks=5272, failedAssignments=7648, nogoods=1638, foundSolutions=11, bestBound=636
7.65/4.22	    
7.65/4.23	    num=168, depth=7..14, filters=326704, revisions=(465758,useless=199470), ccks=103565, wck=1.989, mem=71M507
7.65/4.23	    decisions=24693, wrong=11604, backtracks=5293, failedAssignments=7698, nogoods=1651, foundSolutions=11, bestBound=636
7.65/4.23	    
7.65/4.24	    num=169, depth=4..13, filters=329030, revisions=(469001,useless=200859), ccks=104249, wck=2.001, mem=71M507
7.65/4.24	    decisions=24885, wrong=11697, backtracks=5341, failedAssignments=7753, nogoods=1654, foundSolutions=11, bestBound=636
7.65/4.24	    
7.65/4.25	    num=170, depth=6..15, filters=331622, revisions=(472626,useless=202397), ccks=104995, wck=2.015, mem=71M507
7.65/4.25	    decisions=25080, wrong=11790, backtracks=5384, failedAssignments=7814, nogoods=1658, foundSolutions=11, bestBound=636
7.65/4.25	    
7.65/4.27	    num=171, depth=7..14, filters=334596, revisions=(477019,useless=204360), ccks=105930, wck=2.031, mem=71M507
7.65/4.27	    decisions=25284, wrong=11887, backtracks=5418, failedAssignments=7881, nogoods=1678, foundSolutions=11, bestBound=636
7.65/4.27	    
7.65/4.28	    num=172, depth=4..12, filters=337313, revisions=(480772,useless=205979), ccks=106828, wck=2.044, mem=71M507
7.65/4.28	    decisions=25512, wrong=11997, backtracks=5469, failedAssignments=7955, nogoods=1683, foundSolutions=11, bestBound=636
7.65/4.28	    
7.75/4.30	    num=173, depth=7..16, filters=340344, revisions=(485245,useless=208011), ccks=107701, wck=2.061, mem=74M150
7.75/4.30	    decisions=25742, wrong=12107, backtracks=5510, failedAssignments=8036, nogoods=1696, foundSolutions=11, bestBound=636
7.75/4.30	    
7.75/4.32	    num=174, depth=7..19, filters=344040, revisions=(490588,useless=210374), ccks=108741, wck=2.08, mem=74M150
7.75/4.32	    decisions=26016, wrong=12237, backtracks=5561, failedAssignments=8125, nogoods=1712, foundSolutions=11, bestBound=636
7.75/4.32	    
7.75/4.34	    num=175, depth=0..14, filters=348078, revisions=(496188,useless=212750), ccks=110003, wck=2.101, mem=74M150
7.75/4.34	    decisions=26335, wrong=12392, backtracks=5641, failedAssignments=8223, nogoods=1726, foundSolutions=11, bestBound=636
7.75/4.34	    
7.75/4.36	    num=176, depth=2..16, filters=353149, revisions=(502960,useless=215522), ccks=111547, wck=2.125, mem=74M150
7.75/4.36	    decisions=26750, wrong=12598, backtracks=5764, failedAssignments=8331, nogoods=1739, foundSolutions=11, bestBound=636
7.75/4.36	    
7.75/4.38	    num=177, depth=4..14, filters=357544, revisions=(508956,useless=218080), ccks=113021, wck=2.146, mem=74M150
7.75/4.38	    decisions=27113, wrong=12777, backtracks=5844, failedAssignments=8450, nogoods=1750, foundSolutions=11, bestBound=636
7.75/4.38	    
7.85/4.42	    num=178, depth=5..18, filters=364098, revisions=(518215,useless=221998), ccks=114990, wck=2.178, mem=74M150
7.85/4.42	    decisions=27536, wrong=12983, backtracks=5938, failedAssignments=8581, nogoods=1771, foundSolutions=11, bestBound=636
7.85/4.42	    
7.85/4.45	    num=179, depth=4..16, filters=371107, revisions=(527684,useless=225989), ccks=117101, wck=2.212, mem=74M150
7.85/4.45	    decisions=28058, wrong=13240, backtracks=6071, failedAssignments=8725, nogoods=1780, foundSolutions=11, bestBound=636
7.85/4.45	    
7.85/4.49	    num=180, depth=5..12, filters=377137, revisions=(536441,useless=229812), ccks=119059, wck=2.247, mem=76M792
7.85/4.49	    decisions=28456, wrong=13436, backtracks=6125, failedAssignments=8883, nogoods=1797, foundSolutions=11, bestBound=636
7.85/4.49	    
7.96/4.53	    num=181, depth=3..12, filters=385156, revisions=(548103,useless=234929), ccks=121433, wck=2.289, mem=76M792
7.96/4.53	    decisions=28994, wrong=13703, backtracks=6236, failedAssignments=9057, nogoods=1809, foundSolutions=11, bestBound=636
7.96/4.53	    
7.96/4.57	    num=182, depth=4..14, filters=393856, revisions=(560205,useless=240078), ccks=124077, wck=2.332, mem=76M792
7.96/4.57	    decisions=29623, wrong=14015, backtracks=6402, failedAssignments=9248, nogoods=1821, foundSolutions=11, bestBound=636
7.96/4.57	    
8.06/4.62	    num=183, depth=3..15, filters=403547, revisions=(573885,useless=245928), ccks=127082, wck=2.384, mem=79M435
8.06/4.62	    decisions=30279, wrong=14340, backtracks=6540, failedAssignments=9459, nogoods=1834, foundSolutions=11, bestBound=636
8.06/4.62	    
8.06/4.67	    num=184, depth=4..14, filters=413474, revisions=(587862,useless=251884), ccks=130098, wck=2.434, mem=79M435
8.06/4.67	    decisions=30947, wrong=14670, backtracks=6665, failedAssignments=9691, nogoods=1863, foundSolutions=11, bestBound=636
8.06/4.67	    
8.16/4.74	    num=185, depth=6..15, filters=424308, revisions=(603895,useless=258903), ccks=133123, wck=2.498, mem=79M435
8.16/4.74	    decisions=31686, wrong=15032, backtracks=6788, failedAssignments=9946, nogoods=1902, foundSolutions=11, bestBound=636
8.16/4.74	    
8.28/4.81	    num=186, depth=6..16, filters=437983, revisions=(623998,useless=267853), ccks=137203, wck=2.576, mem=82M77
8.28/4.81	    decisions=32548, wrong=15458, backtracks=6961, failedAssignments=10227, nogoods=1933, foundSolutions=11, bestBound=636
8.28/4.81	    
8.28/4.87	    num=187, depth=0..16, filters=449899, revisions=(639773,useless=274388), ccks=140718, wck=2.633, mem=82M77
8.28/4.87	    decisions=33515, wrong=15936, backtracks=7201, failedAssignments=10536, nogoods=1946, foundSolutions=11, bestBound=636
8.28/4.87	    
8.43/4.97	    num=188, depth=5..14, filters=466253, revisions=(663574,useless=284714), ccks=145923, wck=2.729, mem=84M720
8.43/4.97	    decisions=34478, wrong=16413, backtracks=7356, failedAssignments=10876, nogoods=1971, foundSolutions=11, bestBound=636
8.43/4.97	    
8.54/5.06	    num=189, depth=0..14, filters=483242, revisions=(688076,useless=295252), ccks=151118, wck=2.826, mem=87M362
8.54/5.06	    decisions=35615, wrong=16978, backtracks=7587, failedAssignments=11250, nogoods=1998, foundSolutions=11, bestBound=636
8.54/5.06	    
8.64/5.16	    num=190, depth=2..16, filters=501390, revisions=(713512,useless=306237), ccks=156420, wck=2.92, mem=87M362
8.64/5.16	    decisions=36944, wrong=17640, backtracks=7900, failedAssignments=11661, nogoods=2006, foundSolutions=11, bestBound=636
8.64/5.16	    
8.73/5.26	    num=191, depth=1..15, filters=521234, revisions=(740748,useless=317661), ccks=162670, wck=3.018, mem=90M5
8.73/5.26	    decisions=38384, wrong=18357, backtracks=8245, failedAssignments=12113, nogoods=2017, foundSolutions=11, bestBound=636
8.73/5.26	    
8.83/5.36	    num=192, depth=0..17, filters=541596, revisions=(770228,useless=330511), ccks=168497, wck=3.127, mem=92M647
8.83/5.36	    decisions=39855, wrong=19089, backtracks=8539, failedAssignments=12610, nogoods=2026, foundSolutions=11, bestBound=636
8.83/5.36	    
8.94/5.49	    num=193, depth=4..15, filters=565249, revisions=(804009,useless=345257), ccks=175320, wck=3.25, mem=92M647
8.94/5.49	    decisions=41539, wrong=19928, backtracks=8936, failedAssignments=13157, nogoods=2039, foundSolutions=11, bestBound=636
8.94/5.49	    
9.13/5.62	    num=194, depth=4..18, filters=590142, revisions=(840216,useless=361381), ccks=182831, wck=3.387, mem=95M289
9.13/5.62	    decisions=43267, wrong=20787, backtracks=9266, failedAssignments=13759, nogoods=2049, foundSolutions=11, bestBound=636
9.13/5.62	    
9.24/5.76	    num=195, depth=3..19, filters=616988, revisions=(877831,useless=377536), ccks=190593, wck=3.524, mem=97M932
9.24/5.76	    decisions=45258, wrong=21780, backtracks=9729, failedAssignments=14421, nogoods=2057, foundSolutions=11, bestBound=636
9.24/5.76	    
9.44/5.90	o 661
9.44/5.91	    num=196, depth=6..89, filters=643023, revisions=(916354,useless=395020), ccks=198602, wck=3.667, mem=100M574
9.44/5.91	    decisions=47001, wrong=22645, backtracks=10045, failedAssignments=15020, nogoods=2082, foundSolutions=12, bestBound=661
9.44/5.91	    
9.55/6.10	    num=197, depth=6..18, filters=677671, revisions=(968051,useless=418439), ccks=208217, wck=3.867, mem=105M859
9.55/6.10	    decisions=49376, wrong=23829, backtracks=10496, failedAssignments=15821, nogoods=2116, foundSolutions=12, bestBound=661
9.55/6.10	    
9.65/6.11	    num=198, depth=8..14, filters=678301, revisions=(969017,useless=418863), ccks=208447, wck=3.871, mem=105M859
9.65/6.11	    decisions=49413, wrong=23843, backtracks=10501, failedAssignments=15832, nogoods=2121, foundSolutions=12, bestBound=661
9.65/6.11	    
9.65/6.11	    num=199, depth=8..14, filters=679023, revisions=(970181,useless=419384), ccks=208705, wck=3.876, mem=105M859
9.65/6.11	    decisions=49457, wrong=23860, backtracks=10508, failedAssignments=15844, nogoods=2127, foundSolutions=12, bestBound=661
9.65/6.11	    
9.65/6.12	    num=200, depth=2..9, filters=679559, revisions=(970980,useless=419711), ccks=208870, wck=3.879, mem=105M859
9.65/6.12	    decisions=49494, wrong=23877, backtracks=10516, failedAssignments=15857, nogoods=2137, foundSolutions=12, bestBound=661
9.65/6.12	    
9.65/6.12	    num=201, depth=1..9, filters=680029, revisions=(971666,useless=420010), ccks=209000, wck=3.883, mem=105M859
9.65/6.12	    decisions=49537, wrong=23896, backtracks=10524, failedAssignments=15871, nogoods=2144, foundSolutions=12, bestBound=661
9.65/6.12	    
9.65/6.12	    num=202, depth=8..13, filters=680762, revisions=(972841,useless=420553), ccks=209245, wck=3.887, mem=105M859
9.65/6.12	    decisions=49584, wrong=23913, backtracks=10525, failedAssignments=15887, nogoods=2158, foundSolutions=12, bestBound=661
9.65/6.12	    
9.65/6.13	    num=203, depth=5..10, filters=681851, revisions=(974381,useless=421195), ccks=209605, wck=3.893, mem=105M859
9.65/6.13	    decisions=49655, wrong=23944, backtracks=10541, failedAssignments=15904, nogoods=2167, foundSolutions=12, bestBound=661
9.65/6.13	    
9.65/6.14	    num=204, depth=5..13, filters=682864, revisions=(975857,useless=421824), ccks=209937, wck=3.899, mem=105M859
9.65/6.14	    decisions=49733, wrong=23979, backtracks=10561, failedAssignments=15923, nogoods=2175, foundSolutions=12, bestBound=661
9.65/6.14	    
9.65/6.14	    num=205, depth=7..12, filters=683728, revisions=(977221,useless=422449), ccks=210224, wck=3.905, mem=105M859
9.65/6.14	    decisions=49792, wrong=24003, backtracks=10567, failedAssignments=15944, nogoods=2186, foundSolutions=12, bestBound=661
9.65/6.14	    
9.65/6.15	    num=206, depth=1..9, filters=684969, revisions=(979058,useless=423225), ccks=210535, wck=3.912, mem=105M859
9.65/6.15	    decisions=49877, wrong=24042, backtracks=10592, failedAssignments=15967, nogoods=2195, foundSolutions=12, bestBound=661
9.65/6.15	    
9.65/6.16	    num=207, depth=9..16, filters=686018, revisions=(980638,useless=423908), ccks=210894, wck=3.918, mem=105M859
9.65/6.16	    decisions=49951, wrong=24074, backtracks=10602, failedAssignments=15992, nogoods=2208, foundSolutions=12, bestBound=661
9.65/6.16	    
9.65/6.17	    num=208, depth=1..11, filters=687724, revisions=(983048,useless=424937), ccks=211389, wck=3.928, mem=105M859
9.65/6.17	    decisions=50063, wrong=24126, backtracks=10632, failedAssignments=16020, nogoods=2222, foundSolutions=12, bestBound=661
9.65/6.17	    
9.65/6.17	    num=209, depth=5..15, filters=689005, revisions=(984807,useless=425650), ccks=211792, wck=3.935, mem=105M859
9.65/6.17	    decisions=50161, wrong=24171, backtracks=10649, failedAssignments=16051, nogoods=2227, foundSolutions=12, bestBound=661
9.65/6.17	    
9.65/6.18	    num=210, depth=8..11, filters=690141, revisions=(986608,useless=426474), ccks=212166, wck=3.943, mem=105M859
9.65/6.18	    decisions=50245, wrong=24209, backtracks=10654, failedAssignments=16085, nogoods=2240, foundSolutions=12, bestBound=661
9.65/6.18	    
9.65/6.19	    num=211, depth=0..15, filters=691974, revisions=(989579,useless=427795), ccks=212700, wck=3.955, mem=105M859
9.65/6.19	    decisions=50365, wrong=24264, backtracks=10675, failedAssignments=16122, nogoods=2246, foundSolutions=12, bestBound=661
9.65/6.19	    
9.74/6.21	    num=212, depth=7..14, filters=694302, revisions=(993028,useless=429298), ccks=213441, wck=3.969, mem=105M859
9.74/6.21	    decisions=50492, wrong=24324, backtracks=10699, failedAssignments=16163, nogoods=2257, foundSolutions=12, bestBound=661
9.74/6.21	    
9.74/6.22	    num=213, depth=1..10, filters=696374, revisions=(996115,useless=430646), ccks=213978, wck=3.981, mem=105M859
9.74/6.22	    decisions=50630, wrong=24390, backtracks=10723, failedAssignments=16208, nogoods=2268, foundSolutions=12, bestBound=661
9.74/6.22	    
9.74/6.23	    num=214, depth=6..16, filters=698464, revisions=(999114,useless=431945), ccks=214622, wck=3.992, mem=105M859
9.74/6.23	    decisions=50781, wrong=24461, backtracks=10747, failedAssignments=16258, nogoods=2279, foundSolutions=12, bestBound=661
9.74/6.23	    
9.74/6.25	    num=215, depth=7..14, filters=701434, revisions=(1003642,useless=434026), ccks=215462, wck=4.009, mem=108M502
9.74/6.25	    decisions=50966, wrong=24549, backtracks=10782, failedAssignments=16313, nogoods=2295, foundSolutions=12, bestBound=661
9.74/6.25	    
9.74/6.26	    num=216, depth=2..12, filters=704146, revisions=(1007677,useless=435811), ccks=216198, wck=4.025, mem=108M502
9.74/6.26	    decisions=51171, wrong=24648, backtracks=10825, failedAssignments=16374, nogoods=2305, foundSolutions=12, bestBound=661
9.74/6.26	    
9.74/6.28	    num=217, depth=0..13, filters=707647, revisions=(1012480,useless=437810), ccks=217228, wck=4.043, mem=108M502
9.74/6.28	    decisions=51409, wrong=24763, backtracks=10888, failedAssignments=16441, nogoods=2321, foundSolutions=12, bestBound=661
9.74/6.28	    
9.84/6.30	    num=218, depth=6..18, filters=711490, revisions=(1018304,useless=440458), ccks=218326, wck=4.065, mem=108M502
9.84/6.30	    decisions=51647, wrong=24877, backtracks=10937, failedAssignments=16515, nogoods=2327, foundSolutions=12, bestBound=661
9.84/6.30	    
9.84/6.32	    num=219, depth=1..13, filters=714587, revisions=(1023149,useless=442608), ccks=219160, wck=4.085, mem=108M502
9.84/6.32	    decisions=51859, wrong=24981, backtracks=10963, failedAssignments=16596, nogoods=2347, foundSolutions=12, bestBound=661
9.84/6.32	    
9.84/6.34	o 664
9.84/6.34	    num=220, depth=5..89, filters=717084, revisions=(1026803,useless=444187), ccks=220017, wck=4.1, mem=108M502
9.84/6.34	    decisions=52031, wrong=25060, backtracks=11003, failedAssignments=16644, nogoods=2366, foundSolutions=13, bestBound=664
9.84/6.34	    
9.84/6.36	    num=221, depth=6..16, filters=721574, revisions=(1033690,useless=447317), ccks=221403, wck=4.125, mem=108M502
9.84/6.36	    decisions=52321, wrong=25199, backtracks=11051, failedAssignments=16742, nogoods=2383, foundSolutions=13, bestBound=664
9.84/6.36	    
9.84/6.37	    num=222, depth=9..14, filters=722226, revisions=(1034710,useless=447754), ccks=221640, wck=4.129, mem=108M502
9.84/6.37	    decisions=52359, wrong=25213, backtracks=11055, failedAssignments=16753, nogoods=2390, foundSolutions=13, bestBound=664
9.84/6.37	    
9.84/6.37	    num=223, depth=1..13, filters=722861, revisions=(1035672,useless=448170), ccks=221817, wck=4.133, mem=108M502
9.84/6.37	    decisions=52411, wrong=25234, backtracks=11070, failedAssignments=16765, nogoods=2396, foundSolutions=13, bestBound=664
9.84/6.37	    
9.84/6.37	    num=224, depth=4..11, filters=723520, revisions=(1036654,useless=448609), ccks=221977, wck=4.137, mem=111M144
9.84/6.37	    decisions=52453, wrong=25251, backtracks=11076, failedAssignments=16778, nogoods=2401, foundSolutions=13, bestBound=664
9.84/6.37	    
9.84/6.38	    num=225, depth=1..7, filters=724088, revisions=(1037485,useless=448959), ccks=222131, wck=4.141, mem=111M144
9.84/6.38	    decisions=52494, wrong=25270, backtracks=11081, failedAssignments=16792, nogoods=2408, foundSolutions=13, bestBound=664
9.84/6.38	    
9.84/6.38	    num=226, depth=9..16, filters=724806, revisions=(1038564,useless=449412), ccks=222398, wck=4.145, mem=111M144
9.84/6.38	    decisions=52549, wrong=25293, backtracks=11091, failedAssignments=16808, nogoods=2411, foundSolutions=13, bestBound=664
9.84/6.38	    
9.84/6.39	    num=227, depth=10..17, filters=725565, revisions=(1039759,useless=449955), ccks=222672, wck=4.15, mem=111M144
9.84/6.39	    decisions=52602, wrong=25314, backtracks=11098, failedAssignments=16825, nogoods=2417, foundSolutions=13, bestBound=664
9.84/6.39	    
9.84/6.39	    num=228, depth=0..14, filters=726658, revisions=(1041456,useless=450696), ccks=223029, wck=4.156, mem=111M144
9.84/6.39	    decisions=52672, wrong=25344, backtracks=11114, failedAssignments=16844, nogoods=2423, foundSolutions=13, bestBound=664
9.84/6.39	    
9.95/6.40	    num=229, depth=2..10, filters=727498, revisions=(1042718,useless=451244), ccks=223288, wck=4.162, mem=111M144
9.95/6.40	    decisions=52733, wrong=25373, backtracks=11122, failedAssignments=16865, nogoods=2430, foundSolutions=13, bestBound=664
9.95/6.40	    
9.95/6.41	    num=230, depth=3..12, filters=728551, revisions=(1044239,useless=451894), ccks=223603, wck=4.168, mem=111M144
9.95/6.41	    decisions=52810, wrong=25410, backtracks=11138, failedAssignments=16888, nogoods=2431, foundSolutions=13, bestBound=664
9.95/6.41	    
9.95/6.41	    num=231, depth=10..15, filters=729753, revisions=(1046226,useless=452851), ccks=224000, wck=4.175, mem=111M144
9.95/6.41	    decisions=52894, wrong=25446, backtracks=11152, failedAssignments=16913, nogoods=2439, foundSolutions=13, bestBound=664
9.95/6.41	    
9.95/6.42	    num=232, depth=8..10, filters=731103, revisions=(1048287,useless=453733), ccks=224413, wck=4.184, mem=111M144
9.95/6.42	    decisions=52974, wrong=25482, backtracks=11160, failedAssignments=16941, nogoods=2449, foundSolutions=13, bestBound=664
9.95/6.42	    
9.95/6.43	    num=233, depth=6..11, filters=732619, revisions=(1050444,useless=454682), ccks=224839, wck=4.192, mem=111M144
9.95/6.43	    decisions=53081, wrong=25531, backtracks=11182, failedAssignments=16972, nogoods=2453, foundSolutions=13, bestBound=664
9.95/6.43	    
9.95/6.44	    num=234, depth=1..12, filters=734351, revisions=(1052944,useless=455746), ccks=225333, wck=4.202, mem=111M144
9.95/6.44	    decisions=53199, wrong=25585, backtracks=11209, failedAssignments=17006, nogoods=2467, foundSolutions=13, bestBound=664
9.95/6.44	    
9.95/6.45	    num=235, depth=8..15, filters=735908, revisions=(1055135,useless=456662), ccks=225861, wck=4.21, mem=111M144
9.95/6.45	    decisions=53324, wrong=25642, backtracks=11238, failedAssignments=17043, nogoods=2480, foundSolutions=13, bestBound=664
9.95/6.45	    
9.95/6.46	    num=236, depth=8..16, filters=737949, revisions=(1058091,useless=457947), ccks=226562, wck=4.221, mem=111M144
9.95/6.46	    decisions=53458, wrong=25702, backtracks=11262, failedAssignments=17084, nogoods=2499, foundSolutions=13, bestBound=664
9.95/6.46	    
9.95/6.47	    num=237, depth=7..12, filters=739625, revisions=(1060822,useless=459247), ccks=226985, wck=4.232, mem=111M144
9.95/6.47	    decisions=53573, wrong=25756, backtracks=11274, failedAssignments=17129, nogoods=2508, foundSolutions=13, bestBound=664
9.95/6.47	    
9.95/6.49	    num=238, depth=0..14, filters=742095, revisions=(1064740,useless=460990), ccks=227746, wck=4.248, mem=111M144
9.95/6.49	    decisions=53723, wrong=25825, backtracks=11296, failedAssignments=17179, nogoods=2526, foundSolutions=13, bestBound=664
9.95/6.49	    
10.05/6.50	    num=239, depth=3..12, filters=744376, revisions=(1068029,useless=462409), ccks=228416, wck=4.261, mem=111M144
10.05/6.50	    decisions=53883, wrong=25902, backtracks=11325, failedAssignments=17234, nogoods=2532, foundSolutions=13, bestBound=664
10.05/6.50	    
10.05/6.52	    num=240, depth=2..11, filters=747373, revisions=(1072327,useless=464269), ccks=229276, wck=4.277, mem=111M144
10.05/6.52	    decisions=54066, wrong=25991, backtracks=11359, failedAssignments=17295, nogoods=2542, foundSolutions=13, bestBound=664
10.05/6.52	    
10.05/6.53	    num=241, depth=8..18, filters=750860, revisions=(1077317,useless=466444), ccks=230324, wck=4.296, mem=113M787
10.05/6.53	    decisions=54290, wrong=26098, backtracks=11404, failedAssignments=17362, nogoods=2548, foundSolutions=13, bestBound=664
10.05/6.53	    
10.05/6.55	    num=242, depth=7..17, filters=753866, revisions=(1081526,useless=468216), ccks=231270, wck=4.312, mem=113M787
10.05/6.55	    decisions=54531, wrong=26213, backtracks=11457, failedAssignments=17436, nogoods=2561, foundSolutions=13, bestBound=664
10.05/6.55	    
10.05/6.57	    num=243, depth=2..11, filters=757399, revisions=(1086791,useless=470524), ccks=232341, wck=4.331, mem=113M787
10.05/6.57	    decisions=54769, wrong=26328, backtracks=11499, failedAssignments=17517, nogoods=2581, foundSolutions=13, bestBound=664
10.05/6.57	    
10.05/6.59	    num=244, depth=7..14, filters=761219, revisions=(1092810,useless=473348), ccks=233414, wck=4.354, mem=113M787
10.05/6.59	    decisions=55012, wrong=26443, backtracks=11532, failedAssignments=17606, nogoods=2597, foundSolutions=13, bestBound=664
10.05/6.59	    
10.16/6.62	    num=245, depth=6..16, filters=765458, revisions=(1099012,useless=476116), ccks=234715, wck=4.378, mem=113M787
10.16/6.62	    decisions=55301, wrong=26582, backtracks=11585, failedAssignments=17704, nogoods=2617, foundSolutions=13, bestBound=664
10.16/6.62	    
10.16/6.64	    num=246, depth=8..14, filters=769012, revisions=(1104479,useless=478671), ccks=235682, wck=4.399, mem=113M787
10.16/6.64	    decisions=55578, wrong=26715, backtracks=11619, failedAssignments=17812, nogoods=2646, foundSolutions=13, bestBound=664
10.16/6.64	    
10.16/6.66	    num=247, depth=4..16, filters=774313, revisions=(1111783,useless=481775), ccks=237316, wck=4.427, mem=116M429
10.16/6.66	    decisions=55981, wrong=26911, backtracks=11721, failedAssignments=17931, nogoods=2657, foundSolutions=13, bestBound=664
10.16/6.66	    
10.26/6.70	    num=248, depth=5..15, filters=780456, revisions=(1120707,useless=485703), ccks=239096, wck=4.462, mem=116M429
10.26/6.70	    decisions=56385, wrong=27110, backtracks=11804, failedAssignments=18062, nogoods=2677, foundSolutions=13, bestBound=664
10.26/6.70	    
10.26/6.73	    num=249, depth=7..19, filters=786462, revisions=(1129473,useless=489662), ccks=240927, wck=4.493, mem=116M429
10.26/6.73	    decisions=56804, wrong=27313, backtracks=11876, failedAssignments=18206, nogoods=2700, foundSolutions=13, bestBound=664
10.26/6.73	    
10.26/6.77	    num=250, depth=2..12, filters=793650, revisions=(1139563,useless=493938), ccks=243184, wck=4.531, mem=116M429
10.26/6.77	    decisions=57316, wrong=27567, backtracks=11985, failedAssignments=18364, nogoods=2712, foundSolutions=13, bestBound=664
10.26/6.77	    
10.36/6.82	    num=251, depth=5..14, filters=802342, revisions=(1152356,useless=499578), ccks=245638, wck=4.581, mem=119M72
10.36/6.82	    decisions=57815, wrong=27812, backtracks=12073, failedAssignments=18538, nogoods=2731, foundSolutions=13, bestBound=664
10.36/6.82	    
10.36/6.86	    num=252, depth=4..14, filters=810841, revisions=(1164337,useless=504766), ccks=248215, wck=4.625, mem=119M72
10.36/6.86	    decisions=58416, wrong=28109, backtracks=12195, failedAssignments=18729, nogoods=2753, foundSolutions=13, bestBound=664
10.36/6.86	    
10.46/6.91	    num=253, depth=6..17, filters=819334, revisions=(1176886,useless=510484), ccks=250464, wck=4.673, mem=119M72
10.46/6.91	    decisions=59034, wrong=28411, backtracks=12311, failedAssignments=18940, nogoods=2773, foundSolutions=13, bestBound=664
10.46/6.91	    
10.46/6.96	    num=254, depth=1..14, filters=828804, revisions=(1189873,useless=516019), ccks=253493, wck=4.72, mem=119M72
10.46/6.96	    decisions=59726, wrong=28753, backtracks=12458, failedAssignments=19172, nogoods=2783, foundSolutions=13, bestBound=664
10.46/6.96	    
10.58/7.02	    num=255, depth=6..16, filters=839073, revisions=(1204442,useless=522312), ccks=256594, wck=4.778, mem=121M714
10.58/7.02	    decisions=60449, wrong=29109, backtracks=12592, failedAssignments=19427, nogoods=2812, foundSolutions=13, bestBound=664
10.58/7.02	    
10.58/7.08	    num=256, depth=6..17, filters=850542, revisions=(1221147,useless=529825), ccks=260016, wck=4.839, mem=121M714
10.58/7.08	    decisions=61245, wrong=29503, backtracks=12747, failedAssignments=19708, nogoods=2825, foundSolutions=13, bestBound=664
10.58/7.08	    
10.68/7.14	    num=257, depth=1..16, filters=863147, revisions=(1238208,useless=537004), ccks=263631, wck=4.902, mem=124M357
10.68/7.14	    decisions=62260, wrong=30008, backtracks=12998, failedAssignments=20017, nogoods=2849, foundSolutions=13, bestBound=664
10.68/7.14	    
10.77/7.22	    num=258, depth=3..17, filters=877866, revisions=(1259075,useless=546066), ccks=267925, wck=4.979, mem=124M357
10.77/7.22	    decisions=63323, wrong=30535, backtracks=13253, failedAssignments=20357, nogoods=2866, foundSolutions=13, bestBound=664
10.77/7.22	    
10.77/7.23	o 690
10.77/7.23	    num=259, depth=5..89, filters=880272, revisions=(1262605,useless=547636), ccks=268714, wck=4.993, mem=124M357
10.77/7.23	    decisions=63500, wrong=30619, backtracks=13295, failedAssignments=20408, nogoods=2872, foundSolutions=14, bestBound=690
10.77/7.23	    
10.87/7.32	    num=260, depth=8..20, filters=896297, revisions=(1286511,useless=558681), ccks=273426, wck=5.079, mem=126M999
10.87/7.32	    decisions=64694, wrong=31209, backtracks=13517, failedAssignments=20819, nogoods=2883, foundSolutions=14, bestBound=690
10.87/7.32	    
10.87/7.32	    num=261, depth=6..13, filters=897002, revisions=(1287618,useless=559166), ccks=273696, wck=5.083, mem=126M999
10.87/7.32	    decisions=64737, wrong=31225, backtracks=13524, failedAssignments=20830, nogoods=2888, foundSolutions=14, bestBound=690
10.87/7.32	    
10.87/7.32	    num=262, depth=10..17, filters=897658, revisions=(1288676,useless=559661), ccks=273921, wck=5.087, mem=126M999
10.87/7.32	    decisions=64784, wrong=31243, backtracks=13530, failedAssignments=20842, nogoods=2896, foundSolutions=14, bestBound=690
10.87/7.32	    
10.87/7.33	o 696
10.87/7.33	    num=263, depth=12..89, filters=898173, revisions=(1289555,useless=560075), ccks=274205, wck=5.091, mem=126M999
10.87/7.33	    decisions=64813, wrong=31250, backtracks=13530, failedAssignments=20849, nogoods=2903, foundSolutions=15, bestBound=696
10.87/7.33	    
10.87/7.33	    num=264, depth=6..13, filters=898970, revisions=(1290940,useless=560760), ccks=274505, wck=5.096, mem=126M999
10.87/7.33	    decisions=64859, wrong=31267, backtracks=13533, failedAssignments=20863, nogoods=2917, foundSolutions=15, bestBound=696
10.87/7.33	    
10.87/7.34	    num=265, depth=12..20, filters=899589, revisions=(1291925,useless=561205), ccks=274745, wck=5.1, mem=126M999
10.87/7.34	    decisions=64901, wrong=31280, backtracks=13535, failedAssignments=20874, nogoods=2928, foundSolutions=15, bestBound=696
10.87/7.34	    
10.87/7.34	    num=266, depth=9..14, filters=900224, revisions=(1292974,useless=561689), ccks=274984, wck=5.103, mem=126M999
10.87/7.34	    decisions=64940, wrong=31294, backtracks=13538, failedAssignments=20886, nogoods=2936, foundSolutions=15, bestBound=696
10.87/7.34	    
10.87/7.35	    num=267, depth=0..2, filters=900769, revisions=(1294048,useless=562219), ccks=275100, wck=5.11, mem=126M999
10.87/7.35	    decisions=64971, wrong=31309, backtracks=13540, failedAssignments=20899, nogoods=2941, foundSolutions=15, bestBound=696
10.87/7.35	    
10.87/7.35	    num=268, depth=1..14, filters=901650, revisions=(1295443,useless=562820), ccks=275376, wck=5.116, mem=126M999
10.87/7.35	    decisions=65024, wrong=31330, backtracks=13549, failedAssignments=20913, nogoods=2949, foundSolutions=15, bestBound=696
10.87/7.35	    
10.87/7.36	    num=269, depth=1..12, filters=902507, revisions=(1296685,useless=563334), ccks=275614, wck=5.121, mem=126M999
10.87/7.36	    decisions=65086, wrong=31358, backtracks=13562, failedAssignments=20929, nogoods=2957, foundSolutions=15, bestBound=696
10.87/7.36	    
10.87/7.36	    num=270, depth=4..9, filters=903074, revisions=(1297441,useless=563634), ccks=275811, wck=5.124, mem=126M999
10.87/7.36	    decisions=65141, wrong=31383, backtracks=13571, failedAssignments=20946, nogoods=2965, foundSolutions=15, bestBound=696
10.87/7.36	    
10.87/7.37	    num=271, depth=6..12, filters=904059, revisions=(1298893,useless=564245), ccks=276150, wck=5.13, mem=126M999
10.87/7.37	    decisions=65206, wrong=31411, backtracks=13584, failedAssignments=20965, nogoods=2969, foundSolutions=15, bestBound=696
10.87/7.37	    
10.87/7.37	    num=272, depth=10..18, filters=905223, revisions=(1300732,useless=565058), ccks=276571, wck=5.137, mem=126M999
10.87/7.37	    decisions=65283, wrong=31444, backtracks=13600, failedAssignments=20986, nogoods=2975, foundSolutions=15, bestBound=696
10.87/7.37	    
10.87/7.38	    num=273, depth=2..12, filters=906465, revisions=(1302628,useless=565905), ccks=276897, wck=5.145, mem=126M999
10.87/7.38	    decisions=65364, wrong=31482, backtracks=13616, failedAssignments=21009, nogoods=2983, foundSolutions=15, bestBound=696
10.87/7.38	    
10.87/7.39	    num=274, depth=8..15, filters=907588, revisions=(1304258,useless=566595), ccks=277248, wck=5.151, mem=126M999
10.87/7.39	    decisions=65450, wrong=31521, backtracks=13635, failedAssignments=21034, nogoods=2984, foundSolutions=15, bestBound=696
10.87/7.39	    
10.97/7.40	    num=275, depth=4..9, filters=908955, revisions=(1306266,useless=567458), ccks=277669, wck=5.16, mem=126M999
10.97/7.40	    decisions=65536, wrong=31562, backtracks=13653, failedAssignments=21062, nogoods=2990, foundSolutions=15, bestBound=696
10.97/7.40	    
10.97/7.41	    num=276, depth=4..9, filters=910273, revisions=(1308162,useless=568272), ccks=278075, wck=5.167, mem=126M999
10.97/7.41	    decisions=65615, wrong=31599, backtracks=13662, failedAssignments=21093, nogoods=2996, foundSolutions=15, bestBound=696
10.97/7.41	    
10.97/7.42	    num=277, depth=6..12, filters=911937, revisions=(1310649,useless=569343), ccks=278553, wck=5.177, mem=126M999
10.97/7.42	    decisions=65737, wrong=31655, backtracks=13690, failedAssignments=21127, nogoods=3002, foundSolutions=15, bestBound=696
10.97/7.42	    
10.97/7.42	    num=278, depth=2..10, filters=913621, revisions=(1313112,useless=570403), ccks=279055, wck=5.187, mem=126M999
10.97/7.42	    decisions=65850, wrong=31709, backtracks=13714, failedAssignments=21164, nogoods=3016, foundSolutions=15, bestBound=696
10.97/7.42	    
10.97/7.44	    num=279, depth=6..14, filters=915718, revisions=(1316302,useless=571857), ccks=279659, wck=5.2, mem=126M999
10.97/7.44	    decisions=65977, wrong=31768, backtracks=13738, failedAssignments=21205, nogoods=3025, foundSolutions=15, bestBound=696
10.97/7.44	    
10.97/7.45	    num=280, depth=1..12, filters=917706, revisions=(1319226,useless=573125), ccks=280211, wck=5.212, mem=129M641
10.97/7.45	    decisions=66119, wrong=31836, backtracks=13768, failedAssignments=21250, nogoods=3042, foundSolutions=15, bestBound=696
10.97/7.45	    
10.97/7.46	    num=281, depth=6..14, filters=920158, revisions=(1322887,useless=574772), ccks=281036, wck=5.225, mem=129M641
10.97/7.46	    decisions=66270, wrong=31905, backtracks=13794, failedAssignments=21300, nogoods=3054, foundSolutions=15, bestBound=696
10.97/7.46	    
10.97/7.48	    num=282, depth=3..11, filters=923182, revisions=(1327281,useless=576683), ccks=281967, wck=5.242, mem=129M641
10.97/7.48	    decisions=66473, wrong=32002, backtracks=13850, failedAssignments=21355, nogoods=3067, foundSolutions=15, bestBound=696
10.97/7.48	    
10.97/7.50	    num=283, depth=5..13, filters=925937, revisions=(1331332,useless=578435), ccks=282834, wck=5.259, mem=129M641
10.97/7.50	    decisions=66641, wrong=32083, backtracks=13877, failedAssignments=21416, nogoods=3090, foundSolutions=15, bestBound=696
10.97/7.50	    
11.09/7.51	    num=284, depth=5..12, filters=928895, revisions=(1335769,useless=580428), ccks=283689, wck=5.276, mem=129M641
11.09/7.51	    decisions=66820, wrong=32170, backtracks=13905, failedAssignments=21483, nogoods=3106, foundSolutions=15, bestBound=696
11.09/7.51	    
11.09/7.53	    num=285, depth=7..15, filters=932336, revisions=(1341000,useless=582847), ccks=284839, wck=5.295, mem=129M641
11.09/7.53	    decisions=67037, wrong=32274, backtracks=13947, failedAssignments=21557, nogoods=3109, foundSolutions=15, bestBound=696
11.09/7.53	    
11.09/7.55	    num=286, depth=0..13, filters=935298, revisions=(1345682,useless=584981), ccks=285632, wck=5.315, mem=129M641
11.09/7.55	    decisions=67275, wrong=32388, backtracks=13982, failedAssignments=21638, nogoods=3123, foundSolutions=15, bestBound=696
11.09/7.55	    
11.09/7.57	    num=287, depth=2..13, filters=938898, revisions=(1351026,useless=587346), ccks=286737, wck=5.335, mem=129M641
11.09/7.57	    decisions=67554, wrong=32525, backtracks=14046, failedAssignments=21727, nogoods=3133, foundSolutions=15, bestBound=696
11.09/7.57	    
11.19/7.60	    num=288, depth=3..15, filters=943316, revisions=(1357441,useless=590135), ccks=288019, wck=5.359, mem=132M284
11.19/7.60	    decisions=67853, wrong=32670, backtracks=14113, failedAssignments=21825, nogoods=3145, foundSolutions=15, bestBound=696
11.19/7.60	    
11.19/7.63	    num=289, depth=7..15, filters=948371, revisions=(1364793,useless=593313), ccks=289743, wck=5.388, mem=132M284
11.19/7.63	    decisions=68178, wrong=32828, backtracks=14176, failedAssignments=21933, nogoods=3157, foundSolutions=15, bestBound=696
11.19/7.63	    
11.19/7.65	    num=290, depth=1..12, filters=952861, revisions=(1371341,useless=596192), ccks=290991, wck=5.413, mem=132M284
11.19/7.65	    decisions=68528, wrong=32999, backtracks=14237, failedAssignments=22052, nogoods=3171, foundSolutions=15, bestBound=696
11.19/7.65	    
11.19/7.69	    num=291, depth=5..13, filters=958490, revisions=(1380490,useless=600699), ccks=292204, wck=5.448, mem=132M284
11.19/7.69	    decisions=68893, wrong=33179, backtracks=14302, failedAssignments=22183, nogoods=3173, foundSolutions=15, bestBound=696
11.19/7.69	    
11.29/7.72	    num=292, depth=1..16, filters=965487, revisions=(1390516,useless=605044), ccks=294247, wck=5.486, mem=132M284
11.29/7.72	    decisions=69385, wrong=33422, backtracks=14428, failedAssignments=22327, nogoods=3184, foundSolutions=15, bestBound=696
11.29/7.72	    
11.29/7.77	    num=293, depth=5..14, filters=972399, revisions=(1400909,useless=609643), ccks=296232, wck=5.528, mem=134M926
11.29/7.77	    decisions=69836, wrong=33644, backtracks=14501, failedAssignments=22485, nogoods=3206, foundSolutions=15, bestBound=696
11.29/7.77	    
11.39/7.81	    num=294, depth=1..13, filters=980285, revisions=(1412684,useless=614915), ccks=298315, wck=5.573, mem=134M926
11.39/7.81	    decisions=70384, wrong=33914, backtracks=14631, failedAssignments=22659, nogoods=3224, foundSolutions=15, bestBound=696
11.39/7.81	    
11.39/7.86	    num=295, depth=7..16, filters=988497, revisions=(1424764,useless=620231), ccks=300911, wck=5.62, mem=134M926
11.39/7.86	    decisions=70903, wrong=34169, backtracks=14706, failedAssignments=22850, nogoods=3253, foundSolutions=15, bestBound=696
11.39/7.86	    
11.49/7.91	    num=296, depth=6..16, filters=996696, revisions=(1437133,useless=625946), ccks=303139, wck=5.668, mem=137M569
11.49/7.91	    decisions=71503, wrong=34464, backtracks=14818, failedAssignments=23061, nogoods=3273, foundSolutions=15, bestBound=696
11.49/7.91	    
11.49/7.96	    num=297, depth=1..13, filters=1006977, revisions=(1451970,useless=632427), ccks=306153, wck=5.724, mem=137M569
11.49/7.96	    decisions=72201, wrong=34811, backtracks=14960, failedAssignments=23293, nogoods=3292, foundSolutions=15, bestBound=696
11.49/7.96	    
11.60/8.03	    num=298, depth=1..14, filters=1018914, revisions=(1469334,useless=640103), ccks=309639, wck=5.788, mem=137M569
11.60/8.03	    decisions=73018, wrong=35218, backtracks=15144, failedAssignments=23548, nogoods=3299, foundSolutions=15, bestBound=696
11.60/8.03	    
11.60/8.08	    num=299, depth=5..18, filters=1030523, revisions=(1485540,useless=647152), ccks=313266, wck=5.847, mem=140M211
11.60/8.08	    decisions=73843, wrong=35625, backtracks=15320, failedAssignments=23829, nogoods=3321, foundSolutions=15, bestBound=696
11.60/8.08	    
11.70/8.17	    num=300, depth=0..14, filters=1044860, revisions=(1506731,useless=656542), ccks=317450, wck=5.928, mem=140M211
11.70/8.17	    decisions=74799, wrong=36099, backtracks=15517, failedAssignments=24138, nogoods=3337, foundSolutions=15, bestBound=696
11.70/8.17	    
11.79/8.24	    num=301, depth=0..15, filters=1059210, revisions=(1526553,useless=664932), ccks=321867, wck=6.001, mem=142M778
11.79/8.24	    decisions=75862, wrong=36626, backtracks=15771, failedAssignments=24478, nogoods=3353, foundSolutions=15, bestBound=696
11.79/8.24	    
11.89/8.33	    num=302, depth=2..14, filters=1075940, revisions=(1551280,useless=675961), ccks=327057, wck=6.093, mem=142M778
11.89/8.33	    decisions=77005, wrong=37195, backtracks=15998, failedAssignments=24852, nogoods=3371, foundSolutions=15, bestBound=696
11.89/8.33	    
12.02/8.43	    num=303, depth=2..14, filters=1092080, revisions=(1574836,useless=686435), ccks=331796, wck=6.193, mem=23M18
12.02/8.43	    decisions=78152, wrong=37766, backtracks=16219, failedAssignments=25263, nogoods=3382, foundSolutions=15, bestBound=696
12.02/8.43	    
12.12/8.53	    num=304, depth=1..15, filters=1113284, revisions=(1603429,useless=698273), ccks=338129, wck=6.294, mem=23M18
12.12/8.53	    decisions=79716, wrong=38546, backtracks=16630, failedAssignments=25715, nogoods=3396, foundSolutions=15, bestBound=696
12.12/8.53	    
12.22/8.64	    num=305, depth=2..15, filters=1135435, revisions=(1635108,useless=712160), ccks=344528, wck=6.406, mem=25M634
12.22/8.64	    decisions=81316, wrong=39343, backtracks=16992, failedAssignments=26212, nogoods=3408, foundSolutions=15, bestBound=696
12.22/8.64	    
12.32/8.75	    num=306, depth=0..14, filters=1158798, revisions=(1666240,useless=725091), ccks=351449, wck=6.514, mem=28M250
12.32/8.75	    decisions=83094, wrong=40229, backtracks=17458, failedAssignments=26759, nogoods=3418, foundSolutions=15, bestBound=696
12.32/8.75	    
12.43/8.89	    num=307, depth=5..17, filters=1185168, revisions=(1704571,useless=742238), ccks=359071, wck=6.65, mem=28M250
12.43/8.89	    decisions=84915, wrong=41135, backtracks=17844, failedAssignments=27361, nogoods=3444, foundSolutions=15, bestBound=696
12.43/8.89	    
12.53/8.99	o 705
12.53/8.99	    num=308, depth=4..89, filters=1206770, revisions=(1733410,useless=754239), ccks=365634, wck=6.748, mem=30M866
12.53/8.99	    decisions=86580, wrong=41961, backtracks=18276, failedAssignments=27845, nogoods=3462, foundSolutions=16, bestBound=705
12.53/8.99	    
12.75/9.13	    num=309, depth=5..18, filters=1234930, revisions=(1775069,useless=773064), ccks=373512, wck=6.897, mem=33M482
12.75/9.13	    decisions=88710, wrong=43018, backtracks=18664, failedAssignments=28573, nogoods=3492, foundSolutions=16, bestBound=705
12.75/9.13	    
12.75/9.14	    num=310, depth=7..11, filters=1235516, revisions=(1775961,useless=773443), ccks=373709, wck=6.901, mem=33M482
12.75/9.14	    decisions=88752, wrong=43035, backtracks=18672, failedAssignments=28584, nogoods=3495, foundSolutions=16, bestBound=705
12.75/9.14	    
12.75/9.14	    num=311, depth=6..10, filters=1236148, revisions=(1776975,useless=773904), ccks=373939, wck=6.905, mem=33M482
12.75/9.14	    decisions=88788, wrong=43049, backtracks=18675, failedAssignments=28596, nogoods=3506, foundSolutions=16, bestBound=705
12.75/9.14	    
12.75/9.15	    num=312, depth=0..5, filters=1236875, revisions=(1778215,useless=774467), ccks=374110, wck=6.911, mem=33M482
12.75/9.15	    decisions=88827, wrong=43067, backtracks=18680, failedAssignments=28609, nogoods=3507, foundSolutions=16, bestBound=705
12.75/9.15	    
12.75/9.16	    num=313, depth=6..10, filters=1237867, revisions=(1779771,useless=775173), ccks=374410, wck=6.917, mem=33M482
12.75/9.16	    decisions=88876, wrong=43088, backtracks=18689, failedAssignments=28623, nogoods=3512, foundSolutions=16, bestBound=705
12.75/9.16	    
12.75/9.16	    num=314, depth=6..12, filters=1238871, revisions=(1781291,useless=775844), ccks=374762, wck=6.923, mem=33M482
12.75/9.16	    decisions=88940, wrong=43115, backtracks=18701, failedAssignments=28639, nogoods=3522, foundSolutions=16, bestBound=705
12.75/9.16	    
12.75/9.17	    num=315, depth=7..13, filters=1239889, revisions=(1782787,useless=776493), ccks=375102, wck=6.929, mem=33M482
12.75/9.17	    decisions=89016, wrong=43149, backtracks=18718, failedAssignments=28656, nogoods=3527, foundSolutions=16, bestBound=705
12.75/9.17	    
12.75/9.17	    num=316, depth=1..9, filters=1240898, revisions=(1784190,useless=777082), ccks=375399, wck=6.934, mem=33M482
12.75/9.17	    decisions=89080, wrong=43179, backtracks=18731, failedAssignments=28675, nogoods=3533, foundSolutions=16, bestBound=705
12.75/9.17	    
12.75/9.18	    num=317, depth=6..16, filters=1242107, revisions=(1786059,useless=777946), ccks=375829, wck=6.941, mem=33M482
12.75/9.18	    decisions=89156, wrong=43212, backtracks=18744, failedAssignments=28696, nogoods=3537, foundSolutions=16, bestBound=705
12.75/9.18	    
12.75/9.19	    num=318, depth=7..13, filters=1243278, revisions=(1787872,useless=778754), ccks=376201, wck=6.948, mem=33M482
12.75/9.19	    decisions=89230, wrong=43244, backtracks=18754, failedAssignments=28719, nogoods=3548, foundSolutions=16, bestBound=705
12.75/9.19	    
12.75/9.19	    num=319, depth=5..12, filters=1244550, revisions=(1789846,useless=779643), ccks=376617, wck=6.956, mem=33M482
12.75/9.19	    decisions=89303, wrong=43277, backtracks=18767, failedAssignments=28744, nogoods=3557, foundSolutions=16, bestBound=705
12.75/9.19	    
12.84/9.20	    num=320, depth=1..9, filters=1245786, revisions=(1791592,useless=780393), ccks=376994, wck=6.963, mem=33M482
12.84/9.20	    decisions=89392, wrong=43321, backtracks=18790, failedAssignments=28772, nogoods=3559, foundSolutions=16, bestBound=705
12.84/9.20	    
12.84/9.21	    num=321, depth=3..10, filters=1247338, revisions=(1793898,useless=781429), ccks=377424, wck=6.971, mem=33M482
12.84/9.21	    decisions=89492, wrong=43369, backtracks=18808, failedAssignments=28803, nogoods=3570, foundSolutions=16, bestBound=705
12.84/9.21	    
12.84/9.22	    num=322, depth=6..16, filters=1248964, revisions=(1796400,useless=782569), ccks=377910, wck=6.98, mem=33M482
12.84/9.22	    decisions=89609, wrong=43422, backtracks=18831, failedAssignments=28837, nogoods=3580, foundSolutions=16, bestBound=705
12.84/9.22	    
12.84/9.23	    num=323, depth=6..18, filters=1250862, revisions=(1799300,useless=783888), ccks=378523, wck=6.991, mem=33M482
12.84/9.23	    decisions=89739, wrong=43481, backtracks=18862, failedAssignments=28874, nogoods=3595, foundSolutions=16, bestBound=705
12.84/9.23	    
12.84/9.24	    num=324, depth=3..11, filters=1252324, revisions=(1801651,useless=784995), ccks=378955, wck=7.0, mem=36M98
12.84/9.24	    decisions=89845, wrong=43530, backtracks=18874, failedAssignments=28915, nogoods=3612, foundSolutions=16, bestBound=705
12.84/9.24	    
12.84/9.25	    num=325, depth=7..16, filters=1254109, revisions=(1804378,useless=786266), ccks=379516, wck=7.011, mem=36M98
12.84/9.25	    decisions=89973, wrong=43588, backtracks=18889, failedAssignments=28960, nogoods=3635, foundSolutions=16, bestBound=705
12.84/9.25	    
12.84/9.26	    num=326, depth=2..12, filters=1256179, revisions=(1807393,useless=787562), ccks=380114, wck=7.023, mem=36M98
12.84/9.26	    decisions=90107, wrong=43652, backtracks=18909, failedAssignments=29010, nogoods=3653, foundSolutions=16, bestBound=705
12.84/9.26	    
12.84/9.28	    num=327, depth=6..15, filters=1258909, revisions=(1811326,useless=789277), ccks=380940, wck=7.038, mem=36M98
12.84/9.28	    decisions=90287, wrong=43737, backtracks=18948, failedAssignments=29065, nogoods=3669, foundSolutions=16, bestBound=705
12.84/9.28	    
12.84/9.29	    num=328, depth=1..11, filters=1261872, revisions=(1815705,useless=791222), ccks=381785, wck=7.054, mem=36M98
12.84/9.29	    decisions=90499, wrong=43842, backtracks=19002, failedAssignments=29126, nogoods=3680, foundSolutions=16, bestBound=705
12.84/9.29	    
12.94/9.31	    num=329, depth=1..9, filters=1265389, revisions=(1820872,useless=793518), ccks=382830, wck=7.075, mem=36M98
12.94/9.31	    decisions=90723, wrong=43952, backtracks=19051, failedAssignments=29193, nogoods=3698, foundSolutions=16, bestBound=705
12.94/9.31	    
12.94/9.33	    num=330, depth=6..12, filters=1268538, revisions=(1825578,useless=795579), ccks=383720, wck=7.093, mem=36M98
12.94/9.33	    decisions=90946, wrong=44058, backtracks=19087, failedAssignments=29267, nogoods=3716, foundSolutions=16, bestBound=705
12.94/9.33	    
12.94/9.35	    num=331, depth=7..14, filters=1272462, revisions=(1831413,useless=798234), ccks=384895, wck=7.114, mem=36M98
12.94/9.35	    decisions=91202, wrong=44181, backtracks=19138, failedAssignments=29348, nogoods=3731, foundSolutions=16, bestBound=705
12.94/9.35	    
12.94/9.37	    num=332, depth=5..17, filters=1276598, revisions=(1837599,useless=801040), ccks=386132, wck=7.136, mem=36M98
12.94/9.37	    decisions=91471, wrong=44313, backtracks=19194, failedAssignments=29437, nogoods=3733, foundSolutions=16, bestBound=705
12.94/9.37	    
12.94/9.39	    num=333, depth=0..12, filters=1280582, revisions=(1843051,useless=803342), ccks=387358, wck=7.157, mem=38M714
12.94/9.39	    decisions=91790, wrong=44471, backtracks=19282, failedAssignments=29535, nogoods=3735, foundSolutions=16, bestBound=705
12.94/9.39	    
13.04/9.42	    num=334, depth=9..17, filters=1284960, revisions=(1849479,useless=806291), ccks=388722, wck=7.18, mem=38M714
13.04/9.42	    decisions=92099, wrong=44620, backtracks=19333, failedAssignments=29643, nogoods=3753, foundSolutions=16, bestBound=705
13.04/9.42	    
13.04/9.45	    num=335, depth=6..17, filters=1290453, revisions=(1857784,useless=810112), ccks=390160, wck=7.211, mem=38M714
13.04/9.45	    decisions=92478, wrong=44804, backtracks=19413, failedAssignments=29762, nogoods=3783, foundSolutions=16, bestBound=705
13.04/9.45	    
13.04/9.49	    num=336, depth=5..13, filters=1296638, revisions=(1867006,useless=814165), ccks=391913, wck=7.248, mem=38M714
13.04/9.49	    decisions=92854, wrong=44988, backtracks=19475, failedAssignments=29893, nogoods=3803, foundSolutions=16, bestBound=705
13.04/9.49	    
13.14/9.52	    num=337, depth=5..14, filters=1303393, revisions=(1877154,useless=818775), ccks=393692, wck=7.286, mem=41M330
13.14/9.52	    decisions=93278, wrong=45196, backtracks=19557, failedAssignments=30037, nogoods=3829, foundSolutions=16, bestBound=705
13.14/9.52	    
13.14/9.56	    num=338, depth=7..16, filters=1310484, revisions=(1887833,useless=823687), ccks=395654, wck=7.324, mem=41M330
13.14/9.56	    decisions=93771, wrong=45437, backtracks=19659, failedAssignments=30195, nogoods=3841, foundSolutions=16, bestBound=705
13.14/9.56	    
13.14/9.60	    num=339, depth=1..14, filters=1317202, revisions=(1897172,useless=827693), ccks=397773, wck=7.358, mem=41M330
13.14/9.60	    decisions=94274, wrong=45685, backtracks=19781, failedAssignments=30369, nogoods=3847, foundSolutions=16, bestBound=705
13.14/9.60	    
13.24/9.64	    num=340, depth=1..13, filters=1324857, revisions=(1908560,useless=832760), ccks=399915, wck=7.402, mem=41M330
13.24/9.64	    decisions=94817, wrong=45953, backtracks=19871, failedAssignments=30560, nogoods=3870, foundSolutions=16, bestBound=705
13.24/9.64	    
13.24/9.69	    num=341, depth=8..16, filters=1333673, revisions=(1921635,useless=838671), ccks=402512, wck=7.45, mem=43M946
13.24/9.69	    decisions=95443, wrong=46261, backtracks=19988, failedAssignments=30771, nogoods=3895, foundSolutions=16, bestBound=705
13.24/9.69	    
13.34/9.74	    num=342, depth=4..16, filters=1344026, revisions=(1935974,useless=844742), ccks=405683, wck=7.503, mem=43M946
13.34/9.74	    decisions=96173, wrong=46622, backtracks=20164, failedAssignments=31003, nogoods=3913, foundSolutions=16, bestBound=705
13.34/9.74	    
13.45/9.80	    num=343, depth=2..14, filters=1354498, revisions=(1951101,useless=851400), ccks=408707, wck=7.56, mem=43M946
13.45/9.80	    decisions=96910, wrong=46987, backtracks=20314, failedAssignments=31258, nogoods=3929, foundSolutions=16, bestBound=705
13.45/9.80	    
13.45/9.87	    num=344, depth=4..14, filters=1367556, revisions=(1970768,useless=860302), ccks=412420, wck=7.634, mem=46M562
13.45/9.87	    decisions=97727, wrong=47392, backtracks=20478, failedAssignments=31539, nogoods=3950, foundSolutions=16, bestBound=705
13.45/9.87	    
13.56/9.94	    num=345, depth=8..18, filters=1380044, revisions=(1989092,useless=868646), ccks=416210, wck=7.699, mem=46M562
13.56/9.94	    decisions=98631, wrong=47838, backtracks=20647, failedAssignments=31848, nogoods=3963, foundSolutions=16, bestBound=705
13.56/9.94	    
13.67/10.01	    num=346, depth=6..14, filters=1393857, revisions=(2009468,useless=877790), ccks=420314, wck=7.776, mem=49M178
13.67/10.01	    decisions=99602, wrong=48318, backtracks=20838, failedAssignments=32188, nogoods=3976, foundSolutions=16, bestBound=705
13.67/10.01	    
13.67/10.09	    num=347, depth=7..17, filters=1409081, revisions=(2031902,useless=887945), ccks=424722, wck=7.857, mem=49M178
13.67/10.09	    decisions=100747, wrong=48887, backtracks=21083, failedAssignments=32562, nogoods=3994, foundSolutions=16, bestBound=705
13.67/10.09	    
13.77/10.19	    num=348, depth=5..19, filters=1427227, revisions=(2058513,useless=899986), ccks=429866, wck=7.956, mem=51M794
13.77/10.19	    decisions=101961, wrong=49489, backtracks=21328, failedAssignments=32973, nogoods=4019, foundSolutions=16, bestBound=705
13.77/10.19	    
13.96/10.30	    num=349, depth=4..15, filters=1446735, revisions=(2086924,useless=912665), ccks=435325, wck=8.06, mem=54M410
13.96/10.30	    decisions=103359, wrong=50185, backtracks=21641, failedAssignments=33425, nogoods=4038, foundSolutions=16, bestBound=705
13.96/10.30	    
14.06/10.41	    num=350, depth=6..17, filters=1466166, revisions=(2115295,useless=925286), ccks=440685, wck=8.168, mem=54M410
14.06/10.41	    decisions=104801, wrong=50901, backtracks=21929, failedAssignments=33922, nogoods=4058, foundSolutions=16, bestBound=705
14.06/10.41	    
14.16/10.54	    num=351, depth=3..18, filters=1490649, revisions=(2151540,useless=941572), ccks=447397, wck=8.302, mem=57M26
14.16/10.54	    decisions=106436, wrong=51714, backtracks=22265, failedAssignments=34469, nogoods=4087, foundSolutions=16, bestBound=705
14.16/10.54	    
14.26/10.69	    num=352, depth=4..15, filters=1517428, revisions=(2191799,useless=959796), ccks=455144, wck=8.456, mem=59M642
14.26/10.69	    decisions=108192, wrong=52588, backtracks=22606, failedAssignments=35071, nogoods=4110, foundSolutions=16, bestBound=705
14.26/10.69	    
14.46/10.84	    num=353, depth=7..17, filters=1545596, revisions=(2231793,useless=977287), ccks=463436, wck=8.602, mem=62M258
14.46/10.84	    decisions=110217, wrong=53596, backtracks=23020, failedAssignments=35733, nogoods=4122, foundSolutions=16, bestBound=705
14.46/10.84	    
14.56/11.00	    num=354, depth=7..17, filters=1575273, revisions=(2276858,useless=998025), ccks=471650, wck=8.765, mem=64M874
14.56/11.00	    decisions=112275, wrong=54621, backtracks=23392, failedAssignments=36461, nogoods=4148, foundSolutions=16, bestBound=705
14.56/11.00	    
14.77/11.19	    num=355, depth=5..15, filters=1609650, revisions=(2327752,useless=1021129), ccks=480895, wck=8.956, mem=70M106
14.77/11.19	    decisions=114568, wrong=55763, backtracks=23823, failedAssignments=37262, nogoods=4168, foundSolutions=16, bestBound=705
14.77/11.19	    
15.06/11.40	    num=356, depth=3..18, filters=1648471, revisions=(2384741,useless=1046952), ccks=491943, wck=9.166, mem=72M722
15.06/11.40	    decisions=117203, wrong=57077, backtracks=24335, failedAssignments=38143, nogoods=4181, foundSolutions=16, bestBound=705
15.06/11.40	    
15.06/11.42	o 714
15.06/11.42	    num=357, depth=9..89, filters=1651628, revisions=(2389583,useless=1049191), ccks=493056, wck=9.184, mem=72M722
15.06/11.42	    decisions=117417, wrong=57177, backtracks=24380, failedAssignments=38208, nogoods=4197, foundSolutions=17, bestBound=714
15.06/11.42	    
15.27/11.67	    num=358, depth=6..21, filters=1696205, revisions=(2455962,useless=1079315), ccks=505033, wck=9.429, mem=77M954
15.27/11.67	    decisions=120451, wrong=58688, backtracks=24952, failedAssignments=39275, nogoods=4208, foundSolutions=17, bestBound=714
15.27/11.67	    
15.27/11.67	    num=359, depth=8..14, filters=1696812, revisions=(2456937,useless=1079743), ccks=505286, wck=9.433, mem=77M954
15.27/11.67	    decisions=120496, wrong=58705, backtracks=24960, failedAssignments=39286, nogoods=4215, foundSolutions=17, bestBound=714
15.27/11.67	    
15.27/11.68	    num=360, depth=6..10, filters=1697538, revisions=(2458073,useless=1080257), ccks=505528, wck=9.438, mem=77M954
15.27/11.68	    decisions=120531, wrong=58719, backtracks=24964, failedAssignments=39298, nogoods=4222, foundSolutions=17, bestBound=714
15.27/11.68	    
15.27/11.68	    num=361, depth=1..12, filters=1698268, revisions=(2459176,useless=1080745), ccks=505747, wck=9.442, mem=77M954
15.27/11.68	    decisions=120578, wrong=58742, backtracks=24976, failedAssignments=39311, nogoods=4225, foundSolutions=17, bestBound=714
15.27/11.68	    
15.27/11.69	    num=362, depth=7..14, filters=1699026, revisions=(2460300,useless=1081209), ccks=505979, wck=9.447, mem=77M954
15.27/11.69	    decisions=120633, wrong=58764, backtracks=24987, failedAssignments=39325, nogoods=4233, foundSolutions=17, bestBound=714
15.27/11.69	    
15.27/11.69	    num=363, depth=4..16, filters=1699915, revisions=(2461730,useless=1081849), ccks=506246, wck=9.453, mem=77M954
15.27/11.69	    decisions=120690, wrong=58788, backtracks=24998, failedAssignments=39341, nogoods=4243, foundSolutions=17, bestBound=714
15.27/11.69	    
15.27/11.70	    num=364, depth=7..11, filters=1700640, revisions=(2462887,useless=1082369), ccks=506474, wck=9.458, mem=77M954
15.27/11.70	    decisions=120738, wrong=58807, backtracks=25000, failedAssignments=39358, nogoods=4257, foundSolutions=17, bestBound=714
15.27/11.70	    
15.37/11.70	    num=365, depth=2..8, filters=1701526, revisions=(2464151,useless=1082907), ccks=506733, wck=9.464, mem=77M954
15.37/11.70	    decisions=120787, wrong=58829, backtracks=25003, failedAssignments=39377, nogoods=4275, foundSolutions=17, bestBound=714
15.37/11.70	    
15.37/11.71	    num=366, depth=7..14, filters=1702462, revisions=(2465635,useless=1083585), ccks=507058, wck=9.469, mem=77M954
15.37/11.71	    decisions=120855, wrong=58859, backtracks=25013, failedAssignments=39398, nogoods=4278, foundSolutions=17, bestBound=714
15.37/11.71	    
15.37/11.71	    num=367, depth=5..13, filters=1703710, revisions=(2467486,useless=1084364), ccks=507412, wck=9.477, mem=77M954
15.37/11.71	    decisions=120935, wrong=58895, backtracks=25031, failedAssignments=39421, nogoods=4283, foundSolutions=17, bestBound=714
15.37/11.71	    
15.37/11.72	    num=368, depth=7..10, filters=1704709, revisions=(2468951,useless=1084975), ccks=507744, wck=9.483, mem=77M954
15.37/11.72	    decisions=121003, wrong=58925, backtracks=25036, failedAssignments=39446, nogoods=4300, foundSolutions=17, bestBound=714
15.37/11.72	    
15.37/11.73	    num=369, depth=10..16, filters=1706073, revisions=(2470974,useless=1085840), ccks=508237, wck=9.491, mem=77M954
15.37/11.73	    decisions=121085, wrong=58961, backtracks=25045, failedAssignments=39474, nogoods=4306, foundSolutions=17, bestBound=714
15.37/11.73	    
15.37/11.74	    num=370, depth=7..15, filters=1707638, revisions=(2473208,useless=1086788), ccks=508688, wck=9.5, mem=77M954
15.37/11.74	    decisions=121189, wrong=59009, backtracks=25067, failedAssignments=39505, nogoods=4314, foundSolutions=17, bestBound=714
15.37/11.74	    
15.37/11.75	    num=371, depth=7..11, filters=1709319, revisions=(2475717,useless=1087852), ccks=509184, wck=9.51, mem=77M954
15.37/11.75	    decisions=121286, wrong=59054, backtracks=25080, failedAssignments=39539, nogoods=4316, foundSolutions=17, bestBound=714
15.37/11.75	    
15.37/11.76	    num=372, depth=5..11, filters=1711267, revisions=(2478511,useless=1089038), ccks=509755, wck=9.52, mem=77M954
15.37/11.76	    decisions=121400, wrong=59108, backtracks=25100, failedAssignments=39576, nogoods=4325, foundSolutions=17, bestBound=714
15.37/11.76	    
15.37/11.77	    num=373, depth=6..11, filters=1713079, revisions=(2481183,useless=1090217), ccks=510348, wck=9.531, mem=77M954
15.37/11.77	    decisions=121509, wrong=59158, backtracks=25111, failedAssignments=39617, nogoods=4338, foundSolutions=17, bestBound=714
15.37/11.77	    
15.37/11.78	    num=374, depth=5..15, filters=1715032, revisions=(2484281,useless=1091627), ccks=510956, wck=9.544, mem=80M570
15.37/11.78	    decisions=121640, wrong=59218, backtracks=25129, failedAssignments=39662, nogoods=4355, foundSolutions=17, bestBound=714
15.37/11.78	    
15.47/11.80	    num=375, depth=0..9, filters=1717591, revisions=(2488145,useless=1093330), ccks=511668, wck=9.56, mem=80M570
15.47/11.80	    decisions=121809, wrong=59300, backtracks=25165, failedAssignments=39712, nogoods=4365, foundSolutions=17, bestBound=714
15.47/11.80	    
15.47/11.81	    num=376, depth=4..17, filters=1720030, revisions=(2491594,useless=1094818), ccks=512360, wck=9.573, mem=80M570
15.47/11.81	    decisions=121986, wrong=59383, backtracks=25203, failedAssignments=39767, nogoods=4374, foundSolutions=17, bestBound=714
15.47/11.81	    
15.47/11.83	    num=377, depth=8..13, filters=1722854, revisions=(2495913,useless=1096759), ccks=513184, wck=9.589, mem=80M570
15.47/11.83	    decisions=122166, wrong=59468, backtracks=25235, failedAssignments=39828, nogoods=4389, foundSolutions=17, bestBound=714
15.47/11.83	    
15.47/11.84	    num=378, depth=7..13, filters=1725918, revisions=(2500782,useless=1099058), ccks=514011, wck=9.606, mem=80M570
15.47/11.84	    decisions=122350, wrong=59555, backtracks=25260, failedAssignments=39895, nogoods=4405, foundSolutions=17, bestBound=714
15.47/11.84	    
15.47/11.86	    num=379, depth=5..14, filters=1728847, revisions=(2504878,useless=1100813), ccks=514895, wck=9.622, mem=80M570
15.47/11.86	    decisions=122585, wrong=59667, backtracks=25309, failedAssignments=39969, nogoods=4414, foundSolutions=17, bestBound=714
15.47/11.86	    
15.47/11.88	    num=380, depth=5..13, filters=1732909, revisions=(2510666,useless=1103246), ccks=516101, wck=9.644, mem=80M570
15.47/11.88	    decisions=122833, wrong=59786, backtracks=25353, failedAssignments=40050, nogoods=4430, foundSolutions=17, bestBound=714
15.47/11.88	    
15.57/11.90	    num=381, depth=6..16, filters=1736834, revisions=(2516419,useless=1105771), ccks=517271, wck=9.667, mem=80M570
15.57/11.90	    decisions=123092, wrong=59911, backtracks=25403, failedAssignments=40139, nogoods=4436, foundSolutions=17, bestBound=714
15.57/11.90	    
15.57/11.93	    num=382, depth=8..15, filters=1741332, revisions=(2523040,useless=1108790), ccks=518599, wck=9.69, mem=80M570
15.57/11.93	    decisions=123382, wrong=60052, backtracks=25460, failedAssignments=40237, nogoods=4449, foundSolutions=17, bestBound=714
15.57/11.93	    
15.57/11.95	    num=383, depth=6..14, filters=1746173, revisions=(2530049,useless=1111840), ccks=520078, wck=9.716, mem=83M186
15.57/11.95	    decisions=123731, wrong=60223, backtracks=25536, failedAssignments=40345, nogoods=4460, foundSolutions=17, bestBound=714
15.57/11.95	    
15.57/11.98	    num=384, depth=4..15, filters=1750637, revisions=(2536348,useless=1114584), ccks=521419, wck=9.74, mem=84M507
15.57/11.98	    decisions=124096, wrong=60403, backtracks=25621, failedAssignments=40464, nogoods=4463, foundSolutions=17, bestBound=714
15.57/11.98	    
15.68/12.01	    num=385, depth=5..13, filters=1756252, revisions=(2544805,useless=1118314), ccks=523136, wck=9.773, mem=84M507
15.68/12.01	    decisions=124446, wrong=60575, backtracks=25673, failedAssignments=40595, nogoods=4478, foundSolutions=17, bestBound=714
15.68/12.01	    
15.68/12.05	    num=386, depth=8..15, filters=1763704, revisions=(2555523,useless=1122984), ccks=525634, wck=9.812, mem=84M507
15.68/12.05	    decisions=124892, wrong=60793, backtracks=25770, failedAssignments=40739, nogoods=4495, foundSolutions=17, bestBound=714
15.68/12.05	    
15.68/12.08	    num=387, depth=6..14, filters=1769138, revisions=(2564185,useless=1127256), ccks=526705, wck=9.844, mem=84M507
15.68/12.08	    decisions=125332, wrong=61009, backtracks=25848, failedAssignments=40897, nogoods=4499, foundSolutions=17, bestBound=714
15.68/12.08	    
15.79/12.13	    num=388, depth=5..15, filters=1776887, revisions=(2576053,useless=1132724), ccks=528703, wck=9.89, mem=87M123
15.79/12.13	    decisions=125851, wrong=61265, backtracks=25949, failedAssignments=41071, nogoods=4506, foundSolutions=17, bestBound=714
15.79/12.13	    
15.79/12.18	    num=389, depth=5..18, filters=1785689, revisions=(2589211,useless=1138559), ccks=531252, wck=9.94, mem=87M123
15.79/12.18	    decisions=126449, wrong=61560, backtracks=26070, failedAssignments=41262, nogoods=4516, foundSolutions=17, bestBound=714
15.79/12.18	    
15.88/12.23	    num=390, depth=4..15, filters=1794652, revisions=(2602673,useless=1144715), ccks=533984, wck=9.99, mem=89M739
15.88/12.23	    decisions=127046, wrong=61855, backtracks=26176, failedAssignments=41473, nogoods=4530, foundSolutions=17, bestBound=714
15.88/12.23	    
15.88/12.28	    num=391, depth=4..13, filters=1804269, revisions=(2616860,useless=1150991), ccks=536843, wck=10.046, mem=89M739
15.88/12.28	    decisions=127675, wrong=62167, backtracks=26278, failedAssignments=41705, nogoods=4542, foundSolutions=17, bestBound=714
15.88/12.28	    
15.98/12.34	    num=392, depth=4..13, filters=1815242, revisions=(2632579,useless=1157858), ccks=540128, wck=10.104, mem=89M739
15.98/12.34	    decisions=128436, wrong=62544, backtracks=26445, failedAssignments=41960, nogoods=4561, foundSolutions=17, bestBound=714
15.98/12.34	    
16.12/12.41	    num=393, depth=4..16, filters=1827849, revisions=(2650797,useless=1165825), ccks=543889, wck=10.171, mem=92M355
16.12/12.41	    decisions=129285, wrong=62965, backtracks=26624, failedAssignments=42241, nogoods=4563, foundSolutions=17, bestBound=714
16.12/12.41	    
16.12/12.48	    num=394, depth=5..14, filters=1840238, revisions=(2668907,useless=1173960), ccks=547593, wck=10.241, mem=92M355
16.12/12.48	    decisions=130125, wrong=63382, backtracks=26764, failedAssignments=42550, nogoods=4584, foundSolutions=17, bestBound=714
16.12/12.48	    
16.22/12.55	    num=395, depth=4..13, filters=1854315, revisions=(2688747,useless=1182483), ccks=551820, wck=10.314, mem=94M971
16.22/12.55	    decisions=131120, wrong=63876, backtracks=26982, failedAssignments=42890, nogoods=4605, foundSolutions=17, bestBound=714
16.22/12.55	    
16.32/12.63	    num=396, depth=3..16, filters=1869014, revisions=(2709613,useless=1191557), ccks=556151, wck=10.39, mem=94M971
16.32/12.63	    decisions=132229, wrong=64427, backtracks=27234, failedAssignments=43264, nogoods=4617, foundSolutions=17, bestBound=714
16.32/12.63	    
16.42/12.74	    num=397, depth=0..15, filters=1888813, revisions=(2738948,useless=1204651), ccks=561899, wck=10.501, mem=97M587
16.42/12.74	    decisions=133524, wrong=65072, backtracks=27503, failedAssignments=43675, nogoods=4625, foundSolutions=17, bestBound=714
16.42/12.74	    
16.52/12.84	    num=398, depth=3..15, filters=1909384, revisions=(2768853,useless=1217856), ccks=567812, wck=10.606, mem=97M587
16.52/12.84	    decisions=134914, wrong=65763, backtracks=27809, failedAssignments=44127, nogoods=4644, foundSolutions=17, bestBound=714
16.52/12.84	    
16.62/12.95	    num=399, depth=3..20, filters=1930992, revisions=(2799605,useless=1231220), ccks=574330, wck=10.716, mem=100M203
16.62/12.95	    decisions=136421, wrong=66513, backtracks=28135, failedAssignments=44624, nogoods=4670, foundSolutions=17, bestBound=714
16.62/12.95	    
16.73/13.07	    num=400, depth=6..17, filters=1952806, revisions=(2831522,useless=1245552), ccks=580742, wck=10.834, mem=102M819
16.73/13.07	    decisions=138019, wrong=67308, backtracks=28471, failedAssignments=45171, nogoods=4680, foundSolutions=17, bestBound=714
16.73/13.07	    
16.92/13.22	    num=401, depth=0..17, filters=1978225, revisions=(2869895,useless=1262733), ccks=588144, wck=10.986, mem=105M435
16.92/13.22	    decisions=139775, wrong=68182, backtracks=28829, failedAssignments=45773, nogoods=4701, foundSolutions=17, bestBound=714
16.92/13.22	    
17.02/13.39	    num=402, depth=2..18, filters=2008455, revisions=(2913720,useless=1281920), ccks=596670, wck=11.149, mem=108M51
17.02/13.39	    decisions=141793, wrong=69188, backtracks=29271, failedAssignments=46435, nogoods=4720, foundSolutions=17, bestBound=714
17.02/13.39	    
17.22/13.57	    num=403, depth=4..16, filters=2042633, revisions=(2963355,useless=1303676), ccks=606304, wck=11.331, mem=110M667
17.22/13.57	    decisions=144024, wrong=70299, backtracks=29743, failedAssignments=47163, nogoods=4738, foundSolutions=17, bestBound=714
17.22/13.57	    
17.42/13.76	    num=404, depth=4..16, filters=2079176, revisions=(3016470,useless=1327283), ccks=617056, wck=11.526, mem=113M283
17.42/13.76	    decisions=146357, wrong=71462, backtracks=30202, failedAssignments=47964, nogoods=4750, foundSolutions=17, bestBound=714
17.42/13.76	    
17.62/13.94	    num=405, depth=6..17, filters=2112820, revisions=(3065547,useless=1349496), ccks=626525, wck=11.702, mem=115M899
17.62/13.94	    decisions=148891, wrong=72724, backtracks=30699, failedAssignments=48845, nogoods=4759, foundSolutions=17, bestBound=714
17.62/13.94	    
17.83/14.18	    num=406, depth=6..17, filters=2157957, revisions=(3131914,useless=1379337), ccks=639274, wck=11.939, mem=121M131
17.83/14.18	    decisions=151892, wrong=74221, backtracks=31344, failedAssignments=49815, nogoods=4779, foundSolutions=17, bestBound=714
17.83/14.18	    
18.12/14.44	    num=407, depth=1..14, filters=2204977, revisions=(3201014,useless=1410150), ccks=652913, wck=12.2, mem=123M747
18.12/14.44	    decisions=155069, wrong=75808, backtracks=32025, failedAssignments=50882, nogoods=4790, foundSolutions=17, bestBound=714
18.12/14.44	    
18.42/14.72	    num=408, depth=0..18, filters=2256644, revisions=(3275959,useless=1442561), ccks=668287, wck=12.484, mem=128M979
18.42/14.72	    decisions=158384, wrong=77461, backtracks=32612, failedAssignments=52055, nogoods=4810, foundSolutions=17, bestBound=714
18.42/14.72	    
18.73/15.03	    num=409, depth=5..17, filters=2312864, revisions=(3360266,useless=1480935), ccks=683808, wck=12.794, mem=134M211
18.73/15.03	    decisions=162281, wrong=79406, backtracks=33414, failedAssignments=53346, nogoods=4820, foundSolutions=17, bestBound=714
18.73/15.03	    
19.02/15.36	    num=410, depth=4..18, filters=2373411, revisions=(3448643,useless=1519938), ccks=701053, wck=13.126, mem=139M443
19.02/15.36	    decisions=166305, wrong=81414, backtracks=34186, failedAssignments=54766, nogoods=4848, foundSolutions=17, bestBound=714
19.02/15.36	    
19.42/15.75	    num=411, depth=2..15, filters=2441697, revisions=(3549831,useless=1564900), ccks=720650, wck=13.512, mem=147M291
19.42/15.75	    decisions=170883, wrong=83701, backtracks=35109, failedAssignments=56328, nogoods=4866, foundSolutions=17, bestBound=714
19.42/15.75	    
19.84/16.17	    num=412, depth=1..17, filters=2517740, revisions=(3661856,useless=1614564), ccks=742483, wck=13.93, mem=23M223
19.84/16.17	    decisions=176042, wrong=86278, backtracks=36171, failedAssignments=58046, nogoods=4901, foundSolutions=17, bestBound=714
19.84/16.17	    
20.36/16.63	    num=413, depth=4..18, filters=2600857, revisions=(3786300,useless=1670716), ccks=765632, wck=14.395, mem=31M71
20.36/16.63	    decisions=181564, wrong=89036, backtracks=37248, failedAssignments=59936, nogoods=4928, foundSolutions=17, bestBound=714
20.36/16.63	    
20.86/17.11	    num=414, depth=4..17, filters=2691830, revisions=(3918934,useless=1729432), ccks=791663, wck=14.868, mem=36M303
20.86/17.11	    decisions=188079, wrong=92290, backtracks=38678, failedAssignments=62015, nogoods=4946, foundSolutions=17, bestBound=714
20.86/17.11	    
20.96/17.26	o 771
20.96/17.26	    num=415, depth=6..89, filters=2718349, revisions=(3959702,useless=1748429), ccks=799122, wck=15.018, mem=38M919
20.96/17.26	    decisions=190114, wrong=93301, backtracks=39074, failedAssignments=62718, nogoods=4962, foundSolutions=18, bestBound=771
20.96/17.26	    
21.66/17.92	    num=416, depth=4..16, filters=2838174, revisions=(4139215,useless=1828771), ccks=832431, wck=15.687, mem=51M999
21.66/17.92	    decisions=197466, wrong=96974, backtracks=40479, failedAssignments=65234, nogoods=4986, foundSolutions=18, bestBound=771
21.66/17.92	    
21.66/17.93	    num=417, depth=3..9, filters=2838647, revisions=(4139963,useless=1829108), ccks=832590, wck=15.691, mem=51M999
21.66/17.93	    decisions=197503, wrong=96990, backtracks=40486, failedAssignments=65245, nogoods=4994, foundSolutions=18, bestBound=771
21.66/17.93	    
21.66/17.93	    num=418, depth=5..11, filters=2839346, revisions=(4141099,useless=1829628), ccks=832804, wck=15.695, mem=51M999
21.66/17.93	    decisions=197542, wrong=97004, backtracks=40490, failedAssignments=65257, nogoods=5003, foundSolutions=18, bestBound=771
21.66/17.93	    
21.66/17.94	    num=419, depth=5..11, filters=2840061, revisions=(4142208,useless=1830104), ccks=833052, wck=15.7, mem=51M999
21.66/17.94	    decisions=197585, wrong=97020, backtracks=40494, failedAssignments=65270, nogoods=5008, foundSolutions=18, bestBound=771
21.66/17.94	    
21.66/17.95	    num=420, depth=2..6, filters=2841122, revisions=(4143968,useless=1830889), ccks=833329, wck=15.708, mem=51M999
21.66/17.95	    decisions=197631, wrong=97040, backtracks=40501, failedAssignments=65284, nogoods=5018, foundSolutions=18, bestBound=771
21.66/17.95	    
21.66/17.95	    num=421, depth=6..9, filters=2842120, revisions=(4145534,useless=1831598), ccks=833633, wck=15.714, mem=51M999
21.66/17.95	    decisions=197679, wrong=97061, backtracks=40507, failedAssignments=65300, nogoods=5025, foundSolutions=18, bestBound=771
21.66/17.95	    
21.66/17.96	    num=422, depth=5..10, filters=2843153, revisions=(4147211,useless=1832351), ccks=833903, wck=15.721, mem=51M999
21.66/17.96	    decisions=197726, wrong=97081, backtracks=40510, failedAssignments=65317, nogoods=5042, foundSolutions=18, bestBound=771
21.66/17.96	    
21.66/17.97	    num=423, depth=5..12, filters=2844442, revisions=(4149066,useless=1833121), ccks=834329, wck=15.728, mem=51M999
21.66/17.97	    decisions=197796, wrong=97111, backtracks=40521, failedAssignments=65336, nogoods=5050, foundSolutions=18, bestBound=771
21.66/17.97	    
21.66/17.97	    num=424, depth=5..11, filters=2845741, revisions=(4151128,useless=1834061), ccks=834732, wck=15.737, mem=51M999
21.66/17.97	    decisions=197871, wrong=97145, backtracks=40539, failedAssignments=65357, nogoods=5057, foundSolutions=18, bestBound=771
21.66/17.97	    
21.66/17.98	    num=425, depth=3..13, filters=2846753, revisions=(4152686,useless=1834750), ccks=835017, wck=15.743, mem=51M999
21.66/17.98	    decisions=197938, wrong=97176, backtracks=40551, failedAssignments=65380, nogoods=5063, foundSolutions=18, bestBound=771
21.66/17.98	    
21.66/17.99	    num=426, depth=3..8, filters=2847736, revisions=(4154225,useless=1835464), ccks=835311, wck=15.75, mem=51M999
21.66/17.99	    decisions=198012, wrong=97211, backtracks=40562, failedAssignments=65405, nogoods=5075, foundSolutions=18, bestBound=771
21.66/17.99	    
21.66/18.00	    num=427, depth=1..6, filters=2849180, revisions=(4156374,useless=1836421), ccks=835733, wck=15.759, mem=51M999
21.66/18.00	    decisions=198103, wrong=97255, backtracks=40581, failedAssignments=65433, nogoods=5087, foundSolutions=18, bestBound=771
21.66/18.00	    
21.76/18.01	    num=428, depth=4..9, filters=2850935, revisions=(4159229,useless=1837714), ccks=836282, wck=15.771, mem=51M999
21.76/18.01	    decisions=198192, wrong=97296, backtracks=40594, failedAssignments=65464, nogoods=5104, foundSolutions=18, bestBound=771
21.76/18.01	    
21.76/18.02	    num=429, depth=3..10, filters=2852186, revisions=(4160989,useless=1838437), ccks=836662, wck=15.779, mem=51M999
21.76/18.02	    decisions=198294, wrong=97344, backtracks=40611, failedAssignments=65498, nogoods=5122, foundSolutions=18, bestBound=771
21.76/18.02	    
21.76/18.03	    num=430, depth=1..10, filters=2853981, revisions=(4163704,useless=1839672), ccks=837170, wck=15.789, mem=51M999
21.76/18.03	    decisions=198397, wrong=97394, backtracks=40625, failedAssignments=65535, nogoods=5138, foundSolutions=18, bestBound=771
21.76/18.03	    
21.76/18.04	    num=431, depth=2..9, filters=2856197, revisions=(4167018,useless=1841118), ccks=837783, wck=15.803, mem=54M615
21.76/18.04	    decisions=198532, wrong=97458, backtracks=40653, failedAssignments=65576, nogoods=5149, foundSolutions=18, bestBound=771
21.76/18.04	    
21.76/18.05	    num=432, depth=3..7, filters=2858165, revisions=(4169888,useless=1842381), ccks=838432, wck=15.814, mem=54M615
21.76/18.05	    decisions=198661, wrong=97520, backtracks=40674, failedAssignments=65621, nogoods=5163, foundSolutions=18, bestBound=771
21.76/18.05	    
21.76/18.06	    num=433, depth=3..12, filters=2860475, revisions=(4173246,useless=1843831), ccks=839174, wck=15.827, mem=54M615
21.76/18.06	    decisions=198826, wrong=97599, backtracks=40714, failedAssignments=65671, nogoods=5176, foundSolutions=18, bestBound=771
21.76/18.06	    
21.76/18.08	    num=434, depth=4..13, filters=2863214, revisions=(4177489,useless=1845814), ccks=839903, wck=15.843, mem=54M615
21.76/18.08	    decisions=199005, wrong=97685, backtracks=40747, failedAssignments=65726, nogoods=5179, foundSolutions=18, bestBound=771
21.76/18.08	    
21.76/18.10	    num=435, depth=4..11, filters=2866501, revisions=(4182367,useless=1847944), ccks=840973, wck=15.862, mem=54M615
21.76/18.10	    decisions=199201, wrong=97779, backtracks=40784, failedAssignments=65787, nogoods=5190, foundSolutions=18, bestBound=771
21.76/18.10	    
21.86/18.12	    num=436, depth=3..10, filters=2869962, revisions=(4187498,useless=1850232), ccks=842040, wck=15.882, mem=54M615
21.86/18.12	    decisions=199407, wrong=97878, backtracks=40822, failedAssignments=65854, nogoods=5206, foundSolutions=18, bestBound=771
21.86/18.12	    
21.86/18.14	    num=437, depth=3..10, filters=2873542, revisions=(4192714,useless=1852538), ccks=843110, wck=15.901, mem=54M615
21.86/18.14	    decisions=199642, wrong=97992, backtracks=40874, failedAssignments=65928, nogoods=5218, foundSolutions=18, bestBound=771
21.86/18.14	    
21.86/18.16	    num=438, depth=7..14, filters=2877262, revisions=(4198429,useless=1855232), ccks=844058, wck=15.922, mem=54M615
21.86/18.16	    decisions=199900, wrong=98116, backtracks=40928, failedAssignments=66009, nogoods=5226, foundSolutions=18, bestBound=771
21.86/18.16	    
21.86/18.18	    num=439, depth=3..12, filters=2881522, revisions=(4204333,useless=1857717), ccks=845333, wck=15.944, mem=54M615
21.86/18.18	    decisions=200181, wrong=98252, backtracks=40988, failedAssignments=66098, nogoods=5242, foundSolutions=18, bestBound=771
21.86/18.18	    
21.96/18.21	    num=440, depth=2..13, filters=2886329, revisions=(4211446,useless=1860813), ccks=846688, wck=15.971, mem=57M231
21.96/18.21	    decisions=200476, wrong=98397, backtracks=41043, failedAssignments=66196, nogoods=5255, foundSolutions=18, bestBound=771
21.96/18.21	    
21.96/18.24	    num=441, depth=2..10, filters=2891261, revisions=(4218645,useless=1863940), ccks=848181, wck=15.998, mem=57M231
21.96/18.24	    decisions=200807, wrong=98560, backtracks=41111, failedAssignments=66304, nogoods=5264, foundSolutions=18, bestBound=771
21.96/18.24	    
21.96/18.27	    num=442, depth=2..11, filters=2897036, revisions=(4227034,useless=1867632), ccks=849914, wck=16.03, mem=57M231
21.96/18.27	    decisions=201193, wrong=98750, backtracks=41198, failedAssignments=66423, nogoods=5282, foundSolutions=18, bestBound=771
21.96/18.27	    
22.06/18.30	    num=443, depth=3..14, filters=2903254, revisions=(4235549,useless=1871227), ccks=851870, wck=16.061, mem=57M231
22.06/18.30	    decisions=201636, wrong=98967, backtracks=41297, failedAssignments=66554, nogoods=5293, foundSolutions=18, bestBound=771
22.06/18.30	    
22.06/18.33	    num=444, depth=2..12, filters=2908735, revisions=(4243510,useless=1874792), ccks=853537, wck=16.092, mem=57M231
22.06/18.33	    decisions=202060, wrong=99176, backtracks=41373, failedAssignments=66698, nogoods=5308, foundSolutions=18, bestBound=771
22.06/18.33	    
22.06/18.37	    num=445, depth=5..14, filters=2916998, revisions=(4255795,useless=1880232), ccks=855889, wck=16.137, mem=59M847
22.06/18.37	    decisions=202562, wrong=99422, backtracks=41474, failedAssignments=66856, nogoods=5328, foundSolutions=18, bestBound=771
22.06/18.37	    
22.16/18.42	    num=446, depth=5..16, filters=2925540, revisions=(4269048,useless=1886486), ccks=858200, wck=16.186, mem=59M847
22.16/18.42	    decisions=203101, wrong=99688, backtracks=41585, failedAssignments=67030, nogoods=5347, foundSolutions=18, bestBound=771
22.16/18.42	    
22.16/18.47	    num=447, depth=7..15, filters=2934087, revisions=(4281622,useless=1892144), ccks=860772, wck=16.232, mem=59M847
22.16/18.47	    decisions=203691, wrong=99979, backtracks=41707, failedAssignments=67221, nogoods=5359, foundSolutions=18, bestBound=771
22.16/18.47	    
22.29/18.52	    num=448, depth=1..12, filters=2942826, revisions=(4294232,useless=1897685), ccks=863397, wck=16.28, mem=62M463
22.29/18.52	    decisions=204324, wrong=100293, backtracks=41842, failedAssignments=67432, nogoods=5374, foundSolutions=18, bestBound=771
22.29/18.52	    
22.29/18.58	    num=449, depth=4..15, filters=2953405, revisions=(4310035,useless=1904977), ccks=866073, wck=16.339, mem=62M463
22.29/18.58	    decisions=205025, wrong=100640, backtracks=41982, failedAssignments=67664, nogoods=5391, foundSolutions=18, bestBound=771
22.29/18.58	    
22.39/18.64	    num=450, depth=0..11, filters=2965263, revisions=(4327225,useless=1912535), ccks=869568, wck=16.405, mem=62M463
22.39/18.64	    decisions=205821, wrong=101035, backtracks=42167, failedAssignments=67919, nogoods=5406, foundSolutions=18, bestBound=771
22.39/18.64	    
22.49/18.72	    num=451, depth=4..14, filters=2978991, revisions=(4347785,useless=1921886), ccks=873568, wck=16.484, mem=65M79
22.49/18.72	    decisions=206650, wrong=101447, backtracks=42322, failedAssignments=68200, nogoods=5416, foundSolutions=18, bestBound=771
22.49/18.72	    
22.49/18.79	    num=452, depth=5..17, filters=2991060, revisions=(4366611,useless=1931013), ccks=876304, wck=16.551, mem=65M79
22.49/18.79	    decisions=207579, wrong=101907, backtracks=42527, failedAssignments=68509, nogoods=5433, foundSolutions=18, bestBound=771
22.49/18.79	    
22.59/18.88	    num=453, depth=3..14, filters=3007222, revisions=(4390751,useless=1941898), ccks=880920, wck=16.642, mem=67M695
22.59/18.88	    decisions=208552, wrong=102391, backtracks=42685, failedAssignments=68849, nogoods=5446, foundSolutions=18, bestBound=771
22.59/18.88	    
22.69/18.97	    num=454, depth=2..13, filters=3024651, revisions=(4415620,useless=1952516), ccks=886375, wck=16.736, mem=70M311
22.69/18.97	    decisions=209685, wrong=102954, backtracks=42919, failedAssignments=69223, nogoods=5467, foundSolutions=18, bestBound=771
22.69/18.97	    
22.80/19.07	    num=455, depth=1..15, filters=3042382, revisions=(4440526,useless=1963317), ccks=891654, wck=16.827, mem=70M311
22.80/19.07	    decisions=210922, wrong=103569, backtracks=43180, failedAssignments=69634, nogoods=5482, foundSolutions=18, bestBound=771
22.80/19.07	    
22.90/19.18	    num=456, depth=2..15, filters=3064218, revisions=(4471884,useless=1976989), ccks=898337, wck=16.941, mem=72M927
22.90/19.18	    decisions=212338, wrong=104274, backtracks=43492, failedAssignments=70086, nogoods=5498, foundSolutions=18, bestBound=771
22.90/19.18	    
23.09/19.32	    num=457, depth=4..13, filters=3088937, revisions=(4508986,useless=1993669), ccks=905225, wck=17.081, mem=75M543
23.09/19.32	    decisions=213810, wrong=105007, backtracks=43773, failedAssignments=70583, nogoods=5518, foundSolutions=18, bestBound=771
23.09/19.32	    
23.19/19.45	    num=458, depth=5..16, filters=3112821, revisions=(4544634,useless=2010041), ccks=911409, wck=17.209, mem=75M543
23.19/19.45	    decisions=215431, wrong=105811, backtracks=44122, failedAssignments=71130, nogoods=5546, foundSolutions=18, bestBound=771
23.19/19.45	    
23.29/19.59	    num=459, depth=4..15, filters=3137291, revisions=(4581115,useless=2026305), ccks=918196, wck=17.355, mem=80M775
23.29/19.59	    decisions=217099, wrong=106640, backtracks=44385, failedAssignments=71732, nogoods=5559, foundSolutions=18, bestBound=771
23.29/19.59	    
23.49/19.75	    num=460, depth=5..15, filters=3165525, revisions=(4622056,useless=2044405), ccks=926428, wck=17.51, mem=83M391
23.49/19.75	    decisions=219093, wrong=107632, backtracks=44792, failedAssignments=72394, nogoods=5577, foundSolutions=18, bestBound=771
23.49/19.75	    
23.69/19.93	    num=461, depth=5..16, filters=3198033, revisions=(4670928,useless=2066667), ccks=935268, wck=17.688, mem=86M7
23.69/19.93	    decisions=221274, wrong=108719, backtracks=45257, failedAssignments=73122, nogoods=5602, foundSolutions=18, bestBound=771
23.69/19.93	    
23.90/20.16	    num=462, depth=3..14, filters=3238141, revisions=(4732626,useless=2094490), ccks=945886, wck=17.922, mem=88M623
23.90/20.16	    decisions=223650, wrong=109905, backtracks=45748, failedAssignments=73923, nogoods=5607, foundSolutions=18, bestBound=771
23.90/20.16	    
24.09/20.38	    num=463, depth=2..14, filters=3279249, revisions=(4790868,useless=2119586), ccks=957954, wck=18.143, mem=91M239
24.09/20.38	    decisions=226390, wrong=111273, backtracks=46415, failedAssignments=74804, nogoods=5632, foundSolutions=18, bestBound=771
24.09/20.38	    
24.39/20.62	    num=464, depth=3..14, filters=3323001, revisions=(4855386,useless=2148217), ccks=969933, wck=18.386, mem=96M471
24.39/20.62	    decisions=229201, wrong=112675, backtracks=46975, failedAssignments=75774, nogoods=5640, foundSolutions=18, bestBound=771
24.39/20.62	    
24.69/20.94	    num=465, depth=1..14, filters=3375798, revisions=(4937679,useless=2186258), ccks=984071, wck=18.702, mem=101M703
24.69/20.94	    decisions=232347, wrong=114246, backtracks=47602, failedAssignments=76841, nogoods=5661, foundSolutions=18, bestBound=771
24.69/20.94	    
24.99/21.27	    num=466, depth=1..14, filters=3432970, revisions=(5025730,useless=2226652), ccks=999486, wck=19.034, mem=106M935
24.99/21.27	    decisions=235805, wrong=115972, backtracks=48284, failedAssignments=78014, nogoods=5687, foundSolutions=18, bestBound=771
24.99/21.27	    
25.39/21.60	    num=467, depth=0..14, filters=3495952, revisions=(5116039,useless=2266494), ccks=1018020, wck=19.364, mem=112M167
25.39/21.60	    decisions=239706, wrong=117920, backtracks=49131, failedAssignments=79305, nogoods=5714, foundSolutions=18, bestBound=771
25.39/21.60	    
25.70/21.99	    num=468, depth=2..17, filters=3564506, revisions=(5217994,useless=2311902), ccks=1036983, wck=19.754, mem=120M14
25.70/21.99	    decisions=243874, wrong=120001, backtracks=49962, failedAssignments=80725, nogoods=5732, foundSolutions=18, bestBound=771
25.70/21.99	    
26.20/22.44	    num=469, depth=3..15, filters=3642277, revisions=(5333573,useless=2362730), ccks=1060140, wck=20.202, mem=127M862
26.20/22.44	    decisions=248456, wrong=122288, backtracks=50859, failedAssignments=82287, nogoods=5745, foundSolutions=18, bestBound=771
26.20/22.44	    
26.60/22.87	    num=470, depth=0..18, filters=3721262, revisions=(5451799,useless=2416727), ccks=1081251, wck=20.632, mem=133M94
26.60/22.87	    decisions=253695, wrong=124904, backtracks=51965, failedAssignments=84005, nogoods=5754, foundSolutions=18, bestBound=771
26.60/22.87	    
27.10/23.37	    num=471, depth=1..13, filters=3813717, revisions=(5586735,useless=2476719), ccks=1107436, wck=21.136, mem=140M942
27.10/23.37	    decisions=259625, wrong=127866, backtracks=53280, failedAssignments=85895, nogoods=5769, foundSolutions=18, bestBound=771
27.10/23.37	    
27.70/23.91	    num=472, depth=0..14, filters=3911808, revisions=(5728789,useless=2539343), ccks=1136277, wck=21.676, mem=151M406
27.70/23.91	    decisions=265924, wrong=131013, backtracks=54591, failedAssignments=87974, nogoods=5786, foundSolutions=18, bestBound=771
27.70/23.91	    
28.33/24.53	    num=473, depth=3..15, filters=4016553, revisions=(5886359,useless=2610328), ccks=1165467, wck=22.296, mem=30M19
28.33/24.53	    decisions=272565, wrong=134329, backtracks=55837, failedAssignments=90261, nogoods=5796, foundSolutions=18, bestBound=771
28.33/24.53	    
28.94/25.16	    num=474, depth=0..15, filters=4130554, revisions=(6049603,useless=2681778), ccks=1197807, wck=22.92, mem=39M332
28.94/25.16	    decisions=280128, wrong=138109, backtracks=57438, failedAssignments=92777, nogoods=5812, foundSolutions=18, bestBound=771
28.94/25.16	    
29.63/25.82	    num=475, depth=3..18, filters=4252357, revisions=(6230912,useless=2763984), ccks=1229969, wck=23.578, mem=51M750
29.63/25.82	    decisions=288192, wrong=142136, backtracks=59099, failedAssignments=95545, nogoods=5822, foundSolutions=18, bestBound=771
29.63/25.82	    
30.43/26.62	    num=476, depth=1..15, filters=4405777, revisions=(6453287,useless=2862591), ccks=1274713, wck=24.382, mem=64M168
30.43/26.62	    decisions=297808, wrong=146943, backtracks=61324, failedAssignments=98589, nogoods=5841, foundSolutions=18, bestBound=771
30.43/26.62	    
31.23/27.45	    num=477, depth=2..14, filters=4555398, revisions=(6676143,useless=2962430), ccks=1316024, wck=25.215, mem=76M585
31.23/27.45	    decisions=307698, wrong=151884, backtracks=63262, failedAssignments=101938, nogoods=5859, foundSolutions=18, bestBound=771
31.23/27.45	    
32.23/28.41	    num=478, depth=2..16, filters=4721436, revisions=(6927743,useless=3076581), ccks=1359988, wck=26.172, mem=92M108
32.23/28.41	    decisions=318410, wrong=157236, backtracks=65419, failedAssignments=105622, nogoods=5876, foundSolutions=18, bestBound=771
32.23/28.41	    
33.43/29.63	    num=479, depth=1..14, filters=4932652, revisions=(7249166,useless=3220904), ccks=1417745, wck=27.393, mem=113M839
33.43/29.63	    decisions=330760, wrong=163408, backtracks=67929, failedAssignments=109674, nogoods=5901, foundSolutions=18, bestBound=771
33.43/29.63	    
34.63/30.83	    num=480, depth=0..16, filters=5142904, revisions=(7568391,useless=3366276), ccks=1471824, wck=28.589, mem=132M465
34.63/30.83	    decisions=344212, wrong=170129, backtracks=70625, failedAssignments=114131, nogoods=5943, foundSolutions=18, bestBound=771
34.63/30.83	    
35.94/32.14	    num=481, depth=0..17, filters=5378548, revisions=(7921000,useless=3525326), ccks=1538597, wck=29.902, mem=157M301
35.94/32.14	    decisions=359061, wrong=177550, backtracks=73590, failedAssignments=119034, nogoods=5963, foundSolutions=18, bestBound=771
35.94/32.14	    
37.24/33.48	    num=482, depth=0..14, filters=5622172, revisions=(8283819,useless=3689026), ccks=1603787, wck=31.242, mem=23M722
37.24/33.48	    decisions=374861, wrong=185447, backtracks=76727, failedAssignments=124428, nogoods=5969, foundSolutions=18, bestBound=771
37.24/33.48	    
38.76/34.98	    num=483, depth=0..15, filters=5905806, revisions=(8696455,useless=3872678), ccks=1686091, wck=32.74, mem=45M64
38.76/34.98	    decisions=393161, wrong=194594, backtracks=80780, failedAssignments=130361, nogoods=6000, foundSolutions=18, bestBound=771
38.76/34.98	    
40.66/36.87	    num=484, depth=0..15, filters=6223019, revisions=(9184533,useless=4095676), ccks=1770326, wck=34.635, mem=81M651
40.66/36.87	    decisions=411968, wrong=203995, backtracks=84200, failedAssignments=136887, nogoods=6026, foundSolutions=18, bestBound=771
40.66/36.87	    
42.66/38.84	    num=485, depth=0..16, filters=6567753, revisions=(9704719,useless=4330320), ccks=1866290, wck=36.604, mem=115M189
42.66/38.84	    decisions=433166, wrong=214592, backtracks=88341, failedAssignments=144066, nogoods=6040, foundSolutions=18, bestBound=771
42.66/38.84	    
44.76/40.93	    num=486, depth=0..18, filters=6934558, revisions=(10256428,useless=4579626), ccks=1965503, wck=38.689, mem=154M824
44.76/40.93	    decisions=456311, wrong=226162, backtracks=92860, failedAssignments=151963, nogoods=6055, foundSolutions=18, bestBound=771
44.76/40.93	    
47.10/43.24	    num=487, depth=1..17, filters=7364229, revisions=(10887490,useless=4862228), ccks=2084116, wck=41.005, mem=38M679
47.10/43.24	    decisions=483591, wrong=239799, backtracks=98833, failedAssignments=160650, nogoods=6080, foundSolutions=18, bestBound=771
47.10/43.24	    
49.60/45.79	    num=488, depth=1..16, filters=7817988, revisions=(11575849,useless=5177972), ccks=2203829, wck=43.554, mem=80M695
49.60/45.79	    decisions=512097, wrong=254049, backtracks=104516, failedAssignments=170205, nogoods=6115, foundSolutions=18, bestBound=771
49.60/45.79	    
52.50/48.69	    num=489, depth=0..16, filters=8349458, revisions=(12372766,useless=5537846), ccks=2350129, wck=46.455, mem=128M714
52.50/48.69	    decisions=544245, wrong=270119, backtracks=111290, failedAssignments=180716, nogoods=6132, foundSolutions=18, bestBound=771
52.50/48.69	    
56.04/52.11	    num=490, depth=0..17, filters=8964779, revisions=(13307991,useless=5962166), ccks=2518051, wck=49.875, mem=35M464
56.04/52.11	    decisions=580374, wrong=288182, backtracks=118985, failedAssignments=192278, nogoods=6155, foundSolutions=18, bestBound=771
56.04/52.11	    
59.34/55.49	    num=491, depth=1..17, filters=9585369, revisions=(14235059,useless=6382149), ccks=2683253, wck=53.256, mem=91M546
59.34/55.49	    decisions=620201, wrong=308092, backtracks=127430, failedAssignments=204996, nogoods=6178, foundSolutions=18, bestBound=771
59.34/55.49	    
63.14/59.28	    num=492, depth=1..17, filters=10260485, revisions=(15256280,useless=6844902), ccks=2860558, wck=57.04, mem=156M484
63.14/59.28	    decisions=662548, wrong=329261, backtracks=136397, failedAssignments=218986, nogoods=6216, foundSolutions=18, bestBound=771
63.14/59.28	    
67.58/63.64	    num=493, depth=0..16, filters=11041490, revisions=(16443418,useless=7387229), ccks=3069071, wck=61.403, mem=81M630
67.58/63.64	    decisions=710555, wrong=353262, backtracks=146661, failedAssignments=234375, nogoods=6219, foundSolutions=18, bestBound=771
67.58/63.64	    
72.59/68.60	    num=494, depth=0..16, filters=11913861, revisions=(17771853,useless=7991735), ccks=3308191, wck=66.36, mem=26M414
72.59/68.60	    decisions=761702, wrong=378833, backtracks=157132, failedAssignments=251303, nogoods=6240, foundSolutions=18, bestBound=771
72.59/68.60	    
74.79/70.84	
74.79/70.84	  New Bounds: 772..771
74.79/70.84	    num=495, depth=0..16, filters=12303597, revisions=(18366094,useless=8262872), ccks=3414564, wck=68.601, mem=66M313
74.79/70.84	    decisions=785416, wrong=390691, backtracks=162229, failedAssignments=259120, foundSolutions=18, bestBound=771
74.79/70.84	    
74.79/70.84	  Global
74.79/70.84	    filters=12303597, revisions=(18366094,useless=8262872), ccks=3414564
74.79/70.84	    Stop=FULL_EXPLORATION, wrong=390691, bestBound=771, bestBoundWck=15.415, bestBoundCpu=17.177, foundSolutions=18, firstSolCpu=2.222
74.79/70.84	    wck=68.998, cpu=70.703, mem=66M313
74.79/70.84	
74.79/70.84	v <instantiation id='sol18' type='solution' cost='771'>  <list> s[] f[] g[] </list>  <values> 2 0 23 6 4 5 18 15 8 29 11 26 12 10 14 20 1 17 7 13 27 21 22 19 24 25 9 16 28 3 46 0 180 194 0 0 273 574 0 1 58 26 0 43 0 45 178 0 41 40 73 0 0 1 0 0 70 61 0 89 0 0 74 24 0 0 54 91 0 21 31 3 0 60 0 90 78 0 17 17 8 0 0 56 0 0 80 47 0 20 </values>  </instantiation>
74.79/70.84	s OPTIMUM FOUND
74.79/70.84	
74.79/70.84	d WRONG_DECISIONS 390691
74.79/70.84	d NUMBER_SOLUTIONS 18

OK	771

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391170-1568390381/watcher-4391170-1568390381 -o /tmp/evaluation-result-4391170-1568390381/solver-4391170-1568390381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568390340-27919 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391170-1568390381.xml -cm 

running on 4 cores: 0,2,4,6

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

solver pid=27949, runsolver pid=27942

[startup+0.10015 s]*
/proc/loadavg: 1.00 1.03 1.12 6/227 27978
/proc/meminfo: memFree=31508896/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10659884 memory=28964 CPUtime=0.14 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 5254 0 0 0 13 1 0 0 20 0 15 0 414952072 10915721216 7241 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2664971 7241 2856 1 0 2627468 0
[pid=27949/tid=27952] ppid=27942 vsize=10659884 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) R 27942 27949 26068 0 -1 4202560 2976 0 0 0 8 1 0 0 20 0 15 0 414952072 10915721216 7241 33554432000 4194304 4196468 140731276559600 140178100942424 140178096735389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 7241 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 7241 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 7241 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 7241 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177587517088 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177586463984 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952077 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) S 27942 27949 26068 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) R 27942 27949 26068 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0.02 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) R 27942 27949 26068 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 414952078 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177582250760 140178075079808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 7241 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28964 KiB

[startup+0.210655 s]*
/proc/loadavg: 1.00 1.03 1.12 4/227 27978
/proc/meminfo: memFree=31495996/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10659884 memory=35420 CPUtime=0.33 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 6465 0 0 0 31 2 0 0 20 0 15 0 414952072 10915721216 8855 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2664971 8855 2989 1 0 2627468 0
[pid=27949/tid=27952] ppid=27942 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) R 27942 27949 26068 0 -1 4202560 3458 0 0 0 19 1 0 0 20 0 15 0 414952072 10915721216 8855 33554432000 4194304 4196468 140731276559600 140178100939824 140178096735389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 8855 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10659884 memory=3762951024891004576 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 8855 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 8855 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 8855 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177587517088 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177586463984 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952077 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) S 27942 27949 26068 0 -1 1077944384 494 0 0 0 3 0 0 0 20 0 15 0 414952078 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) S 27942 27949 26068 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 414952078 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0.05 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) S 27942 27949 26068 0 -1 1077944384 684 0 0 0 5 0 0 0 20 0 15 0 414952078 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177582254064 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 8855 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35420 KiB

[startup+0.310006 s]*
/proc/loadavg: 1.00 1.03 1.12 4/227 27978
/proc/meminfo: memFree=31481056/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10659884 memory=40316 CPUtime=0.47 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 8922 0 0 0 44 3 0 0 20 0 15 0 414952072 10915721216 10079 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2664971 10079 3001 1 0 2627468 0
[pid=27949/tid=27952] ppid=27942 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) R 27942 27949 26068 0 -1 4202560 5854 0 0 0 27 3 0 0 20 0 15 0 414952072 10915721216 10079 33554432000 4194304 4196468 140731276559600 140178100934352 140178096735389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 10079 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10659884 memory=3978006698896000672 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 10079 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 10079 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952073 10915721216 10079 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177587517088 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414952075 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177586463984 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952077 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) R 27942 27949 26068 0 -1 1077944384 528 0 0 0 4 0 0 0 20 0 15 0 414952078 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) R 27942 27949 26068 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 15 0 414952078 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) R 27942 27949 26068 0 -1 4202560 703 0 0 0 8 0 0 0 20 0 15 0 414952078 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177582254064 140178096734810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10659884 memory=140526897464960 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952078 10915721216 10079 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40316 KiB

[startup+0.701213 s]
/proc/loadavg: 1.00 1.03 1.12 5/227 27978
/proc/meminfo: memFree=31463492/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10661932 memory=62568 CPUtime=1.09 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 12320 0 0 0 103 6 0 0 20 0 15 0 414952072 10917818368 15642 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2665483 15642 3065 1 0 2627980 0
[pid=27949/tid=27952] ppid=27942 vsize=10661932 memory=1240 CPUtime=0.68 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) R 27942 27949 26068 0 -1 4202560 8402 0 0 0 64 4 0 0 20 0 15 0 414952072 10917818368 15642 33554432000 4194304 4196468 140731276559600 140178100939344 140178078086924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10661932 memory=580 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10917818368 15642 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10661932 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10917818368 15642 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10661932 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10917818368 15642 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10661932 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952073 10917818368 15642 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952075 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10661932 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414952075 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177587517088 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10661932 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414952075 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177586463984 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952077 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10661932 memory=7811607157327816530 CPUtime=0.09 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) R 27942 27949 26068 0 -1 4202560 729 0 0 0 9 0 0 0 20 0 15 0 414952078 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177584359664 140178078257952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10661932 memory=7236547281622689387 CPUtime=0.1 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) S 27942 27949 26068 0 -1 1077944384 728 0 0 0 10 0 0 0 20 0 15 0 414952078 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) S 27942 27949 26068 0 -1 1077944384 1103 0 0 0 19 0 0 0 20 0 15 0 414952078 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177582254064 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414952078 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952078 10917818368 15642 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62568 KiB

[startup+1.50086 s]
/proc/loadavg: 1.00 1.03 1.12 4/227 27978
/proc/meminfo: memFree=31431836/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10663980 memory=75308 CPUtime=1.98 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 17675 0 0 0 192 6 0 0 20 0 15 0 414952072 10919915520 18827 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2665995 18827 3095 1 0 2628492 0
[pid=27949/tid=27952] ppid=27942 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) R 27942 27949 26068 0 -1 4202560 12404 0 0 0 143 5 0 0 20 0 15 0 414952072 10919915520 18827 33554432000 4194304 4196468 140731276559600 140178100944768 140178080793950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10663980 memory=3054156605301691547 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10919915520 18827 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10663980 memory=-8851153767425282410 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10919915520 18827 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10663980 memory=8514726395714820750 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414952073 10919915520 18827 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414952073 10919915520 18827 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 414952075 10919915520 18827 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0

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

[startup+68.8008 s]
/proc/loadavg: 1.74 1.25 1.19 4/230 27992
/proc/meminfo: memFree=31079252/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10748324 memory=277132 CPUtime=72.79 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 60358 0 0 0 7255 24 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2687081 69283 3376 1 0 2647217 0
[pid=27949/tid=27952] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) S 27942 27949 26068 0 -1 1077944384 14542 0 0 0 179 6 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178100956336 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10748324 memory=14008 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 2275 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10748324 memory=272000 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 644 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10748324 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10748324 memory=277648 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2679 0 0 0 6 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10748324 memory=277648 CPUtime=0.02 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2263 0 0 0 2 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10748324 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177587517152 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10748324 memory=272000 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177586464000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10748324 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952077 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10748324 memory=2304 CPUtime=1.74 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) S 27942 27949 26068 0 -1 1077944384 16206 0 0 0 171 3 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10748324 memory=277648 CPUtime=1.26 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) S 27942 27949 26068 0 -1 1077944384 6797 0 0 0 125 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10748324 memory=2304 CPUtime=0.69 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) S 27942 27949 26068 0 -1 1077944384 4130 0 0 0 68 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177582254064 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10748324 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10748324 memory=1408 CPUtime=0.03 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 158 0 0 0 1 2 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27980] ppid=27942 vsize=10748324 memory=1408 CPUtime=66.78 cores=0,2,4,6
/proc/27949/task/27980/stat : 27980 (java) R 27942 27949 26068 0 -1 4202560 8525 0 0 0 6674 4 0 0 20 0 16 0 414952259 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177563262912 140177688786820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 72.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 277132 KiB

[startup+69.6008 s]
/proc/loadavg: 1.74 1.25 1.19 4/230 27992
/proc/meminfo: memFree=31077700/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10748324 memory=277132 CPUtime=73.59 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 60365 0 0 0 7335 24 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2687081 69283 3376 1 0 2647217 0
[pid=27949/tid=27952] ppid=27942 vsize=10748324 memory=35744 CPUtime=1.85 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) S 27942 27949 26068 0 -1 1077944384 14542 0 0 0 179 6 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178100956336 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 2275 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 644 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10748324 memory=31233 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10748324 memory=29025 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2679 0 0 0 6 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10748324 memory=268920 CPUtime=0.02 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2263 0 0 0 2 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177587517152 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177586464000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10748324 memory=20193 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952077 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10748324 memory=0 CPUtime=1.74 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) S 27942 27949 26068 0 -1 1077944384 16206 0 0 0 171 3 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10748324 memory=2832 CPUtime=1.26 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) S 27942 27949 26068 0 -1 1077944384 6797 0 0 0 125 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10748324 memory=1224 CPUtime=0.69 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) S 27942 27949 26068 0 -1 1077944384 4130 0 0 0 68 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177582254064 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10748324 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10748324 memory=772 CPUtime=0.03 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 158 0 0 0 1 2 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27980] ppid=27942 vsize=10748324 memory=1556 CPUtime=67.58 cores=0,2,4,6
/proc/27949/task/27980/stat : 27980 (java) R 27942 27949 26068 0 -1 4202560 8532 0 0 0 6754 4 0 0 20 0 16 0 414952259 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177563255056 140177688786776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 73.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 277132 KiB

[startup+70.4008 s]
/proc/loadavg: 1.76 1.26 1.19 4/230 27992
/proc/meminfo: memFree=31077700/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10748324 memory=277132 CPUtime=74.39 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 60369 0 0 0 7415 24 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2687081 69283 3376 1 0 2647217 0
[pid=27949/tid=27952] ppid=27942 vsize=10748324 memory=277132 CPUtime=1.85 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) S 27942 27949 26068 0 -1 1077944384 14542 0 0 0 179 6 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178100956336 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10748324 memory=35744 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 2275 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10748324 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 644 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10748324 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10748324 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2679 0 0 0 6 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10748324 memory=580 CPUtime=0.02 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2263 0 0 0 2 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177587517152 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177586464000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10748324 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952077 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10748324 memory=2648 CPUtime=1.74 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) S 27942 27949 26068 0 -1 1077944384 16206 0 0 0 171 3 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=1.26 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) S 27942 27949 26068 0 -1 1077944384 6797 0 0 0 125 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10748324 memory=8 CPUtime=0.69 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) S 27942 27949 26068 0 -1 1077944384 4130 0 0 0 68 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177582254064 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10748324 memory=7 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10748324 memory=7 CPUtime=0.03 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 158 0 0 0 1 2 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27980] ppid=27942 vsize=10748324 memory=277132 CPUtime=68.38 cores=0,2,4,6
/proc/27949/task/27980/stat : 27980 (java) R 27942 27949 26068 0 -1 4202560 8536 0 0 0 6834 4 0 0 20 0 16 0 414952259 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177563255056 140177688628243 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 74.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 277132 KiB

[startup+70.8008 s]
/proc/loadavg: 1.76 1.26 1.19 4/230 27992
/proc/meminfo: memFree=31077700/32770624 swapFree=67000276/67108860
[pid=27949] ppid=27942 vsize=10748324 memory=277132 CPUtime=74.79 cores=0,2,4,6
/proc/27949/stat : 27949 (java) S 27942 27949 26068 0 -1 1077944320 60369 0 0 0 7455 24 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140731276542144 140178096713463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
/proc/27949/statm: 2687081 69283 3376 1 0 2647217 0
[pid=27949/tid=27952] ppid=27942 vsize=10748324 memory=2832 CPUtime=1.85 cores=0,2,4,6
/proc/27949/task/27952/stat : 27952 (java) S 27942 27949 26068 0 -1 1077944384 14542 0 0 0 179 6 0 0 20 0 16 0 414952072 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178100956336 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27955] ppid=27942 vsize=10748324 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27955/stat : 27955 (java) S 27942 27949 26068 0 -1 1077944384 2275 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178022787600 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27957] ppid=27942 vsize=10748324 memory=5908 CPUtime=0.08 cores=0,2,4,6
/proc/27949/task/27957/stat : 27957 (java) S 27942 27949 26068 0 -1 1077944384 644 0 0 0 7 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178021735056 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27959] ppid=27942 vsize=10748324 memory=202084 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27959/stat : 27959 (java) S 27942 27949 26068 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178020682000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27960] ppid=27942 vsize=10748324 memory=277648 CPUtime=0.07 cores=0,2,4,6
/proc/27949/task/27960/stat : 27960 (java) S 27942 27949 26068 0 -1 1077944384 2679 0 0 0 6 1 0 0 20 0 16 0 414952073 11006283776 69283 33554432000 4194304 4196468 140731276559600 140178019629456 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27962] ppid=27942 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/27949/task/27962/stat : 27962 (java) S 27942 27949 26068 0 -1 1077944384 2263 0 0 0 2 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177588570864 140178096724610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27964] ppid=27942 vsize=10748324 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27964/stat : 27964 (java) S 27942 27949 26068 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177587517152 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27966] ppid=27942 vsize=10748324 memory=920 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27966/stat : 27966 (java) S 27942 27949 26068 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414952075 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177586464000 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27967] ppid=27942 vsize=10748324 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27967/stat : 27967 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952077 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177585412560 140178096732059 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27971] ppid=27942 vsize=10748324 memory=277648 CPUtime=1.74 cores=0,2,4,6
/proc/27949/task/27971/stat : 27971 (java) S 27942 27949 26068 0 -1 1077944384 16206 0 0 0 171 3 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177584359664 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27973] ppid=27942 vsize=10748324 memory=4104 CPUtime=1.26 cores=0,2,4,6
/proc/27949/task/27973/stat : 27973 (java) S 27942 27949 26068 0 -1 1077944384 6797 0 0 0 125 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177583307120 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27974] ppid=27942 vsize=10748324 memory=772 CPUtime=0.69 cores=0,2,4,6
/proc/27949/task/27974/stat : 27974 (java) S 27942 27949 26068 0 -1 1077944384 4130 0 0 0 68 1 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177582254064 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27976] ppid=27942 vsize=10748324 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/27949/task/27976/stat : 27976 (java) S 27942 27949 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177581201760 140178096723669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27978] ppid=27942 vsize=10748324 memory=1056 CPUtime=0.03 cores=0,2,4,6
/proc/27949/task/27978/stat : 27978 (java) S 27942 27949 26068 0 -1 1077944384 158 0 0 0 1 2 0 0 20 0 16 0 414952078 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177580149808 140178096724610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
[pid=27949/tid=27980] ppid=27942 vsize=10748324 memory=964 CPUtime=68.78 cores=0,2,4,6
/proc/27949/task/27980/stat : 27980 (java) R 27942 27949 26068 0 -1 4202560 8536 0 0 0 6874 4 0 0 20 0 16 0 414952259 11006283776 69283 33554432000 4194304 4196468 140731276559600 140177563255056 140177688786591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30375936 140731276567563 140731276567666 140731276567666 140731276570575 0
Current children cumulated CPU time: 74.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 277132 KiB

Child status: 0
Real time (s): 70.8517
CPU time (s): 74.8503
CPU user time (s): 74.5999
CPU system time (s): 0.250395
CPU usage (%): 105.644
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 279156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.5999
system time used= 0.250395
maximum resident set size= 281244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4690
involuntary context switches= 121


# summary of solver processes directly reported to runsolver:
#   pid: 27949
#   total CPU time (s): 74.8503
#   total CPU user time (s): 74.5999
#   total CPU system time (s): 0.250395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.48851 second user time and 0.716669 second system time

The end

Begin job on node146 at 2019-09-13 17:59:00
IDJOB=4391170
IDBENCH=133279
IDSOLVER=2833
FILE ID=node146/4391170-1568390381
RUNJOBID= node146-1568390340-27919
PBS_JOBID= 21701825
Free space on /tmp= 56700 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-5.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391170-1568390381/watcher-4391170-1568390381 -o /tmp/evaluation-result-4391170-1568390381/solver-4391170-1568390381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568390340-27919 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391170-1568390381.xml -cm

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

MD5SUM BENCH= 36a1aa2a38358c951443c34d8d302d49
RANDOM SEED=1802272050

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31543076 kB
MemAvailable:   31903532 kB
Buffers:          159856 kB
Cached:           481060 kB
SwapCached:         4924 kB
Active:           327400 kB
Inactive:         318904 kB
Active(anon):      21184 kB
Inactive(anon):    22588 kB
Active(file):     306216 kB
Inactive(file):   296316 kB
Unevictable:      109392 kB
Mlocked:          109392 kB
SwapTotal:      67108860 kB
SwapFree:       67000276 kB
Dirty:             17200 kB
Writeback:             8 kB
AnonPages:        111856 kB
Mapped:            41476 kB
Shmem:             29624 kB
Slab:             176216 kB
SReclaimable:     147520 kB
SUnreclaim:        28696 kB
KernelStack:        3392 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 56680 MiB
End job on node146 at 2019-09-13 18:00:11