2.81/2.45	
2.81/2.45	AbsCon 2 
2.81/2.46	
5.00/3.14	  Instance
5.00/3.14	    name=instance-4391006-1568380516, framework=COP, bounds=-infty..+infty
5.00/3.14	
5.00/3.14	  Loading variables...
5.00/3.20	  Loading constraints...
9.17/4.52	
9.17/4.52	  Domains
9.17/4.52	    nTypes=1, nValues=148225, sizes=[385#385]
9.17/4.52	  Variables
9.17/4.52	    count=385, degrees=[2#8,3#2,4#3,5#2...269#2,271#1,273#1,283#1]
9.17/4.52	  Objectives
9.17/4.52	    way=min, type=ObjMaximumLE
9.17/4.52	  Constraints
9.17/4.52	    count=19096, nSpecific=19096, arities=[2#19095,385#1]
9.17/4.52	    distribution=[NE#19095,ObjMaximumLE#1]
9.17/4.52	    wck=2.102, cpu=4.097, mem=122M959
9.17/4.53	  Solver SolverBacktrack being built...
9.17/4.53	
9.17/4.57	
9.17/4.57	  Solver
9.17/4.57	    guaranteedGAC=true
9.17/4.57	    wck=2.161, cpu=4.153, mem=135M276
9.17/4.59	
9.17/4.59	  Preprocessing
9.17/4.59	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
9.17/4.59	    wck=0.011, cpu=4.167, mem=135M276
9.17/4.59	
9.81/4.73	o 41
9.81/4.75	    num=0, depth=386..384, filters=7658, ccks=19096, wck=0.172, mem=135M276
9.81/4.75	    decisions=385, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=41
9.81/4.75	    
10.14/4.86	    num=1, depth=338..348, filters=15969, ccks=19096, wck=0.285, mem=141M788
10.14/4.86	    decisions=767, wrong=22, backtracks=11, failedAssignments=11, nogoods=1, foundSolutions=1, bestBound=41
10.14/4.86	    
10.46/4.92	    num=2, depth=336..345, filters=24117, ccks=19096, wck=0.346, mem=141M788
10.46/4.92	    decisions=1148, wrong=44, backtracks=22, failedAssignments=22, nogoods=3, foundSolutions=1, bestBound=41
10.46/4.92	    
10.46/4.97	    num=3, depth=322..333, filters=33102, ccks=19096, wck=0.393, mem=141M788
10.46/4.97	    decisions=1519, wrong=68, backtracks=34, failedAssignments=34, nogoods=5, foundSolutions=1, bestBound=41
10.46/4.97	    
10.65/5.01	    num=4, depth=342..346, filters=41507, ccks=19096, wck=0.439, mem=141M788
10.65/5.01	    decisions=1914, wrong=94, backtracks=47, failedAssignments=47, nogoods=8, foundSolutions=1, bestBound=41
10.65/5.01	    
10.65/5.06	    num=5, depth=342..349, filters=50069, ccks=19096, wck=0.486, mem=141M788
10.65/5.06	    decisions=2312, wrong=122, backtracks=61, failedAssignments=61, nogoods=10, foundSolutions=1, bestBound=41
10.65/5.06	    
10.65/5.11	    num=6, depth=333..347, filters=59128, ccks=19096, wck=0.532, mem=141M788
10.65/5.11	    decisions=2709, wrong=154, backtracks=77, failedAssignments=77, nogoods=11, foundSolutions=1, bestBound=41
10.65/5.11	    
10.77/5.15	    num=7, depth=334..341, filters=68374, ccks=19096, wck=0.579, mem=141M788
10.77/5.15	    decisions=3111, wrong=188, backtracks=98, failedAssignments=94, nogoods=13, foundSolutions=1, bestBound=41
10.77/5.15	    
10.86/5.20	    num=8, depth=307..310, filters=78343, ccks=19096, wck=0.627, mem=141M788
10.86/5.20	    decisions=3495, wrong=226, backtracks=118, failedAssignments=113, nogoods=19, foundSolutions=1, bestBound=41
10.86/5.20	    
10.86/5.25	    num=9, depth=306..310, filters=88207, ccks=19096, wck=0.674, mem=141M788
10.86/5.25	    decisions=3887, wrong=268, backtracks=139, failedAssignments=134, nogoods=23, foundSolutions=1, bestBound=41
10.86/5.25	    
10.86/5.30	    num=10, depth=344..353, filters=97221, ccks=19096, wck=0.721, mem=141M788
10.86/5.30	    decisions=4323, wrong=314, backtracks=168, failedAssignments=157, nogoods=24, foundSolutions=1, bestBound=41
10.86/5.30	    
10.97/5.34	o 40
10.97/5.35	    num=11, depth=386..384, filters=104824, ccks=38192, wck=0.773, mem=146M104
10.97/5.35	    decisions=4706, wrong=314, backtracks=168, failedAssignments=157, nogoods=24, foundSolutions=2, bestBound=40
10.97/5.35	    
11.11/5.40	o 37
11.11/5.40	    num=12, depth=386..384, filters=112127, ccks=57288, wck=0.826, mem=146M104
11.11/5.40	    decisions=5091, wrong=314, backtracks=168, failedAssignments=157, nogoods=24, foundSolutions=3, bestBound=37
11.11/5.40	    
11.11/5.45	    num=13, depth=298..307, filters=119983, ccks=57288, wck=0.874, mem=146M104
11.11/5.45	    decisions=5433, wrong=336, backtracks=179, failedAssignments=168, nogoods=26, foundSolutions=3, bestBound=37
11.11/5.45	    
11.11/5.50	    num=14, depth=260..265, filters=129372, ccks=57288, wck=0.92, mem=146M104
11.11/5.50	    decisions=5737, wrong=358, backtracks=190, failedAssignments=179, nogoods=29, foundSolutions=3, bestBound=37
11.11/5.50	    
11.25/5.54	    num=15, depth=264..271, filters=138846, ccks=57288, wck=0.969, mem=146M104
11.25/5.54	    decisions=6049, wrong=382, backtracks=204, failedAssignments=191, nogoods=30, foundSolutions=3, bestBound=37
11.25/5.54	    
11.25/5.59	    num=16, depth=288..296, filters=148057, ccks=57288, wck=1.016, mem=146M104
11.25/5.59	    decisions=6389, wrong=408, backtracks=217, failedAssignments=204, nogoods=31, foundSolutions=3, bestBound=37
11.25/5.59	    
11.38/5.64	    num=17, depth=272..276, filters=158184, ccks=57288, wck=1.065, mem=146M104
11.38/5.64	    decisions=6718, wrong=436, backtracks=233, failedAssignments=218, nogoods=35, foundSolutions=3, bestBound=37
11.38/5.64	    
11.38/5.69	    num=18, depth=272..276, filters=168115, ccks=57288, wck=1.112, mem=146M104
11.38/5.69	    decisions=7055, wrong=468, backtracks=251, failedAssignments=234, nogoods=39, foundSolutions=3, bestBound=37
11.38/5.69	    
11.49/5.73	    num=19, depth=270..284, filters=179190, ccks=57288, wck=1.159, mem=146M104
11.49/5.73	    decisions=7393, wrong=502, backtracks=269, failedAssignments=251, nogoods=40, foundSolutions=3, bestBound=37
11.49/5.73	    
11.49/5.78	    num=20, depth=277..280, filters=188310, ccks=57288, wck=1.205, mem=146M104
11.49/5.78	    decisions=7746, wrong=540, backtracks=288, failedAssignments=270, nogoods=41, foundSolutions=3, bestBound=37
11.49/5.78	    
11.63/5.83	    num=21, depth=309..316, filters=199498, ccks=57288, wck=1.255, mem=146M104
11.63/5.83	    decisions=8142, wrong=583, backtracks=310, failedAssignments=291, nogoods=45, foundSolutions=3, bestBound=37
11.63/5.83	    
11.63/5.88	    num=22, depth=284..287, filters=209395, ccks=57288, wck=1.303, mem=146M104
11.63/5.88	    decisions=8520, wrong=629, backtracks=333, failedAssignments=314, nogoods=48, foundSolutions=3, bestBound=37
11.63/5.88	    
11.78/5.92	    num=23, depth=306..320, filters=219761, ccks=57288, wck=1.35, mem=146M104
11.78/5.92	    decisions=8926, wrong=679, backtracks=358, failedAssignments=339, nogoods=50, foundSolutions=3, bestBound=37
11.78/5.92	    
11.78/5.97	    num=24, depth=271..282, filters=231392, ccks=57288, wck=1.397, mem=146M104
11.78/5.97	    decisions=9309, wrong=735, backtracks=391, failedAssignments=367, nogoods=51, foundSolutions=3, bestBound=37
11.78/5.97	    
11.89/6.02	    num=25, depth=277..289, filters=242374, ccks=57288, wck=1.446, mem=146M104
11.89/6.02	    decisions=9712, wrong=797, backtracks=423, failedAssignments=398, nogoods=53, foundSolutions=3, bestBound=37
11.89/6.02	    
11.89/6.07	    num=26, depth=281..284, filters=253062, ccks=57288, wck=1.493, mem=146M104
11.89/6.07	    decisions=10130, wrong=865, backtracks=457, failedAssignments=432, nogoods=60, foundSolutions=3, bestBound=37
11.89/6.07	    
11.99/6.11	o 36
11.99/6.11	    num=27, depth=386..384, filters=260384, ccks=76384, wck=1.539, mem=146M104
11.99/6.11	    decisions=10514, wrong=865, backtracks=457, failedAssignments=432, nogoods=60, foundSolutions=4, bestBound=36
11.99/6.11	    
11.99/6.17	    num=28, depth=274..282, filters=274756, ccks=76384, wck=1.595, mem=146M104
11.99/6.17	    decisions=10953, wrong=947, backtracks=498, failedAssignments=473, nogoods=64, foundSolutions=4, bestBound=36
11.99/6.17	    
12.09/6.21	    num=29, depth=297..299, filters=283715, ccks=76384, wck=1.64, mem=146M104
12.09/6.21	    decisions=11294, wrong=969, backtracks=509, failedAssignments=484, nogoods=68, foundSolutions=4, bestBound=36
12.09/6.21	    
12.09/6.26	    num=30, depth=274..286, filters=292319, ccks=76384, wck=1.683, mem=146M104
12.09/6.26	    decisions=11616, wrong=993, backtracks=521, failedAssignments=496, nogoods=69, foundSolutions=4, bestBound=36
12.09/6.26	    
12.19/6.30	    num=31, depth=288..294, filters=300959, ccks=76384, wck=1.728, mem=146M104
12.19/6.30	    decisions=11956, wrong=1019, backtracks=537, failedAssignments=509, nogoods=70, foundSolutions=4, bestBound=36
12.19/6.30	    
12.19/6.35	    num=32, depth=289..297, filters=310222, ccks=76384, wck=1.771, mem=146M104
12.19/6.35	    decisions=12301, wrong=1047, backtracks=551, failedAssignments=523, nogoods=71, foundSolutions=4, bestBound=36
12.19/6.35	    
12.19/6.39	    num=33, depth=278..289, filters=320507, ccks=76384, wck=1.816, mem=146M104
12.19/6.39	    decisions=12643, wrong=1079, backtracks=569, failedAssignments=539, nogoods=72, foundSolutions=4, bestBound=36
12.19/6.39	    
12.29/6.43	    num=34, depth=305..310, filters=329238, ccks=76384, wck=1.86, mem=146M104
12.29/6.43	    decisions=12999, wrong=1104, backtracks=579, failedAssignments=556, nogoods=75, foundSolutions=4, bestBound=36
12.29/6.43	    
12.29/6.48	    num=35, depth=286..298, filters=338458, ccks=76384, wck=1.904, mem=146M104
12.29/6.48	    decisions=13361, wrong=1142, backtracks=600, failedAssignments=575, nogoods=76, foundSolutions=4, bestBound=36
12.29/6.48	    
12.39/6.52	    num=36, depth=288..302, filters=348309, ccks=76384, wck=1.949, mem=146M104
12.39/6.52	    decisions=13733, wrong=1184, backtracks=621, failedAssignments=596, nogoods=77, foundSolutions=4, bestBound=36
12.39/6.52	    
12.39/6.57	    num=37, depth=297..305, filters=358843, ccks=76384, wck=1.996, mem=146M104
12.39/6.57	    decisions=14122, wrong=1230, backtracks=648, failedAssignments=619, nogoods=80, foundSolutions=4, bestBound=36
12.39/6.57	    
12.49/6.62	o 35
12.49/6.62	    num=38, depth=299..384, filters=366956, ccks=95480, wck=2.044, mem=146M104
12.49/6.62	    decisions=14497, wrong=1238, backtracks=652, failedAssignments=623, nogoods=81, foundSolutions=5, bestBound=35
12.49/6.62	    
12.49/6.67	    num=39, depth=285..295, filters=377419, ccks=95480, wck=2.097, mem=146M104
12.49/6.67	    decisions=14894, wrong=1294, backtracks=688, failedAssignments=651, nogoods=83, foundSolutions=5, bestBound=35
12.49/6.67	    
12.59/6.72	    num=40, depth=283..288, filters=386526, ccks=95480, wck=2.142, mem=146M104
12.59/6.72	    decisions=15216, wrong=1313, backtracks=696, failedAssignments=662, nogoods=87, foundSolutions=5, bestBound=35
12.59/6.72	    
12.59/6.76	    num=41, depth=284..289, filters=395085, ccks=95480, wck=2.186, mem=146M104
12.59/6.76	    decisions=15548, wrong=1337, backtracks=710, failedAssignments=674, nogoods=89, foundSolutions=5, bestBound=35
12.59/6.76	    
12.69/6.81	    num=42, depth=261..270, filters=404795, ccks=95480, wck=2.233, mem=146M104
12.69/6.81	    decisions=15861, wrong=1363, backtracks=723, failedAssignments=687, nogoods=90, foundSolutions=5, bestBound=35
12.69/6.81	    
12.69/6.85	    num=43, depth=294..306, filters=413504, ccks=95480, wck=2.277, mem=146M104
12.69/6.85	    decisions=16211, wrong=1391, backtracks=738, failedAssignments=701, nogoods=91, foundSolutions=5, bestBound=35
12.69/6.85	    
12.69/6.90	    num=44, depth=326..333, filters=421948, ccks=95480, wck=2.321, mem=146M104
12.69/6.90	    decisions=16597, wrong=1421, backtracks=752, failedAssignments=717, nogoods=92, foundSolutions=5, bestBound=35
12.69/6.90	    
12.79/6.94	    num=45, depth=296..304, filters=431597, ccks=95480, wck=2.368, mem=146M104
12.79/6.94	    decisions=16961, wrong=1455, backtracks=770, failedAssignments=734, nogoods=94, foundSolutions=5, bestBound=35
12.79/6.94	    
12.79/6.99	    num=46, depth=266..276, filters=443631, ccks=95480, wck=2.416, mem=146M104
12.79/6.99	    decisions=17309, wrong=1496, backtracks=792, failedAssignments=753, nogoods=96, foundSolutions=5, bestBound=35
12.79/6.99	    
12.90/7.04	    num=47, depth=282..292, filters=452145, ccks=95480, wck=2.462, mem=146M104
12.90/7.04	    decisions=17653, wrong=1527, backtracks=802, failedAssignments=774, nogoods=98, foundSolutions=5, bestBound=35
12.90/7.04	    
12.90/7.08	    num=48, depth=268..289, filters=461483, ccks=95480, wck=2.507, mem=146M104
12.90/7.08	    decisions=18009, wrong=1571, backtracks=823, failedAssignments=797, nogoods=99, foundSolutions=5, bestBound=35
12.90/7.08	    
13.02/7.13	o 34
13.02/7.13	    num=49, depth=386..384, filters=468965, ccks=114576, wck=2.556, mem=146M104
13.02/7.13	    decisions=18386, wrong=1571, backtracks=823, failedAssignments=797, nogoods=99, foundSolutions=6, bestBound=34
13.02/7.13	    
13.02/7.18	    num=50, depth=207..227, filters=480605, ccks=114576, wck=2.602, mem=146M104
13.02/7.18	    decisions=18706, wrong=1627, backtracks=851, failedAssignments=825, nogoods=103, foundSolutions=6, bestBound=34
13.02/7.18	    
13.11/7.22	    num=51, depth=201..205, filters=490572, ccks=114576, wck=2.647, mem=146M104
13.11/7.22	    decisions=18951, wrong=1649, backtracks=862, failedAssignments=836, nogoods=105, foundSolutions=6, bestBound=34
13.11/7.22	    
13.11/7.27	    num=52, depth=223..228, filters=499624, ccks=114576, wck=2.693, mem=146M104
13.11/7.27	    decisions=19223, wrong=1673, backtracks=875, failedAssignments=848, nogoods=108, foundSolutions=6, bestBound=34
13.11/7.27	    
13.21/7.31	    num=53, depth=263..270, filters=509332, ccks=114576, wck=2.74, mem=146M104
13.21/7.31	    decisions=19538, wrong=1699, backtracks=888, failedAssignments=861, nogoods=110, foundSolutions=6, bestBound=34
13.21/7.31	    
13.21/7.36	    num=54, depth=254..257, filters=518440, ccks=114576, wck=2.784, mem=146M104
13.21/7.36	    decisions=19849, wrong=1727, backtracks=902, failedAssignments=875, nogoods=112, foundSolutions=6, bestBound=34
13.21/7.36	    
13.31/7.40	    num=55, depth=276..284, filters=527550, ccks=114576, wck=2.83, mem=146M104
13.31/7.40	    decisions=20189, wrong=1759, backtracks=919, failedAssignments=891, nogoods=113, foundSolutions=6, bestBound=34
13.31/7.40	    
13.31/7.45	    num=56, depth=292..301, filters=535995, ccks=114576, wck=2.873, mem=146M104
13.31/7.45	    decisions=20549, wrong=1793, backtracks=936, failedAssignments=908, nogoods=114, foundSolutions=6, bestBound=34
13.31/7.45	    
13.41/7.50	    num=57, depth=176..180, filters=547445, ccks=114576, wck=2.923, mem=146M104
13.41/7.50	    decisions=20802, wrong=1831, backtracks=955, failedAssignments=927, nogoods=117, foundSolutions=6, bestBound=34
13.41/7.50	    
13.41/7.55	    num=58, depth=290..311, filters=558105, ccks=114576, wck=2.971, mem=146M104
13.41/7.55	    decisions=21176, wrong=1873, backtracks=976, failedAssignments=948, nogoods=118, foundSolutions=6, bestBound=34
13.41/7.55	    
13.41/7.59	    num=59, depth=203..215, filters=573612, ccks=114576, wck=3.019, mem=146M104
13.41/7.59	    decisions=21471, wrong=1919, backtracks=999, failedAssignments=971, nogoods=120, foundSolutions=6, bestBound=34
13.41/7.59	    
13.51/7.65	    num=60, depth=212..215, filters=587319, ccks=114576, wck=3.071, mem=146M104
13.51/7.65	    decisions=21784, wrong=1969, backtracks=1024, failedAssignments=996, nogoods=123, foundSolutions=6, bestBound=34
13.51/7.65	    
13.51/7.69	    num=61, depth=193..276, filters=599182, ccks=114576, wck=3.118, mem=146M104
13.51/7.69	    decisions=22167, wrong=2026, backtracks=1053, failedAssignments=1024, nogoods=125, foundSolutions=6, bestBound=34
13.51/7.69	    
13.61/7.74	    num=62, depth=284..305, filters=611348, ccks=114576, wck=3.167, mem=146M104
13.61/7.74	    decisions=22575, wrong=2088, backtracks=1086, failedAssignments=1055, nogoods=128, foundSolutions=6, bestBound=34
13.61/7.74	    
13.61/7.79	    num=63, depth=294..314, filters=622466, ccks=114576, wck=3.214, mem=146M104
13.61/7.79	    decisions=23005, wrong=2156, backtracks=1120, failedAssignments=1089, nogoods=130, foundSolutions=6, bestBound=34
13.61/7.79	    
13.71/7.84	    num=64, depth=219..257, filters=634788, ccks=114576, wck=3.266, mem=146M104
13.71/7.84	    decisions=23380, wrong=2234, backtracks=1161, failedAssignments=1126, nogoods=132, foundSolutions=6, bestBound=34
13.71/7.84	    
13.71/7.89	    num=65, depth=213..245, filters=648335, ccks=114576, wck=3.315, mem=146M104
13.71/7.89	    decisions=23741, wrong=2297, backtracks=1184, failedAssignments=1167, nogoods=136, foundSolutions=6, bestBound=34
13.71/7.89	    
13.82/7.94	o 33
13.82/7.94	    num=66, depth=386..384, filters=656132, ccks=133672, wck=3.366, mem=146M104
13.82/7.94	    decisions=24124, wrong=2297, backtracks=1184, failedAssignments=1167, nogoods=136, foundSolutions=7, bestBound=33
13.82/7.94	    
13.82/7.99	    num=67, depth=225..272, filters=669575, ccks=133672, wck=3.417, mem=146M104
13.82/7.99	    decisions=24549, wrong=2397, backtracks=1234, failedAssignments=1217, nogoods=139, foundSolutions=7, bestBound=33
13.82/7.99	    
13.92/8.04	o 32
13.92/8.04	    num=68, depth=386..384, filters=677538, ccks=152768, wck=3.469, mem=146M104
13.92/8.04	    decisions=24899, wrong=2397, backtracks=1234, failedAssignments=1217, nogoods=139, foundSolutions=8, bestBound=32
13.92/8.04	    
13.92/8.09	    num=69, depth=190..196, filters=686848, ccks=152768, wck=3.517, mem=146M104
13.92/8.09	    decisions=25137, wrong=2421, backtracks=1248, failedAssignments=1229, nogoods=141, foundSolutions=8, bestBound=32
13.92/8.09	    
14.03/8.14	    num=70, depth=181..192, filters=695271, ccks=152768, wck=3.562, mem=146M104
14.03/8.14	    decisions=25362, wrong=2443, backtracks=1259, failedAssignments=1240, nogoods=142, foundSolutions=8, bestBound=32
14.03/8.14	    
14.03/8.18	    num=71, depth=187..190, filters=704332, ccks=152768, wck=3.607, mem=146M104
14.03/8.18	    decisions=25598, wrong=2467, backtracks=1271, failedAssignments=1252, nogoods=145, foundSolutions=8, bestBound=32
14.03/8.18	    
14.12/8.23	    num=72, depth=187..192, filters=712824, ccks=152768, wck=3.652, mem=146M104
14.12/8.23	    decisions=25837, wrong=2493, backtracks=1287, failedAssignments=1265, nogoods=147, foundSolutions=8, bestBound=32
14.12/8.23	    
14.12/8.27	    num=73, depth=156..160, filters=722402, ccks=152768, wck=3.699, mem=146M104
14.12/8.27	    decisions=26050, wrong=2521, backtracks=1303, failedAssignments=1279, nogoods=151, foundSolutions=8, bestBound=32
14.12/8.27	    
14.22/8.32	    num=74, depth=144..149, filters=734121, ccks=152768, wck=3.747, mem=146M104
14.22/8.32	    decisions=26261, wrong=2553, backtracks=1319, failedAssignments=1295, nogoods=155, foundSolutions=8, bestBound=32
14.22/8.32	    
14.22/8.37	    num=75, depth=176..193, filters=742875, ccks=152768, wck=3.792, mem=146M104
14.22/8.37	    decisions=26505, wrong=2587, backtracks=1336, failedAssignments=1312, nogoods=156, foundSolutions=8, bestBound=32
14.22/8.37	    
14.33/8.41	    num=76, depth=181..191, filters=752760, ccks=152768, wck=3.838, mem=146M104
14.33/8.41	    decisions=26762, wrong=2625, backtracks=1355, failedAssignments=1331, nogoods=157, foundSolutions=8, bestBound=32
14.33/8.41	    
14.33/8.46	    num=77, depth=173..194, filters=769560, ccks=152768, wck=3.886, mem=146M104
14.33/8.46	    decisions=27019, wrong=2667, backtracks=1376, failedAssignments=1352, nogoods=158, foundSolutions=8, bestBound=32
14.33/8.46	    
14.43/8.51	    num=78, depth=282..305, filters=779111, ccks=152768, wck=3.932, mem=146M104
14.43/8.51	    decisions=27393, wrong=2713, backtracks=1399, failedAssignments=1375, nogoods=159, foundSolutions=8, bestBound=32
14.43/8.51	    
14.43/8.55	    num=79, depth=169..194, filters=788675, ccks=152768, wck=3.977, mem=146M104
14.43/8.55	    decisions=27662, wrong=2763, backtracks=1424, failedAssignments=1400, nogoods=160, foundSolutions=8, bestBound=32
14.43/8.55	    
14.53/8.60	    num=80, depth=184..194, filters=800426, ccks=152768, wck=4.028, mem=146M104
14.53/8.60	    decisions=27958, wrong=2819, backtracks=1460, failedAssignments=1428, nogoods=162, foundSolutions=8, bestBound=32
14.53/8.60	    
14.53/8.65	    num=81, depth=197..203, filters=814187, ccks=152768, wck=4.076, mem=146M104
14.53/8.65	    decisions=28279, wrong=2881, backtracks=1492, failedAssignments=1459, nogoods=168, foundSolutions=8, bestBound=32
14.53/8.65	    
14.63/8.70	    num=82, depth=166..192, filters=827458, ccks=152768, wck=4.124, mem=146M104
14.63/8.70	    decisions=28581, wrong=2949, backtracks=1528, failedAssignments=1493, nogoods=169, foundSolutions=8, bestBound=32
14.63/8.70	    
14.63/8.75	    num=83, depth=188..193, filters=841144, ccks=152768, wck=4.175, mem=146M104
14.63/8.75	    decisions=28918, wrong=3023, backtracks=1567, failedAssignments=1530, nogoods=172, foundSolutions=8, bestBound=32
14.63/8.75	    
14.73/8.80	o 31
14.73/8.80	    num=84, depth=172..384, filters=853075, ccks=171864, wck=4.23, mem=146M104
14.73/8.80	    decisions=29297, wrong=3058, backtracks=1581, failedAssignments=1551, nogoods=175, foundSolutions=9, bestBound=31
14.73/8.80	    
14.73/8.85	    num=85, depth=106..149, filters=872798, ccks=171864, wck=4.28, mem=146M104
14.73/8.85	    decisions=29583, wrong=3148, backtracks=1626, failedAssignments=1596, nogoods=176, foundSolutions=9, bestBound=31
14.73/8.85	    
14.85/8.90	    num=86, depth=193..199, filters=881615, ccks=171864, wck=4.324, mem=146M104
14.85/8.90	    decisions=29820, wrong=3170, backtracks=1637, failedAssignments=1607, nogoods=178, foundSolutions=9, bestBound=31
14.85/8.90	    
14.85/8.94	    num=87, depth=189..201, filters=891161, ccks=171864, wck=4.368, mem=146M104
14.85/8.94	    decisions=30057, wrong=3194, backtracks=1649, failedAssignments=1619, nogoods=179, foundSolutions=9, bestBound=31
14.85/8.94	    
14.85/8.99	    num=88, depth=210..218, filters=900158, ccks=171864, wck=4.411, mem=146M104
14.85/8.99	    decisions=30319, wrong=3220, backtracks=1662, failedAssignments=1632, nogoods=180, foundSolutions=9, bestBound=31
14.85/8.99	    
14.95/9.03	o 30
14.95/9.04	    num=89, depth=226..384, filters=910633, ccks=190960, wck=4.46, mem=146M104
14.95/9.04	    decisions=30703, wrong=3244, backtracks=1674, failedAssignments=1644, nogoods=181, foundSolutions=10, bestBound=30
14.95/9.04	    
14.95/9.08	    num=90, depth=195..207, filters=920441, ccks=190960, wck=4.507, mem=146M104
14.95/9.08	    decisions=30962, wrong=3276, backtracks=1690, failedAssignments=1660, nogoods=182, foundSolutions=10, bestBound=30
14.95/9.08	    
15.09/9.12	    num=91, depth=158..166, filters=929629, ccks=190960, wck=4.549, mem=146M104
15.09/9.12	    decisions=31164, wrong=3298, backtracks=1701, failedAssignments=1671, nogoods=183, foundSolutions=10, bestBound=30
15.09/9.12	    
15.09/9.16	    num=92, depth=192..204, filters=937391, ccks=190960, wck=4.59, mem=146M104
15.09/9.16	    decisions=31404, wrong=3322, backtracks=1713, failedAssignments=1683, nogoods=184, foundSolutions=10, bestBound=30
15.09/9.16	    
15.18/9.21	    num=93, depth=156..169, filters=946962, ccks=190960, wck=4.633, mem=150M420
15.18/9.21	    decisions=31612, wrong=3348, backtracks=1726, failedAssignments=1696, nogoods=185, foundSolutions=10, bestBound=30
15.18/9.21	    
15.18/9.25	    num=94, depth=192..206, filters=955726, ccks=190960, wck=4.675, mem=150M420
15.18/9.25	    decisions=31860, wrong=3376, backtracks=1740, failedAssignments=1710, nogoods=186, foundSolutions=10, bestBound=30
15.18/9.25	    
15.18/9.29	    num=95, depth=187..203, filters=965822, ccks=190960, wck=4.717, mem=150M420
15.18/9.29	    decisions=32111, wrong=3408, backtracks=1756, failedAssignments=1726, nogoods=187, foundSolutions=10, bestBound=30
15.18/9.29	    
15.29/9.34	    num=96, depth=146..155, filters=979116, ccks=190960, wck=4.765, mem=150M420
15.29/9.34	    decisions=32325, wrong=3442, backtracks=1773, failedAssignments=1743, nogoods=188, foundSolutions=10, bestBound=30
15.29/9.34	    
15.29/9.38	    num=97, depth=94..100, filters=991445, ccks=190960, wck=4.81, mem=150M420
15.29/9.38	    decisions=32500, wrong=3481, backtracks=1793, failedAssignments=1762, nogoods=192, foundSolutions=10, bestBound=30
15.29/9.38	    
15.39/9.43	    num=98, depth=158..179, filters=1005770, ccks=190960, wck=4.854, mem=150M420
15.39/9.43	    decisions=32742, wrong=3523, backtracks=1814, failedAssignments=1783, nogoods=193, foundSolutions=10, bestBound=30
15.39/9.43	    
15.39/9.47	    num=99, depth=104..123, filters=1017180, ccks=190960, wck=4.899, mem=150M420
15.39/9.47	    decisions=32932, wrong=3560, backtracks=1828, failedAssignments=1806, nogoods=196, foundSolutions=10, bestBound=30
15.39/9.47	    
15.49/9.52	    num=100, depth=131..156, filters=1029009, ccks=190960, wck=4.943, mem=150M420
15.49/9.52	    decisions=33163, wrong=3610, backtracks=1853, failedAssignments=1831, nogoods=197, foundSolutions=10, bestBound=30
15.49/9.52	    
15.49/9.57	    num=101, depth=194..205, filters=1040719, ccks=190960, wck=4.991, mem=150M420
15.49/9.57	    decisions=33469, wrong=3666, backtracks=1888, failedAssignments=1859, nogoods=200, foundSolutions=10, bestBound=30
15.49/9.57	    
15.59/9.62	    num=102, depth=130..166, filters=1067129, ccks=190960, wck=5.044, mem=150M420
15.59/9.62	    decisions=33757, wrong=3727, backtracks=1918, failedAssignments=1890, nogoods=202, foundSolutions=10, bestBound=30
15.59/9.62	    
15.59/9.67	    num=103, depth=101..112, filters=1081598, ccks=190960, wck=5.097, mem=150M420
15.59/9.67	    decisions=33995, wrong=3795, backtracks=1961, failedAssignments=1924, nogoods=205, foundSolutions=10, bestBound=30
15.59/9.67	    
15.69/9.72	    num=104, depth=99..113, filters=1102400, ccks=190960, wck=5.149, mem=150M420
15.69/9.72	    decisions=34232, wrong=3864, backtracks=1994, failedAssignments=1961, nogoods=206, foundSolutions=10, bestBound=30
15.69/9.72	    
15.69/9.78	    num=105, depth=150..167, filters=1128931, ccks=190960, wck=5.204, mem=150M420
15.69/9.78	    decisions=34548, wrong=3947, backtracks=2036, failedAssignments=2002, nogoods=207, foundSolutions=10, bestBound=30
15.69/9.78	    
15.79/9.83	o 29
15.79/9.83	    num=106, depth=155..384, filters=1144100, ccks=210056, wck=5.257, mem=150M420
15.79/9.83	    decisions=34972, wrong=4011, backtracks=2066, failedAssignments=2036, nogoods=212, foundSolutions=11, bestBound=29
15.79/9.83	    
15.79/9.88	    num=107, depth=121..164, filters=1161045, ccks=210056, wck=5.307, mem=150M420
15.79/9.88	    decisions=35293, wrong=4111, backtracks=2116, failedAssignments=2086, nogoods=213, foundSolutions=11, bestBound=29
15.79/9.88	    
15.92/9.93	o 28
15.92/9.94	    num=108, depth=95..384, filters=1171417, ccks=229152, wck=5.361, mem=150M420
15.92/9.94	    decisions=35579, wrong=4117, backtracks=2119, failedAssignments=2089, nogoods=214, foundSolutions=12, bestBound=28
15.92/9.94	    
15.92/9.98	    num=109, depth=78..83, filters=1187154, ccks=229152, wck=5.406, mem=150M420
15.92/9.98	    decisions=35705, wrong=4141, backtracks=2134, failedAssignments=2101, nogoods=215, foundSolutions=12, bestBound=28
15.92/9.98	    
16.03/10.03	o 27
16.03/10.03	    num=110, depth=81..384, filters=1199733, ccks=248248, wck=5.456, mem=150M420
16.03/10.03	    decisions=35952, wrong=4152, backtracks=2137, failedAssignments=2109, nogoods=221, foundSolutions=13, bestBound=27
16.03/10.03	    
16.03/10.08	    num=111, depth=64..66, filters=1212067, ccks=248248, wck=5.502, mem=150M420
16.03/10.08	    decisions=36064, wrong=4176, backtracks=2149, failedAssignments=2121, nogoods=226, foundSolutions=13, bestBound=27
16.03/10.08	    
16.13/10.12	    num=112, depth=88..94, filters=1222330, ccks=248248, wck=5.541, mem=150M420
16.13/10.12	    decisions=36196, wrong=4198, backtracks=2160, failedAssignments=2132, nogoods=227, foundSolutions=13, bestBound=27
16.13/10.12	    
16.13/10.16	    num=113, depth=69..74, filters=1233277, ccks=248248, wck=5.583, mem=150M420
16.13/10.16	    decisions=36315, wrong=4223, backtracks=2174, failedAssignments=2144, nogoods=229, foundSolutions=13, bestBound=27
16.13/10.16	    
16.22/10.20	    num=114, depth=80..82, filters=1243572, ccks=248248, wck=5.623, mem=150M420
16.22/10.20	    decisions=36448, wrong=4249, backtracks=2187, failedAssignments=2157, nogoods=234, foundSolutions=13, bestBound=27
16.22/10.20	    
16.22/10.24	    num=115, depth=169..178, filters=1253197, ccks=248248, wck=5.666, mem=150M420
16.22/10.24	    decisions=36672, wrong=4275, backtracks=2199, failedAssignments=2171, nogoods=237, foundSolutions=13, bestBound=27
16.22/10.24	    
16.22/10.29	o 26
16.22/10.29	    num=116, depth=97..384, filters=1261565, ccks=267344, wck=5.715, mem=150M420
16.22/10.29	    decisions=36920, wrong=4278, backtracks=2201, failedAssignments=2172, nogoods=238, foundSolutions=14, bestBound=26
16.22/10.29	    
16.32/10.33	    num=117, depth=86..103, filters=1269400, ccks=267344, wck=5.755, mem=150M420
16.32/10.33	    decisions=37074, wrong=4312, backtracks=2218, failedAssignments=2189, nogoods=239, foundSolutions=14, bestBound=26
16.32/10.33	    
16.32/10.37	    num=118, depth=68..72, filters=1282230, ccks=267344, wck=5.794, mem=150M420
16.32/10.37	    decisions=37186, wrong=4334, backtracks=2229, failedAssignments=2200, nogoods=242, foundSolutions=14, bestBound=26
16.32/10.37	    
16.43/10.41	    num=119, depth=88..93, filters=1293304, ccks=267344, wck=5.835, mem=150M420
16.43/10.41	    decisions=37325, wrong=4358, backtracks=2241, failedAssignments=2212, nogoods=247, foundSolutions=14, bestBound=26
16.43/10.41	    
16.43/10.45	    num=120, depth=102..107, filters=1307518, ccks=267344, wck=5.879, mem=150M420
16.43/10.45	    decisions=37479, wrong=4384, backtracks=2257, failedAssignments=2225, nogoods=249, foundSolutions=14, bestBound=26
16.43/10.45	    
16.43/10.50	    num=121, depth=67..118, filters=1318364, ccks=267344, wck=5.921, mem=150M420
16.43/10.50	    decisions=37651, wrong=4413, backtracks=2272, failedAssignments=2239, nogoods=252, foundSolutions=14, bestBound=26
16.43/10.50	    
16.53/10.54	    num=122, depth=71..76, filters=1333577, ccks=267344, wck=5.963, mem=150M420
16.53/10.54	    decisions=37786, wrong=4445, backtracks=2289, failedAssignments=2255, nogoods=254, foundSolutions=14, bestBound=26
16.53/10.54	    
16.53/10.58	    num=123, depth=86..91, filters=1344386, ccks=267344, wck=6.003, mem=150M420
16.53/10.58	    decisions=37941, wrong=4479, backtracks=2309, failedAssignments=2272, nogoods=258, foundSolutions=14, bestBound=26
16.53/10.58	    
16.63/10.62	    num=124, depth=80..112, filters=1355106, ccks=267344, wck=6.048, mem=150M420
16.63/10.62	    decisions=38105, wrong=4507, backtracks=2318, failedAssignments=2291, nogoods=263, foundSolutions=14, bestBound=26
16.63/10.62	    
16.63/10.67	o 25
16.63/10.67	    num=125, depth=96..384, filters=1365532, ccks=286440, wck=6.097, mem=150M420
16.63/10.67	    decisions=38373, wrong=4529, backtracks=2328, failedAssignments=2303, nogoods=269, foundSolutions=15, bestBound=25
16.63/10.67	    
16.74/10.72	    num=126, depth=50..58, filters=1382412, ccks=286440, wck=6.144, mem=150M420
16.74/10.72	    decisions=38515, wrong=4575, backtracks=2352, failedAssignments=2326, nogoods=270, foundSolutions=15, bestBound=25
16.74/10.72	    
16.74/10.75	    num=127, depth=61..66, filters=1390904, ccks=286440, wck=6.178, mem=150M420
16.74/10.75	    decisions=38620, wrong=4597, backtracks=2363, failedAssignments=2337, nogoods=271, foundSolutions=15, bestBound=25
16.74/10.75	    
16.74/10.79	    num=128, depth=87..95, filters=1401009, ccks=286440, wck=6.214, mem=150M420
16.74/10.79	    decisions=38757, wrong=4621, backtracks=2375, failedAssignments=2349, nogoods=273, foundSolutions=15, bestBound=25
16.74/10.79	    
16.86/10.83	    num=129, depth=96..108, filters=1409238, ccks=286440, wck=6.251, mem=150M420
16.86/10.83	    decisions=38905, wrong=4647, backtracks=2388, failedAssignments=2362, nogoods=274, foundSolutions=15, bestBound=25
16.86/10.83	    
16.86/10.87	    num=130, depth=81..110, filters=1425683, ccks=286440, wck=6.292, mem=150M420
16.86/10.87	    decisions=39065, wrong=4680, backtracks=2407, failedAssignments=2376, nogoods=276, foundSolutions=15, bestBound=25
16.86/10.87	    
16.96/10.90	    num=131, depth=53..70, filters=1436715, ccks=286440, wck=6.33, mem=150M420
16.96/10.90	    decisions=39188, wrong=4708, backtracks=2420, failedAssignments=2392, nogoods=280, foundSolutions=15, bestBound=25
16.96/10.90	    
16.96/10.94	    num=132, depth=71..85, filters=1449642, ccks=286440, wck=6.365, mem=150M420
16.96/10.94	    decisions=39327, wrong=4742, backtracks=2437, failedAssignments=2409, nogoods=281, foundSolutions=15, bestBound=25
16.96/10.94	    
16.96/10.99	    num=133, depth=57..87, filters=1466908, ccks=286440, wck=6.411, mem=150M420
16.96/10.99	    decisions=39472, wrong=4776, backtracks=2453, failedAssignments=2428, nogoods=290, foundSolutions=15, bestBound=25
16.96/10.99	    
17.07/11.03	    num=134, depth=71..79, filters=1481498, ccks=286440, wck=6.455, mem=150M420
17.07/11.03	    decisions=39627, wrong=4818, backtracks=2477, failedAssignments=2449, nogoods=293, foundSolutions=15, bestBound=25
17.07/11.03	    
17.07/11.07	    num=135, depth=72..81, filters=1503051, ccks=286440, wck=6.499, mem=150M420
17.07/11.07	    decisions=39796, wrong=4864, backtracks=2500, failedAssignments=2472, nogoods=296, foundSolutions=15, bestBound=25
17.07/11.07	    
17.18/11.12	    num=136, depth=77..107, filters=1523331, ccks=286440, wck=6.545, mem=150M420
17.18/11.12	    decisions=39995, wrong=4911, backtracks=2526, failedAssignments=2497, nogoods=300, foundSolutions=15, bestBound=25
17.18/11.12	    
17.18/11.19	    num=137, depth=47..50, filters=1564574, ccks=286440, wck=6.612, mem=150M420
17.18/11.19	    decisions=40154, wrong=4967, backtracks=2554, failedAssignments=2525, nogoods=303, foundSolutions=15, bestBound=25
17.18/11.19	    
17.28/11.23	    num=138, depth=71..80, filters=1586056, ccks=286440, wck=6.657, mem=150M420
17.28/11.23	    decisions=40359, wrong=5034, backtracks=2594, failedAssignments=2556, nogoods=306, foundSolutions=15, bestBound=25
17.28/11.23	    
17.28/11.28	    num=139, depth=88..116, filters=1602116, ccks=286440, wck=6.706, mem=150M420
17.28/11.28	    decisions=40578, wrong=5088, backtracks=2618, failedAssignments=2590, nogoods=310, foundSolutions=15, bestBound=25
17.28/11.28	    
17.38/11.33	o 24
17.38/11.33	    num=140, depth=93..384, filters=1611102, ccks=305536, wck=6.753, mem=150M420
17.38/11.33	    decisions=40833, wrong=5110, backtracks=2630, failedAssignments=2601, nogoods=314, foundSolutions=16, bestBound=24
17.38/11.33	    
17.38/11.38	o 23
17.38/11.38	    num=141, depth=80..384, filters=1627536, ccks=324632, wck=6.808, mem=150M420
17.38/11.38	    decisions=41117, wrong=5159, backtracks=2652, failedAssignments=2628, nogoods=318, foundSolutions=17, bestBound=23
17.38/11.38	    
17.48/11.42	    num=142, depth=54..59, filters=1641744, ccks=324632, wck=6.848, mem=150M420
17.48/11.42	    decisions=41217, wrong=5182, backtracks=2665, failedAssignments=2639, nogoods=319, foundSolutions=17, bestBound=23
17.48/11.42	    
17.48/11.45	    num=143, depth=56..62, filters=1649809, ccks=324632, wck=6.879, mem=150M420
17.48/11.45	    decisions=41316, wrong=5203, backtracks=2675, failedAssignments=2650, nogoods=322, foundSolutions=17, bestBound=23
17.48/11.45	    
17.48/11.49	    num=144, depth=48..52, filters=1660740, ccks=324632, wck=6.913, mem=150M420
17.48/11.49	    decisions=41414, wrong=5227, backtracks=2687, failedAssignments=2662, nogoods=326, foundSolutions=17, bestBound=23
17.48/11.49	    
17.58/11.53	    num=145, depth=42..56, filters=1680462, ccks=324632, wck=6.956, mem=150M420
17.58/11.53	    decisions=41516, wrong=5252, backtracks=2700, failedAssignments=2675, nogoods=332, foundSolutions=17, bestBound=23
17.58/11.53	    
17.58/11.58	    num=146, depth=42..50, filters=1711084, ccks=324632, wck=7.007, mem=150M420
17.58/11.58	    decisions=41625, wrong=5284, backtracks=2718, failedAssignments=2689, nogoods=334, foundSolutions=17, bestBound=23
17.58/11.58	    
17.72/11.62	    num=147, depth=46..49, filters=1731772, ccks=324632, wck=7.046, mem=150M420
17.72/11.62	    decisions=41736, wrong=5316, backtracks=2734, failedAssignments=2705, nogoods=336, foundSolutions=17, bestBound=23
17.72/11.62	    
17.72/11.66	    num=148, depth=45..48, filters=1751158, ccks=324632, wck=7.088, mem=150M420
17.72/11.66	    decisions=41849, wrong=5350, backtracks=2752, failedAssignments=2722, nogoods=339, foundSolutions=17, bestBound=23
17.72/11.66	    
17.83/11.71	    num=149, depth=46..50, filters=1772838, ccks=324632, wck=7.132, mem=150M420
17.83/11.71	    decisions=41971, wrong=5388, backtracks=2772, failedAssignments=2741, nogoods=343, foundSolutions=17, bestBound=23
17.83/11.71	    
17.83/11.75	    num=150, depth=43..54, filters=1789382, ccks=324632, wck=7.173, mem=150M420
17.83/11.75	    decisions=42105, wrong=5430, backtracks=2796, failedAssignments=2762, nogoods=350, foundSolutions=17, bestBound=23
17.83/11.75	    
17.83/11.79	    num=151, depth=54..60, filters=1806843, ccks=324632, wck=7.215, mem=150M420
17.83/11.79	    decisions=42249, wrong=5472, backtracks=2816, failedAssignments=2785, nogoods=354, foundSolutions=17, bestBound=23
17.83/11.79	    
17.93/11.83	    num=152, depth=47..52, filters=1822426, ccks=324632, wck=7.252, mem=150M420
17.93/11.83	    decisions=42397, wrong=5522, backtracks=2841, failedAssignments=2810, nogoods=358, foundSolutions=17, bestBound=23
17.93/11.83	    
17.93/11.87	    num=153, depth=52..55, filters=1837671, ccks=324632, wck=7.295, mem=150M420
17.93/11.87	    decisions=42562, wrong=5578, backtracks=2870, failedAssignments=2838, nogoods=365, foundSolutions=17, bestBound=23
17.93/11.87	    
18.03/11.94	    num=154, depth=36..40, filters=1871027, ccks=324632, wck=7.364, mem=150M420
18.03/11.94	    decisions=42724, wrong=5640, backtracks=2901, failedAssignments=2869, nogoods=370, foundSolutions=17, bestBound=23
18.03/11.94	    
18.03/11.99	    num=155, depth=48..68, filters=1900433, ccks=324632, wck=7.415, mem=150M420
18.03/11.99	    decisions=42930, wrong=5717, backtracks=2949, failedAssignments=2903, nogoods=373, foundSolutions=17, bestBound=23
18.03/11.99	    
18.14/12.06	    num=156, depth=46..69, filters=1935234, ccks=324632, wck=7.481, mem=150M420
18.14/12.06	    decisions=43191, wrong=5821, backtracks=3022, failedAssignments=2940, nogoods=378, foundSolutions=17, bestBound=23
18.14/12.06	    
18.24/12.12	    num=157, depth=44..47, filters=1966927, ccks=324632, wck=7.543, mem=150M420
18.24/12.12	    decisions=43401, wrong=5903, backtracks=3063, failedAssignments=2981, nogoods=383, foundSolutions=17, bestBound=23
18.24/12.12	    
18.24/12.19	    num=158, depth=52..63, filters=2013168, ccks=324632, wck=7.618, mem=150M420
18.24/12.19	    decisions=43663, wrong=6007, backtracks=3131, failedAssignments=3026, nogoods=390, foundSolutions=17, bestBound=23
18.24/12.19	    
18.33/12.24	o 22
18.33/12.24	    num=159, depth=46..384, filters=2028392, ccks=343728, wck=7.668, mem=150M420
18.33/12.24	    decisions=43895, wrong=6033, backtracks=3145, failedAssignments=3038, nogoods=395, foundSolutions=18, bestBound=22
18.33/12.24	    
18.44/12.31	    num=160, depth=41..46, filters=2064405, ccks=343728, wck=7.733, mem=150M420
18.44/12.31	    decisions=44158, wrong=6143, backtracks=3202, failedAssignments=3093, nogoods=402, foundSolutions=18, bestBound=22
18.44/12.31	    
18.44/12.35	o 21
18.44/12.35	    num=161, depth=47..384, filters=2073357, ccks=362824, wck=7.775, mem=150M420
18.44/12.35	    decisions=44358, wrong=6154, backtracks=3210, failedAssignments=3098, nogoods=404, foundSolutions=19, bestBound=21
18.44/12.35	    
18.44/12.38	    num=162, depth=42..47, filters=2083007, ccks=362824, wck=7.807, mem=150M420
18.44/12.38	    decisions=44448, wrong=6178, backtracks=3222, failedAssignments=3110, nogoods=405, foundSolutions=19, bestBound=21
18.44/12.38	    
18.54/12.42	    num=163, depth=44..46, filters=2094868, ccks=362824, wck=7.84, mem=150M420
18.54/12.42	    decisions=44536, wrong=6200, backtracks=3233, failedAssignments=3121, nogoods=410, foundSolutions=19, bestBound=21
18.54/12.42	    
18.54/12.45	    num=164, depth=36..38, filters=2109254, ccks=362824, wck=7.877, mem=150M420
18.54/12.45	    decisions=44621, wrong=6224, backtracks=3245, failedAssignments=3133, nogoods=415, foundSolutions=19, bestBound=21
18.54/12.45	    
18.54/12.49	    num=165, depth=33..38, filters=2124166, ccks=362824, wck=7.911, mem=150M420
18.54/12.49	    decisions=44713, wrong=6252, backtracks=3261, failedAssignments=3146, nogoods=417, foundSolutions=19, bestBound=21
18.54/12.49	    
18.64/12.52	    num=166, depth=37..42, filters=2150068, ccks=362824, wck=7.949, mem=150M420
18.64/12.52	    decisions=44811, wrong=6282, backtracks=3277, failedAssignments=3160, nogoods=420, foundSolutions=19, bestBound=21
18.64/12.52	    
18.64/12.56	    num=167, depth=37..59, filters=2173004, ccks=362824, wck=7.986, mem=150M420
18.64/12.56	    decisions=44948, wrong=6332, backtracks=3312, failedAssignments=3176, nogoods=421, foundSolutions=19, bestBound=21
18.64/12.56	    
18.64/12.59	    num=168, depth=48..64, filters=2182057, ccks=362824, wck=8.014, mem=150M420
18.64/12.59	    decisions=45054, wrong=6357, backtracks=3320, failedAssignments=3193, nogoods=423, foundSolutions=19, bestBound=21
18.64/12.59	    
18.74/12.63	    num=169, depth=66..72, filters=2199654, ccks=362824, wck=8.056, mem=150M420
18.74/12.63	    decisions=45186, wrong=6390, backtracks=3340, failedAssignments=3212, nogoods=427, foundSolutions=19, bestBound=21
18.74/12.63	    
18.74/12.69	    num=170, depth=36..45, filters=2225373, ccks=362824, wck=8.112, mem=150M420
18.74/12.69	    decisions=45320, wrong=6439, backtracks=3378, failedAssignments=3233, nogoods=429, foundSolutions=19, bestBound=21
18.74/12.69	    
18.84/12.72	    num=171, depth=52..58, filters=2241275, ccks=362824, wck=8.147, mem=150M420
18.84/12.72	    decisions=45465, wrong=6485, backtracks=3401, failedAssignments=3256, nogoods=433, foundSolutions=19, bestBound=21
18.84/12.72	    
18.84/12.76	    num=172, depth=35..40, filters=2260321, ccks=362824, wck=8.186, mem=150M420
18.84/12.76	    decisions=45596, wrong=6533, backtracks=3427, failedAssignments=3281, nogoods=435, foundSolutions=19, bestBound=21
18.84/12.76	    
18.94/12.82	    num=173, depth=40..49, filters=2300180, ccks=362824, wck=8.249, mem=150M420
18.94/12.82	    decisions=45779, wrong=6604, backtracks=3483, failedAssignments=3309, nogoods=439, foundSolutions=19, bestBound=21
18.94/12.82	    
18.94/12.86	    num=174, depth=32..38, filters=2319570, ccks=362824, wck=8.289, mem=150M420
18.94/12.86	    decisions=45937, wrong=6666, backtracks=3515, failedAssignments=3340, nogoods=444, foundSolutions=19, bestBound=21
18.94/12.86	    
19.04/12.91	o 20
19.04/12.91	    num=175, depth=65..384, filters=2343668, ccks=381920, wck=8.339, mem=150M420
19.04/12.91	    decisions=46208, wrong=6718, backtracks=3543, failedAssignments=3365, nogoods=449, foundSolutions=20, bestBound=20
19.04/12.91	    
19.04/12.96	    num=176, depth=29..32, filters=2363201, ccks=381920, wck=8.385, mem=150M420
19.04/12.96	    decisions=46387, wrong=6792, backtracks=3580, failedAssignments=3402, nogoods=453, foundSolutions=20, bestBound=20
19.04/12.96	    
19.04/12.99	    num=177, depth=39..41, filters=2371299, ccks=381920, wck=8.411, mem=150M420
19.04/12.99	    decisions=46470, wrong=6814, backtracks=3591, failedAssignments=3413, nogoods=457, foundSolutions=20, bestBound=20
19.04/12.99	    
19.17/13.02	    num=178, depth=26..30, filters=2383995, ccks=381920, wck=8.442, mem=150M420
19.17/13.02	    decisions=46548, wrong=6839, backtracks=3605, failedAssignments=3425, nogoods=460, foundSolutions=20, bestBound=20
19.17/13.02	    
19.17/13.05	    num=179, depth=28..31, filters=2402965, ccks=381920, wck=8.475, mem=150M420
19.17/13.05	    decisions=46628, wrong=6865, backtracks=3618, failedAssignments=3438, nogoods=461, foundSolutions=20, bestBound=20
19.17/13.05	    
19.17/13.08	    num=180, depth=31..38, filters=2415205, ccks=381920, wck=8.506, mem=150M420
19.17/13.08	    decisions=46727, wrong=6897, backtracks=3638, failedAssignments=3452, nogoods=464, foundSolutions=20, bestBound=20
19.17/13.08	    
19.28/13.11	    num=181, depth=29..32, filters=2426850, ccks=381920, wck=8.537, mem=150M420
19.28/13.11	    decisions=46821, wrong=6929, backtracks=3655, failedAssignments=3468, nogoods=466, foundSolutions=20, bestBound=20
19.28/13.11	    
19.28/13.15	    num=182, depth=29..32, filters=2441178, ccks=381920, wck=8.575, mem=150M420
19.28/13.15	    decisions=46920, wrong=6963, backtracks=3673, failedAssignments=3485, nogoods=469, foundSolutions=20, bestBound=20
19.28/13.15	    
19.28/13.19	    num=183, depth=28..32, filters=2458143, ccks=381920, wck=8.617, mem=150M420
19.28/13.19	    decisions=47027, wrong=7002, backtracks=3695, failedAssignments=3504, nogoods=475, foundSolutions=20, bestBound=20
19.28/13.19	    
19.36/13.23	    num=184, depth=33..42, filters=2478706, ccks=381920, wck=8.654, mem=150M420
19.36/13.23	    decisions=47154, wrong=7047, backtracks=3719, failedAssignments=3525, nogoods=478, foundSolutions=20, bestBound=20
19.36/13.23	    
19.36/13.27	o 19
19.36/13.27	    num=185, depth=36..384, filters=2492863, ccks=401016, wck=8.697, mem=150M420
19.36/13.27	    decisions=47395, wrong=7084, backtracks=3737, failedAssignments=3545, nogoods=489, foundSolutions=21, bestBound=19
19.36/13.27	    
19.47/13.32	    num=186, depth=26..31, filters=2510496, ccks=401016, wck=8.747, mem=150M420
19.47/13.32	    decisions=47521, wrong=7134, backtracks=3764, failedAssignments=3570, nogoods=490, foundSolutions=21, bestBound=19
19.47/13.32	    
19.47/13.36	    num=187, depth=29..31, filters=2526370, ccks=401016, wck=8.785, mem=150M420
19.47/13.36	    decisions=47594, wrong=7156, backtracks=3775, failedAssignments=3581, nogoods=495, foundSolutions=21, bestBound=19
19.47/13.36	    
19.47/13.39	    num=188, depth=29..37, filters=2539979, ccks=401016, wck=8.817, mem=150M420
19.47/13.39	    decisions=47683, wrong=7186, backtracks=3793, failedAssignments=3593, nogoods=500, foundSolutions=21, bestBound=19
19.47/13.39	    
19.57/13.42	    num=189, depth=26..29, filters=2548699, ccks=401016, wck=8.843, mem=150M420
19.57/13.42	    decisions=47761, wrong=7212, backtracks=3806, failedAssignments=3606, nogoods=501, foundSolutions=21, bestBound=19
19.57/13.42	    
19.57/13.45	o 18
19.57/13.45	    num=190, depth=386..384, filters=2554717, ccks=420112, wck=8.879, mem=150M420
19.57/13.45	    decisions=47955, wrong=7212, backtracks=3806, failedAssignments=3606, nogoods=501, foundSolutions=22, bestBound=18
19.57/13.45	    
19.57/13.49	    num=191, depth=25..28, filters=2570634, ccks=420112, wck=8.916, mem=150M420
19.57/13.49	    decisions=48045, wrong=7244, backtracks=3822, failedAssignments=3622, nogoods=505, foundSolutions=22, bestBound=18
19.57/13.49	    
19.67/13.52	    num=192, depth=28..33, filters=2581878, ccks=420112, wck=8.945, mem=150M420
19.67/13.52	    decisions=48121, wrong=7268, backtracks=3836, failedAssignments=3633, nogoods=508, foundSolutions=22, bestBound=18
19.67/13.52	    
19.67/13.56	    num=193, depth=22..31, filters=2602268, ccks=420112, wck=8.981, mem=154M736
19.67/13.56	    decisions=48218, wrong=7304, backtracks=3864, failedAssignments=3645, nogoods=512, foundSolutions=22, bestBound=18
19.67/13.56	    
19.67/13.59	    num=194, depth=25..27, filters=2614757, ccks=420112, wck=9.014, mem=154M736
19.67/13.59	    decisions=48296, wrong=7330, backtracks=3877, failedAssignments=3658, nogoods=517, foundSolutions=22, bestBound=18
19.67/13.59	    
19.77/13.62	    num=195, depth=26..28, filters=2624657, ccks=420112, wck=9.041, mem=154M736
19.77/13.62	    decisions=48378, wrong=7358, backtracks=3891, failedAssignments=3672, nogoods=522, foundSolutions=22, bestBound=18
19.77/13.62	    
19.77/13.65	    num=196, depth=23..29, filters=2643479, ccks=420112, wck=9.074, mem=154M736
19.77/13.65	    decisions=48469, wrong=7392, backtracks=3910, failedAssignments=3688, nogoods=523, foundSolutions=22, bestBound=18
19.77/13.65	    
19.77/13.69	    num=197, depth=25..29, filters=2667540, ccks=420112, wck=9.112, mem=154M736
19.77/13.69	    decisions=48564, wrong=7426, backtracks=3928, failedAssignments=3705, nogoods=526, foundSolutions=22, bestBound=18
19.77/13.69	    
19.87/13.72	    num=198, depth=26..29, filters=2678022, ccks=420112, wck=9.141, mem=154M736
19.87/13.72	    decisions=48666, wrong=7464, backtracks=3948, failedAssignments=3724, nogoods=531, foundSolutions=22, bestBound=18
19.87/13.72	    
19.87/13.75	    num=199, depth=26..29, filters=2695632, ccks=420112, wck=9.175, mem=154M736
19.87/13.75	    decisions=48776, wrong=7506, backtracks=3970, failedAssignments=3745, nogoods=534, foundSolutions=22, bestBound=18
19.87/13.75	    
19.87/13.78	    num=200, depth=25..30, filters=2709350, ccks=420112, wck=9.203, mem=154M736
19.87/13.78	    decisions=48896, wrong=7552, backtracks=3993, failedAssignments=3768, nogoods=538, foundSolutions=22, bestBound=18
19.87/13.78	    
19.97/13.80	o 17
19.97/13.81	    num=201, depth=386..384, filters=2715155, ccks=439208, wck=9.231, mem=154M736
19.97/13.81	    decisions=49016, wrong=7552, backtracks=3993, failedAssignments=3768, nogoods=538, foundSolutions=23, bestBound=17
19.97/13.81	    
19.97/13.86	    num=202, depth=21..24, filters=2757624, ccks=439208, wck=9.284, mem=154M736
19.97/13.86	    decisions=49151, wrong=7608, backtracks=4021, failedAssignments=3796, nogoods=542, foundSolutions=23, bestBound=17
19.97/13.86	    
19.97/13.88	    num=203, depth=24..26, filters=2767679, ccks=439208, wck=9.308, mem=154M736
19.97/13.88	    decisions=49219, wrong=7630, backtracks=4032, failedAssignments=3807, nogoods=547, foundSolutions=23, bestBound=17
19.97/13.88	    
20.07/13.91	    num=204, depth=26..28, filters=2775414, ccks=439208, wck=9.332, mem=154M736
20.07/13.91	    decisions=49293, wrong=7654, backtracks=4044, failedAssignments=3819, nogoods=553, foundSolutions=23, bestBound=17
20.07/13.91	    
20.07/13.93	    num=205, depth=21..24, filters=2783663, ccks=439208, wck=9.355, mem=154M736
20.07/13.93	    decisions=49366, wrong=7680, backtracks=4058, failedAssignments=3832, nogoods=557, foundSolutions=23, bestBound=17
20.07/13.93	    
20.07/13.96	    num=206, depth=25..37, filters=2802347, ccks=439208, wck=9.386, mem=154M736
20.07/13.96	    decisions=49475, wrong=7721, backtracks=4086, failedAssignments=3846, nogoods=561, foundSolutions=23, bestBound=17
20.07/13.96	    
20.07/13.99	    num=207, depth=20..24, filters=2818245, ccks=439208, wck=9.41, mem=154M736
20.07/13.99	    decisions=49560, wrong=7753, backtracks=4103, failedAssignments=3862, nogoods=564, foundSolutions=23, bestBound=17
20.07/13.99	    
20.18/14.02	    num=208, depth=16..19, filters=2851246, ccks=439208, wck=9.444, mem=154M736
20.18/14.02	    decisions=49646, wrong=7787, backtracks=4120, failedAssignments=3879, nogoods=567, foundSolutions=23, bestBound=17
20.18/14.02	    
20.18/14.04	o 16
20.18/14.05	    num=209, depth=386..384, filters=2856785, ccks=458304, wck=9.472, mem=154M736
20.18/14.05	    decisions=49773, wrong=7787, backtracks=4120, failedAssignments=3879, nogoods=567, foundSolutions=24, bestBound=16
20.18/14.05	    
20.18/14.07	o 15
20.18/14.07	    num=210, depth=386..384, filters=2862051, ccks=477400, wck=9.498, mem=154M736
20.18/14.07	    decisions=49857, wrong=7787, backtracks=4120, failedAssignments=3879, nogoods=567, foundSolutions=25, bestBound=15
20.18/14.07	    
20.18/14.10	    num=211, depth=15..17, filters=2871323, ccks=477400, wck=9.522, mem=154M736
20.18/14.10	    decisions=49916, wrong=7809, backtracks=4131, failedAssignments=3890, nogoods=571, foundSolutions=25, bestBound=15
20.18/14.10	    
20.28/14.12	    num=212, depth=20..22, filters=2881669, ccks=477400, wck=9.549, mem=154M736
20.28/14.12	    decisions=49980, wrong=7831, backtracks=4142, failedAssignments=3901, nogoods=576, foundSolutions=25, bestBound=15
20.28/14.12	    
20.28/14.15	    num=213, depth=13..15, filters=2899333, ccks=477400, wck=9.571, mem=154M736
20.28/14.15	    decisions=50041, wrong=7855, backtracks=4154, failedAssignments=3913, nogoods=582, foundSolutions=25, bestBound=15
20.28/14.15	    
20.28/14.16	o 14
20.28/14.17	    num=214, depth=47..384, filters=2904309, ccks=496496, wck=9.592, mem=154M736
20.28/14.17	    decisions=50120, wrong=7857, backtracks=4154, failedAssignments=3915, nogoods=584, foundSolutions=26, bestBound=14
20.28/14.17	    
20.28/14.19	    num=215, depth=10..13, filters=2912607, ccks=496496, wck=9.612, mem=154M736
20.28/14.19	    decisions=50188, wrong=7885, backtracks=4168, failedAssignments=3929, nogoods=586, foundSolutions=26, bestBound=14
20.28/14.19	    
20.37/14.20	    num=216, depth=11..13, filters=2918642, ccks=496496, wck=9.628, mem=154M736
20.37/14.20	    decisions=50243, wrong=7907, backtracks=4179, failedAssignments=3940, nogoods=590, foundSolutions=26, bestBound=14
20.37/14.20	    
20.37/14.22	o 13
20.37/14.22	    num=217, depth=386..384, filters=2923305, ccks=515592, wck=9.647, mem=154M736
20.37/14.22	    decisions=50291, wrong=7907, backtracks=4179, failedAssignments=3940, nogoods=590, foundSolutions=27, bestBound=13
20.37/14.22	    
20.37/14.24	    num=218, depth=9..12, filters=2931009, ccks=515592, wck=9.667, mem=154M736
20.37/14.24	    decisions=50352, wrong=7933, backtracks=4193, failedAssignments=3953, nogoods=591, foundSolutions=27, bestBound=13
20.37/14.24	    
20.37/14.26	    num=219, depth=9..11, filters=2937805, ccks=515592, wck=9.683, mem=154M736
20.37/14.26	    decisions=50405, wrong=7955, backtracks=4204, failedAssignments=3964, nogoods=595, foundSolutions=27, bestBound=13
20.37/14.26	    
20.37/14.27	    num=220, depth=9..11, filters=2944859, ccks=515592, wck=9.699, mem=154M736
20.37/14.27	    decisions=50462, wrong=7979, backtracks=4216, failedAssignments=3976, nogoods=600, foundSolutions=27, bestBound=13
20.37/14.27	    
20.37/14.29	    num=221, depth=8..11, filters=2952958, ccks=515592, wck=9.716, mem=154M736
20.37/14.29	    decisions=50522, wrong=8005, backtracks=4230, failedAssignments=3989, nogoods=601, foundSolutions=27, bestBound=13
20.37/14.29	    
20.50/14.32	    num=222, depth=8..11, filters=2963414, ccks=515592, wck=9.741, mem=154M736
20.50/14.32	    decisions=50588, wrong=8033, backtracks=4245, failedAssignments=4003, nogoods=603, foundSolutions=27, bestBound=13
20.50/14.32	    
20.50/14.34	    num=223, depth=8..11, filters=2974892, ccks=515592, wck=9.766, mem=154M736
20.50/14.34	    decisions=50661, wrong=8065, backtracks=4262, failedAssignments=4019, nogoods=605, foundSolutions=27, bestBound=13
20.50/14.34	    
20.50/14.36	    num=224, depth=8..11, filters=2986289, ccks=515592, wck=9.79, mem=154M736
20.50/14.36	    decisions=50739, wrong=8099, backtracks=4280, failedAssignments=4036, nogoods=608, foundSolutions=27, bestBound=13
20.50/14.36	    
20.50/14.39	    num=225, depth=8..12, filters=2999822, ccks=515592, wck=9.812, mem=154M736
20.50/14.39	    decisions=50825, wrong=8137, backtracks=4299, failedAssignments=4055, nogoods=611, foundSolutions=27, bestBound=13
20.50/14.39	    
20.60/14.41	    num=226, depth=8..11, filters=3011648, ccks=515592, wck=9.838, mem=154M736
20.60/14.41	    decisions=50919, wrong=8179, backtracks=4320, failedAssignments=4076, nogoods=616, foundSolutions=27, bestBound=13
20.60/14.41	    
20.60/14.44	    num=227, depth=8..11, filters=3029125, ccks=515592, wck=9.87, mem=154M736
20.60/14.44	    decisions=51020, wrong=8225, backtracks=4343, failedAssignments=4099, nogoods=621, foundSolutions=27, bestBound=13
20.60/14.44	    
20.60/14.48	    num=228, depth=8..11, filters=3045140, ccks=515592, wck=9.903, mem=154M736
20.60/14.48	    decisions=51129, wrong=8275, backtracks=4369, failedAssignments=4124, nogoods=627, foundSolutions=27, bestBound=13
20.60/14.48	    
20.70/14.51	    num=229, depth=8..11, filters=3062736, ccks=515592, wck=9.939, mem=154M736
20.70/14.51	    decisions=51251, wrong=8331, backtracks=4397, failedAssignments=4152, nogoods=631, foundSolutions=27, bestBound=13
20.70/14.51	    
20.70/14.55	    num=230, depth=8..12, filters=3084065, ccks=515592, wck=9.975, mem=154M736
20.70/14.55	    decisions=51385, wrong=8393, backtracks=4429, failedAssignments=4183, nogoods=636, foundSolutions=27, bestBound=13
20.70/14.55	    
20.70/14.58	    num=231, depth=8..11, filters=3104572, ccks=515592, wck=10.007, mem=154M736
20.70/14.58	    decisions=51530, wrong=8461, backtracks=4464, failedAssignments=4217, nogoods=641, foundSolutions=27, bestBound=13
20.70/14.58	    
20.80/14.63	    num=232, depth=8..11, filters=3128207, ccks=515592, wck=10.054, mem=154M736
20.80/14.63	    decisions=51688, wrong=8535, backtracks=4501, failedAssignments=4254, nogoods=647, foundSolutions=27, bestBound=13
20.80/14.63	    
20.80/14.67	    num=233, depth=8..11, filters=3154211, ccks=515592, wck=10.099, mem=154M736
20.80/14.67	    decisions=51862, wrong=8617, backtracks=4542, failedAssignments=4295, nogoods=653, foundSolutions=27, bestBound=13
20.80/14.67	    
20.90/14.72	    num=234, depth=8..11, filters=3179729, ccks=515592, wck=10.146, mem=154M736
20.90/14.72	    decisions=52051, wrong=8707, backtracks=4588, failedAssignments=4340, nogoods=658, foundSolutions=27, bestBound=13
20.90/14.72	    
20.90/14.77	    num=235, depth=8..11, filters=3211098, ccks=515592, wck=10.196, mem=154M736
20.90/14.77	    decisions=52261, wrong=8807, backtracks=4640, failedAssignments=4390, nogoods=665, foundSolutions=27, bestBound=13
20.90/14.77	    
21.00/14.82	    num=236, depth=8..11, filters=3238858, ccks=515592, wck=10.244, mem=154M736
21.00/14.82	    decisions=52491, wrong=8917, backtracks=4696, failedAssignments=4445, nogoods=673, foundSolutions=27, bestBound=13
21.00/14.82	    
21.00/14.87	    num=237, depth=8..11, filters=3273086, ccks=515592, wck=10.298, mem=154M736
21.00/14.87	    decisions=52743, wrong=9039, backtracks=4759, failedAssignments=4506, nogoods=680, foundSolutions=27, bestBound=13
21.00/14.87	    
21.10/14.93	    num=238, depth=7..11, filters=3309065, ccks=515592, wck=10.353, mem=154M736
21.10/14.93	    decisions=53018, wrong=9173, backtracks=4826, failedAssignments=4573, nogoods=681, foundSolutions=27, bestBound=13
21.10/14.93	    
21.10/14.99	    num=239, depth=7..11, filters=3353489, ccks=515592, wck=10.419, mem=154M736
21.10/14.99	    decisions=53324, wrong=9321, backtracks=4902, failedAssignments=4647, nogoods=684, foundSolutions=27, bestBound=13
21.10/14.99	    
21.23/15.06	    num=240, depth=8..11, filters=3394347, ccks=515592, wck=10.489, mem=154M736
21.23/15.06	    decisions=53657, wrong=9483, backtracks=4986, failedAssignments=4728, nogoods=693, foundSolutions=27, bestBound=13
21.23/15.06	    
21.32/15.13	    num=241, depth=7..11, filters=3436300, ccks=515592, wck=10.56, mem=154M736
21.32/15.13	    decisions=54023, wrong=9661, backtracks=5079, failedAssignments=4817, nogoods=696, foundSolutions=27, bestBound=13
21.32/15.13	    
21.41/15.22	    num=242, depth=7..11, filters=3492350, ccks=515592, wck=10.644, mem=154M736
21.41/15.22	    decisions=54425, wrong=9857, backtracks=5179, failedAssignments=4915, nogoods=702, foundSolutions=27, bestBound=13
21.41/15.22	    
21.51/15.31	    num=243, depth=7..11, filters=3547826, ccks=515592, wck=10.732, mem=154M736
21.51/15.31	    decisions=54866, wrong=10073, backtracks=5290, failedAssignments=5023, nogoods=707, foundSolutions=27, bestBound=13
21.51/15.31	    
21.61/15.40	    num=244, depth=7..11, filters=3612439, ccks=515592, wck=10.829, mem=154M736
21.61/15.40	    decisions=55351, wrong=10311, backtracks=5412, failedAssignments=5142, nogoods=714, foundSolutions=27, bestBound=13
21.61/15.40	    
21.72/15.51	    num=245, depth=7..11, filters=3679232, ccks=515592, wck=10.934, mem=154M736
21.72/15.51	    decisions=55885, wrong=10573, backtracks=5545, failedAssignments=5273, nogoods=722, foundSolutions=27, bestBound=13
21.72/15.51	    
21.82/15.62	    num=246, depth=7..11, filters=3752197, ccks=515592, wck=11.048, mem=154M736
21.82/15.62	    decisions=56471, wrong=10861, backtracks=5691, failedAssignments=5417, nogoods=730, foundSolutions=27, bestBound=13
21.82/15.62	    
21.92/15.75	    num=247, depth=7..11, filters=3830531, ccks=515592, wck=11.175, mem=154M736
21.92/15.75	    decisions=57112, wrong=11177, backtracks=5851, failedAssignments=5575, nogoods=736, foundSolutions=27, bestBound=13
21.92/15.75	    
22.12/15.90	    num=248, depth=7..11, filters=3924167, ccks=515592, wck=11.323, mem=154M736
22.12/15.90	    decisions=57818, wrong=11525, backtracks=6034, failedAssignments=5749, nogoods=742, foundSolutions=27, bestBound=13
22.12/15.90	    
22.23/16.04	    num=249, depth=7..11, filters=4021287, ccks=515592, wck=11.462, mem=154M736
22.23/16.04	    decisions=58591, wrong=11907, backtracks=6228, failedAssignments=5940, nogoods=751, foundSolutions=27, bestBound=13
22.23/16.04	    
22.33/16.19	    num=250, depth=7..11, filters=4114699, ccks=515592, wck=11.62, mem=154M736
22.33/16.19	    decisions=59444, wrong=12329, backtracks=6444, failedAssignments=6151, nogoods=757, foundSolutions=27, bestBound=13
22.33/16.19	    
22.52/16.37	    num=251, depth=7..11, filters=4231020, ccks=515592, wck=11.791, mem=154M736
22.52/16.37	    decisions=60382, wrong=12793, backtracks=6678, failedAssignments=6383, nogoods=762, foundSolutions=27, bestBound=13
22.52/16.37	    
22.72/16.56	    num=252, depth=7..11, filters=4359006, ccks=515592, wck=11.982, mem=154M736
22.72/16.56	    decisions=61409, wrong=13303, backtracks=6942, failedAssignments=6638, nogoods=766, foundSolutions=27, bestBound=13
22.72/16.56	    
22.93/16.78	    num=253, depth=7..11, filters=4512741, ccks=515592, wck=12.207, mem=154M736
22.93/16.78	    decisions=62543, wrong=13865, backtracks=7230, failedAssignments=6919, nogoods=775, foundSolutions=27, bestBound=13
22.93/16.78	    
23.23/17.01	    num=254, depth=7..11, filters=4650356, ccks=515592, wck=12.437, mem=154M736
23.23/17.01	    decisions=63787, wrong=14483, backtracks=7544, failedAssignments=7228, nogoods=781, foundSolutions=27, bestBound=13
23.23/17.01	    
23.43/17.27	    num=255, depth=7..11, filters=4825467, ccks=515592, wck=12.691, mem=154M736
23.43/17.27	    decisions=65157, wrong=15163, backtracks=7889, failedAssignments=7568, nogoods=792, foundSolutions=27, bestBound=13
23.43/17.27	    
23.73/17.58	    num=256, depth=7..11, filters=5025571, ccks=515592, wck=13.002, mem=154M736
23.73/17.58	    decisions=66662, wrong=15911, backtracks=8281, failedAssignments=7942, nogoods=801, foundSolutions=27, bestBound=13
23.73/17.58	    
24.13/17.90	    num=257, depth=7..11, filters=5243163, ccks=515592, wck=13.33, mem=154M736
24.13/17.90	    decisions=68314, wrong=16733, backtracks=8709, failedAssignments=8353, nogoods=811, foundSolutions=27, bestBound=13
24.13/17.90	    
24.43/18.26	    num=258, depth=6..11, filters=5498520, ccks=515592, wck=13.68, mem=154M736
24.43/18.26	    decisions=70130, wrong=17637, backtracks=9177, failedAssignments=8805, nogoods=815, foundSolutions=27, bestBound=13
24.43/18.26	    
24.83/18.65	    num=259, depth=6..11, filters=5751201, ccks=515592, wck=14.074, mem=154M736
24.83/18.65	    decisions=72127, wrong=18631, backtracks=9690, failedAssignments=9302, nogoods=821, foundSolutions=27, bestBound=13
24.83/18.65	    
25.23/19.08	    num=260, depth=6..11, filters=6046919, ccks=515592, wck=14.504, mem=154M736
25.23/19.08	    decisions=74325, wrong=19725, backtracks=10247, failedAssignments=9849, nogoods=827, foundSolutions=27, bestBound=13
25.23/19.08	    
25.73/19.55	    num=261, depth=6..11, filters=6369331, ccks=515592, wck=14.976, mem=154M736
25.73/19.55	    decisions=76742, wrong=20929, backtracks=10865, failedAssignments=10451, nogoods=835, foundSolutions=27, bestBound=13
25.73/19.55	    
26.34/20.11	    num=262, depth=6..11, filters=6759843, ccks=515592, wck=15.533, mem=154M736
26.34/20.11	    decisions=79398, wrong=22253, backtracks=11545, failedAssignments=11113, nogoods=842, foundSolutions=27, bestBound=13
26.34/20.11	    
26.83/20.69	    num=263, depth=6..11, filters=7154753, ccks=515592, wck=16.117, mem=154M736
26.83/20.69	    decisions=82318, wrong=23709, backtracks=12293, failedAssignments=11841, nogoods=854, foundSolutions=27, bestBound=13
26.83/20.69	    
27.53/21.32	    num=264, depth=6..11, filters=7556463, ccks=515592, wck=16.746, mem=154M736
27.53/21.32	    decisions=85532, wrong=25311, backtracks=13118, failedAssignments=12642, nogoods=864, foundSolutions=27, bestBound=13
27.53/21.32	    
28.13/21.99	    num=265, depth=6..11, filters=8003813, ccks=515592, wck=17.416, mem=154M736
28.13/21.99	    decisions=89065, wrong=27073, backtracks=14019, failedAssignments=13523, nogoods=872, foundSolutions=27, bestBound=13
28.13/21.99	    
28.93/22.73	    num=266, depth=6..11, filters=8501689, ccks=515592, wck=18.16, mem=154M736
28.93/22.73	    decisions=92954, wrong=29013, backtracks=15025, failedAssignments=14493, nogoods=885, foundSolutions=27, bestBound=13
28.93/22.73	    
29.83/23.60	    num=267, depth=6..11, filters=9083143, ccks=515592, wck=19.025, mem=154M736
29.83/23.60	    decisions=97232, wrong=31147, backtracks=16123, failedAssignments=15560, nogoods=891, foundSolutions=27, bestBound=13
29.83/23.60	    
30.68/24.49	    num=268, depth=6..11, filters=9670868, ccks=515592, wck=19.919, mem=154M736
30.68/24.49	    decisions=101933, wrong=33493, backtracks=17334, failedAssignments=16733, nogoods=902, foundSolutions=27, bestBound=13
30.68/24.49	    
31.79/25.53	    num=269, depth=6..11, filters=10373419, ccks=515592, wck=20.951, mem=154M736
31.79/25.53	    decisions=107105, wrong=36075, backtracks=18663, failedAssignments=18024, nogoods=913, foundSolutions=27, bestBound=13
31.79/25.53	    
32.88/26.68	    num=270, depth=6..11, filters=11154452, ccks=515592, wck=22.11, mem=154M736
32.88/26.68	    decisions=112795, wrong=38915, backtracks=20121, failedAssignments=19444, nogoods=918, foundSolutions=27, bestBound=13
32.88/26.68	    
34.13/27.82	    num=271, depth=6..11, filters=11955216, ccks=515592, wck=23.247, mem=154M736
34.13/27.82	    decisions=119052, wrong=42039, backtracks=21724, failedAssignments=21006, nogoods=927, foundSolutions=27, bestBound=13
34.13/27.82	    
35.44/29.14	    num=272, depth=6..11, filters=12854140, ccks=515592, wck=24.565, mem=159M52
35.44/29.14	    decisions=125932, wrong=45475, backtracks=23485, failedAssignments=22724, nogoods=939, foundSolutions=27, bestBound=13
35.44/29.14	    
36.93/30.64	    num=273, depth=6..11, filters=13862927, ccks=515592, wck=26.062, mem=159M52
36.93/30.64	    decisions=133502, wrong=49255, backtracks=25424, failedAssignments=24614, nogoods=950, foundSolutions=27, bestBound=13
36.93/30.64	    
38.63/32.31	    num=274, depth=6..11, filters=15029422, ccks=515592, wck=27.735, mem=159M52
38.63/32.31	    decisions=141828, wrong=53413, backtracks=27560, failedAssignments=26693, nogoods=958, foundSolutions=27, bestBound=13
38.63/32.31	    
40.34/34.02	    num=275, depth=6..11, filters=16176219, ccks=515592, wck=29.447, mem=159M52
40.34/34.02	    decisions=150986, wrong=57987, backtracks=29902, failedAssignments=28980, nogoods=972, foundSolutions=27, bestBound=13
40.34/34.02	    
42.13/35.89	    num=276, depth=6..11, filters=17434226, ccks=515592, wck=31.316, mem=159M52
42.13/35.89	    decisions=161059, wrong=63019, backtracks=32503, failedAssignments=31496, nogoods=984, foundSolutions=27, bestBound=13
42.13/35.89	    
44.33/38.05	    num=277, depth=6..11, filters=18958539, ccks=515592, wck=33.475, mem=159M52
44.33/38.05	    decisions=172139, wrong=68555, backtracks=35360, failedAssignments=34264, nogoods=1001, foundSolutions=27, bestBound=13
44.33/38.05	    
46.63/40.36	    num=278, depth=6..11, filters=20566601, ccks=515592, wck=35.783, mem=159M52
46.63/40.36	    decisions=184324, wrong=74643, backtracks=38486, failedAssignments=37308, nogoods=1017, foundSolutions=27, bestBound=13
46.63/40.36	    
49.23/42.93	    num=279, depth=6..11, filters=22332552, ccks=515592, wck=38.355, mem=159M52
49.23/42.93	    decisions=197728, wrong=81341, backtracks=41939, failedAssignments=40657, nogoods=1030, foundSolutions=27, bestBound=13
49.23/42.93	    
52.13/45.87	    num=280, depth=5..11, filters=24447388, ccks=515592, wck=41.294, mem=159M52
52.13/45.87	    decisions=212473, wrong=88709, backtracks=45732, failedAssignments=44341, nogoods=1040, foundSolutions=27, bestBound=13
52.13/45.87	    
55.23/48.98	    num=281, depth=5..11, filters=26523176, ccks=515592, wck=44.408, mem=159M52
55.23/48.98	    decisions=228691, wrong=96813, backtracks=49900, failedAssignments=48393, nogoods=1045, foundSolutions=27, bestBound=13
55.23/48.98	    
58.53/52.29	    num=282, depth=5..11, filters=28840817, ccks=515592, wck=47.717, mem=159M52
58.53/52.29	    decisions=246528, wrong=105727, backtracks=54505, failedAssignments=52850, nogoods=1056, foundSolutions=27, bestBound=13
58.53/52.29	    
62.44/56.19	    num=283, depth=5..11, filters=31497480, ccks=515592, wck=51.612, mem=163M368
62.44/56.19	    decisions=266149, wrong=115533, backtracks=59561, failedAssignments=57753, nogoods=1063, foundSolutions=27, bestBound=13
62.44/56.19	    
66.53/60.24	    num=284, depth=5..11, filters=34204639, ccks=515592, wck=55.662, mem=163M368
66.53/60.24	    decisions=287735, wrong=126321, backtracks=65151, failedAssignments=63147, nogoods=1075, foundSolutions=27, bestBound=13
66.53/60.24	    
71.03/64.75	    num=285, depth=5..11, filters=37347293, ccks=515592, wck=60.17, mem=163M368
71.03/64.75	    decisions=311475, wrong=138187, backtracks=71280, failedAssignments=69080, nogoods=1089, foundSolutions=27, bestBound=13
71.03/64.75	    
76.24/69.93	    num=286, depth=5..11, filters=40856200, ccks=515592, wck=65.359, mem=163M368
76.24/69.93	    decisions=337588, wrong=151239, backtracks=78010, failedAssignments=75606, nogoods=1105, foundSolutions=27, bestBound=13
76.24/69.93	    
81.74/75.42	    num=287, depth=5..11, filters=44632146, ccks=515592, wck=70.844, mem=163M368
81.74/75.42	    decisions=366313, wrong=165597, backtracks=85454, failedAssignments=82785, nogoods=1115, foundSolutions=27, bestBound=13
81.74/75.42	    
87.74/81.42	    num=288, depth=5..11, filters=48694320, ccks=515592, wck=76.842, mem=163M368
87.74/81.42	    decisions=397909, wrong=181391, backtracks=93611, failedAssignments=90682, nogoods=1120, foundSolutions=27, bestBound=13
87.74/81.42	    
94.65/88.35	    num=289, depth=5..11, filters=53512255, ccks=515592, wck=83.78, mem=167M683
94.65/88.35	    decisions=432665, wrong=198765, backtracks=102612, failedAssignments=99369, nogoods=1132, foundSolutions=27, bestBound=13
94.65/88.35	    
101.54/95.22	    num=290, depth=5..11, filters=58341775, ccks=515592, wck=90.647, mem=167M683
101.54/95.22	    decisions=470895, wrong=217875, backtracks=112490, failedAssignments=108924, nogoods=1147, foundSolutions=27, bestBound=13
101.54/95.22	    
109.75/103.41	    num=291, depth=5..11, filters=63713482, ccks=515592, wck=98.833, mem=167M683
109.75/103.41	    decisions=512947, wrong=238897, backtracks=123377, failedAssignments=119435, nogoods=1161, foundSolutions=27, bestBound=13
109.75/103.41	    
118.84/112.55	    num=292, depth=5..11, filters=69985285, ccks=515592, wck=107.974, mem=167M683
118.84/112.55	    decisions=559204, wrong=262021, backtracks=135358, failedAssignments=130997, nogoods=1172, foundSolutions=27, bestBound=13
118.84/112.55	    
127.94/121.60	    num=293, depth=5..11, filters=76358466, ccks=515592, wck=117.029, mem=171M999
127.94/121.60	    decisions=610086, wrong=287457, backtracks=148478, failedAssignments=143715, nogoods=1183, foundSolutions=27, bestBound=13
127.94/121.60	    
139.25/132.94	    num=294, depth=5..11, filters=84135352, ccks=515592, wck=128.37, mem=171M999
139.25/132.94	    decisions=666055, wrong=315437, backtracks=162964, failedAssignments=157705, nogoods=1195, foundSolutions=27, bestBound=13
139.25/132.94	    
150.95/144.66	    num=295, depth=5..11, filters=92420367, ccks=515592, wck=140.089, mem=176M315
150.95/144.66	    decisions=727619, wrong=346215, backtracks=178901, failedAssignments=173094, nogoods=1208, foundSolutions=27, bestBound=13
150.95/144.66	    
163.75/157.46	    num=296, depth=5..11, filters=101161111, ccks=515592, wck=152.888, mem=176M315
163.75/157.46	    decisions=795341, wrong=380071, backtracks=196429, failedAssignments=190022, nogoods=1220, foundSolutions=27, bestBound=13
163.75/157.46	    
178.55/172.21	    num=297, depth=5..11, filters=111494043, ccks=515592, wck=167.63, mem=180M630
178.55/172.21	    decisions=869834, wrong=417313, backtracks=215672, failedAssignments=208643, nogoods=1234, foundSolutions=27, bestBound=13
178.55/172.21	    
193.85/187.57	    num=298, depth=5..11, filters=122111954, ccks=515592, wck=182.991, mem=180M630
193.85/187.57	    decisions=951778, wrong=458281, backtracks=236855, failedAssignments=229127, nogoods=1253, foundSolutions=27, bestBound=13
193.85/187.57	    
210.75/204.40	    num=299, depth=5..11, filters=133853781, ccks=515592, wck=199.828, mem=184M946
210.75/204.40	    decisions=1041915, wrong=503345, backtracks=260152, failedAssignments=251659, nogoods=1265, foundSolutions=27, bestBound=13
210.75/204.40	    
231.36/225.06	    num=300, depth=5..11, filters=148087268, ccks=515592, wck=220.481, mem=184M946
231.36/225.06	    decisions=1141065, wrong=552915, backtracks=285809, failedAssignments=276444, nogoods=1276, foundSolutions=27, bestBound=13
231.36/225.06	    
251.47/245.13	    num=301, depth=5..11, filters=161986593, ccks=515592, wck=240.559, mem=189M261
251.47/245.13	    decisions=1250130, wrong=607443, backtracks=314074, failedAssignments=303708, nogoods=1293, foundSolutions=27, bestBound=13
251.47/245.13	    
274.26/267.97	    num=302, depth=5..11, filters=177659834, ccks=515592, wck=263.398, mem=193M577
274.26/267.97	    decisions=1370099, wrong=667423, backtracks=345158, failedAssignments=333698, nogoods=1309, foundSolutions=27, bestBound=13
274.26/267.97	    
302.06/295.79	    num=303, depth=4..11, filters=196976742, ccks=515592, wck=291.216, mem=197M893
302.06/295.79	    decisions=1502064, wrong=733401, backtracks=379460, failedAssignments=366687, nogoods=1320, foundSolutions=27, bestBound=13
302.06/295.79	    
328.26/322.00	    num=304, depth=4..11, filters=215362184, ccks=515592, wck=317.421, mem=202M208
328.26/322.00	    decisions=1647225, wrong=805977, backtracks=417067, failedAssignments=402975, nogoods=1339, foundSolutions=27, bestBound=13
328.26/322.00	    
359.38/353.10	    num=305, depth=4..11, filters=237142329, ccks=515592, wck=348.527, mem=206M524
359.38/353.10	    decisions=1806902, wrong=885811, backtracks=458456, failedAssignments=442892, nogoods=1349, foundSolutions=27, bestBound=13
359.38/353.10	    
394.57/388.28	    num=306, depth=4..11, filters=261426683, ccks=515592, wck=383.705, mem=210M840
394.57/388.28	    decisions=1982547, wrong=973629, backtracks=504091, failedAssignments=486801, nogoods=1360, foundSolutions=27, bestBound=13
394.57/388.28	    
431.19/424.85	    num=307, depth=4..11, filters=286509499, ccks=515592, wck=420.28, mem=215M155
431.19/424.85	    decisions=2175756, wrong=1070229, backtracks=554168, failedAssignments=535101, nogoods=1376, foundSolutions=27, bestBound=13
431.19/424.85	    
473.79/467.48	    num=308, depth=4..11, filters=315767593, ccks=515592, wck=462.905, mem=223M787
473.79/467.48	    decisions=2388283, wrong=1176489, backtracks=609313, failedAssignments=588231, nogoods=1393, foundSolutions=27, bestBound=13
473.79/467.48	    
520.31/513.92	    num=309, depth=4..11, filters=348764885, ccks=515592, wck=509.344, mem=228M102
520.31/513.92	    decisions=2622065, wrong=1293375, backtracks=670102, failedAssignments=646674, nogoods=1399, foundSolutions=27, bestBound=13
520.31/513.92	    
569.23/562.83	    num=310, depth=4..11, filters=382986286, ccks=515592, wck=558.259, mem=236M733
569.23/562.83	    decisions=2879222, wrong=1421949, backtracks=736993, failedAssignments=710961, nogoods=1410, foundSolutions=27, bestBound=13
569.23/562.83	    
624.85/618.49	    num=311, depth=4..11, filters=421671413, ccks=515592, wck=613.919, mem=245M365
624.85/618.49	    decisions=3162094, wrong=1563381, backtracks=810537, failedAssignments=781677, nogoods=1431, foundSolutions=27, bestBound=13
624.85/618.49	    
685.38/678.92	    num=312, depth=4..11, filters=463994376, ccks=515592, wck=674.344, mem=253M996
685.38/678.92	    decisions=3473250, wrong=1718955, backtracks=891436, failedAssignments=859464, nogoods=1447, foundSolutions=27, bestBound=13
685.38/678.92	    
750.36/743.80	    num=313, depth=4..11, filters=510512232, ccks=515592, wck=739.224, mem=51M682
750.36/743.80	    decisions=3815524, wrong=1890087, backtracks=980462, failedAssignments=945030, nogoods=1458, foundSolutions=27, bestBound=13
750.36/743.80	    
824.87/818.40	    num=314, depth=4..11, filters=564223586, ccks=515592, wck=813.821, mem=60M317
824.87/818.40	    decisions=4192024, wrong=2078333, backtracks=1078385, failedAssignments=1039153, nogoods=1473, foundSolutions=27, bestBound=13
824.87/818.40	    
907.48/900.93	    num=315, depth=4..11, filters=622737112, ccks=515592, wck=896.355, mem=73M270
907.48/900.93	    decisions=4606173, wrong=2285403, backtracks=1186075, failedAssignments=1142688, nogoods=1494, foundSolutions=27, bestBound=13
907.48/900.93	    
990.22/983.63	    num=316, depth=4..11, filters=682633583, ccks=515592, wck=979.055, mem=86M223
990.22/983.63	    decisions=5061736, wrong=2513181, backtracks=1304552, failedAssignments=1256577, nogoods=1506, foundSolutions=27, bestBound=13
990.22/983.63	    
1083.05/1076.42	    num=317, depth=4..11, filters=752149013, ccks=515592, wck=1071.844, mem=99M175
1083.05/1076.42	    decisions=5562857, wrong=2763737, backtracks=1434707, failedAssignments=1381855, nogoods=1523, foundSolutions=27, bestBound=13
1083.05/1076.42	    
1190.91/1184.27	    num=318, depth=4..11, filters=829511085, ccks=515592, wck=1179.696, mem=116M445
1190.91/1184.27	    decisions=6114090, wrong=3039349, backtracks=1577777, failedAssignments=1519661, nogoods=1543, foundSolutions=27, bestBound=13
1190.91/1184.27	    
1302.25/1295.52	    num=319, depth=4..11, filters=910311597, ccks=515592, wck=1290.944, mem=133M715
1302.25/1295.52	    decisions=6720441, wrong=3342521, backtracks=1735435, failedAssignments=1671247, nogoods=1568, foundSolutions=27, bestBound=13
1302.25/1295.52	    
1425.60/1418.85	    num=320, depth=4..11, filters=1001701584, ccks=515592, wck=1414.28, mem=150M985
1425.60/1418.85	    decisions=7387430, wrong=3676011, backtracks=1908847, failedAssignments=1837992, nogoods=1588, foundSolutions=27, bestBound=13
1425.60/1418.85	    
1568.86/1562.07	    num=321, depth=4..11, filters=1104270931, ccks=515592, wck=1557.495, mem=172M573
1568.86/1562.07	    decisions=8121115, wrong=4042849, backtracks=2099576, failedAssignments=2021411, nogoods=1608, foundSolutions=27, bestBound=13
1568.86/1562.07	    
1720.94/1714.03	    num=322, depth=4..11, filters=1212862827, ccks=515592, wck=1709.453, mem=194M160
1720.94/1714.03	    decisions=8928168, wrong=4446371, backtracks=2309745, failedAssignments=2223172, nogoods=1630, foundSolutions=27, bestBound=13
1720.94/1714.03	    
1881.11/1874.19	    num=323, depth=4..11, filters=1332409534, ccks=515592, wck=1869.615, mem=220M65
1881.11/1874.19	    decisions=9815927, wrong=4890247, backtracks=2540911, failedAssignments=2445110, nogoods=1652, foundSolutions=27, bestBound=13
1881.11/1874.19	    
2073.79/2066.76	    num=324, depth=4..11, filters=1472566546, ccks=515592, wck=2062.182, mem=245M970
2073.79/2066.76	    decisions=10792459, wrong=5378509, backtracks=2794856, failedAssignments=2689241, nogoods=1680, foundSolutions=27, bestBound=13
2073.79/2066.76	    
2276.44/2269.27	    num=325, depth=3..11, filters=1621731764, ccks=515592, wck=2264.699, mem=57M308
2276.44/2269.27	    decisions=11866649, wrong=5915599, backtracks=3074837, failedAssignments=2957786, nogoods=1702, foundSolutions=27, bestBound=13
2276.44/2269.27	    
2496.68/2489.34	    num=326, depth=3..11, filters=1788175486, ccks=515592, wck=2484.763, mem=92M973
2496.68/2489.34	    decisions=13048254, wrong=6506397, backtracks=3382885, failedAssignments=3253185, nogoods=1719, foundSolutions=27, bestBound=13
2496.68/2489.34	    
2520.09/2512.70	
2520.09/2512.70	v <instantiation id='sol27' type='solution' cost='13'>  <list> x[] </list>  <values> 10 0 9 3 6 13 0 10 2 7 1 12 2 5 10 4 2 9 7 4 2 8 0 3 6 10 8 9 5 10 2 4 0 12 9 7 3 4 2 0 6 1 12 6 6 0 5 10 6 9 5 10 4 2 1 11 8 7 1 8 3 4 2 0 11 13 12 5 10 12 5 0 11 13 7 1 8 3 4 7 1 8 3 4 7 1 12 5 0 11 13 12 5 0 11 13 3 4 11 2 7 1 8 0 10 9 6 1 8 11 13 0 7 3 12 3 12 3 12 9 7 1 3 13 11 12 10 6 2 5 4 5 4 5 4 1 0 0 5 5 2 5 6 0 11 9 7 2 1 12 4 13 1 4 2 2 12 5 10 11 6 4 1 8 12 7 9 10 3 4 2 5 10 6 0 4 9 0 11 3 1 12 13 11 0 10 5 1 5 12 0 2 0 1 13 9 10 9 9 6 0 6 4 7 1 0 11 5 10 6 0 1 8 10 11 4 3 1 8 3 13 12 5 3 4 8 11 7 10 13 7 0 8 13 10 0 10 2 10 2 0 1 2 9 7 8 12 5 10 13 3 4 2 6 11 9 1 8 6 11 13 5 10 4 2 9 12 8 5 10 12 6 11 13 3 4 3 6 11 13 3 4 2 1 0 9 1 8 12 5 7 5 4 9 8 1 10 6 11 3 2 9 7 10 13 2 8 5 1 6 0 11 1 2 1 1 11 12 10 6 0 1 9 7 3 13 9 3 13 12 9 6 0 11 6 0 11 4 9 3 7 1 8 7 1 8 9 7 1 6 13 0 7 3 8 12 5 0 11 13 3 4 2 9 7 1 12 5 10 6 0 11 3 4 2 8 8 10 2 12 5 3 4 13 13 </values>  </instantiation>
2520.09/2512.70	s SATISFIABLE

OK	13

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (13555 MiB free)
  memory of node 1: 16384 MiB (13550 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391006-1568380516/watcher-4391006-1568380516 -o /tmp/evaluation-result-4391006-1568380516/solver-4391006-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-835 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391006-1568380516.xml -cm 

running on 4 cores: 0-3

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

solver pid=865, runsolver pid=858

[startup+0.100154 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 868
/proc/meminfo: memFree=27754624/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=111596 memory=5604 CPUtime=0 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 414058015 114274304 1401 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 27899 1401 1062 1 0 16810 0
[pid=865/tid=868] ppid=858 vsize=111596 memory=8389772277269004345 CPUtime=0 cores=0-3
/proc/865/task/868/stat : 868 (java) D 858 865 804 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 414058022 114274304 1401 33554432000 4194304 4196468 140736261317248 140500488929512 140500477367669 0 4 0 16784584 18446744072101752356 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.210763 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 882
/proc/meminfo: memFree=27733888/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10260324 memory=21232 CPUtime=0.04 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 4191 0 0 0 4 0 0 0 20 0 9 0 414058015 10506571776 5308 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2565081 5308 2189 1 0 2527622 0
[pid=865/tid=868] ppid=858 vsize=10260324 memory=8389772277269004345 CPUtime=0.04 cores=0-3
/proc/865/task/868/stat : 868 (java) D 858 865 804 0 -1 1077944384 2841 0 0 0 4 0 0 0 20 0 9 0 414058022 10506571776 5308 33554432000 4194304 4196468 140736261317248 140500488924696 140500477367669 0 4 0 16800971 18446744072101752356 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10260324 memory=288292155783643159 CPUtime=0 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414058029 10506571776 5308 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10260324 memory=140205346914150 CPUtime=0 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414058029 10506571776 5308 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10260324 memory=0 CPUtime=0 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414058029 10506571776 5308 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10260324 memory=-1 CPUtime=0 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414058029 10506571776 5308 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10260324 memory=0 CPUtime=0 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414058031 10506571776 5308 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10260324 memory=-1 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414058032 10506571776 5308 33554432000 4194304 4196468 140736261317248 140499519263904 140500484699861 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10260324 memory=140205346887296 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414058032 10506571776 5308 33554432000 4194304 4196468 140736261317248 140499518210800 140500484699861 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 21232 KiB

[startup+0.311024 s]*
/proc/loadavg: 0.00 0.01 0.05 2/225 893
/proc/meminfo: memFree=27732464/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10593144 memory=23352 CPUtime=0.05 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 4796 0 0 0 5 0 0 0 20 0 14 0 414058015 10847379456 5838 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2648286 5838 2609 1 0 2610827 0
[pid=865/tid=868] ppid=858 vsize=10593144 memory=1398722017469774279 CPUtime=0.04 cores=0-3
/proc/865/task/868/stat : 868 (java) D 858 865 804 0 -1 1077944384 2920 0 0 0 4 0 0 0 20 0 14 0 414058022 10847379456 5838 33554432000 4194304 4196468 140736261317248 140500488927136 140500484711677 0 4 0 16800975 18446744072101752356 0 0 -1 0 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10593144 memory=4126316290023845779 CPUtime=0 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414058029 10847379456 5838 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414058029 10847379456 5838 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414058029 10847379456 5838 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414058029 10847379456 5838 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414058031 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 414058032 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499519263904 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 414058032 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499518210800 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414058043 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10593144 memory=140205248234016 CPUtime=0 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 14 0 414058043 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10593144 memory=-1 CPUtime=0 cores=0-3
/proc/865/task/890/stat : 890 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414058043 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499515054960 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10593144 memory=-1 CPUtime=0 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 414058043 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10593144 memory=0 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414058043 10847379456 5838 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10593144 KiB
Current children cumulated memory: 23352 KiB

[startup+0.705279 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 896
/proc/meminfo: memFree=27710492/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10659884 memory=48936 CPUtime=0.73 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 11282 0 0 0 70 3 0 0 20 0 15 0 414058015 10915721216 11722 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2664971 11722 3058 1 0 2627468 0
[pid=865/tid=868] ppid=858 vsize=10659884 memory=-1 CPUtime=0.43 cores=0-3
/proc/865/task/868/stat : 868 (java) R 858 865 804 0 -1 4202560 7262 0 0 0 40 3 0 0 20 0 15 0 414058022 10915721216 12234 33554432000 4194304 4196468 140736261317248 140500488912264 140500075732500 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058029 10915721216 12234 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058029 10915721216 12234 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10659884 memory=-6520471753822164382 CPUtime=0 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058029 10915721216 12234 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10659884 memory=8514701219730522529 CPUtime=0 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414058029 10915721216 12234 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10659884 memory=-8341965534556230502 CPUtime=0 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414058031 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10659884 memory=280410496329952 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414058032 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499519263904 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414058032 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499518210800 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414058043 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10659884 memory=14008 CPUtime=0.07 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 921 0 0 0 7 0 0 0 20 0 15 0 414058043 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10659884 memory=4104 CPUtime=0.09 cores=0-3
/proc/865/task/890/stat : 890 (java) R 858 865 804 0 -1 4202560 750 0 0 0 9 0 0 0 20 0 15 0 414058043 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499515040984 140500468157612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10659884 memory=1808 CPUtime=0.13 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 991 0 0 0 13 0 0 0 20 0 15 0 414058043 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10659884 memory=924 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414058043 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=896] ppid=858 vsize=10659884 memory=3804 CPUtime=0 cores=0-3
/proc/865/task/896/stat : 896 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058048 10915721216 12234 33554432000 4194304 4196468 140736261317248 140499511896624 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 48936 KiB

[startup+1.50076 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 896
/proc/meminfo: memFree=27659036/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10663980 memory=69276 CPUtime=1.71 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 15185 0 0 0 166 5 0 0 20 0 15 0 414058015 10919915520 17319 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2665995 17319 3082 1 0 2628492 0
[pid=865/tid=868] ppid=858 vsize=10663980 memory=776 CPUtime=1.22 cores=0-3
/proc/865/task/868/stat : 868 (java) R 858 865 804 0 -1 4202560 10738 0 0 0 117 5 0 0 20 0 15 0 414058022 10919915520 17319 33554432000 4194304 4196468 140736261317248 140500488915536 140500462692874 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10663980 memory=660 CPUtime=0 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058029 10919915520 17319 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10663980 memory=1556 CPUtime=0 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058029 10919915520 17319 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10663980 memory=9588 CPUtime=0 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414058029 10919915520 17319 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10663980 memory=1712 CPUtime=0 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414058029 10919915520 17319 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10663980 memory=5972 CPUtime=0 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414058031 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10663980 memory=4164 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414058032 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499519263904 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10663980 memory=1056 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414058032 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499518210800 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10663980 memory=2828 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414058043 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10663980 memory=1176 CPUtime=0.12 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 1144 0 0 0 12 0 0 0 20 0 15 0 414058043 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10663980 memory=980 CPUtime=0.14 cores=0-3
/proc/865/task/890/stat : 890 (java) S 858 865 804 0 -1 1077944384 778 0 0 0 14 0 0 0 20 0 15 0 414058043 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499515054960 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10663980 memory=14008 CPUtime=0.21 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 1162 0 0 0 21 0 0 0 20 0 15 0 414058043 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10663980 memory=4104 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414058043 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=896] ppid=858 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/865/task/896/stat : 896 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414058048 10919915520 17319 33554432000 4194304 4196468 140736261317248 140499511896624 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 69276 KiB

[startup+3.1114 s]
/proc/loadavg: 0.40 0.10 0.07 10/230 902
/proc/meminfo: memFree=27418008/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10744136 memory=211264 CPUtime=5 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 25751 0 0 0 489 11 0 0 20 0 16 0 414058015 11001995264 52816 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2686034 52816 3318 1 0 2646705 0
[pid=865/tid=868] ppid=858 vsize=10744136 memory=280410496554624 CPUtime=2.1 cores=0-3
/proc/865/task/868/stat : 868 (java) S 858 865 804 0 -1 1077944384 14931 0 0 0 204 6 0 0 20 0 16 0 414058022 11001995264 52816 33554432000 4194304 4196468 140736261317248 140500488932528 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10744136 memory=143889994352353 CPUtime=0.01 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414058029 11001995264 52816 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10744136 memory=0 CPUtime=0.01 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414058029 11001995264 52816 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10744136 memory=4420 CPUtime=0.01 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 16 0 414058029 11001995264 52816 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10744136 memory=6628 CPUtime=0.01 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 16 0 414058029 11001995264 52816 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10744136 memory=8836 CPUtime=0.01 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 1322 0 0 0 1 0 0 0 20 0 16 0 414058031 11001995264 52816 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10744136 memory=11044 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414058032 11001995264 52816 33554432000 4194304 4196468 140736261317248 140499519263968 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0

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

/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 231 0 0 0 7 3 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10748324 memory=422484 CPUtime=0.06 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2193 0 0 0 4 2 0 0 20 0 16 0 414058031 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10748324 memory=776 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499519263968 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10748324 memory=3624 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499518210816 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10748324 memory=280410497148720 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10748324 memory=2020 CPUtime=2.75 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 9491 0 0 0 272 3 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10748324 memory=422484 CPUtime=2.81 cores=0-3
/proc/865/task/890/stat : 890 (java) S 858 865 804 0 -1 1077944384 8970 0 0 0 280 1 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499515054960 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10748324 memory=422484 CPUtime=0.99 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 7075 0 0 0 97 2 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=896] ppid=858 vsize=10748324 memory=1724 CPUtime=0.89 cores=0-3
/proc/865/task/896/stat : 896 (java) S 858 865 804 0 -1 1077944384 1227 0 0 0 45 44 0 0 20 0 16 0 414058048 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499511896624 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=902] ppid=858 vsize=10748324 memory=3624 CPUtime=2439.58 cores=0-3
/proc/865/task/902/stat : 902 (java) R 858 865 804 0 -1 4202560 17048 0 0 0 243951 7 0 0 20 0 16 0 414058260 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499495007480 140500082501361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 2449.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 422484 KiB

[startup+2502.3 s]
/proc/loadavg: 1.94 1.96 1.87 3/229 1260
/proc/meminfo: memFree=26419372/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10748324 memory=422484 CPUtime=2509.69 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 64216 0 0 0 250903 66 0 0 20 0 16 0 414058015 11006283776 105621 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2687081 105621 3388 1 0 2647217 0
[pid=865/tid=868] ppid=858 vsize=10748324 memory=422484 CPUtime=2.1 cores=0-3
/proc/865/task/868/stat : 868 (java) S 858 865 804 0 -1 1077944384 14931 0 0 0 204 6 0 0 20 0 16 0 414058022 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500488932528 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10748324 memory=422484 CPUtime=0.09 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 513 0 0 0 7 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10748324 memory=422484 CPUtime=0.08 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 363 0 0 0 6 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10748324 memory=422484 CPUtime=0.09 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 340 0 0 0 7 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10748324 memory=422484 CPUtime=0.1 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 231 0 0 0 7 3 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10748324 memory=422484 CPUtime=0.06 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2200 0 0 0 4 2 0 0 20 0 16 0 414058031 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499519263968 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499518210816 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10748324 memory=422484 CPUtime=2.75 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 9499 0 0 0 272 3 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10748324 memory=422484 CPUtime=2.81 cores=0-3
/proc/865/task/890/stat : 890 (java) S 858 865 804 0 -1 1077944384 8972 0 0 0 280 1 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499515054960 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10748324 memory=3624 CPUtime=0.99 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 7077 0 0 0 97 2 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=896] ppid=858 vsize=10748324 memory=422484 CPUtime=0.92 cores=0-3
/proc/865/task/896/stat : 896 (java) S 858 865 804 0 -1 1077944384 1260 0 0 0 46 46 0 0 20 0 16 0 414058048 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499511896624 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=902] ppid=858 vsize=10748324 memory=422484 CPUtime=2499.58 cores=0-3
/proc/865/task/902/stat : 902 (java) R 858 865 804 0 -1 4202560 17401 0 0 0 249951 7 0 0 20 0 16 0 414058260 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499495001872 140500082501585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 2509.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 422484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.7 s]
/proc/loadavg: 1.95 1.96 1.87 3/229 1260
/proc/meminfo: memFree=26419372/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10748324 memory=422484 CPUtime=2520.09 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 64218 0 0 0 251943 66 0 0 20 0 16 0 414058015 11006283776 105621 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2687081 105621 3388 1 0 2647217 0
[pid=865/tid=868] ppid=858 vsize=10748324 memory=385 CPUtime=2.1 cores=0-3
/proc/865/task/868/stat : 868 (java) S 858 865 804 0 -1 1077944384 14931 0 0 0 204 6 0 0 20 0 16 0 414058022 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500488932528 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10748324 memory=422484 CPUtime=0.09 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 513 0 0 0 7 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10748324 memory=422484 CPUtime=0.08 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 363 0 0 0 6 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10748324 memory=422484 CPUtime=0.09 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 340 0 0 0 7 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10748324 memory=422484 CPUtime=0.1 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 231 0 0 0 7 3 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10748324 memory=422484 CPUtime=0.06 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2200 0 0 0 4 2 0 0 20 0 16 0 414058031 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499519263968 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499518210816 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10748324 memory=164 CPUtime=2.75 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 9499 0 0 0 272 3 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10748324 memory=422484 CPUtime=2.81 cores=0-3
/proc/865/task/890/stat : 890 (java) S 858 865 804 0 -1 1077944384 8972 0 0 0 280 1 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499515054960 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10748324 memory=280410497046608 CPUtime=0.99 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 7077 0 0 0 97 2 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10748324 memory=3624 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=896] ppid=858 vsize=10748324 memory=46424 CPUtime=0.92 cores=0-3
/proc/865/task/896/stat : 896 (java) S 858 865 804 0 -1 1077944384 1262 0 0 0 46 46 0 0 20 0 16 0 414058048 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499511896624 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=902] ppid=858 vsize=10748324 memory=422484 CPUtime=2509.98 cores=0-3
/proc/865/task/902/stat : 902 (java) R 858 865 804 0 -1 4202560 17401 0 0 0 250991 7 0 0 20 0 16 0 414058260 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499495001872 140500082385162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 422484 KiB

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

[startup+2512.71 s]
# the end of solver process 865 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.44 s, system=0.670085 s

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

[startup+2512.7 s]
/proc/loadavg: 1.95 1.96 1.87 3/229 1260
/proc/meminfo: memFree=26419372/32770688 swapFree=66919992/67108860
[pid=865] ppid=858 vsize=10748324 memory=422484 CPUtime=2520.09 cores=0-3
/proc/865/stat : 865 (java) S 858 865 804 0 -1 1077944320 64218 0 0 0 251943 66 0 0 20 0 16 0 414058015 11006283776 105621 33554432000 4194304 4196468 140736261317248 140736261299792 140500484689655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
/proc/865/statm: 2687081 105621 3388 1 0 2647217 0
[pid=865/tid=868] ppid=858 vsize=10748324 memory=385 CPUtime=2.1 cores=0-3
/proc/865/task/868/stat : 868 (java) S 858 865 804 0 -1 1077944384 14931 0 0 0 204 6 0 0 20 0 16 0 414058022 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500488932528 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=873] ppid=858 vsize=10748324 memory=422484 CPUtime=0.09 cores=0-3
/proc/865/task/873/stat : 873 (java) S 858 865 804 0 -1 1077944384 513 0 0 0 7 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500410764304 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=874] ppid=858 vsize=10748324 memory=422484 CPUtime=0.08 cores=0-3
/proc/865/task/874/stat : 874 (java) S 858 865 804 0 -1 1077944384 363 0 0 0 6 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500409711760 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=875] ppid=858 vsize=10748324 memory=422484 CPUtime=0.09 cores=0-3
/proc/865/task/875/stat : 875 (java) S 858 865 804 0 -1 1077944384 340 0 0 0 7 2 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500408658704 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=876] ppid=858 vsize=10748324 memory=422484 CPUtime=0.1 cores=0-3
/proc/865/task/876/stat : 876 (java) S 858 865 804 0 -1 1077944384 231 0 0 0 7 3 0 0 20 0 16 0 414058029 11006283776 105621 33554432000 4194304 4196468 140736261317248 140500407606160 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=878] ppid=858 vsize=10748324 memory=422484 CPUtime=0.06 cores=0-3
/proc/865/task/878/stat : 878 (java) S 858 865 804 0 -1 1077944384 2200 0 0 0 4 2 0 0 20 0 16 0 414058031 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499520317680 140500484700802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=880] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/880/stat : 880 (java) S 858 865 804 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499519263968 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=882] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/882/stat : 882 (java) S 858 865 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414058032 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499518210816 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=888] ppid=858 vsize=10748324 memory=422484 CPUtime=0 cores=0-3
/proc/865/task/888/stat : 888 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499517159376 140500484708251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=889] ppid=858 vsize=10748324 memory=164 CPUtime=2.75 cores=0-3
/proc/865/task/889/stat : 889 (java) S 858 865 804 0 -1 1077944384 9499 0 0 0 272 3 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499516107504 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=890] ppid=858 vsize=10748324 memory=422484 CPUtime=2.81 cores=0-3
/proc/865/task/890/stat : 890 (java) S 858 865 804 0 -1 1077944384 8972 0 0 0 280 1 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499515054960 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=892] ppid=858 vsize=10748324 memory=280410497046608 CPUtime=0.99 cores=0-3
/proc/865/task/892/stat : 892 (java) S 858 865 804 0 -1 1077944384 7077 0 0 0 97 2 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499514001904 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=893] ppid=858 vsize=10748324 memory=3624 CPUtime=0 cores=0-3
/proc/865/task/893/stat : 893 (java) S 858 865 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414058043 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499512949600 140500484699861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=896] ppid=858 vsize=10748324 memory=46424 CPUtime=0.92 cores=0-3
/proc/865/task/896/stat : 896 (java) S 858 865 804 0 -1 1077944384 1262 0 0 0 46 46 0 0 20 0 16 0 414058048 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499511896624 140500484700802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
[pid=865/tid=902] ppid=858 vsize=10748324 memory=422484 CPUtime=2509.98 cores=0-3
/proc/865/task/902/stat : 902 (java) R 858 865 804 0 -1 4202560 17401 0 0 0 250991 7 0 0 20 0 16 0 414058260 11006283776 105621 33554432000 4194304 4196468 140736261317248 140499495001872 140500082385162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14942208 140736261325835 140736261325938 140736261325938 140736261328847 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 422484 KiB

Child status: 143
Real time (s): 2512.71
CPU time (s): 2520.11
CPU user time (s): 2519.44
CPU system time (s): 0.670085
CPU usage (%): 100.295
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 422484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.44
system time used= 0.670085
maximum resident set size= 422916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57977
involuntary context switches= 3097


# summary of solver processes directly reported to runsolver:
#   pid: 865
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.44
#   total CPU system time (s): 0.670085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.554 second user time and 22.158 second system time

The end

Begin job on node120 at 2011-12-14 21:35:39
IDJOB=4391006
IDBENCH=120595
IDSOLVER=2832
FILE ID=node120/4391006-1568380516
RUNJOBID= node120-1323894939-835
PBS_JOBID= 21701843
Free space on /tmp= 59152 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-school1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391006-1568380516/watcher-4391006-1568380516 -o /tmp/evaluation-result-4391006-1568380516/solver-4391006-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-835 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391006-1568380516.xml -cm

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

MD5SUM BENCH= 9dec5151d217f705456bb861c341cf0d
RANDOM SEED=1983991887

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        27757076 kB
MemAvailable:   31818588 kB
Buffers:          168900 kB
Cached:          4186656 kB
SwapCached:        77548 kB
Active:          1272416 kB
Inactive:        3162944 kB
Active(anon):       3268 kB
Inactive(anon):   126960 kB
Active(file):    1269148 kB
Inactive(file):  3035984 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             17900 kB
Writeback:             0 kB
AnonPages:        112820 kB
Mapped:            47692 kB
Shmem:             41008 kB
Slab:             172848 kB
SReclaimable:     144428 kB
SUnreclaim:        28420 kB
KernelStack:        3408 kB
PageTables:         5496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     519376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59136 MiB
End job on node120 at 2011-12-14 22:17:32