2.40/1.87	
2.40/1.87	AbsCon 2 
2.40/1.89	
3.64/2.22	  Instance
3.64/2.22	    name=instance-4391348-1568391701, framework=COP, bounds=-infty..+infty
3.64/2.22	
3.64/2.22	  Loading variables...
4.02/2.31	  Loading constraints...
7.26/3.30	
7.26/3.30	  Domains
7.26/3.30	    nTypes=7, nValues=25628, sizes=[6#48,22#36,24#18,36#122,42#170,44#286]
7.26/3.31	  Variables
7.26/3.31	    count=680, degrees=[2#3,3#1,4#6,5#10...20#32,21#12,22#7,23#1]
7.26/3.31	  Objectives
7.26/3.31	    way=min, type=NValuesLE
7.26/3.31	  Constraints
7.26/3.31	    count=3758, nSpecific=1, arities=[2#3757,680#1]
7.26/3.31	    distribution=[CtrIntension#3757,NValuesLE#1]
7.26/3.31	    nIntStructures=(1220,shared:2537), nCftStructures=(1220,shared:2537,unbuilt:1)
7.26/3.31	    wck=1.462, cpu=3.258, mem=130M699
7.26/3.31	  Solver SolverBacktrack being built...
7.26/3.31	
7.26/3.34	
7.26/3.34	  Solver
7.26/3.34	    guaranteedGAC=false
7.26/3.34	    wck=1.503, cpu=3.297, mem=141M288
7.26/3.36	
7.26/3.36	  Preprocessing
7.26/3.36	    filters=0, ccks=1363448, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
7.26/3.36	    wck=0.013, cpu=3.312, mem=141M288
7.26/3.36	
7.92/3.52	o 48
7.92/3.53	    num=0, depth=259..679, filters=3611, revisions=(8641,useless=4711), ccks=1766840, wck=0.189, mem=150M126
7.92/3.53	    decisions=336, wrong=3, backtracks=0, failedAssignments=3, nogoods=3, foundSolutions=1, bestBound=48
7.92/3.53	    
8.26/3.63	o 46
8.26/3.63	    num=1, depth=295..679, filters=7230, revisions=(17178,useless=9322), ccks=1896132, wck=0.292, mem=36M913
8.26/3.63	    decisions=673, wrong=6, backtracks=0, failedAssignments=6, nogoods=6, foundSolutions=2, bestBound=46
8.26/3.63	    
8.54/3.71	o 44
8.54/3.71	    num=2, depth=281..679, filters=11201, revisions=(25458,useless=13338), ccks=2142781, wck=0.362, mem=48M204
8.54/3.71	    decisions=1017, wrong=8, backtracks=0, failedAssignments=8, nogoods=8, foundSolutions=3, bestBound=44
8.54/3.71	    
8.54/3.76	    num=3, depth=117..323, filters=15230, revisions=(32812,useless=16388), ccks=2344884, wck=0.412, mem=53M420
8.54/3.76	    decisions=1362, wrong=19, backtracks=0, failedAssignments=19, nogoods=19, foundSolutions=3, bestBound=44
8.54/3.76	    
8.80/3.81	o 42
8.80/3.82	    num=4, depth=105..679, filters=19265, revisions=(41299,useless=20566), ccks=2569130, wck=0.473, mem=61M245
8.80/3.82	    decisions=1722, wrong=29, backtracks=0, failedAssignments=29, nogoods=29, foundSolutions=4, bestBound=42
8.80/3.82	    
8.80/3.88	o 40
8.80/3.88	    num=5, depth=99..679, filters=23287, revisions=(49628,useless=24614), ccks=2770031, wck=0.541, mem=69M69
8.80/3.88	    decisions=2080, wrong=38, backtracks=0, failedAssignments=38, nogoods=38, foundSolutions=5, bestBound=40
8.80/3.88	    
8.99/3.91	    num=6, depth=69..103, filters=25359, revisions=(53090,useless=25845), ccks=2876805, wck=0.565, mem=71M677
8.99/3.91	    decisions=2205, wrong=49, backtracks=0, failedAssignments=49, nogoods=49, foundSolutions=5, bestBound=40
8.99/3.91	    
8.99/3.93	    num=7, depth=69..101, filters=27449, revisions=(56547,useless=27059), ccks=2964627, wck=0.584, mem=71M677
8.99/3.93	    decisions=2328, wrong=60, backtracks=0, failedAssignments=60, nogoods=60, foundSolutions=5, bestBound=40
8.99/3.93	    
8.99/3.96	    num=8, depth=81..160, filters=30322, revisions=(61565,useless=29005), ccks=3111332, wck=0.613, mem=74M285
8.99/3.96	    decisions=2512, wrong=72, backtracks=0, failedAssignments=72, nogoods=72, foundSolutions=5, bestBound=40
8.99/3.96	    
8.99/3.98	    num=9, depth=68..133, filters=32894, revisions=(65926,useless=30601), ccks=3242901, wck=0.64, mem=76M893
8.99/3.98	    decisions=2671, wrong=85, backtracks=0, failedAssignments=85, nogoods=85, foundSolutions=5, bestBound=40
8.99/3.98	    
9.10/4.04	o 38
9.10/4.05	    num=10, depth=90..679, filters=36977, revisions=(74322,useless=34663), ccks=3457950, wck=0.702, mem=84M717
9.10/4.05	    decisions=3031, wrong=95, backtracks=0, failedAssignments=95, nogoods=95, foundSolutions=6, bestBound=38
9.10/4.05	    
9.10/4.10	o 36
9.10/4.11	    num=11, depth=61..679, filters=41092, revisions=(82881,useless=38845), ccks=3670408, wck=0.763, mem=92M541
9.10/4.11	    decisions=3396, wrong=108, backtracks=0, failedAssignments=108, nogoods=108, foundSolutions=7, bestBound=36
9.10/4.11	    
9.21/4.13	    num=12, depth=73..111, filters=43352, revisions=(86648,useless=40190), ccks=3781858, wck=0.785, mem=95M149
9.21/4.13	    decisions=3529, wrong=119, backtracks=0, failedAssignments=119, nogoods=119, foundSolutions=7, bestBound=36
9.21/4.13	    
9.21/4.15	    num=13, depth=58..110, filters=45587, revisions=(90412,useless=41558), ccks=3883590, wck=0.803, mem=95M149
9.21/4.15	    decisions=3661, wrong=130, backtracks=0, failedAssignments=130, nogoods=130, foundSolutions=7, bestBound=36
9.21/4.15	    
9.21/4.17	    num=14, depth=58..122, filters=47995, revisions=(94465,useless=43021), ccks=4006870, wck=0.823, mem=97M758
9.21/4.17	    decisions=3807, wrong=142, backtracks=0, failedAssignments=142, nogoods=142, foundSolutions=7, bestBound=36
9.21/4.17	    
9.21/4.19	    num=15, depth=72..136, filters=50613, revisions=(98993,useless=44748), ccks=4140483, wck=0.845, mem=97M758
9.21/4.19	    decisions=3969, wrong=155, backtracks=0, failedAssignments=155, nogoods=155, foundSolutions=7, bestBound=36
9.21/4.19	    
9.35/4.21	    num=16, depth=59..128, filters=53095, revisions=(103289,useless=46386), ccks=4265950, wck=0.866, mem=100M366
9.35/4.21	    decisions=4127, wrong=170, backtracks=1, failedAssignments=169, nogoods=167, foundSolutions=7, bestBound=36
9.35/4.21	    
9.35/4.24	    num=17, depth=72..183, filters=56255, revisions=(108848,useless=48583), ccks=4424038, wck=0.893, mem=102M974
9.35/4.24	    decisions=4342, wrong=186, backtracks=1, failedAssignments=185, nogoods=183, foundSolutions=7, bestBound=36
9.35/4.24	    
9.35/4.26	    num=18, depth=59..126, filters=58764, revisions=(113130,useless=50179), ccks=4549933, wck=0.914, mem=105M582
9.35/4.26	    decisions=4504, wrong=204, backtracks=2, failedAssignments=202, nogoods=198, foundSolutions=7, bestBound=36
9.35/4.26	    
9.35/4.28	    num=19, depth=65..118, filters=61195, revisions=(117270,useless=51723), ccks=4667009, wck=0.933, mem=105M582
9.35/4.28	    decisions=4660, wrong=223, backtracks=2, failedAssignments=221, nogoods=217, foundSolutions=7, bestBound=36
9.35/4.28	    
9.46/4.30	    num=20, depth=59..155, filters=64127, revisions=(122421,useless=53750), ccks=4812682, wck=0.958, mem=108M190
9.46/4.30	    decisions=4859, wrong=245, backtracks=3, failedAssignments=242, nogoods=236, foundSolutions=7, bestBound=36
9.46/4.30	    
9.46/4.33	    num=21, depth=72..224, filters=67685, revisions=(128675,useless=56221), ccks=4993088, wck=0.991, mem=110M798
9.46/4.33	    decisions=5129, wrong=268, backtracks=3, failedAssignments=265, nogoods=259, foundSolutions=7, bestBound=36
9.46/4.33	    
9.46/4.36	    num=22, depth=59..157, filters=70603, revisions=(133946,useless=58394), ccks=5139109, wck=1.017, mem=113M406
9.46/4.36	    decisions=5340, wrong=295, backtracks=5, failedAssignments=290, nogoods=278, foundSolutions=7, bestBound=36
9.46/4.36	    
9.64/4.40	    num=23, depth=71..272, filters=74640, revisions=(141137,useless=61312), ccks=5341854, wck=1.055, mem=118M622
9.64/4.40	    decisions=5668, wrong=323, backtracks=5, failedAssignments=318, nogoods=306, foundSolutions=7, bestBound=36
9.64/4.40	    
9.64/4.42	    num=24, depth=59..138, filters=77431, revisions=(145899,useless=63107), ccks=5478871, wck=1.078, mem=121M230
9.64/4.42	    decisions=5868, wrong=354, backtracks=5, failedAssignments=349, nogoods=337, foundSolutions=7, bestBound=36
9.64/4.42	    
9.64/4.46	    num=25, depth=72..263, filters=81403, revisions=(153095,useless=66102), ccks=5677471, wck=1.116, mem=123M838
9.64/4.46	    decisions=6199, wrong=388, backtracks=5, failedAssignments=383, nogoods=371, foundSolutions=7, bestBound=36
9.64/4.46	    
9.64/4.48	    num=26, depth=59..137, filters=84189, revisions=(158292,useless=68348), ccks=5814482, wck=1.14, mem=126M446
9.64/4.48	    decisions=6422, wrong=432, backtracks=12, failedAssignments=420, nogoods=386, foundSolutions=7, bestBound=36
9.64/4.48	    
9.79/4.54	o 34
9.79/4.54	    num=27, depth=73..679, filters=88525, revisions=(167154,useless=72641), ccks=6034391, wck=1.195, mem=134M270
9.79/4.54	    decisions=6842, wrong=472, backtracks=12, failedAssignments=460, nogoods=426, foundSolutions=8, bestBound=34
9.79/4.54	    
9.79/4.57	    num=28, depth=58..125, filters=91277, revisions=(172327,useless=74899), ccks=6164182, wck=1.222, mem=136M878
9.79/4.57	    decisions=7066, wrong=522, backtracks=17, failedAssignments=505, nogoods=457, foundSolutions=8, bestBound=34
9.79/4.57	    
9.79/4.58	    num=29, depth=60..92, filters=93224, revisions=(175698,useless=76182), ccks=6261508, wck=1.237, mem=136M878
9.79/4.58	    decisions=7179, wrong=533, backtracks=17, failedAssignments=516, nogoods=468, foundSolutions=8, bestBound=34
9.79/4.58	    
9.91/4.60	    num=30, depth=56..128, filters=95732, revisions=(180015,useless=77813), ccks=6373846, wck=1.256, mem=139M486
9.91/4.60	    decisions=7331, wrong=545, backtracks=17, failedAssignments=528, nogoods=480, foundSolutions=8, bestBound=34
9.91/4.60	    
9.91/4.62	    num=31, depth=67..104, filters=97949, revisions=(183747,useless=79174), ccks=6481477, wck=1.272, mem=142M95
9.91/4.62	    decisions=7461, wrong=558, backtracks=17, failedAssignments=541, nogoods=493, foundSolutions=8, bestBound=34
9.91/4.62	    
9.91/4.63	    num=32, depth=59..85, filters=99801, revisions=(186915,useless=80362), ccks=6570965, wck=1.286, mem=142M95
9.91/4.63	    decisions=7574, wrong=572, backtracks=17, failedAssignments=555, nogoods=507, foundSolutions=8, bestBound=34
9.91/4.63	    
9.91/4.65	    num=33, depth=65..123, filters=102354, revisions=(191211,useless=81917), ccks=6694951, wck=1.305, mem=144M703
9.91/4.65	    decisions=7729, wrong=588, backtracks=17, failedAssignments=571, nogoods=523, foundSolutions=8, bestBound=34
9.91/4.65	    
9.91/4.66	    num=34, depth=58..88, filters=104331, revisions=(194590,useless=83188), ccks=6789941, wck=1.319, mem=144M703
9.91/4.66	    decisions=7851, wrong=605, backtracks=17, failedAssignments=588, nogoods=540, foundSolutions=8, bestBound=34
9.91/4.66	    
9.91/4.68	    num=35, depth=59..115, filters=106751, revisions=(198680,useless=84694), ccks=6904703, wck=1.337, mem=147M311
9.91/4.68	    decisions=8004, wrong=624, backtracks=17, failedAssignments=607, nogoods=559, foundSolutions=8, bestBound=34
9.91/4.68	    
9.91/4.69	    num=36, depth=57..63, filters=108300, revisions=(201326,useless=85685), ccks=6977650, wck=1.348, mem=147M311
9.91/4.69	    decisions=8113, wrong=647, backtracks=19, failedAssignments=628, nogoods=568, foundSolutions=8, bestBound=34
9.91/4.69	    
10.01/4.71	    num=37, depth=58..72, filters=110119, revisions=(204512,useless=86939), ccks=7065035, wck=1.362, mem=147M311
10.01/4.71	    decisions=8238, wrong=674, backtracks=23, failedAssignments=651, nogoods=576, foundSolutions=8, bestBound=34
10.01/4.71	    
10.01/4.72	    num=38, depth=51..52, filters=111542, revisions=(206957,useless=87881), ccks=7133107, wck=1.373, mem=149M919
10.01/4.72	    decisions=8348, wrong=703, backtracks=27, failedAssignments=676, nogoods=582, foundSolutions=8, bestBound=34
10.01/4.72	    
10.01/4.74	    num=39, depth=64..142, filters=114388, revisions=(211853,useless=89739), ccks=7270071, wck=1.397, mem=149M919
10.01/4.74	    decisions=8546, wrong=731, backtracks=27, failedAssignments=704, nogoods=610, foundSolutions=8, bestBound=34
10.01/4.74	    
10.01/4.75	    num=40, depth=54..72, filters=116142, revisions=(214925,useless=90957), ccks=7352723, wck=1.41, mem=152M527
10.01/4.75	    decisions=8685, wrong=765, backtracks=30, failedAssignments=735, nogoods=630, foundSolutions=8, bestBound=34
10.01/4.75	    
10.01/4.78	    num=41, depth=57..152, filters=119207, revisions=(220345,useless=93130), ccks=7501140, wck=1.435, mem=155M135
10.01/4.78	    decisions=8906, wrong=800, backtracks=31, failedAssignments=769, nogoods=663, foundSolutions=8, bestBound=34
10.01/4.78	    
10.01/4.79	    num=42, depth=51..86, filters=121396, revisions=(224314,useless=94798), ccks=7599499, wck=1.451, mem=155M135
10.01/4.79	    decisions=9073, wrong=841, backtracks=36, failedAssignments=806, nogoods=690, foundSolutions=8, bestBound=34
10.01/4.79	    
10.20/4.83	    num=43, depth=60..233, filters=125193, revisions=(231004,useless=97477), ccks=7787889, wck=1.483, mem=157M743
10.20/4.83	    decisions=9387, wrong=882, backtracks=36, failedAssignments=847, nogoods=731, foundSolutions=8, bestBound=34
10.20/4.83	    
10.20/4.85	    num=44, depth=51..111, filters=128033, revisions=(236360,useless=99852), ccks=7918999, wck=1.506, mem=160M351
10.20/4.85	    decisions=9604, wrong=935, backtracks=44, failedAssignments=892, nogoods=753, foundSolutions=8, bestBound=34
10.20/4.85	    
10.36/4.90	    num=45, depth=60..167, filters=131512, revisions=(242544,useless=102381), ccks=8083083, wck=1.554, mem=33M526
10.36/4.90	    decisions=9878, wrong=989, backtracks=48, failedAssignments=942, nogoods=790, foundSolutions=8, bestBound=34
10.36/4.90	    
10.36/4.91	    num=46, depth=53..69, filters=133415, revisions=(246205,useless=104062), ccks=8170422, wck=1.569, mem=33M526
10.36/4.91	    decisions=10075, wrong=1053, backtracks=57, failedAssignments=997, nogoods=813, foundSolutions=8, bestBound=34
10.36/4.91	    
10.36/4.96	o 32
10.36/4.97	    num=47, depth=63..679, filters=137749, revisions=(254950,useless=108252), ccks=8388938, wck=1.623, mem=41M532
10.36/4.97	    decisions=10520, wrong=1106, backtracks=57, failedAssignments=1050, nogoods=866, foundSolutions=9, bestBound=32
10.36/4.97	    
10.36/4.98	    num=48, depth=55..66, filters=139757, revisions=(258850,useless=110092), ccks=8471801, wck=1.641, mem=41M532
10.36/4.98	    decisions=10735, wrong=1181, backtracks=65, failedAssignments=1117, nogoods=899, foundSolutions=9, bestBound=32
10.36/4.98	    
10.36/4.99	    num=49, depth=57..58, filters=141136, revisions=(261158,useless=110919), ccks=8539580, wck=1.651, mem=45M535
10.36/4.99	    decisions=10820, wrong=1195, backtracks=68, failedAssignments=1128, nogoods=903, foundSolutions=9, bestBound=32
10.36/4.99	    
10.36/5.01	    num=50, depth=50..67, filters=142737, revisions=(263752,useless=111801), ccks=8609331, wck=1.662, mem=45M535
10.36/5.01	    decisions=10911, wrong=1207, backtracks=68, failedAssignments=1140, nogoods=915, foundSolutions=9, bestBound=32
10.36/5.01	    
10.51/5.02	    num=51, depth=44..62, filters=144240, revisions=(266143,useless=112579), ccks=8674704, wck=1.672, mem=45M535
10.51/5.02	    decisions=10999, wrong=1220, backtracks=68, failedAssignments=1153, nogoods=928, foundSolutions=9, bestBound=32
10.51/5.02	    
10.51/5.03	    num=52, depth=40..62, filters=145787, revisions=(268579,useless=113355), ccks=8747455, wck=1.683, mem=45M535
10.51/5.03	    decisions=11089, wrong=1234, backtracks=68, failedAssignments=1167, nogoods=942, foundSolutions=9, bestBound=32
10.51/5.03	    
10.51/5.04	    num=53, depth=46..79, filters=147574, revisions=(271540,useless=114403), ccks=8831992, wck=1.696, mem=45M535
10.51/5.04	    decisions=11200, wrong=1250, backtracks=68, failedAssignments=1183, nogoods=958, foundSolutions=9, bestBound=32
10.51/5.04	    
10.51/5.05	    num=54, depth=44..63, filters=149135, revisions=(274046,useless=115238), ccks=8904068, wck=1.706, mem=49M538
10.51/5.05	    decisions=11297, wrong=1267, backtracks=68, failedAssignments=1200, nogoods=975, foundSolutions=9, bestBound=32
10.51/5.05	    
10.51/5.07	    num=55, depth=45..97, filters=151250, revisions=(277658,useless=116594), ccks=9004852, wck=1.722, mem=49M538
10.51/5.07	    decisions=11432, wrong=1286, backtracks=68, failedAssignments=1219, nogoods=994, foundSolutions=9, bestBound=32
10.51/5.07	    
10.51/5.08	    num=56, depth=43..79, filters=153106, revisions=(280771,useless=117728), ccks=9089268, wck=1.735, mem=49M538
10.51/5.08	    decisions=11553, wrong=1307, backtracks=68, failedAssignments=1240, nogoods=1015, foundSolutions=9, bestBound=32
10.51/5.08	    
10.51/5.10	    num=57, depth=45..107, filters=155446, revisions=(284741,useless=119200), ccks=9195298, wck=1.753, mem=53M541
10.51/5.10	    decisions=11705, wrong=1330, backtracks=68, failedAssignments=1263, nogoods=1038, foundSolutions=9, bestBound=32
10.51/5.10	    
10.64/5.11	    num=58, depth=43..80, filters=157329, revisions=(287942,useless=120395), ccks=9279101, wck=1.766, mem=53M541
10.64/5.11	    decisions=11835, wrong=1355, backtracks=68, failedAssignments=1288, nogoods=1063, foundSolutions=9, bestBound=32
10.64/5.11	    
10.64/5.13	    num=59, depth=48..122, filters=159958, revisions=(292345,useless=122000), ccks=9399348, wck=1.786, mem=53M541
10.64/5.13	    decisions=12013, wrong=1383, backtracks=68, failedAssignments=1316, nogoods=1091, foundSolutions=9, bestBound=32
10.64/5.13	    
10.64/5.14	    num=60, depth=40..80, filters=161875, revisions=(295690,useless=123314), ccks=9488178, wck=1.799, mem=53M541
10.64/5.14	    decisions=12158, wrong=1416, backtracks=70, failedAssignments=1347, nogoods=1120, foundSolutions=9, bestBound=32
10.64/5.14	    
10.64/5.16	    num=61, depth=41..116, filters=164566, revisions=(300434,useless=125201), ccks=9609200, wck=1.819, mem=57M544
10.64/5.16	    decisions=12352, wrong=1455, backtracks=75, failedAssignments=1381, nogoods=1150, foundSolutions=9, bestBound=32
10.64/5.16	    
10.64/5.17	    num=62, depth=53..66, filters=166375, revisions=(303672,useless=126536), ccks=9691036, wck=1.831, mem=57M544
10.64/5.17	    decisions=12498, wrong=1496, backtracks=79, failedAssignments=1418, nogoods=1169, foundSolutions=9, bestBound=32
10.64/5.17	    
10.64/5.19	    num=63, depth=44..74, filters=168365, revisions=(307468,useless=128240), ccks=9781843, wck=1.846, mem=57M544
10.64/5.19	    decisions=12670, wrong=1545, backtracks=87, failedAssignments=1459, nogoods=1185, foundSolutions=9, bestBound=32
10.64/5.19	    
10.73/5.20	    num=64, depth=53..67, filters=170300, revisions=(310959,useless=129713), ccks=9865834, wck=1.859, mem=61M547
10.73/5.20	    decisions=12837, wrong=1596, backtracks=93, failedAssignments=1504, nogoods=1208, foundSolutions=9, bestBound=32
10.73/5.20	    
10.73/5.21	    num=65, depth=49..55, filters=171903, revisions=(313938,useless=131030), ccks=9939015, wck=1.87, mem=61M547
10.73/5.21	    decisions=13005, wrong=1653, backtracks=100, failedAssignments=1554, nogoods=1215, foundSolutions=9, bestBound=32
10.73/5.21	    
10.73/5.24	    num=66, depth=45..156, filters=175062, revisions=(319587,useless=133361), ccks=10092213, wck=1.895, mem=65M549
10.73/5.24	    decisions=13271, wrong=1708, backtracks=100, failedAssignments=1609, nogoods=1270, foundSolutions=9, bestBound=32
10.73/5.24	    
10.73/5.25	    num=67, depth=54..56, filters=176856, revisions=(322932,useless=134862), ccks=10169716, wck=1.907, mem=65M549
10.73/5.25	    decisions=13465, wrong=1778, backtracks=109, failedAssignments=1670, nogoods=1280, foundSolutions=9, bestBound=32
10.73/5.25	    
10.73/5.28	    num=68, depth=47..172, filters=180375, revisions=(329052,useless=137304), ccks=10329253, wck=1.935, mem=65M549
10.73/5.28	    decisions=13770, wrong=1845, backtracks=109, failedAssignments=1737, nogoods=1347, foundSolutions=9, bestBound=32
10.73/5.28	    
10.73/5.29	    num=69, depth=55..71, filters=182897, revisions=(333773,useless=139427), ccks=10430133, wck=1.951, mem=69M552
10.73/5.29	    decisions=14009, wrong=1930, backtracks=120, failedAssignments=1811, nogoods=1373, foundSolutions=9, bestBound=32
10.73/5.29	    
10.83/5.31	    num=70, depth=45..70, filters=185442, revisions=(338926,useless=141948), ccks=10531896, wck=1.968, mem=69M552
10.83/5.31	    decisions=14272, wrong=2027, backtracks=137, failedAssignments=1892, nogoods=1406, foundSolutions=9, bestBound=32
10.83/5.31	    
10.83/5.37	o 30
10.83/5.37	    num=71, depth=45..679, filters=189974, revisions=(348031,useless=146312), ccks=10765194, wck=2.024, mem=77M558
10.83/5.37	    decisions=14756, wrong=2099, backtracks=137, failedAssignments=1964, nogoods=1478, foundSolutions=10, bestBound=30
10.83/5.37	    
10.93/5.40	    num=72, depth=42..207, filters=194138, revisions=(355758,useless=149720), ccks=10957269, wck=2.061, mem=81M561
10.93/5.40	    decisions=15172, wrong=2204, backtracks=144, failedAssignments=2062, nogoods=1555, foundSolutions=10, bestBound=30
10.93/5.40	    
10.93/5.41	    num=73, depth=43..58, filters=195517, revisions=(357980,useless=150459), ccks=11024190, wck=2.071, mem=81M561
10.93/5.41	    decisions=15254, wrong=2216, backtracks=145, failedAssignments=2073, nogoods=1566, foundSolutions=10, bestBound=30
10.93/5.41	    
10.93/5.42	    num=74, depth=43..63, filters=197024, revisions=(360425,useless=151284), ccks=11088416, wck=2.081, mem=85M564
10.93/5.42	    decisions=15343, wrong=2229, backtracks=146, failedAssignments=2085, nogoods=1578, foundSolutions=10, bestBound=30
10.93/5.42	    
10.93/5.43	    num=75, depth=40..70, filters=198616, revisions=(362998,useless=152145), ccks=11159099, wck=2.091, mem=85M564
10.93/5.43	    decisions=15439, wrong=2242, backtracks=146, failedAssignments=2098, nogoods=1591, foundSolutions=10, bestBound=30
10.93/5.43	    
10.93/5.45	    num=76, depth=44..70, filters=200192, revisions=(365641,useless=153097), ccks=11230157, wck=2.102, mem=85M564
10.93/5.45	    decisions=15537, wrong=2256, backtracks=146, failedAssignments=2112, nogoods=1605, foundSolutions=10, bestBound=30
10.93/5.45	    
10.93/5.46	    num=77, depth=42..70, filters=201803, revisions=(368289,useless=154012), ccks=11301481, wck=2.113, mem=85M564
10.93/5.46	    decisions=15639, wrong=2272, backtracks=146, failedAssignments=2128, nogoods=1621, foundSolutions=10, bestBound=30
10.93/5.46	    
10.93/5.47	    num=78, depth=49..59, filters=203275, revisions=(370836,useless=154983), ccks=11370208, wck=2.123, mem=85M564
10.93/5.47	    decisions=15737, wrong=2292, backtracks=149, failedAssignments=2145, nogoods=1629, foundSolutions=10, bestBound=30
10.93/5.47	    
10.93/5.48	    num=79, depth=43..53, filters=204711, revisions=(373297,useless=155923), ccks=11435361, wck=2.133, mem=89M567
10.93/5.48	    decisions=15831, wrong=2313, backtracks=151, failedAssignments=2164, nogoods=1634, foundSolutions=10, bestBound=30
10.93/5.48	    
10.93/5.48	    num=80, depth=39..40, filters=205799, revisions=(375208,useless=156679), ccks=11487942, wck=2.141, mem=89M567
10.93/5.48	    decisions=15920, wrong=2338, backtracks=155, failedAssignments=2185, nogoods=1638, foundSolutions=10, bestBound=30
10.93/5.48	    
10.93/5.50	    num=81, depth=50..78, filters=207539, revisions=(378277,useless=157890), ccks=11571340, wck=2.153, mem=89M567
10.93/5.50	    decisions=16046, wrong=2362, backtracks=156, failedAssignments=2208, nogoods=1656, foundSolutions=10, bestBound=30
10.93/5.50	    
11.03/5.50	    num=82, depth=37..39, filters=208654, revisions=(380289,useless=158724), ccks=11623297, wck=2.161, mem=89M567
11.03/5.50	    decisions=16144, wrong=2392, backtracks=161, failedAssignments=2233, nogoods=1661, foundSolutions=10, bestBound=30
11.03/5.50	    
11.03/5.52	    num=83, depth=46..94, filters=210777, revisions=(383898,useless=160082), ccks=11721430, wck=2.177, mem=89M567
11.03/5.52	    decisions=16293, wrong=2420, backtracks=161, failedAssignments=2261, nogoods=1689, foundSolutions=10, bestBound=30
11.03/5.52	    
11.03/5.53	    num=84, depth=48..87, filters=212818, revisions=(387481,useless=161512), ccks=11816983, wck=2.192, mem=93M570
11.03/5.53	    decisions=16444, wrong=2452, backtracks=162, failedAssignments=2292, nogoods=1720, foundSolutions=10, bestBound=30
11.03/5.53	    
11.03/5.55	    num=85, depth=46..61, filters=214727, revisions=(390859,useless=162895), ccks=11898602, wck=2.204, mem=93M570
11.03/5.55	    decisions=16586, wrong=2493, backtracks=169, failedAssignments=2326, nogoods=1727, foundSolutions=10, bestBound=30
11.03/5.55	    
11.03/5.56	    num=86, depth=42..68, filters=216572, revisions=(394226,useless=164317), ccks=11980424, wck=2.217, mem=93M570
11.03/5.56	    decisions=16734, wrong=2534, backtracks=173, failedAssignments=2363, nogoods=1751, foundSolutions=10, bestBound=30
11.03/5.56	    
11.03/5.57	    num=87, depth=46..64, filters=218300, revisions=(397361,useless=165643), ccks=12060656, wck=2.229, mem=93M570
11.03/5.57	    decisions=16888, wrong=2579, backtracks=177, failedAssignments=2404, nogoods=1777, foundSolutions=10, bestBound=30
11.03/5.57	    
11.03/5.59	    num=88, depth=46..67, filters=220287, revisions=(401040,useless=167234), ccks=12147486, wck=2.243, mem=97M573
11.03/5.59	    decisions=17055, wrong=2630, backtracks=183, failedAssignments=2449, nogoods=1795, foundSolutions=10, bestBound=30
11.03/5.59	    
11.14/5.60	    num=89, depth=43..76, filters=222347, revisions=(404882,useless=168925), ccks=12238695, wck=2.257, mem=97M573
11.14/5.60	    decisions=17242, wrong=2686, backtracks=189, failedAssignments=2499, nogoods=1817, foundSolutions=10, bestBound=30
11.14/5.60	    
11.14/5.62	    num=90, depth=44..139, filters=225361, revisions=(410217,useless=171093), ccks=12378752, wck=2.28, mem=101M576
11.14/5.62	    decisions=17495, wrong=2743, backtracks=191, failedAssignments=2554, nogoods=1865, foundSolutions=10, bestBound=30
11.14/5.62	    
11.14/5.64	    num=91, depth=45..61, filters=227240, revisions=(413856,useless=172800), ccks=12462909, wck=2.294, mem=101M576
11.14/5.64	    decisions=17692, wrong=2812, backtracks=199, failedAssignments=2615, nogoods=1898, foundSolutions=10, bestBound=30
11.14/5.64	    
11.14/5.66	    num=92, depth=45..112, filters=230051, revisions=(418929,useless=174946), ccks=12588023, wck=2.316, mem=101M576
11.14/5.66	    decisions=17936, wrong=2880, backtracks=200, failedAssignments=2682, nogoods=1961, foundSolutions=10, bestBound=30
11.14/5.66	    
11.14/5.69	    num=93, depth=46..187, filters=233875, revisions=(425758,useless=177784), ccks=12769164, wck=2.347, mem=105M579
11.14/5.69	    decisions=18276, wrong=2957, backtracks=203, failedAssignments=2756, nogoods=2031, foundSolutions=10, bestBound=30
11.14/5.69	    
11.24/5.72	    num=94, depth=45..212, filters=237774, revisions=(432615,useless=180569), ccks=12959541, wck=2.38, mem=109M581
11.24/5.72	    decisions=18650, wrong=3038, backtracks=203, failedAssignments=2837, nogoods=2112, foundSolutions=10, bestBound=30
11.24/5.72	    
11.24/5.76	    num=95, depth=45..234, filters=242001, revisions=(440069,useless=183631), ccks=13166258, wck=2.416, mem=113M584
11.24/5.76	    decisions=19063, wrong=3128, backtracks=204, failedAssignments=2926, nogoods=2198, foundSolutions=10, bestBound=30
11.24/5.76	    
11.35/5.80	    num=96, depth=45..248, filters=246348, revisions=(447763,useless=186811), ccks=13374917, wck=2.454, mem=117M587
11.35/5.80	    decisions=19507, wrong=3226, backtracks=204, failedAssignments=3024, nogoods=2296, foundSolutions=10, bestBound=30
11.35/5.80	    
11.35/5.83	    num=97, depth=46..178, filters=250214, revisions=(455462,useless=190527), ccks=13553095, wck=2.487, mem=121M590
11.35/5.83	    decisions=19927, wrong=3347, backtracks=217, failedAssignments=3132, nogoods=2361, foundSolutions=10, bestBound=30
11.35/5.83	    
11.35/5.87	    num=98, depth=45..285, filters=254864, revisions=(463783,useless=194046), ccks=13777281, wck=2.53, mem=125M593
11.35/5.87	    decisions=20449, wrong=3466, backtracks=217, failedAssignments=3251, nogoods=2480, foundSolutions=10, bestBound=30
11.35/5.87	    
11.46/5.90	    num=99, depth=46..151, filters=258775, revisions=(471913,useless=198188), ccks=13937249, wck=2.56, mem=129M596
11.46/5.90	    decisions=20906, wrong=3619, backtracks=239, failedAssignments=3382, nogoods=2532, foundSolutions=10, bestBound=30
11.46/5.90	    
11.46/5.96	o 28
11.46/5.96	    num=100, depth=45..679, filters=263608, revisions=(481502,useless=202790), ccks=14169831, wck=2.618, mem=137M602
11.46/5.96	    decisions=21491, wrong=3742, backtracks=239, failedAssignments=3505, nogoods=2655, foundSolutions=11, bestBound=28
11.46/5.96	    
11.46/5.99	    num=101, depth=41..71, filters=267073, revisions=(489227,useless=207024), ccks=14293509, wck=2.644, mem=141M605
11.46/5.99	    decisions=21932, wrong=3929, backtracks=268, failedAssignments=3663, nogoods=2681, foundSolutions=11, bestBound=28
11.46/5.99	    
11.46/6.00	    num=102, depth=47..50, filters=268343, revisions=(491288,useless=207717), ccks=14354481, wck=2.653, mem=141M605
11.46/6.00	    decisions=22004, wrong=3940, backtracks=268, failedAssignments=3674, nogoods=2692, foundSolutions=11, bestBound=28
11.46/6.00	    
11.57/6.01	    num=103, depth=44..65, filters=269845, revisions=(493736,useless=208547), ccks=14423240, wck=2.664, mem=141M605
11.57/6.01	    decisions=22092, wrong=3952, backtracks=268, failedAssignments=3686, nogoods=2704, foundSolutions=11, bestBound=28
11.57/6.01	    
11.57/6.02	    num=104, depth=41..50, filters=271097, revisions=(495764,useless=209231), ccks=14476777, wck=2.672, mem=142M458
11.57/6.02	    decisions=22167, wrong=3965, backtracks=268, failedAssignments=3699, nogoods=2717, foundSolutions=11, bestBound=28
11.57/6.02	    
11.57/6.02	    num=105, depth=42..45, filters=272290, revisions=(497727,useless=209918), ccks=14527645, wck=2.68, mem=142M458
11.57/6.02	    decisions=22240, wrong=3979, backtracks=268, failedAssignments=3713, nogoods=2731, foundSolutions=11, bestBound=28
11.57/6.02	    
11.57/6.03	    num=106, depth=65..67, filters=273971, revisions=(500656,useless=211040), ccks=14596431, wck=2.691, mem=146M461
11.57/6.03	    decisions=22343, wrong=3997, backtracks=270, failedAssignments=3729, nogoods=2743, foundSolutions=11, bestBound=28
11.57/6.03	    
11.57/6.04	    num=107, depth=42..49, filters=275299, revisions=(502906,useless=211871), ccks=14654292, wck=2.699, mem=146M461
11.57/6.04	    decisions=22430, wrong=4016, backtracks=272, failedAssignments=3746, nogoods=2757, foundSolutions=11, bestBound=28
11.57/6.04	    
11.57/6.05	    num=108, depth=36..48, filters=276609, revisions=(505111,useless=212683), ccks=14711082, wck=2.708, mem=146M461
11.57/6.05	    decisions=22518, wrong=4036, backtracks=273, failedAssignments=3765, nogoods=2772, foundSolutions=11, bestBound=28
11.57/6.05	    
11.57/6.06	    num=109, depth=41..49, filters=278027, revisions=(507464,useless=213540), ccks=14769943, wck=2.717, mem=146M461
11.57/6.06	    decisions=22617, wrong=4062, backtracks=278, failedAssignments=3786, nogoods=2781, foundSolutions=11, bestBound=28
11.57/6.06	    
11.57/6.07	    num=110, depth=38..46, filters=279381, revisions=(509702,useless=214345), ccks=14829758, wck=2.726, mem=146M461
11.57/6.07	    decisions=22712, wrong=4087, backtracks=280, failedAssignments=3809, nogoods=2795, foundSolutions=11, bestBound=28
11.57/6.07	    
11.57/6.08	    num=111, depth=36..68, filters=281095, revisions=(512594,useless=215412), ccks=14909154, wck=2.738, mem=146M461
11.57/6.08	    decisions=22830, wrong=4112, backtracks=280, failedAssignments=3834, nogoods=2820, foundSolutions=11, bestBound=28
11.57/6.08	    
11.57/6.09	    num=112, depth=39..48, filters=282357, revisions=(514657,useless=216143), ccks=14966553, wck=2.747, mem=150M463
11.57/6.09	    decisions=22936, wrong=4141, backtracks=281, failedAssignments=3862, nogoods=2838, foundSolutions=11, bestBound=28
11.57/6.09	    
11.57/6.10	    num=113, depth=37..45, filters=283879, revisions=(517256,useless=217141), ccks=15031693, wck=2.757, mem=150M463
11.57/6.10	    decisions=23047, wrong=4174, backtracks=283, failedAssignments=3893, nogoods=2859, foundSolutions=11, bestBound=28
11.57/6.10	    
11.70/6.11	    num=114, depth=40..42, filters=285068, revisions=(519197,useless=217842), ccks=15087328, wck=2.765, mem=150M463
11.70/6.11	    decisions=23158, wrong=4209, backtracks=284, failedAssignments=3927, nogoods=2882, foundSolutions=11, bestBound=28
11.70/6.11	    
11.70/6.12	    num=115, depth=39..61, filters=286752, revisions=(522358,useless=219229), ccks=15160726, wck=2.777, mem=150M463
11.70/6.12	    decisions=23306, wrong=4253, backtracks=291, failedAssignments=3964, nogoods=2902, foundSolutions=11, bestBound=28
11.70/6.12	    
11.70/6.13	    num=116, depth=45..54, filters=288538, revisions=(525545,useless=220553), ccks=15237417, wck=2.789, mem=150M463
11.70/6.13	    decisions=23451, wrong=4299, backtracks=296, failedAssignments=4005, nogoods=2921, foundSolutions=11, bestBound=28
11.70/6.13	    
11.70/6.14	    num=117, depth=38..41, filters=289995, revisions=(528308,useless=221806), ccks=15296732, wck=2.798, mem=154M466
11.70/6.14	    decisions=23594, wrong=4351, backtracks=303, failedAssignments=4050, nogoods=2937, foundSolutions=11, bestBound=28
11.70/6.14	    
11.70/6.16	    num=118, depth=43..92, filters=292448, revisions=(532580,useless=223518), ccks=15406948, wck=2.815, mem=154M466
11.70/6.16	    decisions=23791, wrong=4404, backtracks=306, failedAssignments=4100, nogoods=2983, foundSolutions=11, bestBound=28
11.70/6.16	    
11.70/6.17	    num=119, depth=39..48, filters=294205, revisions=(536001,useless=225141), ccks=15481059, wck=2.827, mem=154M466
11.70/6.17	    decisions=23960, wrong=4465, backtracks=314, failedAssignments=4155, nogoods=3003, foundSolutions=11, bestBound=28
11.70/6.17	    
11.70/6.18	    num=120, depth=37..47, filters=296186, revisions=(540081,useless=227193), ccks=15559257, wck=2.839, mem=154M466
11.70/6.18	    decisions=24150, wrong=4538, backtracks=327, failedAssignments=4216, nogoods=3025, foundSolutions=11, bestBound=28
11.70/6.18	    
11.80/6.21	    num=121, depth=38..141, filters=299418, revisions=(545732,useless=229452), ccks=15708251, wck=2.864, mem=158M469
11.80/6.21	    decisions=24425, wrong=4605, backtracks=327, failedAssignments=4283, nogoods=3092, foundSolutions=11, bestBound=28
11.80/6.21	    
11.80/6.22	    num=122, depth=5..43, filters=301438, revisions=(549716,useless=231395), ccks=15788648, wck=2.877, mem=158M469
11.80/6.22	    decisions=24637, wrong=4690, backtracks=338, failedAssignments=4357, nogoods=3102, foundSolutions=11, bestBound=28
11.80/6.22	    
11.80/6.24	    num=123, depth=37..68, filters=303977, revisions=(554691,useless=233764), ccks=15893894, wck=2.894, mem=162M472
11.80/6.24	    decisions=24888, wrong=4783, backtracks=351, failedAssignments=4438, nogoods=3127, foundSolutions=11, bestBound=28
11.80/6.24	    
11.80/6.26	    num=124, depth=45..86, filters=306944, revisions=(560186,useless=236202), ccks=16010402, wck=2.914, mem=162M472
11.80/6.26	    decisions=25170, wrong=4881, backtracks=360, failedAssignments=4527, nogoods=3170, foundSolutions=11, bestBound=28
11.80/6.26	    
11.80/6.27	    num=125, depth=40..49, filters=309182, revisions=(564974,useless=238733), ccks=16099421, wck=2.928, mem=162M472
11.80/6.27	    decisions=25454, wrong=4999, backtracks=380, failedAssignments=4625, nogoods=3204, foundSolutions=11, bestBound=28
11.80/6.27	    
11.90/6.30	    num=126, depth=7..154, filters=313031, revisions=(572080,useless=241879), ccks=16262397, wck=2.957, mem=166M475
11.90/6.30	    decisions=25836, wrong=5113, backtracks=386, failedAssignments=4733, nogoods=3287, foundSolutions=11, bestBound=28
11.90/6.30	    
11.90/6.32	    num=127, depth=41..47, filters=316252, revisions=(578642,useless=245212), ccks=16370569, wck=2.976, mem=166M475
11.90/6.32	    decisions=26165, wrong=5254, backtracks=408, failedAssignments=4852, nogoods=3294, foundSolutions=11, bestBound=28
11.90/6.32	    
11.90/6.34	    num=128, depth=43..80, filters=319063, revisions=(584318,useless=248063), ccks=16480134, wck=2.995, mem=170M478
11.90/6.34	    decisions=26537, wrong=5401, backtracks=424, failedAssignments=4983, nogoods=3320, foundSolutions=11, bestBound=28
11.90/6.34	    
11.90/6.36	    num=129, depth=38..102, filters=322694, revisions=(591831,useless=251891), ccks=16627040, wck=3.021, mem=174M481
11.90/6.36	    decisions=26960, wrong=5562, backtracks=442, failedAssignments=5127, nogoods=3372, foundSolutions=11, bestBound=28
11.90/6.36	    
11.90/6.39	    num=130, depth=42..77, filters=326211, revisions=(599454,useless=256024), ccks=16745711, wck=3.044, mem=174M481
11.90/6.39	    decisions=27400, wrong=5745, backtracks=467, failedAssignments=5285, nogoods=3393, foundSolutions=11, bestBound=28
11.90/6.39	    
12.02/6.42	    num=131, depth=38..117, filters=331183, revisions=(609070,useless=260618), ccks=16934897, wck=3.077, mem=178M484
12.02/6.42	    decisions=27901, wrong=5937, backtracks=486, failedAssignments=5459, nogoods=3440, foundSolutions=11, bestBound=28
12.02/6.42	    
12.02/6.45	    num=132, depth=43..76, filters=335355, revisions=(618383,useless=265790), ccks=17079238, wck=3.104, mem=178M484
12.02/6.45	    decisions=28427, wrong=6163, backtracks=522, failedAssignments=5650, nogoods=3471, foundSolutions=11, bestBound=28
12.02/6.45	    
12.02/6.47	    num=133, depth=39..48, filters=339012, revisions=(626759,useless=270590), ccks=17213207, wck=3.127, mem=182M487
12.02/6.47	    decisions=28978, wrong=6416, backtracks=564, failedAssignments=5861, nogoods=3504, foundSolutions=11, bestBound=28
12.02/6.47	    
12.17/6.53	o 26
12.17/6.53	    num=134, depth=43..679, filters=344142, revisions=(636942,useless=275541), ccks=17454792, wck=3.189, mem=190M493
12.17/6.53	    decisions=29630, wrong=6572, backtracks=564, failedAssignments=6017, nogoods=3660, foundSolutions=12, bestBound=26
12.17/6.53	    
12.17/6.56	    num=135, depth=38..48, filters=348581, revisions=(647710,useless=281972), ccks=17612951, wck=3.221, mem=194M496
12.17/6.56	    decisions=30301, wrong=6885, backtracks=622, failedAssignments=6272, nogoods=3687, foundSolutions=12, bestBound=26
12.17/6.56	    
12.17/6.57	    num=136, depth=1..47, filters=349684, revisions=(649515,useless=282594), ccks=17665967, wck=3.229, mem=194M496
12.17/6.57	    decisions=30370, wrong=6896, backtracks=622, failedAssignments=6283, nogoods=3698, foundSolutions=12, bestBound=26
12.17/6.57	    
12.17/6.58	    num=137, depth=37..43, filters=350765, revisions=(651266,useless=283191), ccks=17713499, wck=3.236, mem=194M496
12.17/6.58	    decisions=30437, wrong=6908, backtracks=622, failedAssignments=6295, nogoods=3710, foundSolutions=12, bestBound=26
12.17/6.58	    
12.17/6.59	    num=138, depth=42..58, filters=352104, revisions=(653427,useless=283916), ccks=17772543, wck=3.245, mem=194M496
12.17/6.59	    decisions=30521, wrong=6921, backtracks=622, failedAssignments=6308, nogoods=3723, foundSolutions=12, bestBound=26
12.17/6.59	    
12.28/6.60	    num=139, depth=41..59, filters=353485, revisions=(655715,useless=284730), ccks=17833576, wck=3.254, mem=198M499
12.28/6.60	    decisions=30608, wrong=6935, backtracks=622, failedAssignments=6322, nogoods=3737, foundSolutions=12, bestBound=26
12.28/6.60	    
12.28/6.61	    num=140, depth=42..55, filters=354773, revisions=(657880,useless=285523), ccks=17887530, wck=3.263, mem=198M499
12.28/6.61	    decisions=30695, wrong=6951, backtracks=622, failedAssignments=6338, nogoods=3753, foundSolutions=12, bestBound=26
12.28/6.61	    
12.28/6.61	    num=141, depth=40..46, filters=355993, revisions=(659843,useless=286189), ccks=17938532, wck=3.271, mem=198M499
12.28/6.61	    decisions=30776, wrong=6969, backtracks=623, failedAssignments=6355, nogoods=3766, foundSolutions=12, bestBound=26
12.28/6.61	    
12.28/6.62	    num=142, depth=42..56, filters=357326, revisions=(662142,useless=287073), ccks=17993465, wck=3.28, mem=198M499
12.28/6.62	    decisions=30872, wrong=6990, backtracks=625, failedAssignments=6374, nogoods=3776, foundSolutions=12, bestBound=26
12.28/6.62	    
12.28/6.63	    num=143, depth=39..45, filters=358619, revisions=(664335,useless=287888), ccks=18045374, wck=3.288, mem=198M499
12.28/6.63	    decisions=30962, wrong=7013, backtracks=627, failedAssignments=6395, nogoods=3785, foundSolutions=12, bestBound=26
12.28/6.63	    
12.28/6.64	    num=144, depth=41..55, filters=359956, revisions=(666696,useless=288838), ccks=18100226, wck=3.297, mem=198M499
12.28/6.64	    decisions=31065, wrong=7038, backtracks=629, failedAssignments=6418, nogoods=3799, foundSolutions=12, bestBound=26
12.28/6.64	    
12.28/6.65	    num=145, depth=42..45, filters=361341, revisions=(669215,useless=289889), ccks=18154021, wck=3.305, mem=198M499
12.28/6.65	    decisions=31164, wrong=7066, backtracks=633, failedAssignments=6443, nogoods=3812, foundSolutions=12, bestBound=26
12.28/6.65	    
12.28/6.66	    num=146, depth=37..66, filters=362985, revisions=(671881,useless=290817), ccks=18222707, wck=3.316, mem=202M502
12.28/6.66	    decisions=31286, wrong=7094, backtracks=633, failedAssignments=6471, nogoods=3840, foundSolutions=12, bestBound=26
12.28/6.66	    
12.28/6.67	    num=147, depth=40..67, filters=364635, revisions=(674897,useless=292093), ccks=18289637, wck=3.327, mem=202M502
12.28/6.67	    decisions=31421, wrong=7129, backtracks=637, failedAssignments=6502, nogoods=3863, foundSolutions=12, bestBound=26
12.28/6.67	    
12.28/6.68	    num=148, depth=40..56, filters=366243, revisions=(677888,useless=293387), ccks=18361579, wck=3.338, mem=202M502
12.28/6.68	    decisions=31556, wrong=7169, backtracks=643, failedAssignments=6536, nogoods=3880, foundSolutions=12, bestBound=26
12.28/6.68	    
12.28/6.69	    num=149, depth=40..51, filters=367807, revisions=(680762,useless=294629), ccks=18427459, wck=3.348, mem=202M502
12.28/6.69	    decisions=31686, wrong=7210, backtracks=648, failedAssignments=6573, nogoods=3892, foundSolutions=12, bestBound=26
12.28/6.69	    
12.38/6.70	    num=150, depth=41..47, filters=369609, revisions=(683977,useless=295975), ccks=18500070, wck=3.36, mem=202M502
12.38/6.70	    decisions=31830, wrong=7259, backtracks=656, failedAssignments=6614, nogoods=3900, foundSolutions=12, bestBound=26
12.38/6.70	    
12.38/6.71	    num=151, depth=39..60, filters=371356, revisions=(687436,useless=297605), ccks=18572656, wck=3.371, mem=206M505
12.38/6.71	    decisions=31992, wrong=7312, backtracks=665, failedAssignments=6659, nogoods=3910, foundSolutions=12, bestBound=26
12.38/6.71	    
12.38/6.73	    num=152, depth=41..47, filters=373313, revisions=(691025,useless=299176), ccks=18648694, wck=3.383, mem=206M505
12.38/6.73	    decisions=32156, wrong=7371, backtracks=674, failedAssignments=6709, nogoods=3923, foundSolutions=12, bestBound=26
12.38/6.73	    
12.38/6.74	    num=153, depth=39..77, filters=375377, revisions=(694935,useless=300938), ccks=18739569, wck=3.398, mem=206M505
12.38/6.74	    decisions=32346, wrong=7430, backtracks=679, failedAssignments=6764, nogoods=3973, foundSolutions=12, bestBound=26
12.38/6.74	    
12.38/6.75	    num=154, depth=41..47, filters=377514, revisions=(698951,useless=302775), ccks=18820303, wck=3.411, mem=206M505
12.38/6.75	    decisions=32538, wrong=7503, backtracks=691, failedAssignments=6825, nogoods=3983, foundSolutions=12, bestBound=26
12.38/6.75	    
12.38/6.77	    num=155, depth=38..40, filters=379610, revisions=(703074,useless=304767), ccks=18896788, wck=3.423, mem=210M508
12.38/6.77	    decisions=32732, wrong=7580, backtracks=701, failedAssignments=6892, nogoods=4004, foundSolutions=12, bestBound=26
12.38/6.77	    
12.38/6.78	    num=156, depth=39..47, filters=381821, revisions=(707662,useless=307104), ccks=18980585, wck=3.436, mem=210M508
12.38/6.78	    decisions=32951, wrong=7667, backtracks=714, failedAssignments=6966, nogoods=4027, foundSolutions=12, bestBound=26
12.38/6.78	    
12.38/6.79	    num=157, depth=39..42, filters=383784, revisions=(712122,useless=309578), ccks=19057586, wck=3.449, mem=210M508
12.38/6.79	    decisions=33185, wrong=7764, backtracks=736, failedAssignments=7047, nogoods=4038, foundSolutions=12, bestBound=26
12.38/6.79	    
12.48/6.81	    num=158, depth=37..61, filters=386147, revisions=(717122,useless=312139), ccks=19150108, wck=3.465, mem=214M511
12.48/6.81	    decisions=33443, wrong=7863, backtracks=748, failedAssignments=7136, nogoods=4071, foundSolutions=12, bestBound=26
12.48/6.81	    
12.48/6.82	    num=159, depth=34..36, filters=388390, revisions=(722624,useless=315433), ccks=19240605, wck=3.479, mem=214M511
12.48/6.82	    decisions=33756, wrong=8002, backtracks=794, failedAssignments=7234, nogoods=4083, foundSolutions=12, bestBound=26
12.48/6.82	    
12.48/6.84	    num=160, depth=37..61, filters=390995, revisions=(728139,useless=318295), ccks=19337022, wck=3.496, mem=214M511
12.48/6.84	    decisions=34062, wrong=8126, backtracks=810, failedAssignments=7342, nogoods=4120, foundSolutions=12, bestBound=26
12.48/6.84	    
12.48/6.86	    num=161, depth=38..40, filters=394752, revisions=(735890,useless=322280), ccks=19467564, wck=3.517, mem=218M513
12.48/6.86	    decisions=34399, wrong=8275, backtracks=841, failedAssignments=7461, nogoods=4144, foundSolutions=12, bestBound=26
12.48/6.86	    
12.48/6.88	    num=162, depth=38..41, filters=397710, revisions=(742374,useless=325816), ccks=19568939, wck=3.535, mem=218M513
12.48/6.88	    decisions=34756, wrong=8434, backtracks=869, failedAssignments=7592, nogoods=4167, foundSolutions=12, bestBound=26
12.48/6.88	    
12.48/6.90	    num=163, depth=33..54, filters=400710, revisions=(749345,useless=329798), ccks=19666174, wck=3.553, mem=222M516
12.48/6.90	    decisions=35157, wrong=8608, backtracks=901, failedAssignments=7736, nogoods=4190, foundSolutions=12, bestBound=26
12.48/6.90	    
12.58/6.92	    num=164, depth=38..48, filters=403560, revisions=(755866,useless=333511), ccks=19776491, wck=3.572, mem=222M516
12.58/6.92	    decisions=35589, wrong=8801, backtracks=936, failedAssignments=7894, nogoods=4212, foundSolutions=12, bestBound=26
12.58/6.92	    
12.58/6.94	    num=165, depth=35..101, filters=407325, revisions=(763707,useless=337592), ccks=19925088, wck=3.598, mem=226M519
12.58/6.94	    decisions=36065, wrong=8989, backtracks=954, failedAssignments=8068, nogoods=4322, foundSolutions=12, bestBound=26
12.58/6.94	    
12.58/6.96	    num=166, depth=38..49, filters=410929, revisions=(771867,useless=342201), ccks=20055038, wck=3.622, mem=226M519
12.58/6.96	    decisions=36572, wrong=9219, backtracks=993, failedAssignments=8259, nogoods=4340, foundSolutions=12, bestBound=26
12.58/6.96	    
12.58/6.99	    num=167, depth=1..56, filters=414752, revisions=(780175,useless=346723), ccks=20175461, wck=3.644, mem=230M522
12.58/6.99	    decisions=37094, wrong=9453, backtracks=1020, failedAssignments=8470, nogoods=4387, foundSolutions=12, bestBound=26
12.58/6.99	    
12.69/7.01	    num=168, depth=37..48, filters=419471, revisions=(790488,useless=352393), ccks=20325592, wck=3.671, mem=230M522
12.69/7.01	    decisions=37682, wrong=9725, backtracks=1060, failedAssignments=8702, nogoods=4426, foundSolutions=12, bestBound=26
12.69/7.01	    
12.69/7.05	    num=169, depth=34..56, filters=423596, revisions=(800089,useless=357918), ccks=20456677, wck=3.71, mem=35M187
12.69/7.05	    decisions=38308, wrong=10012, backtracks=1095, failedAssignments=8957, nogoods=4452, foundSolutions=12, bestBound=26
12.69/7.05	    
12.69/7.10	    num=170, depth=38..178, filters=429887, revisions=(812568,useless=364112), ccks=20708088, wck=3.755, mem=39M196
12.69/7.10	    decisions=39103, wrong=10321, backtracks=1124, failedAssignments=9238, nogoods=4605, foundSolutions=12, bestBound=26
12.69/7.10	    
12.83/7.13	    num=171, depth=37..40, filters=434863, revisions=(823023,useless=369783), ccks=20857138, wck=3.782, mem=43M205
12.83/7.13	    decisions=39829, wrong=10664, backtracks=1158, failedAssignments=9547, nogoods=4616, foundSolutions=12, bestBound=26
12.83/7.13	    
12.83/7.16	    num=172, depth=36..41, filters=440809, revisions=(837325,useless=378329), ccks=21032512, wck=3.815, mem=43M205
12.83/7.16	    decisions=40691, wrong=11076, backtracks=1230, failedAssignments=9887, nogoods=4633, foundSolutions=12, bestBound=26
12.83/7.16	    
12.83/7.19	    num=173, depth=36..56, filters=446170, revisions=(850995,useless=386794), ccks=21192469, wck=3.847, mem=47M214
12.83/7.19	    decisions=41622, wrong=11514, backtracks=1295, failedAssignments=10261, nogoods=4668, foundSolutions=12, bestBound=26
12.83/7.19	    
12.92/7.24	    num=174, depth=37..98, filters=453763, revisions=(869162,useless=397509), ccks=21442648, wck=3.893, mem=51M223
12.92/7.24	    decisions=42711, wrong=12010, backtracks=1380, failedAssignments=10672, nogoods=4742, foundSolutions=12, bestBound=26
12.92/7.24	    
12.92/7.28	    num=175, depth=38..42, filters=460820, revisions=(887970,useless=409527), ccks=21630581, wck=3.932, mem=55M232
12.92/7.28	    decisions=43894, wrong=12581, backtracks=1508, failedAssignments=11124, nogoods=4749, foundSolutions=12, bestBound=26
12.92/7.28	    
13.02/7.33	o 24
13.02/7.34	    num=176, depth=35..679, filters=466135, revisions=(898590,useless=414735), ccks=21876395, wck=3.993, mem=67M258
13.02/7.34	    decisions=44640, wrong=12784, backtracks=1509, failedAssignments=11326, nogoods=4945, foundSolutions=13, bestBound=24
13.02/7.34	    
13.13/7.41	    num=177, depth=33..47, filters=478285, revisions=(928473,useless=432652), ccks=22241749, wck=4.062, mem=71M267
13.13/7.41	    decisions=46062, wrong=13473, backtracks=1658, failedAssignments=11873, nogoods=4971, foundSolutions=13, bestBound=24
13.13/7.41	    
13.13/7.41	    num=178, depth=35..44, filters=479448, revisions=(930317,useless=433252), ccks=22296520, wck=4.07, mem=71M267
13.13/7.41	    decisions=46127, wrong=13484, backtracks=1658, failedAssignments=11884, nogoods=4982, foundSolutions=13, bestBound=24
13.13/7.41	    
13.13/7.42	    num=179, depth=36..41, filters=480517, revisions=(932005,useless=433792), ccks=22345022, wck=4.077, mem=75M276
13.13/7.42	    decisions=46193, wrong=13497, backtracks=1659, failedAssignments=11896, nogoods=4992, foundSolutions=13, bestBound=24
13.13/7.42	    
13.13/7.43	    num=180, depth=37..47, filters=481662, revisions=(933953,useless=434510), ccks=22396561, wck=4.084, mem=75M276
13.13/7.43	    decisions=46265, wrong=13510, backtracks=1659, failedAssignments=11909, nogoods=5005, foundSolutions=13, bestBound=24
13.13/7.43	    
13.13/7.43	    num=181, depth=36..42, filters=482758, revisions=(935729,useless=435114), ccks=22445652, wck=4.091, mem=75M276
13.13/7.43	    decisions=46336, wrong=13525, backtracks=1660, failedAssignments=11923, nogoods=5017, foundSolutions=13, bestBound=24
13.13/7.43	    
13.13/7.44	    num=182, depth=46..59, filters=484193, revisions=(938145,useless=435983), ccks=22507795, wck=4.101, mem=75M276
13.13/7.44	    decisions=46428, wrong=13543, backtracks=1662, failedAssignments=11939, nogoods=5023, foundSolutions=13, bestBound=24
13.13/7.44	    
13.13/7.45	    num=183, depth=36..41, filters=485355, revisions=(940087,useless=436688), ccks=22558761, wck=4.108, mem=75M276
13.13/7.45	    decisions=46508, wrong=13563, backtracks=1665, failedAssignments=11956, nogoods=5028, foundSolutions=13, bestBound=24
13.13/7.45	    
13.13/7.46	    num=184, depth=55..65, filters=486955, revisions=(942873,useless=437758), ccks=22626864, wck=4.119, mem=75M276
13.13/7.46	    decisions=46611, wrong=13582, backtracks=1665, failedAssignments=11975, nogoods=5047, foundSolutions=13, bestBound=24
13.13/7.46	    
13.13/7.47	    num=185, depth=36..41, filters=488176, revisions=(944983,useless=438572), ccks=22679121, wck=4.127, mem=75M276
13.13/7.47	    decisions=46702, wrong=13607, backtracks=1669, failedAssignments=11996, nogoods=5054, foundSolutions=13, bestBound=24
13.13/7.47	    
13.13/7.48	    num=186, depth=34..37, filters=489433, revisions=(946850,useless=439112), ccks=22729706, wck=4.134, mem=75M276
13.13/7.48	    decisions=46788, wrong=13632, backtracks=1671, failedAssignments=12019, nogoods=5065, foundSolutions=13, bestBound=24
13.13/7.48	    
13.13/7.49	    num=187, depth=38..39, filters=490634, revisions=(948869,useless=439862), ccks=22781864, wck=4.142, mem=79M285
13.13/7.49	    decisions=46881, wrong=13659, backtracks=1673, failedAssignments=12044, nogoods=5074, foundSolutions=13, bestBound=24
13.13/7.49	    
13.13/7.49	    num=188, depth=35..37, filters=491987, revisions=(951030,useless=440609), ccks=22837011, wck=4.15, mem=79M285
13.13/7.49	    decisions=46980, wrong=13691, backtracks=1677, failedAssignments=12072, nogoods=5089, foundSolutions=13, bestBound=24
13.13/7.49	    
13.23/7.50	    num=189, depth=38..39, filters=493275, revisions=(953160,useless=441390), ccks=22890387, wck=4.158, mem=79M285
13.23/7.50	    decisions=47086, wrong=13725, backtracks=1680, failedAssignments=12103, nogoods=5098, foundSolutions=13, bestBound=24
13.23/7.50	    
13.23/7.51	    num=190, depth=34..38, filters=494850, revisions=(955847,useless=442437), ccks=22950809, wck=4.167, mem=79M285
13.23/7.51	    decisions=47202, wrong=13765, backtracks=1686, failedAssignments=12137, nogoods=5106, foundSolutions=13, bestBound=24
13.23/7.51	    
13.23/7.52	    num=191, depth=33..37, filters=496256, revisions=(958491,useless=443618), ccks=23004932, wck=4.175, mem=79M285
13.23/7.52	    decisions=47323, wrong=13808, backtracks=1695, failedAssignments=12174, nogoods=5115, foundSolutions=13, bestBound=24
13.23/7.52	    
13.23/7.53	    num=192, depth=34..59, filters=498034, revisions=(961585,useless=444851), ccks=23075016, wck=4.186, mem=79M285
13.23/7.53	    decisions=47469, wrong=13852, backtracks=1698, failedAssignments=12215, nogoods=5148, foundSolutions=13, bestBound=24
13.23/7.53	    
13.23/7.54	    num=193, depth=36..48, filters=499634, revisions=(964611,useless=446211), ccks=23141242, wck=4.197, mem=83M294
13.23/7.54	    decisions=47625, wrong=13906, backtracks=1707, failedAssignments=12260, nogoods=5167, foundSolutions=13, bestBound=24
13.23/7.54	    
13.23/7.55	    num=194, depth=40..60, filters=501519, revisions=(968251,useless=447875), ccks=23213287, wck=4.208, mem=83M294
13.23/7.55	    decisions=47803, wrong=13965, backtracks=1716, failedAssignments=12310, nogoods=5193, foundSolutions=13, bestBound=24
13.23/7.55	    
13.23/7.56	    num=195, depth=38..41, filters=503178, revisions=(971399,useless=449317), ccks=23278351, wck=4.218, mem=83M294
13.23/7.56	    decisions=47974, wrong=14031, backtracks=1727, failedAssignments=12365, nogoods=5195, foundSolutions=13, bestBound=24
13.23/7.56	    
13.23/7.57	    num=196, depth=34..38, filters=505047, revisions=(974889,useless=450895), ccks=23347116, wck=4.229, mem=83M294
13.23/7.57	    decisions=48150, wrong=14101, backtracks=1736, failedAssignments=12426, nogoods=5209, foundSolutions=13, bestBound=24
13.23/7.57	    
13.23/7.59	    num=197, depth=35..46, filters=506966, revisions=(978906,useless=452967), ccks=23432313, wck=4.242, mem=83M294
13.23/7.59	    decisions=48357, wrong=14182, backtracks=1750, failedAssignments=12493, nogoods=5228, foundSolutions=13, bestBound=24
13.23/7.59	    
13.33/7.60	    num=198, depth=35..69, filters=509177, revisions=(983398,useless=455185), ccks=23521219, wck=4.257, mem=87M302
13.33/7.60	    decisions=48590, wrong=14266, backtracks=1761, failedAssignments=12567, nogoods=5265, foundSolutions=13, bestBound=24
13.33/7.60	    
13.33/7.61	    num=199, depth=34..47, filters=510998, revisions=(987294,useless=457248), ccks=23593659, wck=4.269, mem=87M302
13.33/7.61	    decisions=48821, wrong=14360, backtracks=1774, failedAssignments=12648, nogoods=5272, foundSolutions=13, bestBound=24
13.33/7.61	    
13.33/7.63	    num=200, depth=34..38, filters=513320, revisions=(991670,useless=459286), ccks=23676756, wck=4.282, mem=87M302
13.33/7.63	    decisions=49056, wrong=14459, backtracks=1784, failedAssignments=12737, nogoods=5290, foundSolutions=13, bestBound=24
13.33/7.63	    
13.33/7.64	    num=201, depth=33..44, filters=515615, revisions=(997443,useless=462740), ccks=23759006, wck=4.296, mem=91M311
13.33/7.64	    decisions=49362, wrong=14590, backtracks=1817, failedAssignments=12835, nogoods=5304, foundSolutions=13, bestBound=24
13.33/7.64	    
13.33/7.65	    num=202, depth=34..38, filters=518290, revisions=(1002961,useless=465580), ccks=23854497, wck=4.312, mem=91M311
13.33/7.65	    decisions=49652, wrong=14717, backtracks=1836, failedAssignments=12943, nogoods=5325, foundSolutions=13, bestBound=24
13.33/7.65	    
13.33/7.67	    num=203, depth=35..40, filters=520649, revisions=(1007937,useless=468211), ccks=23935113, wck=4.325, mem=91M311
13.33/7.67	    decisions=49973, wrong=14858, backtracks=1858, failedAssignments=13062, nogoods=5342, foundSolutions=13, bestBound=24
13.33/7.67	    
13.33/7.69	    num=204, depth=34..75, filters=523685, revisions=(1014091,useless=471314), ccks=24049712, wck=4.345, mem=95M320
13.33/7.69	    decisions=50340, wrong=15005, backtracks=1874, failedAssignments=13193, nogoods=5379, foundSolutions=13, bestBound=24
13.33/7.69	    
13.43/7.70	    num=205, depth=35..39, filters=526415, revisions=(1020640,useless=475162), ccks=24136593, wck=4.361, mem=95M320
13.43/7.70	    decisions=50723, wrong=15178, backtracks=1903, failedAssignments=13337, nogoods=5396, foundSolutions=13, bestBound=24
13.43/7.70	    
13.43/7.72	    num=206, depth=34..39, filters=529519, revisions=(1027576,useless=479045), ccks=24238618, wck=4.378, mem=95M320
13.43/7.72	    decisions=51135, wrong=15366, backtracks=1933, failedAssignments=13495, nogoods=5411, foundSolutions=13, bestBound=24
13.43/7.72	    
13.43/7.74	    num=207, depth=33..36, filters=533114, revisions=(1034732,useless=482654), ccks=24355843, wck=4.398, mem=99M329
13.43/7.74	    decisions=51563, wrong=15563, backtracks=1956, failedAssignments=13669, nogoods=5419, foundSolutions=13, bestBound=24
13.43/7.74	    
13.43/7.76	    num=208, depth=34..38, filters=537327, revisions=(1042421,useless=486208), ccks=24484631, wck=4.42, mem=99M329
13.43/7.76	    decisions=52019, wrong=15773, backtracks=1975, failedAssignments=13860, nogoods=5432, foundSolutions=13, bestBound=24
13.43/7.76	    
13.43/7.79	    num=209, depth=33..36, filters=541512, revisions=(1051113,useless=490797), ccks=24611938, wck=4.442, mem=103M338
13.43/7.79	    decisions=52525, wrong=16008, backtracks=1999, failedAssignments=14071, nogoods=5464, foundSolutions=13, bestBound=24
13.43/7.79	    
13.54/7.81	    num=210, depth=35..40, filters=545399, revisions=(1058964,useless=494870), ccks=24740822, wck=4.465, mem=103M338
13.54/7.81	    decisions=53069, wrong=16262, backtracks=2025, failedAssignments=14303, nogoods=5471, foundSolutions=13, bestBound=24
13.54/7.81	    
13.54/7.85	    num=211, depth=30..33, filters=551922, revisions=(1076656,useless=506054), ccks=24972968, wck=4.505, mem=107M347
13.54/7.85	    decisions=53862, wrong=16643, backtracks=2176, failedAssignments=14558, nogoods=5483, foundSolutions=13, bestBound=24
13.54/7.85	    
13.54/7.88	    num=212, depth=34..54, filters=557668, revisions=(1090267,useless=514018), ccks=25169701, wck=4.539, mem=111M356
13.54/7.88	    decisions=54578, wrong=16975, backtracks=2227, failedAssignments=14839, nogoods=5512, foundSolutions=13, bestBound=24
13.54/7.88	    
13.64/7.91	    num=213, depth=36..40, filters=562214, revisions=(1101719,useless=521065), ccks=25305948, wck=4.565, mem=115M365
13.64/7.91	    decisions=55361, wrong=17347, backtracks=2292, failedAssignments=15148, nogoods=5548, foundSolutions=13, bestBound=24
13.64/7.91	    
13.64/7.94	    num=214, depth=33..77, filters=567701, revisions=(1114258,useless=528301), ccks=25487301, wck=4.598, mem=119M373
13.64/7.94	    decisions=56188, wrong=17723, backtracks=2338, failedAssignments=15488, nogoods=5609, foundSolutions=13, bestBound=24
13.64/7.94	    
13.64/7.98	    num=215, depth=35..40, filters=573955, revisions=(1129452,useless=537439), ccks=25663152, wck=4.632, mem=119M373
13.64/7.98	    decisions=57115, wrong=18168, backtracks=2410, failedAssignments=15862, nogoods=5646, foundSolutions=13, bestBound=24
13.64/7.98	    
13.75/8.02	    num=216, depth=36..76, filters=581184, revisions=(1147727,useless=548695), ccks=25888533, wck=4.676, mem=127M391
13.75/8.02	    decisions=58192, wrong=18669, backtracks=2504, failedAssignments=16273, nogoods=5697, foundSolutions=13, bestBound=24
13.75/8.02	    
13.75/8.06	    num=217, depth=34..39, filters=588924, revisions=(1166105,useless=559617), ccks=26089118, wck=4.717, mem=131M400
13.75/8.06	    decisions=59301, wrong=19205, backtracks=2591, failedAssignments=16725, nogoods=5728, foundSolutions=13, bestBound=24
13.75/8.06	    
13.85/8.11	    num=218, depth=34..124, filters=597860, revisions=(1186637,useless=571373), ccks=26376101, wck=4.772, mem=135M409
13.85/8.11	    decisions=60558, wrong=19772, backtracks=2667, failedAssignments=17222, nogoods=5838, foundSolutions=13, bestBound=24
13.85/8.11	    
13.85/8.16	    num=219, depth=35..40, filters=605692, revisions=(1206713,useless=583942), ccks=26581803, wck=4.814, mem=139M418
13.85/8.16	    decisions=61920, wrong=20435, backtracks=2783, failedAssignments=17769, nogoods=5840, foundSolutions=13, bestBound=24
13.85/8.16	    
13.94/8.21	    num=220, depth=33..37, filters=616064, revisions=(1232160,useless=599423), ccks=26889114, wck=4.871, mem=143M427
13.94/8.21	    decisions=63413, wrong=21164, backtracks=2920, failedAssignments=18371, nogoods=5859, foundSolutions=13, bestBound=24
13.94/8.21	    
13.94/8.26	    num=221, depth=33..39, filters=624539, revisions=(1253856,useless=613184), ccks=27118935, wck=4.918, mem=151M444
13.94/8.26	    decisions=64990, wrong=21935, backtracks=3042, failedAssignments=19033, nogoods=5882, foundSolutions=13, bestBound=24
13.94/8.26	    
14.04/8.33	    num=222, depth=34..39, filters=636561, revisions=(1285886,useless=633702), ccks=27470977, wck=4.985, mem=155M453
14.04/8.33	    decisions=66753, wrong=22798, backtracks=3215, failedAssignments=19761, nogoods=5896, foundSolutions=13, bestBound=24
14.04/8.33	    
14.14/8.42	    num=223, depth=38..244, filters=649327, revisions=(1315017,useless=650489), ccks=27930464, wck=5.077, mem=167M480
14.14/8.42	    decisions=68798, wrong=23700, backtracks=3317, failedAssignments=20562, nogoods=6219, foundSolutions=13, bestBound=24
14.14/8.42	    
14.24/8.50	    num=224, depth=34..38, filters=665213, revisions=(1354500,useless=674669), ccks=28352183, wck=5.158, mem=175M498
14.24/8.50	    decisions=70985, wrong=24775, backtracks=3524, failedAssignments=21443, nogoods=6238, foundSolutions=13, bestBound=24
14.24/8.50	    
14.24/8.59	    num=225, depth=34..39, filters=682101, revisions=(1396479,useless=700352), ccks=28833768, wck=5.251, mem=187M524
14.24/8.59	    decisions=73292, wrong=25911, backtracks=3728, failedAssignments=22413, nogoods=6266, foundSolutions=13, bestBound=24
14.24/8.59	    
14.34/8.69	    num=226, depth=32..37, filters=699299, revisions=(1442007,useless=729435), ccks=29303657, wck=5.343, mem=195M542
14.34/8.69	    decisions=75960, wrong=27228, backtracks=3999, failedAssignments=23480, nogoods=6274, foundSolutions=13, bestBound=24
14.34/8.69	    
14.54/8.81	    num=227, depth=32..223, filters=719871, revisions=(1490320,useless=757811), ccks=29926901, wck=5.466, mem=211M577
14.54/8.81	    decisions=78910, wrong=28592, backtracks=4195, failedAssignments=24653, nogoods=6556, foundSolutions=13, bestBound=24
14.54/8.81	    
14.64/8.94	    num=228, depth=35..140, filters=742029, revisions=(1546876,useless=793035), ccks=30571919, wck=5.6, mem=227M613
14.64/8.94	    decisions=82192, wrong=30164, backtracks=4490, failedAssignments=25944, nogoods=6692, foundSolutions=13, bestBound=24
14.64/8.94	    
14.75/9.09	    num=229, depth=33..39, filters=766242, revisions=(1606096,useless=828992), ccks=31178442, wck=5.751, mem=44M307
14.75/9.09	    decisions=85687, wrong=31894, backtracks=4805, failedAssignments=27364, nogoods=6702, foundSolutions=13, bestBound=24
14.75/9.09	    
15.00/9.24	o 22
15.00/9.25	    num=230, depth=33..679, filters=786379, revisions=(1658608,useless=862374), ccks=31810752, wck=5.903, mem=62M500
15.00/9.25	    decisions=89511, wrong=33637, backtracks=5077, failedAssignments=28841, nogoods=6988, foundSolutions=14, bestBound=22
15.00/9.25	    
15.12/9.36	    num=231, depth=28..32, filters=805697, revisions=(1727545,useless=913144), ccks=32231453, wck=6.018, mem=74M630
15.12/9.36	    decisions=94265, wrong=35999, backtracks=5810, failedAssignments=30559, nogoods=6990, foundSolutions=14, bestBound=22
15.12/9.36	    
15.12/9.37	    num=232, depth=32..37, filters=806671, revisions=(1729061,useless=913618), ccks=32281343, wck=6.025, mem=74M630
15.12/9.37	    decisions=94325, wrong=36011, backtracks=5811, failedAssignments=30570, nogoods=6997, foundSolutions=14, bestBound=22
15.12/9.37	    
15.12/9.38	    num=233, depth=30..32, filters=807600, revisions=(1730690,useless=914257), ccks=32325794, wck=6.032, mem=74M630
15.12/9.38	    decisions=94390, wrong=36028, backtracks=5816, failedAssignments=30582, nogoods=7000, foundSolutions=14, bestBound=22
15.12/9.38	    
15.12/9.38	    num=234, depth=29..31, filters=808542, revisions=(1732370,useless=914932), ccks=32369032, wck=6.038, mem=74M630
15.12/9.38	    decisions=94461, wrong=36049, backtracks=5825, failedAssignments=30595, nogoods=7001, foundSolutions=14, bestBound=22
15.12/9.38	    
15.12/9.39	    num=235, depth=33..34, filters=809555, revisions=(1733886,useless=915373), ccks=32414142, wck=6.044, mem=80M694
15.12/9.39	    decisions=94524, wrong=36064, backtracks=5826, failedAssignments=30609, nogoods=7006, foundSolutions=14, bestBound=22
15.12/9.39	    
15.12/9.39	    num=236, depth=30..32, filters=810553, revisions=(1735743,useless=916177), ccks=32459806, wck=6.051, mem=80M694
15.12/9.39	    decisions=94601, wrong=36087, backtracks=5834, failedAssignments=30625, nogoods=7010, foundSolutions=14, bestBound=22
15.12/9.39	    
15.27/9.40	    num=237, depth=29..31, filters=811474, revisions=(1737327,useless=916782), ccks=32502130, wck=6.057, mem=80M694
15.27/9.40	    decisions=94671, wrong=36107, backtracks=5838, failedAssignments=30642, nogoods=7013, foundSolutions=14, bestBound=22
15.27/9.40	    
15.27/9.41	    num=238, depth=33..36, filters=812682, revisions=(1739414,useless=917598), ccks=32554429, wck=6.064, mem=80M694
15.27/9.41	    decisions=94753, wrong=36131, backtracks=5843, failedAssignments=30661, nogoods=7024, foundSolutions=14, bestBound=22
15.27/9.41	    
15.27/9.41	    num=239, depth=30..32, filters=813739, revisions=(1741504,useless=918581), ccks=32602487, wck=6.072, mem=80M694
15.27/9.41	    decisions=94845, wrong=36162, backtracks=5854, failedAssignments=30682, nogoods=7030, foundSolutions=14, bestBound=22
15.27/9.41	    
15.27/9.42	    num=240, depth=33..38, filters=814768, revisions=(1743214,useless=919206), ccks=32650302, wck=6.078, mem=80M694
15.27/9.42	    decisions=94932, wrong=36187, backtracks=5856, failedAssignments=30705, nogoods=7042, foundSolutions=14, bestBound=22
15.27/9.42	    
15.27/9.43	    num=241, depth=29..32, filters=815893, revisions=(1745507,useless=920318), ccks=32700166, wck=6.086, mem=80M694
15.27/9.43	    decisions=95034, wrong=36223, backtracks=5870, failedAssignments=30730, nogoods=7047, foundSolutions=14, bestBound=22
15.27/9.43	    
15.27/9.44	    num=242, depth=33..36, filters=817322, revisions=(1748114,useless=921434), ccks=32756890, wck=6.094, mem=80M694
15.27/9.44	    decisions=95139, wrong=36259, backtracks=5879, failedAssignments=30758, nogoods=7054, foundSolutions=14, bestBound=22
15.27/9.44	    
15.27/9.45	    num=243, depth=29..32, filters=818442, revisions=(1750349,useless=922493), ccks=32804980, wck=6.102, mem=80M694
15.27/9.45	    decisions=95246, wrong=36297, backtracks=5888, failedAssignments=30789, nogoods=7060, foundSolutions=14, bestBound=22
15.27/9.45	    
15.27/9.45	    num=244, depth=32..42, filters=819789, revisions=(1752791,useless=923528), ccks=32860541, wck=6.11, mem=80M694
15.27/9.45	    decisions=95361, wrong=36334, backtracks=5891, failedAssignments=30823, nogoods=7082, foundSolutions=14, bestBound=22
15.27/9.45	    
15.27/9.46	    num=245, depth=29..32, filters=820972, revisions=(1755324,useless=924825), ccks=32910632, wck=6.118, mem=80M694
15.27/9.46	    decisions=95486, wrong=36381, backtracks=5903, failedAssignments=30860, nogoods=7086, foundSolutions=14, bestBound=22
15.27/9.46	    
15.27/9.47	    num=246, depth=35..37, filters=822367, revisions=(1757800,useless=925867), ccks=32968371, wck=6.126, mem=80M694
15.27/9.47	    decisions=95615, wrong=36428, backtracks=5909, failedAssignments=30901, nogoods=7099, foundSolutions=14, bestBound=22
15.27/9.47	    
15.27/9.48	    num=247, depth=29..32, filters=823868, revisions=(1761093,useless=927598), ccks=33030476, wck=6.136, mem=86M759
15.27/9.48	    decisions=95764, wrong=36487, backtracks=5927, failedAssignments=30946, nogoods=7108, foundSolutions=14, bestBound=22
15.27/9.48	    
15.27/9.49	    num=248, depth=33..43, filters=825426, revisions=(1763914,useless=928817), ccks=33091957, wck=6.145, mem=86M759
15.27/9.49	    decisions=95914, wrong=36541, backtracks=5931, failedAssignments=30996, nogoods=7140, foundSolutions=14, bestBound=22
15.27/9.49	    
15.38/9.50	    num=249, depth=29..32, filters=827254, revisions=(1768135,useless=931157), ccks=33160843, wck=6.157, mem=86M759
15.38/9.50	    decisions=96107, wrong=36623, backtracks=5961, failedAssignments=31051, nogoods=7146, foundSolutions=14, bestBound=22
15.38/9.50	    
15.38/9.51	    num=250, depth=33..37, filters=828934, revisions=(1771110,useless=932436), ccks=33224538, wck=6.166, mem=86M759
15.38/9.51	    decisions=96278, wrong=36691, backtracks=5968, failedAssignments=31112, nogoods=7156, foundSolutions=14, bestBound=22
15.38/9.51	    
15.38/9.52	    num=251, depth=29..32, filters=830685, revisions=(1775236,useless=934767), ccks=33291268, wck=6.177, mem=87M596
15.38/9.52	    decisions=96489, wrong=36781, backtracks=5998, failedAssignments=31179, nogoods=7166, foundSolutions=14, bestBound=22
15.38/9.52	    
15.38/9.53	    num=252, depth=29..31, filters=832069, revisions=(1778504,useless=936637), ccks=33346613, wck=6.186, mem=87M596
15.38/9.53	    decisions=96711, wrong=36877, backtracks=6022, failedAssignments=31253, nogoods=7171, foundSolutions=14, bestBound=22
15.38/9.53	    
15.38/9.54	    num=253, depth=33..56, filters=834104, revisions=(1782523,useless=938583), ccks=33425355, wck=6.199, mem=87M596
15.38/9.54	    decisions=96940, wrong=36964, backtracks=6030, failedAssignments=31334, nogoods=7218, foundSolutions=14, bestBound=22
15.38/9.54	    
15.38/9.56	    num=254, depth=29..32, filters=836566, revisions=(1788498,useless=942048), ccks=33522947, wck=6.215, mem=93M660
15.38/9.56	    decisions=97222, wrong=37090, backtracks=6075, failedAssignments=31423, nogoods=7222, foundSolutions=14, bestBound=22
15.38/9.56	    
15.38/9.57	    num=255, depth=36..70, filters=839061, revisions=(1793553,useless=944577), ccks=33621351, wck=6.232, mem=93M660
15.38/9.57	    decisions=97510, wrong=37200, backtracks=6087, failedAssignments=31521, nogoods=7264, foundSolutions=14, bestBound=22
15.38/9.57	    
15.38/9.59	    num=256, depth=28..32, filters=841471, revisions=(1800432,useless=949026), ccks=33705919, wck=6.247, mem=93M660
15.38/9.59	    decisions=97853, wrong=37356, backtracks=6152, failedAssignments=31629, nogoods=7267, foundSolutions=14, bestBound=22
15.38/9.59	    
15.48/9.61	    num=257, depth=33..62, filters=844214, revisions=(1806161,useless=951982), ccks=33808488, wck=6.265, mem=93M660
15.48/9.61	    decisions=98184, wrong=37491, backtracks=6169, failedAssignments=31748, nogoods=7303, foundSolutions=14, bestBound=22
15.48/9.61	    
15.48/9.62	    num=258, depth=29..32, filters=846528, revisions=(1812771,useless=956302), ccks=33892781, wck=6.28, mem=99M725
15.48/9.62	    decisions=98564, wrong=37666, backtracks=6221, failedAssignments=31879, nogoods=7319, foundSolutions=14, bestBound=22
15.48/9.62	    
15.48/9.64	    num=259, depth=34..37, filters=850150, revisions=(1820096,useless=960034), ccks=34014523, wck=6.3, mem=99M725
15.48/9.64	    decisions=98947, wrong=37840, backtracks=6251, failedAssignments=32023, nogoods=7343, foundSolutions=14, bestBound=22
15.48/9.64	    
15.48/9.66	    num=260, depth=29..32, filters=853061, revisions=(1827829,useless=964875), ccks=34115300, wck=6.318, mem=99M725
15.48/9.66	    decisions=99414, wrong=38058, backtracks=6321, failedAssignments=32181, nogoods=7350, foundSolutions=14, bestBound=22
15.48/9.66	    
15.48/9.68	    num=261, depth=32..38, filters=856113, revisions=(1835980,useless=970063), ccks=34223860, wck=6.337, mem=99M725
15.48/9.68	    decisions=99883, wrong=38275, backtracks=6369, failedAssignments=32355, nogoods=7368, foundSolutions=14, bestBound=22
15.48/9.68	    
15.58/9.70	    num=262, depth=29..32, filters=859890, revisions=(1845924,useless=976281), ccks=34363253, wck=6.361, mem=105M789
15.58/9.70	    decisions=100458, wrong=38547, backtracks=6459, failedAssignments=32546, nogoods=7382, foundSolutions=14, bestBound=22
15.58/9.70	    
15.58/9.73	    num=263, depth=33..38, filters=864417, revisions=(1856537,useless=982423), ccks=34502580, wck=6.386, mem=105M789
15.58/9.73	    decisions=101004, wrong=38803, backtracks=6508, failedAssignments=32757, nogoods=7393, foundSolutions=14, bestBound=22
15.58/9.73	    
15.58/9.76	    num=264, depth=29..32, filters=868475, revisions=(1868233,useless=990126), ccks=34647036, wck=6.419, mem=111M854
15.58/9.76	    decisions=101676, wrong=39123, backtracks=6611, failedAssignments=32989, nogoods=7411, foundSolutions=14, bestBound=22
15.58/9.76	    
15.58/9.79	    num=265, depth=32..37, filters=873695, revisions=(1880476,useless=997234), ccks=34804114, wck=6.447, mem=117M919
15.58/9.79	    decisions=102323, wrong=39429, backtracks=6665, failedAssignments=33244, nogoods=7425, foundSolutions=14, bestBound=22
15.58/9.79	    
15.68/9.81	    num=266, depth=29..32, filters=877395, revisions=(1890793,useless=1004036), ccks=34932449, wck=6.471, mem=117M919
15.68/9.81	    decisions=103049, wrong=39776, backtracks=6741, failedAssignments=33525, nogoods=7435, foundSolutions=14, bestBound=22
15.68/9.81	    
15.68/9.85	    num=267, depth=31..38, filters=883155, revisions=(1904367,useless=1011983), ccks=35105651, wck=6.503, mem=117M919
15.68/9.85	    decisions=103833, wrong=40150, backtracks=6806, failedAssignments=33834, nogoods=7467, foundSolutions=14, bestBound=22
15.68/9.85	    
15.68/9.88	    num=268, depth=29..32, filters=887950, revisions=(1918867,useless=1021914), ccks=35264130, wck=6.534, mem=123M983
15.68/9.88	    decisions=104779, wrong=40607, backtracks=6943, failedAssignments=34174, nogoods=7473, foundSolutions=14, bestBound=22
15.68/9.88	    
15.78/9.91	    num=269, depth=33..38, filters=894422, revisions=(1934412,useless=1031148), ccks=35452082, wck=6.569, mem=123M983
15.78/9.91	    decisions=105687, wrong=41043, backtracks=7007, failedAssignments=34548, nogoods=7495, foundSolutions=14, bestBound=22
15.78/9.91	    
15.78/9.95	    num=270, depth=29..32, filters=900017, revisions=(1950080,useless=1041378), ccks=35639230, wck=6.605, mem=130M48
15.78/9.95	    decisions=106765, wrong=41566, backtracks=7133, failedAssignments=34959, nogoods=7500, foundSolutions=14, bestBound=22
15.78/9.95	    
15.78/10.00	    num=271, depth=33..37, filters=909704, revisions=(1973029,useless=1054758), ccks=35936709, wck=6.658, mem=136M112
15.78/10.00	    decisions=107939, wrong=42136, backtracks=7253, failedAssignments=35411, nogoods=7515, foundSolutions=14, bestBound=22
15.78/10.00	    
15.93/10.05	    num=272, depth=29..32, filters=916416, revisions=(1992529,useless=1067746), ccks=36157474, wck=6.702, mem=142M177
15.93/10.05	    decisions=109256, wrong=42779, backtracks=7421, failedAssignments=35908, nogoods=7523, foundSolutions=14, bestBound=22
15.93/10.05	    
15.93/10.10	    num=273, depth=32..59, filters=925789, revisions=(2016317,useless=1082441), ccks=36418749, wck=6.753, mem=142M177
15.93/10.10	    decisions=110605, wrong=43426, backtracks=7523, failedAssignments=36455, nogoods=7564, foundSolutions=14, bestBound=22
15.93/10.10	    
16.04/10.18	    num=274, depth=28..32, filters=939488, revisions=(2055466,useless=1108035), ccks=36880643, wck=6.837, mem=154M306
16.04/10.18	    decisions=112343, wrong=44279, backtracks=7841, failedAssignments=37057, nogoods=7576, foundSolutions=14, bestBound=22
16.04/10.18	    
16.13/10.24	    num=275, depth=31..48, filters=949359, revisions=(2080271,useless=1123482), ccks=37192878, wck=6.895, mem=160M371
16.13/10.24	    decisions=113962, wrong=45067, backtracks=7970, failedAssignments=37719, nogoods=7616, foundSolutions=14, bestBound=22
16.13/10.24	    
16.23/10.30	    num=276, depth=16..39, filters=960365, revisions=(2109464,useless=1142162), ccks=37532995, wck=6.96, mem=166M435
16.23/10.30	    decisions=115784, wrong=45959, backtracks=8137, failedAssignments=38447, nogoods=7626, foundSolutions=14, bestBound=22
16.23/10.30	    
16.23/10.36	    num=277, depth=27..31, filters=969913, revisions=(2140411,useless=1164147), ccks=37770290, wck=7.016, mem=172M500
16.23/10.36	    decisions=118028, wrong=47067, backtracks=8487, failedAssignments=39248, nogoods=7638, foundSolutions=14, bestBound=22
16.23/10.36	    
16.33/10.45	    num=278, depth=31..37, filters=986808, revisions=(2180593,useless=1187975), ccks=38245048, wck=7.103, mem=178M565
16.33/10.45	    decisions=120157, wrong=48114, backtracks=8658, failedAssignments=40129, nogoods=7658, foundSolutions=14, bestBound=22
16.33/10.45	    
16.43/10.51	    num=279, depth=26..30, filters=998270, revisions=(2218110,useless=1214766), ccks=38524596, wck=7.171, mem=184M629
16.43/10.51	    decisions=122874, wrong=49459, backtracks=9089, failedAssignments=41099, nogoods=7677, foundSolutions=14, bestBound=22
16.43/10.51	    
16.53/10.61	    num=280, depth=31..38, filters=1017650, revisions=(2263512,useless=1241405), ccks=39050640, wck=7.269, mem=196M758
16.53/10.61	    decisions=125407, wrong=50708, backtracks=9275, failedAssignments=42166, nogoods=7708, foundSolutions=14, bestBound=22
16.53/10.61	    
16.53/10.70	    num=281, depth=27..31, filters=1031373, revisions=(2310808,useless=1275857), ccks=39400146, wck=7.352, mem=202M823
16.53/10.70	    decisions=128746, wrong=52363, backtracks=9819, failedAssignments=43339, nogoods=7714, foundSolutions=14, bestBound=22
16.53/10.70	    
16.73/10.81	    num=282, depth=33..67, filters=1052572, revisions=(2366006,useless=1310684), ccks=39992985, wck=7.47, mem=221M17
16.73/10.81	    decisions=131943, wrong=53930, backtracks=10097, failedAssignments=44630, nogoods=7764, foundSolutions=14, bestBound=22
16.73/10.81	    
16.83/10.94	    num=283, depth=28..31, filters=1069444, revisions=(2422204,useless=1350989), ccks=40483773, wck=7.592, mem=239M211
16.83/10.94	    decisions=135783, wrong=55835, backtracks=10649, failedAssignments=46050, nogoods=7777, foundSolutions=14, bestBound=22
16.83/10.94	    
16.94/11.07	    num=284, depth=33..66, filters=1093186, revisions=(2484230,useless=1390491), ccks=41101656, wck=7.722, mem=251M340
16.94/11.07	    decisions=139583, wrong=57703, backtracks=10960, failedAssignments=47612, nogoods=7851, foundSolutions=14, bestBound=22
16.94/11.07	    
17.04/11.19	    num=285, depth=27..31, filters=1114199, revisions=(2556933,useless=1443437), ccks=41605318, wck=7.848, mem=263M469
17.04/11.19	    decisions=144402, wrong=60097, backtracks=11753, failedAssignments=49330, nogoods=7862, foundSolutions=14, bestBound=22
17.04/11.19	    
17.23/11.31	o 20
17.23/11.31	    num=286, depth=31..679, filters=1128406, revisions=(2590518,useless=1463620), ccks=42079767, wck=7.968, mem=287M728
17.23/11.31	    decisions=147315, wrong=61386, backtracks=11874, failedAssignments=50506, nogoods=8394, foundSolutions=15, bestBound=20
17.23/11.31	    
17.43/11.53	    num=287, depth=26..30, filters=1165663, revisions=(2698206,useless=1535567), ccks=43159108, wck=8.189, mem=305M922
17.43/11.53	    decisions=153091, wrong=64259, backtracks=12789, failedAssignments=52585, nogoods=8406, foundSolutions=15, bestBound=20
17.43/11.53	    
17.43/11.54	    num=288, depth=28..29, filters=1166461, revisions=(2699450,useless=1535950), ccks=43201532, wck=8.195, mem=305M922
17.43/11.54	    decisions=153145, wrong=64272, backtracks=12791, failedAssignments=52596, nogoods=8408, foundSolutions=15, bestBound=20
17.43/11.54	    
17.43/11.54	    num=289, depth=28..29, filters=1167244, revisions=(2700732,useless=1536388), ccks=43239416, wck=8.2, mem=305M922
17.43/11.54	    decisions=153202, wrong=64286, backtracks=12793, failedAssignments=52608, nogoods=8412, foundSolutions=15, bestBound=20
17.43/11.54	    
17.43/11.55	    num=290, depth=16..37, filters=1168283, revisions=(2702365,useless=1536907), ccks=43287752, wck=8.207, mem=311M987
17.43/11.55	    decisions=153266, wrong=64300, backtracks=12794, failedAssignments=52621, nogoods=8422, foundSolutions=15, bestBound=20
17.43/11.55	    
17.43/11.56	    num=291, depth=29..30, filters=1169176, revisions=(2703744,useless=1537329), ccks=43331927, wck=8.213, mem=311M987
17.43/11.56	    decisions=153326, wrong=64315, backtracks=12795, failedAssignments=52635, nogoods=8429, foundSolutions=15, bestBound=20
17.43/11.56	    
17.43/11.56	    num=292, depth=35..38, filters=1170317, revisions=(2705767,useless=1538134), ccks=43382525, wck=8.221, mem=311M987
17.43/11.56	    decisions=153405, wrong=64336, backtracks=12800, failedAssignments=52651, nogoods=8439, foundSolutions=15, bestBound=20
17.43/11.56	    
17.43/11.57	    num=293, depth=29..30, filters=1171242, revisions=(2707223,useless=1538604), ccks=43426215, wck=8.227, mem=311M987
17.43/11.57	    decisions=153471, wrong=64354, backtracks=12801, failedAssignments=52668, nogoods=8449, foundSolutions=15, bestBound=20
17.43/11.57	    
17.43/11.58	    num=294, depth=35..37, filters=1172396, revisions=(2709278,useless=1539431), ccks=43476471, wck=8.234, mem=311M987
17.43/11.58	    decisions=153552, wrong=64377, backtracks=12805, failedAssignments=52687, nogoods=8453, foundSolutions=15, bestBound=20
17.43/11.58	    
17.43/11.58	    num=295, depth=29..30, filters=1173407, revisions=(2710976,useless=1540058), ccks=43522531, wck=8.24, mem=311M987
17.43/11.58	    decisions=153630, wrong=64401, backtracks=12808, failedAssignments=52708, nogoods=8459, foundSolutions=15, bestBound=20
17.43/11.58	    
17.43/11.59	    num=296, depth=35..38, filters=1174527, revisions=(2713068,useless=1540961), ccks=43572595, wck=8.248, mem=311M987
17.43/11.59	    decisions=153723, wrong=64429, backtracks=12813, failedAssignments=52731, nogoods=8465, foundSolutions=15, bestBound=20
17.43/11.59	    
17.53/11.60	    num=297, depth=29..30, filters=1175649, revisions=(2715032,useless=1541749), ccks=43622396, wck=8.255, mem=311M987
17.53/11.60	    decisions=153813, wrong=64459, backtracks=12818, failedAssignments=52756, nogoods=8471, foundSolutions=15, bestBound=20
17.53/11.60	    
17.53/11.61	    num=298, depth=34..37, filters=1176914, revisions=(2717399,useless=1542786), ccks=43676060, wck=8.263, mem=311M987
17.53/11.61	    decisions=153915, wrong=64492, backtracks=12823, failedAssignments=52784, nogoods=8478, foundSolutions=15, bestBound=20
17.53/11.61	    
17.53/11.61	    num=299, depth=29..31, filters=1177988, revisions=(2719399,useless=1543661), ccks=43724057, wck=8.27, mem=311M987
17.53/11.61	    decisions=154022, wrong=64530, backtracks=12830, failedAssignments=52815, nogoods=8484, foundSolutions=15, bestBound=20
17.53/11.61	    
17.53/11.62	    num=300, depth=15..36, filters=1179412, revisions=(2721909,useless=1544686), ccks=43782084, wck=8.279, mem=311M987
17.53/11.62	    decisions=154135, wrong=64569, backtracks=12835, failedAssignments=52849, nogoods=8495, foundSolutions=15, bestBound=20
17.53/11.62	    
17.53/11.63	    num=301, depth=29..31, filters=1180542, revisions=(2724059,useless=1545662), ccks=43832630, wck=8.287, mem=311M987
17.53/11.63	    decisions=154259, wrong=64616, backtracks=12845, failedAssignments=52886, nogoods=8500, foundSolutions=15, bestBound=20
17.53/11.63	    
17.53/11.64	    num=302, depth=34..36, filters=1182195, revisions=(2727005,useless=1546894), ccks=43894846, wck=8.296, mem=311M987
17.53/11.64	    decisions=154390, wrong=64664, backtracks=12852, failedAssignments=52927, nogoods=8519, foundSolutions=15, bestBound=20
17.53/11.64	    
17.53/11.65	    num=303, depth=29..31, filters=1183405, revisions=(2729409,useless=1548055), ccks=43948734, wck=8.304, mem=318M51
17.53/11.65	    decisions=154534, wrong=64721, backtracks=12864, failedAssignments=52972, nogoods=8525, foundSolutions=15, bestBound=20
17.53/11.65	    
17.53/11.66	    num=304, depth=33..36, filters=1185284, revisions=(2733060,useless=1549768), ccks=44019060, wck=8.315, mem=318M51
17.53/11.66	    decisions=154685, wrong=64779, backtracks=12873, failedAssignments=53022, nogoods=8535, foundSolutions=15, bestBound=20
17.53/11.66	    
17.53/11.67	    num=305, depth=29..30, filters=1186694, revisions=(2735725,useless=1550998), ccks=44076853, wck=8.324, mem=318M51
17.53/11.67	    decisions=154839, wrong=64841, backtracks=12880, failedAssignments=53077, nogoods=8546, foundSolutions=15, bestBound=20
17.53/11.67	    
17.53/11.68	    num=306, depth=16..37, filters=1188466, revisions=(2739325,useless=1552787), ccks=44145973, wck=8.335, mem=318M51
17.53/11.68	    decisions=155022, wrong=64915, backtracks=12893, failedAssignments=53138, nogoods=8558, foundSolutions=15, bestBound=20
17.53/11.68	    
17.53/11.69	    num=307, depth=29..30, filters=1190045, revisions=(2742351,useless=1554219), ccks=44207386, wck=8.344, mem=318M51
17.53/11.69	    decisions=155203, wrong=64991, backtracks=12902, failedAssignments=53205, nogoods=8567, foundSolutions=15, bestBound=20
17.53/11.69	    
17.64/11.70	    num=308, depth=34..37, filters=1192159, revisions=(2747012,useless=1556730), ccks=44287990, wck=8.357, mem=318M51
17.64/11.70	    decisions=155426, wrong=65085, backtracks=12922, failedAssignments=53279, nogoods=8576, foundSolutions=15, bestBound=20
17.64/11.70	    
17.64/11.71	    num=309, depth=29..30, filters=1193899, revisions=(2750410,useless=1558388), ccks=44353614, wck=8.367, mem=318M51
17.64/11.71	    decisions=155638, wrong=65176, backtracks=12932, failedAssignments=53360, nogoods=8590, foundSolutions=15, bestBound=20
17.64/11.71	    
17.64/11.72	    num=310, depth=31..38, filters=1195833, revisions=(2754822,useless=1560867), ccks=44427081, wck=8.38, mem=318M51
17.64/11.72	    decisions=155884, wrong=65281, backtracks=12948, failedAssignments=53449, nogoods=8604, foundSolutions=15, bestBound=20
17.64/11.72	    
17.64/11.73	    num=311, depth=28..30, filters=1197799, revisions=(2759383,useless=1563488), ccks=44495995, wck=8.391, mem=324M116
17.64/11.73	    decisions=156156, wrong=65402, backtracks=12972, failedAssignments=53547, nogoods=8618, foundSolutions=15, bestBound=20
17.64/11.73	    
17.64/11.75	    num=312, depth=16..53, filters=1200217, revisions=(2764588,useless=1566282), ccks=44584990, wck=8.406, mem=324M116
17.64/11.75	    decisions=156462, wrong=65529, backtracks=12991, failedAssignments=53655, nogoods=8666, foundSolutions=15, bestBound=20
17.64/11.75	    
17.64/11.76	    num=313, depth=29..30, filters=1202467, revisions=(2769277,useless=1568752), ccks=44663870, wck=8.419, mem=324M116
17.64/11.76	    decisions=156761, wrong=65664, backtracks=13007, failedAssignments=53774, nogoods=8685, foundSolutions=15, bestBound=20
17.64/11.76	    
17.64/11.78	    num=314, depth=33..38, filters=1205339, revisions=(2775803,useless=1572402), ccks=44760935, wck=8.436, mem=324M116
17.64/11.78	    decisions=157102, wrong=65817, backtracks=13030, failedAssignments=53905, nogoods=8706, foundSolutions=15, bestBound=20
17.64/11.78	    
17.64/11.79	    num=315, depth=29..31, filters=1207662, revisions=(2781646,useless=1575973), ccks=44848970, wck=8.451, mem=324M116
17.64/11.79	    decisions=157505, wrong=66003, backtracks=13075, failedAssignments=54049, nogoods=8712, foundSolutions=15, bestBound=20
17.64/11.79	    
17.74/11.82	    num=316, depth=33..37, filters=1211418, revisions=(2789771,useless=1580380), ccks=44971060, wck=8.472, mem=330M180
17.74/11.82	    decisions=157922, wrong=66195, backtracks=13109, failedAssignments=54207, nogoods=8721, foundSolutions=15, bestBound=20
17.74/11.82	    
17.74/11.83	    num=317, depth=28..30, filters=1214347, revisions=(2797019,useless=1584795), ccks=45058875, wck=8.489, mem=330M180
17.74/11.83	    decisions=158382, wrong=66410, backtracks=13153, failedAssignments=54381, nogoods=8726, foundSolutions=15, bestBound=20
17.74/11.83	    
17.74/11.86	    num=318, depth=31..67, filters=1218243, revisions=(2806445,useless=1590392), ccks=45197237, wck=8.514, mem=330M180
17.74/11.86	    decisions=158923, wrong=66647, backtracks=13199, failedAssignments=54572, nogoods=8782, foundSolutions=15, bestBound=20
17.74/11.86	    
17.74/11.88	    num=319, depth=29..31, filters=1221384, revisions=(2814804,useless=1595716), ccks=45311058, wck=8.535, mem=336M245
17.74/11.88	    decisions=159506, wrong=66924, backtracks=13270, failedAssignments=54783, nogoods=8791, foundSolutions=15, bestBound=20
17.74/11.88	    
17.84/11.90	    num=320, depth=14..52, filters=1225617, revisions=(2823446,useless=1600226), ccks=45440708, wck=8.558, mem=336M245
17.84/11.90	    decisions=160079, wrong=67185, backtracks=13299, failedAssignments=55015, nogoods=8837, foundSolutions=15, bestBound=20
17.84/11.90	    
17.84/11.92	    num=321, depth=28..30, filters=1229012, revisions=(2833002,useless=1606529), ccks=45537809, wck=8.578, mem=336M245
17.84/11.92	    decisions=160715, wrong=67488, backtracks=13350, failedAssignments=55270, nogoods=8845, foundSolutions=15, bestBound=20
17.84/11.92	    
17.84/11.96	    num=322, depth=15..38, filters=1233943, revisions=(2844101,useless=1612820), ccks=45687394, wck=8.62, mem=39M270
17.84/11.96	    decisions=161405, wrong=67816, backtracks=13398, failedAssignments=55551, nogoods=8871, foundSolutions=15, bestBound=20
17.84/11.96	    
17.84/11.99	    num=323, depth=28..30, filters=1238844, revisions=(2856028,useless=1620079), ccks=45841828, wck=8.648, mem=39M270
17.84/11.99	    decisions=162173, wrong=68185, backtracks=13462, failedAssignments=55860, nogoods=8882, foundSolutions=15, bestBound=20
17.84/11.99	    
17.98/12.03	    num=324, depth=15..45, filters=1245540, revisions=(2872270,useless=1629775), ccks=46056468, wck=8.686, mem=45M338
17.98/12.03	    decisions=163064, wrong=68608, backtracks=13548, failedAssignments=56200, nogoods=8910, foundSolutions=15, bestBound=20
17.98/12.03	    
17.98/12.06	    num=325, depth=29..31, filters=1250998, revisions=(2885243,useless=1637583), ccks=46221874, wck=8.717, mem=45M338
17.98/12.06	    decisions=163957, wrong=69039, backtracks=13608, failedAssignments=56574, nogoods=8924, foundSolutions=15, bestBound=20
17.98/12.06	    
17.98/12.10	    num=326, depth=15..45, filters=1258064, revisions=(2901964,useless=1647424), ccks=46431290, wck=8.756, mem=51M407
17.98/12.10	    decisions=164970, wrong=69524, backtracks=13685, failedAssignments=56985, nogoods=8953, foundSolutions=15, bestBound=20
17.98/12.10	    
18.08/12.14	    num=327, depth=29..31, filters=1264696, revisions=(2918153,useless=1657351), ccks=46632076, wck=8.793, mem=51M407
18.08/12.14	    decisions=166060, wrong=70054, backtracks=13768, failedAssignments=57437, nogoods=8965, foundSolutions=15, bestBound=20
18.08/12.14	    
18.08/12.18	    num=328, depth=35..45, filters=1271337, revisions=(2937708,useless=1670663), ccks=46827674, wck=8.833, mem=57M475
18.08/12.18	    decisions=167313, wrong=70659, backtracks=13879, failedAssignments=57934, nogoods=8987, foundSolutions=15, bestBound=20
18.08/12.18	    
18.17/12.22	    num=329, depth=27..29, filters=1279911, revisions=(2960218,useless=1684945), ccks=47024248, wck=8.874, mem=57M475
18.17/12.22	    decisions=168664, wrong=71320, backtracks=14001, failedAssignments=58481, nogoods=9002, foundSolutions=15, bestBound=20
18.17/12.22	    
18.17/12.27	    num=330, depth=31..45, filters=1288997, revisions=(2984806,useless=1700882), ccks=47299598, wck=8.927, mem=63M544
18.17/12.27	    decisions=170189, wrong=72062, backtracks=14146, failedAssignments=59083, nogoods=9047, foundSolutions=15, bestBound=20
18.17/12.27	    
18.27/12.32	    num=331, depth=27..29, filters=1299289, revisions=(3013037,useless=1719249), ccks=47530585, wck=8.976, mem=69M612
18.27/12.32	    decisions=171830, wrong=72868, backtracks=14302, failedAssignments=59745, nogoods=9071, foundSolutions=15, bestBound=20
18.27/12.32	    
18.27/12.39	    num=332, depth=23..27, filters=1311071, revisions=(3050936,useless=1745883), ccks=47919014, wck=9.049, mem=75M680
18.27/12.39	    decisions=173944, wrong=73912, backtracks=14667, failedAssignments=60473, nogoods=9088, foundSolutions=15, bestBound=20
18.27/12.39	    
18.38/12.48	    num=333, depth=14..37, filters=1327629, revisions=(3088314,useless=1767132), ccks=48377829, wck=9.133, mem=87M817
18.38/12.48	    decisions=175912, wrong=74878, backtracks=14832, failedAssignments=61274, nogoods=9109, foundSolutions=15, bestBound=20
18.38/12.48	    
18.48/12.59	    num=334, depth=27..30, filters=1346113, revisions=(3141049,useless=1802074), ccks=48977005, wck=9.242, mem=93M886
18.48/12.59	    decisions=178499, wrong=76157, backtracks=15294, failedAssignments=62155, nogoods=9123, foundSolutions=15, bestBound=20
18.48/12.59	    
18.58/12.66	    num=335, depth=27..30, filters=1357289, revisions=(3174445,useless=1825095), ccks=49326369, wck=9.312, mem=99M954
18.58/12.66	    decisions=181023, wrong=77405, backtracks=15602, failedAssignments=63125, nogoods=9154, foundSolutions=15, bestBound=20
18.58/12.66	    
18.68/12.74	    num=336, depth=14..44, filters=1372176, revisions=(3215750,useless=1852290), ccks=49746388, wck=9.397, mem=112M91
18.68/12.74	    decisions=183619, wrong=78683, backtracks=15830, failedAssignments=64192, nogoods=9190, foundSolutions=15, bestBound=20
18.68/12.74	    
18.78/12.82	    num=337, depth=29..31, filters=1386104, revisions=(3261180,useless=1884516), ccks=50081686, wck=9.473, mem=118M159
18.78/12.82	    decisions=186588, wrong=80153, backtracks=16160, failedAssignments=65365, nogoods=9228, foundSolutions=15, bestBound=20
18.78/12.82	    
18.88/12.93	    num=338, depth=15..42, filters=1406360, revisions=(3312635,useless=1916578), ccks=50706475, wck=9.589, mem=130M296
18.88/12.93	    decisions=189755, wrong=81717, backtracks=16437, failedAssignments=66656, nogoods=9292, foundSolutions=15, bestBound=20
18.88/12.93	    
18.99/13.02	    num=339, depth=8..31, filters=1423243, revisions=(3360556,useless=1948965), ccks=51106593, wck=9.675, mem=136M364
18.99/13.02	    decisions=193134, wrong=83391, backtracks=16711, failedAssignments=68076, nogoods=9321, foundSolutions=15, bestBound=20
18.99/13.02	    
19.09/13.17	    num=340, depth=26..29, filters=1447386, revisions=(3436346,useless=2001369), ccks=51910329, wck=9.828, mem=154M570
19.09/13.17	    decisions=197670, wrong=85645, backtracks=17497, failedAssignments=69638, nogoods=9341, foundSolutions=15, bestBound=20
19.09/13.17	    
19.28/13.31	    num=341, depth=24..30, filters=1469557, revisions=(3503296,useless=2047684), ccks=52657935, wck=9.969, mem=166M707
19.28/13.31	    decisions=202140, wrong=87867, backtracks=18081, failedAssignments=71356, nogoods=9364, foundSolutions=15, bestBound=20
19.28/13.31	    
19.38/13.45	    num=342, depth=14..55, filters=1495706, revisions=(3568978,useless=2088560), ccks=53337845, wck=10.11, mem=184M912
19.38/13.45	    decisions=206614, wrong=90079, backtracks=18405, failedAssignments=73246, nogoods=9416, foundSolutions=15, bestBound=20
19.38/13.45	    
19.48/13.58	    num=343, depth=27..31, filters=1518306, revisions=(3649179,useless=2147570), ccks=53830507, wck=10.241, mem=197M49
19.48/13.58	    decisions=212293, wrong=92903, backtracks=19251, failedAssignments=75325, nogoods=9434, foundSolutions=15, bestBound=20
19.48/13.58	    
19.68/13.77	    num=344, depth=14..54, filters=1552110, revisions=(3734420,useless=2200643), ccks=54728190, wck=10.422, mem=215M254
19.68/13.77	    decisions=217698, wrong=95581, backtracks=19659, failedAssignments=77612, nogoods=9489, foundSolutions=15, bestBound=20
19.68/13.77	    
19.88/14.00	    num=345, depth=26..30, filters=1594970, revisions=(3862991,useless=2287858), ccks=55881176, wck=10.659, mem=239M528
19.88/14.00	    decisions=224505, wrong=98970, backtracks=20666, failedAssignments=80128, nogoods=9497, foundSolutions=15, bestBound=20
19.88/14.00	    
19.99/14.10	o 18
19.99/14.11	    num=346, depth=14..679, filters=1606947, revisions=(3891051,useless=2304473), ccks=56293445, wck=10.762, mem=257M733
19.99/14.11	    decisions=226786, wrong=99943, backtracks=20755, failedAssignments=81014, nogoods=9990, foundSolutions=16, bestBound=18
19.99/14.11	    
20.38/14.45	    num=347, depth=5..10, filters=1662604, revisions=(4056834,useless=2415824), ccks=58225420, wck=11.107, mem=288M75
20.38/14.45	    decisions=235280, wrong=104186, backtracks=22191, failedAssignments=84058, nogoods=10006, foundSolutions=16, bestBound=18
20.38/14.45	    
20.38/14.45	    num=348, depth=12..13, filters=1663236, revisions=(4057779,useless=2416116), ccks=58252797, wck=11.112, mem=288M75
20.38/14.45	    decisions=235320, wrong=104200, backtracks=22194, failedAssignments=84069, nogoods=10011, foundSolutions=16, bestBound=18
20.38/14.45	    
20.38/14.46	    num=349, depth=10..11, filters=1663640, revisions=(4058572,useless=2416488), ccks=58269262, wck=11.114, mem=288M75
20.38/14.46	    decisions=235361, wrong=104215, backtracks=22197, failedAssignments=84081, nogoods=10015, foundSolutions=16, bestBound=18
20.38/14.46	    
20.38/14.46	    num=350, depth=11..13, filters=1664357, revisions=(4059615,useless=2416796), ccks=58299592, wck=11.118, mem=288M75
20.38/14.46	    decisions=235407, wrong=104232, backtracks=22201, failedAssignments=84094, nogoods=10017, foundSolutions=16, bestBound=18
20.38/14.46	    
20.38/14.46	    num=351, depth=10..11, filters=1664794, revisions=(4060545,useless=2417271), ccks=58319567, wck=11.121, mem=288M75
20.38/14.46	    decisions=235455, wrong=104251, backtracks=22206, failedAssignments=84108, nogoods=10025, foundSolutions=16, bestBound=18
20.38/14.46	    
20.38/14.47	    num=352, depth=11..14, filters=1665564, revisions=(4061668,useless=2417603), ccks=58350121, wck=11.126, mem=288M75
20.38/14.47	    decisions=235514, wrong=104275, backtracks=22214, failedAssignments=84124, nogoods=10031, foundSolutions=16, bestBound=18
20.38/14.47	    
20.38/14.47	    num=353, depth=10..11, filters=1665978, revisions=(4062574,useless=2418085), ccks=58368843, wck=11.128, mem=288M75
20.38/14.47	    decisions=235568, wrong=104297, backtracks=22219, failedAssignments=84141, nogoods=10036, foundSolutions=16, bestBound=18
20.38/14.47	    
20.38/14.48	    num=354, depth=9..13, filters=1666839, revisions=(4063836,useless=2418471), ccks=58402505, wck=11.133, mem=288M75
20.38/14.48	    decisions=235637, wrong=104327, backtracks=22230, failedAssignments=84160, nogoods=10037, foundSolutions=16, bestBound=18
20.38/14.48	    
20.38/14.48	    num=355, depth=9..11, filters=1667261, revisions=(4064832,useless=2419037), ccks=58421379, wck=11.136, mem=288M75
20.38/14.48	    decisions=235699, wrong=104353, backtracks=22236, failedAssignments=84181, nogoods=10039, foundSolutions=16, bestBound=18
20.38/14.48	    
20.38/14.49	    num=356, depth=25..36, filters=1668454, revisions=(4066993,useless=2419944), ccks=58475812, wck=11.144, mem=294M143
20.38/14.49	    decisions=235787, wrong=104380, backtracks=22240, failedAssignments=84204, nogoods=10055, foundSolutions=16, bestBound=18
20.38/14.49	    
20.38/14.49	    num=357, depth=8..9, filters=1668877, revisions=(4068089,useless=2420616), ccks=58494750, wck=11.147, mem=294M143
20.38/14.49	    decisions=235859, wrong=104412, backtracks=22247, failedAssignments=84229, nogoods=10064, foundSolutions=16, bestBound=18
20.38/14.49	    
20.38/14.50	    num=358, depth=7..12, filters=1669817, revisions=(4069491,useless=2421065), ccks=58532981, wck=11.153, mem=294M143
20.38/14.50	    decisions=235950, wrong=104453, backtracks=22260, failedAssignments=84257, nogoods=10070, foundSolutions=16, bestBound=18
20.38/14.50	    
20.48/14.50	    num=359, depth=7..12, filters=1670878, revisions=(4071081,useless=2421581), ccks=58574058, wck=11.159, mem=294M143
20.48/14.50	    decisions=236053, wrong=104501, backtracks=22277, failedAssignments=84288, nogoods=10073, foundSolutions=16, bestBound=18
20.48/14.50	    
20.48/14.51	    num=360, depth=8..10, filters=1671386, revisions=(4072433,useless=2422426), ccks=58597146, wck=11.163, mem=294M143
20.48/14.51	    decisions=236147, wrong=104543, backtracks=22286, failedAssignments=84322, nogoods=10079, foundSolutions=16, bestBound=18
20.48/14.51	    
20.48/14.51	    num=361, depth=30..36, filters=1672756, revisions=(4075161,useless=2423737), ccks=58653406, wck=11.171, mem=294M143
20.48/14.51	    decisions=236266, wrong=104586, backtracks=22292, failedAssignments=84359, nogoods=10098, foundSolutions=16, bestBound=18
20.48/14.51	    
20.48/14.52	    num=362, depth=7..9, filters=1673307, revisions=(4076887,useless=2424923), ccks=58674568, wck=11.175, mem=294M143
20.48/14.52	    decisions=236384, wrong=104641, backtracks=22306, failedAssignments=84400, nogoods=10104, foundSolutions=16, bestBound=18
20.48/14.52	    
20.48/14.53	    num=363, depth=7..12, filters=1675066, revisions=(4079680,useless=2425925), ccks=58752040, wck=11.185, mem=294M143
20.48/14.53	    decisions=236558, wrong=104724, backtracks=22344, failedAssignments=84445, nogoods=10111, foundSolutions=16, bestBound=18
20.48/14.53	    
20.48/14.54	    num=364, depth=5..10, filters=1676368, revisions=(4082078,useless=2427025), ccks=58801020, wck=11.193, mem=294M143
20.48/14.54	    decisions=236714, wrong=104798, backtracks=22369, failedAssignments=84495, nogoods=10121, foundSolutions=16, bestBound=18
20.48/14.54	    
20.48/14.55	    num=365, depth=6..12, filters=1678082, revisions=(4084916,useless=2428141), ccks=58868278, wck=11.202, mem=294M143
20.48/14.55	    decisions=236901, wrong=104888, backtracks=22405, failedAssignments=84550, nogoods=10125, foundSolutions=16, bestBound=18
20.48/14.55	    
20.48/14.55	    num=366, depth=6..9, filters=1679028, revisions=(4087364,useless=2429656), ccks=58903411, wck=11.208, mem=294M143
20.48/14.55	    decisions=237076, wrong=104971, backtracks=22429, failedAssignments=84611, nogoods=10129, foundSolutions=16, bestBound=18
20.48/14.55	    
20.48/14.56	    num=367, depth=25..36, filters=1680948, revisions=(4091451,useless=2431794), ccks=58975734, wck=11.219, mem=294M143
20.48/14.56	    decisions=237270, wrong=105051, backtracks=22442, failedAssignments=84678, nogoods=10147, foundSolutions=16, bestBound=18
20.48/14.56	    
20.48/14.57	    num=368, depth=8..12, filters=1682453, revisions=(4094526,useless=2433367), ccks=59035827, wck=11.228, mem=300M212
20.48/14.57	    decisions=237486, wrong=105154, backtracks=22476, failedAssignments=84752, nogoods=10152, foundSolutions=16, bestBound=18
20.48/14.57	    
20.48/14.58	    num=369, depth=6..11, filters=1683974, revisions=(4097437,useless=2434780), ccks=59093954, wck=11.237, mem=300M212
20.48/14.58	    decisions=237711, wrong=105262, backtracks=22507, failedAssignments=84833, nogoods=10154, foundSolutions=16, bestBound=18
20.48/14.58	    
20.48/14.59	    num=370, depth=24..36, filters=1686357, revisions=(4102403,useless=2437347), ccks=59178046, wck=11.251, mem=300M212
20.48/14.59	    decisions=237959, wrong=105369, backtracks=22525, failedAssignments=84922, nogoods=10171, foundSolutions=16, bestBound=18
20.48/14.59	    
20.58/14.61	    num=371, depth=8..12, filters=1688207, revisions=(4106333,useless=2439436), ccks=59250990, wck=11.262, mem=300M212
20.58/14.61	    decisions=238239, wrong=105504, backtracks=22568, failedAssignments=85020, nogoods=10175, foundSolutions=16, bestBound=18
20.58/14.61	    
20.58/14.61	    num=372, depth=6..9, filters=1689581, revisions=(4109991,useless=2441777), ccks=59298750, wck=11.27, mem=300M212
20.58/14.61	    decisions=238522, wrong=105641, backtracks=22600, failedAssignments=85128, nogoods=10187, foundSolutions=16, bestBound=18
20.58/14.61	    
20.58/14.62	    num=373, depth=6..11, filters=1691526, revisions=(4114085,useless=2443987), ccks=59371108, wck=11.281, mem=300M212
20.58/14.62	    decisions=238845, wrong=105799, backtracks=22645, failedAssignments=85247, nogoods=10191, foundSolutions=16, bestBound=18
20.58/14.62	    
20.58/14.64	    num=374, depth=23..37, filters=1694799, revisions=(4120762,useless=2447397), ccks=59477040, wck=11.299, mem=300M212
20.58/14.64	    decisions=239195, wrong=105956, backtracks=22672, failedAssignments=85378, nogoods=10223, foundSolutions=16, bestBound=18
20.58/14.64	    
20.58/14.66	    num=375, depth=8..12, filters=1697223, revisions=(4126333,useless=2450575), ccks=59583274, wck=11.315, mem=306M280
20.58/14.66	    decisions=239604, wrong=106156, backtracks=22736, failedAssignments=85522, nogoods=10231, foundSolutions=16, bestBound=18
20.58/14.66	    
20.58/14.67	    num=376, depth=8..10, filters=1698642, revisions=(4130947,useless=2453910), ccks=59627110, wck=11.324, mem=306M280
20.58/14.67	    decisions=240009, wrong=106354, backtracks=22779, failedAssignments=85680, nogoods=10246, foundSolutions=16, bestBound=18
20.58/14.67	    
20.58/14.69	    num=377, depth=14..37, filters=1702615, revisions=(4139516,useless=2458558), ccks=59754710, wck=11.348, mem=306M280
20.58/14.69	    decisions=240476, wrong=106571, backtracks=22823, failedAssignments=85854, nogoods=10269, foundSolutions=16, bestBound=18
20.58/14.69	    
20.68/14.70	    num=378, depth=7..9, filters=1704298, revisions=(4145101,useless=2462632), ccks=59807719, wck=11.359, mem=306M280
20.68/14.70	    decisions=240965, wrong=106811, backtracks=22877, failedAssignments=86045, nogoods=10278, foundSolutions=16, bestBound=18
20.68/14.70	    
20.68/14.73	    num=379, depth=13..37, filters=1708686, revisions=(4155542,useless=2468753), ccks=59946735, wck=11.385, mem=312M349
20.68/14.73	    decisions=241510, wrong=107067, backtracks=22924, failedAssignments=86256, nogoods=10304, foundSolutions=16, bestBound=18
20.68/14.73	    
20.68/14.75	    num=380, depth=7..12, filters=1712807, revisions=(4164744,useless=2473886), ccks=60127306, wck=11.411, mem=312M349
20.68/14.75	    decisions=242183, wrong=107399, backtracks=23040, failedAssignments=86488, nogoods=10315, foundSolutions=16, bestBound=18
20.68/14.75	    
20.68/14.77	    num=381, depth=8..10, filters=1715015, revisions=(4172148,useless=2479317), ccks=60193517, wck=11.425, mem=312M349
20.68/14.77	    decisions=242830, wrong=107718, backtracks=23111, failedAssignments=86743, nogoods=10329, foundSolutions=16, bestBound=18
20.68/14.77	    
20.78/14.80	    num=382, depth=14..38, filters=1720796, revisions=(4185485,useless=2486996), ccks=60368574, wck=11.457, mem=318M417
20.78/14.80	    decisions=243540, wrong=108056, backtracks=23170, failedAssignments=87024, nogoods=10355, foundSolutions=16, bestBound=18
20.78/14.80	    
20.78/14.82	    num=383, depth=7..9, filters=1723655, revisions=(4194933,useless=2493863), ccks=60457578, wck=11.475, mem=318M417
20.78/14.82	    decisions=244335, wrong=108449, backtracks=23264, failedAssignments=87333, nogoods=10371, foundSolutions=16, bestBound=18
20.78/14.82	    
20.78/14.86	    num=384, depth=26..37, filters=1730766, revisions=(4212492,useless=2504460), ccks=60666166, wck=11.514, mem=325M29
20.78/14.86	    decisions=245209, wrong=108869, backtracks=23347, failedAssignments=87673, nogoods=10387, foundSolutions=16, bestBound=18
20.78/14.86	    
20.78/14.88	    num=385, depth=5..8, filters=1734255, revisions=(4224497,useless=2513315), ccks=60771183, wck=11.536, mem=325M29
20.78/14.88	    decisions=246179, wrong=109350, backtracks=23469, failedAssignments=88047, nogoods=10392, foundSolutions=16, bestBound=18
20.78/14.88	    
20.90/14.92	    num=386, depth=5..11, filters=1739496, revisions=(4238048,useless=2521905), ccks=60966014, wck=11.576, mem=331M98
20.90/14.92	    decisions=247253, wrong=109883, backtracks=23610, failedAssignments=88458, nogoods=10396, foundSolutions=16, bestBound=18
20.90/14.92	    
20.90/14.96	    num=387, depth=14..37, filters=1747984, revisions=(4257672,useless=2533307), ccks=61204708, wck=11.62, mem=337M166
20.90/14.96	    decisions=248356, wrong=110416, backtracks=23694, failedAssignments=88910, nogoods=10428, foundSolutions=16, bestBound=18
20.90/14.96	    
20.90/15.00	    num=388, depth=7..12, filters=1754384, revisions=(4275452,useless=2544967), ccks=61422584, wck=11.658, mem=337M166
20.90/15.00	    decisions=249694, wrong=111080, backtracks=23884, failedAssignments=89407, nogoods=10437, foundSolutions=16, bestBound=18
20.90/15.00	    
21.00/15.08	    num=389, depth=26..37, filters=1765074, revisions=(4300153,useless=2559259), ccks=61730477, wck=11.735, mem=42M775
21.00/15.08	    decisions=251023, wrong=111728, backtracks=23990, failedAssignments=89954, nogoods=10460, foundSolutions=16, bestBound=18
21.00/15.08	    
21.16/15.13	    num=390, depth=6..12, filters=1774543, revisions=(4327675,useless=2577526), ccks=61997161, wck=11.784, mem=42M775
21.16/15.13	    decisions=252693, wrong=112559, backtracks=24242, failedAssignments=90556, nogoods=10473, foundSolutions=16, bestBound=18
21.16/15.13	    
21.25/15.21	    num=391, depth=5..11, filters=1787234, revisions=(4359072,useless=2596574), ccks=62480896, wck=11.862, mem=51M702
21.25/15.21	    decisions=254748, wrong=113583, backtracks=24665, failedAssignments=91218, nogoods=10484, foundSolutions=16, bestBound=18
21.25/15.21	    
21.25/15.29	    num=392, depth=6..9, filters=1797595, revisions=(4393101,useless=2620545), ccks=62828773, wck=11.945, mem=69M555
21.25/15.29	    decisions=256863, wrong=114637, backtracks=25026, failedAssignments=91946, nogoods=10500, foundSolutions=16, bestBound=18
21.25/15.29	    
21.35/15.37	    num=393, depth=5..9, filters=1810903, revisions=(4428917,useless=2643680), ccks=63240820, wck=12.026, mem=78M481
21.35/15.37	    decisions=259230, wrong=115817, backtracks=25480, failedAssignments=92747, nogoods=10518, foundSolutions=16, bestBound=18
21.35/15.37	    
21.45/15.46	    num=394, depth=5..10, filters=1826603, revisions=(4460761,useless=2660148), ccks=63904929, wck=12.118, mem=78M481
21.45/15.46	    decisions=261571, wrong=116984, backtracks=25831, failedAssignments=93628, nogoods=10524, foundSolutions=16, bestBound=18
21.45/15.46	    
21.55/15.57	    num=395, depth=5..10, filters=1842879, revisions=(4499850,useless=2683493), ccks=64579545, wck=12.222, mem=87M408
21.55/15.57	    decisions=264383, wrong=118386, backtracks=26334, failedAssignments=94598, nogoods=10536, foundSolutions=16, bestBound=18
21.55/15.57	    
21.65/15.66	    num=396, depth=6..9, filters=1856697, revisions=(4544955,useless=2715676), ccks=65000254, wck=12.319, mem=105M261
21.65/15.66	    decisions=267316, wrong=119848, backtracks=26777, failedAssignments=95665, nogoods=10549, foundSolutions=16, bestBound=18
21.65/15.66	    
21.85/15.81	    num=397, depth=5..10, filters=1879895, revisions=(4599776,useless=2747993), ccks=65977953, wck=12.465, mem=114M187
21.85/15.81	    decisions=270708, wrong=121540, backtracks=27377, failedAssignments=96838, nogoods=10563, foundSolutions=16, bestBound=18
21.85/15.81	    
21.95/15.90	    num=398, depth=5..10, filters=1894744, revisions=(4644318,useless=2778624), ccks=66526667, wck=12.56, mem=123M114
21.95/15.90	    decisions=274224, wrong=123294, backtracks=27897, failedAssignments=98129, nogoods=10573, foundSolutions=16, bestBound=18
21.95/15.90	    
21.95/16.00	    num=399, depth=5..9, filters=1909941, revisions=(4689034,useless=2809477), ccks=67054147, wck=12.656, mem=132M40
21.95/16.00	    decisions=277860, wrong=125108, backtracks=28337, failedAssignments=99549, nogoods=10586, foundSolutions=16, bestBound=18
21.95/16.00	    
22.16/16.15	    num=400, depth=5..9, filters=1933817, revisions=(4750141,useless=2847935), ccks=67963717, wck=12.809, mem=149M893
22.16/16.15	    decisions=282187, wrong=127268, backtracks=29040, failedAssignments=101111, nogoods=10594, foundSolutions=16, bestBound=18
22.16/16.15	    
22.25/16.28	    num=401, depth=5..9, filters=1954149, revisions=(4802604,useless=2881569), ccks=68712633, wck=12.937, mem=158M820
22.25/16.28	    decisions=286545, wrong=129443, backtracks=29554, failedAssignments=102829, nogoods=10614, foundSolutions=16, bestBound=18
22.25/16.28	    
22.45/16.48	    num=402, depth=4..9, filters=1986961, revisions=(4902954,useless=2950026), ccks=69800922, wck=13.141, mem=176M673
22.45/16.48	    decisions=292189, wrong=132262, backtracks=30617, failedAssignments=104719, nogoods=10624, foundSolutions=16, bestBound=18
22.45/16.48	    
22.65/16.66	    num=403, depth=5..10, filters=2014330, revisions=(4983288,useless=3004324), ccks=70774481, wck=13.318, mem=194M525
22.65/16.66	    decisions=297927, wrong=135127, backtracks=31541, failedAssignments=106798, nogoods=10649, foundSolutions=16, bestBound=18
22.65/16.66	    
22.85/16.86	    num=404, depth=5..9, filters=2045275, revisions=(5064593,useless=3055760), ccks=71939305, wck=13.514, mem=212M378
22.85/16.86	    decisions=304105, wrong=138212, backtracks=32474, failedAssignments=109085, nogoods=10662, foundSolutions=16, bestBound=18
22.85/16.86	    
23.06/17.09	    num=405, depth=6..9, filters=2076207, revisions=(5168912,useless=3130784), ccks=72981852, wck=13.747, mem=248M84
23.06/17.09	    decisions=311086, wrong=141699, backtracks=33601, failedAssignments=111601, nogoods=10678, foundSolutions=16, bestBound=18
23.06/17.09	    
23.45/17.43	    num=406, depth=4..9, filters=2124974, revisions=(5292531,useless=3207062), ccks=74824819, wck=14.091, mem=292M717
23.45/17.43	    decisions=319043, wrong=145674, backtracks=35092, failedAssignments=114369, nogoods=10695, foundSolutions=16, bestBound=18
23.45/17.43	    
23.65/17.70	    num=407, depth=6..9, filters=2160820, revisions=(5417547,useless=3298072), ccks=76021196, wck=14.353, mem=328M423
23.65/17.70	    decisions=327588, wrong=149943, backtracks=36488, failedAssignments=117413, nogoods=10724, foundSolutions=16, bestBound=18
23.65/17.70	    
24.06/18.09	    num=408, depth=4..9, filters=2220243, revisions=(5576659,useless=3399775), ccks=78378847, wck=14.751, mem=373M55
24.06/18.09	    decisions=337646, wrong=154969, backtracks=38472, failedAssignments=120762, nogoods=10737, foundSolutions=16, bestBound=18
24.06/18.09	    
24.35/18.39	    num=409, depth=5..10, filters=2267368, revisions=(5689394,useless=3468021), ccks=80102915, wck=15.047, mem=399M834
24.35/18.39	    decisions=346904, wrong=159594, backtracks=39547, failedAssignments=124446, nogoods=10750, foundSolutions=16, bestBound=18
24.35/18.39	    
24.96/18.94	    num=410, depth=4..9, filters=2352261, revisions=(5951774,useless=3647148), ccks=82891249, wck=15.6, mem=471M246
24.96/18.94	    decisions=358534, wrong=165405, backtracks=41701, failedAssignments=128498, nogoods=10785, foundSolutions=16, bestBound=18
24.96/18.94	    
25.30/19.24	    num=411, depth=5..9, filters=2396625, revisions=(6075757,useless=3730235), ccks=84414021, wck=15.893, mem=42M859
25.30/19.24	    decisions=369573, wrong=170922, backtracks=42918, failedAssignments=132955, nogoods=10793, foundSolutions=16, bestBound=18
25.30/19.24	    
25.70/19.62	    num=412, depth=5..38, filters=2465930, revisions=(6234340,useless=3822811), ccks=86590688, wck=16.273, mem=78M605
25.70/19.62	    decisions=381309, wrong=176772, backtracks=43987, failedAssignments=137858, nogoods=10822, foundSolutions=16, bestBound=18
25.70/19.62	    
26.11/20.08	    num=413, depth=5..10, filters=2545095, revisions=(6438819,useless=3950896), ccks=89370697, wck=16.737, mem=114M350
26.11/20.08	    decisions=396468, wrong=184347, backtracks=46532, failedAssignments=143252, nogoods=10838, foundSolutions=16, bestBound=18
26.11/20.08	    
26.70/20.62	    num=414, depth=13..37, filters=2651842, revisions=(6683803,useless=4092953), ccks=92220519, wck=17.273, mem=167M969
26.70/20.62	    decisions=410608, wrong=191400, backtracks=47679, failedAssignments=149185, nogoods=10883, foundSolutions=16, bestBound=18
26.70/20.62	    
27.21/21.19	    num=415, depth=6..10, filters=2756403, revisions=(7000857,useless=4309864), ccks=95206135, wck=17.85, mem=212M651
27.21/21.19	    decisions=428685, wrong=200434, backtracks=50541, failedAssignments=155711, nogoods=10911, foundSolutions=16, bestBound=18
27.21/21.19	    
27.90/21.84	    num=416, depth=13..37, filters=2882601, revisions=(7310564,useless=4498304), ccks=98600863, wck=18.494, mem=284M142
27.90/21.84	    decisions=445947, wrong=209049, backtracks=52026, failedAssignments=162890, nogoods=10941, foundSolutions=16, bestBound=18
27.90/21.84	    
28.60/22.52	    num=417, depth=4..8, filters=2993758, revisions=(7663366,useless=4743376), ccks=102250010, wck=19.174, mem=337M761
28.60/22.52	    decisions=468173, wrong=220158, backtracks=55769, failedAssignments=170787, nogoods=10947, foundSolutions=16, bestBound=18
28.60/22.52	    
29.40/23.34	    num=418, depth=3..9, filters=3127265, revisions=(8036574,useless=4988630), ccks=107265391, wck=19.995, mem=400M315
29.40/23.34	    decisions=492670, wrong=232403, backtracks=60033, failedAssignments=179474, nogoods=10963, foundSolutions=16, bestBound=18
29.40/23.34	    
30.21/24.18	    num=419, depth=4..37, filters=3285603, revisions=(8416450,useless=5216234), ccks=112074337, wck=20.839, mem=471M807
30.21/24.18	    decisions=516379, wrong=244242, backtracks=62565, failedAssignments=189029, nogoods=10991, foundSolutions=16, bestBound=18
30.21/24.18	    
31.56/25.45	    num=420, depth=4..11, filters=3487599, revisions=(8938109,useless=5542394), ccks=119930520, wck=22.103, mem=122M839
31.56/25.45	    decisions=547730, wrong=259913, backtracks=68858, failedAssignments=199540, nogoods=11004, foundSolutions=16, bestBound=18
31.56/25.45	    
32.66/26.55	    num=421, depth=4..9, filters=3666625, revisions=(9410276,useless=5845715), ccks=126549395, wck=23.207, mem=211M723
32.66/26.55	    decisions=580744, wrong=276416, backtracks=74713, failedAssignments=211102, nogoods=11014, foundSolutions=16, bestBound=18
32.66/26.55	    
33.86/27.76	    num=422, depth=4..9, filters=3863668, revisions=(10026906,useless=6273429), ccks=133336809, wck=24.415, mem=311M718
33.86/27.76	    decisions=616721, wrong=294400, backtracks=80938, failedAssignments=223820, nogoods=11027, foundSolutions=16, bestBound=18
33.86/27.76	    
35.56/29.45	    num=423, depth=3..9, filters=4152683, revisions=(10817798,useless=6783027), ccks=143593742, wck=26.109, mem=433M933
35.56/29.45	    decisions=658415, wrong=315244, backtracks=89543, failedAssignments=237810, nogoods=11046, foundSolutions=16, bestBound=18
35.56/29.45	    
37.35/31.20	    num=424, depth=3..9, filters=4437073, revisions=(11601666,useless=7288838), ccks=154343176, wck=27.861, mem=567M259
37.35/31.20	    decisions=703606, wrong=337837, backtracks=98159, failedAssignments=253199, nogoods=11073, foundSolutions=16, bestBound=18
37.35/31.20	    
38.70/32.60	    num=425, depth=4..9, filters=4661901, revisions=(12210953,useless=7687041), ccks=162525376, wck=29.252, mem=111M798
38.70/32.60	    decisions=748327, wrong=360193, backtracks=104481, failedAssignments=270127, nogoods=11089, foundSolutions=16, bestBound=18
38.70/32.60	    
40.10/33.99	    num=426, depth=14..37, filters=4951466, revisions=(12820208,useless=8021800), ccks=169843367, wck=30.644, mem=245M186
40.10/33.99	    decisions=789633, wrong=380832, backtracks=106506, failedAssignments=288748, nogoods=11129, foundSolutions=16, bestBound=18
40.10/33.99	    
42.00/35.87	    num=427, depth=5..10, filters=5297269, revisions=(13859519,useless=8727461), ccks=179621459, wck=32.526, mem=400M806
42.00/35.87	    decisions=845696, wrong=408859, backtracks=115101, failedAssignments=309232, nogoods=11156, foundSolutions=16, bestBound=18
42.00/35.87	    
44.86/38.61	    num=428, depth=3..9, filters=5736947, revisions=(15005919,useless=9448207), ccks=196816451, wck=35.264, mem=44M719
44.86/38.61	    decisions=911712, wrong=441863, backtracks=127785, failedAssignments=331764, nogoods=11177, foundSolutions=16, bestBound=18
44.86/38.61	    
46.96/40.78	    num=429, depth=7..36, filters=6170155, revisions=(16023096,useless=10049253), ccks=208333366, wck=37.433, mem=270M77
46.96/40.78	    decisions=970468, wrong=471227, backtracks=132480, failedAssignments=356549, nogoods=11197, foundSolutions=16, bestBound=18
46.96/40.78	    
49.06/42.86	    num=430, depth=8..37, filters=6570440, revisions=(17036412,useless=10683616), ccks=219257921, wck=39.52, mem=463M241
49.06/42.86	    decisions=1036470, wrong=504216, backtracks=138259, failedAssignments=383813, nogoods=11221, foundSolutions=16, bestBound=18
49.06/42.86	    
51.81/45.56	    num=431, depth=6..11, filters=7064519, revisions=(18558433,useless=11730933), ccks=233171215, wck=42.214, mem=147M889
51.81/45.56	    decisions=1118457, wrong=545205, backtracks=150886, failedAssignments=413803, nogoods=11243, foundSolutions=16, bestBound=18
51.81/45.56	    
55.68/49.30	    num=432, depth=2..9, filters=7713429, revisions=(20274213,useless=12808507), ccks=256389633, wck=45.96, mem=448M216
55.68/49.30	    decisions=1212808, wrong=592377, backtracks=168260, failedAssignments=446792, nogoods=11273, foundSolutions=16, bestBound=18
55.68/49.30	    
59.52/53.19	    num=433, depth=3..9, filters=8350297, revisions=(22070893,useless=13995514), ccks=279592855, wck=49.844, mem=214M41
59.52/53.19	    decisions=1320496, wrong=646218, backtracks=189848, failedAssignments=483080, nogoods=11282, foundSolutions=16, bestBound=18
59.52/53.19	    
62.72/56.39	    num=434, depth=4..37, filters=9050878, revisions=(23467940,useless=14719694), ccks=296802783, wck=53.049, mem=524M73
62.72/56.39	    decisions=1411662, wrong=691785, backtracks=195841, failedAssignments=522997, nogoods=11305, foundSolutions=16, bestBound=18
62.72/56.39	    
66.38/59.96	    num=435, depth=4..36, filters=9655306, revisions=(25233649,useless=15908159), ccks=316816187, wck=56.619, mem=295M147
66.38/59.96	    decisions=1534474, wrong=753179, backtracks=216352, failedAssignments=566906, nogoods=11333, foundSolutions=16, bestBound=18
66.38/59.96	    
69.79/63.38	    num=436, depth=7..35, filters=10385404, revisions=(26697406,useless=16678184), ccks=335049153, wck=60.039, mem=146M266
69.79/63.38	    decisions=1641071, wrong=806461, backtracks=221545, failedAssignments=615206, nogoods=11353, foundSolutions=16, bestBound=18
69.79/63.38	    
73.91/67.42	    num=437, depth=6..43, filters=11144043, revisions=(28616098,useless=17877858), ccks=355503095, wck=64.075, mem=70M274
73.91/67.42	    decisions=1767094, wrong=869453, backtracks=231663, failedAssignments=668336, nogoods=11403, foundSolutions=16, bestBound=18
73.91/67.42	    
79.31/72.87	    num=438, depth=5..10, filters=12051504, revisions=(31565499,useless=19951129), ccks=384510187, wck=69.522, mem=86M569
79.31/72.87	    decisions=1933392, wrong=952598, backtracks=261178, failedAssignments=726779, nogoods=11432, foundSolutions=16, bestBound=18
79.31/72.87	    
84.02/77.51	    num=439, depth=10..43, filters=13022960, revisions=(33428092,useless=20894840), ccks=408911964, wck=74.165, mem=127M169
84.02/77.51	    decisions=2075751, wrong=1023759, backtracks=268291, failedAssignments=791066, nogoods=11476, foundSolutions=16, bestBound=18
84.02/77.51	    
89.24/82.74	    num=440, depth=4..43, filters=14011019, revisions=(35886975,useless=22421430), ccks=435589506, wck=79.393, mem=197M812
89.24/82.74	    decisions=2246232, wrong=1108982, backtracks=283948, failedAssignments=861782, nogoods=11492, foundSolutions=16, bestBound=18
89.24/82.74	    
96.44/89.97	    num=441, depth=4..10, filters=15190424, revisions=(39000182,useless=24400333), ccks=479682161, wck=86.622, mem=335M62
96.44/89.97	    decisions=2456635, wrong=1214179, backtracks=316591, failedAssignments=939569, nogoods=11505, foundSolutions=16, bestBound=18
96.44/89.97	    
104.46/97.94	    num=442, depth=4..9, filters=16483695, revisions=(43296200,useless=27456882), ccks=522453124, wck=94.598, mem=205M82
104.46/97.94	    decisions=2704007, wrong=1337861, backtracks=362571, failedAssignments=1025135, nogoods=11550, foundSolutions=16, bestBound=18
104.46/97.94	    
112.37/105.82	    num=443, depth=12..45, filters=18030910, revisions=(46941940,useless=29616232), ccks=564265384, wck=102.48, mem=271M456
112.37/105.82	    decisions=2923983, wrong=1447828, backtracks=378813, failedAssignments=1119258, nogoods=11598, foundSolutions=16, bestBound=18
112.37/105.82	    
119.70/113.18	    num=444, depth=6..38, filters=19434749, revisions=(50317269,useless=31671939), ccks=602714579, wck=109.832, mem=277M310
119.70/113.18	    decisions=3164366, wrong=1568010, backtracks=395618, failedAssignments=1222793, nogoods=11639, foundSolutions=16, bestBound=18
119.70/113.18	    
129.11/122.52	    num=445, depth=4..11, filters=21013990, revisions=(54715052,useless=34574320), ccks=658065855, wck=119.182, mem=338M186
129.11/122.52	    decisions=3467256, wrong=1719451, backtracks=439517, failedAssignments=1336682, nogoods=11660, foundSolutions=16, bestBound=18
129.11/122.52	    
143.43/136.86	    num=446, depth=3..9, filters=23313516, revisions=(61831486,useless=39450502), ccks=741804883, wck=133.513, mem=311M460
143.43/136.86	    decisions=3831121, wrong=1901379, backtracks=507747, failedAssignments=1461960, nogoods=11676, foundSolutions=16, bestBound=18
143.43/136.86	    
156.27/149.62	    num=447, depth=13..36, filters=25888188, revisions=(67766776,useless=42892537), ccks=812101818, wck=146.275, mem=199M784
156.27/149.62	    decisions=4155894, wrong=2063754, backtracks=532518, failedAssignments=1599766, nogoods=11701, foundSolutions=16, bestBound=18
156.27/149.62	    
171.90/165.26	    num=448, depth=3..11, filters=28446328, revisions=(76111289,useless=48763093), ccks=897863079, wck=161.913, mem=80M772
171.90/165.26	    decisions=4599853, wrong=2285729, backtracks=618813, failedAssignments=1751352, nogoods=11723, foundSolutions=16, bestBound=18
171.90/165.26	    
185.64/178.91	    num=449, depth=3..36, filters=31052457, revisions=(82450064,useless=52616639), ccks=971854696, wck=175.569, mem=155M539
185.64/178.91	    decisions=5003391, wrong=2487485, backtracks=655391, failedAssignments=1918097, nogoods=11752, foundSolutions=16, bestBound=18
185.64/178.91	    
205.34/198.51	    num=450, depth=3..10, filters=34411015, revisions=(91631675,useless=58518958), ccks=1089288506, wck=195.164, mem=141M548
205.34/198.51	    decisions=5534394, wrong=2752983, backtracks=753628, failedAssignments=2101516, nogoods=11775, foundSolutions=16, bestBound=18
205.34/198.51	    
225.03/218.13	    num=451, depth=2..9, filters=37704342, revisions=(101204126,useless=64885976), ccks=1202929765, wck=214.782, mem=92M955
225.03/218.13	    decisions=6117639, wrong=3044603, backtracks=861823, failedAssignments=2303277, nogoods=11802, foundSolutions=16, bestBound=18
225.03/218.13	    
248.32/241.38	    num=452, depth=2..9, filters=41478291, revisions=(112316011,useless=72388153), ccks=1341238165, wck=238.034, mem=46M794
248.32/241.38	    decisions=6762324, wrong=3366942, backtracks=984539, failedAssignments=2525215, nogoods=11826, foundSolutions=16, bestBound=18
248.32/241.38	    
267.73/260.63	    num=453, depth=8..43, filters=45109079, revisions=(121383243,useless=78008046), ccks=1439541461, wck=257.291, mem=75M454
267.73/260.63	    decisions=7344005, wrong=3657763, backtracks=1032429, failedAssignments=2769346, nogoods=11892, foundSolutions=16, bestBound=18
267.73/260.63	    
288.16/280.95	    num=454, depth=3..37, filters=49314186, revisions=(130115249,useless=82734162), ccks=1551788462, wck=277.61, mem=49M60
288.16/280.95	    decisions=7939541, wrong=3955521, backtracks=1062553, failedAssignments=3037891, nogoods=11951, foundSolutions=16, bestBound=18
288.16/280.95	    
324.73/317.34	    num=455, depth=3..10, filters=55270569, revisions=(145978642,useless=92755770), ccks=1776407266, wck=314.0, mem=76M602
324.73/317.34	    decisions=8800874, wrong=4386183, backtracks=1229334, failedAssignments=3333290, nogoods=11968, foundSolutions=16, bestBound=18
324.73/317.34	    
357.78/350.22	    num=456, depth=3..9, filters=60717387, revisions=(163625837,useless=105153990), ccks=1956700223, wck=346.881, mem=46M679
357.78/350.22	    decisions=9742110, wrong=4856797, backtracks=1404053, failedAssignments=3658229, nogoods=12001, foundSolutions=16, bestBound=18
357.78/350.22	    
395.05/387.30	    num=457, depth=2..9, filters=66856583, revisions=(181301750,useless=116936915), ccks=2178247489, wck=383.959, mem=84M171
395.05/387.30	    decisions=10769819, wrong=5370648, backtracks=1594580, failedAssignments=4015662, nogoods=12025, foundSolutions=16, bestBound=18
395.05/387.30	    
437.12/429.25	    num=458, depth=2..9, filters=73868915, revisions=(201529492,useless=130394238), ccks=2426869075, wck=425.902, mem=82M56
437.12/429.25	    decisions=11911922, wrong=5941698, backtracks=1811837, failedAssignments=4408838, nogoods=12063, foundSolutions=16, bestBound=18
437.12/429.25	    
486.73/478.68	    num=459, depth=2..9, filters=81933137, revisions=(223909565,useless=144991007), ccks=2731788119, wck=475.334, mem=63M907
486.73/478.68	    decisions=13184127, wrong=6577797, backtracks=2060443, failedAssignments=4841332, nogoods=12097, foundSolutions=16, bestBound=18
486.73/478.68	    
525.35/517.04	    num=460, depth=4..38, filters=89312114, revisions=(241611632,useless=155659009), ccks=2934372782, wck=513.699, mem=68M177
525.35/517.04	    decisions=14317679, wrong=7144562, backtracks=2154713, failedAssignments=5317076, nogoods=12129, foundSolutions=16, bestBound=18
525.35/517.04	    
572.94/564.42	    num=461, depth=2..8, filters=96814395, revisions=(267709405,useless=174583130), ccks=3187143917, wck=561.076, mem=56M469
572.94/564.42	    decisions=15802137, wrong=7886788, backtracks=2415471, failedAssignments=5840394, nogoods=12149, foundSolutions=16, bestBound=18
572.94/564.42	    
639.29/630.58	    num=462, depth=2..9, filters=108065339, revisions=(300155815,useless=196010415), ccks=3573996783, wck=627.233, mem=70M389
639.29/630.58	    decisions=17481365, wrong=8726398, backtracks=2741646, failedAssignments=6416044, nogoods=12185, foundSolutions=16, bestBound=18
639.29/630.58	    
688.95/679.92	    num=463, depth=11..44, filters=116595866, revisions=(323405608,useless=211233573), ccks=3816440488, wck=676.579, mem=41M495
688.95/679.92	    decisions=19061100, wrong=9516244, backtracks=2904593, failedAssignments=7049259, nogoods=12232, foundSolutions=16, bestBound=18
688.95/679.92	    
754.16/744.89	    num=464, depth=2..9, filters=126329177, revisions=(357878277,useless=236470583), ccks=4137145074, wck=741.543, mem=87M518
754.16/744.89	    decisions=21029862, wrong=10500622, backtracks=3248253, failedAssignments=7745795, nogoods=12275, foundSolutions=16, bestBound=18
754.16/744.89	    
839.45/829.81	    num=465, depth=2..9, filters=140228532, revisions=(399862271,useless=265025111), ccks=4621733637, wck=826.465, mem=43M692
839.45/829.81	    decisions=23266997, wrong=11619186, backtracks=3678886, failedAssignments=8511985, nogoods=12304, foundSolutions=16, bestBound=18
839.45/829.81	    
895.26/885.37	    num=466, depth=10..78, filters=151570099, revisions=(422792035,useless=277301073), ccks=4897298733, wck=882.027, mem=88M637
895.26/885.37	    decisions=25122736, wrong=12547025, backtracks=3764674, failedAssignments=9354794, nogoods=12379, foundSolutions=16, bestBound=18
895.26/885.37	    
999.53/989.24	    num=467, depth=1..8, filters=167817973, revisions=(475957384,useless=314682669), ccks=5480732162, wck=985.9, mem=86M613
999.53/989.24	    decisions=27788198, wrong=13879752, backtracks=4257016, failedAssignments=10281884, nogoods=12397, foundSolutions=16, bestBound=18
999.53/989.24	    
1103.18/1092.56	    num=468, depth=2..9, filters=184509173, revisions=(523200970,useless=345960791), ccks=6084220858, wck=1089.213, mem=86M605
1103.18/1092.56	    decisions=30686844, wrong=15329071, backtracks=4780779, failedAssignments=11301683, nogoods=12428, foundSolutions=16, bestBound=18
1103.18/1092.56	    
1179.36/1168.38	    num=469, depth=10..69, filters=200232479, revisions=(554021544,useless=361868166), ccks=6462130575, wck=1165.042, mem=65M230
1179.36/1168.38	    decisions=33143180, wrong=16557216, backtracks=4887538, failedAssignments=12423462, nogoods=12516, foundSolutions=16, bestBound=18
1179.36/1168.38	    
1293.65/1282.24	    num=470, depth=2..8, filters=218174958, revisions=(617145576,useless=407856067), ccks=7067229842, wck=1278.898, mem=40M631
1293.65/1282.24	    decisions=36653348, wrong=18312297, backtracks=5512441, failedAssignments=13657419, nogoods=12567, foundSolutions=16, bestBound=18
1293.65/1282.24	    
1448.05/1436.13	    num=471, depth=1..9, filters=243920048, revisions=(692864890,useless=458276462), ccks=7959590106, wck=1432.782, mem=80M228
1448.05/1436.13	    decisions=40626038, wrong=20298640, backtracks=6278592, failedAssignments=15014772, nogoods=12625, foundSolutions=16, bestBound=18
1448.05/1436.13	    
1615.46/1603.05	    num=472, depth=1..38, filters=271380320, revisions=(771240464,useless=509930522), ccks=8944159284, wck=1599.703, mem=82M416
1615.46/1603.05	    decisions=44991051, wrong=22481129, backtracks=7120458, failedAssignments=16507860, nogoods=12661, foundSolutions=16, bestBound=18
1615.46/1603.05	    
1737.18/1724.27	    num=473, depth=7..44, filters=293181847, revisions=(829732363,useless=547979849), ccks=9541768127, wck=1720.929, mem=53M572
1737.18/1724.27	    decisions=48923181, wrong=24447175, backtracks=7452917, failedAssignments=18150257, nogoods=12701, foundSolutions=16, bestBound=18
1737.18/1724.27	    
1901.28/1887.74	    num=474, depth=1..42, filters=320363870, revisions=(912661108,useless=604912137), ccks=10407565856, wck=1884.395, mem=58M911
1901.28/1887.74	    decisions=53708048, wrong=26839590, backtracks=8125136, failedAssignments=19956894, nogoods=12724, foundSolutions=16, bestBound=18
1901.28/1887.74	    
2107.24/2093.01	    num=475, depth=2..10, filters=354551840, revisions=(1015544465,useless=674835177), ccks=11560213694, wck=2089.664, mem=51M473
2107.24/2093.01	    decisions=59334727, wrong=29652927, backtracks=9120981, failedAssignments=21944195, nogoods=12756, foundSolutions=16, bestBound=18
2107.24/2093.01	    
2284.60/2269.64	    num=476, depth=7..43, filters=389909636, revisions=(1094068732,useless=719628980), ccks=12469528094, wck=2266.298, mem=83M552
2284.60/2269.64	    decisions=64360051, wrong=32165569, backtracks=9456765, failedAssignments=24130226, nogoods=12808, foundSolutions=16, bestBound=18
2284.60/2269.64	    
2400.09/2384.70	
2400.09/2384.70	v <instantiation id='sol16' type='solution' cost='18'>  <list> x[] </list>  <values> 30 268 30 268 380 142 72 310 268 30 142 380 142 380 380 142 338 100 652 414 652 414 268 30 30 268 268 30 470 708 380 142 30 268 338 100 240 478 30 268 380 142 456 694 310 72 380 142 268 30 142 380 652 414 694 456 456 694 268 30 100 338 456 694 414 652 764 526 100 338 310 72 764 526 100 338 30 268 30 268 72 310 338 100 380 142 310 72 268 30 100 338 30 268 268 30 100 338 310 72 100 338 142 380 72 310 30 268 338 100 72 310 456 694 72 310 142 380 100 338 380 142 142 380 100 338 310 72 142 380 100 338 268 30 72 310 142 380 100 338 268 30 414 652 310 72 380 142 30 268 100 338 268 30 764 526 414 652 414 652 338 100 100 338 268 30 142 380 380 142 380 142 100 338 310 72 380 142 268 30 310 72 652 414 100 338 310 72 338 100 414 652 652 414 268 30 100 338 142 380 268 30 694 456 380 142 310 72 142 380 694 456 652 414 470 708 338 100 380 142 310 72 142 380 72 310 268 30 338 100 310 72 414 652 338 100 338 100 100 338 100 338 268 30 414 652 268 30 268 30 72 310 240 478 100 338 652 414 456 694 100 338 268 30 100 338 30 268 72 310 526 764 310 72 100 338 310 72 268 30 142 380 380 142 30 268 338 100 380 142 380 142 310 72 652 414 652 414 380 142 30 268 380 142 100 338 72 310 30 268 142 380 142 380 72 310 268 30 142 380 30 268 30 268 380 142 268 30 268 30 142 380 652 414 764 526 142 380 72 310 100 338 142 380 470 708 338 100 414 652 100 338 456 694 100 338 100 338 142 380 72 310 72 310 268 30 100 338 268 30 380 142 240 478 142 380 380 142 380 142 30 268 72 310 708 470 526 764 414 652 100 338 526 764 310 72 268 30 708 470 380 142 456 694 30 268 652 414 268 30 338 100 694 456 72 310 30 268 100 338 380 142 526 764 694 456 72 310 268 30 414 652 456 694 142 380 652 414 30 268 72 310 268 30 414 652 414 652 100 338 380 142 470 708 310 72 30 268 268 30 310 72 30 268 456 694 30 268 30 268 310 72 142 380 72 310 240 478 338 100 694 456 268 30 764 526 142 380 142 380 310 72 268 30 380 142 268 30 694 456 310 72 30 268 764 526 30 268 310 72 526 764 30 268 268 30 470 708 268 30 100 338 72 310 694 456 310 72 470 708 30 268 240 478 414 652 652 414 142 380 310 72 338 100 100 338 380 142 414 652 72 310 470 708 142 380 268 30 72 310 268 30 708 470 694 456 310 72 764 526 470 708 414 652 268 30 652 414 414 652 708 470 708 470 310 72 142 380 526 764 764 526 72 310 694 456 338 100 310 72 268 30 72 310 142 380 30 268 652 414 764 526 72 310 142 380 142 380 310 72 652 414 380 142 142 380 72 310 694 456 470 708 380 142 268 30 338 100 310 72 764 526 694 456 72 310 414 652 526 764 694 456 380 142 72 310 72 310 652 414 30 268 72 310 414 652 456 694 30 268 142 380 72 310 142 380 30 268 100 338 </values>  </instantiation>
2400.09/2384.70	s SATISFIABLE

OK	18

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12267 MiB free)
  memory of node 1: 16384 MiB (13304 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391348-1568391701/watcher-4391348-1568391701 -o /tmp/evaluation-result-4391348-1568391701/solver-4391348-1568391701 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568389273-19858 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391348-1568391701.xml -cm 

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

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


[startup+0.100447 s]*
/proc/loadavg: 1.49 1.46 1.44 4/229 20392
/proc/meminfo: memFree=26169508/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10659884 memory=30112 CPUtime=0.13 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 5508 0 0 0 13 0 0 0 20 0 15 0 415417501 10915721216 7528 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2664971 7528 2900 1 0 2627468 0
[pid=20377/tid=20379] ppid=20374 vsize=10659884 memory=-8773748148830246018 CPUtime=0.09 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) S 20374 20377 19826 0 -1 1077944384 2942 0 0 0 9 0 0 0 20 0 15 0 415417502 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776649554976 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776151766176 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776150713072 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 15 0 415417507 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) R 20374 20377 19826 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0.02 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) R 20374 20377 19826 0 -1 4202560 577 0 0 0 2 0 0 0 20 0 15 0 415417507 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776146500984 139776637346320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 7528 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30112 KiB

[startup+0.2109 s]*
/proc/loadavg: 1.49 1.46 1.44 3/229 20392
/proc/meminfo: memFree=26163368/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10659884 memory=34988 CPUtime=0.33 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 6351 0 0 0 32 1 0 0 20 0 15 0 415417501 10915721216 8747 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2664971 8747 2990 1 0 2627468 0
[pid=20377/tid=20379] ppid=20374 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) R 20374 20377 19826 0 -1 4202560 3436 0 0 0 20 0 0 0 20 0 15 0 415417502 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776649550896 139776645346461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10659884 memory=3905386317409052320 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776151766176 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776150713072 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 651 0 0 0 2 0 0 0 20 0 15 0 415417507 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 415417507 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0.05 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 611 0 0 0 5 0 0 0 20 0 15 0 415417507 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 8747 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34988 KiB

[startup+0.310385 s]*
/proc/loadavg: 1.49 1.46 1.44 4/229 20392
/proc/meminfo: memFree=26155424/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10659884 memory=40036 CPUtime=0.47 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 8877 0 0 0 45 2 0 0 20 0 15 0 415417501 10915721216 10009 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2664971 10009 3002 1 0 2627468 0
[pid=20377/tid=20379] ppid=20374 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) R 20374 20377 19826 0 -1 4202560 5893 0 0 0 28 2 0 0 20 0 15 0 415417502 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776649545424 139776645346461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10659884 memory=3618279642140927648 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776151766176 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415417504 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776150713072 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 659 0 0 0 3 0 0 0 20 0 15 0 415417507 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 338 0 0 0 4 0 0 0 20 0 15 0 415417507 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0.08 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 629 0 0 0 8 0 0 0 20 0 15 0 415417507 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10659884 memory=140672238773888 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417507 10915721216 10009 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40036 KiB

[startup+0.700838 s]
/proc/loadavg: 1.49 1.46 1.44 3/229 20392
/proc/meminfo: memFree=26147904/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10661932 memory=62576 CPUtime=1.08 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 12251 0 0 0 104 4 0 0 20 0 15 0 415417501 10917818368 15644 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2665483 15644 3074 1 0 2627980 0
[pid=20377/tid=20379] ppid=20374 vsize=10661932 memory=1436 CPUtime=0.68 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) R 20374 20377 19826 0 -1 4202560 8433 0 0 0 64 4 0 0 20 0 15 0 415417502 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776649547472 139776629405022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10661932 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10661932 memory=692 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10661932 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417504 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415417504 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776151766176 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415417504 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776150713072 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10661932 memory=7739276948478061671 CPUtime=0.1 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) R 20374 20377 19826 0 -1 4202560 921 0 0 0 10 0 0 0 20 0 15 0 415417507 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776148595800 139776622921296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10661932 memory=7019257425709197167 CPUtime=0.1 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 559 0 0 0 10 0 0 0 20 0 15 0 415417507 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 980 0 0 0 19 0 0 0 20 0 15 0 415417507 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415417507 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417507 10917818368 15644 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62576 KiB

[startup+1.5008 s]
/proc/loadavg: 1.37 1.44 1.43 3/229 20392
/proc/meminfo: memFree=26131544/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10663980 memory=75212 CPUtime=1.98 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 17579 0 0 0 192 6 0 0 20 0 15 0 415417501 10919915520 18803 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2665995 18803 3096 1 0 2628492 0
[pid=20377/tid=20379] ppid=20374 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) R 20374 20377 19826 0 -1 4202560 12452 0 0 0 142 5 0 0 20 0 15 0 415417502 10919915520 18803 33554432000 4194304 4196468 140721141297344 139776649556560 139776625596285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10663980 memory=-8253362762724047225 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10919915520 18803 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10663980 memory=-8608168169079938421 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415417502 10919915520 18803 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10919915520 18803 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415417502 10919915520 18803 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 415417504 10919915520 18803 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0

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

/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2960 0 0 0 300 22 0 0 20 0 16 0 415417502 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10748324 memory=411576 CPUtime=2.29 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 7687 0 0 0 216 13 0 0 20 0 16 0 415417504 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10748324 memory=411576 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776151766240 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10748324 memory=411576 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776150713088 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10748324 memory=411576 CPUtime=2.33 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 8055 0 0 0 232 1 0 0 20 0 16 0 415417507 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10748324 memory=0 CPUtime=2.45 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 7297 0 0 0 244 1 0 0 20 0 16 0 415417507 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10748324 memory=3580 CPUtime=1.06 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 7856 0 0 0 104 2 0 0 20 0 16 0 415417507 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10748324 memory=39868 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10748324 memory=411576 CPUtime=0.54 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 749 0 0 0 23 31 0 0 20 0 16 0 415417507 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20393] ppid=20374 vsize=10748324 memory=411576 CPUtime=2314.06 cores=1,3,5,7
/proc/20377/task/20393/stat : 20393 (java) R 20374 20377 19826 0 -1 4202560 20671 0 0 0 231392 14 0 0 20 0 16 0 415417689 11006283776 102894 33554432000 4194304 4196468 140721141297344 139776127737504 139776247270669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 2337.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 411576 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.65 1.65 3/229 20769
/proc/meminfo: memFree=21842412/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10748324 memory=411604 CPUtime=2397.68 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 89927 0 0 0 239635 133 0 0 20 0 16 0 415417501 11006283776 102901 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2687081 102901 3384 1 0 2647217 0
[pid=20377/tid=20379] ppid=20374 vsize=10748324 memory=1060 CPUtime=1.85 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) S 20374 20377 19826 0 -1 1077944384 14583 0 0 0 179 6 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776649567408 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.26 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 6768 0 0 0 304 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10748324 memory=411576 CPUtime=3.25 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 8100 0 0 0 303 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.25 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 3373 0 0 0 306 19 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.27 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2986 0 0 0 305 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10748324 memory=411604 CPUtime=2.35 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 7870 0 0 0 221 14 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776151766240 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10748324 memory=326 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776150713088 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10748324 memory=411604 CPUtime=2.33 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 8057 0 0 0 232 1 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10748324 memory=411576 CPUtime=2.45 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 7299 0 0 0 244 1 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10748324 memory=411576 CPUtime=1.06 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 7858 0 0 0 104 2 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10748324 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10748324 memory=39884 CPUtime=0.55 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 766 0 0 0 23 32 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20393] ppid=20374 vsize=10748324 memory=411604 CPUtime=2373.93 cores=1,3,5,7
/proc/20377/task/20393/stat : 20393 (java) R 20374 20377 19826 0 -1 4202560 20872 0 0 0 237379 14 0 0 20 0 16 0 415417689 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776127737424 139776247008154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 2397.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 411604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2384.7 s]
/proc/loadavg: 1.72 1.65 1.65 3/229 20769
/proc/meminfo: memFree=21842412/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10748324 memory=411604 CPUtime=2400.09 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 89931 0 0 0 239876 133 0 0 20 0 16 0 415417501 11006283776 102901 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2687081 102901 3384 1 0 2647217 0
[pid=20377/tid=20379] ppid=20374 vsize=10748324 memory=411576 CPUtime=1.85 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) S 20374 20377 19826 0 -1 1077944384 14583 0 0 0 179 6 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776649567408 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.26 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 6768 0 0 0 304 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.26 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 8100 0 0 0 304 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.25 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 3373 0 0 0 306 19 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.28 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2986 0 0 0 306 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10748324 memory=1060 CPUtime=2.35 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 7870 0 0 0 221 14 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10748324 memory=239909 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776151766240 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776150713088 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10748324 memory=411604 CPUtime=2.33 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 8057 0 0 0 232 1 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10748324 memory=411604 CPUtime=2.45 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 7299 0 0 0 244 1 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10748324 memory=411604 CPUtime=1.06 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 7858 0 0 0 104 2 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10748324 memory=39868 CPUtime=0.56 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 766 0 0 0 24 32 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20393] ppid=20374 vsize=10748324 memory=411604 CPUtime=2376.32 cores=1,3,5,7
/proc/20377/task/20393/stat : 20393 (java) R 20374 20377 19826 0 -1 4202560 20876 0 0 0 237618 14 0 0 20 0 16 0 415417689 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776127737392 139776246912756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 411604 KiB

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

[startup+2384.71 s]
# the end of solver process 20377 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.77 s, system=1.33647 s

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

[startup+2384.7 s]
/proc/loadavg: 1.72 1.65 1.65 3/229 20769
/proc/meminfo: memFree=21842412/32770624 swapFree=66927244/67108860
[pid=20377] ppid=20374 vsize=10748324 memory=411604 CPUtime=2400.09 cores=1,3,5,7
/proc/20377/stat : 20377 (java) S 20374 20377 19826 0 -1 1077944320 89931 0 0 0 239876 133 0 0 20 0 16 0 415417501 11006283776 102901 33554432000 4194304 4196468 140721141297344 140721141279888 139776645324535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
/proc/20377/statm: 2687081 102901 3384 1 0 2647217 0
[pid=20377/tid=20379] ppid=20374 vsize=10748324 memory=411576 CPUtime=1.85 cores=1,3,5,7
/proc/20377/task/20379/stat : 20379 (java) S 20374 20377 19826 0 -1 1077944384 14583 0 0 0 179 6 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776649567408 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20380] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.26 cores=1,3,5,7
/proc/20377/task/20380/stat : 20380 (java) S 20374 20377 19826 0 -1 1077944384 6768 0 0 0 304 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776571399184 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20381] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.26 cores=1,3,5,7
/proc/20377/task/20381/stat : 20381 (java) S 20374 20377 19826 0 -1 1077944384 8100 0 0 0 304 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776570346640 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20382] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.25 cores=1,3,5,7
/proc/20377/task/20382/stat : 20382 (java) S 20374 20377 19826 0 -1 1077944384 3373 0 0 0 306 19 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776569293584 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20383] ppid=20374 vsize=10748324 memory=411604 CPUtime=3.28 cores=1,3,5,7
/proc/20377/task/20383/stat : 20383 (java) S 20374 20377 19826 0 -1 1077944384 2986 0 0 0 306 22 0 0 20 0 16 0 415417502 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776568241040 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20384] ppid=20374 vsize=10748324 memory=1060 CPUtime=2.35 cores=1,3,5,7
/proc/20377/task/20384/stat : 20384 (java) S 20374 20377 19826 0 -1 1077944384 7870 0 0 0 221 14 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776152819952 139776645335682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20385] ppid=20374 vsize=10748324 memory=239909 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20385/stat : 20385 (java) S 20374 20377 19826 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776151766240 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20386] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20386/stat : 20386 (java) S 20374 20377 19826 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415417504 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776150713088 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20387] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20387/stat : 20387 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776149661648 139776645343131 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20388] ppid=20374 vsize=10748324 memory=411604 CPUtime=2.33 cores=1,3,5,7
/proc/20377/task/20388/stat : 20388 (java) S 20374 20377 19826 0 -1 1077944384 8057 0 0 0 232 1 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776148609776 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20389] ppid=20374 vsize=10748324 memory=411604 CPUtime=2.45 cores=1,3,5,7
/proc/20377/task/20389/stat : 20389 (java) S 20374 20377 19826 0 -1 1077944384 7299 0 0 0 244 1 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776147557232 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20390] ppid=20374 vsize=10748324 memory=411604 CPUtime=1.06 cores=1,3,5,7
/proc/20377/task/20390/stat : 20390 (java) S 20374 20377 19826 0 -1 1077944384 7858 0 0 0 104 2 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776146504176 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20391] ppid=20374 vsize=10748324 memory=411604 CPUtime=0 cores=1,3,5,7
/proc/20377/task/20391/stat : 20391 (java) S 20374 20377 19826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776145451872 139776645334741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20392] ppid=20374 vsize=10748324 memory=39868 CPUtime=0.56 cores=1,3,5,7
/proc/20377/task/20392/stat : 20392 (java) S 20374 20377 19826 0 -1 1077944384 766 0 0 0 24 32 0 0 20 0 16 0 415417507 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776144398896 139776645335682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
[pid=20377/tid=20393] ppid=20374 vsize=10748324 memory=411604 CPUtime=2376.32 cores=1,3,5,7
/proc/20377/task/20393/stat : 20393 (java) R 20374 20377 19826 0 -1 4202560 20876 0 0 0 237618 14 0 0 20 0 16 0 415417689 11006283776 102901 33554432000 4194304 4196468 140721141297344 139776127737392 139776246912756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37093376 140721141306379 140721141306482 140721141306482 140721141309391 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 411604 KiB

Child status: 143
Real time (s): 2384.71
CPU time (s): 2400.11
CPU user time (s): 2398.77
CPU system time (s): 1.33647
CPU usage (%): 100.646
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 751340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.77
system time used= 1.33647
maximum resident set size= 768784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109902
involuntary context switches= 2333


# summary of solver processes directly reported to runsolver:
#   pid: 20377
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2398.77
#   total CPU system time (s): 1.33647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2289 second user time and 17.8998 second system time

The end

Begin job on node137 at 2019-09-13 18:20:59
IDJOB=4391348
IDBENCH=141210
IDSOLVER=2833
FILE ID=node137/4391348-1568391701
RUNJOBID= node137-1568389273-19858
PBS_JOBID= 21701855
Free space on /tmp= 61420 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-08-opt_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391348-1568391701/watcher-4391348-1568391701 -o /tmp/evaluation-result-4391348-1568391701/solver-4391348-1568391701 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568389273-19858 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391348-1568391701.xml -cm

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

MD5SUM BENCH= edb7fc8f5d274005fc89ddd50225e87c
RANDOM SEED=563057327

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26186268 kB
MemAvailable:   31196748 kB
Buffers:          165280 kB
Cached:          5110772 kB
SwapCached:        77564 kB
Active:          1924312 kB
Inactive:        4039184 kB
Active(anon):     611092 kB
Inactive(anon):   117600 kB
Active(file):    1313220 kB
Inactive(file):  3921584 kB
Unevictable:      108712 kB
Mlocked:          108712 kB
SwapTotal:      67108860 kB
SwapFree:       66927244 kB
Dirty:              8720 kB
Writeback:             0 kB
AnonPages:        798348 kB
Mapped:            56864 kB
Shmem:             32756 kB
Slab:             212792 kB
SReclaimable:     183024 kB
SUnreclaim:        29768 kB
KernelStack:        4016 kB
PageTables:         7256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1580912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61312 MiB
End job on node137 at 2019-09-13 19:00:44