Trace number 4390827

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23OPT310 877.12 871.874

DiagnosticValue
WRONG_DECISIONS222781

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-3.xml
MD5SUM486402128da484f7cb4aeca2fb99213d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark310
Best CPU time to get the best result obtained on this benchmark32.7447
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size5
Maximum domain size410
Distribution of domain sizes[{"size":5,"count":50},{"size":410,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.56/2.64	
2.56/2.64	AbsCon 2 
2.56/2.66	
3.00/2.84	  Instance
3.00/2.84	    name=instance-4390827-1568380515, framework=COP, bounds=-infty..+infty
3.00/2.84	
3.00/2.84	  Loading variables...
3.00/2.88	  Loading constraints...
3.16/2.99	
3.16/2.99	  Domains
3.16/2.99	    nTypes=7, nValues=22800, sizes=[5#50,410#55]
3.16/2.99	  Variables
3.16/2.99	    count=105, degrees=[2#30,3#50,9#25]
3.16/2.99	  Objectives
3.16/2.99	    way=min, type=ObjMaximumLE
3.16/2.99	  Constraints
3.16/2.99	    count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.16/2.99	    distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.16/2.99	    tables=[2#50], nTotalTuples=100
3.16/2.99	    nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.16/2.99	    wck=0.379, cpu=2.19, mem=29M163
3.47/3.01	  Solver SolverBacktrack being built...
3.47/3.01	
3.47/3.02	
3.47/3.02	  Solver
3.47/3.02	    guaranteedGAC=true
3.47/3.02	    wck=0.409, cpu=2.219, mem=39M805
4.45/3.75	
4.45/3.75	  Preprocessing
4.45/3.75	    filters=55, revisions=(140,useless=60), ccks=7050194, nACremovedValues=4734, nTotalRemovedValues=4734, inconcistency=false
4.45/3.75	    wck=0.725, cpu=2.946, mem=39M805
4.45/3.75	
5.05/4.02	    num=0, depth=20..20, filters=510, revisions=(841,useless=442), ccks=9841443, wck=0.995, mem=42M448
5.05/4.02	    decisions=40, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.05/4.02	    nFilterCalls=276, avgTableProportion=0.4003623188405797, avgTableSize=0.8007246376811594
5.05/4.02	    
5.18/4.13	o 406
5.18/4.14	    num=1, depth=106..104, filters=803, revisions=(1239,useless=683), ccks=11023907, wck=1.112, mem=45M90
5.18/4.14	    decisions=66, wrong=10, backtracks=0, failedAssignments=10, nogoods=10, foundSolutions=1, bestBound=406
5.18/4.14	    nFilterCalls=528, avgTableProportion=0.3418560606060606, avgTableSize=0.6837121212121212
5.18/4.14	    
5.48/4.39	    num=2, depth=18..18, filters=1376, revisions=(2168,useless=1219), ccks=13326814, wck=1.37, mem=45M90
5.48/4.39	    decisions=108, wrong=22, backtracks=0, failedAssignments=22, nogoods=22, foundSolutions=1, bestBound=406
5.48/4.39	    nFilterCalls=818, avgTableProportion=0.35574572127139364, avgTableSize=0.7114914425427873
5.48/4.39	    
5.97/4.54	    num=3, depth=13..13, filters=1849, revisions=(2731,useless=1539), ccks=14749102, wck=1.513, mem=47M732
5.97/4.54	    decisions=143, wrong=33, backtracks=0, failedAssignments=33, nogoods=33, foundSolutions=1, bestBound=406
5.97/4.54	    nFilterCalls=1145, avgTableProportion=0.33799126637554583, avgTableSize=0.6759825327510917
5.97/4.54	    
6.19/4.69	    num=4, depth=9..11, filters=2417, revisions=(3372,useless=1828), ccks=16418690, wck=1.668, mem=47M732
6.19/4.69	    decisions=180, wrong=47, backtracks=2, failedAssignments=45, nogoods=38, foundSolutions=1, bestBound=406
6.19/4.69	    nFilterCalls=1451, avgTableProportion=0.3538938662991041, avgTableSize=0.7077877325982082
6.19/4.69	    
6.59/4.84	    num=5, depth=11..11, filters=2837, revisions=(3839,useless=2040), ccks=18033221, wck=1.818, mem=50M375
6.59/4.84	    decisions=217, wrong=60, backtracks=2, failedAssignments=58, nogoods=51, foundSolutions=1, bestBound=406
6.59/4.84	    nFilterCalls=1754, avgTableProportion=0.35917901938426455, avgTableSize=0.7183580387685291
6.59/4.84	    
7.07/5.09	    num=6, depth=0..22, filters=3446, revisions=(4689,useless=2494), ccks=20776305, wck=2.071, mem=50M375
7.07/5.09	    decisions=269, wrong=76, backtracks=4, failedAssignments=72, nogoods=53, foundSolutions=1, bestBound=406
7.07/5.09	    nFilterCalls=2083, avgTableProportion=0.35933749399903986, avgTableSize=0.7186749879980797
7.07/5.09	    
7.69/5.32	o 400
7.69/5.32	    num=7, depth=106..104, filters=3918, revisions=(5261,useless=2815), ccks=23269476, wck=2.301, mem=50M375
7.69/5.32	    decisions=302, wrong=76, backtracks=4, failedAssignments=72, nogoods=53, foundSolutions=2, bestBound=400
7.69/5.32	    nFilterCalls=2577, avgTableProportion=0.35875048506014745, avgTableSize=0.7175009701202949
7.69/5.32	    
8.25/5.55	o 383
8.25/5.56	    num=8, depth=8..104, filters=4751, revisions=(6230,useless=3363), ccks=25664223, wck=2.531, mem=53M17
8.25/5.56	    decisions=351, wrong=86, backtracks=8, failedAssignments=78, nogoods=56, foundSolutions=3, bestBound=383
8.25/5.56	    nFilterCalls=3310, avgTableProportion=0.3549848942598187, avgTableSize=0.7099697885196374
8.25/5.56	    
8.74/5.82	    num=9, depth=13..14, filters=5865, revisions=(7311,useless=4006), ccks=28471588, wck=2.794, mem=55M660
8.74/5.82	    decisions=389, wrong=98, backtracks=9, failedAssignments=89, nogoods=67, foundSolutions=3, bestBound=383
8.74/5.82	    nFilterCalls=4401, avgTableProportion=0.3529879572824358, avgTableSize=0.7059759145648716
8.74/5.82	    
8.99/6.01	o 352
8.99/6.01	    num=10, depth=14..104, filters=6489, revisions=(7973,useless=4375), ccks=30617152, wck=2.992, mem=55M660
8.99/6.01	    decisions=426, wrong=101, backtracks=9, failedAssignments=92, nogoods=70, foundSolutions=4, bestBound=352
8.99/6.01	    nFilterCalls=5068, avgTableProportion=0.34550118389897394, avgTableSize=0.6910023677979479
8.99/6.01	    
9.19/6.23	o 349
9.19/6.23	    num=11, depth=14..104, filters=7217, revisions=(8903,useless=4955), ccks=32967764, wck=3.21, mem=55M660
9.19/6.23	    decisions=470, wrong=109, backtracks=12, failedAssignments=97, nogoods=73, foundSolutions=5, bestBound=349
9.19/6.23	    nFilterCalls=5817, avgTableProportion=0.33659962179817776, avgTableSize=0.6731992435963555
9.19/6.23	    
9.51/6.59	    num=12, depth=12..16, filters=7999, revisions=(10012,useless=5604), ccks=36824146, wck=3.563, mem=58M302
9.51/6.59	    decisions=515, wrong=124, backtracks=18, failedAssignments=108, nogoods=77, foundSolutions=5, bestBound=349
9.51/6.59	    nFilterCalls=6302, avgTableProportion=0.3401301174230403, avgTableSize=0.6802602348460806
9.51/6.59	    
9.71/6.75	o 337
9.71/6.76	    num=13, depth=106..104, filters=8519, revisions=(10603,useless=5935), ccks=38641387, wck=3.732, mem=58M302
9.71/6.76	    decisions=545, wrong=124, backtracks=18, failedAssignments=108, nogoods=77, foundSolutions=6, bestBound=337
9.71/6.76	    nFilterCalls=6829, avgTableProportion=0.335993556889735, avgTableSize=0.67198711377947
9.71/6.76	    
9.92/6.93	    num=14, depth=10..15, filters=9542, revisions=(11785,useless=6628), ccks=40503359, wck=3.907, mem=60M945
9.92/6.93	    decisions=591, wrong=141, backtracks=24, failedAssignments=120, nogoods=84, foundSolutions=6, bestBound=337
9.92/6.93	    nFilterCalls=7767, avgTableProportion=0.3375820780224025, avgTableSize=0.675164156044805
9.92/6.93	    
10.13/7.14	    num=15, depth=11..17, filters=11328, revisions=(13602,useless=7650), ccks=42760571, wck=4.12, mem=60M945
10.13/7.14	    decisions=647, wrong=163, backtracks=35, failedAssignments=131, nogoods=89, foundSolutions=6, bestBound=337
10.13/7.14	    nFilterCalls=9186, avgTableProportion=0.3300130633572828, avgTableSize=0.6600261267145656
10.13/7.14	    
10.32/7.32	o 320
10.32/7.32	    num=16, depth=6..104, filters=12393, revisions=(14710,useless=8261), ccks=44595313, wck=4.295, mem=63M587
10.32/7.32	    decisions=699, wrong=175, backtracks=39, failedAssignments=140, nogoods=95, foundSolutions=7, bestBound=320
10.32/7.32	    nFilterCalls=10126, avgTableProportion=0.3264368951214695, avgTableSize=0.652873790242939
10.32/7.32	    
10.57/7.58	    num=17, depth=6..10, filters=13617, revisions=(16077,useless=9022), ccks=47428920, wck=4.559, mem=63M587
10.57/7.58	    decisions=749, wrong=197, backtracks=49, failedAssignments=153, nogoods=102, foundSolutions=7, bestBound=320
10.57/7.58	    nFilterCalls=10969, avgTableProportion=0.33216336949585196, avgTableSize=0.6643267389917039
10.57/7.58	    
10.77/7.75	    num=18, depth=7..11, filters=14861, revisions=(17282,useless=9654), ccks=49199701, wck=4.727, mem=63M587
10.77/7.75	    decisions=796, wrong=217, backtracks=60, failedAssignments=164, nogoods=108, foundSolutions=7, bestBound=320
10.77/7.75	    nFilterCalls=11835, avgTableProportion=0.3376003379805661, avgTableSize=0.6752006759611322
10.77/7.75	    
11.00/7.91	    num=19, depth=5..11, filters=16477, revisions=(18990,useless=10579), ccks=50866611, wck=4.889, mem=66M229
11.00/7.91	    decisions=854, wrong=242, backtracks=78, failedAssignments=176, nogoods=111, foundSolutions=7, bestBound=320
11.00/7.91	    nFilterCalls=12881, avgTableProportion=0.3403074295473954, avgTableSize=0.6806148590947908
11.00/7.91	    
11.24/8.13	    num=20, depth=4..11, filters=17563, revisions=(20149,useless=11165), ccks=53140905, wck=5.102, mem=68M872
11.24/8.13	    decisions=900, wrong=262, backtracks=88, failedAssignments=189, nogoods=115, foundSolutions=7, bestBound=320
11.24/8.13	    nFilterCalls=13505, avgTableProportion=0.34183635690485004, avgTableSize=0.6836727138097001
11.24/8.13	    
11.43/8.34	    num=21, depth=7..13, filters=19036, revisions=(21609,useless=11934), ccks=55376114, wck=5.314, mem=68M872
11.43/8.34	    decisions=958, wrong=286, backtracks=104, failedAssignments=203, nogoods=120, foundSolutions=7, bestBound=320
11.43/8.34	    nFilterCalls=14494, avgTableProportion=0.3460397405823099, avgTableSize=0.6920794811646198
11.43/8.34	    
11.64/8.54	    num=22, depth=6..9, filters=20649, revisions=(23119,useless=12713), ccks=57543688, wck=5.516, mem=71M514
11.64/8.54	    decisions=1014, wrong=310, backtracks=115, failedAssignments=219, nogoods=123, foundSolutions=7, bestBound=320
11.64/8.54	    nFilterCalls=15571, avgTableProportion=0.3481471967118361, avgTableSize=0.6962943934236722
11.64/8.54	    
11.85/8.74	    num=23, depth=6..14, filters=22269, revisions=(24742,useless=13588), ccks=59715316, wck=5.718, mem=71M514
11.85/8.74	    decisions=1089, wrong=344, backtracks=134, failedAssignments=236, nogoods=128, foundSolutions=7, bestBound=320
11.85/8.74	    nFilterCalls=16786, avgTableProportion=0.3475515310377696, avgTableSize=0.6951030620755392
11.85/8.74	    
12.05/8.95	    num=24, depth=7..13, filters=24090, revisions=(26639,useless=14647), ccks=61936340, wck=5.928, mem=74M157
12.05/8.95	    decisions=1159, wrong=375, backtracks=153, failedAssignments=255, nogoods=132, foundSolutions=7, bestBound=320
12.05/8.95	    nFilterCalls=18123, avgTableProportion=0.3468796556861447, avgTableSize=0.6937593113722894
12.05/8.95	    
12.56/9.47	    num=25, depth=5..13, filters=25892, revisions=(28620,useless=15621), ccks=67605647, wck=6.446, mem=76M799
12.56/9.47	    decisions=1248, wrong=415, backtracks=175, failedAssignments=276, nogoods=139, foundSolutions=7, bestBound=320
12.56/9.47	    nFilterCalls=19099, avgTableProportion=0.3481334101261846, avgTableSize=0.6962668202523692
12.56/9.47	    
12.87/9.72	    num=26, depth=7..16, filters=27144, revisions=(30063,useless=16393), ccks=70296399, wck=6.694, mem=76M799
12.87/9.72	    decisions=1328, wrong=449, backtracks=188, failedAssignments=299, nogoods=146, foundSolutions=7, bestBound=320
12.87/9.72	    nFilterCalls=19817, avgTableProportion=0.3471766664984609, avgTableSize=0.6943533329969218
12.87/9.72	    
13.07/9.99	    num=27, depth=5..11, filters=29851, revisions=(32763,useless=17854), ccks=73245640, wck=6.969, mem=79M442
13.07/9.99	    decisions=1417, wrong=490, backtracks=205, failedAssignments=324, nogoods=150, foundSolutions=7, bestBound=320
13.07/9.99	    nFilterCalls=21656, avgTableProportion=0.3457702253417067, avgTableSize=0.6915404506834134
13.07/9.99	    
13.42/10.24	    num=28, depth=6..14, filters=32507, revisions=(35439,useless=19327), ccks=75936325, wck=7.222, mem=82M84
13.42/10.24	    decisions=1514, wrong=535, backtracks=227, failedAssignments=352, nogoods=154, foundSolutions=7, bestBound=320
13.42/10.24	    nFilterCalls=23517, avgTableProportion=0.34264574563082023, avgTableSize=0.6852914912616405
13.42/10.24	    
13.82/10.69	    num=29, depth=6..12, filters=34965, revisions=(38120,useless=20823), ccks=80718077, wck=7.663, mem=84M726
13.82/10.69	    decisions=1620, wrong=584, backtracks=252, failedAssignments=383, nogoods=161, foundSolutions=7, bestBound=320
13.82/10.69	    nFilterCalls=25150, avgTableProportion=0.3437375745526839, avgTableSize=0.6874751491053678
13.82/10.69	    
14.33/11.14	    num=30, depth=5..12, filters=38346, revisions=(41818,useless=22757), ccks=85558444, wck=8.113, mem=87M369
14.33/11.14	    decisions=1746, wrong=643, backtracks=285, failedAssignments=417, nogoods=167, foundSolutions=7, bestBound=320
14.33/11.14	    nFilterCalls=26999, avgTableProportion=0.3449572206378014, avgTableSize=0.6899144412756028
14.33/11.14	    
14.94/11.71	    num=31, depth=7..12, filters=40513, revisions=(44343,useless=24053), ccks=91812908, wck=8.685, mem=90M11
14.94/11.71	    decisions=1856, wrong=694, backtracks=306, failedAssignments=454, nogoods=172, foundSolutions=7, bestBound=320
14.94/11.71	    nFilterCalls=27993, avgTableProportion=0.34563998142392743, avgTableSize=0.6912799628478549
14.94/11.71	    
15.35/12.18	    num=32, depth=3..12, filters=44228, revisions=(48288,useless=26195), ccks=96824095, wck=9.152, mem=92M654
15.35/12.18	    decisions=2010, wrong=767, backtracks=347, failedAssignments=495, nogoods=180, foundSolutions=7, bestBound=320
15.35/12.18	    nFilterCalls=30210, avgTableProportion=0.3485931810658722, avgTableSize=0.6971863621317445
15.35/12.18	    
15.74/12.58	    num=33, depth=6..14, filters=48830, revisions=(53043,useless=28736), ccks=101143802, wck=9.56, mem=97M938
15.74/12.58	    decisions=2178, wrong=847, backtracks=398, failedAssignments=540, nogoods=185, foundSolutions=7, bestBound=320
15.74/12.58	    nFilterCalls=33009, avgTableProportion=0.34938956042291497, avgTableSize=0.6987791208458299
15.74/12.58	    
16.35/13.13	    num=34, depth=0..0, filters=49226, revisions=(53743,useless=29042), ccks=107191478, wck=10.107, mem=97M938
16.35/13.13	    decisions=2278, wrong=897, backtracks=398, failedAssignments=590, nogoods=185, foundSolutions=7, bestBound=320
16.35/13.13	    nFilterCalls=33013, avgTableProportion=0.3494078090449217, avgTableSize=0.6988156180898434
16.35/13.13	    
16.75/13.59	    num=35, depth=0..9, filters=50676, revisions=(55573,useless=29918), ccks=112215541, wck=10.566, mem=100M581
16.75/13.59	    decisions=2407, wrong=958, backtracks=406, failedAssignments=645, nogoods=212, foundSolutions=7, bestBound=320
16.75/13.59	    nFilterCalls=33623, avgTableProportion=0.35072718079885795, avgTableSize=0.7014543615977159
16.75/13.59	    
17.55/14.39	    num=36, depth=6..14, filters=55104, revisions=(60594,useless=32592), ccks=120940712, wck=11.365, mem=105M866
17.55/14.39	    decisions=2607, wrong=1053, backtracks=448, failedAssignments=706, nogoods=216, foundSolutions=7, bestBound=320
17.55/14.39	    nFilterCalls=36082, avgTableProportion=0.34980045452025943, avgTableSize=0.6996009090405189
17.55/14.39	    
18.15/15.00	    num=37, depth=6..14, filters=59881, revisions=(65871,useless=35332), ccks=127531180, wck=11.98, mem=111M151
18.15/15.00	    decisions=2836, wrong=1164, backtracks=507, failedAssignments=773, nogoods=226, foundSolutions=7, bestBound=320
18.15/15.00	    nFilterCalls=38721, avgTableProportion=0.35169546241057825, avgTableSize=0.7033909248211565
18.15/15.00	    
18.96/15.79	    num=38, depth=4..14, filters=64910, revisions=(71523,useless=38356), ccks=136093175, wck=12.766, mem=116M435
18.96/15.79	    decisions=3071, wrong=1278, backtracks=566, failedAssignments=847, nogoods=233, foundSolutions=7, bestBound=320
18.96/15.79	    nFilterCalls=41430, avgTableProportion=0.34965001206854934, avgTableSize=0.6993000241370987
18.96/15.79	    
19.87/16.68	    num=39, depth=7..15, filters=70943, revisions=(78070,useless=41869), ccks=145767256, wck=13.659, mem=121M720
19.87/16.68	    decisions=3361, wrong=1419, backtracks=639, failedAssignments=928, nogoods=236, foundSolutions=7, bestBound=320
19.87/16.68	    nFilterCalls=44993, avgTableProportion=0.3489320560976152, avgTableSize=0.6978641121952304
19.87/16.68	    
20.77/17.52	    num=40, depth=6..14, filters=79236, revisions=(86530,useless=46331), ccks=154676634, wck=14.492, mem=127M5
20.77/17.52	    decisions=3664, wrong=1565, backtracks=714, failedAssignments=1017, nogoods=242, foundSolutions=7, bestBound=320
20.77/17.52	    nFilterCalls=50215, avgTableProportion=0.3450263865378871, avgTableSize=0.6900527730757742
20.77/17.52	    
21.87/18.63	    num=41, depth=5..14, filters=85967, revisions=(93600,useless=49975), ccks=166705384, wck=15.604, mem=134M932
21.87/18.63	    decisions=3984, wrong=1721, backtracks=788, failedAssignments=1115, nogoods=249, foundSolutions=7, bestBound=320
21.87/18.63	    nFilterCalls=54165, avgTableProportion=0.3473460721868365, avgTableSize=0.694692144373673
21.87/18.63	    
22.76/19.56	    num=42, depth=6..14, filters=94170, revisions=(102528,useless=54815), ccks=176689876, wck=16.538, mem=142M778
22.76/19.56	    decisions=4340, wrong=1893, backtracks=877, failedAssignments=1223, nogoods=255, foundSolutions=7, bestBound=320
22.76/19.56	    nFilterCalls=59103, avgTableProportion=0.3476134883170059, avgTableSize=0.6952269766340118
22.76/19.56	    
23.31/20.06	    num=43, depth=5..14, filters=97206, revisions=(106364,useless=56821), ccks=181922017, wck=17.038, mem=27M344
23.31/20.06	    decisions=4619, wrong=2028, backtracks=896, failedAssignments=1342, nogoods=268, foundSolutions=7, bestBound=320
23.31/20.06	    nFilterCalls=60632, avgTableProportion=0.3478856049610767, avgTableSize=0.6957712099221534
23.31/20.06	    
24.51/21.21	    num=44, depth=6..16, filters=107307, revisions=(117613,useless=63078), ccks=194217809, wck=18.185, mem=39M23
24.51/21.21	    decisions=5042, wrong=2236, backtracks=1015, failedAssignments=1473, nogoods=272, foundSolutions=7, bestBound=320
24.51/21.21	    nFilterCalls=66588, avgTableProportion=0.3491845377545504, avgTableSize=0.6983690755091008
24.51/21.21	    
25.51/22.25	    num=45, depth=5..17, filters=120100, revisions=(130521,useless=70156), ccks=205227033, wck=19.226, mem=49M381
25.51/22.25	    decisions=5525, wrong=2474, backtracks=1154, failedAssignments=1617, nogoods=276, foundSolutions=7, bestBound=320
25.51/22.25	    nFilterCalls=75167, avgTableProportion=0.34834435324011864, avgTableSize=0.6966887064802373
25.51/22.25	    
26.91/23.66	    num=46, depth=7..19, filters=131781, revisions=(143387,useless=77170), ccks=220511441, wck=20.642, mem=62M329
26.91/23.66	    decisions=6042, wrong=2729, backtracks=1280, failedAssignments=1775, nogoods=278, foundSolutions=7, bestBound=320
26.91/23.66	    nFilterCalls=81871, avgTableProportion=0.344890132036985, avgTableSize=0.68978026407397
26.91/23.66	    
28.15/24.87	    num=47, depth=5..19, filters=145371, revisions=(156706,useless=84460), ccks=233424906, wck=21.851, mem=70M97
28.15/24.87	    decisions=6589, wrong=2998, backtracks=1402, failedAssignments=1949, nogoods=285, foundSolutions=7, bestBound=320
28.15/24.87	    nFilterCalls=91746, avgTableProportion=0.34151352647526867, avgTableSize=0.6830270529505373
28.15/24.87	    
30.15/26.85	    num=48, depth=5..18, filters=158392, revisions=(171135,useless=92236), ccks=254908004, wck=23.822, mem=83M45
30.15/26.85	    decisions=7195, wrong=3298, backtracks=1532, failedAssignments=2140, nogoods=290, foundSolutions=7, bestBound=320
30.15/26.85	    nFilterCalls=98851, avgTableProportion=0.34103853274119633, avgTableSize=0.6820770654823927
30.15/26.85	    
31.56/28.25	    num=49, depth=5..15, filters=173600, revisions=(186237,useless=100344), ccks=269981824, wck=25.23, mem=95M992
31.56/28.25	    decisions=7830, wrong=3612, backtracks=1663, failedAssignments=2351, nogoods=294, foundSolutions=7, bestBound=320
31.56/28.25	    nFilterCalls=108932, avgTableProportion=0.33736184041420336, avgTableSize=0.6747236808284067
31.56/28.25	    
33.83/30.47	    num=50, depth=6..17, filters=193637, revisions=(206876,useless=111351), ccks=293864265, wck=27.451, mem=114M119
33.83/30.47	    decisions=8649, wrong=4018, backtracks=1889, failedAssignments=2583, nogoods=302, foundSolutions=7, bestBound=320
33.83/30.47	    nFilterCalls=121774, avgTableProportion=0.3385164320790973, avgTableSize=0.6770328641581946
33.83/30.47	    
35.63/32.25	    num=51, depth=4..16, filters=212028, revisions=(225943,useless=121924), ccks=312745203, wck=29.227, mem=129M656
35.63/32.25	    decisions=9457, wrong=4417, backtracks=2079, failedAssignments=2838, nogoods=308, foundSolutions=7, bestBound=320
35.63/32.25	    nFilterCalls=134179, avgTableProportion=0.33548096199852434, avgTableSize=0.6709619239970487
35.63/32.25	    
37.54/34.16	    num=52, depth=5..18, filters=234046, revisions=(248207,useless=134371), ccks=333169893, wck=31.14, mem=145M193
37.54/34.16	    decisions=10342, wrong=4855, backtracks=2285, failedAssignments=3119, nogoods=315, foundSolutions=7, bestBound=320
37.54/34.16	    nFilterCalls=150312, avgTableProportion=0.3295245888551812, avgTableSize=0.6590491777103624
37.54/34.16	    
40.81/37.21	    num=53, depth=6..20, filters=255409, revisions=(270968,useless=146779), ccks=365930777, wck=34.184, mem=35M68
40.81/37.21	    decisions=11321, wrong=5341, backtracks=2528, failedAssignments=3428, nogoods=320, foundSolutions=7, bestBound=320
40.81/37.21	    nFilterCalls=163195, avgTableProportion=0.33039921566224456, avgTableSize=0.6607984313244891
40.81/37.21	    
43.03/39.47	    num=54, depth=6..17, filters=282964, revisions=(300086,useless=162935), ccks=389860649, wck=36.452, mem=61M56
43.03/39.47	    decisions=12415, wrong=5883, backtracks=2805, failedAssignments=3768, nogoods=331, foundSolutions=7, bestBound=320
43.03/39.47	    nFilterCalls=180817, avgTableProportion=0.3318299717393829, avgTableSize=0.6636599434787658
43.03/39.47	    
46.75/43.14	    num=55, depth=3..18, filters=315366, revisions=(333148,useless=180713), ccks=429106737, wck=40.12, mem=87M44
46.75/43.14	    decisions=13710, wrong=6527, backtracks=3195, failedAssignments=4142, nogoods=337, foundSolutions=7, bestBound=320
46.75/43.14	    nFilterCalls=201555, avgTableProportion=0.33589342859269183, avgTableSize=0.6717868571853837
46.75/43.14	    
47.75/44.14	    num=56, depth=6..15, filters=327224, revisions=(347499,useless=188401), ccks=439569963, wck=41.117, mem=102M636
47.75/44.14	    decisions=14613, wrong=6974, backtracks=3251, failedAssignments=4553, nogoods=385, foundSolutions=7, bestBound=320
47.75/44.14	    nFilterCalls=206361, avgTableProportion=0.3357150818226312, avgTableSize=0.6714301636452624
47.75/44.14	    
51.27/47.65	    num=57, depth=3..17, filters=358059, revisions=(379058,useless=204794), ccks=477283880, wck=44.632, mem=133M822
51.27/47.65	    decisions=16063, wrong=7695, backtracks=3615, failedAssignments=5005, nogoods=390, foundSolutions=7, bestBound=320
51.27/47.65	    nFilterCalls=224771, avgTableProportion=0.337314422234185, avgTableSize=0.67462884446837
51.27/47.65	    
55.52/51.84	    num=58, depth=3..17, filters=394155, revisions=(413664,useless=222720), ccks=521996244, wck=48.813, mem=32M555
55.52/51.84	    decisions=17683, wrong=8502, backtracks=4030, failedAssignments=5502, nogoods=395, foundSolutions=7, bestBound=320
55.52/51.84	    nFilterCalls=248432, avgTableProportion=0.34278796612352674, avgTableSize=0.6855759322470535
55.52/51.84	    
55.62/51.99	o 317
55.62/51.99	    num=59, depth=8..104, filters=395448, revisions=(415007,useless=223473), ccks=523686460, wck=48.971, mem=32M555
55.62/51.99	    decisions=17753, wrong=8525, backtracks=4038, failedAssignments=5519, nogoods=401, foundSolutions=8, bestBound=317
55.62/51.99	    nFilterCalls=249415, avgTableProportion=0.34255958943928794, avgTableSize=0.6851191788785759
55.62/51.99	    
61.43/57.79	    num=60, depth=3..18, filters=443355, revisions=(464098,useless=249844), ccks=585907314, wck=54.772, mem=82M222
61.43/57.79	    decisions=19783, wrong=9537, backtracks=4566, failedAssignments=6121, nogoods=411, foundSolutions=8, bestBound=317
61.43/57.79	    nFilterCalls=279344, avgTableProportion=0.34681074231055614, avgTableSize=0.6936214846211123
61.43/57.79	    
61.63/57.91	    num=61, depth=9..15, filters=444386, revisions=(465308,useless=250575), ccks=587126032, wck=54.887, mem=84M836
61.63/57.91	    decisions=19830, wrong=9554, backtracks=4573, failedAssignments=6132, nogoods=415, foundSolutions=8, bestBound=317
61.63/57.91	    nFilterCalls=280021, avgTableProportion=0.3467597073076662, avgTableSize=0.6935194146153324
61.63/57.91	    
61.74/58.03	    num=62, depth=7..10, filters=445335, revisions=(466351,useless=251133), ccks=588457916, wck=55.011, mem=84M836
61.74/58.03	    decisions=19871, wrong=9570, backtracks=4579, failedAssignments=6144, nogoods=420, foundSolutions=8, bestBound=317
61.74/58.03	    nFilterCalls=280720, avgTableProportion=0.34671202621829583, avgTableSize=0.6934240524365917
61.74/58.03	    
61.84/58.19	    num=63, depth=7..15, filters=446865, revisions=(468031,useless=252115), ccks=590087850, wck=55.165, mem=87M450
61.84/58.19	    decisions=19930, wrong=9595, backtracks=4593, failedAssignments=6157, nogoods=423, foundSolutions=8, bestBound=317
61.84/58.19	    nFilterCalls=281714, avgTableProportion=0.3467896519164827, avgTableSize=0.6935793038329654
61.84/58.19	    
62.03/58.33	    num=64, depth=8..12, filters=448058, revisions=(469390,useless=252881), ccks=591600341, wck=55.307, mem=87M450
62.03/58.33	    decisions=19984, wrong=9618, backtracks=4604, failedAssignments=6171, nogoods=427, foundSolutions=8, bestBound=317
62.03/58.33	    nFilterCalls=282498, avgTableProportion=0.34676705675792396, avgTableSize=0.6935341135158479
62.03/58.33	    
62.23/58.58	    num=65, depth=9..15, filters=449496, revisions=(470935,useless=253683), ccks=594345738, wck=55.56, mem=90M64
62.23/58.58	    decisions=20048, wrong=9645, backtracks=4616, failedAssignments=6187, nogoods=434, foundSolutions=8, bestBound=317
62.23/58.58	    nFilterCalls=283338, avgTableProportion=0.3469178154712746, avgTableSize=0.6938356309425492
62.23/58.58	    
62.63/58.90	    num=66, depth=4..8, filters=450626, revisions=(472241,useless=254314), ccks=597864792, wck=55.882, mem=90M64
62.63/58.90	    decisions=20121, wrong=9678, backtracks=4633, failedAssignments=6204, nogoods=439, foundSolutions=8, bestBound=317
62.63/58.90	    nFilterCalls=283847, avgTableProportion=0.347088396213453, avgTableSize=0.694176792426906
62.63/58.90	    
62.84/59.16	    num=67, depth=6..12, filters=452483, revisions=(474140,useless=255365), ccks=600612859, wck=56.137, mem=92M678
62.84/59.16	    decisions=20192, wrong=9709, backtracks=4647, failedAssignments=6223, nogoods=449, foundSolutions=8, bestBound=317
62.84/59.16	    nFilterCalls=285142, avgTableProportion=0.3470586584929614, avgTableSize=0.6941173169859228
62.84/59.16	    
63.03/59.33	    num=68, depth=6..12, filters=453752, revisions=(475587,useless=256161), ccks=602476805, wck=56.31, mem=95M292
63.03/59.33	    decisions=20259, wrong=9739, backtracks=4663, failedAssignments=6244, nogoods=452, foundSolutions=8, bestBound=317
63.03/59.33	    nFilterCalls=285923, avgTableProportion=0.34694130937350265, avgTableSize=0.6938826187470053
63.03/59.33	    
63.33/59.67	    num=69, depth=6..13, filters=455535, revisions=(477584,useless=257206), ccks=606110835, wck=56.646, mem=95M292
63.33/59.67	    decisions=20342, wrong=9776, backtracks=4682, failedAssignments=6267, nogoods=458, foundSolutions=8, bestBound=317
63.33/59.67	    nFilterCalls=286933, avgTableProportion=0.3469311651152011, avgTableSize=0.6938623302304022
63.33/59.67	    
63.74/60.10	    num=70, depth=9..18, filters=458042, revisions=(480318,useless=258667), ccks=610799925, wck=57.079, mem=100M521
63.74/60.10	    decisions=20437, wrong=9818, backtracks=4701, failedAssignments=6292, nogoods=462, foundSolutions=8, bestBound=317
63.74/60.10	    nFilterCalls=288328, avgTableProportion=0.3471879248633501, avgTableSize=0.6943758497267002
63.74/60.10	    
64.03/60.34	    num=71, depth=3..12, filters=459958, revisions=(482292,useless=259658), ccks=613366968, wck=57.319, mem=100M521
64.03/60.34	    decisions=20539, wrong=9866, backtracks=4726, failedAssignments=6320, nogoods=466, foundSolutions=8, bestBound=317
64.03/60.34	    nFilterCalls=289435, avgTableProportion=0.3473456907423083, avgTableSize=0.6946913814846166
64.03/60.34	    
64.43/60.79	    num=72, depth=9..18, filters=463099, revisions=(485661,useless=261466), ccks=618251206, wck=57.77, mem=105M749
64.43/60.79	    decisions=20656, wrong=9919, backtracks=4749, failedAssignments=6351, nogoods=475, foundSolutions=8, bestBound=317
64.43/60.79	    nFilterCalls=291301, avgTableProportion=0.34746362010429077, avgTableSize=0.6949272402085815
64.43/60.79	    
64.93/61.23	    num=73, depth=7..15, filters=465323, revisions=(488110,useless=262779), ccks=623042696, wck=58.211, mem=108M363
64.93/61.23	    decisions=20774, wrong=9974, backtracks=4777, failedAssignments=6385, nogoods=479, foundSolutions=8, bestBound=317
64.93/61.23	    nFilterCalls=292624, avgTableProportion=0.3474185302640932, avgTableSize=0.6948370605281864
64.93/61.23	    
65.23/61.59	    num=74, depth=5..11, filters=467389, revisions=(490455,useless=263982), ccks=626904755, wck=58.568, mem=110M977
65.23/61.59	    decisions=20892, wrong=10030, backtracks=4804, failedAssignments=6422, nogoods=488, foundSolutions=8, bestBound=317
65.23/61.59	    nFilterCalls=293657, avgTableProportion=0.34768624619879657, avgTableSize=0.6953724923975931
65.23/61.59	    
65.74/62.03	    num=75, depth=9..17, filters=470578, revisions=(493758,useless=265779), ccks=631614444, wck=59.004, mem=113M591
65.74/62.03	    decisions=21018, wrong=10088, backtracks=4829, failedAssignments=6463, nogoods=496, foundSolutions=8, bestBound=317
65.74/62.03	    nFilterCalls=295743, avgTableProportion=0.34759064457992245, avgTableSize=0.6951812891598449
65.74/62.03	    
66.04/62.31	    num=76, depth=5..15, filters=472956, revisions=(496410,useless=267303), ccks=634697204, wck=59.29, mem=116M205
66.04/62.31	    decisions=21161, wrong=10156, backtracks=4863, failedAssignments=6508, nogoods=501, foundSolutions=8, bestBound=317
66.04/62.31	    nFilterCalls=297387, avgTableProportion=0.3469704459172728, avgTableSize=0.6939408918345455
66.04/62.31	    
66.44/62.73	    num=77, depth=6..15, filters=476743, revisions=(500768,useless=269752), ccks=639193619, wck=59.71, mem=118M819
66.44/62.73	    decisions=21335, wrong=10238, backtracks=4912, failedAssignments=6558, nogoods=509, foundSolutions=8, bestBound=317
66.44/62.73	    nFilterCalls=299734, avgTableProportion=0.3467424449678715, avgTableSize=0.693484889935743
66.44/62.73	    
66.85/63.17	    num=78, depth=8..20, filters=481767, revisions=(506115,useless=272805), ccks=643801218, wck=60.144, mem=124M47
66.85/63.17	    decisions=21547, wrong=10338, backtracks=4972, failedAssignments=6613, nogoods=515, foundSolutions=8, bestBound=317
66.85/63.17	    nFilterCalls=303241, avgTableProportion=0.3462707879211584, avgTableSize=0.6925415758423168
66.85/63.17	    
67.34/63.63	    num=79, depth=4..17, filters=484660, revisions=(509617,useless=274772), ccks=648860132, wck=60.612, mem=129M275
67.34/63.63	    decisions=21754, wrong=10437, backtracks=5018, failedAssignments=6674, nogoods=524, foundSolutions=8, bestBound=317
67.34/63.63	    nFilterCalls=304887, avgTableProportion=0.3462905929081922, avgTableSize=0.6925811858163844
67.34/63.63	    
68.14/64.41	    num=80, depth=6..13, filters=488797, revisions=(514167,useless=277107), ccks=657294088, wck=61.386, mem=131M889
68.14/64.41	    decisions=21967, wrong=10540, backtracks=5071, failedAssignments=6741, nogoods=531, foundSolutions=8, bestBound=317
68.14/64.41	    nFilterCalls=307250, avgTableProportion=0.3460813669650122, avgTableSize=0.6921627339300244
68.14/64.41	    
69.24/65.56	    num=81, depth=5..16, filters=495310, revisions=(521050,useless=280731), ccks=669861478, wck=62.538, mem=139M731
69.24/65.56	    decisions=22230, wrong=10665, backtracks=5136, failedAssignments=6815, nogoods=543, foundSolutions=8, bestBound=317
69.24/65.56	    nFilterCalls=311129, avgTableProportion=0.3459095744851814, avgTableSize=0.6918191489703628
69.24/65.56	    
70.24/66.57	    num=82, depth=5..16, filters=503467, revisions=(529718,useless=285100), ccks=680682902, wck=63.546, mem=147M573
70.24/66.57	    decisions=22552, wrong=10822, backtracks=5231, failedAssignments=6896, nogoods=551, foundSolutions=8, bestBound=317
70.24/66.57	    nFilterCalls=315833, avgTableProportion=0.34686527373643666, avgTableSize=0.6937305474728733
70.24/66.57	    
70.94/67.25	o 316
70.94/67.25	    num=83, depth=5..104, filters=507511, revisions=(533807,useless=287134), ccks=688002868, wck=64.226, mem=152M801
70.94/67.25	    decisions=22767, wrong=10920, backtracks=5278, failedAssignments=6961, nogoods=555, foundSolutions=9, bestBound=316
70.94/67.25	    nFilterCalls=318450, avgTableProportion=0.34703721149317, avgTableSize=0.69407442298634
70.94/67.25	    
71.68/67.90	    num=84, depth=5..17, filters=515502, revisions=(541851,useless=291594), ccks=694650042, wck=64.875, mem=27M330
71.68/67.90	    decisions=23054, wrong=11060, backtracks=5332, failedAssignments=7059, nogoods=578, foundSolutions=9, bestBound=316
71.68/67.90	    nFilterCalls=323450, avgTableProportion=0.34797186582161077, avgTableSize=0.6959437316432215
71.68/67.90	    
71.79/68.04	    num=85, depth=12..20, filters=516252, revisions=(542710,useless=292035), ccks=696181146, wck=65.018, mem=29M912
71.79/68.04	    decisions=23101, wrong=11076, backtracks=5340, failedAssignments=7070, nogoods=581, foundSolutions=9, bestBound=316
71.79/68.04	    nFilterCalls=323909, avgTableProportion=0.34802058602879204, avgTableSize=0.6960411720575841
71.79/68.04	    
71.89/68.19	    num=86, depth=8..13, filters=517386, revisions=(543973,useless=292733), ccks=697746844, wck=65.165, mem=29M912
71.89/68.19	    decisions=23149, wrong=11095, backtracks=5350, failedAssignments=7082, nogoods=586, foundSolutions=9, bestBound=316
71.89/68.19	    nFilterCalls=324646, avgTableProportion=0.34806835753405246, avgTableSize=0.6961367150681049
71.89/68.19	    
72.28/68.53	    num=87, depth=6..11, filters=518603, revisions=(545197,useless=293320), ccks=701326987, wck=65.503, mem=32M494
72.28/68.53	    decisions=23203, wrong=11118, backtracks=5363, failedAssignments=7095, nogoods=588, foundSolutions=9, bestBound=316
72.28/68.53	    nFilterCalls=325324, avgTableProportion=0.34816982454414674, avgTableSize=0.6963396490882935
72.28/68.53	    
72.38/68.67	    num=88, depth=6..12, filters=519276, revisions=(545904,useless=293713), ccks=702843735, wck=65.645, mem=32M494
72.38/68.67	    decisions=23252, wrong=11137, backtracks=5368, failedAssignments=7109, nogoods=593, foundSolutions=9, bestBound=316
72.38/68.67	    nFilterCalls=325828, avgTableProportion=0.34825582822839046, avgTableSize=0.6965116564567809
72.38/68.67	    
72.68/68.91	    num=89, depth=7..11, filters=520529, revisions=(547328,useless=294449), ccks=705491866, wck=65.889, mem=35M76
72.68/68.91	    decisions=23317, wrong=11165, backtracks=5382, failedAssignments=7125, nogoods=595, foundSolutions=9, bestBound=316
72.68/68.91	    nFilterCalls=326517, avgTableProportion=0.3482008593733251, avgTableSize=0.6964017187466502
72.68/68.91	    
72.90/69.17	    num=90, depth=5..13, filters=522413, revisions=(549382,useless=295464), ccks=708299044, wck=66.152, mem=37M659
72.90/69.17	    decisions=23390, wrong=11197, backtracks=5406, failedAssignments=7142, nogoods=600, foundSolutions=9, bestBound=316
72.90/69.17	    nFilterCalls=327632, avgTableProportion=0.348436660643649, avgTableSize=0.696873321287298
72.90/69.17	    
73.19/69.47	    num=91, depth=6..12, filters=524175, revisions=(551163,useless=296361), ccks=711427162, wck=66.446, mem=40M241
73.19/69.47	    decisions=23464, wrong=11229, backtracks=5423, failedAssignments=7161, nogoods=607, foundSolutions=9, bestBound=316
73.19/69.47	    nFilterCalls=328732, avgTableProportion=0.34862745336626794, avgTableSize=0.6972549067325359
73.19/69.47	    
73.49/69.71	    num=92, depth=6..13, filters=525270, revisions=(552356,useless=296951), ccks=714037292, wck=66.686, mem=40M241
73.49/69.71	    decisions=23537, wrong=11260, backtracks=5437, failedAssignments=7182, nogoods=612, foundSolutions=9, bestBound=316
73.49/69.71	    nFilterCalls=329387, avgTableProportion=0.34863701360405847, avgTableSize=0.6972740272081169
73.49/69.71	    
73.69/70.00	    num=93, depth=8..14, filters=526642, revisions=(553943,useless=297778), ccks=717085469, wck=66.972, mem=42M823
73.69/70.00	    decisions=23624, wrong=11299, backtracks=5456, failedAssignments=7205, nogoods=620, foundSolutions=9, bestBound=316
73.69/70.00	    nFilterCalls=330135, avgTableProportion=0.3486376785254517, avgTableSize=0.6972753570509034
73.69/70.00	    
74.09/70.37	    num=94, depth=7..14, filters=528188, revisions=(555630,useless=298680), ccks=721095499, wck=67.351, mem=45M406
74.09/70.37	    decisions=23706, wrong=11335, backtracks=5473, failedAssignments=7230, nogoods=623, foundSolutions=9, bestBound=316
74.09/70.37	    nFilterCalls=331092, avgTableProportion=0.34853303613497155, avgTableSize=0.6970660722699431
74.09/70.37	    
74.59/70.88	    num=95, depth=6..11, filters=531202, revisions=(558697,useless=300209), ccks=726454882, wck=67.856, mem=47M988
74.59/70.88	    decisions=23815, wrong=11385, backtracks=5499, failedAssignments=7258, nogoods=626, foundSolutions=9, bestBound=316
74.59/70.88	    nFilterCalls=332936, avgTableProportion=0.34867061537352523, avgTableSize=0.6973412307470505
74.59/70.88	    
74.90/71.11	    num=96, depth=7..14, filters=533367, revisions=(561060,useless=301512), ccks=728966865, wck=68.091, mem=50M570
74.90/71.11	    decisions=23925, wrong=11436, backtracks=5528, failedAssignments=7289, nogoods=633, foundSolutions=9, bestBound=316
74.90/71.11	    nFilterCalls=334292, avgTableProportion=0.34849024206382445, avgTableSize=0.6969804841276489
74.90/71.11	    
75.41/71.60	    num=97, depth=7..15, filters=535817, revisions=(563847,useless=302989), ccks=734103863, wck=68.574, mem=53M153
75.41/71.60	    decisions=24046, wrong=11493, backtracks=5560, failedAssignments=7323, nogoods=638, foundSolutions=9, bestBound=316
75.41/71.60	    nFilterCalls=335706, avgTableProportion=0.34843732313393266, avgTableSize=0.6968746462678653
75.41/71.60	    
75.92/72.13	    num=98, depth=4..12, filters=540014, revisions=(568177,useless=305133), ccks=739771085, wck=69.103, mem=55M735
75.92/72.13	    decisions=24195, wrong=11563, backtracks=5603, failedAssignments=7360, nogoods=648, foundSolutions=9, bestBound=316
75.92/72.13	    nFilterCalls=338286, avgTableProportion=0.3487300686401447, avgTableSize=0.6974601372802894
75.92/72.13	    
76.31/72.56	    num=99, depth=6..14, filters=542800, revisions=(570965,useless=306581), ccks=744303874, wck=69.534, mem=58M317
76.31/72.56	    decisions=24330, wrong=11627, backtracks=5633, failedAssignments=7401, nogoods=657, foundSolutions=9, bestBound=316
76.31/72.56	    nFilterCalls=339986, avgTableProportion=0.3488761301935962, avgTableSize=0.6977522603871924
76.31/72.56	    
76.71/72.91	    num=100, depth=6..12, filters=545847, revisions=(573955,useless=308000), ccks=748092263, wck=69.89, mem=63M482
76.71/72.91	    decisions=24473, wrong=11695, backtracks=5663, failedAssignments=7446, nogoods=663, foundSolutions=9, bestBound=316
76.71/72.91	    nFilterCalls=341875, avgTableProportion=0.3491422303473492, avgTableSize=0.6982844606946984
76.71/72.91	    
77.42/73.63	    num=101, depth=5..13, filters=549948, revisions=(578436,useless=310439), ccks=755776375, wck=70.61, mem=66M64
77.42/73.63	    decisions=24659, wrong=11785, backtracks=5720, failedAssignments=7496, nogoods=665, foundSolutions=9, bestBound=316
77.42/73.63	    nFilterCalls=344380, avgTableProportion=0.3492827690342064, avgTableSize=0.6985655380684128
77.42/73.63	    
78.22/74.46	    num=102, depth=4..11, filters=555228, revisions=(584235,useless=313443), ccks=764651305, wck=71.432, mem=73M811
78.22/74.46	    decisions=24863, wrong=11883, backtracks=5776, failedAssignments=7551, nogoods=668, foundSolutions=9, bestBound=316
78.22/74.46	    nFilterCalls=347061, avgTableProportion=0.3497728065095185, avgTableSize=0.699545613019037
78.22/74.46	    
78.83/75.07	    num=103, depth=6..16, filters=559348, revisions=(588723,useless=315759), ccks=771225283, wck=72.048, mem=76M394
78.83/75.07	    decisions=25065, wrong=11979, backtracks=5824, failedAssignments=7612, nogoods=672, foundSolutions=9, bestBound=316
78.83/75.07	    nFilterCalls=349496, avgTableProportion=0.34999399134754045, avgTableSize=0.6999879826950809
78.83/75.07	    
79.54/75.71	    num=104, depth=5..14, filters=563656, revisions=(593705,useless=318394), ccks=778112422, wck=72.685, mem=81M558
79.54/75.71	    decisions=25279, wrong=12082, backtracks=5881, failedAssignments=7679, nogoods=675, foundSolutions=9, bestBound=316
79.54/75.71	    nFilterCalls=351685, avgTableProportion=0.35000639777073234, avgTableSize=0.7000127955414647
79.54/75.71	    
79.85/76.01	    num=105, depth=6..10, filters=566266, revisions=(596488,useless=319907), ccks=781374911, wck=72.991, mem=84M141
79.85/76.01	    decisions=25454, wrong=12166, backtracks=5893, failedAssignments=7753, nogoods=726, foundSolutions=9, bestBound=316
79.85/76.01	    nFilterCalls=353226, avgTableProportion=0.3502771596654833, avgTableSize=0.7005543193309666
79.85/76.01	    
80.74/76.99	    num=106, depth=6..23, filters=572126, revisions=(602786,useless=323307), ccks=791966982, wck=73.967, mem=92M733
80.74/76.99	    decisions=25711, wrong=12289, backtracks=5953, failedAssignments=7834, nogoods=731, foundSolutions=9, bestBound=316
80.74/76.99	    nFilterCalls=356987, avgTableProportion=0.3500547638989655, avgTableSize=0.700109527797931
80.74/76.99	    
81.54/77.78	    num=107, depth=5..12, filters=579635, revisions=(610413,useless=327552), ccks=800438117, wck=74.76, mem=100M480
81.54/77.78	    decisions=25986, wrong=12423, backtracks=6005, failedAssignments=7923, nogoods=737, foundSolutions=9, bestBound=316
81.54/77.78	    nFilterCalls=361389, avgTableProportion=0.35071903129314946, avgTableSize=0.7014380625862989
81.54/77.78	    
81.74/77.95	o 315
81.74/77.95	    num=108, depth=10..104, filters=581276, revisions=(612343,useless=328669), ccks=802224213, wck=74.928, mem=103M62
81.74/77.95	    decisions=26106, wrong=12471, backtracks=6023, failedAssignments=7957, nogoods=743, foundSolutions=10, bestBound=315
81.74/77.95	    nFilterCalls=362427, avgTableProportion=0.35046643875870176, avgTableSize=0.7009328775174035
81.74/77.95	    
82.66/78.90	    num=109, depth=4..14, filters=589148, revisions=(620489,useless=333008), ccks=812360558, wck=75.872, mem=110M809
82.66/78.90	    decisions=26483, wrong=12654, backtracks=6114, failedAssignments=8065, nogoods=751, foundSolutions=10, bestBound=315
82.66/78.90	    nFilterCalls=367409, avgTableProportion=0.3509331562373268, avgTableSize=0.7018663124746536
82.66/78.90	    
82.97/79.12	    num=110, depth=9..13, filters=590298, revisions=(621817,useless=333701), ccks=814824773, wck=76.1, mem=110M809
82.97/79.12	    decisions=26534, wrong=12675, backtracks=6127, failedAssignments=8076, nogoods=755, foundSolutions=10, bestBound=315
82.97/79.12	    nFilterCalls=368016, avgTableProportion=0.3509249597843572, avgTableSize=0.7018499195687145
82.97/79.12	    
83.16/79.38	    num=111, depth=4..16, filters=591167, revisions=(622900,useless=334259), ccks=817675758, wck=76.359, mem=113M391
83.16/79.38	    decisions=26586, wrong=12697, backtracks=6138, failedAssignments=8088, nogoods=760, foundSolutions=10, bestBound=315
83.16/79.38	    nFilterCalls=368474, avgTableProportion=0.35092028202804, avgTableSize=0.70184056405608
83.16/79.38	    
83.36/79.53	    num=112, depth=5..10, filters=592250, revisions=(623837,useless=334715), ccks=819270559, wck=76.509, mem=113M391
83.36/79.53	    decisions=26640, wrong=12719, backtracks=6148, failedAssignments=8101, nogoods=762, foundSolutions=10, bestBound=315
83.36/79.53	    nFilterCalls=369177, avgTableProportion=0.35110529637545135, avgTableSize=0.7022105927509027
83.36/79.53	    
83.46/79.68	    num=113, depth=6..12, filters=592939, revisions=(624496,useless=335036), ccks=820890908, wck=76.658, mem=115M974
83.46/79.68	    decisions=26681, wrong=12735, backtracks=6150, failedAssignments=8115, nogoods=773, foundSolutions=10, bestBound=315
83.46/79.68	    nFilterCalls=369756, avgTableProportion=0.35099092374430707, avgTableSize=0.7019818474886141
83.46/79.68	    
83.78/79.92	    num=114, depth=7..12, filters=593896, revisions=(625627,useless=335569), ccks=823547037, wck=76.901, mem=115M974
83.78/79.92	    decisions=26742, wrong=12762, backtracks=6162, failedAssignments=8131, nogoods=778, foundSolutions=10, bestBound=315
83.78/79.92	    nFilterCalls=370218, avgTableProportion=0.35103776693731803, avgTableSize=0.7020755338746361
83.78/79.92	    
83.89/80.10	    num=115, depth=7..13, filters=595521, revisions=(627437,useless=336573), ccks=825406277, wck=77.076, mem=118M556
83.89/80.10	    decisions=26815, wrong=12794, backtracks=6180, failedAssignments=8148, nogoods=781, foundSolutions=10, bestBound=315
83.89/80.10	    nFilterCalls=371208, avgTableProportion=0.3510525096441887, avgTableSize=0.7021050192883774
83.89/80.10	    
84.09/80.21	    num=116, depth=9..12, filters=596108, revisions=(628135,useless=336942), ccks=826579682, wck=77.185, mem=118M556
84.09/80.21	    decisions=26866, wrong=12815, backtracks=6183, failedAssignments=8167, nogoods=798, foundSolutions=10, bestBound=315
84.09/80.21	    nFilterCalls=371509, avgTableProportion=0.35111935377070275, avgTableSize=0.7022387075414055
84.09/80.21	    
84.39/80.52	    num=117, depth=6..12, filters=597165, revisions=(629430,useless=337595), ccks=829942019, wck=77.493, mem=121M138
84.39/80.52	    decisions=26934, wrong=12845, backtracks=6197, failedAssignments=8188, nogoods=805, foundSolutions=10, bestBound=315
84.39/80.52	    nFilterCalls=371969, avgTableProportion=0.3511515744591619, avgTableSize=0.7023031489183238
84.39/80.52	    
84.49/80.66	    num=118, depth=9..17, filters=598655, revisions=(630962,useless=338441), ccks=831472905, wck=77.637, mem=121M138
84.49/80.66	    decisions=27012, wrong=12879, backtracks=6212, failedAssignments=8211, nogoods=809, foundSolutions=10, bestBound=315
84.49/80.66	    nFilterCalls=373035, avgTableProportion=0.3510836784752101, avgTableSize=0.7021673569504202
84.49/80.66	    
84.90/81.01	    num=119, depth=6..13, filters=600027, revisions=(632575,useless=339258), ccks=835312266, wck=77.989, mem=123M721
84.90/81.01	    decisions=27093, wrong=12915, backtracks=6226, failedAssignments=8236, nogoods=815, foundSolutions=10, bestBound=315
84.90/81.01	    nFilterCalls=373712, avgTableProportion=0.3512290212784176, avgTableSize=0.7024580425568352
84.90/81.01	    
85.00/81.11	    num=120, depth=8..9, filters=600544, revisions=(633250,useless=339619), ccks=836418225, wck=78.092, mem=126M303
85.00/81.11	    decisions=27159, wrong=12944, backtracks=6227, failedAssignments=8264, nogoods=843, foundSolutions=10, bestBound=315
85.00/81.11	    nFilterCalls=373934, avgTableProportion=0.3512932763535811, avgTableSize=0.7025865527071622
85.00/81.11	    
85.49/81.65	    num=121, depth=5..14, filters=602732, revisions=(635775,useless=340855), ccks=842317563, wck=78.631, mem=128M885
85.49/81.65	    decisions=27270, wrong=12995, backtracks=6258, failedAssignments=8295, nogoods=846, foundSolutions=10, bestBound=315
85.49/81.65	    nFilterCalls=374969, avgTableProportion=0.35131037499099926, avgTableSize=0.7026207499819985
85.49/81.65	    
85.69/81.89	    num=122, depth=8..20, filters=604864, revisions=(638069,useless=342038), ccks=844834628, wck=78.865, mem=128M885
85.69/81.89	    decisions=27392, wrong=13050, backtracks=6284, failedAssignments=8329, nogoods=852, foundSolutions=10, bestBound=315
85.69/81.89	    nFilterCalls=376326, avgTableProportion=0.3511078160956192, avgTableSize=0.7022156321912384
85.69/81.89	    
86.19/82.39	    num=123, depth=5..15, filters=607762, revisions=(641482,useless=343908), ccks=850310990, wck=79.368, mem=134M50
86.19/82.39	    decisions=27534, wrong=13117, backtracks=6321, failedAssignments=8366, nogoods=856, foundSolutions=10, bestBound=315
86.19/82.39	    nFilterCalls=377978, avgTableProportion=0.35101381561889844, avgTableSize=0.7020276312377969
86.19/82.39	    
86.49/82.66	    num=124, depth=7..14, filters=610077, revisions=(643956,useless=345220), ccks=853134176, wck=79.634, mem=136M632
86.49/82.66	    decisions=27672, wrong=13181, backtracks=6354, failedAssignments=8407, nogoods=861, foundSolutions=10, bestBound=315
86.49/82.66	    nFilterCalls=379550, avgTableProportion=0.3508694506652615, avgTableSize=0.701738901330523
86.49/82.66	    
87.09/83.25	    num=125, depth=6..12, filters=613081, revisions=(647439,useless=347047), ccks=859634327, wck=80.23, mem=139M214
87.09/83.25	    decisions=27822, wrong=13252, backtracks=6391, failedAssignments=8452, nogoods=866, foundSolutions=10, bestBound=315
87.09/83.25	    nFilterCalls=381154, avgTableProportion=0.35098411665625967, avgTableSize=0.7019682333125193
87.09/83.25	    
87.59/83.72	    num=126, depth=5..13, filters=615843, revisions=(650318,useless=348561), ccks=864697893, wck=80.697, mem=141M797
87.59/83.72	    decisions=27972, wrong=13323, backtracks=6422, failedAssignments=8502, nogoods=871, foundSolutions=10, bestBound=315
87.59/83.72	    nFilterCalls=383008, avgTableProportion=0.3507106901161333, avgTableSize=0.7014213802322666
87.59/83.72	    
87.79/83.90	    num=127, depth=6..10, filters=617399, revisions=(652121,useless=349519), ccks=866653437, wck=80.881, mem=144M379
87.79/83.90	    decisions=28108, wrong=13387, backtracks=6433, failedAssignments=8557, nogoods=875, foundSolutions=10, bestBound=315
87.79/83.90	    nFilterCalls=383751, avgTableProportion=0.3508381737115994, avgTableSize=0.7016763474231988
87.79/83.90	    
88.49/84.61	    num=128, depth=6..15, filters=622348, revisions=(657501,useless=352336), ccks=874272214, wck=81.585, mem=149M544
88.49/84.61	    decisions=28331, wrong=13495, backtracks=6495, failedAssignments=8618, nogoods=885, foundSolutions=10, bestBound=315
88.49/84.61	    nFilterCalls=386563, avgTableProportion=0.35076171283852825, avgTableSize=0.7015234256770565
88.49/84.61	    
89.32/85.42	    num=129, depth=4..14, filters=627882, revisions=(663073,useless=355209), ccks=882930181, wck=82.399, mem=24M714
89.32/85.42	    decisions=28579, wrong=13616, backtracks=6566, failedAssignments=8685, nogoods=893, foundSolutions=10, bestBound=315
89.32/85.42	    nFilterCalls=389856, avgTableProportion=0.35095137691865713, avgTableSize=0.7019027538373143
89.32/85.42	    
90.03/86.14	    num=130, depth=5..12, filters=632958, revisions=(668937,useless=358469), ccks=890659466, wck=83.116, mem=29M796
90.03/86.14	    decisions=28837, wrong=13740, backtracks=6635, failedAssignments=8759, nogoods=904, foundSolutions=10, bestBound=315
90.03/86.14	    nFilterCalls=392683, avgTableProportion=0.35111527618970007, avgTableSize=0.7022305523794001
90.03/86.14	    
91.12/87.23	    num=131, depth=5..15, filters=639782, revisions=(675950,useless=362162), ccks=902484696, wck=84.206, mem=37M420
91.12/87.23	    decisions=29125, wrong=13878, backtracks=6709, failedAssignments=8840, nogoods=912, foundSolutions=10, bestBound=315
91.12/87.23	    nFilterCalls=396944, avgTableProportion=0.3511187976137692, avgTableSize=0.7022375952275384
91.12/87.23	    
91.93/88.05	    num=132, depth=6..16, filters=645718, revisions=(682494,useless=365675), ccks=911374293, wck=85.028, mem=45M43
91.93/88.05	    decisions=29442, wrong=14033, backtracks=6787, failedAssignments=8929, nogoods=915, foundSolutions=10, bestBound=315
91.93/88.05	    nFilterCalls=400400, avgTableProportion=0.3510114885114885, avgTableSize=0.702022977022977
91.93/88.05	    
92.82/88.91	    num=133, depth=6..13, filters=653658, revisions=(690710,useless=370086), ccks=920503627, wck=85.883, mem=50M125
92.82/88.91	    decisions=29764, wrong=14190, backtracks=6880, failedAssignments=9027, nogoods=920, foundSolutions=10, bestBound=315
92.82/88.91	    nFilterCalls=405580, avgTableProportion=0.3511797919029538, avgTableSize=0.7023595838059076
92.82/88.91	    
94.03/90.16	    num=134, depth=3..16, filters=662646, revisions=(700221,useless=375249), ccks=934006831, wck=87.133, mem=60M289
94.03/90.16	    decisions=30141, wrong=14376, backtracks=6977, failedAssignments=9135, nogoods=929, foundSolutions=10, bestBound=315
94.03/90.16	    nFilterCalls=411033, avgTableProportion=0.3515557145046748, avgTableSize=0.7031114290093496
94.03/90.16	    
95.33/91.43	    num=135, depth=5..15, filters=670707, revisions=(708494,useless=379425), ccks=947833351, wck=88.406, mem=67M913
95.33/91.43	    decisions=30518, wrong=14561, backtracks=7062, failedAssignments=9254, nogoods=934, foundSolutions=10, bestBound=315
95.33/91.43	    nFilterCalls=415543, avgTableProportion=0.35178068214360486, avgTableSize=0.7035613642872097
95.33/91.43	    
96.43/92.51	    num=136, depth=4..14, filters=679110, revisions=(717387,useless=384155), ccks=959549914, wck=89.488, mem=76M77
96.43/92.51	    decisions=30923, wrong=14760, backtracks=7148, failedAssignments=9385, nogoods=943, foundSolutions=10, bestBound=315
96.43/92.51	    nFilterCalls=420507, avgTableProportion=0.3518823705669585, avgTableSize=0.703764741133917
96.43/92.51	    
97.23/93.32	    num=137, depth=5..13, filters=687842, revisions=(726436,useless=388969), ccks=968189260, wck=90.301, mem=83M700
97.23/93.32	    decisions=31368, wrong=14979, backtracks=7256, failedAssignments=9529, nogoods=952, foundSolutions=10, bestBound=315
97.23/93.32	    nFilterCalls=425968, avgTableProportion=0.3521426492130864, avgTableSize=0.7042852984261728
97.23/93.32	    
98.73/94.83	    num=138, depth=5..15, filters=699013, revisions=(736965,useless=394388), ccks=984554268, wck=91.809, mem=93M864
98.73/94.83	    decisions=31837, wrong=15208, backtracks=7347, failedAssignments=9687, nogoods=960, foundSolutions=10, bestBound=315
98.73/94.83	    nFilterCalls=433599, avgTableProportion=0.352108745638251, avgTableSize=0.704217491276502
98.73/94.83	    
100.43/96.58	    num=139, depth=4..18, filters=717072, revisions=(755491,useless=404376), ccks=1003206448, wck=93.557, mem=111M652
100.43/96.58	    decisions=32470, wrong=15522, backtracks=7545, failedAssignments=9861, nogoods=964, foundSolutions=10, bestBound=315
100.43/96.58	    nFilterCalls=444755, avgTableProportion=0.3529055322593338, avgTableSize=0.7058110645186676
100.43/96.58	    
101.83/97.93	    num=140, depth=5..16, filters=728288, revisions=(767190,useless=410617), ccks=1017796611, wck=94.911, mem=121M816
101.83/97.93	    decisions=33079, wrong=15822, backtracks=7683, failedAssignments=10052, nogoods=973, foundSolutions=10, bestBound=315
101.83/97.93	    nFilterCalls=451675, avgTableProportion=0.3529672884264128, avgTableSize=0.7059345768528256
101.83/97.93	    
103.43/99.59	    num=141, depth=5..15, filters=747220, revisions=(786940,useless=420836), ccks=1035419953, wck=96.567, mem=142M145
103.43/99.59	    decisions=33807, wrong=16181, backtracks=7876, failedAssignments=10263, nogoods=978, foundSolutions=10, bestBound=315
103.43/99.59	    nFilterCalls=462633, avgTableProportion=0.3531211565106683, avgTableSize=0.7062423130213366
103.43/99.59	    
105.25/101.30	    num=142, depth=5..17, filters=763483, revisions=(803542,useless=429790), ccks=1053330141, wck=98.275, mem=27M217
105.25/101.30	    decisions=34577, wrong=16562, backtracks=8072, failedAssignments=10495, nogoods=987, foundSolutions=10, bestBound=315
105.25/101.30	    nFilterCalls=472632, avgTableProportion=0.353321400159109, avgTableSize=0.706642800318218
105.25/101.30	    
107.96/104.03	    num=143, depth=2..14, filters=785557, revisions=(825773,useless=441292), ccks=1082115002, wck=101.01, mem=49M733
107.96/104.03	    decisions=35446, wrong=16993, backtracks=8319, failedAssignments=10750, nogoods=998, foundSolutions=10, bestBound=315
107.96/104.03	    nFilterCalls=486292, avgTableProportion=0.35425629045923024, avgTableSize=0.7085125809184605
107.96/104.03	    
110.25/106.36	    num=144, depth=3..14, filters=810261, revisions=(849591,useless=453745), ccks=1105717328, wck=103.335, mem=72M248
110.25/106.36	    decisions=36387, wrong=17461, backtracks=8570, failedAssignments=11031, nogoods=1007, foundSolutions=10, bestBound=315
110.25/106.36	    nFilterCalls=501314, avgTableProportion=0.3556214268901327, avgTableSize=0.7112428537802654
110.25/106.36	    
113.06/109.12	    num=145, depth=4..16, filters=831537, revisions=(871165,useless=465100), ccks=1134042078, wck=106.098, mem=89M760
113.06/109.12	    decisions=37359, wrong=17942, backtracks=8788, failedAssignments=11340, nogoods=1013, foundSolutions=10, bestBound=315
113.06/109.12	    nFilterCalls=514461, avgTableProportion=0.3552455871290535, avgTableSize=0.710491174258107
113.06/109.12	    
116.15/112.29	    num=146, depth=5..19, filters=854056, revisions=(896288,useless=478608), ccks=1167711784, wck=109.268, mem=112M276
116.15/112.29	    decisions=38470, wrong=18493, backtracks=9090, failedAssignments=11680, nogoods=1020, foundSolutions=10, bestBound=315
116.15/112.29	    nFilterCalls=527118, avgTableProportion=0.35481239494762085, avgTableSize=0.7096247898952417
116.15/112.29	    
118.15/114.21	    num=147, depth=5..16, filters=868665, revisions=(912166,useless=487287), ccks=1187065112, wck=111.187, mem=127M286
118.15/114.21	    decisions=39378, wrong=18944, backtracks=9179, failedAssignments=12054, nogoods=1024, foundSolutions=10, bestBound=315
118.15/114.21	    nFilterCalls=535948, avgTableProportion=0.35330573115302233, avgTableSize=0.7066114623060447
118.15/114.21	    
121.56/117.67	    num=148, depth=3..17, filters=900047, revisions=(945297,useless=504813), ccks=1222773379, wck=114.647, mem=34M548
121.56/117.67	    decisions=40772, wrong=19638, backtracks=9557, failedAssignments=12465, nogoods=1030, foundSolutions=10, bestBound=315
121.56/117.67	    nFilterCalls=554752, avgTableProportion=0.3535543810567605, avgTableSize=0.707108762113521
121.56/117.67	    
125.26/121.38	    num=149, depth=4..17, filters=935185, revisions=(980517,useless=523635), ccks=1261751703, wck=118.362, mem=64M129
125.26/121.38	    decisions=42330, wrong=20413, backtracks=9973, failedAssignments=12917, nogoods=1039, foundSolutions=10, bestBound=315
125.26/121.38	    nFilterCalls=577933, avgTableProportion=0.35219653489245295, avgTableSize=0.7043930697849059
125.26/121.38	    
128.46/124.54	    num=150, depth=4..19, filters=967739, revisions=(1015719,useless=542660), ccks=1295352186, wck=121.513, mem=93M711
128.46/124.54	    decisions=43925, wrong=21206, backtracks=10364, failedAssignments=13414, nogoods=1055, foundSolutions=10, bestBound=315
128.46/124.54	    nFilterCalls=597041, avgTableProportion=0.3509214610051906, avgTableSize=0.7018429220103812
128.46/124.54	    
132.37/128.42	    num=151, depth=4..19, filters=1005653, revisions=(1055447,useless=564322), ccks=1335912748, wck=125.394, mem=125M758
132.37/128.42	    decisions=45713, wrong=22096, backtracks=10801, failedAssignments=13961, nogoods=1070, foundSolutions=10, bestBound=315
132.37/128.42	    nFilterCalls=622294, avgTableProportion=0.34911954799499917, avgTableSize=0.6982390959899983
132.37/128.42	    
137.48/133.56	    num=152, depth=3..15, filters=1056500, revisions=(1106038,useless=590621), ccks=1390639440, wck=130.532, mem=48M915
137.48/133.56	    decisions=47746, wrong=23110, backtracks=11346, failedAssignments=14563, nogoods=1081, foundSolutions=10, bestBound=315
137.48/133.56	    nFilterCalls=654163, avgTableProportion=0.34971635509804133, avgTableSize=0.6994327101960827
137.48/133.56	    
141.28/137.32	    num=153, depth=4..17, filters=1093532, revisions=(1146009,useless=611583), ccks=1430803211, wck=134.297, mem=85M314
141.28/137.32	    decisions=49697, wrong=24080, backtracks=11759, failedAssignments=15225, nogoods=1089, foundSolutions=10, bestBound=315
141.28/137.32	    nFilterCalls=675386, avgTableProportion=0.3496822557766966, avgTableSize=0.6993645115533932
141.28/137.32	    
142.18/138.29	o 314
142.18/138.29	    num=154, depth=5..104, filters=1104577, revisions=(1157097,useless=617472), ccks=1441132763, wck=135.268, mem=95M21
142.18/138.29	    decisions=50145, wrong=24292, backtracks=11872, failedAssignments=15348, nogoods=1095, foundSolutions=11, bestBound=314
142.18/138.29	    nFilterCalls=682305, avgTableProportion=0.34962809887073965, avgTableSize=0.6992561977414793
142.18/138.29	    
146.79/142.89	    num=155, depth=2..17, filters=1175980, revisions=(1222669,useless=652876), ccks=1488751480, wck=139.867, mem=38M930
146.79/142.89	    decisions=52864, wrong=25650, backtracks=12573, failedAssignments=16149, nogoods=1106, foundSolutions=11, bestBound=314
146.79/142.89	    nFilterCalls=731205, avgTableProportion=0.3517966917622281, avgTableSize=0.7035933835244562
146.79/142.89	    
146.89/143.00	    num=156, depth=7..14, filters=1176835, revisions=(1223603,useless=653369), ccks=1489973759, wck=139.982, mem=41M317
146.89/143.00	    decisions=52909, wrong=25668, backtracks=12585, failedAssignments=16160, nogoods=1110, foundSolutions=11, bestBound=314
146.89/143.00	    nFilterCalls=731802, avgTableProportion=0.3518349225610206, avgTableSize=0.7036698451220412
146.89/143.00	    
147.19/143.22	    num=157, depth=8..13, filters=1177751, revisions=(1224705,useless=653953), ccks=1492281448, wck=140.193, mem=41M317
147.19/143.22	    decisions=52953, wrong=25684, backtracks=12592, failedAssignments=16172, nogoods=1114, foundSolutions=11, bestBound=314
147.19/143.22	    nFilterCalls=732280, avgTableProportion=0.35184082591358495, avgTableSize=0.7036816518271699
147.19/143.22	    
147.40/143.49	    num=158, depth=4..10, filters=1178794, revisions=(1225828,useless=654527), ccks=1495264625, wck=140.466, mem=43M704
147.40/143.49	    decisions=52995, wrong=25702, backtracks=12601, failedAssignments=16185, nogoods=1118, foundSolutions=11, bestBound=314
147.40/143.49	    nFilterCalls=732883, avgTableProportion=0.3518494766558919, avgTableSize=0.7036989533117838
147.40/143.49	    
147.70/143.76	    num=159, depth=7..14, filters=1180413, revisions=(1227572,useless=655440), ccks=1498193931, wck=140.736, mem=43M704
147.70/143.76	    decisions=53065, wrong=25733, backtracks=12620, failedAssignments=16199, nogoods=1122, foundSolutions=11, bestBound=314
147.70/143.76	    nFilterCalls=733913, avgTableProportion=0.3518625504657909, avgTableSize=0.7037251009315818
147.70/143.76	    
147.90/143.96	    num=160, depth=7..14, filters=1181704, revisions=(1229045,useless=656225), ccks=1500317383, wck=140.932, mem=46M91
147.90/143.96	    decisions=53122, wrong=25758, backtracks=12634, failedAssignments=16215, nogoods=1123, foundSolutions=11, bestBound=314
147.90/143.96	    nFilterCalls=734667, avgTableProportion=0.351879831270494, avgTableSize=0.703759662540988
147.90/143.96	    
148.20/144.25	    num=161, depth=7..13, filters=1183130, revisions=(1230698,useless=657091), ccks=1503579916, wck=141.231, mem=48M478
148.20/144.25	    decisions=53191, wrong=25789, backtracks=12651, failedAssignments=16232, nogoods=1126, foundSolutions=11, bestBound=314
148.20/144.25	    nFilterCalls=735493, avgTableProportion=0.351813001619322, avgTableSize=0.703626003238644
148.20/144.25	    
148.50/144.50	    num=162, depth=7..13, filters=1184840, revisions=(1232586,useless=658117), ccks=1506211679, wck=141.475, mem=48M478
148.50/144.50	    decisions=53264, wrong=25821, backtracks=12670, failedAssignments=16251, nogoods=1132, foundSolutions=11, bestBound=314
148.50/144.50	    nFilterCalls=736594, avgTableProportion=0.35180778013396796, avgTableSize=0.7036155602679359
148.50/144.50	    
148.90/144.95	    num=163, depth=4..11, filters=1186051, revisions=(1234061,useless=658859), ccks=1511198433, wck=141.927, mem=50M865
148.90/144.95	    decisions=53329, wrong=25850, backtracks=12680, failedAssignments=16272, nogoods=1138, foundSolutions=11, bestBound=314
148.90/144.95	    nFilterCalls=737086, avgTableProportion=0.35186463994703465, avgTableSize=0.7037292798940693
148.90/144.95	    
149.01/145.09	    num=164, depth=6..15, filters=1187472, revisions=(1235611,useless=659747), ccks=1512671697, wck=142.066, mem=53M252
149.01/145.09	    decisions=53413, wrong=25885, backtracks=12694, failedAssignments=16295, nogoods=1145, foundSolutions=11, bestBound=314
149.01/145.09	    nFilterCalls=738132, avgTableProportion=0.35180902602786496, avgTableSize=0.7036180520557299
149.01/145.09	    
149.40/145.46	    num=165, depth=11..19, filters=1189496, revisions=(1237850,useless=660946), ccks=1516688744, wck=142.436, mem=55M638
149.40/145.46	    decisions=53500, wrong=25923, backtracks=12710, failedAssignments=16320, nogoods=1146, foundSolutions=11, bestBound=314
149.40/145.46	    nFilterCalls=739285, avgTableProportion=0.3518413061268658, avgTableSize=0.7036826122537316
149.40/145.46	    
149.80/145.80	    num=166, depth=8..19, filters=1191168, revisions=(1239705,useless=661895), ccks=1520450156, wck=142.781, mem=58M25
149.80/145.80	    decisions=53583, wrong=25960, backtracks=12725, failedAssignments=16348, nogoods=1150, foundSolutions=11, bestBound=314
149.80/145.80	    nFilterCalls=740164, avgTableProportion=0.35188012386444084, avgTableSize=0.7037602477288817
149.80/145.80	    
150.20/146.20	    num=167, depth=7..16, filters=1193564, revisions=(1242299,useless=663244), ccks=1524756332, wck=143.176, mem=60M412
150.20/146.20	    decisions=53698, wrong=26014, backtracks=12755, failedAssignments=16379, nogoods=1153, foundSolutions=11, bestBound=314
150.20/146.20	    nFilterCalls=741644, avgTableProportion=0.3518541240810955, avgTableSize=0.703708248162191
150.20/146.20	    
150.50/146.58	    num=168, depth=8..16, filters=1195916, revisions=(1244973,useless=664714), ccks=1528848647, wck=143.556, mem=62M799
150.50/146.58	    decisions=53817, wrong=26068, backtracks=12786, failedAssignments=16413, nogoods=1163, foundSolutions=11, bestBound=314
150.50/146.58	    nFilterCalls=743076, avgTableProportion=0.3518771969488989, avgTableSize=0.7037543938977978
150.50/146.58	    
150.80/146.86	    num=169, depth=7..16, filters=1198893, revisions=(1248190,useless=666528), ccks=1531833474, wck=143.839, mem=65M186
150.80/146.86	    decisions=53958, wrong=26133, backtracks=12822, failedAssignments=16450, nogoods=1171, foundSolutions=11, bestBound=314
150.80/146.86	    nFilterCalls=744897, avgTableProportion=0.3519244942589378, avgTableSize=0.7038489885178756
150.80/146.86	    
151.20/147.23	    num=170, depth=5..19, filters=1200933, revisions=(1250731,useless=667918), ccks=1535863746, wck=144.209, mem=67M573
151.20/147.23	    decisions=54083, wrong=26190, backtracks=12846, failedAssignments=16491, nogoods=1179, foundSolutions=11, bestBound=314
151.20/147.23	    nFilterCalls=745949, avgTableProportion=0.35191212804092503, avgTableSize=0.7038242560818501
151.20/147.23	    
151.51/147.56	    num=171, depth=8..16, filters=1202691, revisions=(1252775,useless=668981), ccks=1539448192, wck=144.541, mem=69M960
151.51/147.56	    decisions=54207, wrong=26246, backtracks=12863, failedAssignments=16536, nogoods=1210, foundSolutions=11, bestBound=314
151.51/147.56	    nFilterCalls=746721, avgTableProportion=0.3520042961159523, avgTableSize=0.7040085922319046
151.51/147.56	    
151.71/147.78	    num=172, depth=0..10, filters=1203452, revisions=(1253986,useless=669597), ccks=1541745557, wck=144.754, mem=72M347
151.71/147.78	    decisions=54317, wrong=26296, backtracks=12863, failedAssignments=16586, nogoods=1212, foundSolutions=11, bestBound=314
151.71/147.78	    nFilterCalls=746888, avgTableProportion=0.35202466768779256, avgTableSize=0.7040493353755851
151.71/147.78	    
152.31/148.32	    num=173, depth=8..15, filters=1208703, revisions=(1259278,useless=672517), ccks=1547520511, wck=145.296, mem=77M120
152.31/148.32	    decisions=54518, wrong=26390, backtracks=12917, failedAssignments=16641, nogoods=1221, foundSolutions=11, bestBound=314
152.31/148.32	    nFilterCalls=750602, avgTableProportion=0.3518482498048233, avgTableSize=0.7036964996096466
152.31/148.32	    
152.71/148.72	    num=174, depth=0..15, filters=1212299, revisions=(1263188,useless=674497), ccks=1551839075, wck=145.7, mem=79M507
152.71/148.72	    decisions=54716, wrong=26486, backtracks=12958, failedAssignments=16702, nogoods=1224, foundSolutions=11, bestBound=314
152.71/148.72	    nFilterCalls=752624, avgTableProportion=0.35172077956589215, avgTableSize=0.7034415591317843
152.71/148.72	    
153.31/149.33	    num=175, depth=4..12, filters=1217502, revisions=(1268729,useless=677444), ccks=1558338295, wck=146.308, mem=86M668
153.31/149.33	    decisions=54944, wrong=26597, backtracks=13022, failedAssignments=16769, nogoods=1229, foundSolutions=11, bestBound=314
153.31/149.33	    nFilterCalls=755557, avgTableProportion=0.35185234204699317, avgTableSize=0.7037046840939863
153.31/149.33	    
153.91/149.91	    num=176, depth=6..15, filters=1222819, revisions=(1274634,useless=680675), ccks=1564510965, wck=146.885, mem=91M441
153.91/149.91	    decisions=55194, wrong=26717, backtracks=13084, failedAssignments=16843, nogoods=1238, foundSolutions=11, bestBound=314
153.91/149.91	    nFilterCalls=758474, avgTableProportion=0.3518070494176465, avgTableSize=0.703614098835293
153.91/149.91	    
154.31/150.31	    num=177, depth=6..18, filters=1227101, revisions=(1278949,useless=683002), ccks=1568807305, wck=147.289, mem=96M215
154.31/150.31	    decisions=55446, wrong=26839, backtracks=13138, failedAssignments=16924, nogoods=1257, foundSolutions=11, bestBound=314
154.31/150.31	    nFilterCalls=761789, avgTableProportion=0.351403078805286, avgTableSize=0.702806157610572
154.31/150.31	    
155.02/151.08	    num=178, depth=0..13, filters=1232642, revisions=(1285078,useless=686202), ccks=1577088085, wck=148.058, mem=100M989
155.02/151.08	    decisions=55726, wrong=26976, backtracks=13201, failedAssignments=17013, nogoods=1264, foundSolutions=11, bestBound=314
155.02/151.08	    nFilterCalls=764775, avgTableProportion=0.3513961622699487, avgTableSize=0.7027923245398974
155.02/151.08	    
155.91/151.97	    num=179, depth=5..14, filters=1241197, revisions=(1293826,useless=690725), ccks=1586648358, wck=148.95, mem=108M150
155.91/151.97	    decisions=56075, wrong=27148, backtracks=13289, failedAssignments=17111, nogoods=1267, foundSolutions=11, bestBound=314
155.91/151.97	    nFilterCalls=770257, avgTableProportion=0.3510873643472244, avgTableSize=0.7021747286944487
155.91/151.97	    
156.61/152.69	    num=180, depth=6..17, filters=1248786, revisions=(1301479,useless=694739), ccks=1594333975, wck=149.668, mem=115M310
156.61/152.69	    decisions=56457, wrong=27336, backtracks=13377, failedAssignments=17219, nogoods=1274, foundSolutions=11, bestBound=314
156.61/152.69	    nFilterCalls=775341, avgTableProportion=0.3506657070888809, avgTableSize=0.7013314141777618
156.61/152.69	    
157.41/153.47	    num=181, depth=5..15, filters=1257399, revisions=(1310279,useless=699429), ccks=1602629732, wck=150.448, mem=122M471
157.41/153.47	    decisions=56830, wrong=27519, backtracks=13460, failedAssignments=17338, nogoods=1286, foundSolutions=11, bestBound=314
157.41/153.47	    nFilterCalls=780635, avgTableProportion=0.35047685538055556, avgTableSize=0.7009537107611111
157.41/153.47	    
158.92/154.93	    num=182, depth=4..13, filters=1267924, revisions=(1321538,useless=705285), ccks=1618388412, wck=151.907, mem=132M18
158.92/154.93	    decisions=57270, wrong=27736, backtracks=13581, failedAssignments=17469, nogoods=1292, foundSolutions=11, bestBound=314
158.92/154.93	    nFilterCalls=785976, avgTableProportion=0.3508300507903549, avgTableSize=0.7016601015807098
158.92/154.93	    
159.62/155.60	    num=183, depth=6..16, filters=1273794, revisions=(1328133,useless=708738), ccks=1625585675, wck=152.576, mem=139M179
159.62/155.60	    decisions=57655, wrong=27924, backtracks=13632, failedAssignments=17613, nogoods=1352, foundSolutions=11, bestBound=314
159.62/155.60	    nFilterCalls=789052, avgTableProportion=0.35063595301703815, avgTableSize=0.7012719060340763
159.62/155.60	    
160.83/156.87	    num=184, depth=5..16, filters=1287056, revisions=(1342387,useless=716314), ccks=1639061810, wck=153.842, mem=31M723
160.83/156.87	    decisions=58191, wrong=28188, backtracks=13772, failedAssignments=17771, nogoods=1358, foundSolutions=11, bestBound=314
160.83/156.87	    nFilterCalls=796392, avgTableProportion=0.35056040241489117, avgTableSize=0.7011208048297823
160.83/156.87	    
162.04/158.09	    num=185, depth=4..15, filters=1297857, revisions=(1352657,useless=721702), ccks=1652261738, wck=155.069, mem=41M150
162.04/158.09	    decisions=58729, wrong=28451, backtracks=13888, failedAssignments=17945, nogoods=1365, foundSolutions=11, bestBound=314
162.04/158.09	    nFilterCalls=804334, avgTableProportion=0.35026245316000565, avgTableSize=0.7005249063200113
162.04/158.09	    
163.53/159.52	    num=186, depth=6..15, filters=1313312, revisions=(1369315,useless=730688), ccks=1667415812, wck=156.498, mem=55M615
163.53/159.52	    decisions=59424, wrong=28795, backtracks=14078, failedAssignments=18136, nogoods=1375, foundSolutions=11, bestBound=314
163.53/159.52	    nFilterCalls=813372, avgTableProportion=0.35053702364969536, avgTableSize=0.7010740472993907
163.53/159.52	    
165.24/161.28	    num=187, depth=4..15, filters=1329248, revisions=(1384870,useless=738763), ccks=1686383383, wck=158.259, mem=69M756
165.24/161.28	    decisions=60135, wrong=29146, backtracks=14258, failedAssignments=18347, nogoods=1384, foundSolutions=11, bestBound=314
165.24/161.28	    nFilterCalls=823522, avgTableProportion=0.3503440102389493, avgTableSize=0.7006880204778986
165.24/161.28	    
166.84/162.90	    num=188, depth=4..14, filters=1353097, revisions=(1406800,useless=750455), ccks=1703330720, wck=159.873, mem=88M610
166.84/162.90	    decisions=60944, wrong=29545, backtracks=14480, failedAssignments=18579, nogoods=1389, foundSolutions=11, bestBound=314
166.84/162.90	    nFilterCalls=840508, avgTableProportion=0.3499925045329729, avgTableSize=0.6999850090659459
166.84/162.90	    
168.84/164.87	    num=189, depth=4..18, filters=1371036, revisions=(1425571,useless=760596), ccks=1724535970, wck=161.845, mem=105M108
168.84/164.87	    decisions=61802, wrong=29971, backtracks=14686, failedAssignments=18834, nogoods=1396, foundSolutions=11, bestBound=314
168.84/164.87	    nFilterCalls=851803, avgTableProportion=0.34949865168354655, avgTableSize=0.6989973033670931
168.84/164.87	    
170.84/166.86	    num=190, depth=5..18, filters=1388924, revisions=(1444687,useless=770625), ccks=1745939684, wck=163.841, mem=123M962
170.84/166.86	    decisions=62725, wrong=30425, backtracks=14907, failedAssignments=19115, nogoods=1417, foundSolutions=11, bestBound=314
170.84/166.86	    nFilterCalls=862449, avgTableProportion=0.34951168127042875, avgTableSize=0.6990233625408575
170.84/166.86	    
172.95/168.93	    num=191, depth=4..14, filters=1413339, revisions=(1468550,useless=782896), ccks=1767718251, wck=165.91, mem=29M268
172.95/168.93	    decisions=63811, wrong=30964, backtracks=15213, failedAssignments=19424, nogoods=1427, foundSolutions=11, bestBound=314
172.95/168.93	    nFilterCalls=878152, avgTableProportion=0.34947879182647196, avgTableSize=0.6989575836529439
172.95/168.93	    
174.55/170.57	    num=192, depth=6..17, filters=1434306, revisions=(1491249,useless=795353), ccks=1784919959, wck=167.545, mem=50M184
174.55/170.57	    decisions=64708, wrong=31409, backtracks=15349, failedAssignments=19764, nogoods=1450, foundSolutions=11, bestBound=314
174.55/170.57	    nFilterCalls=889961, avgTableProportion=0.3496984699329521, avgTableSize=0.6993969398659042
174.55/170.57	    
178.16/174.20	    num=193, depth=3..17, filters=1469836, revisions=(1526607,useless=814066), ccks=1823646683, wck=171.172, mem=85M44
178.16/174.20	    decisions=66025, wrong=32065, backtracks=15712, failedAssignments=20138, nogoods=1458, foundSolutions=11, bestBound=314
178.16/174.20	    nFilterCalls=912100, avgTableProportion=0.35053228812630194, avgTableSize=0.7010645762526039
178.16/174.20	    
182.07/178.02	    num=194, depth=5..20, filters=1499325, revisions=(1558498,useless=830904), ccks=1864932798, wck=174.994, mem=115M256
182.07/178.02	    decisions=67443, wrong=32769, backtracks=16092, failedAssignments=20549, nogoods=1469, foundSolutions=11, bestBound=314
182.07/178.02	    nFilterCalls=928812, avgTableProportion=0.34978391752044546, avgTableSize=0.6995678350408909
182.07/178.02	    
185.27/181.24	    num=195, depth=5..16, filters=1535249, revisions=(1596998,useless=851711), ccks=1899060898, wck=178.215, mem=33M749
185.27/181.24	    decisions=69016, wrong=33550, backtracks=16533, failedAssignments=21001, nogoods=1475, foundSolutions=11, bestBound=314
185.27/181.24	    nFilterCalls=951072, avgTableProportion=0.3491213073247872, avgTableSize=0.6982426146495744
185.27/181.24	    
189.19/185.13	    num=196, depth=4..18, filters=1574476, revisions=(1636373,useless=872861), ccks=1940544828, wck=182.106, mem=68M158
189.19/185.13	    decisions=70676, wrong=34376, backtracks=16948, failedAssignments=21498, nogoods=1486, foundSolutions=11, bestBound=314
189.19/185.13	    nFilterCalls=976795, avgTableProportion=0.34829109485613663, avgTableSize=0.6965821897122733
189.19/185.13	    
192.58/188.54	    num=197, depth=5..17, filters=1616876, revisions=(1679981,useless=896471), ccks=1976485691, wck=185.515, mem=107M154
192.58/188.54	    decisions=72505, wrong=35286, backtracks=17416, failedAssignments=22045, nogoods=1496, foundSolutions=11, bestBound=314
192.58/188.54	    nFilterCalls=1003287, avgTableProportion=0.34833801295142863, avgTableSize=0.6966760259028573
192.58/188.54	    
197.49/193.42	    num=198, depth=4..19, filters=1668371, revisions=(1730432,useless=923425), ccks=2028503898, wck=190.396, mem=33M621
197.49/193.42	    decisions=74560, wrong=36307, backtracks=17936, failedAssignments=22647, nogoods=1507, foundSolutions=11, bestBound=314
197.49/193.42	    nFilterCalls=1037974, avgTableProportion=0.3472028201091742, avgTableSize=0.6944056402183484
197.49/193.42	    
202.29/198.26	    num=199, depth=3..17, filters=1722904, revisions=(1784383,useless=952572), ccks=2079700460, wck=195.237, mem=78M888
202.29/198.26	    decisions=76753, wrong=37397, backtracks=18458, failedAssignments=23309, nogoods=1516, foundSolutions=11, bestBound=314
202.29/198.26	    nFilterCalls=1074368, avgTableProportion=0.3483061669744445, avgTableSize=0.696612333948889
202.29/198.26	    
206.89/202.89	    num=200, depth=3..19, filters=1785537, revisions=(1846687,useless=987284), ccks=2128302110, wck=199.866, mem=128M681
206.89/202.89	    decisions=79271, wrong=38653, backtracks=19107, failedAssignments=24037, nogoods=1522, foundSolutions=11, bestBound=314
206.89/202.89	    nFilterCalls=1116084, avgTableProportion=0.34837162794198284, avgTableSize=0.6967432558839657
206.89/202.89	    
212.22/208.19	    num=201, depth=4..16, filters=1843518, revisions=(1906096,useless=1019357), ccks=2184608319, wck=205.171, mem=69M186
212.22/208.19	    decisions=81874, wrong=39952, backtracks=19718, failedAssignments=24838, nogoods=1532, foundSolutions=11, bestBound=314
212.22/208.19	    nFilterCalls=1152614, avgTableProportion=0.34797599196261714, avgTableSize=0.6959519839252343
212.22/208.19	    
217.91/213.86	    num=202, depth=3..16, filters=1919814, revisions=(1978419,useless=1057636), ccks=2244020249, wck=210.836, mem=133M927
217.91/213.86	    decisions=84768, wrong=41397, backtracks=20479, failedAssignments=25719, nogoods=1544, foundSolutions=11, bestBound=314
217.91/213.86	    nFilterCalls=1203370, avgTableProportion=0.3495043087329749, avgTableSize=0.6990086174659498
217.91/213.86	    
225.42/221.31	    num=203, depth=2..17, filters=1989678, revisions=(2047303,useless=1093519), ccks=2323628389, wck=218.289, mem=88M353
225.42/221.31	    decisions=87963, wrong=42991, backtracks=21283, failedAssignments=26689, nogoods=1559, foundSolutions=11, bestBound=314
225.42/221.31	    nFilterCalls=1247908, avgTableProportion=0.34932102366520607, avgTableSize=0.6986420473304121
225.42/221.31	    
233.15/229.05	    num=204, depth=2..16, filters=2066117, revisions=(2128836,useless=1136754), ccks=2405692754, wck=226.025, mem=48M497
233.15/229.05	    decisions=91477, wrong=44745, backtracks=22224, failedAssignments=27756, nogoods=1571, foundSolutions=11, bestBound=314
233.15/229.05	    nFilterCalls=1292405, avgTableProportion=0.3487296938653131, avgTableSize=0.6974593877306262
233.15/229.05	    
240.35/236.29	    num=205, depth=4..17, filters=2166998, revisions=(2227089,useless=1188652), ccks=2481763815, wck=233.269, mem=26M766
240.35/236.29	    decisions=95451, wrong=46728, backtracks=23262, failedAssignments=28929, nogoods=1577, foundSolutions=11, bestBound=314
240.35/236.29	    nFilterCalls=1357145, avgTableProportion=0.3491417645130034, avgTableSize=0.6982835290260068
240.35/236.29	    
249.97/245.83	    num=206, depth=2..19, filters=2265779, revisions=(2325690,useless=1241787), ccks=2583278839, wck=242.809, mem=110M180
249.97/245.83	    decisions=99643, wrong=48821, backtracks=24354, failedAssignments=30220, nogoods=1585, foundSolutions=11, bestBound=314
249.97/245.83	    nFilterCalls=1423139, avgTableProportion=0.3484480433745404, avgTableSize=0.6968960867490808
249.97/245.83	    
261.58/257.48	    num=207, depth=3..19, filters=2390365, revisions=(2450532,useless=1307221), ccks=2706266785, wck=254.458, mem=117M349
261.58/257.48	    decisions=104642, wrong=51317, backtracks=25801, failedAssignments=31640, nogoods=1603, foundSolutions=11, bestBound=314
261.58/257.48	    nFilterCalls=1501479, avgTableProportion=0.3488497008616171, avgTableSize=0.6976994017232342
261.58/257.48	    
271.21/267.10	    num=208, depth=2..17, filters=2546174, revisions=(2591299,useless=1381476), ccks=2805453845, wck=264.076, mem=26M635
271.21/267.10	    decisions=110049, wrong=54017, backtracks=27275, failedAssignments=33202, nogoods=1608, foundSolutions=11, bestBound=314
271.21/267.10	    nFilterCalls=1609805, avgTableProportion=0.35143821767232675, avgTableSize=0.7028764353446535
271.21/267.10	    
281.92/277.76	    num=209, depth=3..17, filters=2653673, revisions=(2702028,useless=1441126), ccks=2918436626, wck=274.736, mem=124M778
281.92/277.76	    decisions=115106, wrong=56543, backtracks=28332, failedAssignments=34920, nogoods=1617, foundSolutions=11, bestBound=314
281.92/277.76	    nFilterCalls=1676089, avgTableProportion=0.34959688894802127, avgTableSize=0.6991937778960425
281.92/277.76	    
292.26/288.01	    num=210, depth=2..16, filters=2843162, revisions=(2867114,useless=1527124), ccks=3021521010, wck=284.991, mem=58M464
292.26/288.01	    decisions=121571, wrong=59772, backtracks=30073, failedAssignments=36810, nogoods=1636, foundSolutions=11, bestBound=314
292.26/288.01	    nFilterCalls=1811077, avgTableProportion=0.3524281408244928, avgTableSize=0.7048562816489856
292.26/288.01	    
303.67/299.48	    num=211, depth=3..19, filters=2974881, revisions=(2999921,useless=1599572), ccks=3142275467, wck=296.454, mem=69M906
303.67/299.48	    decisions=127942, wrong=62954, backtracks=31491, failedAssignments=38889, nogoods=1653, foundSolutions=11, bestBound=314
303.67/299.48	    nFilterCalls=1901798, avgTableProportion=0.3501036913489235, avgTableSize=0.700207382697847
303.67/299.48	    
320.58/316.36	    num=212, depth=1..17, filters=3161886, revisions=(3180829,useless=1692588), ccks=3320198783, wck=313.339, mem=47M710
320.58/316.36	    decisions=135610, wrong=66786, backtracks=33493, failedAssignments=41176, nogoods=1662, foundSolutions=11, bestBound=314
320.58/316.36	    nFilterCalls=2019490, avgTableProportion=0.34909754442953417, avgTableSize=0.6981950888590683
320.58/316.36	    
338.42/334.19	    num=213, depth=1..17, filters=3383121, revisions=(3397587,useless=1804992), ccks=3507886849, wck=331.166, mem=52M876
338.42/334.19	    decisions=143959, wrong=70958, backtracks=35879, failedAssignments=43692, nogoods=1667, foundSolutions=11, bestBound=314
338.42/334.19	    nFilterCalls=2156071, avgTableProportion=0.35137827093820195, avgTableSize=0.7027565418764039
338.42/334.19	    
359.23/355.00	    num=214, depth=1..18, filters=3597941, revisions=(3607705,useless=1914519), ccks=3728154788, wck=351.98, mem=61M481
359.23/355.00	    decisions=153190, wrong=75570, backtracks=38245, failedAssignments=46460, nogoods=1678, foundSolutions=11, bestBound=314
359.23/355.00	    nFilterCalls=2289887, avgTableProportion=0.35081141558513584, avgTableSize=0.7016228311702717
359.23/355.00	    
376.95/372.63	    num=215, depth=2..20, filters=3852971, revisions=(3852663,useless=2048006), ccks=3913010084, wck=369.61, mem=75M78
376.95/372.63	    decisions=162862, wrong=80402, backtracks=40557, failedAssignments=49504, nogoods=1739, foundSolutions=11, bestBound=314
376.95/372.63	    nFilterCalls=2465709, avgTableProportion=0.349268100980286, avgTableSize=0.698536201960572
376.95/372.63	    
397.97/393.67	    num=216, depth=2..18, filters=4141428, revisions=(4117411,useless=2185124), ccks=4130637519, wck=390.643, mem=48M950
397.97/393.67	    decisions=174067, wrong=85998, backtracks=43518, failedAssignments=52853, nogoods=1749, foundSolutions=11, bestBound=314
397.97/393.67	    nFilterCalls=2667242, avgTableProportion=0.34889016444702053, avgTableSize=0.6977803288940411
397.97/393.67	    
408.98/404.66	o 312
408.98/404.66	    num=217, depth=2..104, filters=4263769, revisions=(4244184,useless=2254596), ccks=4246469523, wck=401.634, mem=74M430
408.98/404.66	    decisions=180026, wrong=88968, backtracks=44882, failedAssignments=54738, nogoods=1761, foundSolutions=12, bestBound=312
408.98/404.66	    nFilterCalls=2747570, avgTableProportion=0.3474739497082877, avgTableSize=0.6949478994165754
408.98/404.66	    
426.31/421.99	    num=218, depth=1..17, filters=4601781, revisions=(4554391,useless=2420082), ccks=4422375254, wck=418.966, mem=34M357
426.31/421.99	    decisions=193252, wrong=95577, backtracks=48041, failedAssignments=58790, nogoods=1777, foundSolutions=12, bestBound=312
426.31/421.99	    nFilterCalls=2977238, avgTableProportion=0.3496007037395062, avgTableSize=0.6992014074790124
426.31/421.99	    
426.42/422.09	    num=219, depth=7..10, filters=4602621, revisions=(4555412,useless=2420625), ccks=4423514200, wck=419.069, mem=34M357
426.42/422.09	    decisions=193297, wrong=95595, backtracks=48049, failedAssignments=58801, nogoods=1785, foundSolutions=12, bestBound=312
426.42/422.09	    nFilterCalls=2977696, avgTableProportion=0.3496006644063061, avgTableSize=0.6992013288126122
426.42/422.09	    
426.71/422.31	    num=220, depth=8..11, filters=4603868, revisions=(4556801,useless=2421334), ccks=4425931226, wck=419.288, mem=35M992
426.71/422.31	    decisions=193347, wrong=95615, backtracks=48059, failedAssignments=58813, nogoods=1789, foundSolutions=12, bestBound=312
426.71/422.31	    nFilterCalls=2978368, avgTableProportion=0.3496087454606012, avgTableSize=0.6992174909212024
426.71/422.31	    
426.81/422.48	    num=221, depth=8..12, filters=4604970, revisions=(4558100,useless=2422026), ccks=4427799317, wck=419.457, mem=37M628
426.81/422.48	    decisions=193401, wrong=95638, backtracks=48069, failedAssignments=58826, nogoods=1794, foundSolutions=12, bestBound=312
426.81/422.48	    nFilterCalls=2979021, avgTableProportion=0.34960797523750253, avgTableSize=0.6992159504750051
426.81/422.48	    
427.01/422.65	    num=222, depth=8..13, filters=4605788, revisions=(4559025,useless=2422473), ccks=4429676121, wck=419.628, mem=39M264
427.01/422.65	    decisions=193453, wrong=95659, backtracks=48078, failedAssignments=58840, nogoods=1801, foundSolutions=12, bestBound=312
427.01/422.65	    nFilterCalls=2979494, avgTableProportion=0.3496195998380933, avgTableSize=0.6992391996761866
427.01/422.65	    
427.21/422.88	    num=223, depth=7..11, filters=4607088, revisions=(4560413,useless=2423235), ccks=4432222075, wck=419.856, mem=40M900
427.21/422.88	    decisions=193517, wrong=95686, backtracks=48090, failedAssignments=58856, nogoods=1805, foundSolutions=12, bestBound=312
427.21/422.88	    nFilterCalls=2980371, avgTableProportion=0.3496291233541059, avgTableSize=0.6992582467082118
427.21/422.88	    
427.52/423.15	    num=224, depth=7..14, filters=4608452, revisions=(4562010,useless=2424060), ccks=4435235888, wck=420.128, mem=42M535
427.52/423.15	    decisions=193587, wrong=95717, backtracks=48105, failedAssignments=58873, nogoods=1808, foundSolutions=12, bestBound=312
427.52/423.15	    nFilterCalls=2981067, avgTableProportion=0.3496414203370806, avgTableSize=0.6992828406741612
427.52/423.15	    
427.81/423.42	    num=225, depth=7..14, filters=4610302, revisions=(4563965,useless=2425089), ccks=4438184499, wck=420.394, mem=44M171
427.81/423.42	    decisions=193658, wrong=95748, backtracks=48122, failedAssignments=58892, nogoods=1815, foundSolutions=12, bestBound=312
427.81/423.42	    nFilterCalls=2982199, avgTableProportion=0.3496557406128833, avgTableSize=0.6993114812257666
427.81/423.42	    
427.91/423.58	    num=226, depth=8..15, filters=4611412, revisions=(4565208,useless=2425739), ccks=4439958985, wck=420.556, mem=45M807
427.91/423.58	    decisions=193725, wrong=95777, backtracks=48134, failedAssignments=58913, nogoods=1826, foundSolutions=12, bestBound=312
427.91/423.58	    nFilterCalls=2982856, avgTableProportion=0.34966270580946585, avgTableSize=0.6993254116189317
427.91/423.58	    
428.11/423.71	    num=227, depth=5..12, filters=4612956, revisions=(4566958,useless=2426707), ccks=4441438038, wck=420.692, mem=47M443
428.11/423.71	    decisions=193794, wrong=95809, backtracks=48147, failedAssignments=58936, nogoods=1828, foundSolutions=12, bestBound=312
428.11/423.71	    nFilterCalls=2983817, avgTableProportion=0.34965498889509644, avgTableSize=0.6993099777901929
428.11/423.71	    
428.42/424.09	    num=228, depth=8..15, filters=4615151, revisions=(4569473,useless=2428043), ccks=4445590958, wck=421.069, mem=49M79
428.42/424.09	    decisions=193898, wrong=95856, backtracks=48176, failedAssignments=58961, nogoods=1835, foundSolutions=12, bestBound=312
428.42/424.09	    nFilterCalls=2985131, avgTableProportion=0.3496384245783518, avgTableSize=0.6992768491567036
428.42/424.09	    
428.71/424.39	    num=229, depth=7..15, filters=4616879, revisions=(4571495,useless=2429125), ccks=4448928437, wck=421.367, mem=52M351
428.71/424.39	    decisions=193999, wrong=95903, backtracks=48201, failedAssignments=58989, nogoods=1839, foundSolutions=12, bestBound=312
428.71/424.39	    nFilterCalls=2986115, avgTableProportion=0.3496283632746897, avgTableSize=0.6992567265493794
428.71/424.39	    
429.01/424.64	    num=230, depth=8..16, filters=4618915, revisions=(4573737,useless=2430362), ccks=4451707549, wck=421.622, mem=53M987
429.01/424.64	    decisions=194117, wrong=95957, backtracks=48235, failedAssignments=59020, nogoods=1842, foundSolutions=12, bestBound=312
429.01/424.64	    nFilterCalls=2987390, avgTableProportion=0.3496225802456325, avgTableSize=0.699245160491265
429.01/424.64	    
429.61/425.22	    num=231, depth=7..14, filters=4622224, revisions=(4577113,useless=2432001), ccks=4458119448, wck=422.194, mem=57M258
429.61/425.22	    decisions=194251, wrong=96017, backtracks=48267, failedAssignments=59054, nogoods=1849, foundSolutions=12, bestBound=312
429.61/425.22	    nFilterCalls=2989269, avgTableProportion=0.3496557185050927, avgTableSize=0.6993114370101854
429.61/425.22	    
429.91/425.58	    num=232, depth=6..14, filters=4624416, revisions=(4579532,useless=2433282), ccks=4462188922, wck=422.562, mem=60M530
429.91/425.58	    decisions=194357, wrong=96066, backtracks=48281, failedAssignments=59091, nogoods=1853, foundSolutions=12, bestBound=312
429.91/425.58	    nFilterCalls=2990606, avgTableProportion=0.3496438514468305, avgTableSize=0.699287702893661
429.91/425.58	    
430.21/425.85	    num=233, depth=4..15, filters=4627554, revisions=(4582998,useless=2435162), ccks=4465076363, wck=422.829, mem=62M166
430.21/425.85	    decisions=194500, wrong=96134, backtracks=48325, failedAssignments=59132, nogoods=1860, foundSolutions=12, bestBound=312
430.21/425.85	    nFilterCalls=2992493, avgTableProportion=0.34960666574658655, avgTableSize=0.6992133314931731
430.21/425.85	    
430.71/426.39	    num=234, depth=7..15, filters=4630638, revisions=(4586315,useless=2436878), ccks=4471119795, wck=423.369, mem=67M73
430.71/426.39	    decisions=194661, wrong=96211, backtracks=48361, failedAssignments=59177, nogoods=1863, foundSolutions=12, bestBound=312
430.71/426.39	    nFilterCalls=2994126, avgTableProportion=0.3496165492033401, avgTableSize=0.6992330984066802
430.71/426.39	    
431.32/427.00	    num=235, depth=7..13, filters=4634595, revisions=(4590662,useless=2439218), ccks=4477831997, wck=423.977, mem=70M345
431.32/427.00	    decisions=194848, wrong=96301, backtracks=48408, failedAssignments=59227, nogoods=1867, foundSolutions=12, bestBound=312
431.32/427.00	    nFilterCalls=2996601, avgTableProportion=0.3495792399455249, avgTableSize=0.6991584798910498
431.32/427.00	    
431.92/427.58	    num=236, depth=6..15, filters=4639182, revisions=(4595700,useless=2441908), ccks=4484155770, wck=424.555, mem=75M252
431.92/427.58	    decisions=195056, wrong=96401, backtracks=48462, failedAssignments=59282, nogoods=1870, foundSolutions=12, bestBound=312
431.92/427.58	    nFilterCalls=2999071, avgTableProportion=0.3496220996435229, avgTableSize=0.6992441992870458
431.92/427.58	    
432.53/428.17	    num=237, depth=6..15, filters=4643840, revisions=(4600398,useless=2444357), ccks=4490733473, wck=425.15, mem=80M159
432.53/428.17	    decisions=195276, wrong=96507, backtracks=48520, failedAssignments=59343, nogoods=1875, foundSolutions=12, bestBound=312
432.53/428.17	    nFilterCalls=3001725, avgTableProportion=0.3496489518526847, avgTableSize=0.6992979037053694
432.53/428.17	    
433.12/428.79	    num=238, depth=5..15, filters=4650453, revisions=(4607474,useless=2448290), ccks=4497443482, wck=425.771, mem=86M702
433.12/428.79	    decisions=195544, wrong=96635, backtracks=48595, failedAssignments=59410, nogoods=1881, foundSolutions=12, bestBound=312
433.12/428.79	    nFilterCalls=3005774, avgTableProportion=0.34966151813143637, avgTableSize=0.6993230362628727
433.12/428.79	    
433.92/429.52	    num=239, depth=5..12, filters=4659115, revisions=(4614883,useless=2452117), ccks=4505234692, wck=426.492, mem=94M881
433.92/429.52	    decisions=195806, wrong=96762, backtracks=48663, failedAssignments=59484, nogoods=1887, foundSolutions=12, bestBound=312
433.92/429.52	    nFilterCalls=3011875, avgTableProportion=0.34967354222867814, avgTableSize=0.6993470844573563
433.92/429.52	    
434.72/430.32	    num=240, depth=6..14, filters=4666544, revisions=(4622579,useless=2456049), ccks=4513968470, wck=427.296, mem=101M424
434.72/430.32	    decisions=196112, wrong=96911, backtracks=48740, failedAssignments=59565, nogoods=1895, foundSolutions=12, bestBound=312
434.72/430.32	    nFilterCalls=3016226, avgTableProportion=0.34972512006726286, avgTableSize=0.6994502401345257
434.72/430.32	    
435.93/431.53	    num=241, depth=5..15, filters=4673972, revisions=(4630956,useless=2460410), ccks=4527380959, wck=428.511, mem=27M783
435.93/431.53	    decisions=196427, wrong=97064, backtracks=48812, failedAssignments=59654, nogoods=1901, foundSolutions=12, bestBound=312
435.93/431.53	    nFilterCalls=3019776, avgTableProportion=0.34968868551839605, avgTableSize=0.6993773710367921
435.93/431.53	    
436.83/432.42	    num=242, depth=5..15, filters=4682974, revisions=(4639826,useless=2464969), ccks=4537081626, wck=429.396, mem=35M857
436.83/432.42	    decisions=196753, wrong=97222, backtracks=48890, failedAssignments=59752, nogoods=1907, foundSolutions=12, bestBound=312
436.83/432.42	    nFilterCalls=3025447, avgTableProportion=0.34974848344723936, avgTableSize=0.6994969668944787
436.83/432.42	    
438.03/433.67	    num=243, depth=7..16, filters=4690525, revisions=(4648058,useless=2469286), ccks=4550940958, wck=430.646, mem=43M931
438.03/433.67	    decisions=197139, wrong=97411, backtracks=48981, failedAssignments=59860, nogoods=1918, foundSolutions=12, bestBound=312
438.03/433.67	    nFilterCalls=3029327, avgTableProportion=0.3497596991014836, avgTableSize=0.6995193982029672
438.03/433.67	    
439.03/434.60	    num=244, depth=6..16, filters=4698929, revisions=(4656361,useless=2473859), ccks=4561244028, wck=431.579, mem=52M5
439.03/434.60	    decisions=197545, wrong=97607, backtracks=49079, failedAssignments=59979, nogoods=1925, foundSolutions=12, bestBound=312
439.03/434.60	    nFilterCalls=3035146, avgTableProportion=0.3496922388577024, avgTableSize=0.6993844777154048
439.03/434.60	    
440.23/435.88	    num=245, depth=5..16, filters=4708548, revisions=(4666480,useless=2479400), ccks=4575329007, wck=432.86, mem=61M694
440.23/435.88	    decisions=197984, wrong=97821, backtracks=49185, failedAssignments=60110, nogoods=1931, foundSolutions=12, bestBound=312
440.23/435.88	    nFilterCalls=3041461, avgTableProportion=0.3496512038129044, avgTableSize=0.6993024076258088
440.23/435.88	    
441.33/436.99	    num=246, depth=4..14, filters=4721254, revisions=(4679159,useless=2485998), ccks=4587233822, wck=433.966, mem=74M612
441.33/436.99	    decisions=198512, wrong=98081, backtracks=49339, failedAssignments=60254, nogoods=1935, foundSolutions=12, bestBound=312
441.33/436.99	    nFilterCalls=3049233, avgTableProportion=0.3497823878988585, avgTableSize=0.699564775797717
441.33/436.99	    
442.54/438.15	    num=247, depth=4..14, filters=4733152, revisions=(4691577,useless=2492510), ccks=4599955022, wck=435.128, mem=85M916
442.54/438.15	    decisions=199030, wrong=98337, backtracks=49471, failedAssignments=60412, nogoods=1943, foundSolutions=12, bestBound=312
442.54/438.15	    nFilterCalls=3056194, avgTableProportion=0.3498331584971373, avgTableSize=0.6996663169942746
442.54/438.15	    
443.84/439.45	    num=248, depth=4..13, filters=4748592, revisions=(4707877,useless=2501355), ccks=4613916906, wck=436.424, mem=100M449
443.84/439.45	    decisions=199660, wrong=98650, backtracks=49653, failedAssignments=60586, nogoods=1948, foundSolutions=12, bestBound=312
443.84/439.45	    nFilterCalls=3065529, avgTableProportion=0.3498823530946861, avgTableSize=0.6997647061893723
443.84/439.45	    
445.55/441.18	    num=249, depth=3..16, filters=4766837, revisions=(4725257,useless=2510460), ccks=4632970460, wck=438.162, mem=34M88
445.55/441.18	    decisions=200315, wrong=98974, backtracks=49829, failedAssignments=60777, nogoods=1962, foundSolutions=12, bestBound=312
445.55/441.18	    nFilterCalls=3076967, avgTableProportion=0.3500759026664894, avgTableSize=0.7001518053329788
445.55/441.18	    
447.04/442.62	    num=250, depth=5..19, filters=4780754, revisions=(4739515,useless=2518128), ccks=4648634911, wck=439.596, mem=46M838
447.04/442.62	    decisions=201022, wrong=99323, backtracks=50004, failedAssignments=60988, nogoods=1967, foundSolutions=12, bestBound=312
447.04/442.62	    nFilterCalls=3085854, avgTableProportion=0.3500374612668001, avgTableSize=0.7000749225336002
447.04/442.62	    
448.14/443.78	    num=251, depth=3..15, filters=4797996, revisions=(4756887,useless=2527397), ccks=4661144033, wck=440.761, mem=64M370
448.14/443.78	    decisions=201833, wrong=99724, backtracks=50197, failedAssignments=61220, nogoods=1974, foundSolutions=12, bestBound=312
448.14/443.78	    nFilterCalls=3096937, avgTableProportion=0.3500072813880295, avgTableSize=0.700014562776059
448.14/443.78	    
449.64/445.29	    num=252, depth=2..14, filters=4815216, revisions=(4775614,useless=2537173), ccks=4677429202, wck=442.271, mem=80M309
449.64/445.29	    decisions=202682, wrong=100146, backtracks=50404, failedAssignments=61475, nogoods=2025, foundSolutions=12, bestBound=312
449.64/445.29	    nFilterCalls=3106152, avgTableProportion=0.35003824667949285, avgTableSize=0.7000764933589857
449.64/445.29	    
451.14/446.70	    num=253, depth=4..17, filters=4831344, revisions=(4793074,useless=2546492), ccks=4692719483, wck=443.681, mem=96M247
451.14/446.70	    decisions=203586, wrong=100594, backtracks=50629, failedAssignments=61756, nogoods=2033, foundSolutions=12, bestBound=312
451.14/446.70	    nFilterCalls=3115617, avgTableProportion=0.3499680801587615, avgTableSize=0.699936160317523
451.14/446.70	    
452.47/448.01	    num=254, depth=4..16, filters=4844337, revisions=(4806744,useless=2553955), ccks=4706866005, wck=444.983, mem=29M264
452.47/448.01	    decisions=204409, wrong=101002, backtracks=50754, failedAssignments=62065, nogoods=2126, foundSolutions=12, bestBound=312
452.47/448.01	    nFilterCalls=3124005, avgTableProportion=0.3499800736554519, avgTableSize=0.6999601473109038
452.47/448.01	    
453.96/449.53	    num=255, depth=4..17, filters=4861017, revisions=(4824448,useless=2563622), ccks=4723345757, wck=446.505, mem=45M98
453.96/449.53	    decisions=205421, wrong=101505, backtracks=50951, failedAssignments=62405, nogoods=2166, foundSolutions=12, bestBound=312
453.96/449.53	    nFilterCalls=3133975, avgTableProportion=0.3499943362662433, avgTableSize=0.6999886725324866
453.96/449.53	    
456.86/452.44	    num=256, depth=3..15, filters=4884552, revisions=(4850748,useless=2577155), ccks=4755298057, wck=449.419, mem=72M14
456.86/452.44	    decisions=206628, wrong=102106, backtracks=51223, failedAssignments=62779, nogoods=2177, foundSolutions=12, bestBound=312
456.86/452.44	    nFilterCalls=3146216, avgTableProportion=0.3499694553711506, avgTableSize=0.6999389107423012
456.86/452.44	    
459.27/454.84	    num=257, depth=3..15, filters=4922060, revisions=(4886219,useless=2595946), ccks=4780635296, wck=451.82, mem=100M514
459.27/454.84	    decisions=208014, wrong=102795, backtracks=51577, failedAssignments=63190, nogoods=2180, foundSolutions=12, bestBound=312
459.27/454.84	    nFilterCalls=3171115, avgTableProportion=0.35025188301275734, avgTableSize=0.7005037660255147
459.27/454.84	    
462.28/457.81	    num=258, depth=4..15, filters=4958622, revisions=(4919872,useless=2613389), ccks=4812505249, wck=454.786, mem=49M694
462.28/457.81	    decisions=209503, wrong=103536, backtracks=51949, failedAssignments=63642, nogoods=2187, foundSolutions=12, bestBound=312
462.28/457.81	    nFilterCalls=3195783, avgTableProportion=0.3503717242378472, avgTableSize=0.7007434484756944
462.28/457.81	    
466.49/462.01	    num=259, depth=4..18, filters=4994251, revisions=(4958096,useless=2634483), ccks=4858469985, wck=458.985, mem=85M870
466.49/462.01	    decisions=211129, wrong=104344, backtracks=52341, failedAssignments=64139, nogoods=2196, foundSolutions=12, bestBound=312
466.49/462.01	    nFilterCalls=3216856, avgTableProportion=0.3502929568497937, avgTableSize=0.7005859136995874
466.49/462.01	    
470.29/465.83	    num=260, depth=3..17, filters=5037025, revisions=(5000853,useless=2656993), ccks=4899986633, wck=462.81, mem=46M391
470.29/465.83	    decisions=213062, wrong=105306, backtracks=52832, failedAssignments=64686, nogoods=2202, foundSolutions=12, bestBound=312
470.29/465.83	    nFilterCalls=3245524, avgTableProportion=0.3504310860126131, avgTableSize=0.7008621720252262
470.29/465.83	    
473.50/469.07	    num=261, depth=1..16, filters=5074990, revisions=(5036075,useless=2674347), ccks=4934564613, wck=466.044, mem=80M763
473.50/469.07	    decisions=214834, wrong=106190, backtracks=53184, failedAssignments=65288, nogoods=2238, foundSolutions=12, bestBound=312
473.50/469.07	    nFilterCalls=3268421, avgTableProportion=0.35064148712788223, avgTableSize=0.7012829742557645
473.50/469.07	    
477.10/472.68	    num=262, depth=4..17, filters=5122554, revisions=(5084613,useless=2701582), ccks=4973516132, wck=469.658, mem=46M291
477.10/472.68	    decisions=217082, wrong=107311, backtracks=53771, failedAssignments=65950, nogoods=2243, foundSolutions=12, bestBound=312
477.10/472.68	    nFilterCalls=3301490, avgTableProportion=0.350400122368991, avgTableSize=0.700800244737982
477.10/472.68	    
480.80/476.31	    num=263, depth=2..17, filters=5185683, revisions=(5143248,useless=2732757), ccks=5011339003, wck=473.286, mem=99M55
480.80/476.31	    decisions=219580, wrong=108556, backtracks=54414, failedAssignments=66678, nogoods=2248, foundSolutions=12, bestBound=312
480.80/476.31	    nFilterCalls=3342357, avgTableProportion=0.35085016352232873, avgTableSize=0.7017003270446575
480.80/476.31	    
486.21/481.74	    num=264, depth=4..18, filters=5231022, revisions=(5191156,useless=2757577), ccks=5070589281, wck=478.715, mem=69M222
486.21/481.74	    decisions=222044, wrong=109785, backtracks=54957, failedAssignments=67479, nogoods=2307, foundSolutions=12, bestBound=312
486.21/481.74	    nFilterCalls=3367764, avgTableProportion=0.3507996700481388, avgTableSize=0.7015993400962776
486.21/481.74	    
490.81/486.31	    num=265, depth=4..19, filters=5301746, revisions=(5260865,useless=2795246), ccks=5118529915, wck=483.282, mem=52M92
490.81/486.31	    decisions=225035, wrong=111276, backtracks=55722, failedAssignments=68360, nogoods=2315, foundSolutions=12, bestBound=312
490.81/486.31	    nFilterCalls=3414315, avgTableProportion=0.351059290077219, avgTableSize=0.702118580154438
490.81/486.31	    
497.32/492.82	    num=266, depth=1..14, filters=5378134, revisions=(5334505,useless=2833365), ccks=5188251515, wck=489.798, mem=42M803
497.32/492.82	    decisions=228270, wrong=112890, backtracks=56564, failedAssignments=69330, nogoods=2327, foundSolutions=12, bestBound=312
497.32/492.82	    nFilterCalls=3461561, avgTableProportion=0.3513183791936644, avgTableSize=0.7026367583873288
497.32/492.82	    
504.93/500.49	    num=267, depth=3..18, filters=5452173, revisions=(5408470,useless=2872568), ccks=5271160325, wck=497.465, mem=36M594
504.93/500.49	    decisions=231744, wrong=114625, backtracks=57400, failedAssignments=70397, nogoods=2340, foundSolutions=12, bestBound=312
504.93/500.49	    nFilterCalls=3508685, avgTableProportion=0.3512301617272568, avgTableSize=0.7024603234545136
504.93/500.49	    
510.84/506.31	    num=268, depth=3..15, filters=5545798, revisions=(5496531,useless=2919591), ccks=5332290536, wck=503.29, mem=45M521
510.84/506.31	    decisions=235632, wrong=116564, backtracks=58336, failedAssignments=71570, nogoods=2345, foundSolutions=12, bestBound=312
510.84/506.31	    nFilterCalls=3572002, avgTableProportion=0.3516754749857363, avgTableSize=0.7033509499714726
510.84/506.31	    
518.44/513.91	    num=269, depth=4..16, filters=5655185, revisions=(5602772,useless=2977202), ccks=5413463002, wck=510.888, mem=54M322
518.44/513.91	    decisions=239877, wrong=118683, backtracks=59403, failedAssignments=72861, nogoods=2358, foundSolutions=12, bestBound=312
518.44/513.91	    nFilterCalls=3647193, avgTableProportion=0.3513680246699311, avgTableSize=0.7027360493398622
518.44/513.91	    
526.85/522.34	    num=270, depth=2..18, filters=5759386, revisions=(5701290,useless=3027884), ccks=5504056218, wck=519.317, mem=73M322
526.85/522.34	    decisions=244606, wrong=121044, backtracks=60540, failedAssignments=74281, nogoods=2371, foundSolutions=12, bestBound=312
526.85/522.34	    nFilterCalls=3719752, avgTableProportion=0.35062781067124904, avgTableSize=0.7012556213424981
526.85/522.34	    
534.96/530.48	    num=271, depth=3..19, filters=5870549, revisions=(5815925,useless=3089542), ccks=5590866204, wck=527.453, mem=92M82
534.96/530.48	    decisions=249907, wrong=123690, backtracks=61881, failedAssignments=75843, nogoods=2378, foundSolutions=12, bestBound=312
534.96/530.48	    nFilterCalls=3792714, avgTableProportion=0.3504976910993025, avgTableSize=0.700995382198605
534.96/530.48	    
549.87/545.31	    num=272, depth=3..16, filters=6004357, revisions=(5952119,useless=3159682), ccks=5753986875, wck=542.288, mem=70M830
549.87/545.31	    decisions=255541, wrong=126503, backtracks=63383, failedAssignments=77561, nogoods=2470, foundSolutions=12, bestBound=312
549.87/545.31	    nFilterCalls=3871845, avgTableProportion=0.35114176833008554, avgTableSize=0.7022835366601711
549.87/545.31	    
558.90/554.31	    num=273, depth=4..20, filters=6134547, revisions=(6082048,useless=3229422), ccks=5849861313, wck=551.287, mem=41M666
558.90/554.31	    decisions=261566, wrong=129513, backtracks=64769, failedAssignments=79451, nogoods=2476, foundSolutions=12, bestBound=312
558.90/554.31	    nFilterCalls=3956458, avgTableProportion=0.350829074894767, avgTableSize=0.701658149789534
558.90/554.31	    
574.11/569.58	    num=274, depth=2..19, filters=6288136, revisions=(6234146,useless=3310040), ccks=6016856531, wck=566.562, mem=28M805
574.11/569.58	    decisions=268393, wrong=132924, backtracks=66435, failedAssignments=81530, nogoods=2483, foundSolutions=12, bestBound=312
574.11/569.58	    nFilterCalls=4054711, avgTableProportion=0.35083745795939586, avgTableSize=0.7016749159187917
574.11/569.58	    
587.43/582.89	    num=275, depth=3..19, filters=6454048, revisions=(6395187,useless=3395340), ccks=6160470807, wck=579.865, mem=88M756
587.43/582.89	    decisions=275554, wrong=136502, backtracks=68084, failedAssignments=83817, nogoods=2535, foundSolutions=12, bestBound=312
587.43/582.89	    nFilterCalls=4164749, avgTableProportion=0.35016564023426144, avgTableSize=0.7003312804685229
587.43/582.89	    
602.55/597.99	    num=276, depth=2..17, filters=6666812, revisions=(6590393,useless=3494657), ccks=6322000059, wck=594.971, mem=55M999
602.55/597.99	    decisions=283744, wrong=140593, backtracks=70187, failedAssignments=86333, nogoods=2591, foundSolutions=12, bestBound=312
602.55/597.99	    nFilterCalls=4302872, avgTableProportion=0.35183477454128315, avgTableSize=0.7036695490825663
602.55/597.99	    
617.68/613.02	o 311
617.68/613.02	    num=277, depth=1..104, filters=6878980, revisions=(6786401,useless=3597414), ccks=6482166636, wck=609.993, mem=26M20
617.68/613.02	    decisions=292298, wrong=144860, backtracks=72126, failedAssignments=89057, nogoods=2609, foundSolutions=13, bestBound=311
617.68/613.02	    nFilterCalls=4446351, avgTableProportion=0.35202472769243814, avgTableSize=0.7040494553848763
617.68/613.02	    
632.33/627.65	    num=278, depth=1..17, filters=7165685, revisions=(7049684,useless=3738203), ccks=6633716138, wck=624.627, mem=58M537
632.33/627.65	    decisions=302886, wrong=150151, backtracks=74900, failedAssignments=92101, nogoods=2620, foundSolutions=13, bestBound=311
632.33/627.65	    nFilterCalls=4637951, avgTableProportion=0.3537073806946214, avgTableSize=0.7074147613892428
632.33/627.65	    
632.53/627.80	    num=279, depth=5..10, filters=7166817, revisions=(7050828,useless=3738781), ccks=6635407656, wck=624.781, mem=59M837
632.53/627.80	    decisions=302932, wrong=150171, backtracks=74909, failedAssignments=92112, nogoods=2627, foundSolutions=13, bestBound=311
632.53/627.80	    nFilterCalls=4638658, avgTableProportion=0.35372159361608463, avgTableSize=0.7074431872321693
632.53/627.80	    
632.63/627.98	    num=280, depth=7..11, filters=7167728, revisions=(7051733,useless=3739232), ccks=6637363740, wck=624.957, mem=61M137
632.63/627.98	    decisions=302972, wrong=150187, backtracks=74914, failedAssignments=92124, nogoods=2630, foundSolutions=13, bestBound=311
632.63/627.98	    nFilterCalls=4639268, avgTableProportion=0.3537216431557737, avgTableSize=0.7074432863115474
632.63/627.98	    
632.84/628.16	    num=281, depth=5..10, filters=7168883, revisions=(7052930,useless=3739816), ccks=6639398828, wck=625.141, mem=62M437
632.84/628.16	    decisions=303023, wrong=150210, backtracks=74924, failedAssignments=92137, nogoods=2632, foundSolutions=13, bestBound=311
632.84/628.16	    nFilterCalls=4639992, avgTableProportion=0.35373455385267905, avgTableSize=0.7074691077053581
632.84/628.16	    
633.03/628.31	    num=282, depth=7..15, filters=7169889, revisions=(7054074,useless=3740434), ccks=6641045648, wck=625.29, mem=63M738
633.03/628.31	    decisions=303073, wrong=150230, backtracks=74933, failedAssignments=92151, nogoods=2641, foundSolutions=13, bestBound=311
633.03/628.31	    nFilterCalls=4640553, avgTableProportion=0.3537377980598433, avgTableSize=0.7074755961196866
633.03/628.31	    
633.13/628.47	    num=283, depth=6..13, filters=7171335, revisions=(7055533,useless=3741217), ccks=6642779709, wck=625.449, mem=65M38
633.13/628.47	    decisions=303137, wrong=150256, backtracks=74944, failedAssignments=92167, nogoods=2645, foundSolutions=13, bestBound=311
633.13/628.47	    nFilterCalls=4641567, avgTableProportion=0.35374755982193085, avgTableSize=0.7074951196438617
633.13/628.47	    
633.43/628.74	    num=284, depth=7..13, filters=7172352, revisions=(7056748,useless=3741836), ccks=6645826832, wck=625.718, mem=66M338
633.43/628.74	    decisions=303190, wrong=150279, backtracks=74950, failedAssignments=92184, nogoods=2648, foundSolutions=13, bestBound=311
633.43/628.74	    nFilterCalls=4642017, avgTableProportion=0.3537434266182136, avgTableSize=0.7074868532364272
633.43/628.74	    
633.63/628.95	    num=285, depth=7..14, filters=7173676, revisions=(7058233,useless=3742575), ccks=6648187158, wck=625.932, mem=68M939
633.63/628.95	    decisions=303258, wrong=150308, backtracks=74966, failedAssignments=92203, nogoods=2653, foundSolutions=13, bestBound=311
633.63/628.95	    nFilterCalls=4642746, avgTableProportion=0.35375249905982364, avgTableSize=0.7075049981196473
633.63/628.95	    
633.85/629.16	    num=286, depth=2..12, filters=7174887, revisions=(7059534,useless=3743231), ccks=6650479296, wck=626.139, mem=70M239
633.85/629.16	    decisions=303318, wrong=150333, backtracks=74973, failedAssignments=92224, nogoods=2670, foundSolutions=13, bestBound=311
633.85/629.16	    nFilterCalls=4643489, avgTableProportion=0.35376308633443515, avgTableSize=0.7075261726688703
633.85/629.16	    
634.04/629.37	    num=287, depth=3..9, filters=7176449, revisions=(7061303,useless=3744201), ccks=6652828409, wck=626.352, mem=71M539
634.04/629.37	    decisions=303393, wrong=150367, backtracks=74986, failedAssignments=92247, nogoods=2675, foundSolutions=13, bestBound=311
634.04/629.37	    nFilterCalls=4644432, avgTableProportion=0.35375100765820233, avgTableSize=0.7075020153164047
634.04/629.37	    
634.44/629.70	    num=288, depth=4..15, filters=7177967, revisions=(7062996,useless=3745047), ccks=6656501691, wck=626.679, mem=74M140
634.44/629.70	    decisions=303476, wrong=150406, backtracks=75005, failedAssignments=92272, nogoods=2677, foundSolutions=13, bestBound=311
634.44/629.70	    nFilterCalls=4645289, avgTableProportion=0.3537448369735446, avgTableSize=0.7074896739470892
634.44/629.70	    
634.67/629.96	    num=289, depth=8..14, filters=7179710, revisions=(7064637,useless=3745849), ccks=6659333324, wck=626.935, mem=75M440
634.67/629.96	    decisions=303567, wrong=150446, backtracks=75019, failedAssignments=92300, nogoods=2683, foundSolutions=13, bestBound=311
634.67/629.96	    nFilterCalls=4646497, avgTableProportion=0.3537331456363794, avgTableSize=0.7074662912727588
634.67/629.96	    
634.97/630.26	    num=290, depth=5..10, filters=7182031, revisions=(7067164,useless=3747131), ccks=6662588191, wck=627.232, mem=78M40
634.97/630.26	    decisions=303679, wrong=150497, backtracks=75047, failedAssignments=92331, nogoods=2687, foundSolutions=13, bestBound=311
634.97/630.26	    nFilterCalls=4647846, avgTableProportion=0.3537315995409486, avgTableSize=0.7074631990818973
634.97/630.26	    
635.37/630.67	    num=291, depth=4..10, filters=7185096, revisions=(7070569,useless=3749005), ccks=6667161388, wck=627.647, mem=81M941
635.37/630.67	    decisions=303800, wrong=150555, backtracks=75075, failedAssignments=92365, nogoods=2693, foundSolutions=13, bestBound=311
635.37/630.67	    nFilterCalls=4649591, avgTableProportion=0.35373745776779075, avgTableSize=0.7074749155355815
635.37/630.67	    
635.67/630.98	    num=292, depth=6..13, filters=7187541, revisions=(7073165,useless=3750302), ccks=6670543041, wck=627.955, mem=84M541
635.67/630.98	    decisions=303928, wrong=150615, backtracks=75110, failedAssignments=92402, nogoods=2698, foundSolutions=13, bestBound=311
635.67/630.98	    nFilterCalls=4650930, avgTableProportion=0.3537530128382926, avgTableSize=0.7075060256765852
635.67/630.98	    
636.17/631.46	    num=293, depth=5..13, filters=7191878, revisions=(7077636,useless=3752523), ccks=6675839122, wck=628.439, mem=88M442
636.17/631.46	    decisions=304082, wrong=150689, backtracks=75153, failedAssignments=92443, nogoods=2700, foundSolutions=13, bestBound=311
636.17/631.46	    nFilterCalls=4653231, avgTableProportion=0.35377633304686573, avgTableSize=0.7075526660937315
636.17/631.46	    
636.47/631.77	    num=294, depth=4..16, filters=7195082, revisions=(7080854,useless=3754193), ccks=6679161378, wck=628.749, mem=27M300
636.47/631.77	    decisions=304254, wrong=150769, backtracks=75194, failedAssignments=92488, nogoods=2710, foundSolutions=13, bestBound=311
636.47/631.77	    nFilterCalls=4655456, avgTableProportion=0.3537682452588962, avgTableSize=0.7075364905177924
636.47/631.77	    
636.98/632.24	    num=295, depth=6..14, filters=7199720, revisions=(7085768,useless=3756792), ccks=6684315986, wck=629.221, mem=31M169
636.98/632.24	    decisions=304437, wrong=150856, backtracks=75251, failedAssignments=92538, nogoods=2719, foundSolutions=13, bestBound=311
636.98/632.24	    nFilterCalls=4658015, avgTableProportion=0.3537789165556573, avgTableSize=0.7075578331113146
636.98/632.24	    
637.48/632.79	    num=296, depth=2..12, filters=7204535, revisions=(7091063,useless=3759764), ccks=6690365089, wck=629.772, mem=36M328
637.48/632.79	    decisions=304638, wrong=150954, backtracks=75304, failedAssignments=92593, nogoods=2724, foundSolutions=13, bestBound=311
637.48/632.79	    nFilterCalls=4660887, avgTableProportion=0.3537742923181789, avgTableSize=0.7075485846363578
637.48/632.79	    
638.08/633.34	    num=297, depth=5..12, filters=7209921, revisions=(7096776,useless=3762735), ccks=6696266407, wck=630.313, mem=41M487
638.08/633.34	    decisions=304867, wrong=151066, backtracks=75365, failedAssignments=92654, nogoods=2728, foundSolutions=13, bestBound=311
638.08/633.34	    nFilterCalls=4663827, avgTableProportion=0.3537926042282443, avgTableSize=0.7075852084564886
638.08/633.34	    
638.68/633.96	    num=298, depth=4..14, filters=7215308, revisions=(7101651,useless=3765256), ccks=6703161636, wck=630.939, mem=46M646
638.68/633.96	    decisions=305096, wrong=151176, backtracks=75417, failedAssignments=92721, nogoods=2733, foundSolutions=13, bestBound=311
638.68/633.96	    nFilterCalls=4667322, avgTableProportion=0.3537776052305798, avgTableSize=0.7075552104611595
638.68/633.96	    
639.79/635.09	    num=299, depth=4..16, filters=7224070, revisions=(7110572,useless=3769665), ccks=6715620070, wck=632.066, mem=55M674
639.79/635.09	    decisions=305383, wrong=151317, backtracks=75500, failedAssignments=92795, nogoods=2739, foundSolutions=13, bestBound=311
639.79/635.09	    nFilterCalls=4672166, avgTableProportion=0.3538368499749367, avgTableSize=0.7076736999498734
639.79/635.09	    
640.38/635.60	    num=300, depth=3..15, filters=7231739, revisions=(7118012,useless=3773573), ccks=6720996615, wck=632.577, mem=63M412
640.38/635.60	    decisions=305685, wrong=151465, backtracks=75586, failedAssignments=92876, nogoods=2742, foundSolutions=13, bestBound=311
640.38/635.60	    nFilterCalls=4677420, avgTableProportion=0.3538538339511953, avgTableSize=0.7077076679023906
640.38/635.60	    
640.68/635.93	    num=301, depth=7..11, filters=7234298, revisions=(7120996,useless=3775029), ccks=6724598446, wck=632.906, mem=65M992
640.68/635.93	    decisions=305885, wrong=151561, backtracks=75598, failedAssignments=92965, nogoods=2819, foundSolutions=13, bestBound=311
640.68/635.93	    nFilterCalls=4678346, avgTableProportion=0.3538686535797053, avgTableSize=0.7077373071594106
640.68/635.93	    
641.68/636.94	    num=302, depth=5..15, filters=7242266, revisions=(7129511,useless=3779469), ccks=6735733778, wck=633.917, mem=73M730
641.68/636.94	    decisions=306230, wrong=151728, backtracks=75689, failedAssignments=93063, nogoods=2824, foundSolutions=13, bestBound=311
641.68/636.94	    nFilterCalls=4682660, avgTableProportion=0.35390162856154406, avgTableSize=0.7078032571230881
641.68/636.94	    
642.28/637.59	    num=303, depth=4..16, filters=7248693, revisions=(7136720,useless=3783450), ccks=6742903423, wck=634.57, mem=80M179
642.28/637.59	    decisions=306597, wrong=151907, backtracks=75776, failedAssignments=93171, nogoods=2828, foundSolutions=13, bestBound=311
642.28/637.59	    nFilterCalls=4686675, avgTableProportion=0.3538444632922061, avgTableSize=0.7076889265844122
642.28/637.59	    
643.09/638.31	    num=304, depth=7..16, filters=7259163, revisions=(7146668,useless=3788623), ccks=6750406647, wck=635.283, mem=24M743
643.09/638.31	    decisions=307019, wrong=152113, backtracks=75888, failedAssignments=93290, nogoods=2833, foundSolutions=13, bestBound=311
643.09/638.31	    nFilterCalls=4693536, avgTableProportion=0.35380776881225584, avgTableSize=0.7076155376245117
643.09/638.31	    
643.99/639.23	    num=305, depth=4..14, filters=7268765, revisions=(7156355,useless=3793777), ccks=6760501613, wck=636.212, mem=33M697
643.99/639.23	    decisions=307511, wrong=152354, backtracks=76024, failedAssignments=93421, nogoods=2839, foundSolutions=13, bestBound=311
643.99/639.23	    nFilterCalls=4699415, avgTableProportion=0.3538292532155598, avgTableSize=0.7076585064311196
643.99/639.23	    
644.99/640.27	o 310
644.99/640.27	    num=306, depth=4..104, filters=7277604, revisions=(7165555,useless=3798688), ccks=6771941532, wck=637.249, mem=41M373
644.99/640.27	    decisions=307898, wrong=152539, backtracks=76120, failedAssignments=93535, nogoods=2842, foundSolutions=14, bestBound=310
644.99/640.27	    nFilterCalls=4705197, avgTableProportion=0.35377328515681705, avgTableSize=0.7075465703136341
644.99/640.27	    
646.29/641.50	    num=307, depth=2..14, filters=7288396, revisions=(7177334,useless=3804758), ccks=6785401952, wck=638.476, mem=51M607
646.29/641.50	    decisions=308448, wrong=152810, backtracks=76273, failedAssignments=93693, nogoods=2849, foundSolutions=14, bestBound=310
646.29/641.50	    nFilterCalls=4711303, avgTableProportion=0.35377134520959486, avgTableSize=0.7075426904191897
646.29/641.50	    
646.39/641.64	    num=308, depth=8..13, filters=7289761, revisions=(7178629,useless=3805444), ccks=6786971926, wck=638.621, mem=52M886
646.39/641.64	    decisions=308503, wrong=152833, backtracks=76286, failedAssignments=93704, nogoods=2854, foundSolutions=14, bestBound=310
646.39/641.64	    nFilterCalls=4712272, avgTableProportion=0.3537828461514955, avgTableSize=0.707565692302991
646.39/641.64	    
646.49/641.77	    num=309, depth=5..9, filters=7290776, revisions=(7179518,useless=3805877), ccks=6788300694, wck=638.742, mem=54M165
646.49/641.77	    decisions=308553, wrong=152855, backtracks=76298, failedAssignments=93716, nogoods=2856, foundSolutions=14, bestBound=310
646.49/641.77	    nFilterCalls=4712998, avgTableProportion=0.35378319702236244, avgTableSize=0.7075663940447249
646.49/641.77	    
646.69/641.93	    num=310, depth=6..14, filters=7291849, revisions=(7180792,useless=3806577), ccks=6790106887, wck=638.905, mem=55M445
646.69/641.93	    decisions=308606, wrong=152878, backtracks=76313, failedAssignments=93729, nogoods=2859, foundSolutions=14, bestBound=310
646.69/641.93	    nFilterCalls=4713650, avgTableProportion=0.35378263129422, avgTableSize=0.70756526258844
646.69/641.93	    
646.80/642.08	    num=311, depth=9..15, filters=7293195, revisions=(7182210,useless=3807334), ccks=6791750869, wck=639.057, mem=58M3
646.80/642.08	    decisions=308667, wrong=152903, backtracks=76325, failedAssignments=93743, nogoods=2864, foundSolutions=14, bestBound=310
646.80/642.08	    nFilterCalls=4714590, avgTableProportion=0.3537914219476137, avgTableSize=0.7075828438952274
646.80/642.08	    
647.03/642.30	    num=312, depth=7..14, filters=7294669, revisions=(7183807,useless=3808180), ccks=6794122226, wck=639.272, mem=59M283
647.03/642.30	    decisions=308734, wrong=152932, backtracks=76345, failedAssignments=93759, nogoods=2868, foundSolutions=14, bestBound=310
647.03/642.30	    nFilterCalls=4715523, avgTableProportion=0.35379787141320274, avgTableSize=0.7075957428264055
647.03/642.30	    
647.33/642.56	    num=313, depth=4..14, filters=7297047, revisions=(7185981,useless=3809282), ccks=6796992234, wck=639.535, mem=61M841
647.33/642.56	    decisions=308813, wrong=152966, backtracks=76365, failedAssignments=93776, nogoods=2870, foundSolutions=14, bestBound=310
647.33/642.56	    nFilterCalls=4716963, avgTableProportion=0.35380392002226857, avgTableSize=0.7076078400445371
647.33/642.56	    
647.53/642.74	    num=314, depth=6..12, filters=7298132, revisions=(7187219,useless=3809912), ccks=6799036309, wck=639.719, mem=63M120
647.53/642.74	    decisions=308881, wrong=152997, backtracks=76379, failedAssignments=93795, nogoods=2873, foundSolutions=14, bestBound=310
647.53/642.74	    nFilterCalls=4717601, avgTableProportion=0.35380662756345865, avgTableSize=0.7076132551269173
647.53/642.74	    
647.63/642.88	    num=315, depth=5..15, filters=7299340, revisions=(7188585,useless=3810677), ccks=6800519100, wck=639.855, mem=64M400
647.63/642.88	    decisions=308952, wrong=153027, backtracks=76392, failedAssignments=93816, nogoods=2883, foundSolutions=14, bestBound=310
647.63/642.88	    nFilterCalls=4718436, avgTableProportion=0.35380123837644506, avgTableSize=0.7076024767528901
647.63/642.88	    
647.84/643.11	    num=316, depth=6..11, filters=7301787, revisions=(7191008,useless=3811876), ccks=6802983627, wck=640.083, mem=66M958
647.84/643.11	    decisions=309033, wrong=153063, backtracks=76410, failedAssignments=93839, nogoods=2889, foundSolutions=14, bestBound=310
647.84/643.11	    nFilterCalls=4719811, avgTableProportion=0.35380410359652115, avgTableSize=0.7076082071930423
647.84/643.11	    
648.13/643.39	    num=317, depth=4..9, filters=7304474, revisions=(7193663,useless=3813155), ccks=6806106870, wck=640.369, mem=68M237
648.13/643.39	    decisions=309135, wrong=153112, backtracks=76443, failedAssignments=93864, nogoods=2892, foundSolutions=14, bestBound=310
648.13/643.39	    nFilterCalls=4721294, avgTableProportion=0.3538369989244474, avgTableSize=0.7076739978488948
648.13/643.39	    
648.53/643.75	    num=318, depth=6..14, filters=7306538, revisions=(7196017,useless=3814348), ccks=6810047239, wck=640.724, mem=70M796
648.53/643.75	    decisions=309227, wrong=153154, backtracks=76464, failedAssignments=93892, nogoods=2896, foundSolutions=14, bestBound=310
648.53/643.75	    nFilterCalls=4722281, avgTableProportion=0.35384711329122515, avgTableSize=0.7076942265824503
648.53/643.75	    
648.73/643.90	    num=319, depth=5..14, filters=7308442, revisions=(7197969,useless=3815393), ccks=6811678545, wck=640.879, mem=73M354
648.73/643.90	    decisions=309349, wrong=153212, backtracks=76492, failedAssignments=93923, nogoods=2902, foundSolutions=14, bestBound=310
648.73/643.90	    nFilterCalls=4723662, avgTableProportion=0.35384961921492264, avgTableSize=0.7076992384298453
648.73/643.90	    
649.03/644.21	    num=320, depth=6..14, filters=7311158, revisions=(7200858,useless=3816889), ccks=6815034935, wck=641.186, mem=75M913
649.03/644.21	    decisions=309468, wrong=153268, backtracks=76523, failedAssignments=93957, nogoods=2907, foundSolutions=14, bestBound=310
649.03/644.21	    nFilterCalls=4725253, avgTableProportion=0.3538653909113438, avgTableSize=0.7077307818226876
649.03/644.21	    
649.43/644.62	    num=321, depth=4..11, filters=7314012, revisions=(7203738,useless=3818334), ccks=6819515835, wck=641.592, mem=78M471
649.43/644.62	    decisions=309606, wrong=153335, backtracks=76563, failedAssignments=93994, nogoods=2908, foundSolutions=14, bestBound=310
649.43/644.62	    nFilterCalls=4726901, avgTableProportion=0.3538820677649056, avgTableSize=0.7077641355298112
649.43/644.62	    
649.63/644.83	    num=322, depth=7..16, filters=7316130, revisions=(7206027,useless=3819494), ccks=6821902537, wck=641.812, mem=81M30
649.63/644.83	    decisions=309745, wrong=153401, backtracks=76595, failedAssignments=94035, nogoods=2910, foundSolutions=14, bestBound=310
649.63/644.83	    nFilterCalls=4728232, avgTableProportion=0.35387667102629483, avgTableSize=0.7077533420525897
649.63/644.83	    
650.23/645.46	    num=323, depth=5..13, filters=7319681, revisions=(7209847,useless=3821404), ccks=6828892340, wck=642.438, mem=83M588
650.23/645.46	    decisions=309892, wrong=153471, backtracks=76625, failedAssignments=94080, nogoods=2913, foundSolutions=14, bestBound=310
650.23/645.46	    nFilterCalls=4730174, avgTableProportion=0.35387968814677856, avgTableSize=0.7077593762935571
650.23/645.46	    
650.63/645.83	    num=324, depth=5..18, filters=7322704, revisions=(7213398,useless=3823449), ccks=6832920378, wck=642.806, mem=87M426
650.63/645.83	    decisions=310075, wrong=153557, backtracks=76672, failedAssignments=94130, nogoods=2917, foundSolutions=14, bestBound=310
650.63/645.83	    nFilterCalls=4732113, avgTableProportion=0.3538639081526582, avgTableSize=0.7077278163053164
650.63/645.83	    
651.03/646.25	    num=325, depth=5..14, filters=7326765, revisions=(7217300,useless=3825436), ccks=6837454621, wck=643.223, mem=27M270
651.03/646.25	    decisions=310251, wrong=153640, backtracks=76707, failedAssignments=94185, nogoods=2929, foundSolutions=14, bestBound=310
651.03/646.25	    nFilterCalls=4734795, avgTableProportion=0.3538619940250845, avgTableSize=0.707723988050169
651.03/646.25	    
651.43/646.65	    num=326, depth=6..16, filters=7330660, revisions=(7221750,useless=3828060), ccks=6841846065, wck=643.627, mem=31M76
651.43/646.65	    decisions=310475, wrong=153746, backtracks=76760, failedAssignments=94246, nogoods=2932, foundSolutions=14, bestBound=310
651.43/646.65	    nFilterCalls=4737418, avgTableProportion=0.35383905325643633, avgTableSize=0.7076781065128727
651.43/646.65	    
652.33/647.51	    num=327, depth=4..12, filters=7336651, revisions=(7227966,useless=3831159), ccks=6851392364, wck=644.486, mem=36M151
652.33/647.51	    decisions=310693, wrong=153852, backtracks=76808, failedAssignments=94313, nogoods=2936, foundSolutions=14, bestBound=310
652.33/647.51	    nFilterCalls=4740631, avgTableProportion=0.3538487808901389, avgTableSize=0.7076975617802778
652.33/647.51	    
653.04/648.30	    num=328, depth=4..15, filters=7342781, revisions=(7234479,useless=3834646), ccks=6860051233, wck=645.273, mem=41M226
653.04/648.30	    decisions=310944, wrong=153974, backtracks=76876, failedAssignments=94387, nogoods=2944, foundSolutions=14, bestBound=310
653.04/648.30	    nFilterCalls=4744291, avgTableProportion=0.35387584783479764, avgTableSize=0.7077516956695953
653.04/648.30	    
653.74/648.95	    num=329, depth=3..14, filters=7351012, revisions=(7242286,useless=3838709), ccks=6867133154, wck=645.931, mem=47M570
653.74/648.95	    decisions=311288, wrong=154141, backtracks=76970, failedAssignments=94468, nogoods=2948, foundSolutions=14, bestBound=310
653.74/648.95	    nFilterCalls=4749459, avgTableProportion=0.35393399542979526, avgTableSize=0.7078679908595905
653.74/648.95	    
654.54/649.79	    num=330, depth=4..13, filters=7356218, revisions=(7248184,useless=3841774), ccks=6876404251, wck=646.768, mem=52M645
654.54/649.79	    decisions=311590, wrong=154288, backtracks=77042, failedAssignments=94557, nogoods=2952, foundSolutions=14, bestBound=310
654.54/649.79	    nFilterCalls=4752357, avgTableProportion=0.35393490009273293, avgTableSize=0.7078698001854659
654.54/649.79	    
655.54/650.71	    num=331, depth=5..16, filters=7364329, revisions=(7256924,useless=3846286), ccks=6886510644, wck=647.69, mem=61M527
655.54/650.71	    decisions=311937, wrong=154457, backtracks=77140, failedAssignments=94655, nogoods=2959, foundSolutions=14, bestBound=310
655.54/650.71	    nFilterCalls=4757079, avgTableProportion=0.3539433547351221, avgTableSize=0.7078867094702442
655.54/650.71	    
656.55/651.73	    num=332, depth=5..17, filters=7372702, revisions=(7264888,useless=3850408), ccks=6897696272, wck=648.702, mem=67M870
656.55/651.73	    decisions=312300, wrong=154636, backtracks=77224, failedAssignments=94763, nogoods=2963, foundSolutions=14, bestBound=310
656.55/651.73	    nFilterCalls=4762682, avgTableProportion=0.35391991319176885, avgTableSize=0.7078398263835377
656.55/651.73	    
657.75/652.90	    num=333, depth=4..13, filters=7384498, revisions=(7277004,useless=3856651), ccks=6910478438, wck=649.878, mem=79M289
657.75/652.90	    decisions=312732, wrong=154848, backtracks=77353, failedAssignments=94882, nogoods=2966, foundSolutions=14, bestBound=310
657.75/652.90	    nFilterCalls=4769644, avgTableProportion=0.35399759395040803, avgTableSize=0.7079951879008161
657.75/652.90	    
658.86/654.03	    num=334, depth=6..16, filters=7395630, revisions=(7288811,useless=3862922), ccks=6922671019, wck=651.003, mem=26M4
658.86/654.03	    decisions=313208, wrong=155082, backtracks=77486, failedAssignments=95013, nogoods=2973, foundSolutions=14, bestBound=310
658.86/654.03	    nFilterCalls=4776133, avgTableProportion=0.3540202921484808, avgTableSize=0.7080405842969616
658.86/654.03	    
660.05/655.25	    num=335, depth=4..13, filters=7405673, revisions=(7298509,useless=3867909), ccks=6936198480, wck=652.231, mem=34M812
660.05/655.25	    decisions=313660, wrong=155303, backtracks=77590, failedAssignments=95157, nogoods=2986, foundSolutions=14, bestBound=310
660.05/655.25	    nFilterCalls=4782631, avgTableProportion=0.3540218762434317, avgTableSize=0.7080437524868634
660.05/655.25	    
661.26/656.46	    num=336, depth=1..12, filters=7417789, revisions=(7310829,useless=3874174), ccks=6949284806, wck=653.435, mem=46M137
661.26/656.46	    decisions=314176, wrong=155558, backtracks=77722, failedAssignments=95315, nogoods=2993, foundSolutions=14, bestBound=310
661.26/656.46	    nFilterCalls=4789578, avgTableProportion=0.3540987327067228, avgTableSize=0.7081974654134456
661.26/656.46	    
662.56/657.74	    num=337, depth=4..14, filters=7430834, revisions=(7323850,useless=3880785), ccks=6963268060, wck=654.717, mem=56M203
662.56/657.74	    decisions=314759, wrong=155847, backtracks=77862, failedAssignments=95489, nogoods=3008, foundSolutions=14, bestBound=310
662.56/657.74	    nFilterCalls=4797744, avgTableProportion=0.3540889217932428, avgTableSize=0.7081778435864856
662.56/657.74	    
664.06/659.22	    num=338, depth=4..14, filters=7444844, revisions=(7338744,useless=3888646), ccks=6979473324, wck=656.196, mem=68M786
664.06/659.22	    decisions=315419, wrong=156173, backtracks=78022, failedAssignments=95680, nogoods=3016, foundSolutions=14, bestBound=310
664.06/659.22	    nFilterCalls=4805723, avgTableProportion=0.35407117721932785, avgTableSize=0.7081423544386557
664.06/659.22	    
665.76/660.90	    num=339, depth=2..12, filters=7463520, revisions=(7356684,useless=3897676), ccks=6997628002, wck=657.874, mem=85M144
665.76/660.90	    decisions=316174, wrong=156547, backtracks=78220, failedAssignments=95891, nogoods=3023, foundSolutions=14, bestBound=310
665.76/660.90	    nFilterCalls=4816907, avgTableProportion=0.35418298505659335, avgTableSize=0.7083659701131867
665.76/660.90	    
667.88/663.09	    num=340, depth=4..14, filters=7480379, revisions=(7373615,useless=3906265), ccks=7021762921, wck=660.063, mem=39M709
667.88/663.09	    decisions=316954, wrong=156933, backtracks=78417, failedAssignments=96123, nogoods=3031, foundSolutions=14, bestBound=310
667.88/663.09	    nFilterCalls=4826768, avgTableProportion=0.35418182518820046, avgTableSize=0.7083636503764009
667.88/663.09	    
669.37/664.52	    num=341, depth=2..13, filters=7500761, revisions=(7393544,useless=3916421), ccks=7037016363, wck=661.501, mem=58M426
669.37/664.52	    decisions=317786, wrong=157347, backtracks=78643, failedAssignments=96378, nogoods=3036, foundSolutions=14, bestBound=310
669.37/664.52	    nFilterCalls=4838994, avgTableProportion=0.35433976566203634, avgTableSize=0.7086795313240727
669.37/664.52	    
671.47/666.61	    num=342, depth=4..14, filters=7523008, revisions=(7417140,useless=3928553), ccks=7059613940, wck=663.585, mem=78M391
671.47/666.61	    decisions=318764, wrong=157832, backtracks=78895, failedAssignments=96659, nogoods=3039, foundSolutions=14, bestBound=310
671.47/666.61	    nFilterCalls=4851498, avgTableProportion=0.35441187443548366, avgTableSize=0.7088237488709673
671.47/666.61	    
673.27/668.44	    num=343, depth=3..15, filters=7544590, revisions=(7437738,useless=3939231), ccks=7079419322, wck=665.421, mem=38M360
673.27/668.44	    decisions=319750, wrong=158322, backtracks=79114, failedAssignments=96968, nogoods=3042, foundSolutions=14, bestBound=310
673.27/668.44	    nFilterCalls=4865961, avgTableProportion=0.3544150888180156, avgTableSize=0.7088301776360312
673.27/668.44	    
675.57/670.71	    num=344, depth=4..15, filters=7569285, revisions=(7462066,useless=3952185), ccks=7104010589, wck=667.684, mem=58M157
675.57/670.71	    decisions=320850, wrong=158867, backtracks=79375, failedAssignments=97308, nogoods=3055, foundSolutions=14, bestBound=310
675.57/670.71	    nFilterCalls=4882035, avgTableProportion=0.35437609521439317, avgTableSize=0.7087521904287863
675.57/670.71	    
677.67/672.85	    num=345, depth=1..11, filters=7590795, revisions=(7484858,useless=3963610), ccks=7127277810, wck=669.828, mem=79M192
677.67/672.85	    decisions=321954, wrong=159418, backtracks=79603, failedAssignments=97682, nogoods=3062, foundSolutions=14, bestBound=310
677.67/672.85	    nFilterCalls=4893303, avgTableProportion=0.35449245632244725, avgTableSize=0.7089849126448945
677.67/672.85	    
680.89/676.08	    num=346, depth=2..13, filters=7624698, revisions=(7518819,useless=3980816), ccks=7162340163, wck=673.062, mem=48M74
680.89/676.08	    decisions=323335, wrong=160105, backtracks=79983, failedAssignments=98093, nogoods=3066, foundSolutions=14, bestBound=310
680.89/676.08	    nFilterCalls=4912989, avgTableProportion=0.3546511095384093, avgTableSize=0.7093022190768186
680.89/676.08	    
684.38/679.55	    num=347, depth=1..14, filters=7654721, revisions=(7549271,useless=3996076), ccks=7200346765, wck=676.526, mem=76M290
684.38/679.55	    decisions=324800, wrong=160835, backtracks=80341, failedAssignments=98545, nogoods=3075, foundSolutions=14, bestBound=310
684.38/679.55	    nFilterCalls=4930188, avgTableProportion=0.35466396007616746, avgTableSize=0.7093279201523349
684.38/679.55	    
687.49/682.62	    num=348, depth=0..14, filters=7694611, revisions=(7586406,useless=4015004), ccks=7233125598, wck=679.597, mem=50M297
687.49/682.62	    decisions=326552, wrong=161708, backtracks=80817, failedAssignments=99042, nogoods=3081, foundSolutions=14, bestBound=310
687.49/682.62	    nFilterCalls=4955163, avgTableProportion=0.3549032594891429, avgTableSize=0.7098065189782858
687.49/682.62	    
692.00/687.16	    num=349, depth=2..14, filters=7736110, revisions=(7628475,useless=4036513), ccks=7282866392, wck=684.136, mem=25M949
692.00/687.16	    decisions=328285, wrong=162572, backtracks=81217, failedAssignments=99589, nogoods=3086, foundSolutions=14, bestBound=310
692.00/687.16	    nFilterCalls=4979130, avgTableProportion=0.35492335006316367, avgTableSize=0.7098467001263273
692.00/687.16	    
695.79/690.91	    num=350, depth=2..14, filters=7781024, revisions=(7674516,useless=4060040), ccks=7323026940, wck=687.885, mem=64M536
695.79/690.91	    decisions=330263, wrong=163556, backtracks=81696, failedAssignments=100191, nogoods=3095, foundSolutions=14, bestBound=310
695.79/690.91	    nFilterCalls=5005854, avgTableProportion=0.3550748783324484, avgTableSize=0.7101497566648968
695.79/690.91	    
701.10/696.20	    num=351, depth=3..20, filters=7820177, revisions=(7715622,useless=4081294), ccks=7381161750, wck=693.181, mem=43M883
701.10/696.20	    decisions=332256, wrong=164550, backtracks=82124, failedAssignments=100853, nogoods=3106, foundSolutions=14, bestBound=310
701.10/696.20	    nFilterCalls=5027268, avgTableProportion=0.35512170825187755, avgTableSize=0.7102434165037551
701.10/696.20	    
705.50/700.63	    num=352, depth=1..16, filters=7877383, revisions=(7771906,useless=4110640), ccks=7428325094, wck=697.605, mem=35M410
705.50/700.63	    decisions=334744, wrong=165790, backtracks=82784, failedAssignments=101581, nogoods=3154, foundSolutions=14, bestBound=310
705.50/700.63	    nFilterCalls=5062198, avgTableProportion=0.3553816938808004, avgTableSize=0.7107633877616008
705.50/700.63	    
710.51/705.61	    num=353, depth=1..14, filters=7945892, revisions=(7831713,useless=4140366), ccks=7481211866, wck=702.59, mem=29M434
710.51/705.61	    decisions=337288, wrong=167060, backtracks=83368, failedAssignments=102382, nogoods=3161, foundSolutions=14, bestBound=310
710.51/705.61	    nFilterCalls=5105239, avgTableProportion=0.35578726089023455, avgTableSize=0.7115745217804691
710.51/705.61	    
715.82/710.92	    num=354, depth=1..14, filters=8024074, revisions=(7906220,useless=4179184), ccks=7537015354, wck=707.895, mem=36M389
715.82/710.92	    decisions=340284, wrong=168555, backtracks=84143, failedAssignments=103263, nogoods=3168, foundSolutions=14, bestBound=310
715.82/710.92	    nFilterCalls=5154022, avgTableProportion=0.3562135551613866, avgTableSize=0.7124271103227732
715.82/710.92	    
719.72/714.82	    num=355, depth=2..14, filters=8098464, revisions=(7972886,useless=4213212), ccks=7577095157, wck=711.797, mem=38M581
719.72/714.82	    decisions=343286, wrong=170053, backtracks=84802, failedAssignments=104233, nogoods=3174, foundSolutions=14, bestBound=310
719.72/714.82	    nFilterCalls=5202428, avgTableProportion=0.35678936834877867, avgTableSize=0.7135787366975573
719.72/714.82	    
726.64/721.72	    num=356, depth=2..17, filters=8185661, revisions=(8053023,useless=4255234), ccks=7650930321, wck=718.698, mem=52M160
726.64/721.72	    decisions=346748, wrong=171780, backtracks=85645, failedAssignments=105300, nogoods=3186, foundSolutions=14, bestBound=310
726.64/721.72	    nFilterCalls=5262350, avgTableProportion=0.35687544538086596, avgTableSize=0.7137508907617319
726.64/721.72	    
732.75/727.86	    num=357, depth=2..17, filters=8280059, revisions=(8140970,useless=4300484), ccks=7715657085, wck=724.841, mem=70M41
732.75/727.86	    decisions=350609, wrong=173708, backtracks=86571, failedAssignments=106473, nogoods=3205, foundSolutions=14, bestBound=310
732.75/727.86	    nFilterCalls=5324043, avgTableProportion=0.35712098869224007, avgTableSize=0.7142419773844801
732.75/727.86	    
739.66/734.78	    num=358, depth=1..16, filters=8384788, revisions=(8234660,useless=4348565), ccks=7788332541, wck=731.758, mem=41M444
739.66/734.78	    decisions=354940, wrong=175870, backtracks=87704, failedAssignments=107764, nogoods=3220, foundSolutions=14, bestBound=310
739.66/734.78	    nFilterCalls=5395305, avgTableProportion=0.3575695905977512, avgTableSize=0.7151391811955023
739.66/734.78	    
747.08/742.14	    num=359, depth=0..17, filters=8504122, revisions=(8343832,useless=4404715), ccks=7865109922, wck=739.112, mem=34M614
747.08/742.14	    decisions=359758, wrong=178277, backtracks=88953, failedAssignments=109184, nogoods=3224, foundSolutions=14, bestBound=310
747.08/742.14	    nFilterCalls=5474378, avgTableProportion=0.3573616947898008, avgTableSize=0.7147233895796016
747.08/742.14	    
757.78/752.83	    num=360, depth=2..16, filters=8638952, revisions=(8472837,useless=4470198), ccks=7979556288, wck=749.803, mem=35M523
757.78/752.83	    decisions=365150, wrong=180971, backtracks=90489, failedAssignments=110746, nogoods=3232, foundSolutions=14, bestBound=310
757.78/752.83	    nFilterCalls=5557379, avgTableProportion=0.35786177260899427, avgTableSize=0.7157235452179885
757.78/752.83	    
766.50/761.52	    num=361, depth=1..17, filters=8782932, revisions=(8604104,useless=4538450), ccks=8070819785, wck=758.501, mem=47M337
766.50/761.52	    decisions=370923, wrong=183855, backtracks=91980, failedAssignments=112464, nogoods=3238, foundSolutions=14, bestBound=310
766.50/761.52	    nFilterCalls=5652869, avgTableProportion=0.35829673392395966, avgTableSize=0.7165934678479193
766.50/761.52	    
775.91/771.00	    num=362, depth=1..16, filters=8948316, revisions=(8754306,useless=4616138), ccks=8170167559, wck=767.98, mem=73M55
775.91/771.00	    decisions=377082, wrong=186932, backtracks=93466, failedAssignments=114354, nogoods=3247, foundSolutions=14, bestBound=310
775.91/771.00	    nFilterCalls=5762179, avgTableProportion=0.3586303028767416, avgTableSize=0.7172606057534832
775.91/771.00	    
786.23/781.24	    num=363, depth=1..15, filters=9130158, revisions=(8919355,useless=4701202), ccks=8276716910, wck=778.216, mem=59M225
786.23/781.24	    decisions=384270, wrong=190523, backtracks=95461, failedAssignments=116433, nogoods=3264, foundSolutions=14, bestBound=310
786.23/781.24	    nFilterCalls=5880982, avgTableProportion=0.35936413340493134, avgTableSize=0.7187282668098627
786.23/781.24	    
795.96/790.93	    num=364, depth=1..18, filters=9301544, revisions=(9071007,useless=4778159), ccks=8378143204, wck=787.91, mem=40M39
795.96/790.93	    decisions=391204, wrong=193987, backtracks=96942, failedAssignments=118720, nogoods=3272, foundSolutions=14, bestBound=310
795.96/790.93	    nFilterCalls=5993890, avgTableProportion=0.3600221225281078, avgTableSize=0.7200442450562156
795.96/790.93	    
811.29/806.26	    num=365, depth=0..16, filters=9542749, revisions=(9279617,useless=4882871), ccks=8539586554, wck=803.233, mem=64M655
811.29/806.26	    decisions=399720, wrong=198242, backtracks=99154, failedAssignments=121236, nogoods=3282, foundSolutions=14, bestBound=310
811.29/806.26	    nFilterCalls=6154651, avgTableProportion=0.3605763348726029, avgTableSize=0.7211526697452058
811.29/806.26	    
824.81/819.79	    num=366, depth=0..20, filters=9833626, revisions=(9521921,useless=5004589), ccks=8678467369, wck=816.77, mem=62M548
824.81/819.79	    decisions=409175, wrong=202965, backtracks=101626, failedAssignments=124004, nogoods=3289, foundSolutions=14, bestBound=310
824.81/819.79	    nFilterCalls=6353055, avgTableProportion=0.36157643842214493, avgTableSize=0.7231528768442899
824.81/819.79	    
838.74/833.65	    num=367, depth=0..17, filters=10104075, revisions=(9759443,useless=5126451), ccks=8821675290, wck=830.63, mem=77M538
838.74/833.65	    decisions=419437, wrong=208093, backtracks=104293, failedAssignments=127048, nogoods=3301, foundSolutions=14, bestBound=310
838.74/833.65	    nFilterCalls=6543797, avgTableProportion=0.3612249891003648, avgTableSize=0.7224499782007296
838.74/833.65	    
852.29/847.13	    num=368, depth=0..17, filters=10376835, revisions=(10003130,useless=5252607), ccks=8960390129, wck=844.104, mem=32M683
852.29/847.13	    decisions=429929, wrong=213337, backtracks=106647, failedAssignments=130397, nogoods=3309, foundSolutions=14, bestBound=310
852.29/847.13	    nFilterCalls=6725377, avgTableProportion=0.3617680466091343, avgTableSize=0.7235360932182686
852.29/847.13	    
869.01/863.88	    num=369, depth=0..17, filters=10717182, revisions=(10292919,useless=5399404), ccks=9132396741, wck=860.853, mem=45M534
869.01/863.88	    decisions=442043, wrong=219392, backtracks=109758, failedAssignments=134081, nogoods=3315, foundSolutions=14, bestBound=310
869.01/863.88	    nFilterCalls=6962715, avgTableProportion=0.3629280388469153, avgTableSize=0.7258560776938306
869.01/863.88	    
877.04/871.86	
877.04/871.86	  New Bounds: 310..309
877.04/871.86	    num=370, depth=0..16, filters=10921628, revisions=(10464513,useless=5485419), ccks=9211816292, wck=868.84, mem=40M203
877.04/871.86	    decisions=448819, wrong=222781, backtracks=111594, failedAssignments=136050, foundSolutions=14, bestBound=310
877.04/871.86	    nFilterCalls=7102787, avgTableProportion=0.3633886951699382, avgTableSize=0.7267773903398764
877.04/871.86	    
877.04/871.86	  Global
877.04/871.86	    filters=10921628, revisions=(10464513,useless=5485419), ccks=9211816292
877.04/871.86	    Stop=FULL_EXPLORATION, wrong=222781, bestBound=310, bestBoundWck=637.658, bestBoundCpu=639.246, foundSolutions=14, firstSolCpu=3.325
877.04/871.86	    wck=869.25, cpu=870.686, mem=40M203
877.04/871.86	
877.04/871.86	v <instantiation id='sol14' type='solution' cost='310'>  <list> s[][] e[] d[][] w[][] sd[][] </list>  <values> 0 66 117 217 266 0 81 117 195 266 0 81 134 229 304 0 77 102 181 225 0 97 134 217 229 301 310 309 304 310 66 31 64 45 35 66 36 78 71 44 81 53 91 75 5 77 25 60 38 79 93 37 83 12 81 0 3 2 1 4 3 2 0 4 1 2 1 3 0 4 1 0 4 2 3 4 3 1 0 2 0 217 117 66 266 117 266 81 0 195 229 81 0 134 304 77 0 181 225 102 217 134 229 97 0 </values>  </instantiation>
877.04/871.86	s OPTIMUM FOUND
877.04/871.86	
877.04/871.86	d WRONG_DECISIONS 222781
877.04/871.86	d NUMBER_SOLUTIONS 14

Verifier Data 

OK	310

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390827-1568380515/watcher-4390827-1568380515 -o /tmp/evaluation-result-4390827-1568380515/solver-4390827-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568380473-26152 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390827-1568380515.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=26181, runsolver pid=26173
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 26183
/proc/meminfo: memFree=31587208/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=10648 memory=688 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (java) D 26173 26181 26121 0 -1 1077944320 321 0 0 0 0 0 0 0 20 0 1 0 413989472 10903552 172 33554432000 4194304 4196468 140737297115120 140737297097736 139891152291189 0 0 4096 0 18446744072101584420 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2662 172 139 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 688 KiB

[startup+0.209719 s]*
/proc/loadavg: 0.00 0.01 0.05 2/202 26185
/proc/meminfo: memFree=31584416/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=111596 memory=5604 CPUtime=0 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 413989472 114274304 1401 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 27899 1401 1062 1 0 16810 0
[pid=26181/tid=26185] ppid=26173 vsize=111596 memory=7022364594140610616 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) D 26173 26181 26121 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 413989485 114274304 1401 33554432000 4194304 4196468 140737297115120 139891163853032 139891152291189 0 4 0 16784584 18446744072101584420 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.309638 s]*
/proc/loadavg: 0.00 0.01 0.05 4/216 26199
/proc/meminfo: memFree=31565288/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=10260324 memory=21608 CPUtime=0.03 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 4328 0 0 0 3 0 0 0 20 0 9 0 413989472 10506571776 5402 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2565081 5402 2156 1 0 2527622 0
[pid=26181/tid=26185] ppid=26173 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) D 26173 26181 26121 0 -1 1077944384 2976 0 0 0 3 0 0 0 20 0 9 0 413989485 10506571776 5402 33554432000 4194304 4196468 140737297115120 139891163848488 139891152291189 0 4 0 16800971 18446744072101584420 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10260324 memory=345 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413989499 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10260324 memory=301934576034460288 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413989499 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10260324 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413989499 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10260324 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413989499 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10260324 memory=7160715882186241269 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413989501 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413989501 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890462934688 139891159623381 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 413989502 10506571776 5402 33554432000 4194304 4196468 140737297115120 139890461881584 139891159623381 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 21608 KiB

[startup+0.700747 s]
/proc/loadavg: 0.00 0.01 0.05 4/228 26211
/proc/meminfo: memFree=31549284/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=10659884 memory=40320 CPUtime=0.47 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 9367 0 0 0 44 3 0 0 20 0 15 0 413989472 10915721216 10080 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2664971 10080 3002 1 0 2627468 0
[pid=26181/tid=26185] ppid=26173 vsize=10659884 memory=225030516559014 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) R 26173 26181 26121 0 -1 4202560 6341 0 0 0 28 2 0 0 20 0 15 0 413989485 10915721216 10080 33554432000 4194304 4196468 140737297115120 139891163845584 139891159635101 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989499 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989499 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989499 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413989499 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10659884 memory=4200 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413989501 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10659884 memory=984 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413989501 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890462934688 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10659884 memory=626 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413989502 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890461881584 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413989511 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10659884 memory=15586 CPUtime=0.04 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 513 0 0 0 4 0 0 0 20 0 15 0 413989511 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10659884 memory=1343 CPUtime=0.04 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 546 0 0 0 4 0 0 0 20 0 15 0 413989511 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10659884 memory=11 CPUtime=0.07 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 608 0 0 0 7 0 0 0 20 0 15 0 413989511 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10659884 memory=150 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413989511 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10659884 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989516 10915721216 10080 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40320 KiB

[startup+1.50077 s]
/proc/loadavg: 0.00 0.01 0.05 5/228 26211
/proc/meminfo: memFree=31496640/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=10663980 memory=67992 CPUtime=1.56 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 15097 0 0 0 150 6 0 0 20 0 15 0 413989472 10919915520 16998 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2665995 16998 3080 1 0 2628492 0
[pid=26181/tid=26185] ppid=26173 vsize=10663980 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) R 26173 26181 26121 0 -1 4202560 10769 0 0 0 106 4 0 0 20 0 15 0 413989485 10919915520 16998 33554432000 4194304 4196468 140737297115120 139891163839056 139891143693662 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10663980 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989499 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989499 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10663980 memory=140417379319888 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413989499 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413989499 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413989501 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413989501 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890462934688 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10663980 memory=7234303152781525078 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413989502 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890461881584 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10663980 memory=288288895970575215 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413989511 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10663980 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 1213 0 0 0 12 0 0 0 20 0 15 0 413989511 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10663980 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 792 0 0 0 12 0 0 0 20 0 15 0 413989511 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 963 0 0 0 18 0 0 0 20 0 15 0 413989511 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413989511 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10663980 memory=140417475626977 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413989516 10919915520 16998 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 67992 KiB

[startup+3.11058 s]
/proc/loadavg: 0.00 0.01 0.05 8/230 26213
/proc/meminfo: memFree=31303532/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=10748324 memory=150668 CPUtime=3.71 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 22901 0 3 0 359 12 0 0 20 0 16 0 413989472 11006283776 37667 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2687081 37667 3347 1 0 2647217 0
[pid=26181/tid=26185] ppid=26173 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) S 26173 26181 26121 0 -1 1077944384 13810 0 3 0 182 6 0 0 20 0 16 0 413989485 11006283776 37667 33554432000 4194304 4196468 140737297115120 139891163856048 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10748324 memory=252827544898728 CPUtime=0.01 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 413989499 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 413989499 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10748324 memory=280834758274512 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 413989499 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10748324 memory=280834758157008 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 413989499 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10748324 memory=94896 CPUtime=0.01 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 667 0 0 0 1 0 0 0 20 0 16 0 413989501 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10748324 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 413989501 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890462934752 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 413989502 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890461881600 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10748324 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 1835 0 0 0 41 1 0 0 20 0 16 0 413989511 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10748324 memory=140417379281299 CPUtime=0.42 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 1348 0 0 0 42 0 0 0 20 0 16 0 413989511 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10748324 memory=280834758960736 CPUtime=0.48 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 1758 0 0 0 48 0 0 0 20 0 16 0 413989511 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989516 11006283776 37667 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26213] ppid=26173 vsize=10748324 memory=-2893623298589923098 CPUtime=0.39 cores=0,2,4,6
/proc/26181/task/26213/stat : 26213 (java) R 26173 26181 26121 0 -1 4202560 1885 0 0 0 39 0 0 0 20 0 16 0 413989737 11006283776 37667 33554432000 4194304 4196468 140737297115120 139889795185456 139890797904934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 3.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 150668 KiB

[startup+6.30074 s]
/proc/loadavg: 0.16 0.05 0.06 4/230 26213
/proc/meminfo: memFree=31217832/32770624 swapFree=66918524/67108860
[pid=26181] ppid=26173 vsize=10748324 memory=170784 CPUtime=9.31 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 35469 0 3 0 916 15 0 0 20 0 16 0 413989472 11006283776 42696 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2687081 42696 3352 1 0 2647217 0

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

[startup+870.401 s]
/proc/loadavg: 1.91 1.78 1.16 3/229 26524
/proc/meminfo: memFree=31073680/32770624 swapFree=66918536/67108860
[pid=26181] ppid=26173 vsize=10748324 memory=205292 CPUtime=875.63 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 79862 0 3 0 87528 35 0 0 20 0 16 0 413989472 11006283776 51323 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2687081 51323 3385 1 0 2647217 0
[pid=26181/tid=26185] ppid=26173 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) S 26173 26181 26121 0 -1 1077944384 13810 0 3 0 182 6 0 0 20 0 16 0 413989485 11006283776 51323 33554432000 4194304 4196468 140737297115120 139891163856048 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10748324 memory=4126316290023845779 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 2255 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10748324 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 2739 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10748324 memory=1000 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 3522 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10748324 memory=1704 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 1267 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10748324 memory=5936 CPUtime=0.12 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 2828 0 0 0 10 2 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10748324 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890462934752 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10748324 memory=21044 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 413989502 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890461881600 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10748324 memory=140419660775859 CPUtime=2.46 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 16004 0 0 0 243 3 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10748324 memory=2012 CPUtime=1.55 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 9952 0 0 0 153 2 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10748324 memory=1324 CPUtime=0.73 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 11195 0 0 0 72 1 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10748324 memory=205292 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10748324 memory=21044 CPUtime=0.25 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 881 0 0 0 11 14 0 0 20 0 16 0 413989516 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26213] ppid=26173 vsize=10748324 memory=205292 CPUtime=867.31 cores=0,2,4,6
/proc/26181/task/26213/stat : 26213 (java) R 26173 26181 26121 0 -1 4202560 13966 0 0 0 86727 4 0 0 20 0 16 0 413989737 11006283776 51323 33554432000 4194304 4196468 140737297115120 139889795186672 139890798265846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 875.63 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205292 KiB

[startup+871.201 s]
/proc/loadavg: 1.91 1.78 1.16 3/229 26524
/proc/meminfo: memFree=31073804/32770624 swapFree=66918536/67108860
[pid=26181] ppid=26173 vsize=10748324 memory=205292 CPUtime=876.44 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 79863 0 3 0 87609 35 0 0 20 0 16 0 413989472 11006283776 51323 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2687081 51323 3385 1 0 2647217 0
[pid=26181/tid=26185] ppid=26173 vsize=10748324 memory=780 CPUtime=1.88 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) S 26173 26181 26121 0 -1 1077944384 13810 0 3 0 182 6 0 0 20 0 16 0 413989485 11006283776 51323 33554432000 4194304 4196468 140737297115120 139891163856048 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10748324 memory=205292 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 2255 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10748324 memory=205292 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 2739 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10748324 memory=1492 CPUtime=0.31 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 3522 0 0 0 30 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10748324 memory=2828 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 1267 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10748324 memory=1000 CPUtime=0.12 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 2828 0 0 0 10 2 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890462934752 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 413989502 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890461881600 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10748324 memory=1324 CPUtime=2.46 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 16004 0 0 0 243 3 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10748324 memory=1000 CPUtime=1.55 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 9952 0 0 0 153 2 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10748324 memory=1560 CPUtime=0.73 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 11195 0 0 0 72 1 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10748324 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10748324 memory=6791534058613427641 CPUtime=0.25 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 881 0 0 0 11 14 0 0 20 0 16 0 413989516 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26213] ppid=26173 vsize=10748324 memory=2828 CPUtime=868.11 cores=0,2,4,6
/proc/26181/task/26213/stat : 26213 (java) R 26173 26181 26121 0 -1 4202560 13967 0 0 0 86807 4 0 0 20 0 16 0 413989737 11006283776 51323 33554432000 4194304 4196468 140737297115120 139889795186800 139890798624741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 876.44 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205292 KiB

[startup+871.601 s]
/proc/loadavg: 1.91 1.78 1.16 3/229 26524
/proc/meminfo: memFree=31073804/32770624 swapFree=66918536/67108860
[pid=26181] ppid=26173 vsize=10748324 memory=205292 CPUtime=876.84 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 79863 0 3 0 87649 35 0 0 20 0 16 0 413989472 11006283776 51323 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2687081 51323 3385 1 0 2647217 0
[pid=26181/tid=26185] ppid=26173 vsize=10748324 memory=1560 CPUtime=1.88 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) S 26173 26181 26121 0 -1 1077944384 13810 0 3 0 182 6 0 0 20 0 16 0 413989485 11006283776 51323 33554432000 4194304 4196468 140737297115120 139891163856048 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10748324 memory=3616 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 2255 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10748324 memory=21044 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 2739 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10748324 memory=3616 CPUtime=0.31 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 3522 0 0 0 30 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10748324 memory=21044 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 1267 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10748324 memory=988 CPUtime=0.12 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 2828 0 0 0 10 2 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10748324 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890462934752 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10748324 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 413989502 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890461881600 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10748324 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10748324 memory=5936 CPUtime=2.46 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 16004 0 0 0 243 3 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10748324 memory=588 CPUtime=1.55 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 9952 0 0 0 153 2 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10748324 memory=1000 CPUtime=0.73 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 11195 0 0 0 72 1 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10748324 memory=1172 CPUtime=0.25 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 881 0 0 0 11 14 0 0 20 0 16 0 413989516 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26213] ppid=26173 vsize=10748324 memory=14008 CPUtime=868.51 cores=0,2,4,6
/proc/26181/task/26213/stat : 26213 (java) R 26173 26181 26121 0 -1 4202560 13967 0 0 0 86847 4 0 0 20 0 16 0 413989737 11006283776 51323 33554432000 4194304 4196468 140737297115120 139889795186800 139890797993031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 876.84 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205292 KiB

[startup+871.801 s]
/proc/loadavg: 1.91 1.78 1.16 3/229 26524
/proc/meminfo: memFree=31073804/32770624 swapFree=66918536/67108860
[pid=26181] ppid=26173 vsize=10748324 memory=205292 CPUtime=877.04 cores=0,2,4,6
/proc/26181/stat : 26181 (java) S 26173 26181 26121 0 -1 1077944320 79863 0 3 0 87669 35 0 0 20 0 16 0 413989472 11006283776 51323 33554432000 4194304 4196468 140737297115120 140737297097664 139891159613175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
/proc/26181/statm: 2687081 51323 3385 1 0 2647217 0
[pid=26181/tid=26185] ppid=26173 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/26181/task/26185/stat : 26185 (java) S 26173 26181 26121 0 -1 1077944384 13810 0 3 0 182 6 0 0 20 0 16 0 413989485 11006283776 51323 33554432000 4194304 4196468 140737297115120 139891163856048 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26190] ppid=26173 vsize=10748324 memory=8068 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26190/stat : 26190 (java) S 26173 26181 26121 0 -1 1077944384 2255 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890766043664 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26191] ppid=26173 vsize=10748324 memory=528 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26191/stat : 26191 (java) S 26173 26181 26121 0 -1 1077944384 2739 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890764991120 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26192] ppid=26173 vsize=10748324 memory=1560 CPUtime=0.31 cores=0,2,4,6
/proc/26181/task/26192/stat : 26192 (java) S 26173 26181 26121 0 -1 1077944384 3522 0 0 0 30 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890763938064 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26193] ppid=26173 vsize=10748324 memory=932 CPUtime=0.3 cores=0,2,4,6
/proc/26181/task/26193/stat : 26193 (java) S 26173 26181 26121 0 -1 1077944384 1267 0 0 0 29 1 0 0 20 0 16 0 413989499 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890762885520 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26195] ppid=26173 vsize=10748324 memory=780 CPUtime=0.12 cores=0,2,4,6
/proc/26181/task/26195/stat : 26195 (java) S 26173 26181 26121 0 -1 1077944384 2828 0 0 0 10 2 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890463988464 139891159624322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26197] ppid=26173 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26197/stat : 26197 (java) S 26173 26181 26121 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 413989501 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890462934752 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26199] ppid=26173 vsize=10748324 memory=11464 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26199/stat : 26199 (java) S 26173 26181 26121 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 413989502 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890461881600 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26204] ppid=26173 vsize=10748324 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26204/stat : 26204 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890460830160 139891159631771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26205] ppid=26173 vsize=10748324 memory=2828 CPUtime=2.46 cores=0,2,4,6
/proc/26181/task/26205/stat : 26205 (java) S 26173 26181 26121 0 -1 1077944384 16004 0 0 0 243 3 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890459777264 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26206] ppid=26173 vsize=10748324 memory=1492 CPUtime=1.55 cores=0,2,4,6
/proc/26181/task/26206/stat : 26206 (java) S 26173 26181 26121 0 -1 1077944384 9952 0 0 0 153 2 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890458724720 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26207] ppid=26173 vsize=10748324 memory=864 CPUtime=0.73 cores=0,2,4,6
/proc/26181/task/26207/stat : 26207 (java) S 26173 26181 26121 0 -1 1077944384 11195 0 0 0 72 1 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890457671664 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26209] ppid=26173 vsize=10748324 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26181/task/26209/stat : 26209 (java) S 26173 26181 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413989511 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890456619360 139891159623381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26211] ppid=26173 vsize=10748324 memory=1980 CPUtime=0.25 cores=0,2,4,6
/proc/26181/task/26211/stat : 26211 (java) S 26173 26181 26121 0 -1 1077944384 881 0 0 0 11 14 0 0 20 0 16 0 413989516 11006283776 51323 33554432000 4194304 4196468 140737297115120 139890455567408 139891159624322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
[pid=26181/tid=26213] ppid=26173 vsize=10748324 memory=2432 CPUtime=868.71 cores=0,2,4,6
/proc/26181/task/26213/stat : 26213 (java) R 26173 26181 26121 0 -1 4202560 13967 0 0 0 86867 4 0 0 20 0 16 0 413989737 11006283776 51323 33554432000 4194304 4196468 140737297115120 139889795186800 139890798689189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35635200 140737297122315 140737297122418 140737297122418 140737297125327 0
Current children cumulated CPU time: 877.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205292 KiB

Child status: 0
Real time (s): 871.874
CPU time (s): 877.12
CPU user time (s): 876.765
CPU system time (s): 0.355159
CPU usage (%): 100.602
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 254444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 876.765
system time used= 0.355159
maximum resident set size= 254448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80519
page faults= 3
swaps= 0
block input operations= 5496
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24382
involuntary context switches= 1095


# summary of solver processes directly reported to runsolver:
#   pid: 26181
#   total CPU time (s): 877.12
#   total CPU user time (s): 876.765
#   total CPU system time (s): 0.355159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6282 second user time and 8.09448 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-13 15:14:33
IDJOB=4390827
IDBENCH=115848
IDSOLVER=2832
FILE ID=node141/4390827-1568380515
RUNJOBID= node141-1568380473-26152
PBS_JOBID= 21701828
Free space on /tmp= 56112 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-3.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390827-1568380515/watcher-4390827-1568380515 -o /tmp/evaluation-result-4390827-1568380515/solver-4390827-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568380473-26152 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390827-1568380515.xml -cm

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

MD5SUM BENCH= 486402128da484f7cb4aeca2fb99213d
RANDOM SEED=139609832

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31587656 kB
MemAvailable:   31844468 kB
Buffers:          142700 kB
Cached:           402768 kB
SwapCached:        80996 kB
Active:           250188 kB
Inactive:         379104 kB
Active(anon):       9056 kB
Inactive(anon):   106304 kB
Active(file):     241132 kB
Inactive(file):   272800 kB
Unevictable:      109460 kB
Mlocked:          109460 kB
SwapTotal:      67108860 kB
SwapFree:       66918524 kB
Dirty:             17172 kB
Writeback:             0 kB
AnonPages:        112740 kB
Mapped:            34928 kB
Shmem:             22568 kB
Slab:             146472 kB
SReclaimable:     117432 kB
SUnreclaim:        29040 kB
KernelStack:        3248 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501968 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:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 56092 MiB
End job on node141 at 2019-09-13 15:29:06