2.51/2.40	
2.51/2.40	AbsCon 2 
2.61/2.41	
2.84/2.59	  Instance
2.84/2.59	    name=instance-4390763-1568380516, framework=COP, bounds=-infty..+infty
2.84/2.59	
2.84/2.59	  Loading variables...
3.03/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52739f24
3.03/2.63	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ba178e
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3179aafd
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c34d3e
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3c555a
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a4a297
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56dec577
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2d07b6
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669f56ad
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f887bdc
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1357b20a
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64174805
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a6b84c
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
3.03/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
3.03/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
3.22/2.71	
3.22/2.71	
3.22/2.71	  Domains
3.22/2.71	    nTypes=2, nValues=396, sizes=[2#36,9#36]
3.22/2.71	  Variables
3.22/2.71	    count=72, degrees=[2#36,7#4,9#8,10#24]
3.22/2.71	  Objectives
3.22/2.71	    way=max, type=SumSimpleGE
3.22/2.71	  Constraints
3.22/2.71	    count=91, nSpecific=37, arities=[2#36,3#18,4#4,6#18,9#14,36#1]
3.22/2.71	    distribution=[CtrExtensionV-Bits#36,CtrExtensionV-Matrix3D#18,SumSimpleGE#1,SumWeightedEQ#36]
3.22/2.71	    nExtStructures=(5,shared:49), nCftStructures=(5,shared:49,unbuilt:37)
3.22/2.71	    wck=0.338, cpu=2.13, mem=23M870
3.22/2.71	  Solver SolverBacktrack being built...
3.22/2.71	
3.22/2.73	
3.22/2.73	  Solver
3.22/2.73	    guaranteedGAC=false
3.22/2.73	    wck=0.365, cpu=2.153, mem=34M512
3.22/2.73	
3.22/2.73	  Preprocessing
3.22/2.73	    filters=22, revisions=(22,useless=22), nACremovedValues=74, nTotalRemovedValues=74, inconcistency=false
3.22/2.73	    wck=0.002, cpu=2.157, mem=34M512
3.22/2.73	
3.22/2.74	o 0
3.22/2.75	    num=0, depth=73..71, filters=245, revisions=(204,useless=171), ccks=109, wck=0.017, mem=34M512
3.22/2.75	    decisions=27, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=0
3.22/2.75	    
3.22/2.76	o 4
3.22/2.76	    num=1, depth=22..71, filters=532, revisions=(488,useless=411), ccks=218, wck=0.026, mem=34M512
3.22/2.76	    decisions=61, wrong=6, backtracks=3, failedAssignments=4, nogoods=4, foundSolutions=2, bestBound=4
3.22/2.76	    
3.22/2.76	o 5
3.22/2.76	    num=2, depth=15..71, filters=811, revisions=(757,useless=637), ccks=322, wck=0.032, mem=34M512
3.22/2.76	    decisions=91, wrong=12, backtracks=6, failedAssignments=8, nogoods=7, foundSolutions=3, bestBound=5
3.22/2.76	    
3.22/2.78	    num=3, depth=18..23, filters=1284, revisions=(1173,useless=969), ccks=365, wck=0.053, mem=37M155
3.22/2.78	    decisions=146, wrong=30, backtracks=16, failedAssignments=19, nogoods=13, foundSolutions=3, bestBound=5
3.22/2.78	    
3.22/2.79	o 6
3.22/2.79	    num=4, depth=14..71, filters=1574, revisions=(1440,useless=1197), ccks=474, wck=0.058, mem=37M155
3.22/2.79	    decisions=177, wrong=37, backtracks=20, failedAssignments=24, nogoods=15, foundSolutions=4, bestBound=6
3.22/2.79	    
3.22/2.80	    num=5, depth=16..23, filters=2108, revisions=(1867,useless=1536), ccks=520, wck=0.062, mem=37M155
3.22/2.80	    decisions=229, wrong=55, backtracks=38, failedAssignments=36, nogoods=16, foundSolutions=4, bestBound=6
3.22/2.80	    
3.48/2.80	    num=6, depth=16..23, filters=2784, revisions=(2230,useless=1801), ccks=537, wck=0.065, mem=37M155
3.48/2.80	    decisions=291, wrong=76, backtracks=56, failedAssignments=47, nogoods=18, foundSolutions=4, bestBound=6
3.48/2.80	    
3.48/2.81	o 7
3.48/2.81	    num=7, depth=15..71, filters=3389, revisions=(2650,useless=2122), ccks=658, wck=0.07, mem=37M155
3.48/2.81	    decisions=341, wrong=92, backtracks=69, failedAssignments=57, nogoods=20, foundSolutions=5, bestBound=7
3.48/2.81	    
3.48/2.81	    num=8, depth=16..23, filters=4004, revisions=(3078,useless=2459), ccks=695, wck=0.073, mem=37M155
3.48/2.81	    decisions=397, wrong=111, backtracks=84, failedAssignments=70, nogoods=22, foundSolutions=5, bestBound=7
3.48/2.81	    
3.48/2.81	o 10
3.48/2.81	    num=9, depth=18..71, filters=4325, revisions=(3327,useless=2664), ccks=809, wck=0.076, mem=37M155
3.48/2.81	    decisions=427, wrong=116, backtracks=84, failedAssignments=75, nogoods=27, foundSolutions=6, bestBound=10
3.48/2.81	    
3.48/2.81	    num=10, depth=12..19, filters=5166, revisions=(3878,useless=3097), ccks=878, wck=0.081, mem=37M155
3.48/2.81	    decisions=495, wrong=144, backtracks=109, failedAssignments=87, nogoods=29, foundSolutions=6, bestBound=10
3.48/2.81	    
3.48/2.82	    num=11, depth=14..22, filters=5685, revisions=(4239,useless=3369), ccks=915, wck=0.083, mem=37M155
3.48/2.82	    decisions=543, wrong=161, backtracks=125, failedAssignments=98, nogoods=30, foundSolutions=6, bestBound=10
3.48/2.82	    
3.48/2.82	    num=12, depth=16..21, filters=6268, revisions=(4644,useless=3687), ccks=963, wck=0.086, mem=37M155
3.48/2.82	    decisions=595, wrong=179, backtracks=142, failedAssignments=110, nogoods=33, foundSolutions=6, bestBound=10
3.48/2.82	    
3.48/2.82	    num=13, depth=15..21, filters=6981, revisions=(5115,useless=4039), ccks=1019, wck=0.09, mem=37M155
3.48/2.82	    decisions=658, wrong=201, backtracks=159, failedAssignments=123, nogoods=36, foundSolutions=6, bestBound=10
3.48/2.82	    
3.48/2.82	    num=14, depth=15..22, filters=7595, revisions=(5467,useless=4296), ccks=1052, wck=0.093, mem=37M155
3.48/2.82	    decisions=721, wrong=224, backtracks=177, failedAssignments=137, nogoods=39, foundSolutions=6, bestBound=10
3.48/2.82	    
3.48/2.83	    num=15, depth=14..20, filters=8258, revisions=(5895,useless=4617), ccks=1101, wck=0.096, mem=37M155
3.48/2.83	    decisions=794, wrong=253, backtracks=205, failedAssignments=153, nogoods=41, foundSolutions=6, bestBound=10
3.48/2.83	    
3.48/2.83	    num=16, depth=16..23, filters=9216, revisions=(6518,useless=5100), ccks=1191, wck=0.1, mem=37M155
3.48/2.83	    decisions=875, wrong=285, backtracks=235, failedAssignments=170, nogoods=44, foundSolutions=6, bestBound=10
3.48/2.83	    
3.48/2.84	    num=17, depth=14..22, filters=10145, revisions=(7050,useless=5486), ccks=1244, wck=0.104, mem=37M155
3.48/2.84	    decisions=961, wrong=320, backtracks=264, failedAssignments=189, nogoods=47, foundSolutions=6, bestBound=10
3.48/2.84	    
3.48/2.84	    num=18, depth=15..23, filters=11019, revisions=(7598,useless=5886), ccks=1319, wck=0.108, mem=37M155
3.48/2.84	    decisions=1045, wrong=354, backtracks=293, failedAssignments=210, nogoods=49, foundSolutions=6, bestBound=10
3.48/2.84	    
3.48/2.84	    num=19, depth=13..21, filters=12049, revisions=(8228,useless=6349), ccks=1401, wck=0.112, mem=37M155
3.48/2.84	    decisions=1145, wrong=397, backtracks=330, failedAssignments=233, nogoods=52, foundSolutions=6, bestBound=10
3.48/2.84	    
3.48/2.85	o 12
3.48/2.85	    num=20, depth=13..71, filters=12965, revisions=(8810,useless=6795), ccks=1559, wck=0.117, mem=37M155
3.48/2.85	    decisions=1224, wrong=428, backtracks=354, failedAssignments=248, nogoods=56, foundSolutions=7, bestBound=12
3.48/2.85	    
3.48/2.85	    num=21, depth=10..19, filters=14198, revisions=(9717,useless=7481), ccks=1669, wck=0.122, mem=37M155
3.48/2.85	    decisions=1338, wrong=480, backtracks=400, failedAssignments=276, nogoods=57, foundSolutions=7, bestBound=12
3.48/2.85	    
3.48/2.86	    num=22, depth=12..19, filters=14806, revisions=(10107,useless=7771), ccks=1728, wck=0.124, mem=37M155
3.48/2.86	    decisions=1390, wrong=500, backtracks=419, failedAssignments=287, nogoods=58, foundSolutions=7, bestBound=12
3.48/2.86	    
3.48/2.86	    num=23, depth=12..19, filters=15432, revisions=(10504,useless=8073), ccks=1780, wck=0.126, mem=37M155
3.48/2.86	    decisions=1447, wrong=521, backtracks=435, failedAssignments=299, nogoods=61, foundSolutions=7, bestBound=12
3.48/2.86	    
3.48/2.86	    num=24, depth=15..21, filters=15949, revisions=(10820,useless=8306), ccks=1813, wck=0.128, mem=37M155
3.48/2.86	    decisions=1504, wrong=541, backtracks=449, failedAssignments=312, nogoods=64, foundSolutions=7, bestBound=12
3.48/2.86	    
3.48/2.86	    num=25, depth=16..22, filters=16616, revisions=(11229,useless=8617), ccks=1863, wck=0.13, mem=37M155
3.48/2.86	    decisions=1566, wrong=563, backtracks=467, failedAssignments=326, nogoods=68, foundSolutions=7, bestBound=12
3.48/2.86	    
3.48/2.86	    num=26, depth=15..21, filters=17428, revisions=(11701,useless=8967), ccks=1894, wck=0.133, mem=37M155
3.48/2.86	    decisions=1638, wrong=590, backtracks=489, failedAssignments=342, nogoods=71, foundSolutions=7, bestBound=12
3.48/2.86	    
3.48/2.87	    num=27, depth=13..21, filters=18239, revisions=(12257,useless=9378), ccks=1992, wck=0.136, mem=37M155
3.48/2.87	    decisions=1718, wrong=621, backtracks=514, failedAssignments=359, nogoods=74, foundSolutions=7, bestBound=12
3.48/2.87	    
3.48/2.87	    num=28, depth=15..24, filters=19123, revisions=(12675,useless=9672), ccks=1998, wck=0.138, mem=37M155
3.48/2.87	    decisions=1800, wrong=654, backtracks=545, failedAssignments=378, nogoods=76, foundSolutions=7, bestBound=12
3.48/2.87	    
3.48/2.87	    num=29, depth=13..22, filters=20130, revisions=(13300,useless=10129), ccks=2037, wck=0.142, mem=37M155
3.48/2.87	    decisions=1887, wrong=691, backtracks=580, failedAssignments=399, nogoods=78, foundSolutions=7, bestBound=12
3.48/2.87	    
3.48/2.88	    num=30, depth=11..20, filters=21257, revisions=(14022,useless=10673), ccks=2103, wck=0.145, mem=37M155
3.48/2.88	    decisions=1982, wrong=733, backtracks=620, failedAssignments=422, nogoods=80, foundSolutions=7, bestBound=12
3.48/2.88	    
3.48/2.88	    num=31, depth=12..21, filters=22204, revisions=(14750,useless=11227), ccks=2205, wck=0.148, mem=37M155
3.48/2.88	    decisions=2083, wrong=775, backtracks=656, failedAssignments=447, nogoods=83, foundSolutions=7, bestBound=12
3.48/2.88	    
3.48/2.88	    num=32, depth=14..21, filters=23395, revisions=(15449,useless=11737), ccks=2272, wck=0.152, mem=37M155
3.48/2.88	    decisions=2192, wrong=822, backtracks=698, failedAssignments=475, nogoods=87, foundSolutions=7, bestBound=12
3.48/2.88	    
3.48/2.89	    num=33, depth=14..22, filters=24877, revisions=(16414,useless=12467), ccks=2398, wck=0.156, mem=37M155
3.48/2.89	    decisions=2321, wrong=878, backtracks=751, failedAssignments=506, nogoods=90, foundSolutions=7, bestBound=12
3.48/2.89	    
3.48/2.89	    num=34, depth=14..23, filters=26461, revisions=(17271,useless=13095), ccks=2463, wck=0.16, mem=37M155
3.48/2.89	    decisions=2469, wrong=945, backtracks=810, failedAssignments=540, nogoods=94, foundSolutions=7, bestBound=12
3.48/2.89	    
3.48/2.90	    num=35, depth=10..21, filters=27901, revisions=(18325,useless=13878), ccks=2610, wck=0.164, mem=37M155
3.48/2.90	    decisions=2613, wrong=1011, backtracks=870, failedAssignments=577, nogoods=96, foundSolutions=7, bestBound=12
3.48/2.90	    
3.82/2.90	    num=36, depth=11..21, filters=29725, revisions=(19544,useless=14794), ccks=2749, wck=0.169, mem=37M155
3.82/2.90	    decisions=2779, wrong=1088, backtracks=938, failedAssignments=618, nogoods=101, foundSolutions=7, bestBound=12
3.82/2.90	    
3.82/2.91	o 13
3.82/2.91	    num=37, depth=10..71, filters=31175, revisions=(20635,useless=15640), ccks=2985, wck=0.174, mem=37M155
3.82/2.91	    decisions=2924, wrong=1153, backtracks=987, failedAssignments=656, nogoods=109, foundSolutions=8, bestBound=13
3.82/2.91	    
3.82/2.91	    num=38, depth=10..22, filters=33664, revisions=(22095,useless=16762), ccks=3090, wck=0.179, mem=39M798
3.82/2.91	    decisions=3128, wrong=1247, backtracks=1071, failedAssignments=706, nogoods=113, foundSolutions=8, bestBound=13
3.82/2.91	    
3.82/2.91	    num=39, depth=13..21, filters=34137, revisions=(22465,useless=17053), ccks=3141, wck=0.182, mem=39M798
3.82/2.91	    decisions=3177, wrong=1263, backtracks=1081, failedAssignments=717, nogoods=118, foundSolutions=8, bestBound=13
3.82/2.91	    
3.82/2.92	    num=40, depth=12..20, filters=34678, revisions=(22863,useless=17355), ccks=3201, wck=0.184, mem=39M798
3.82/2.92	    decisions=3234, wrong=1284, backtracks=1099, failedAssignments=729, nogoods=121, foundSolutions=8, bestBound=13
3.82/2.92	    
3.82/2.92	    num=41, depth=10..20, filters=35379, revisions=(23308,useless=17686), ccks=3250, wck=0.185, mem=39M798
3.82/2.92	    decisions=3297, wrong=1308, backtracks=1118, failedAssignments=742, nogoods=124, foundSolutions=8, bestBound=13
3.82/2.92	    
3.82/2.92	    num=42, depth=13..23, filters=36000, revisions=(23737,useless=18017), ccks=3299, wck=0.187, mem=39M798
3.82/2.92	    decisions=3360, wrong=1332, backtracks=1140, failedAssignments=756, nogoods=128, foundSolutions=8, bestBound=13
3.82/2.92	    
3.82/2.92	    num=43, depth=13..20, filters=36690, revisions=(24143,useless=18319), ccks=3335, wck=0.189, mem=39M798
3.82/2.92	    decisions=3424, wrong=1357, backtracks=1163, failedAssignments=772, nogoods=131, foundSolutions=8, bestBound=13
3.82/2.92	    
3.82/2.92	    num=44, depth=14..21, filters=37332, revisions=(24553,useless=18624), ccks=3382, wck=0.19, mem=39M798
3.82/2.92	    decisions=3494, wrong=1385, backtracks=1188, failedAssignments=789, nogoods=133, foundSolutions=8, bestBound=13
3.82/2.92	    
3.82/2.92	    num=45, depth=14..22, filters=38148, revisions=(25110,useless=19038), ccks=3460, wck=0.192, mem=39M798
3.82/2.92	    decisions=3570, wrong=1415, backtracks=1214, failedAssignments=808, nogoods=136, foundSolutions=8, bestBound=13
3.82/2.92	    
3.82/2.93	    num=46, depth=14..21, filters=38955, revisions=(25605,useless=19408), ccks=3506, wck=0.194, mem=39M798
3.82/2.93	    decisions=3642, wrong=1443, backtracks=1236, failedAssignments=829, nogoods=141, foundSolutions=8, bestBound=13
3.82/2.93	    
3.82/2.93	    num=47, depth=12..20, filters=39927, revisions=(26318,useless=19954), ccks=3602, wck=0.196, mem=39M798
3.82/2.93	    decisions=3728, wrong=1479, backtracks=1270, failedAssignments=852, nogoods=145, foundSolutions=8, bestBound=13
3.82/2.93	    
3.82/2.93	    num=48, depth=13..21, filters=41073, revisions=(26979,useless=20423), ccks=3664, wck=0.199, mem=39M798
3.82/2.93	    decisions=3832, wrong=1523, backtracks=1308, failedAssignments=877, nogoods=149, foundSolutions=8, bestBound=13
3.82/2.93	    
3.82/2.93	    num=49, depth=13..21, filters=42528, revisions=(27771,useless=20985), ccks=3735, wck=0.202, mem=39M798
3.82/2.93	    decisions=3951, wrong=1576, backtracks=1356, failedAssignments=905, nogoods=151, foundSolutions=8, bestBound=13
3.82/2.93	    
3.82/2.94	    num=50, depth=13..20, filters=44013, revisions=(28671,useless=21664), ccks=3823, wck=0.205, mem=39M798
3.82/2.94	    decisions=4065, wrong=1626, backtracks=1395, failedAssignments=936, nogoods=156, foundSolutions=8, bestBound=13
3.82/2.94	    
3.82/2.94	    num=51, depth=13..22, filters=45584, revisions=(29679,useless=22443), ccks=3932, wck=0.208, mem=39M798
3.82/2.94	    decisions=4202, wrong=1688, backtracks=1458, failedAssignments=970, nogoods=159, foundSolutions=8, bestBound=13
3.82/2.94	    
3.82/2.94	    num=52, depth=12..21, filters=46966, revisions=(30573,useless=23095), ccks=4054, wck=0.211, mem=39M798
3.82/2.94	    decisions=4343, wrong=1750, backtracks=1509, failedAssignments=1007, nogoods=164, foundSolutions=8, bestBound=13
3.82/2.94	    
3.82/2.95	    num=53, depth=13..21, filters=49082, revisions=(31681,useless=23889), ccks=4133, wck=0.215, mem=39M798
3.82/2.95	    decisions=4504, wrong=1822, backtracks=1570, failedAssignments=1048, nogoods=168, foundSolutions=8, bestBound=13
3.82/2.95	    
3.82/2.95	    num=54, depth=13..22, filters=50739, revisions=(32878,useless=24762), ccks=4326, wck=0.218, mem=39M798
3.82/2.95	    decisions=4669, wrong=1897, backtracks=1642, failedAssignments=1093, nogoods=172, foundSolutions=8, bestBound=13
3.82/2.95	    
3.82/2.95	    num=55, depth=12..21, filters=53144, revisions=(34449,useless=25940), ccks=4547, wck=0.223, mem=39M798
3.82/2.95	    decisions=4884, wrong=1998, backtracks=1736, failedAssignments=1143, nogoods=177, foundSolutions=8, bestBound=13
3.82/2.95	    
3.82/2.96	    num=56, depth=11..21, filters=55776, revisions=(35901,useless=26978), ccks=4684, wck=0.228, mem=39M798
3.82/2.96	    decisions=5102, wrong=2101, backtracks=1826, failedAssignments=1198, nogoods=182, foundSolutions=8, bestBound=13
3.82/2.96	    
3.82/2.96	    num=57, depth=13..23, filters=57868, revisions=(37459,useless=28131), ccks=4939, wck=0.232, mem=39M798
3.82/2.96	    decisions=5318, wrong=2202, backtracks=1922, failedAssignments=1259, nogoods=185, foundSolutions=8, bestBound=13
3.82/2.96	    
3.82/2.97	    num=58, depth=13..24, filters=61193, revisions=(39301,useless=29474), ccks=5137, wck=0.238, mem=39M798
3.82/2.97	    decisions=5583, wrong=2328, backtracks=2034, failedAssignments=1326, nogoods=189, foundSolutions=8, bestBound=13
3.82/2.97	    
3.82/2.98	    num=59, depth=11..22, filters=64655, revisions=(41348,useless=30957), ccks=5343, wck=0.244, mem=39M798
3.82/2.98	    decisions=5893, wrong=2476, backtracks=2169, failedAssignments=1400, nogoods=194, foundSolutions=8, bestBound=13
3.82/2.98	    
3.82/2.98	    num=60, depth=11..23, filters=68349, revisions=(43574,useless=32605), ccks=5614, wck=0.251, mem=39M798
3.82/2.98	    decisions=6192, wrong=2619, backtracks=2300, failedAssignments=1481, nogoods=200, foundSolutions=8, bestBound=13
3.82/2.98	    
3.82/2.99	    num=61, depth=13..22, filters=72047, revisions=(45352,useless=33840), ccks=5712, wck=0.258, mem=39M798
3.82/2.99	    decisions=6515, wrong=2773, backtracks=2435, failedAssignments=1570, nogoods=204, foundSolutions=8, bestBound=13
3.82/2.99	    
3.82/3.00	    num=62, depth=10..23, filters=76260, revisions=(48078,useless=35851), ccks=6054, wck=0.266, mem=42M440
3.82/3.00	    decisions=6911, wrong=2964, backtracks=2614, failedAssignments=1668, nogoods=207, foundSolutions=8, bestBound=13
3.82/3.00	    
4.16/3.01	o 14
4.16/3.01	    num=63, depth=10..71, filters=78233, revisions=(49357,useless=36807), ccks=6299, wck=0.27, mem=42M440
4.16/3.01	    decisions=7086, wrong=3042, backtracks=2680, failedAssignments=1714, nogoods=214, foundSolutions=9, bestBound=14
4.16/3.01	    
4.16/3.01	    num=64, depth=8..20, filters=84320, revisions=(53429,useless=39934), ccks=6527, wck=0.28, mem=42M440
4.16/3.01	    decisions=7588, wrong=3286, backtracks=2910, failedAssignments=1833, nogoods=217, foundSolutions=9, bestBound=14
4.16/3.01	    
4.16/3.01	    num=65, depth=12..18, filters=84924, revisions=(53819,useless=40228), ccks=6569, wck=0.281, mem=42M440
4.16/3.01	    decisions=7645, wrong=3308, backtracks=2929, failedAssignments=1844, nogoods=219, foundSolutions=9, bestBound=14
4.16/3.01	    
4.16/3.01	    num=66, depth=11..19, filters=85565, revisions=(54203,useless=40517), ccks=6601, wck=0.282, mem=42M440
4.16/3.01	    decisions=7702, wrong=3329, backtracks=2942, failedAssignments=1856, nogoods=223, foundSolutions=9, bestBound=14
4.16/3.01	    
4.16/3.02	    num=67, depth=11..18, filters=86276, revisions=(54631,useless=40844), ccks=6623, wck=0.284, mem=42M440
4.16/3.02	    decisions=7761, wrong=3352, backtracks=2963, failedAssignments=1869, nogoods=225, foundSolutions=9, bestBound=14
4.16/3.02	    
4.16/3.02	    num=68, depth=12..18, filters=86901, revisions=(55016,useless=41134), ccks=6653, wck=0.285, mem=42M440
4.16/3.02	    decisions=7816, wrong=3373, backtracks=2981, failedAssignments=1883, nogoods=228, foundSolutions=9, bestBound=14
4.16/3.02	    
4.16/3.02	    num=69, depth=13..20, filters=87826, revisions=(55600,useless=41582), ccks=6681, wck=0.287, mem=42M440
4.16/3.02	    decisions=7881, wrong=3399, backtracks=3002, failedAssignments=1899, nogoods=232, foundSolutions=9, bestBound=14
4.16/3.02	    
4.16/3.02	    num=70, depth=12..19, filters=88564, revisions=(56051,useless=41915), ccks=6723, wck=0.288, mem=42M440
4.16/3.02	    decisions=7946, wrong=3424, backtracks=3022, failedAssignments=1916, nogoods=236, foundSolutions=9, bestBound=14
4.16/3.02	    
4.16/3.02	    num=71, depth=13..20, filters=89558, revisions=(56650,useless=42370), ccks=6764, wck=0.29, mem=42M440
4.16/3.02	    decisions=8027, wrong=3458, backtracks=3056, failedAssignments=1935, nogoods=237, foundSolutions=9, bestBound=14
4.16/3.02	    
4.16/3.03	    num=72, depth=10..17, filters=90499, revisions=(57202,useless=42780), ccks=6785, wck=0.291, mem=42M440
4.16/3.03	    decisions=8113, wrong=3495, backtracks=3090, failedAssignments=1956, nogoods=239, foundSolutions=9, bestBound=14
4.16/3.03	    
4.16/3.03	    num=73, depth=13..20, filters=91705, revisions=(57963,useless=43329), ccks=6869, wck=0.293, mem=42M440
4.16/3.03	    decisions=8220, wrong=3541, backtracks=3132, failedAssignments=1979, nogoods=242, foundSolutions=9, bestBound=14
4.16/3.03	    
4.16/3.03	    num=74, depth=13..19, filters=92513, revisions=(58438,useless=43672), ccks=6905, wck=0.295, mem=42M440
4.16/3.03	    decisions=8307, wrong=3578, backtracks=3169, failedAssignments=2004, nogoods=246, foundSolutions=9, bestBound=14
4.16/3.03	    
4.16/3.03	    num=75, depth=10..20, filters=93643, revisions=(59187,useless=44219), ccks=7014, wck=0.297, mem=42M440
4.16/3.03	    decisions=8421, wrong=3628, backtracks=3211, failedAssignments=2032, nogoods=249, foundSolutions=9, bestBound=14
4.16/3.03	    
4.16/3.03	    num=76, depth=12..19, filters=95062, revisions=(60147,useless=44923), ccks=7152, wck=0.299, mem=42M440
4.16/3.03	    decisions=8541, wrong=3681, backtracks=3256, failedAssignments=2063, nogoods=253, foundSolutions=9, bestBound=14
4.16/3.03	    
4.16/3.03	    num=77, depth=11..19, filters=96474, revisions=(60988,useless=45544), ccks=7227, wck=0.302, mem=42M440
4.16/3.03	    decisions=8661, wrong=3735, backtracks=3303, failedAssignments=2097, nogoods=255, foundSolutions=9, bestBound=14
4.16/3.03	    
4.16/3.04	    num=78, depth=11..21, filters=98180, revisions=(62228,useless=46486), ccks=7402, wck=0.304, mem=42M440
4.16/3.04	    decisions=8809, wrong=3803, backtracks=3368, failedAssignments=2134, nogoods=257, foundSolutions=9, bestBound=14
4.16/3.04	    
4.16/3.04	    num=79, depth=13..20, filters=99823, revisions=(63335,useless=47293), ccks=7539, wck=0.307, mem=42M440
4.16/3.04	    decisions=8978, wrong=3879, backtracks=3434, failedAssignments=2175, nogoods=264, foundSolutions=9, bestBound=14
4.16/3.04	    
4.16/3.04	    num=80, depth=13..21, filters=101525, revisions=(64329,useless=48028), ccks=7608, wck=0.31, mem=42M440
4.16/3.04	    decisions=9141, wrong=3953, backtracks=3502, failedAssignments=2220, nogoods=268, foundSolutions=9, bestBound=14
4.16/3.04	    
4.16/3.04	    num=81, depth=12..21, filters=103420, revisions=(65493,useless=48887), ccks=7731, wck=0.313, mem=42M440
4.16/3.04	    decisions=9321, wrong=4035, backtracks=3579, failedAssignments=2270, nogoods=272, foundSolutions=9, bestBound=14
4.16/3.04	    
4.16/3.05	    num=82, depth=10..20, filters=105937, revisions=(67168,useless=50144), ccks=7946, wck=0.317, mem=42M440
4.16/3.05	    decisions=9534, wrong=4133, backtracks=3667, failedAssignments=2325, nogoods=275, foundSolutions=9, bestBound=14
4.16/3.05	    
4.16/3.05	    num=83, depth=12..22, filters=108698, revisions=(68853,useless=51396), ccks=8102, wck=0.321, mem=42M440
4.16/3.05	    decisions=9760, wrong=4239, backtracks=3759, failedAssignments=2386, nogoods=280, foundSolutions=9, bestBound=14
4.16/3.05	    
4.16/3.06	    num=84, depth=11..22, filters=111524, revisions=(70654,useless=52719), ccks=8287, wck=0.325, mem=42M440
4.16/3.06	    decisions=10021, wrong=4362, backtracks=3870, failedAssignments=2453, nogoods=284, foundSolutions=9, bestBound=14
4.16/3.06	    
4.16/3.06	    num=85, depth=10..21, filters=114847, revisions=(72782,useless=54300), ccks=8562, wck=0.331, mem=42M440
4.16/3.06	    decisions=10323, wrong=4508, backtracks=3998, failedAssignments=2527, nogoods=285, foundSolutions=9, bestBound=14
4.16/3.06	    
4.16/3.07	    num=86, depth=9..20, filters=118295, revisions=(74698,useless=55658), ccks=8752, wck=0.336, mem=42M440
4.16/3.07	    decisions=10623, wrong=4650, backtracks=4119, failedAssignments=2608, nogoods=290, foundSolutions=9, bestBound=14
4.16/3.07	    
4.16/3.07	    num=87, depth=10..22, filters=122258, revisions=(77225,useless=57530), ccks=9016, wck=0.341, mem=42M440
4.16/3.07	    decisions=10962, wrong=4813, backtracks=4270, failedAssignments=2697, nogoods=294, foundSolutions=9, bestBound=14
4.16/3.07	    
4.16/3.08	    num=88, depth=10..21, filters=126344, revisions=(79770,useless=59376), ccks=9364, wck=0.347, mem=45M83
4.16/3.08	    decisions=11333, wrong=4991, backtracks=4434, failedAssignments=2795, nogoods=297, foundSolutions=9, bestBound=14
4.16/3.08	    
4.16/3.09	    num=89, depth=11..22, filters=131659, revisions=(83124,useless=61803), ccks=9756, wck=0.354, mem=45M83
4.16/3.09	    decisions=11789, wrong=5213, backtracks=4645, failedAssignments=2903, nogoods=302, foundSolutions=9, bestBound=14
4.16/3.09	    
4.16/3.09	    num=90, depth=9..22, filters=136802, revisions=(86503,useless=64364), ccks=10168, wck=0.361, mem=45M83
4.16/3.09	    decisions=12227, wrong=5426, backtracks=4828, failedAssignments=3022, nogoods=308, foundSolutions=9, bestBound=14
4.16/3.09	    
4.16/3.10	    num=91, depth=10..26, filters=143028, revisions=(90206,useless=67034), ccks=10628, wck=0.369, mem=45M83
4.16/3.10	    decisions=12734, wrong=5672, backtracks=5052, failedAssignments=3153, nogoods=313, foundSolutions=9, bestBound=14
4.16/3.10	    
4.47/3.11	    num=92, depth=10..24, filters=148469, revisions=(94134,useless=69914), ccks=11205, wck=0.377, mem=45M83
4.47/3.11	    decisions=13274, wrong=5934, backtracks=5292, failedAssignments=3297, nogoods=316, foundSolutions=9, bestBound=14
4.47/3.11	    
4.47/3.12	    num=93, depth=9..22, filters=156498, revisions=(99303,useless=73790), ccks=11862, wck=0.387, mem=45M83
4.47/3.12	    decisions=13925, wrong=6253, backtracks=5580, failedAssignments=3455, nogoods=321, foundSolutions=9, bestBound=14
4.47/3.12	    
4.47/3.13	    num=94, depth=7..19, filters=165441, revisions=(104981,useless=77973), ccks=12424, wck=0.398, mem=45M83
4.47/3.13	    decisions=14629, wrong=6600, backtracks=5893, failedAssignments=3629, nogoods=327, foundSolutions=9, bestBound=14
4.47/3.13	    
4.47/3.14	o 15
4.47/3.14	    num=95, depth=11..71, filters=169734, revisions=(108131,useless=80330), ccks=12973, wck=0.405, mem=45M83
4.47/3.14	    decisions=15018, wrong=6788, backtracks=6065, failedAssignments=3740, nogoods=335, foundSolutions=10, bestBound=15
4.47/3.14	    
4.47/3.15	    num=96, depth=6..19, filters=180060, revisions=(115163,useless=85770), ccks=13529, wck=0.417, mem=45M83
4.47/3.15	    decisions=15871, wrong=7210, backtracks=6454, failedAssignments=3951, nogoods=344, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.15	    num=97, depth=11..19, filters=180580, revisions=(115522,useless=86036), ccks=13585, wck=0.418, mem=45M83
4.47/3.15	    decisions=15926, wrong=7231, backtracks=6472, failedAssignments=3962, nogoods=346, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.15	    num=98, depth=11..18, filters=181131, revisions=(115851,useless=86269), ccks=13623, wck=0.419, mem=45M83
4.47/3.15	    decisions=15984, wrong=7253, backtracks=6489, failedAssignments=3974, nogoods=349, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.15	    num=99, depth=11..19, filters=181690, revisions=(116200,useless=86522), ccks=13650, wck=0.42, mem=45M83
4.47/3.15	    decisions=16041, wrong=7275, backtracks=6506, failedAssignments=3987, nogoods=351, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.15	    num=100, depth=10..17, filters=182545, revisions=(116595,useless=86795), ccks=13664, wck=0.421, mem=45M83
4.47/3.15	    decisions=16111, wrong=7305, backtracks=6533, failedAssignments=4001, nogoods=352, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.15	    num=101, depth=10..18, filters=183368, revisions=(117149,useless=87193), ccks=13736, wck=0.422, mem=45M83
4.47/3.15	    decisions=16187, wrong=7336, backtracks=6558, failedAssignments=4017, nogoods=357, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.15	    num=102, depth=11..16, filters=184064, revisions=(117538,useless=87475), ccks=13747, wck=0.423, mem=45M83
4.47/3.15	    decisions=16254, wrong=7363, backtracks=6577, failedAssignments=4034, nogoods=363, foundSolutions=10, bestBound=15
4.47/3.15	    
4.47/3.16	    num=103, depth=11..20, filters=185079, revisions=(118181,useless=87954), ccks=13816, wck=0.425, mem=45M83
4.47/3.16	    decisions=16332, wrong=7396, backtracks=6606, failedAssignments=4053, nogoods=366, foundSolutions=10, bestBound=15
4.47/3.16	    
4.47/3.16	    num=104, depth=12..22, filters=185990, revisions=(118765,useless=88382), ccks=13881, wck=0.426, mem=47M725
4.47/3.16	    decisions=16419, wrong=7433, backtracks=6639, failedAssignments=4074, nogoods=368, foundSolutions=10, bestBound=15
4.47/3.16	    
4.47/3.16	    num=105, depth=12..19, filters=187084, revisions=(119310,useless=88759), ccks=13908, wck=0.428, mem=47M725
4.47/3.16	    decisions=16513, wrong=7474, backtracks=6678, failedAssignments=4097, nogoods=371, foundSolutions=10, bestBound=15
4.47/3.16	    
4.47/3.16	    num=106, depth=12..20, filters=188376, revisions=(120086,useless=89340), ccks=13991, wck=0.429, mem=47M725
4.47/3.16	    decisions=16622, wrong=7521, backtracks=6714, failedAssignments=4122, nogoods=376, foundSolutions=10, bestBound=15
4.47/3.16	    
4.47/3.16	    num=107, depth=11..20, filters=189467, revisions=(120645,useless=89742), ccks=14012, wck=0.431, mem=47M725
4.47/3.16	    decisions=16721, wrong=7565, backtracks=6756, failedAssignments=4150, nogoods=377, foundSolutions=10, bestBound=15
4.47/3.16	    
4.47/3.16	    num=108, depth=11..20, filters=190753, revisions=(121310,useless=90212), ccks=14053, wck=0.432, mem=47M725
4.47/3.16	    decisions=16836, wrong=7616, backtracks=6801, failedAssignments=4181, nogoods=381, foundSolutions=10, bestBound=15
4.47/3.16	    
4.47/3.17	o 16
4.47/3.17	    num=109, depth=12..71, filters=191458, revisions=(121753,useless=90555), ccks=14182, wck=0.434, mem=47M725
4.47/3.17	    decisions=16905, wrong=7642, backtracks=6815, failedAssignments=4198, nogoods=389, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=110, depth=10..20, filters=193176, revisions=(122794,useless=91344), ccks=14260, wck=0.436, mem=47M725
4.47/3.17	    decisions=17056, wrong=7712, backtracks=6878, failedAssignments=4235, nogoods=391, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=111, depth=9..16, filters=193831, revisions=(123182,useless=91638), ccks=14298, wck=0.437, mem=47M725
4.47/3.17	    decisions=17114, wrong=7735, backtracks=6896, failedAssignments=4246, nogoods=393, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=112, depth=11..17, filters=194426, revisions=(123526,useless=91892), ccks=14326, wck=0.438, mem=47M725
4.47/3.17	    decisions=17165, wrong=7754, backtracks=6912, failedAssignments=4258, nogoods=395, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=113, depth=10..19, filters=195069, revisions=(123952,useless=92204), ccks=14384, wck=0.439, mem=47M725
4.47/3.17	    decisions=17228, wrong=7778, backtracks=6934, failedAssignments=4271, nogoods=398, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=114, depth=11..19, filters=195555, revisions=(124230,useless=92407), ccks=14398, wck=0.44, mem=47M725
4.47/3.17	    decisions=17278, wrong=7797, backtracks=6951, failedAssignments=4285, nogoods=401, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=115, depth=11..23, filters=196126, revisions=(124608,useless=92685), ccks=14441, wck=0.441, mem=47M725
4.47/3.17	    decisions=17334, wrong=7818, backtracks=6964, failedAssignments=4301, nogoods=407, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=116, depth=13..19, filters=196839, revisions=(124993,useless=92962), ccks=14453, wck=0.442, mem=47M725
4.47/3.17	    decisions=17403, wrong=7845, backtracks=6987, failedAssignments=4318, nogoods=409, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.17	    num=117, depth=10..18, filters=197888, revisions=(125546,useless=93355), ccks=14500, wck=0.443, mem=47M725
4.47/3.17	    decisions=17487, wrong=7882, backtracks=7017, failedAssignments=4337, nogoods=412, foundSolutions=11, bestBound=16
4.47/3.17	    
4.47/3.18	    num=118, depth=9..15, filters=198802, revisions=(126089,useless=93745), ccks=14558, wck=0.444, mem=47M725
4.47/3.18	    decisions=17568, wrong=7917, backtracks=7046, failedAssignments=4358, nogoods=416, foundSolutions=11, bestBound=16
4.47/3.18	    
4.47/3.18	    num=119, depth=13..20, filters=199735, revisions=(126645,useless=94148), ccks=14625, wck=0.446, mem=47M725
4.47/3.18	    decisions=17652, wrong=7952, backtracks=7076, failedAssignments=4381, nogoods=420, foundSolutions=11, bestBound=16
4.47/3.18	    
4.47/3.18	    num=120, depth=13..20, filters=200709, revisions=(127172,useless=94519), ccks=14665, wck=0.447, mem=47M725
4.47/3.18	    decisions=17745, wrong=7992, backtracks=7111, failedAssignments=4406, nogoods=423, foundSolutions=11, bestBound=16
4.47/3.18	    
4.47/3.18	    num=121, depth=10..20, filters=201960, revisions=(127990,useless=95125), ccks=14772, wck=0.449, mem=47M725
4.47/3.18	    decisions=17861, wrong=8043, backtracks=7152, failedAssignments=4434, nogoods=429, foundSolutions=11, bestBound=16
4.47/3.18	    
4.47/3.18	    num=122, depth=12..19, filters=203308, revisions=(128750,useless=95668), ccks=14838, wck=0.451, mem=47M725
4.47/3.18	    decisions=17989, wrong=8100, backtracks=7201, failedAssignments=4465, nogoods=434, foundSolutions=11, bestBound=16
4.47/3.18	    
4.47/3.18	    num=123, depth=9..19, filters=204711, revisions=(129573,useless=96248), ccks=14920, wck=0.453, mem=47M725
4.47/3.18	    decisions=18121, wrong=8159, backtracks=7253, failedAssignments=4499, nogoods=436, foundSolutions=11, bestBound=16
4.47/3.18	    
4.47/3.19	    num=124, depth=10..21, filters=206133, revisions=(130393,useless=96828), ccks=14998, wck=0.455, mem=47M725
4.47/3.19	    decisions=18246, wrong=8215, backtracks=7304, failedAssignments=4536, nogoods=438, foundSolutions=11, bestBound=16
4.47/3.19	    
4.47/3.19	    num=125, depth=11..19, filters=208116, revisions=(131442,useless=97589), ccks=15035, wck=0.457, mem=47M725
4.47/3.19	    decisions=18426, wrong=8297, backtracks=7380, failedAssignments=4577, nogoods=441, foundSolutions=11, bestBound=16
4.47/3.19	    
4.47/3.19	    num=126, depth=10..19, filters=210623, revisions=(133013,useless=98752), ccks=15239, wck=0.46, mem=47M725
4.47/3.19	    decisions=18632, wrong=8394, backtracks=7465, failedAssignments=4622, nogoods=447, foundSolutions=11, bestBound=16
4.47/3.19	    
4.76/3.20	    num=127, depth=12..22, filters=212785, revisions=(134297,useless=99668), ccks=15385, wck=0.463, mem=47M725
4.76/3.20	    decisions=18823, wrong=8483, backtracks=7543, failedAssignments=4672, nogoods=451, foundSolutions=11, bestBound=16
4.76/3.20	    
4.76/3.21	    num=128, depth=10..20, filters=215285, revisions=(136097,useless=101002), ccks=15699, wck=0.467, mem=47M725
4.76/3.21	    decisions=19029, wrong=8578, backtracks=7631, failedAssignments=4727, nogoods=454, foundSolutions=11, bestBound=16
4.76/3.21	    
4.76/3.21	    num=129, depth=10..21, filters=218185, revisions=(137858,useless=102274), ccks=15881, wck=0.47, mem=47M725
4.76/3.21	    decisions=19285, wrong=8699, backtracks=7741, failedAssignments=4788, nogoods=458, foundSolutions=11, bestBound=16
4.76/3.21	    
4.76/3.21	    num=130, depth=9..20, filters=221337, revisions=(139793,useless=103656), ccks=16107, wck=0.474, mem=47M725
4.76/3.21	    decisions=19543, wrong=8823, backtracks=7851, failedAssignments=4855, nogoods=462, foundSolutions=11, bestBound=16
4.76/3.21	    
4.76/3.21	    num=131, depth=11..23, filters=224413, revisions=(141493,useless=104874), ccks=16305, wck=0.478, mem=47M725
4.76/3.21	    decisions=19804, wrong=8947, backtracks=7959, failedAssignments=4929, nogoods=465, foundSolutions=11, bestBound=16
4.76/3.21	    
4.76/3.21	    num=132, depth=9..20, filters=227500, revisions=(143304,useless=106182), ccks=16508, wck=0.482, mem=47M725
4.76/3.21	    decisions=20102, wrong=9090, backtracks=8090, failedAssignments=5010, nogoods=468, foundSolutions=11, bestBound=16
4.76/3.21	    
4.76/3.22	    num=133, depth=9..22, filters=231252, revisions=(145650,useless=107903), ccks=16760, wck=0.486, mem=47M725
4.76/3.22	    decisions=20443, wrong=9254, backtracks=8239, failedAssignments=5099, nogoods=475, foundSolutions=11, bestBound=16
4.76/3.22	    
4.76/3.23	    num=134, depth=11..23, filters=236399, revisions=(148744,useless=110211), ccks=17103, wck=0.492, mem=47M725
4.76/3.23	    decisions=20861, wrong=9456, backtracks=8427, failedAssignments=5197, nogoods=480, foundSolutions=11, bestBound=16
4.76/3.23	    
4.76/3.23	    num=135, depth=10..23, filters=241296, revisions=(152185,useless=112819), ccks=17650, wck=0.498, mem=50M368
4.76/3.23	    decisions=21288, wrong=9662, backtracks=8623, failedAssignments=5305, nogoods=482, foundSolutions=11, bestBound=16
4.76/3.23	    
4.76/3.24	    num=136, depth=10..23, filters=246177, revisions=(155033,useless=114831), ccks=17962, wck=0.504, mem=50M368
4.76/3.24	    decisions=21712, wrong=9869, backtracks=8818, failedAssignments=5424, nogoods=483, foundSolutions=11, bestBound=16
4.76/3.24	    
4.76/3.24	    num=137, depth=8..22, filters=252299, revisions=(159203,useless=117926), ccks=18551, wck=0.511, mem=50M368
4.76/3.24	    decisions=22245, wrong=10131, backtracks=9049, failedAssignments=5555, nogoods=489, foundSolutions=11, bestBound=16
4.76/3.24	    
4.76/3.25	    num=138, depth=9..22, filters=258445, revisions=(162791,useless=120507), ccks=18885, wck=0.518, mem=50M368
4.76/3.25	    decisions=22768, wrong=10388, backtracks=9285, failedAssignments=5699, nogoods=493, foundSolutions=11, bestBound=16
4.76/3.25	    
4.76/3.26	    num=139, depth=8..20, filters=265640, revisions=(166823,useless=123457), ccks=19256, wck=0.525, mem=50M368
4.76/3.26	    decisions=23416, wrong=10708, backtracks=9579, failedAssignments=5857, nogoods=498, foundSolutions=11, bestBound=16
4.76/3.26	    
4.76/3.27	    num=140, depth=8..21, filters=273208, revisions=(171906,useless=127238), ccks=19899, wck=0.534, mem=50M368
4.76/3.27	    decisions=24084, wrong=11038, backtracks=9871, failedAssignments=6031, nogoods=500, foundSolutions=11, bestBound=16
4.76/3.27	    
4.76/3.27	    num=141, depth=9..22, filters=281783, revisions=(177813,useless=131655), ccks=20690, wck=0.543, mem=50M368
4.76/3.27	    decisions=24855, wrong=11417, backtracks=10234, failedAssignments=6222, nogoods=506, foundSolutions=11, bestBound=16
4.76/3.27	    
4.76/3.28	    num=142, depth=8..21, filters=289795, revisions=(183521,useless=135812), ccks=21582, wck=0.552, mem=50M368
4.76/3.28	    decisions=25621, wrong=11793, backtracks=10582, failedAssignments=6433, nogoods=511, foundSolutions=11, bestBound=16
4.76/3.28	    
4.76/3.30	    num=143, depth=8..22, filters=300724, revisions=(190659,useless=141122), ccks=22605, wck=0.564, mem=50M368
4.76/3.30	    decisions=26533, wrong=12242, backtracks=10994, failedAssignments=6665, nogoods=517, foundSolutions=11, bestBound=16
4.76/3.30	    
5.07/3.31	    num=144, depth=7..21, filters=311964, revisions=(198324,useless=146834), ccks=23533, wck=0.577, mem=50M368
5.07/3.31	    decisions=27514, wrong=12726, backtracks=11444, failedAssignments=6920, nogoods=522, foundSolutions=11, bestBound=16
5.07/3.31	    
5.07/3.32	    num=145, depth=5..20, filters=325437, revisions=(207639,useless=153879), ccks=24615, wck=0.591, mem=53M10
5.07/3.32	    decisions=28669, wrong=13298, backtracks=11984, failedAssignments=7201, nogoods=525, foundSolutions=11, bestBound=16
5.07/3.32	    
5.07/3.34	    num=146, depth=6..21, filters=339375, revisions=(216803,useless=160624), ccks=25610, wck=0.606, mem=53M10
5.07/3.34	    decisions=29815, wrong=13866, backtracks=12513, failedAssignments=7510, nogoods=530, foundSolutions=11, bestBound=16
5.07/3.34	    
5.07/3.35	    num=147, depth=7..21, filters=356069, revisions=(226880,useless=168040), ccks=26623, wck=0.623, mem=53M10
5.07/3.35	    decisions=31181, wrong=14544, backtracks=13121, failedAssignments=7850, nogoods=535, foundSolutions=11, bestBound=16
5.07/3.35	    
5.07/3.37	    num=148, depth=7..21, filters=374428, revisions=(237904,useless=176021), ccks=27604, wck=0.641, mem=53M10
5.07/3.37	    decisions=32691, wrong=15292, backtracks=13806, failedAssignments=8224, nogoods=540, foundSolutions=11, bestBound=16
5.07/3.37	    
5.07/3.39	    num=149, depth=7..23, filters=392774, revisions=(249864,useless=184704), ccks=28964, wck=0.66, mem=53M10
5.07/3.39	    decisions=34328, wrong=16106, backtracks=14553, failedAssignments=8635, nogoods=547, foundSolutions=11, bestBound=16
5.07/3.39	    
5.31/3.41	    num=150, depth=8..22, filters=413992, revisions=(263379,useless=194629), ccks=30653, wck=0.683, mem=55M653
5.31/3.41	    decisions=36131, wrong=17002, backtracks=15387, failedAssignments=9087, nogoods=553, foundSolutions=11, bestBound=16
5.31/3.41	    
5.31/3.44	    num=151, depth=7..23, filters=438706, revisions=(278871,useless=206152), ccks=31965, wck=0.709, mem=55M653
5.31/3.44	    decisions=38135, wrong=17998, backtracks=16304, failedAssignments=9584, nogoods=555, foundSolutions=11, bestBound=16
5.31/3.44	    
5.31/3.47	    num=152, depth=6..22, filters=468572, revisions=(298252,useless=220460), ccks=33827, wck=0.74, mem=55M653
5.31/3.47	    decisions=40390, wrong=19119, backtracks=17325, failedAssignments=10131, nogoods=560, foundSolutions=11, bestBound=16
5.31/3.47	    
5.52/3.50	    num=153, depth=6..23, filters=495923, revisions=(316399,useless=233913), ccks=36145, wck=0.769, mem=58M295
5.52/3.50	    decisions=42830, wrong=20332, backtracks=18469, failedAssignments=10733, nogoods=565, foundSolutions=11, bestBound=16
5.52/3.50	    
5.52/3.51	o 17
5.52/3.51	    num=154, depth=6..71, filters=507176, revisions=(323239,useless=238886), ccks=36852, wck=0.782, mem=58M295
5.52/3.51	    decisions=43752, wrong=20786, backtracks=18892, failedAssignments=10977, nogoods=574, foundSolutions=12, bestBound=17
5.52/3.51	    
5.52/3.55	    num=155, depth=3..20, filters=544080, revisions=(348368,useless=257407), ccks=39391, wck=0.821, mem=58M295
5.52/3.55	    decisions=46787, wrong=22299, backtracks=20300, failedAssignments=11705, nogoods=581, foundSolutions=12, bestBound=17
5.52/3.55	    
5.52/3.55	    num=156, depth=13..20, filters=544551, revisions=(348686,useless=257645), ccks=39426, wck=0.822, mem=58M295
5.52/3.55	    decisions=46830, wrong=22314, backtracks=20311, failedAssignments=11716, nogoods=585, foundSolutions=12, bestBound=17
5.52/3.55	    
5.52/3.55	    num=157, depth=11..18, filters=545124, revisions=(349069,useless=257927), ccks=39467, wck=0.823, mem=58M295
5.52/3.55	    decisions=46880, wrong=22332, backtracks=20326, failedAssignments=11728, nogoods=589, foundSolutions=12, bestBound=17
5.52/3.55	    
5.52/3.56	    num=158, depth=11..18, filters=545734, revisions=(349472,useless=258227), ccks=39491, wck=0.824, mem=58M295
5.52/3.56	    decisions=46935, wrong=22354, backtracks=20347, failedAssignments=11741, nogoods=590, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=159, depth=12..17, filters=546313, revisions=(349836,useless=258499), ccks=39523, wck=0.825, mem=58M295
5.52/3.56	    decisions=46991, wrong=22375, backtracks=20365, failedAssignments=11755, nogoods=593, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=160, depth=11..18, filters=546901, revisions=(350211,useless=258776), ccks=39559, wck=0.825, mem=58M295
5.52/3.56	    decisions=47050, wrong=22398, backtracks=20384, failedAssignments=11771, nogoods=596, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=161, depth=11..18, filters=547566, revisions=(350617,useless=259078), ccks=39584, wck=0.826, mem=58M295
5.52/3.56	    decisions=47115, wrong=22423, backtracks=20405, failedAssignments=11788, nogoods=599, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=162, depth=10..17, filters=548631, revisions=(351269,useless=259568), ccks=39642, wck=0.828, mem=58M295
5.52/3.56	    decisions=47193, wrong=22455, backtracks=20430, failedAssignments=11807, nogoods=602, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=163, depth=10..19, filters=550003, revisions=(352197,useless=260265), ccks=39759, wck=0.829, mem=58M295
5.52/3.56	    decisions=47292, wrong=22499, backtracks=20469, failedAssignments=11828, nogoods=606, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=164, depth=12..19, filters=550907, revisions=(352745,useless=260669), ccks=39803, wck=0.83, mem=58M295
5.52/3.56	    decisions=47371, wrong=22532, backtracks=20495, failedAssignments=11851, nogoods=614, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=165, depth=11..19, filters=552056, revisions=(353536,useless=261252), ccks=39922, wck=0.832, mem=60M938
5.52/3.56	    decisions=47484, wrong=22582, backtracks=20540, failedAssignments=11876, nogoods=617, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.56	    num=166, depth=10..19, filters=553504, revisions=(354490,useless=261973), ccks=40058, wck=0.834, mem=60M938
5.52/3.56	    decisions=47592, wrong=22630, backtracks=20582, failedAssignments=11904, nogoods=620, foundSolutions=12, bestBound=17
5.52/3.56	    
5.52/3.57	    num=167, depth=10..22, filters=554768, revisions=(355341,useless=262607), ccks=40160, wck=0.835, mem=60M938
5.52/3.57	    decisions=47708, wrong=22683, backtracks=20628, failedAssignments=11935, nogoods=626, foundSolutions=12, bestBound=17
5.52/3.57	    
5.52/3.57	    num=168, depth=12..21, filters=556481, revisions=(356412,useless=263390), ccks=40238, wck=0.837, mem=60M938
5.52/3.57	    decisions=47851, wrong=22748, backtracks=20684, failedAssignments=11969, nogoods=632, foundSolutions=12, bestBound=17
5.52/3.57	    
5.52/3.57	    num=169, depth=10..19, filters=557888, revisions=(357280,useless=264026), ccks=40332, wck=0.839, mem=60M938
5.52/3.57	    decisions=47983, wrong=22809, backtracks=20737, failedAssignments=12006, nogoods=636, foundSolutions=12, bestBound=17
5.52/3.57	    
5.52/3.57	    num=170, depth=11..21, filters=559382, revisions=(358212,useless=264703), ccks=40453, wck=0.841, mem=60M938
5.52/3.57	    decisions=48121, wrong=22872, backtracks=20794, failedAssignments=12047, nogoods=640, foundSolutions=12, bestBound=17
5.52/3.57	    
5.52/3.57	    num=171, depth=9..21, filters=561293, revisions=(359461,useless=265595), ccks=40629, wck=0.843, mem=60M938
5.52/3.57	    decisions=48297, wrong=22954, backtracks=20868, failedAssignments=12092, nogoods=645, foundSolutions=12, bestBound=17
5.52/3.57	    
5.52/3.58	    num=172, depth=9..20, filters=563851, revisions=(360987,useless=266697), ccks=40776, wck=0.846, mem=60M938
5.52/3.58	    decisions=48470, wrong=23034, backtracks=20940, failedAssignments=12142, nogoods=649, foundSolutions=12, bestBound=17
5.52/3.58	    
5.52/3.58	    num=173, depth=10..22, filters=566070, revisions=(362409,useless=267745), ccks=40965, wck=0.849, mem=60M938
5.52/3.58	    decisions=48678, wrong=23132, backtracks=21028, failedAssignments=12197, nogoods=653, foundSolutions=12, bestBound=17
5.52/3.58	    
5.52/3.58	    num=174, depth=10..21, filters=568280, revisions=(363703,useless=268703), ccks=41076, wck=0.852, mem=60M938
5.52/3.58	    decisions=48884, wrong=23229, backtracks=21115, failedAssignments=12258, nogoods=657, foundSolutions=12, bestBound=17
5.52/3.58	    
5.52/3.59	    num=175, depth=7..19, filters=571566, revisions=(365863,useless=270270), ccks=41299, wck=0.855, mem=60M938
5.52/3.59	    decisions=49178, wrong=23372, backtracks=21249, failedAssignments=12325, nogoods=660, foundSolutions=12, bestBound=17
5.52/3.59	    
5.52/3.59	    num=176, depth=8..20, filters=575219, revisions=(368292,useless=272131), ccks=41558, wck=0.859, mem=60M938
5.52/3.59	    decisions=49485, wrong=23519, backtracks=21384, failedAssignments=12399, nogoods=663, foundSolutions=12, bestBound=17
5.52/3.59	    
5.52/3.59	    num=177, depth=8..21, filters=579117, revisions=(370679,useless=273925), ccks=41753, wck=0.863, mem=60M938
5.52/3.59	    decisions=49798, wrong=23670, backtracks=21523, failedAssignments=12480, nogoods=666, foundSolutions=12, bestBound=17
5.52/3.59	    
5.73/3.60	    num=178, depth=8..19, filters=583076, revisions=(373384,useless=276007), ccks=42030, wck=0.868, mem=60M938
5.73/3.60	    decisions=50151, wrong=23841, backtracks=21677, failedAssignments=12569, nogoods=671, foundSolutions=12, bestBound=17
5.73/3.60	    
5.73/3.60	    num=179, depth=10..22, filters=587461, revisions=(375948,useless=277819), ccks=42299, wck=0.872, mem=60M938
5.73/3.60	    decisions=50527, wrong=24023, backtracks=21838, failedAssignments=12667, nogoods=675, foundSolutions=12, bestBound=17
5.73/3.60	    
5.73/3.61	    num=180, depth=8..19, filters=591527, revisions=(378625,useless=279778), ccks=42651, wck=0.877, mem=60M938
5.73/3.61	    decisions=50916, wrong=24212, backtracks=22014, failedAssignments=12775, nogoods=679, foundSolutions=12, bestBound=17
5.73/3.61	    
5.73/3.61	    num=181, depth=7..20, filters=596005, revisions=(381503,useless=281867), ccks=43005, wck=0.882, mem=60M938
5.73/3.61	    decisions=51349, wrong=24422, backtracks=22209, failedAssignments=12894, nogoods=683, foundSolutions=12, bestBound=17
5.73/3.61	    
5.73/3.62	    num=182, depth=8..20, filters=602085, revisions=(385490,useless=284840), ccks=43452, wck=0.889, mem=60M938
5.73/3.62	    decisions=51820, wrong=24652, backtracks=22419, failedAssignments=13025, nogoods=686, foundSolutions=12, bestBound=17
5.73/3.62	    
5.73/3.63	    num=183, depth=8..22, filters=608205, revisions=(389472,useless=287738), ccks=43953, wck=0.896, mem=60M938
5.73/3.63	    decisions=52400, wrong=24937, backtracks=22669, failedAssignments=13169, nogoods=692, foundSolutions=12, bestBound=17
5.73/3.63	    
5.73/3.64	    num=184, depth=8..23, filters=616120, revisions=(394183,useless=291212), ccks=44264, wck=0.905, mem=60M938
5.73/3.64	    decisions=53050, wrong=25254, backtracks=22965, failedAssignments=13327, nogoods=696, foundSolutions=12, bestBound=17
5.73/3.64	    
5.73/3.64	    num=185, depth=8..21, filters=623178, revisions=(398562,useless=294411), ccks=44658, wck=0.913, mem=63M580
5.73/3.64	    decisions=53662, wrong=25554, backtracks=23240, failedAssignments=13501, nogoods=702, foundSolutions=12, bestBound=17
5.73/3.64	    
5.73/3.65	    num=186, depth=8..21, filters=631743, revisions=(403929,useless=298393), ccks=45176, wck=0.922, mem=63M580
5.73/3.65	    decisions=54365, wrong=25901, backtracks=23557, failedAssignments=13692, nogoods=705, foundSolutions=12, bestBound=17
5.73/3.65	    
5.73/3.66	    num=187, depth=7..22, filters=641794, revisions=(409932,useless=302794), ccks=45811, wck=0.933, mem=63M580
5.73/3.66	    decisions=55167, wrong=26297, backtracks=23915, failedAssignments=13903, nogoods=708, foundSolutions=12, bestBound=17
5.73/3.66	    
5.73/3.67	    num=188, depth=8..21, filters=651506, revisions=(416549,useless=307741), ccks=46683, wck=0.943, mem=63M580
5.73/3.67	    decisions=56074, wrong=26746, backtracks=24313, failedAssignments=14135, nogoods=719, foundSolutions=12, bestBound=17
5.73/3.67	    
5.73/3.69	    num=189, depth=7..21, filters=662711, revisions=(424978,useless=314159), ccks=47932, wck=0.956, mem=63M580
5.73/3.69	    decisions=57067, wrong=27238, backtracks=24773, failedAssignments=14390, nogoods=723, foundSolutions=12, bestBound=17
5.73/3.69	    
5.95/3.70	    num=190, depth=9..24, filters=675050, revisions=(433318,useless=320241), ccks=49175, wck=0.97, mem=63M580
5.95/3.70	    decisions=58168, wrong=27782, backtracks=25274, failedAssignments=14671, nogoods=729, foundSolutions=12, bestBound=17
5.95/3.70	    
5.95/3.72	    num=191, depth=7..22, filters=689738, revisions=(442941,useless=327381), ccks=50229, wck=0.986, mem=63M580
5.95/3.72	    decisions=59358, wrong=28372, backtracks=25831, failedAssignments=14980, nogoods=734, foundSolutions=12, bestBound=17
5.95/3.72	    
5.95/3.74	    num=192, depth=6..21, filters=706723, revisions=(453999,useless=335397), ccks=51455, wck=1.004, mem=66M223
5.95/3.74	    decisions=60737, wrong=29057, backtracks=26460, failedAssignments=15320, nogoods=738, foundSolutions=12, bestBound=17
5.95/3.74	    
5.95/3.76	    num=193, depth=5..22, filters=725833, revisions=(466161,useless=344151), ccks=52870, wck=1.024, mem=66M223
5.95/3.76	    decisions=62308, wrong=29836, backtracks=27178, failedAssignments=15694, nogoods=742, foundSolutions=12, bestBound=17
5.95/3.76	    
5.95/3.78	    num=194, depth=6..23, filters=745974, revisions=(478692,useless=353373), ccks=54114, wck=1.045, mem=66M223
5.95/3.78	    decisions=64008, wrong=30681, backtracks=27963, failedAssignments=16105, nogoods=747, foundSolutions=12, bestBound=17
5.95/3.78	    
6.15/3.80	    num=195, depth=4..20, filters=767751, revisions=(492356,useless=363296), ccks=55382, wck=1.069, mem=66M223
6.15/3.80	    decisions=65770, wrong=31556, backtracks=28769, failedAssignments=16557, nogoods=751, foundSolutions=12, bestBound=17
6.15/3.80	    
6.15/3.83	    num=196, depth=7..22, filters=790603, revisions=(508225,useless=375029), ccks=57397, wck=1.094, mem=68M865
6.15/3.83	    decisions=67721, wrong=32525, backtracks=29693, failedAssignments=17054, nogoods=755, foundSolutions=12, bestBound=17
6.15/3.83	    
6.15/3.86	    num=197, depth=3..22, filters=816094, revisions=(526877,useless=388890), ccks=60083, wck=1.123, mem=68M865
6.15/3.86	    decisions=69931, wrong=33623, backtracks=30707, failedAssignments=17601, nogoods=759, foundSolutions=12, bestBound=17
6.15/3.86	    
6.15/3.89	o 18
6.15/3.89	    num=198, depth=5..71, filters=847162, revisions=(547321,useless=403933), ccks=62174, wck=1.155, mem=68M865
6.15/3.89	    decisions=72457, wrong=34881, backtracks=31873, failedAssignments=18199, nogoods=767, foundSolutions=13, bestBound=18
6.15/3.89	    
6.37/3.92	    num=199, depth=1..19, filters=882513, revisions=(573488,useless=423672), ccks=64949, wck=1.193, mem=71M508
6.37/3.92	    decisions=75283, wrong=36290, backtracks=33198, failedAssignments=18861, nogoods=773, foundSolutions=13, bestBound=18
6.37/3.92	    
6.37/3.93	    num=200, depth=7..15, filters=883105, revisions=(573844,useless=423921), ccks=64987, wck=1.194, mem=71M508
6.37/3.93	    decisions=75334, wrong=36310, backtracks=33215, failedAssignments=18872, nogoods=776, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=201, depth=8..17, filters=883542, revisions=(574149,useless=424145), ccks=65018, wck=1.194, mem=71M508
6.37/3.93	    decisions=75380, wrong=36329, backtracks=33233, failedAssignments=18884, nogoods=777, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=202, depth=9..17, filters=884235, revisions=(574530,useless=424408), ccks=65040, wck=1.195, mem=71M508
6.37/3.93	    decisions=75441, wrong=36354, backtracks=33254, failedAssignments=18897, nogoods=780, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=203, depth=8..15, filters=884881, revisions=(574933,useless=424695), ccks=65066, wck=1.196, mem=71M508
6.37/3.93	    decisions=75496, wrong=36376, backtracks=33271, failedAssignments=18911, nogoods=785, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=204, depth=8..16, filters=885790, revisions=(575508,useless=425096), ccks=65110, wck=1.197, mem=71M508
6.37/3.93	    decisions=75566, wrong=36407, backtracks=33299, failedAssignments=18927, nogoods=789, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=205, depth=8..15, filters=886671, revisions=(576014,useless=425461), ccks=65143, wck=1.198, mem=71M508
6.37/3.93	    decisions=75640, wrong=36440, backtracks=33329, failedAssignments=18944, nogoods=792, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=206, depth=8..20, filters=887527, revisions=(576535,useless=425838), ccks=65203, wck=1.199, mem=71M508
6.37/3.93	    decisions=75716, wrong=36473, backtracks=33356, failedAssignments=18963, nogoods=797, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=207, depth=8..15, filters=888624, revisions=(577223,useless=426357), ccks=65257, wck=1.2, mem=71M508
6.37/3.93	    decisions=75802, wrong=36512, backtracks=33392, failedAssignments=18984, nogoods=800, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=208, depth=8..18, filters=889670, revisions=(577875,useless=426837), ccks=65324, wck=1.202, mem=71M508
6.37/3.93	    decisions=75896, wrong=36552, backtracks=33428, failedAssignments=19007, nogoods=806, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.93	    num=209, depth=7..17, filters=891151, revisions=(578860,useless=427562), ccks=65436, wck=1.203, mem=71M508
6.37/3.93	    decisions=76012, wrong=36605, backtracks=33471, failedAssignments=19032, nogoods=812, foundSolutions=13, bestBound=18
6.37/3.93	    
6.37/3.94	    num=210, depth=7..19, filters=892284, revisions=(579597,useless=428113), ccks=65505, wck=1.205, mem=71M508
6.37/3.94	    decisions=76116, wrong=36652, backtracks=33510, failedAssignments=19060, nogoods=817, foundSolutions=13, bestBound=18
6.37/3.94	    
6.37/3.94	    num=211, depth=6..16, filters=893973, revisions=(580710,useless=428928), ccks=65626, wck=1.206, mem=71M508
6.37/3.94	    decisions=76261, wrong=36719, backtracks=33564, failedAssignments=19091, nogoods=821, foundSolutions=13, bestBound=18
6.37/3.94	    
6.37/3.94	    num=212, depth=7..17, filters=895859, revisions=(581809,useless=429721), ccks=65706, wck=1.208, mem=71M508
6.37/3.94	    decisions=76400, wrong=36784, backtracks=33623, failedAssignments=19125, nogoods=824, foundSolutions=13, bestBound=18
6.37/3.94	    
6.37/3.94	    num=213, depth=5..16, filters=898019, revisions=(583184,useless=430748), ccks=65816, wck=1.211, mem=71M508
6.37/3.94	    decisions=76562, wrong=36861, backtracks=33694, failedAssignments=19162, nogoods=828, foundSolutions=13, bestBound=18
6.37/3.94	    
6.37/3.94	    num=214, depth=8..16, filters=900198, revisions=(584430,useless=431648), ccks=65918, wck=1.213, mem=71M508
6.37/3.94	    decisions=76724, wrong=36938, backtracks=33768, failedAssignments=19203, nogoods=830, foundSolutions=13, bestBound=18
6.37/3.94	    
6.37/3.95	    num=215, depth=7..18, filters=902907, revisions=(586082,useless=432839), ccks=66066, wck=1.216, mem=71M508
6.37/3.95	    decisions=76928, wrong=37036, backtracks=33852, failedAssignments=19248, nogoods=834, foundSolutions=13, bestBound=18
6.37/3.95	    
6.37/3.95	    num=216, depth=5..16, filters=905493, revisions=(587789,useless=434099), ccks=66217, wck=1.218, mem=71M508
6.37/3.95	    decisions=77128, wrong=37131, backtracks=33935, failedAssignments=19298, nogoods=839, foundSolutions=13, bestBound=18
6.37/3.95	    
6.37/3.95	    num=217, depth=6..17, filters=908337, revisions=(589702,useless=435558), ccks=66410, wck=1.221, mem=71M508
6.37/3.95	    decisions=77348, wrong=37236, backtracks=34028, failedAssignments=19353, nogoods=843, foundSolutions=13, bestBound=18
6.37/3.95	    
6.37/3.96	    num=218, depth=5..20, filters=911515, revisions=(591648,useless=436974), ccks=66591, wck=1.225, mem=71M508
6.37/3.96	    decisions=77604, wrong=37360, backtracks=34147, failedAssignments=19414, nogoods=846, foundSolutions=13, bestBound=18
6.37/3.96	    
6.37/3.96	    num=219, depth=5..16, filters=915994, revisions=(594595,useless=439149), ccks=66854, wck=1.23, mem=71M508
6.37/3.96	    decisions=77901, wrong=37504, backtracks=34278, failedAssignments=19481, nogoods=849, foundSolutions=13, bestBound=18
6.37/3.96	    
6.37/3.97	    num=220, depth=5..16, filters=919937, revisions=(597151,useless=441034), ccks=67084, wck=1.234, mem=74M150
6.37/3.97	    decisions=78218, wrong=37658, backtracks=34425, failedAssignments=19555, nogoods=853, foundSolutions=13, bestBound=18
6.37/3.97	    
6.37/3.97	    num=221, depth=6..19, filters=923914, revisions=(599989,useless=443137), ccks=67533, wck=1.239, mem=74M150
6.37/3.97	    decisions=78542, wrong=37815, backtracks=34566, failedAssignments=19636, nogoods=859, foundSolutions=13, bestBound=18
6.37/3.97	    
6.37/3.98	    num=222, depth=4..20, filters=928231, revisions=(602816,useless=445168), ccks=67885, wck=1.244, mem=74M150
6.37/3.98	    decisions=78891, wrong=37984, backtracks=34723, failedAssignments=19725, nogoods=864, foundSolutions=13, bestBound=18
6.37/3.98	    
6.37/3.98	    num=223, depth=5..17, filters=933296, revisions=(606100,useless=447572), ccks=68213, wck=1.249, mem=74M150
6.37/3.98	    decisions=79265, wrong=38168, backtracks=34895, failedAssignments=19823, nogoods=869, foundSolutions=13, bestBound=18
6.37/3.98	    
6.37/3.99	    num=224, depth=3..17, filters=938898, revisions=(609933,useless=450401), ccks=68624, wck=1.256, mem=74M150
6.37/3.99	    decisions=79702, wrong=38382, backtracks=35092, failedAssignments=19931, nogoods=875, foundSolutions=13, bestBound=18
6.37/3.99	    
6.37/3.99	    num=225, depth=6..20, filters=944961, revisions=(614244,useless=453592), ccks=69222, wck=1.262, mem=74M150
6.37/3.99	    decisions=80198, wrong=38625, backtracks=35320, failedAssignments=20050, nogoods=881, foundSolutions=13, bestBound=18
6.37/3.99	    
6.37/4.01	    num=226, depth=5..18, filters=951219, revisions=(618620,useless=456859), ccks=69794, wck=1.274, mem=74M150
6.37/4.01	    decisions=80710, wrong=38878, backtracks=35554, failedAssignments=20181, nogoods=886, foundSolutions=13, bestBound=18
6.37/4.01	    
6.49/4.01	    num=227, depth=4..19, filters=958453, revisions=(623671,useless=460543), ccks=70488, wck=1.283, mem=74M150
6.49/4.01	    decisions=81295, wrong=39166, backtracks=35829, failedAssignments=20325, nogoods=892, foundSolutions=13, bestBound=18
6.49/4.01	    
6.49/4.02	    num=228, depth=4..19, filters=966888, revisions=(629711,useless=465034), ccks=71314, wck=1.292, mem=74M150
6.49/4.02	    decisions=81934, wrong=39482, backtracks=36124, failedAssignments=20483, nogoods=896, foundSolutions=13, bestBound=18
6.49/4.02	    
6.49/4.03	    num=229, depth=3..18, filters=976956, revisions=(636755,useless=470175), ccks=72157, wck=1.303, mem=74M150
6.49/4.03	    decisions=82693, wrong=39859, backtracks=36476, failedAssignments=20657, nogoods=900, foundSolutions=13, bestBound=18
6.49/4.03	    
6.49/4.04	o 19
6.49/4.04	    num=230, depth=5..71, filters=979500, revisions=(638789,useless=471751), ccks=72546, wck=1.307, mem=74M150
6.49/4.04	    decisions=82903, wrong=39959, backtracks=36564, failedAssignments=20706, nogoods=907, foundSolutions=14, bestBound=19
6.49/4.04	    
6.49/4.05	    num=231, depth=0..19, filters=990275, revisions=(646883,useless=477852), ccks=73640, wck=1.319, mem=76M793
6.49/4.05	    decisions=83792, wrong=40401, backtracks=36984, failedAssignments=20917, nogoods=911, foundSolutions=14, bestBound=19
6.49/4.05	    
6.49/4.05	    num=232, depth=5..10, filters=991044, revisions=(647402,useless=478223), ccks=73704, wck=1.32, mem=76M793
6.49/4.05	    decisions=83839, wrong=40422, backtracks=37002, failedAssignments=20928, nogoods=914, foundSolutions=14, bestBound=19
6.49/4.05	    
6.49/4.05	    num=233, depth=5..12, filters=991808, revisions=(647934,useless=478610), ccks=73763, wck=1.321, mem=76M793
6.49/4.05	    decisions=83897, wrong=40446, backtracks=37018, failedAssignments=20940, nogoods=917, foundSolutions=14, bestBound=19
6.49/4.05	    
6.49/4.05	    num=234, depth=5..13, filters=992553, revisions=(648422,useless=478958), ccks=73824, wck=1.322, mem=76M793
6.49/4.05	    decisions=83950, wrong=40469, backtracks=37038, failedAssignments=20953, nogoods=920, foundSolutions=14, bestBound=19
6.49/4.05	    
6.49/4.05	    num=235, depth=6..14, filters=993253, revisions=(648884,useless=479284), ccks=73889, wck=1.323, mem=76M793
6.49/4.05	    decisions=84010, wrong=40496, backtracks=37061, failedAssignments=20967, nogoods=921, foundSolutions=14, bestBound=19
6.49/4.05	    
6.49/4.06	    num=236, depth=5..17, filters=994122, revisions=(649580,useless=479812), ccks=73986, wck=1.324, mem=76M793
6.49/4.06	    decisions=84074, wrong=40523, backtracks=37087, failedAssignments=20983, nogoods=923, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.06	    num=237, depth=3..10, filters=994985, revisions=(650194,useless=480263), ccks=74048, wck=1.325, mem=76M793
6.49/4.06	    decisions=84133, wrong=40551, backtracks=37113, failedAssignments=21000, nogoods=925, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.06	    num=238, depth=3..11, filters=996217, revisions=(651129,useless=480944), ccks=74156, wck=1.327, mem=76M793
6.49/4.06	    decisions=84217, wrong=40590, backtracks=37146, failedAssignments=21019, nogoods=928, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.06	    num=239, depth=5..18, filters=997167, revisions=(651784,useless=481414), ccks=74250, wck=1.328, mem=76M793
6.49/4.06	    decisions=84300, wrong=40626, backtracks=37175, failedAssignments=21040, nogoods=933, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.06	    num=240, depth=4..14, filters=998399, revisions=(652581,useless=481979), ccks=74322, wck=1.329, mem=76M793
6.49/4.06	    decisions=84394, wrong=40671, backtracks=37217, failedAssignments=21063, nogoods=934, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.06	    num=241, depth=6..14, filters=999831, revisions=(653539,useless=482686), ccks=74441, wck=1.331, mem=76M793
6.49/4.06	    decisions=84515, wrong=40728, backtracks=37272, failedAssignments=21088, nogoods=938, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.06	    num=242, depth=3..15, filters=1001535, revisions=(654741,useless=483556), ccks=74587, wck=1.333, mem=76M793
6.49/4.06	    decisions=84645, wrong=40789, backtracks=37322, failedAssignments=21116, nogoods=942, foundSolutions=14, bestBound=19
6.49/4.06	    
6.49/4.07	    num=243, depth=4..14, filters=1003719, revisions=(656327,useless=484713), ccks=74792, wck=1.335, mem=76M793
6.49/4.07	    decisions=84788, wrong=40858, backtracks=37385, failedAssignments=21147, nogoods=946, foundSolutions=14, bestBound=19
6.49/4.07	    
6.49/4.07	    num=244, depth=4..17, filters=1005238, revisions=(657491,useless=485579), ccks=74943, wck=1.337, mem=76M793
6.49/4.07	    decisions=84920, wrong=40920, backtracks=37443, failedAssignments=21181, nogoods=952, foundSolutions=14, bestBound=19
6.49/4.07	    
6.49/4.07	    num=245, depth=4..20, filters=1007047, revisions=(658783,useless=486535), ccks=75107, wck=1.34, mem=76M793
6.49/4.07	    decisions=85085, wrong=40998, backtracks=37514, failedAssignments=21218, nogoods=958, foundSolutions=14, bestBound=19
6.49/4.07	    
6.49/4.07	    num=246, depth=6..16, filters=1008911, revisions=(660050,useless=487480), ccks=75252, wck=1.342, mem=76M793
6.49/4.07	    decisions=85222, wrong=41062, backtracks=37571, failedAssignments=21259, nogoods=962, foundSolutions=14, bestBound=19
6.49/4.07	    
6.49/4.08	    num=247, depth=4..15, filters=1011190, revisions=(661655,useless=488667), ccks=75436, wck=1.345, mem=76M793
6.49/4.08	    decisions=85415, wrong=41155, backtracks=37654, failedAssignments=21304, nogoods=967, foundSolutions=14, bestBound=19
6.49/4.08	    
6.49/4.08	    num=248, depth=4..14, filters=1013642, revisions=(663383,useless=489956), ccks=75673, wck=1.348, mem=76M793
6.49/4.08	    decisions=85616, wrong=41250, backtracks=37736, failedAssignments=21354, nogoods=972, foundSolutions=14, bestBound=19
6.49/4.08	    
6.49/4.08	    num=249, depth=2..15, filters=1016515, revisions=(665633,useless=491595), ccks=76001, wck=1.351, mem=76M793
6.49/4.08	    decisions=85837, wrong=41358, backtracks=37834, failedAssignments=21409, nogoods=977, foundSolutions=14, bestBound=19
6.49/4.08	    
6.49/4.09	    num=250, depth=5..18, filters=1019580, revisions=(668032,useless=493417), ccks=76327, wck=1.355, mem=76M793
6.49/4.09	    decisions=86067, wrong=41468, backtracks=37933, failedAssignments=21470, nogoods=983, foundSolutions=14, bestBound=19
6.49/4.09	    
6.49/4.09	    num=251, depth=4..16, filters=1022735, revisions=(670334,useless=495143), ccks=76628, wck=1.36, mem=76M793
6.49/4.09	    decisions=86321, wrong=41590, backtracks=38039, failedAssignments=21537, nogoods=989, foundSolutions=14, bestBound=19
6.49/4.09	    
6.49/4.10	    num=252, depth=3..20, filters=1026400, revisions=(672941,useless=497036), ccks=76955, wck=1.364, mem=76M793
6.49/4.10	    decisions=86635, wrong=41741, backtracks=38177, failedAssignments=21611, nogoods=994, foundSolutions=14, bestBound=19
6.49/4.10	    
6.49/4.10	    num=253, depth=4..17, filters=1030929, revisions=(676074,useless=499355), ccks=77348, wck=1.37, mem=76M793
6.49/4.10	    decisions=86986, wrong=41913, backtracks=38334, failedAssignments=21692, nogoods=1000, foundSolutions=14, bestBound=19
6.49/4.10	    
6.59/4.11	    num=254, depth=2..18, filters=1034907, revisions=(678966,useless=501480), ccks=77726, wck=1.375, mem=76M793
6.59/4.11	    decisions=87338, wrong=42086, backtracks=38486, failedAssignments=21781, nogoods=1003, foundSolutions=14, bestBound=19
6.59/4.11	    
6.59/4.11	    num=255, depth=3..19, filters=1039746, revisions=(682711,useless=504241), ccks=78273, wck=1.382, mem=76M793
6.59/4.11	    decisions=87739, wrong=42281, backtracks=38666, failedAssignments=21879, nogoods=1010, foundSolutions=14, bestBound=19
6.59/4.11	    
6.59/4.12	    num=256, depth=3..18, filters=1044928, revisions=(686515,useless=507052), ccks=78754, wck=1.388, mem=76M793
6.59/4.12	    decisions=88145, wrong=42480, backtracks=38853, failedAssignments=21987, nogoods=1012, foundSolutions=14, bestBound=19
6.59/4.12	    
6.59/4.13	    num=257, depth=3..20, filters=1050537, revisions=(690805,useless=510193), ccks=79416, wck=1.395, mem=79M435
6.59/4.13	    decisions=88607, wrong=42707, backtracks=39065, failedAssignments=22106, nogoods=1017, foundSolutions=14, bestBound=19
6.59/4.13	    
6.59/4.14	    num=258, depth=4..19, filters=1057471, revisions=(695787,useless=513883), ccks=80153, wck=1.404, mem=79M435
6.59/4.14	    decisions=89180, wrong=42991, backtracks=39330, failedAssignments=22237, nogoods=1021, foundSolutions=14, bestBound=19
6.59/4.14	    
6.59/4.14	    num=259, depth=3..21, filters=1064244, revisions=(701019,useless=517808), ccks=80911, wck=1.412, mem=79M435
6.59/4.14	    decisions=89737, wrong=43267, backtracks=39584, failedAssignments=22381, nogoods=1024, foundSolutions=14, bestBound=19
6.59/4.14	    
6.59/4.15	    num=260, depth=2..17, filters=1071634, revisions=(706832,useless=522155), ccks=81720, wck=1.421, mem=79M435
6.59/4.15	    decisions=90324, wrong=43557, backtracks=39850, failedAssignments=22539, nogoods=1031, foundSolutions=14, bestBound=19
6.59/4.15	    
6.59/4.16	    num=261, depth=1..17, filters=1080479, revisions=(713830,useless=527350), ccks=82679, wck=1.432, mem=79M435
6.59/4.16	    decisions=91002, wrong=43893, backtracks=40158, failedAssignments=22713, nogoods=1036, foundSolutions=14, bestBound=19
6.59/4.16	    
6.59/4.18	    num=262, depth=1..18, filters=1089781, revisions=(721438,useless=533067), ccks=83878, wck=1.444, mem=79M435
6.59/4.18	    decisions=91780, wrong=44281, backtracks=40519, failedAssignments=22904, nogoods=1038, foundSolutions=14, bestBound=19
6.59/4.18	    
6.59/4.18	o 20
6.59/4.18	    num=263, depth=1..71, filters=1095837, revisions=(726145,useless=536538), ccks=84608, wck=1.452, mem=79M435
6.59/4.18	    decisions=92222, wrong=44498, backtracks=40713, failedAssignments=23004, nogoods=1045, foundSolutions=15, bestBound=20
6.59/4.18	    
6.59/4.19	
6.59/4.19	  New Bounds: 21..20
6.59/4.19	    num=264, depth=0..18, filters=1103882, revisions=(732581,useless=541242), ccks=85549, wck=1.463, mem=79M435
6.59/4.19	    decisions=92866, wrong=44821, backtracks=41016, failedAssignments=23147, foundSolutions=15, bestBound=20
6.59/4.19	    
6.59/4.19	  Global
6.59/4.19	    filters=1103882, revisions=(732581,useless=541242), ccks=85549
6.59/4.19	    Stop=FULL_EXPLORATION, wrong=44821, bestBound=20, bestBoundWck=1.817, bestBoundCpu=3.589, foundSolutions=15, firstSolCpu=2.166
6.59/4.19	    wck=1.829, cpu=3.601, mem=79M435
6.59/4.20	
6.59/4.20	v <instantiation id='sol15' type='solution' cost='20'>  <list> x[][] s[][] </list>  <values> 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 2 2 4 2 3 2 2 2 2 4 3 5 3 6 2 4 4 3 3 4 4 2 6 3 5 3 4 2 2 2 2 3 2 4 2 2 </values>  </instantiation>
6.59/4.20	s OPTIMUM FOUND
6.59/4.20	
6.59/4.20	d WRONG_DECISIONS 44821
6.59/4.20	d NUMBER_SOLUTIONS 15

OK	20

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

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

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

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


[startup+0.100197 s]*
/proc/loadavg: 0.00 0.01 0.05 3/203 32464
/proc/meminfo: memFree=31135728/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=361196 memory=5648 CPUtime=0 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 1784 0 0 0 0 0 0 0 20 0 2 0 414300272 369864704 1412 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 90299 1412 1072 1 0 79210 0
[pid=32460/tid=32463] ppid=32454 vsize=361196 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) S 32454 32460 32400 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 2 0 414300279 369864704 1412 33554432000 4194304 4196468 140732746515280 139718073878944 139718069648002 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 5648 KiB

[startup+0.210018 s]*
/proc/loadavg: 0.00 0.01 0.05 2/227 32488
/proc/meminfo: memFree=31112796/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10593144 memory=22432 CPUtime=0.05 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 5121 0 0 0 4 1 0 0 20 0 14 0 414300272 10847379456 5608 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2648286 5608 2589 1 0 2610827 0
[pid=32460/tid=32463] ppid=32454 vsize=10593144 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) D 32454 32460 32400 0 -1 1077944384 3237 0 0 0 3 1 0 0 20 0 14 0 414300279 10847379456 5608 33554432000 4194304 4196468 140732746515280 139718073874240 139718069660733 0 4 0 16800975 18446744072101568036 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10593144 memory=343 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414300283 10847379456 5608 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10593144 memory=288370012436539008 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414300283 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414300283 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414300283 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10593144 memory=139636284827264 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414300285 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 414300285 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717104334368 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 414300286 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717103281520 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414300293 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) S 32454 32460 32400 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 414300293 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717101177200 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414300293 10847379456 5608 33554432000 4194304 4196468 140732746515280 139717100124400 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10593144 memory=139636284827264 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 14 0 414300293 10847379456 5608 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10593144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414300293 10847379456 5608 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10593144 KiB
Current children cumulated memory: 22432 KiB

[startup+0.310253 s]*
/proc/loadavg: 0.00 0.01 0.05 2/229 32490
/proc/meminfo: memFree=31099960/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10659884 memory=29888 CPUtime=0.2 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 6484 0 0 0 19 1 0 0 20 0 15 0 414300272 10915721216 7472 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2664971 7472 2927 1 0 2627468 0
[pid=32460/tid=32463] ppid=32454 vsize=10659884 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) D 32454 32460 32400 0 -1 1077944384 3601 0 0 0 11 1 0 0 20 0 15 0 414300279 10915721216 7472 33554432000 4194304 4196468 140732746515280 139718073860520 139718062315029 0 4 0 16800975 18446744072101568036 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 7472 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300285 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300285 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717104334368 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300286 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717103281520 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300293 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) S 32454 32460 32400 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 414300293 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717101177200 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) S 32454 32460 32400 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 414300293 10915721216 7472 33554432000 4194304 4196468 140732746515280 139717100124400 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10659884 memory=139636284827264 CPUtime=0.04 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 742 0 0 0 4 0 0 0 20 0 15 0 414300293 10915721216 7472 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300293 10915721216 7472 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10659884 memory=139636284827264 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300296 10915721216 7472 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29888 KiB

[startup+0.704954 s]
/proc/loadavg: 0.00 0.01 0.05 4/229 32490
/proc/meminfo: memFree=31090524/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10659884 memory=48712 CPUtime=0.74 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 11921 0 0 0 69 5 0 0 20 0 15 0 414300272 10915721216 12178 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2664971 12178 3057 1 0 2627468 0
[pid=32460/tid=32463] ppid=32454 vsize=10659884 memory=139636284826129 CPUtime=0.44 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) R 32454 32460 32400 0 -1 4202560 7609 0 0 0 41 3 0 0 20 0 15 0 414300279 10915721216 12178 33554432000 4194304 4196468 140732746515280 139718073863504 139718049912007 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10659884 memory=4294969504 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 12178 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10659884 memory=88004 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10659884 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300283 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10659884 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300285 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10659884 memory=20860 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300285 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717104334368 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10659884 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300286 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717103281520 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10659884 memory=500 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300293 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10659884 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) S 32454 32460 32400 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 414300293 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717101177200 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10659884 memory=1768 CPUtime=0.07 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) S 32454 32460 32400 0 -1 1077944384 975 0 0 0 7 0 0 0 20 0 15 0 414300293 10915721216 12178 33554432000 4194304 4196468 140732746515280 139717100124400 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10659884 memory=1656 CPUtime=0.12 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 1218 0 0 0 12 0 0 0 20 0 15 0 414300293 10915721216 12178 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10659884 memory=804 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300293 10915721216 12178 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10659884 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300296 10915721216 12178 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 48712 KiB

[startup+1.50082 s]
/proc/loadavg: 0.16 0.05 0.06 4/229 32490
/proc/meminfo: memFree=31031900/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10663980 memory=73156 CPUtime=1.7 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 16278 0 0 0 164 6 0 0 20 0 15 0 414300272 10919915520 18289 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2665995 18289 3080 1 0 2628492 0
[pid=32460/tid=32463] ppid=32454 vsize=10663980 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) R 32454 32460 32400 0 -1 4202560 11107 0 0 0 118 4 0 0 20 0 15 0 414300279 10919915520 18289 33554432000 4194304 4196468 140732746515280 139718073862736 139718053717342 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10919915520 18289 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300283 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300283 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414300285 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300285 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717104334368 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300286 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717103281520 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300293 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10663980 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) S 32454 32460 32400 0 -1 1077944384 1042 0 0 0 14 0 0 0 20 0 15 0 414300293 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717101177200 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10663980 memory=749538612441395371 CPUtime=0.11 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) S 32454 32460 32400 0 -1 1077944384 1376 0 0 0 11 0 0 0 20 0 15 0 414300293 10919915520 18289 33554432000 4194304 4196468 140732746515280 139717100124400 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10663980 memory=279272329831024 CPUtime=0.19 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 1390 0 0 0 19 0 0 0 20 0 15 0 414300293 10919915520 18289 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10663980 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300293 10919915520 18289 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10663980 memory=7976406965554101975 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300296 10919915520 18289 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 73156 KiB

[startup+3.11106 s]
/proc/loadavg: 0.16 0.05 0.06 9/231 32492
/proc/meminfo: memFree=30827080/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10748324 memory=170104 CPUtime=4.47 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 27608 0 2 0 433 14 0 0 20 0 16 0 414300272 11006283776 42526 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2687081 42526 3351 1 0 2647217 0
[pid=32460/tid=32463] ppid=32454 vsize=10748324 memory=162792 CPUtime=1.88 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) S 32454 32460 32400 0 -1 1077944384 13181 0 2 0 182 6 0 0 20 0 16 0 414300279 11006283776 42526 33554432000 4194304 4196468 140732746515280 139718073879728 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10748324 memory=177 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 414300283 11006283776 42526 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10748324 memory=38076 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414300283 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10748324 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414300283 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10748324 memory=2024 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 120 0 0 0 0 1 0 0 20 0 16 0 414300283 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10748324 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 16 0 414300285 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10748324 memory=7234576917979478634 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414300285 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717104334432 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414300286 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717103281536 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10748324 memory=139636284829601 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300293 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10748324 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) R 32454 32460 32400 0 -1 4202560 2704 0 0 0 71 0 0 0 20 0 16 0 414300293 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717101177328 139718053129349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10748324 memory=139637976728157 CPUtime=0.63 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) R 32454 32460 32400 0 -1 4202560 3698 0 0 0 63 0 0 0 20 0 16 0 414300293 11006283776 42526 33554432000 4194304 4196468 140732746515280 139717100105416 139718053047670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10748324 memory=139637976728162 CPUtime=0.51 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 2474 0 0 0 50 1 0 0 20 0 16 0 414300293 11006283776 42526 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10748324 memory=27396 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300293 11006283776 42526 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10748324 memory=6298093203691294808 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300296 11006283776 42526 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32492] ppid=32454 vsize=10748324 memory=-7449378605035732380 CPUtime=0.62 cores=0,2,4,6
/proc/32460/task/32492/stat : 32492 (java) R 32454 32460 32400 0 -1 4202560 3824 0 0 0 61 1 0 0 20 0 16 0 414300512 11006283776 42526 33554432000 4194304 4196468 140732746515280 139716771902792 139717711268909 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 170104 KiB

[startup+4.21913 s]
# the end of solver process 32460 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.54602 s, system=0.163574 s

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

[startup+3.2008 s]
/proc/loadavg: 0.16 0.05 0.06 9/231 32492
/proc/meminfo: memFree=30827080/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10748324 memory=170384 CPUtime=4.76 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 28641 0 2 0 462 14 0 0 20 0 16 0 414300272 11006283776 42596 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2687081 42596 3351 1 0 2647217 0
[pid=32460/tid=32463] ppid=32454 vsize=10748324 memory=288230621803970871 CPUtime=1.88 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) S 32454 32460 32400 0 -1 1077944384 13181 0 2 0 182 6 0 0 20 0 16 0 414300279 11006283776 42596 33554432000 4194304 4196468 140732746515280 139718073879728 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10748324 memory=14410410686155187 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 414300283 11006283776 42596 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414300283 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414300283 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 120 0 0 0 0 1 0 0 20 0 16 0 414300283 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10748324 memory=-5921431000321636112 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 16 0 414300285 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414300285 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717104334432 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414300286 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717103281536 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300293 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10748324 memory=6944656592455360569 CPUtime=0.8 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) R 32454 32460 32400 0 -1 4202560 2772 0 0 0 80 0 0 0 20 0 16 0 414300293 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717101168848 139718061591741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10748324 memory=1428 CPUtime=0.72 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) R 32454 32460 32400 0 -1 4202560 4639 0 0 0 72 0 0 0 20 0 16 0 414300293 11006283776 42596 33554432000 4194304 4196468 140732746515280 139717100105416 139718053047746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10748324 memory=776 CPUtime=0.52 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) R 32454 32460 32400 0 -1 4202560 2498 0 0 0 51 1 0 0 20 0 16 0 414300293 11006283776 42596 33554432000 4194304 4196468 140732746515280 139716790666736 139718048463329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10748324 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300293 11006283776 42596 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10748324 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300296 11006283776 42596 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32492] ppid=32454 vsize=10748324 memory=10472 CPUtime=0.71 cores=0,2,4,6
/proc/32460/task/32492/stat : 32492 (java) R 32454 32460 32400 0 -1 4202560 3824 0 0 0 70 1 0 0 20 0 16 0 414300512 11006283776 42596 33554432000 4194304 4196468 140732746515280 139716771897168 139717710854860 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 170384 KiB

[startup+4.0011 s]*
/proc/loadavg: 0.16 0.05 0.06 4/231 32492
/proc/meminfo: memFree=30800832/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10748324 memory=184104 CPUtime=6.49 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 32996 0 2 0 634 15 0 0 20 0 16 0 414300272 11006283776 46026 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2687081 46026 3353 1 0 2647217 0
[pid=32460/tid=32463] ppid=32454 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) S 32454 32460 32400 0 -1 1077944384 13181 0 2 0 182 6 0 0 20 0 16 0 414300279 11006283776 46026 33554432000 4194304 4196468 140732746515280 139718073879728 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10748324 memory=-2915660025547314590 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 414300283 11006283776 46026 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10748324 memory=4627847317588771981 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414300283 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 414300283 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 120 0 0 0 0 1 0 0 20 0 16 0 414300283 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 16 0 414300285 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414300285 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717104334432 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414300286 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717103281536 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10748324 memory=288230419908801846 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300293 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10748324 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) S 32454 32460 32400 0 -1 1077944384 3446 0 0 0 98 0 0 0 20 0 16 0 414300293 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717101177200 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10748324 memory=3472895575524712495 CPUtime=1.43 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) S 32454 32460 32400 0 -1 1077944384 6974 0 0 0 142 1 0 0 20 0 16 0 414300293 11006283776 46026 33554432000 4194304 4196468 140732746515280 139717100124400 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10748324 memory=279272449615608 CPUtime=0.56 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 3110 0 0 0 55 1 0 0 20 0 16 0 414300293 11006283776 46026 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10748324 memory=139636164788343 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300293 11006283776 46026 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10748324 memory=3467965363676239776 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414300296 11006283776 46026 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32492] ppid=32454 vsize=10748324 memory=2319684899342135343 CPUtime=1.5 cores=0,2,4,6
/proc/32460/task/32492/stat : 32492 (java) R 32454 32460 32400 0 -1 4202560 4521 0 0 0 149 1 0 0 20 0 16 0 414300512 11006283776 46026 33554432000 4194304 4196468 140732746515280 139716771897424 139717711044083 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 6.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 184104 KiB

[startup+4.20118 s]
/proc/loadavg: 0.16 0.05 0.06 4/231 32492
/proc/meminfo: memFree=30800832/32770624 swapFree=67001888/67108860
[pid=32460] ppid=32454 vsize=10748324 memory=190384 CPUtime=6.69 cores=0,2,4,6
/proc/32460/stat : 32460 (java) S 32454 32460 32400 0 -1 1077944320 33521 0 2 0 654 15 0 0 20 0 16 0 414300272 11006283776 47596 33554432000 4194304 4196468 140732746515280 140732746497824 139718069636855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
/proc/32460/statm: 2687338 47596 3354 1 0 2647474 0
[pid=32460/tid=32463] ppid=32454 vsize=10749352 memory=301741407851512146 CPUtime=1.88 cores=0,2,4,6
/proc/32460/task/32463/stat : 32463 (java) S 32454 32460 32400 0 -1 1077944384 13334 0 2 0 182 6 0 0 20 0 17 0 414300279 11007336448 47596 33554432000 4194304 4196468 140732746515280 139718073877536 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32469] ppid=32454 vsize=10749352 memory=3618977862931209659 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32469/stat : 32469 (java) S 32454 32460 32400 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 17 0 414300283 11007336448 47596 33554432000 4194304 4196468 140732746515280 139718039349904 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32470] ppid=32454 vsize=10749352 memory=7013346343823632999 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32470/stat : 32470 (java) S 32454 32460 32400 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 17 0 414300283 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717675190800 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32471] ppid=32454 vsize=10749352 memory=7378419461664434514 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32471/stat : 32471 (java) S 32454 32460 32400 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 17 0 414300283 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717674138000 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32472] ppid=32454 vsize=10749352 memory=7092152808901077102 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32472/stat : 32472 (java) S 32454 32460 32400 0 -1 1077944384 120 0 0 0 0 1 0 0 20 0 17 0 414300283 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717673085200 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32474] ppid=32454 vsize=10749352 memory=7162531440177276259 CPUtime=0.01 cores=0,2,4,6
/proc/32460/task/32474/stat : 32474 (java) S 32454 32460 32400 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 17 0 414300285 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717105388400 139718069648002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32475] ppid=32454 vsize=10749352 memory=7164226869942838368 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32475/stat : 32475 (java) S 32454 32460 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 414300285 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717104334432 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32477] ppid=32454 vsize=10749352 memory=6081663127248725862 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32477/stat : 32477 (java) S 32454 32460 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 414300286 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717103281536 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32483] ppid=32454 vsize=10749352 memory=6940719267171166295 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32483/stat : 32483 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 414300293 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717102229840 139718069655451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32485] ppid=32454 vsize=10749352 memory=279272330220984 CPUtime=0.99 cores=0,2,4,6
/proc/32460/task/32485/stat : 32485 (java) R 32454 32460 32400 0 -1 4202560 3452 0 0 0 99 0 0 0 20 0 17 0 414300293 11007336448 47596 33554432000 4194304 4196468 140732746515280 139717101177200 139718054545892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32486] ppid=32454 vsize=10749352 memory=279272329716168 CPUtime=1.43 cores=0,2,4,6
/proc/32460/task/32486/stat : 32486 (java) S 32454 32460 32400 0 -1 1077944384 6992 0 0 0 142 1 0 0 20 0 17 0 414300293 11007336448 48108 33554432000 4194304 4196468 140732746515280 139717100124400 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32487] ppid=32454 vsize=10749352 memory=6655300316396806240 CPUtime=0.57 cores=0,2,4,6
/proc/32460/task/32487/stat : 32487 (java) S 32454 32460 32400 0 -1 1077944384 3149 0 0 0 56 1 0 0 20 0 17 0 414300293 11007336448 48108 33554432000 4194304 4196468 140732746515280 139716790671472 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32488] ppid=32454 vsize=10749352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32488/stat : 32488 (java) S 32454 32460 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 414300293 11007336448 48108 33554432000 4194304 4196468 140732746515280 139716789618912 139718069647061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
[pid=32460/tid=32490] ppid=32454 vsize=10880424 memory=3473013290011444912 CPUtime=0 cores=0,2,4,6
/proc/32460/task/32490/stat : 32490 (java) S 32454 32460 32400 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 17 0 414300296 11141554176 48108 33554432000 4194304 4196468 140732746515280 139716788567216 139718069648002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8601600 140732746519563 140732746519666 140732746519666 140732746522575 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 190384 KiB

Child status: 0
Real time (s): 4.21917
CPU time (s): 6.7096
CPU user time (s): 6.54602
CPU system time (s): 0.163574
CPU usage (%): 159.026
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 190384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.54602
system time used= 0.163574
maximum resident set size= 192900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33625
page faults= 2
swaps= 0
block input operations= 8616
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2787
involuntary context switches= 104


# summary of solver processes directly reported to runsolver:
#   pid: 32460
#   total CPU time (s): 6.7096
#   total CPU user time (s): 6.54602
#   total CPU system time (s): 0.163574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046322 second user time and 0.109187 second system time

The end

Begin job on node136 at 2019-09-13 15:14:32
IDJOB=4390763
IDBENCH=115996
IDSOLVER=2832
FILE ID=node136/4390763-1568380516
RUNJOBID= node136-1568380471-32431
PBS_JOBID= 21701832
Free space on /tmp= 56792 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-09.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390763-1568380516/watcher-4390763-1568380516 -o /tmp/evaluation-result-4390763-1568380516/solver-4390763-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568380471-32431 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390763-1568380516.xml -cm

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

MD5SUM BENCH= e25e9e3192808473b45d33bf4350e517
RANDOM SEED=139609832

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31139764 kB
MemAvailable:   31903276 kB
Buffers:           35204 kB
Cached:          1012708 kB
SwapCached:         3260 kB
Active:           551136 kB
Inactive:         502612 kB
Active(anon):       4348 kB
Inactive(anon):    42068 kB
Active(file):     546788 kB
Inactive(file):   460544 kB
Unevictable:      107892 kB
Mlocked:          107892 kB
SwapTotal:      67108860 kB
SwapFree:       67001888 kB
Dirty:             16908 kB
Writeback:             0 kB
AnonPages:        111920 kB
Mapped:            41828 kB
Shmem:             31840 kB
Slab:             172108 kB
SReclaimable:     144028 kB
SUnreclaim:        28080 kB
KernelStack:        3360 kB
PageTables:         5484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56776 MiB
End job on node136 at 2019-09-13 15:14:37