Trace number 4391314

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-23SAT (TO)821 2400.07 2389.61

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-13.xml
MD5SUMd698eba466bb4d42bacc008ef87467ee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark549
Best CPU time to get the best result obtained on this benchmark2009.97
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size66
Maximum domain size150
Distribution of domain sizes[{"size":66,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
3.25/2.13	  Instance
3.25/2.13	    name=instance-4391314-1568390658, framework=COP, bounds=-infty..+infty
3.25/2.13	
3.25/2.13	  Loading variables...
3.25/2.18	  Loading constraints...
4.15/2.46	
4.15/2.46	  Domains
4.15/2.46	    nTypes=2, nValues=32400, sizes=[66#150,150#150]
4.15/2.46	  Variables
4.15/2.46	    count=300, degrees=[2#150,3#150]
4.15/2.46	  Objectives
4.15/2.46	    way=min, type=SumSimpleLE
4.15/2.46	  Constraints
4.15/2.46	    count=152, nSpecific=152, arities=[3#150,150#2]
4.15/2.46	    distribution=[AllDifferent#1,CtrExtensionCT-Table#150,SumSimpleLE#1]
4.15/2.46	    tables=[22350#150], nTotalTuples=3352500
4.15/2.46	    nExtStructures=(1,shared:149)
4.15/2.46	    wck=0.622, cpu=2.376, mem=216M772
4.45/2.51	  Solver SolverBacktrack being built...
4.45/2.51	
4.45/2.54	
4.45/2.54	  Solver
4.45/2.54	    guaranteedGAC=true
4.45/2.54	    wck=0.696, cpu=2.448, mem=245M842
4.45/2.58	
4.45/2.58	  Preprocessing
4.45/2.58	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.45/2.58	    wck=0.037, cpu=2.488, mem=245M842
4.45/2.58	
5.88/3.04	o 2604
5.88/3.06	    num=0, depth=301..299, filters=1986, ccks=152, wck=0.52, mem=215M363
5.88/3.06	    decisions=149, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=2604
5.88/3.06	    nFilterCalls=11622, avgTableProportion=0.9999552572705142, avgTableSize=22349.0
5.88/3.06	    
6.26/3.28	o 2582
6.26/3.29	    num=1, depth=147..299, filters=3980, ccks=304, wck=0.754, mem=217M956
6.26/3.29	    decisions=300, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=2582
6.26/3.29	    nFilterCalls=23107, avgTableProportion=0.9999552572702104, avgTableSize=22349.0
6.26/3.29	    
6.78/3.52	o 2572
6.78/3.54	    num=2, depth=301..299, filters=5967, ccks=456, wck=0.999, mem=217M956
6.78/3.54	    decisions=447, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=3, bestBound=2572
6.78/3.54	    nFilterCalls=34580, avgTableProportion=0.9999552572701085, avgTableSize=22349.0
6.78/3.54	    
7.16/3.76	o 2551
7.16/3.77	    num=3, depth=2..299, filters=7983, ccks=608, wck=1.234, mem=220M550
7.16/3.77	    decisions=608, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=4, bestBound=2551
7.16/3.77	    nFilterCalls=45951, avgTableProportion=0.9999552572700576, avgTableSize=22349.0
7.16/3.77	    
7.37/3.97	o 2523
7.37/3.98	    num=4, depth=301..299, filters=9956, ccks=760, wck=1.443, mem=220M550
7.37/3.98	    decisions=758, wrong=7, backtracks=0, failedAssignments=7, nogoods=7, foundSolutions=5, bestBound=2523
7.37/3.98	    nFilterCalls=57429, avgTableProportion=0.9999552572700268, avgTableSize=22349.0
7.37/3.98	    
7.61/4.18	    num=5, depth=144..146, filters=12071, ccks=760, wck=1.646, mem=220M550
7.61/4.18	    decisions=929, wrong=20, backtracks=3, failedAssignments=18, nogoods=13, foundSolutions=5, bestBound=2523
7.61/4.18	    nFilterCalls=68866, avgTableProportion=0.9999552572700062, avgTableSize=22349.0
7.61/4.18	    
7.81/4.39	    num=6, depth=81..153, filters=13388, ccks=760, wck=1.855, mem=231M316
7.81/4.39	    decisions=1114, wrong=38, backtracks=10, failedAssignments=29, nogoods=16, foundSolutions=5, bestBound=2523
7.81/4.39	    nFilterCalls=78869, avgTableProportion=0.9999552572699931, avgTableSize=22349.0
7.81/4.39	    
8.02/4.59	o 1572
8.14/4.60	    num=7, depth=301..299, filters=15571, ccks=912, wck=2.065, mem=231M316
8.14/4.60	    decisions=1269, wrong=38, backtracks=10, failedAssignments=29, nogoods=16, foundSolutions=6, bestBound=1572
8.14/4.60	    nFilterCalls=90136, avgTableProportion=0.9999552572699819, avgTableSize=22349.0
8.14/4.60	    
8.42/4.82	    num=8, depth=142..143, filters=17834, ccks=912, wck=2.278, mem=233M910
8.42/4.82	    decisions=1439, wrong=52, backtracks=11, failedAssignments=42, nogoods=23, foundSolutions=6, bestBound=1572
8.42/4.82	    nFilterCalls=101539, avgTableProportion=0.999955257269973, avgTableSize=22349.0
8.42/4.82	    
8.63/5.03	    num=9, depth=125..127, filters=20004, ccks=912, wck=2.488, mem=233M910
8.63/5.03	    decisions=1590, wrong=65, backtracks=13, failedAssignments=53, nogoods=27, foundSolutions=6, bestBound=1572
8.63/5.03	    nFilterCalls=112997, avgTableProportion=0.9999552572699659, avgTableSize=22349.0
8.63/5.03	    
8.83/5.24	    num=10, depth=131..133, filters=22538, ccks=912, wck=2.703, mem=236M503
8.83/5.24	    decisions=1748, wrong=78, backtracks=14, failedAssignments=65, nogoods=33, foundSolutions=6, bestBound=1572
8.83/5.24	    nFilterCalls=125078, avgTableProportion=0.9999552572699598, avgTableSize=22349.0
8.83/5.24	    
9.03/5.44	    num=11, depth=149..151, filters=24760, ccks=912, wck=2.906, mem=236M503
9.03/5.44	    decisions=1929, wrong=93, backtracks=16, failedAssignments=78, nogoods=40, foundSolutions=6, bestBound=1572
9.03/5.44	    nFilterCalls=136586, avgTableProportion=0.9999552572705419, avgTableSize=22349.0
9.03/5.44	    
9.23/5.64	    num=12, depth=133..134, filters=27140, ccks=912, wck=3.104, mem=239M97
9.23/5.64	    decisions=2096, wrong=110, backtracks=19, failedAssignments=92, nogoods=54, foundSolutions=6, bestBound=1572
9.23/5.64	    nFilterCalls=147844, avgTableProportion=0.9999552572716014, avgTableSize=22349.0
9.23/5.64	    
9.43/5.84	    num=13, depth=142..144, filters=29789, ccks=912, wck=3.307, mem=239M97
9.43/5.84	    decisions=2275, wrong=128, backtracks=21, failedAssignments=108, nogoods=62, foundSolutions=6, bestBound=1572
9.43/5.84	    nFilterCalls=159455, avgTableProportion=0.9999552572725373, avgTableSize=22349.0
9.43/5.84	    
9.65/6.04	    num=14, depth=119..120, filters=32525, ccks=912, wck=3.506, mem=241M690
9.65/6.04	    decisions=2430, wrong=146, backtracks=22, failedAssignments=125, nogoods=74, foundSolutions=6, bestBound=1572
9.65/6.04	    nFilterCalls=170750, avgTableProportion=0.9999552572733257, avgTableSize=22349.0
9.65/6.04	    
9.84/6.25	    num=15, depth=123..125, filters=35680, ccks=912, wck=3.711, mem=244M284
9.84/6.25	    decisions=2596, wrong=167, backtracks=24, failedAssignments=144, nogoods=86, foundSolutions=6, bestBound=1572
9.84/6.25	    nFilterCalls=182797, avgTableProportion=0.9999552572740591, avgTableSize=22349.0
9.84/6.25	    
10.04/6.45	    num=16, depth=122..124, filters=38811, ccks=912, wck=3.912, mem=244M284
10.04/6.45	    decisions=2765, wrong=190, backtracks=26, failedAssignments=165, nogoods=91, foundSolutions=6, bestBound=1572
10.04/6.45	    nFilterCalls=194349, avgTableProportion=0.999955257274677, avgTableSize=22349.0
10.04/6.45	    
10.24/6.66	    num=17, depth=107..109, filters=42134, ccks=912, wck=4.123, mem=246M878
10.24/6.66	    decisions=2926, wrong=217, backtracks=32, failedAssignments=188, nogoods=102, foundSolutions=6, bestBound=1572
10.24/6.66	    nFilterCalls=206220, avgTableProportion=0.9999552572752399, avgTableSize=22349.0
10.24/6.66	    
10.45/6.89	    num=18, depth=118..121, filters=47400, ccks=912, wck=4.353, mem=249M471
10.45/6.89	    decisions=3102, wrong=246, backtracks=37, failedAssignments=213, nogoods=104, foundSolutions=6, bestBound=1572
10.45/6.89	    nFilterCalls=219978, avgTableProportion=0.9999552572758162, avgTableSize=22349.0
10.45/6.89	    
10.76/7.11	    num=19, depth=128..135, filters=51067, ccks=912, wck=4.575, mem=252M65
10.76/7.11	    decisions=3310, wrong=283, backtracks=46, failedAssignments=241, nogoods=109, foundSolutions=6, bestBound=1572
10.76/7.11	    nFilterCalls=232938, avgTableProportion=0.9999552572762969, avgTableSize=22349.0
10.76/7.11	    
10.95/7.33	    num=20, depth=115..118, filters=55036, ccks=912, wck=4.791, mem=254M658
10.95/7.33	    decisions=3500, wrong=320, backtracks=53, failedAssignments=272, nogoods=123, foundSolutions=6, bestBound=1572
10.95/7.33	    nFilterCalls=245954, avgTableProportion=0.9999552572767286, avgTableSize=22349.0
10.95/7.33	    
11.16/7.55	    num=21, depth=107..109, filters=59073, ccks=912, wck=5.01, mem=257M252
11.16/7.55	    decisions=3688, wrong=360, backtracks=59, failedAssignments=306, nogoods=130, foundSolutions=6, bestBound=1572
11.16/7.55	    nFilterCalls=258790, avgTableProportion=0.9999552572771119, avgTableSize=22349.0
11.16/7.55	    
11.36/7.77	    num=22, depth=115..118, filters=63582, ccks=912, wck=5.231, mem=259M845
11.36/7.77	    decisions=3893, wrong=405, backtracks=68, failedAssignments=343, nogoods=134, foundSolutions=6, bestBound=1572
11.36/7.77	    nFilterCalls=271842, avgTableProportion=0.9999552572774643, avgTableSize=22349.0
11.36/7.77	    
11.56/7.98	    num=23, depth=108..112, filters=67107, ccks=912, wck=5.444, mem=262M439
11.56/7.98	    decisions=4088, wrong=448, backtracks=70, failedAssignments=384, nogoods=165, foundSolutions=6, bestBound=1572
11.56/7.98	    nFilterCalls=283503, avgTableProportion=0.9999552572777518, avgTableSize=22349.0
11.56/7.98	    
11.90/8.22	    num=24, depth=118..120, filters=72032, ccks=912, wck=5.687, mem=267M626
11.90/8.22	    decisions=4305, wrong=497, backtracks=74, failedAssignments=429, nogoods=175, foundSolutions=6, bestBound=1572
11.90/8.22	    nFilterCalls=297721, avgTableProportion=0.999955257278072, avgTableSize=22349.0
11.90/8.22	    
12.10/8.47	    num=25, depth=115..120, filters=76771, ccks=912, wck=5.93, mem=270M220
12.10/8.47	    decisions=4538, wrong=555, backtracks=82, failedAssignments=479, nogoods=180, foundSolutions=6, bestBound=1572
12.10/8.47	    nFilterCalls=311924, avgTableProportion=0.9999552572783627, avgTableSize=22349.0
12.10/8.47	    
12.41/8.73	    num=26, depth=136..140, filters=82424, ccks=912, wck=6.187, mem=272M813
12.41/8.73	    decisions=4827, wrong=631, backtracks=105, failedAssignments=534, nogoods=194, foundSolutions=6, bestBound=1572
12.41/8.73	    nFilterCalls=327195, avgTableProportion=0.999955257278647, avgTableSize=22349.0
12.41/8.73	    
12.61/8.95	    num=27, depth=139..145, filters=86530, ccks=912, wck=6.416, mem=275M407
12.61/8.95	    decisions=5121, wrong=707, backtracks=120, failedAssignments=595, nogoods=206, foundSolutions=6, bestBound=1572
12.61/8.95	    nFilterCalls=341029, avgTableProportion=0.9999552572788826, avgTableSize=22349.0
12.61/8.95	    
12.82/9.18	    num=28, depth=142..144, filters=91203, ccks=912, wck=6.646, mem=278M0
12.82/9.18	    decisions=5418, wrong=784, backtracks=131, failedAssignments=662, nogoods=217, foundSolutions=6, bestBound=1572
12.82/9.18	    nFilterCalls=355203, avgTableProportion=0.999955257279105, avgTableSize=22349.0
12.82/9.18	    
13.16/9.41	    num=29, depth=158..167, filters=96414, ccks=912, wck=6.872, mem=278M0
13.16/9.41	    decisions=5829, wrong=908, backtracks=187, failedAssignments=736, nogoods=225, foundSolutions=6, bestBound=1572
13.16/9.41	    nFilterCalls=369291, avgTableProportion=0.999955257279309, avgTableSize=22349.0
13.16/9.41	    
13.37/9.64	    num=30, depth=156..161, filters=101604, ccks=912, wck=7.107, mem=280M594
13.37/9.64	    decisions=6187, wrong=1008, backtracks=206, failedAssignments=817, nogoods=231, foundSolutions=6, bestBound=1572
13.37/9.64	    nFilterCalls=383430, avgTableProportion=0.9999552572794987, avgTableSize=22349.0
13.37/9.64	    
13.57/9.89	    num=31, depth=152..154, filters=106050, ccks=912, wck=7.354, mem=283M188
13.57/9.89	    decisions=6536, wrong=1106, backtracks=216, failedAssignments=906, nogoods=278, foundSolutions=6, bestBound=1572
13.57/9.89	    nFilterCalls=397215, avgTableProportion=0.9999552572796708, avgTableSize=22349.0
13.57/9.89	    
13.92/10.13	    num=32, depth=163..166, filters=110560, ccks=912, wck=7.594, mem=285M781
13.92/10.13	    decisions=6937, wrong=1225, backtracks=238, failedAssignments=1004, nogoods=298, foundSolutions=6, bestBound=1572
13.92/10.13	    nFilterCalls=411058, avgTableProportion=0.9999552572798319, avgTableSize=22349.0
13.92/10.13	    
14.14/10.33	o 1571
14.14/10.34	    num=33, depth=164..299, filters=113674, ccks=1064, wck=7.803, mem=285M781
14.14/10.34	    decisions=7214, wrong=1280, backtracks=255, failedAssignments=1042, nogoods=312, foundSolutions=7, bestBound=1571
14.14/10.34	    nFilterCalls=423516, avgTableProportion=0.9999552572799679, avgTableSize=22349.0
14.14/10.34	    
14.34/10.54	o 1568
14.34/10.54	    num=34, depth=163..299, filters=116554, ccks=1216, wck=8.007, mem=288M375
14.34/10.54	    decisions=7430, wrong=1304, backtracks=264, failedAssignments=1059, nogoods=318, foundSolutions=8, bestBound=1568
14.34/10.54	    nFilterCalls=435435, avgTableProportion=0.9999552572800907, avgTableSize=22349.0
14.34/10.54	    
14.55/10.75	    num=35, depth=162..165, filters=119007, ccks=1216, wck=8.208, mem=288M375
14.55/10.75	    decisions=7623, wrong=1318, backtracks=267, failedAssignments=1070, nogoods=320, foundSolutions=8, bestBound=1568
14.55/10.75	    nFilterCalls=447331, avgTableProportion=0.9999552572802067, avgTableSize=22349.0
14.55/10.75	    
14.75/10.94	    num=36, depth=160..163, filters=121646, ccks=1216, wck=8.403, mem=290M968
14.75/10.94	    decisions=7817, wrong=1334, backtracks=272, failedAssignments=1081, nogoods=324, foundSolutions=8, bestBound=1568
14.75/10.94	    nFilterCalls=459057, avgTableProportion=0.9999552572803153, avgTableSize=22349.0
14.75/10.94	    
14.96/11.13	o 1561
14.96/11.14	    num=37, depth=301..299, filters=124106, ccks=1368, wck=8.604, mem=290M968
14.96/11.14	    decisions=7995, wrong=1334, backtracks=272, failedAssignments=1081, nogoods=324, foundSolutions=9, bestBound=1561
14.96/11.14	    nFilterCalls=470744, avgTableProportion=0.9999552572804181, avgTableSize=22349.0
14.96/11.14	    
15.15/11.35	    num=38, depth=155..160, filters=127246, ccks=1368, wck=8.81, mem=290M968
15.15/11.35	    decisions=8198, wrong=1356, backtracks=281, failedAssignments=1094, nogoods=327, foundSolutions=9, bestBound=1561
15.15/11.35	    nFilterCalls=483108, avgTableProportion=0.9999552572805214, avgTableSize=22349.0
15.15/11.35	    
15.36/11.54	o 1471
15.36/11.55	    num=39, depth=301..299, filters=129409, ccks=1520, wck=9.008, mem=293M562
15.36/11.55	    decisions=8383, wrong=1356, backtracks=281, failedAssignments=1094, nogoods=327, foundSolutions=10, bestBound=1471
15.36/11.55	    nFilterCalls=494530, avgTableProportion=0.9999552572806122, avgTableSize=22349.0
15.36/11.55	    
15.57/11.75	    num=40, depth=161..164, filters=131718, ccks=1520, wck=9.209, mem=293M562
15.57/11.75	    decisions=8574, wrong=1370, backtracks=284, failedAssignments=1106, nogoods=332, foundSolutions=10, bestBound=1471
15.57/11.75	    nFilterCalls=506184, avgTableProportion=0.9999552572807007, avgTableSize=22349.0
15.57/11.75	    
15.77/11.95	    num=41, depth=170..172, filters=134160, ccks=1520, wck=9.407, mem=296M156
15.77/11.95	    decisions=8785, wrong=1390, backtracks=293, failedAssignments=1117, nogoods=337, foundSolutions=10, bestBound=1471
15.77/11.95	    nFilterCalls=517936, avgTableProportion=0.9999552572807859, avgTableSize=22349.0
15.77/11.95	    
15.98/12.15	    num=42, depth=149..153, filters=136796, ccks=1520, wck=9.611, mem=296M156
15.98/12.15	    decisions=8967, wrong=1405, backtracks=296, failedAssignments=1129, nogoods=342, foundSolutions=10, bestBound=1471
15.98/12.15	    nFilterCalls=529998, avgTableProportion=0.9999552572808694, avgTableSize=22349.0
15.98/12.15	    
16.17/12.35	    num=43, depth=170..172, filters=138918, ccks=1520, wck=9.809, mem=296M156
16.17/12.35	    decisions=9174, wrong=1423, backtracks=301, failedAssignments=1142, nogoods=348, foundSolutions=10, bestBound=1471
16.17/12.35	    nFilterCalls=541533, avgTableProportion=0.9999552572809458, avgTableSize=22349.0
16.17/12.35	    
16.37/12.54	o 1395
16.37/12.55	    num=44, depth=301..299, filters=140997, ccks=1672, wck=10.009, mem=298M749
16.37/12.55	    decisions=9358, wrong=1423, backtracks=301, failedAssignments=1142, nogoods=348, foundSolutions=11, bestBound=1395
16.37/12.55	    nFilterCalls=552934, avgTableProportion=0.9999552572810181, avgTableSize=22349.0
16.37/12.55	    
16.60/12.76	    num=45, depth=145..148, filters=143546, ccks=1672, wck=10.221, mem=298M749
16.60/12.76	    decisions=9543, wrong=1442, backtracks=304, failedAssignments=1158, nogoods=360, foundSolutions=11, bestBound=1395
16.60/12.76	    nFilterCalls=565076, avgTableProportion=0.999955257281092, avgTableSize=22349.0
16.60/12.76	    
16.80/12.96	    num=46, depth=167..168, filters=145887, ccks=1672, wck=10.421, mem=301M343
16.80/12.96	    decisions=9738, wrong=1456, backtracks=307, failedAssignments=1169, nogoods=367, foundSolutions=11, bestBound=1395
16.80/12.96	    nFilterCalls=576870, avgTableProportion=0.9999552572811607, avgTableSize=22349.0
16.80/12.96	    
17.01/13.17	    num=47, depth=154..157, filters=148276, ccks=1672, wck=10.627, mem=301M343
17.01/13.17	    decisions=9922, wrong=1470, backtracks=309, failedAssignments=1181, nogoods=372, foundSolutions=11, bestBound=1395
17.01/13.17	    nFilterCalls=588999, avgTableProportion=0.9999552572812286, avgTableSize=22349.0
17.01/13.17	    
17.20/13.37	    num=48, depth=153..159, filters=151059, ccks=1672, wck=10.837, mem=301M343
17.20/13.37	    decisions=10114, wrong=1487, backtracks=313, failedAssignments=1194, nogoods=377, foundSolutions=11, bestBound=1395
17.20/13.37	    nFilterCalls=601394, avgTableProportion=0.9999552572812951, avgTableSize=22349.0
17.20/13.37	    
17.40/13.58	    num=49, depth=163..167, filters=153482, ccks=1672, wck=11.043, mem=303M936
17.40/13.58	    decisions=10328, wrong=1511, backtracks=324, failedAssignments=1208, nogoods=382, foundSolutions=11, bestBound=1395
17.40/13.58	    nFilterCalls=613233, avgTableProportion=0.999955257281356, avgTableSize=22349.0
17.40/13.58	    
17.60/13.78	    num=50, depth=163..165, filters=155778, ccks=1672, wck=11.246, mem=303M936
17.60/13.78	    decisions=10527, wrong=1529, backtracks=326, failedAssignments=1224, nogoods=387, foundSolutions=11, bestBound=1395
17.60/13.78	    nFilterCalls=624938, avgTableProportion=0.9999552572814141, avgTableSize=22349.0
17.60/13.78	    
17.80/13.99	    num=51, depth=165..167, filters=158031, ccks=1672, wck=11.448, mem=306M530
17.80/13.99	    decisions=10730, wrong=1548, backtracks=328, failedAssignments=1241, nogoods=400, foundSolutions=11, bestBound=1395
17.80/13.99	    nFilterCalls=636701, avgTableProportion=0.9999552572814703, avgTableSize=22349.0
17.80/13.99	    
18.02/14.19	    num=52, depth=148..150, filters=160474, ccks=1672, wck=11.655, mem=306M530
18.02/14.19	    decisions=10923, wrong=1570, backtracks=331, failedAssignments=1260, nogoods=402, foundSolutions=11, bestBound=1395
18.02/14.19	    nFilterCalls=648337, avgTableProportion=0.9999552572815239, avgTableSize=22349.0
18.02/14.19	    
18.31/14.40	    num=53, depth=169..172, filters=162983, ccks=1672, wck=11.866, mem=309M124
18.31/14.40	    decisions=11140, wrong=1594, backtracks=334, failedAssignments=1281, nogoods=403, foundSolutions=11, bestBound=1395
18.31/14.40	    nFilterCalls=660377, avgTableProportion=0.9999552572815773, avgTableSize=22349.0
18.31/14.40	    
18.51/14.61	    num=54, depth=151..156, filters=165715, ccks=1672, wck=12.074, mem=309M124
18.51/14.61	    decisions=11351, wrong=1622, backtracks=339, failedAssignments=1304, nogoods=416, foundSolutions=11, bestBound=1395
18.51/14.61	    nFilterCalls=672366, avgTableProportion=0.9999552572816286, avgTableSize=22349.0
18.51/14.61	    
18.72/14.82	    num=55, depth=145..147, filters=167724, ccks=1672, wck=12.283, mem=311M717
18.72/14.82	    decisions=11549, wrong=1648, backtracks=340, failedAssignments=1329, nogoods=418, foundSolutions=11, bestBound=1395
18.72/14.82	    nFilterCalls=683922, avgTableProportion=0.9999552572816763, avgTableSize=22349.0
18.72/14.82	    
18.93/15.04	    num=56, depth=163..167, filters=170565, ccks=1672, wck=12.498, mem=311M717
18.93/15.04	    decisions=11792, wrong=1688, backtracks=352, failedAssignments=1357, nogoods=424, foundSolutions=11, bestBound=1395
18.93/15.04	    nFilterCalls=696457, avgTableProportion=0.9999552572817264, avgTableSize=22349.0
18.93/15.04	    
19.12/15.25	    num=57, depth=156..159, filters=173110, ccks=1672, wck=12.715, mem=314M311
19.12/15.25	    decisions=12020, wrong=1724, backtracks=357, failedAssignments=1388, nogoods=436, foundSolutions=11, bestBound=1395
19.12/15.25	    nFilterCalls=708755, avgTableProportion=0.9999552572817737, avgTableSize=22349.0
19.12/15.25	    
19.32/15.47	    num=58, depth=165..167, filters=175876, ccks=1672, wck=12.937, mem=314M311
19.32/15.47	    decisions=12263, wrong=1763, backtracks=362, failedAssignments=1422, nogoods=452, foundSolutions=11, bestBound=1395
19.32/15.47	    nFilterCalls=721316, avgTableProportion=0.9999552572818204, avgTableSize=22349.0
19.32/15.47	    
19.62/15.70	    num=59, depth=145..151, filters=179200, ccks=1672, wck=13.161, mem=316M904
19.62/15.70	    decisions=12492, wrong=1804, backtracks=366, failedAssignments=1459, nogoods=457, foundSolutions=11, bestBound=1395
19.62/15.70	    nFilterCalls=734274, avgTableProportion=0.999955257281867, avgTableSize=22349.0
19.62/15.70	    
19.82/15.92	    num=60, depth=151..154, filters=182677, ccks=1672, wck=13.382, mem=319M498
19.82/15.92	    decisions=12744, wrong=1854, backtracks=375, failedAssignments=1500, nogoods=474, foundSolutions=11, bestBound=1395
19.82/15.92	    nFilterCalls=747251, avgTableProportion=0.9999552572819118, avgTableSize=22349.0
19.82/15.92	    
20.03/16.14	    num=61, depth=163..166, filters=185723, ccks=1672, wck=13.602, mem=319M498
20.03/16.14	    decisions=13017, wrong=1908, backtracks=384, failedAssignments=1545, nogoods=487, foundSolutions=11, bestBound=1395
20.03/16.14	    nFilterCalls=759482, avgTableProportion=0.9999552572819528, avgTableSize=22349.0
20.03/16.14	    
20.22/16.36	    num=62, depth=151..153, filters=188878, ccks=1672, wck=13.821, mem=322M91
20.22/16.36	    decisions=13279, wrong=1963, backtracks=390, failedAssignments=1595, nogoods=508, foundSolutions=11, bestBound=1395
20.22/16.36	    nFilterCalls=772198, avgTableProportion=0.999955257281994, avgTableSize=22349.0
20.22/16.36	    
20.42/16.59	    num=63, depth=162..169, filters=192303, ccks=1672, wck=14.055, mem=322M91
20.42/16.59	    decisions=13575, wrong=2028, backtracks=400, failedAssignments=1650, nogoods=520, foundSolutions=11, bestBound=1395
20.42/16.59	    nFilterCalls=785448, avgTableProportion=0.9999552572820355, avgTableSize=22349.0
20.42/16.59	    
20.72/16.82	    num=64, depth=164..168, filters=195990, ccks=1672, wck=14.282, mem=324M685
20.72/16.82	    decisions=13902, wrong=2109, backtracks=424, failedAssignments=1711, nogoods=527, foundSolutions=11, bestBound=1395
20.72/16.82	    nFilterCalls=798333, avgTableProportion=0.9999552572820746, avgTableSize=22349.0
20.72/16.82	    
20.93/17.05	    num=65, depth=163..167, filters=199551, ccks=1672, wck=14.513, mem=324M685
20.93/17.05	    decisions=14223, wrong=2187, backtracks=435, failedAssignments=1778, nogoods=537, foundSolutions=11, bestBound=1395
20.93/17.05	    nFilterCalls=811462, avgTableProportion=0.9999552572821131, avgTableSize=22349.0
20.93/17.05	    
21.13/17.29	    num=66, depth=165..169, filters=202932, ccks=1672, wck=14.754, mem=327M279
21.13/17.29	    decisions=14557, wrong=2270, backtracks=445, failedAssignments=1852, nogoods=544, foundSolutions=11, bestBound=1395
21.13/17.29	    nFilterCalls=824681, avgTableProportion=0.9999552572821506, avgTableSize=22349.0
21.13/17.29	    
21.43/17.53	    num=67, depth=161..164, filters=207256, ccks=1672, wck=14.996, mem=329M872
21.43/17.53	    decisions=14915, wrong=2367, backtracks=461, failedAssignments=1933, nogoods=555, foundSolutions=11, bestBound=1395
21.43/17.53	    nFilterCalls=838194, avgTableProportion=0.9999552572821878, avgTableSize=22349.0
21.43/17.53	    
21.63/17.77	    num=68, depth=162..165, filters=211235, ccks=1672, wck=15.232, mem=329M872
21.63/17.77	    decisions=15295, wrong=2476, backtracks=482, failedAssignments=2022, nogoods=557, foundSolutions=11, bestBound=1395
21.63/17.77	    nFilterCalls=851560, avgTableProportion=0.9999552572822233, avgTableSize=22349.0
21.63/17.77	    
21.83/18.00	    num=69, depth=169..171, filters=214665, ccks=1672, wck=15.464, mem=332M466
21.83/18.00	    decisions=15686, wrong=2586, backtracks=494, failedAssignments=2120, nogoods=563, foundSolutions=11, bestBound=1395
21.83/18.00	    nFilterCalls=864423, avgTableProportion=0.9999552572822565, avgTableSize=22349.0
21.83/18.00	    
22.13/18.21	o 1212
22.13/18.22	    num=70, depth=301..299, filters=216684, ccks=1824, wck=15.682, mem=332M466
22.13/18.22	    decisions=15869, wrong=2586, backtracks=494, failedAssignments=2120, nogoods=563, foundSolutions=12, bestBound=1212
22.13/18.22	    nFilterCalls=876077, avgTableProportion=0.9999552572822858, avgTableSize=22349.0
22.13/18.22	    
22.46/18.50	    num=71, depth=160..169, filters=222836, ccks=1824, wck=15.963, mem=335M59
22.46/18.50	    decisions=16343, wrong=2741, backtracks=533, failedAssignments=2239, nogoods=569, foundSolutions=12, bestBound=1212
22.46/18.50	    nFilterCalls=892178, avgTableProportion=0.9999552572823249, avgTableSize=22349.0
22.46/18.50	    
22.66/18.71	    num=72, depth=169..172, filters=224739, ccks=1824, wck=16.172, mem=335M59
22.66/18.71	    decisions=16540, wrong=2755, backtracks=537, failedAssignments=2250, nogoods=574, foundSolutions=12, bestBound=1212
22.66/18.71	    nFilterCalls=903625, avgTableProportion=0.9999552572823519, avgTableSize=22349.0
22.66/18.71	    
22.86/18.93	    num=73, depth=168..169, filters=226795, ccks=1824, wck=16.396, mem=227M961
22.86/18.93	    decisions=16736, wrong=2769, backtracks=539, failedAssignments=2262, nogoods=578, foundSolutions=12, bestBound=1212
22.86/18.93	    nFilterCalls=915330, avgTableProportion=0.9999552572823789, avgTableSize=22349.0
22.86/18.93	    
23.11/19.14	o 971
23.11/19.14	    num=74, depth=301..299, filters=228511, ccks=1976, wck=16.605, mem=227M961
23.11/19.14	    decisions=16910, wrong=2769, backtracks=539, failedAssignments=2262, nogoods=578, foundSolutions=13, bestBound=971
23.11/19.14	    nFilterCalls=926725, avgTableProportion=0.9999552572824044, avgTableSize=22349.0
23.11/19.14	    
23.31/19.36	    num=75, depth=150..153, filters=230424, ccks=1976, wck=16.821, mem=227M961
23.31/19.36	    decisions=17093, wrong=2785, backtracks=541, failedAssignments=2276, nogoods=591, foundSolutions=13, bestBound=971
23.31/19.36	    nFilterCalls=938139, avgTableProportion=0.9999552572824293, avgTableSize=22349.0
23.31/19.36	    
23.51/19.57	    num=76, depth=163..165, filters=232418, ccks=1976, wck=17.034, mem=227M961
23.51/19.57	    decisions=17282, wrong=2798, backtracks=543, failedAssignments=2287, nogoods=595, foundSolutions=13, bestBound=971
23.51/19.57	    nFilterCalls=949785, avgTableProportion=0.9999552572824542, avgTableSize=22349.0
23.51/19.57	    
23.71/19.79	    num=77, depth=149..155, filters=234399, ccks=1976, wck=17.248, mem=232M249
23.71/19.79	    decisions=17465, wrong=2812, backtracks=545, failedAssignments=2299, nogoods=606, foundSolutions=13, bestBound=971
23.71/19.79	    nFilterCalls=961265, avgTableProportion=0.999955257282478, avgTableSize=22349.0
23.71/19.79	    
23.93/20.00	    num=78, depth=170..172, filters=236444, ccks=1976, wck=17.459, mem=232M249
23.93/20.00	    decisions=17665, wrong=2827, backtracks=547, failedAssignments=2312, nogoods=614, foundSolutions=13, bestBound=971
23.93/20.00	    nFilterCalls=972867, avgTableProportion=0.9999552572825017, avgTableSize=22349.0
23.93/20.00	    
24.23/20.21	    num=79, depth=156..158, filters=238487, ccks=1976, wck=17.671, mem=232M249
24.23/20.21	    decisions=17853, wrong=2842, backtracks=548, failedAssignments=2326, nogoods=626, foundSolutions=13, bestBound=971
24.23/20.21	    nFilterCalls=984240, avgTableProportion=0.9999552572825242, avgTableSize=22349.0
24.23/20.21	    
24.43/20.42	    num=80, depth=154..158, filters=240480, ccks=1976, wck=17.886, mem=232M249
24.43/20.42	    decisions=18059, wrong=2867, backtracks=558, failedAssignments=2342, nogoods=633, foundSolutions=13, bestBound=971
24.43/20.42	    nFilterCalls=995976, avgTableProportion=0.999955257282547, avgTableSize=22349.0
24.43/20.42	    
24.63/20.64	    num=81, depth=142..144, filters=242579, ccks=1976, wck=18.103, mem=236M537
24.63/20.64	    decisions=18243, wrong=2888, backtracks=562, failedAssignments=2359, nogoods=649, foundSolutions=13, bestBound=971
24.63/20.64	    nFilterCalls=1007544, avgTableProportion=0.9999552572825688, avgTableSize=22349.0
24.63/20.64	    
24.85/20.85	    num=82, depth=168..170, filters=244657, ccks=1976, wck=18.317, mem=236M537
24.85/20.85	    decisions=18464, wrong=2914, backtracks=569, failedAssignments=2378, nogoods=654, foundSolutions=13, bestBound=971
24.85/20.85	    nFilterCalls=1019296, avgTableProportion=0.9999552572825906, avgTableSize=22349.0
24.85/20.85	    
25.06/21.07	    num=83, depth=149..151, filters=246655, ccks=1976, wck=18.532, mem=236M537
25.06/21.07	    decisions=18659, wrong=2937, backtracks=571, failedAssignments=2399, nogoods=661, foundSolutions=13, bestBound=971
25.06/21.07	    nFilterCalls=1031054, avgTableProportion=0.9999552572826119, avgTableSize=22349.0
25.06/21.07	    
25.25/21.29	    num=84, depth=158..162, filters=249257, ccks=1976, wck=18.754, mem=236M537
25.25/21.29	    decisions=18891, wrong=2974, backtracks=586, failedAssignments=2422, nogoods=666, foundSolutions=13, bestBound=971
25.25/21.29	    nFilterCalls=1043052, avgTableProportion=0.9999552572826331, avgTableSize=22349.0
25.25/21.29	    
25.55/21.51	    num=85, depth=152..154, filters=251192, ccks=1976, wck=18.976, mem=240M826
25.55/21.51	    decisions=19098, wrong=3001, backtracks=588, failedAssignments=2447, nogoods=683, foundSolutions=13, bestBound=971
25.55/21.51	    nFilterCalls=1054850, avgTableProportion=0.9999552572819661, avgTableSize=22349.0
25.55/21.51	    
25.75/21.75	    num=86, depth=160..162, filters=253780, ccks=1976, wck=19.209, mem=240M826
25.75/21.75	    decisions=19325, wrong=3034, backtracks=593, failedAssignments=2475, nogoods=703, foundSolutions=13, bestBound=971
25.75/21.75	    nFilterCalls=1067317, avgTableProportion=0.9999552572806354, avgTableSize=22349.0
25.75/21.75	    
25.95/21.98	    num=87, depth=146..150, filters=257329, ccks=1976, wck=19.445, mem=245M114
25.95/21.98	    decisions=19563, wrong=3079, backtracks=607, failedAssignments=2506, nogoods=706, foundSolutions=13, bestBound=971
25.95/21.98	    nFilterCalls=1080773, avgTableProportion=0.9999552572792335, avgTableSize=22349.0
25.95/21.98	    
26.25/22.21	    num=88, depth=153..155, filters=259608, ccks=1976, wck=19.675, mem=245M114
26.25/22.21	    decisions=19795, wrong=3118, backtracks=612, failedAssignments=2540, nogoods=727, foundSolutions=13, bestBound=971
26.25/22.21	    nFilterCalls=1092936, avgTableProportion=0.9999552572779961, avgTableSize=22349.0
26.25/22.21	    
26.45/22.44	    num=89, depth=137..140, filters=262492, ccks=1976, wck=19.907, mem=249M402
26.45/22.44	    decisions=20034, wrong=3169, backtracks=626, failedAssignments=2577, nogoods=731, foundSolutions=13, bestBound=971
26.45/22.44	    nFilterCalls=1105374, avgTableProportion=0.9999552572767588, avgTableSize=22349.0
26.45/22.44	    
26.65/22.67	    num=90, depth=163..167, filters=265276, ccks=1976, wck=20.131, mem=249M402
26.65/22.67	    decisions=20310, wrong=3225, backtracks=641, failedAssignments=2618, nogoods=739, foundSolutions=13, bestBound=971
26.65/22.67	    nFilterCalls=1117800, avgTableProportion=0.9999552572755502, avgTableSize=22349.0
26.65/22.67	    
26.95/22.90	    num=91, depth=141..145, filters=268404, ccks=1976, wck=20.363, mem=249M402
26.95/22.90	    decisions=20559, wrong=3279, backtracks=652, failedAssignments=2663, nogoods=757, foundSolutions=13, bestBound=971
26.95/22.90	    nFilterCalls=1131192, avgTableProportion=0.9999552572742775, avgTableSize=22349.0
26.95/22.90	    
27.16/23.15	    num=92, depth=136..140, filters=271830, ccks=1976, wck=20.611, mem=253M690
27.16/23.15	    decisions=20815, wrong=3338, backtracks=662, failedAssignments=2713, nogoods=780, foundSolutions=13, bestBound=971
27.16/23.15	    nFilterCalls=1144378, avgTableProportion=0.9999552572730533, avgTableSize=22349.0
27.16/23.15	    
27.45/23.41	    num=93, depth=156..160, filters=276077, ccks=1976, wck=20.87, mem=253M690
27.45/23.41	    decisions=21134, wrong=3419, backtracks=688, failedAssignments=2768, nogoods=800, foundSolutions=13, bestBound=971
27.45/23.41	    nFilterCalls=1158914, avgTableProportion=0.9999552572717362, avgTableSize=22349.0
27.45/23.41	    
27.65/23.65	    num=94, depth=140..147, filters=279135, ccks=1976, wck=21.109, mem=257M978
27.65/23.65	    decisions=21409, wrong=3484, backtracks=692, failedAssignments=2829, nogoods=831, foundSolutions=13, bestBound=971
27.65/23.65	    nFilterCalls=1171779, avgTableProportion=0.9999552572705976, avgTableSize=22349.0
27.65/23.65	    
27.85/23.89	    num=95, depth=162..166, filters=282135, ccks=1976, wck=21.347, mem=257M978
27.85/23.89	    decisions=21745, wrong=3570, backtracks=712, failedAssignments=2896, nogoods=843, foundSolutions=13, bestBound=971
27.85/23.89	    nFilterCalls=1184862, avgTableProportion=0.9999552572694652, avgTableSize=22349.0
27.85/23.89	    
28.16/24.15	    num=96, depth=142..146, filters=286182, ccks=1976, wck=21.611, mem=262M266
28.16/24.15	    decisions=22061, wrong=3656, backtracks=724, failedAssignments=2970, nogoods=862, foundSolutions=13, bestBound=971
28.16/24.15	    nFilterCalls=1199277, avgTableProportion=0.9999552572682462, avgTableSize=22349.0
28.16/24.15	    
28.45/24.41	    num=97, depth=143..148, filters=290653, ccks=1976, wck=21.873, mem=266M554
28.45/24.41	    decisions=22396, wrong=3750, backtracks=738, failedAssignments=3051, nogoods=883, foundSolutions=13, bestBound=971
28.45/24.41	    nFilterCalls=1213663, avgTableProportion=0.9999552572670584, avgTableSize=22349.0
28.45/24.41	    
28.65/24.67	    num=98, depth=145..150, filters=295006, ccks=1976, wck=22.135, mem=270M842
28.65/24.67	    decisions=22786, wrong=3872, backtracks=773, failedAssignments=3140, nogoods=899, foundSolutions=13, bestBound=971
28.65/24.67	    nFilterCalls=1228291, avgTableProportion=0.9999552572658791, avgTableSize=22349.0
28.65/24.67	    
28.95/24.92	    num=99, depth=153..156, filters=299185, ccks=1976, wck=22.386, mem=270M842
28.95/24.92	    decisions=23170, wrong=3987, backtracks=790, failedAssignments=3238, nogoods=929, foundSolutions=13, bestBound=971
28.95/24.92	    nFilterCalls=1242144, avgTableProportion=0.999955257264788, avgTableSize=22349.0
28.95/24.92	    
29.17/25.13	o 969
29.17/25.14	    num=100, depth=173..299, filters=300886, ccks=2128, wck=22.6, mem=270M842
29.17/25.14	    decisions=23352, wrong=3991, backtracks=791, failedAssignments=3241, nogoods=932, foundSolutions=14, bestBound=969
29.17/25.14	    nFilterCalls=1253257, avgTableProportion=0.9999552572639301, avgTableSize=22349.0
29.17/25.14	    
29.36/25.39	    num=101, depth=163..167, filters=304995, ccks=2128, wck=22.852, mem=276M50
29.36/25.39	    decisions=23791, wrong=4128, backtracks=809, failedAssignments=3360, nogoods=940, foundSolutions=14, bestBound=969
29.36/25.39	    nFilterCalls=1267195, avgTableProportion=0.9999552572628754, avgTableSize=22349.0
29.36/25.39	    
29.66/25.61	    num=102, depth=159..160, filters=306714, ccks=2128, wck=23.073, mem=276M50
29.66/25.61	    decisions=23975, wrong=4140, backtracks=810, failedAssignments=3371, nogoods=942, foundSolutions=14, bestBound=969
29.66/25.61	    nFilterCalls=1278878, avgTableProportion=0.999955257262009, avgTableSize=22349.0
29.66/25.61	    
29.86/25.83	    num=103, depth=143..146, filters=308829, ccks=2128, wck=23.291, mem=280M338
29.86/25.83	    decisions=24157, wrong=4159, backtracks=817, failedAssignments=3383, nogoods=947, foundSolutions=14, bestBound=969
29.86/25.83	    nFilterCalls=1290750, avgTableProportion=0.9999552572611446, avgTableSize=22349.0
29.86/25.83	    
30.07/26.04	    num=104, depth=150..153, filters=310902, ccks=2128, wck=23.506, mem=280M338
30.07/26.04	    decisions=24341, wrong=4175, backtracks=820, failedAssignments=3396, nogoods=960, foundSolutions=14, bestBound=969
30.07/26.04	    nFilterCalls=1302487, avgTableProportion=0.9999552572603058, avgTableSize=22349.0
30.07/26.04	    
30.26/26.27	    num=105, depth=153..156, filters=313129, ccks=2128, wck=23.729, mem=280M338
30.26/26.27	    decisions=24539, wrong=4197, backtracks=828, failedAssignments=3410, nogoods=964, foundSolutions=14, bestBound=969
30.26/26.27	    nFilterCalls=1314262, avgTableProportion=0.9999552572594791, avgTableSize=22349.0
30.26/26.27	    
30.47/26.49	    num=106, depth=152..154, filters=315761, ccks=2128, wck=23.95, mem=280M338
30.47/26.49	    decisions=24733, wrong=4218, backtracks=833, failedAssignments=3426, nogoods=968, foundSolutions=14, bestBound=969
30.47/26.49	    nFilterCalls=1326698, avgTableProportion=0.9999552572586219, avgTableSize=22349.0
30.47/26.49	    
30.77/26.71	    num=107, depth=148..150, filters=317725, ccks=2128, wck=24.168, mem=284M626
30.77/26.71	    decisions=24920, wrong=4237, backtracks=835, failedAssignments=3443, nogoods=970, foundSolutions=14, bestBound=969
30.77/26.71	    nFilterCalls=1338501, avgTableProportion=0.9999552572578232, avgTableSize=22349.0
30.77/26.71	    
30.97/26.92	    num=108, depth=158..162, filters=320050, ccks=2128, wck=24.382, mem=284M626
30.97/26.92	    decisions=25130, wrong=4262, backtracks=843, failedAssignments=3462, nogoods=974, foundSolutions=14, bestBound=969
30.97/26.92	    nFilterCalls=1350357, avgTableProportion=0.9999552572570349, avgTableSize=22349.0
30.97/26.92	    
31.18/27.13	    num=109, depth=142..143, filters=321883, ccks=2128, wck=24.594, mem=284M626
31.18/27.13	    decisions=25315, wrong=4283, backtracks=843, failedAssignments=3483, nogoods=995, foundSolutions=14, bestBound=969
31.18/27.13	    nFilterCalls=1361655, avgTableProportion=0.9999552572562965, avgTableSize=22349.0
31.18/27.13	    
31.37/27.35	    num=110, depth=155..157, filters=323959, ccks=2128, wck=24.812, mem=288M914
31.37/27.35	    decisions=25531, wrong=4313, backtracks=850, failedAssignments=3506, nogoods=998, foundSolutions=14, bestBound=969
31.37/27.35	    nFilterCalls=1373834, avgTableProportion=0.999955257255514, avgTableSize=22349.0
31.37/27.35	    
31.57/27.58	    num=111, depth=152..158, filters=326514, ccks=2128, wck=25.045, mem=288M914
31.57/27.58	    decisions=25753, wrong=4347, backtracks=859, failedAssignments=3531, nogoods=1009, foundSolutions=14, bestBound=969
31.57/27.58	    nFilterCalls=1386418, avgTableProportion=0.9999552572547201, avgTableSize=22349.0
31.57/27.58	    
31.87/27.81	    num=112, depth=169..173, filters=328814, ccks=2128, wck=25.268, mem=288M914
31.87/27.81	    decisions=25998, wrong=4385, backtracks=869, failedAssignments=3559, nogoods=1020, foundSolutions=14, bestBound=969
31.87/27.81	    nFilterCalls=1398554, avgTableProportion=0.9999552572539679, avgTableSize=22349.0
31.87/27.81	    
32.08/28.02	    num=113, depth=165..169, filters=331268, ccks=2128, wck=25.486, mem=288M914
32.08/28.02	    decisions=26251, wrong=4428, backtracks=882, failedAssignments=3590, nogoods=1026, foundSolutions=14, bestBound=969
32.08/28.02	    nFilterCalls=1410703, avgTableProportion=0.9999552572532279, avgTableSize=22349.0
32.08/28.02	    
32.27/28.25	    num=114, depth=153..157, filters=333857, ccks=2128, wck=25.716, mem=293M202
32.27/28.25	    decisions=26500, wrong=4476, backtracks=897, failedAssignments=3624, nogoods=1030, foundSolutions=14, bestBound=969
32.27/28.25	    nFilterCalls=1423380, avgTableProportion=0.9999552572524693, avgTableSize=22349.0
32.27/28.25	    
32.47/28.49	    num=115, depth=148..153, filters=337405, ccks=2128, wck=25.953, mem=293M202
32.47/28.49	    decisions=26756, wrong=4529, backtracks=915, failedAssignments=3661, nogoods=1038, foundSolutions=14, bestBound=969
32.47/28.49	    nFilterCalls=1437169, avgTableProportion=0.9999552572516591, avgTableSize=22349.0
32.47/28.49	    
32.77/28.73	    num=116, depth=144..149, filters=340594, ccks=2128, wck=26.189, mem=297M490
32.77/28.73	    decisions=27018, wrong=4587, backtracks=932, failedAssignments=3702, nogoods=1043, foundSolutions=14, bestBound=969
32.77/28.73	    nFilterCalls=1450646, avgTableProportion=0.9999552572508823, avgTableSize=22349.0
32.77/28.73	    
32.97/28.96	    num=117, depth=156..158, filters=342807, ccks=2128, wck=26.419, mem=297M490
32.97/28.96	    decisions=27272, wrong=4636, backtracks=936, failedAssignments=3747, nogoods=1053, foundSolutions=14, bestBound=969
32.97/28.96	    nFilterCalls=1462778, avgTableProportion=0.9999552572501952, avgTableSize=22349.0
32.97/28.96	    
33.18/29.19	    num=118, depth=160..163, filters=345804, ccks=2128, wck=26.65, mem=297M490
33.18/29.19	    decisions=27553, wrong=4696, backtracks=946, failedAssignments=3797, nogoods=1064, foundSolutions=14, bestBound=969
33.18/29.19	    nFilterCalls=1475463, avgTableProportion=0.9999552572494889, avgTableSize=22349.0
33.18/29.19	    
33.47/29.44	    num=119, depth=145..148, filters=349563, ccks=2128, wck=26.901, mem=301M778
33.47/29.44	    decisions=27863, wrong=4778, backtracks=973, failedAssignments=3852, nogoods=1071, foundSolutions=14, bestBound=969
33.47/29.44	    nFilterCalls=1489429, avgTableProportion=0.9999552572487251, avgTableSize=22349.0
33.47/29.44	    
33.67/29.69	    num=120, depth=143..147, filters=352790, ccks=2128, wck=27.151, mem=306M66
33.67/29.69	    decisions=28153, wrong=4851, backtracks=985, failedAssignments=3913, nogoods=1080, foundSolutions=14, bestBound=969
33.67/29.69	    nFilterCalls=1502946, avgTableProportion=0.9999552572479995, avgTableSize=22349.0
33.67/29.69	    
33.97/29.94	    num=121, depth=159..164, filters=356523, ccks=2128, wck=27.406, mem=306M66
33.97/29.94	    decisions=28504, wrong=4946, backtracks=1015, failedAssignments=3980, nogoods=1089, foundSolutions=14, bestBound=969
33.97/29.94	    nFilterCalls=1517034, avgTableProportion=0.999955257247257, avgTableSize=22349.0
33.97/29.94	    
34.27/30.22	    num=122, depth=139..145, filters=361281, ccks=2128, wck=27.68, mem=310M355
34.27/30.22	    decisions=28832, wrong=5040, backtracks=1035, failedAssignments=4054, nogoods=1094, foundSolutions=14, bestBound=969
34.27/30.22	    nFilterCalls=1532265, avgTableProportion=0.9999552572464695, avgTableSize=22349.0
34.27/30.22	    
34.47/30.49	    num=123, depth=143..146, filters=365684, ccks=2128, wck=27.951, mem=314M643
34.47/30.49	    decisions=29178, wrong=5141, backtracks=1056, failedAssignments=4135, nogoods=1127, foundSolutions=14, bestBound=969
34.47/30.49	    nFilterCalls=1547075, avgTableProportion=0.9999552572457188, avgTableSize=22349.0
34.47/30.49	    
34.77/30.73	    num=124, depth=154..156, filters=369099, ccks=2128, wck=28.192, mem=314M643
34.77/30.73	    decisions=29525, wrong=5237, backtracks=1064, failedAssignments=4224, nogoods=1148, foundSolutions=14, bestBound=969
34.77/30.73	    nFilterCalls=1560367, avgTableProportion=0.999955257245057, avgTableSize=22349.0
34.77/30.73	    
34.97/30.99	    num=125, depth=153..157, filters=373350, ccks=2128, wck=28.451, mem=318M931
34.97/30.99	    decisions=29924, wrong=5359, backtracks=1089, failedAssignments=4322, nogoods=1166, foundSolutions=14, bestBound=969
34.97/30.99	    nFilterCalls=1574742, avgTableProportion=0.999955257244354, avgTableSize=22349.0
34.97/30.99	    
35.29/31.25	    num=126, depth=159..163, filters=378021, ccks=2128, wck=28.713, mem=323M219
35.29/31.25	    decisions=30357, wrong=5495, backtracks=1121, failedAssignments=4430, nogoods=1187, foundSolutions=14, bestBound=969
35.29/31.25	    nFilterCalls=1589641, avgTableProportion=0.9999552572436387, avgTableSize=22349.0
35.29/31.25	    
35.59/31.53	    num=127, depth=149..157, filters=383809, ccks=2128, wck=28.993, mem=327M507
35.59/31.53	    decisions=30791, wrong=5635, backtracks=1142, failedAssignments=4549, nogoods=1196, foundSolutions=14, bestBound=969
35.59/31.53	    nFilterCalls=1606456, avgTableProportion=0.9999552572428474, avgTableSize=22349.0
35.59/31.53	    
35.89/31.81	    num=128, depth=153..158, filters=389401, ccks=2128, wck=29.27, mem=331M795
35.89/31.81	    decisions=31255, wrong=5789, backtracks=1166, failedAssignments=4680, nogoods=1212, foundSolutions=14, bestBound=969
35.89/31.81	    nFilterCalls=1622685, avgTableProportion=0.9999552572420992, avgTableSize=22349.0
35.89/31.81	    
36.12/32.08	    num=129, depth=147..153, filters=394047, ccks=2128, wck=29.539, mem=331M795
36.12/32.08	    decisions=31726, wrong=5949, backtracks=1182, failedAssignments=4824, nogoods=1239, foundSolutions=14, bestBound=969
36.12/32.08	    nFilterCalls=1637164, avgTableProportion=0.9999552572414443, avgTableSize=22349.0
36.12/32.08	    
36.51/32.40	    num=130, depth=147..152, filters=400880, ccks=2128, wck=29.86, mem=336M83
36.51/32.40	    decisions=32261, wrong=6142, backtracks=1217, failedAssignments=4982, nogoods=1254, foundSolutions=14, bestBound=969
36.51/32.40	    nFilterCalls=1654770, avgTableProportion=0.9999552572406633, avgTableSize=22349.0
36.51/32.40	    
36.71/32.67	    num=131, depth=157..160, filters=406290, ccks=2128, wck=30.127, mem=340M371
36.71/32.67	    decisions=32811, wrong=6338, backtracks=1240, failedAssignments=5156, nogoods=1273, foundSolutions=14, bestBound=969
36.71/32.67	    nFilterCalls=1669590, avgTableProportion=0.9999552572400187, avgTableSize=22349.0
36.71/32.67	    
37.12/33.04	    num=132, depth=140..145, filters=416612, ccks=2128, wck=30.502, mem=348M947
37.12/33.04	    decisions=33422, wrong=6573, backtracks=1285, failedAssignments=5347, nogoods=1280, foundSolutions=14, bestBound=969
37.12/33.04	    nFilterCalls=1692434, avgTableProportion=0.9999552572390471, avgTableSize=22349.0
37.12/33.04	    
37.31/33.25	o 946
37.31/33.26	    num=133, depth=301..299, filters=418376, ccks=2280, wck=30.718, mem=348M947
37.31/33.26	    decisions=33605, wrong=6573, backtracks=1285, failedAssignments=5347, nogoods=1280, foundSolutions=15, bestBound=946
37.31/33.26	    nFilterCalls=1703810, avgTableProportion=0.9999552572385729, avgTableSize=22349.0
37.31/33.26	    
37.63/33.54	    num=134, depth=163..168, filters=424875, ccks=2280, wck=31.007, mem=353M236
37.63/33.54	    decisions=34286, wrong=6831, backtracks=1312, failedAssignments=5579, nogoods=1306, foundSolutions=15, bestBound=946
37.63/33.54	    nFilterCalls=1719651, avgTableProportion=0.9999552572379232, avgTableSize=22349.0
37.63/33.54	    
37.83/33.77	    num=135, depth=157..159, filters=426703, ccks=2280, wck=31.232, mem=353M236
37.83/33.77	    decisions=34472, wrong=6845, backtracks=1315, failedAssignments=5590, nogoods=1309, foundSolutions=15, bestBound=946
37.83/33.77	    nFilterCalls=1731645, avgTableProportion=0.9999552572374392, avgTableSize=22349.0
37.83/33.77	    
38.03/33.99	    num=136, depth=155..156, filters=428522, ccks=2280, wck=31.45, mem=357M524
38.03/33.99	    decisions=34655, wrong=6859, backtracks=1317, failedAssignments=5602, nogoods=1319, foundSolutions=15, bestBound=946
38.03/33.99	    nFilterCalls=1743313, avgTableProportion=0.9999552572369746, avgTableSize=22349.0
38.03/33.99	    
38.33/34.21	    num=137, depth=155..158, filters=430596, ccks=2280, wck=31.67, mem=357M524
38.33/34.21	    decisions=34850, wrong=6878, backtracks=1323, failedAssignments=5615, nogoods=1324, foundSolutions=15, bestBound=946
38.33/34.21	    nFilterCalls=1755452, avgTableProportion=0.999955257236498, avgTableSize=22349.0
38.33/34.21	    
38.53/34.42	    num=138, depth=153..155, filters=432265, ccks=2280, wck=31.883, mem=357M524
38.53/34.42	    decisions=35036, wrong=6894, backtracks=1325, failedAssignments=5629, nogoods=1333, foundSolutions=15, bestBound=946
38.53/34.42	    nFilterCalls=1767063, avgTableProportion=0.9999552572360482, avgTableSize=22349.0
38.53/34.42	    
38.73/34.64	    num=139, depth=153..156, filters=434799, ccks=2280, wck=32.106, mem=361M812
38.73/34.64	    decisions=35246, wrong=6922, backtracks=1337, failedAssignments=5645, nogoods=1338, foundSolutions=15, bestBound=946
38.73/34.64	    nFilterCalls=1779650, avgTableProportion=0.9999552572355672, avgTableSize=22349.0
38.73/34.64	    
38.93/34.86	    num=140, depth=153..154, filters=436740, ccks=2280, wck=32.325, mem=361M812
38.93/34.86	    decisions=35446, wrong=6945, backtracks=1343, failedAssignments=5662, nogoods=1349, foundSolutions=15, bestBound=946
38.93/34.86	    nFilterCalls=1791554, avgTableProportion=0.9999552572351185, avgTableSize=22349.0
38.93/34.86	    
39.14/35.08	    num=141, depth=158..162, filters=438580, ccks=2280, wck=32.545, mem=361M812
39.14/35.08	    decisions=35647, wrong=6965, backtracks=1344, failedAssignments=5681, nogoods=1363, foundSolutions=15, bestBound=946
39.14/35.08	    nFilterCalls=1803415, avgTableProportion=0.9999552572346773, avgTableSize=22349.0
39.14/35.08	    
39.43/35.30	    num=142, depth=151..159, filters=440847, ccks=2280, wck=32.767, mem=361M812
39.43/35.30	    decisions=35854, wrong=6990, backtracks=1348, failedAssignments=5702, nogoods=1377, foundSolutions=15, bestBound=946
39.43/35.30	    nFilterCalls=1815627, avgTableProportion=0.9999552572342291, avgTableSize=22349.0
39.43/35.30	    
39.63/35.53	    num=143, depth=140..141, filters=442797, ccks=2280, wck=32.989, mem=366M100
39.63/35.53	    decisions=36044, wrong=7015, backtracks=1350, failedAssignments=5725, nogoods=1386, foundSolutions=15, bestBound=946
39.63/35.53	    nFilterCalls=1827359, avgTableProportion=0.9999552572338042, avgTableSize=22349.0
39.63/35.53	    
39.83/35.75	    num=144, depth=157..159, filters=444829, ccks=2280, wck=33.207, mem=366M100
39.83/35.75	    decisions=36257, wrong=7043, backtracks=1354, failedAssignments=5750, nogoods=1397, foundSolutions=15, bestBound=946
39.83/35.75	    nFilterCalls=1839290, avgTableProportion=0.9999552572333775, avgTableSize=22349.0
39.83/35.75	    
40.03/35.96	    num=145, depth=163..170, filters=447032, ccks=2280, wck=33.426, mem=366M100
40.03/35.96	    decisions=36495, wrong=7078, backtracks=1362, failedAssignments=5778, nogoods=1405, foundSolutions=15, bestBound=946
40.03/35.96	    nFilterCalls=1851301, avgTableProportion=0.9999552572329536, avgTableSize=22349.0
40.03/35.96	    
40.24/36.19	    num=146, depth=146..151, filters=449327, ccks=2280, wck=33.656, mem=370M388
40.24/36.19	    decisions=36724, wrong=7118, backtracks=1371, failedAssignments=5809, nogoods=1426, foundSolutions=15, bestBound=946
40.24/36.19	    nFilterCalls=1863698, avgTableProportion=0.9999552572325219, avgTableSize=22349.0
40.24/36.19	    
40.53/36.42	    num=147, depth=146..148, filters=451430, ccks=2280, wck=33.883, mem=370M388
40.53/36.42	    decisions=36953, wrong=7159, backtracks=1378, failedAssignments=5843, nogoods=1436, foundSolutions=15, bestBound=946
40.53/36.42	    nFilterCalls=1875662, avgTableProportion=0.9999552572321105, avgTableSize=22349.0
40.53/36.42	    
40.73/36.64	    num=148, depth=152..158, filters=453983, ccks=2280, wck=34.106, mem=370M388
40.73/36.64	    decisions=37208, wrong=7209, backtracks=1391, failedAssignments=5880, nogoods=1441, foundSolutions=15, bestBound=946
40.73/36.64	    nFilterCalls=1888131, avgTableProportion=0.9999552572316874, avgTableSize=22349.0
40.73/36.64	    
40.93/36.88	    num=149, depth=150..154, filters=456985, ccks=2280, wck=34.343, mem=374M676
40.93/36.88	    decisions=37477, wrong=7268, backtracks=1409, failedAssignments=5921, nogoods=1446, foundSolutions=15, bestBound=946
40.93/36.88	    nFilterCalls=1901426, avgTableProportion=0.9999552572312425, avgTableSize=22349.0
40.93/36.88	    
41.24/37.12	    num=150, depth=149..153, filters=460227, ccks=2280, wck=34.583, mem=374M676
41.24/37.12	    decisions=37778, wrong=7343, backtracks=1439, failedAssignments=5966, nogoods=1451, foundSolutions=15, bestBound=946
41.24/37.12	    nFilterCalls=1914858, avgTableProportion=0.999955257230799, avgTableSize=22349.0
41.24/37.12	    
41.43/37.34	    num=151, depth=161..163, filters=462819, ccks=2280, wck=34.806, mem=378M964
41.43/37.34	    decisions=38062, wrong=7404, backtracks=1451, failedAssignments=6016, nogoods=1462, foundSolutions=15, bestBound=946
41.43/37.34	    nFilterCalls=1927177, avgTableProportion=0.9999552572303979, avgTableSize=22349.0
41.43/37.34	    
41.63/37.59	    num=152, depth=152..162, filters=466065, ccks=2280, wck=35.047, mem=378M964
41.63/37.59	    decisions=38366, wrong=7479, backtracks=1472, failedAssignments=6071, nogoods=1465, foundSolutions=15, bestBound=946
41.63/37.59	    nFilterCalls=1940537, avgTableProportion=0.9999552572299686, avgTableSize=22349.0
41.63/37.59	    
41.93/37.81	    num=153, depth=151..156, filters=468894, ccks=2280, wck=35.276, mem=383M252
41.93/37.81	    decisions=38676, wrong=7558, backtracks=1490, failedAssignments=6132, nogoods=1469, foundSolutions=15, bestBound=946
41.93/37.81	    nFilterCalls=1953081, avgTableProportion=0.9999552572295708, avgTableSize=22349.0
41.93/37.81	    
42.14/38.07	    num=154, depth=142..147, filters=472678, ccks=2280, wck=35.528, mem=383M252
42.14/38.07	    decisions=39003, wrong=7650, backtracks=1516, failedAssignments=6199, nogoods=1473, foundSolutions=15, bestBound=946
42.14/38.07	    nFilterCalls=1967166, avgTableProportion=0.9999552572291303, avgTableSize=22349.0
42.14/38.07	    
42.33/38.28	o 944
42.33/38.29	    num=155, depth=174..299, filters=474700, ccks=2432, wck=35.748, mem=383M252
42.33/38.29	    decisions=39214, wrong=7667, backtracks=1520, failedAssignments=6212, nogoods=1478, foundSolutions=16, bestBound=944
42.33/38.29	    nFilterCalls=1978783, avgTableProportion=0.9999552572287717, avgTableSize=22349.0
42.33/38.29	    
42.63/38.52	    num=156, depth=160..162, filters=477612, ccks=2432, wck=35.982, mem=387M540
42.63/38.52	    decisions=39570, wrong=7764, backtracks=1538, failedAssignments=6293, nogoods=1488, foundSolutions=16, bestBound=944
42.63/38.52	    nFilterCalls=1991490, avgTableProportion=0.9999552572283841, avgTableSize=22349.0
42.63/38.52	    
42.83/38.74	    num=157, depth=159..164, filters=479425, ccks=2432, wck=36.197, mem=387M540
42.83/38.74	    decisions=39759, wrong=7777, backtracks=1540, failedAssignments=6304, nogoods=1497, foundSolutions=16, bestBound=944
42.83/38.74	    nFilterCalls=2003309, avgTableProportion=0.999955257228028, avgTableSize=22349.0
42.83/38.74	    
43.03/38.95	    num=158, depth=153..156, filters=481329, ccks=2432, wck=36.409, mem=387M540
43.03/38.95	    decisions=39944, wrong=7793, backtracks=1544, failedAssignments=6316, nogoods=1499, foundSolutions=16, bestBound=944
43.03/38.95	    nFilterCalls=2015130, avgTableProportion=0.9999552572276762, avgTableSize=22349.0
43.03/38.95	    
43.24/39.16	    num=159, depth=160..163, filters=483297, ccks=2432, wck=36.621, mem=391M828
43.24/39.16	    decisions=40136, wrong=7809, backtracks=1548, failedAssignments=6329, nogoods=1500, foundSolutions=16, bestBound=944
43.24/39.16	    nFilterCalls=2026688, avgTableProportion=0.999955257227336, avgTableSize=22349.0
43.24/39.16	    
43.43/39.38	    num=160, depth=141..147, filters=485180, ccks=2432, wck=36.838, mem=391M828
43.43/39.38	    decisions=40317, wrong=7827, backtracks=1552, failedAssignments=6343, nogoods=1509, foundSolutions=16, bestBound=944
43.43/39.38	    nFilterCalls=2038067, avgTableProportion=0.9999552572270051, avgTableSize=22349.0
43.43/39.38	    
43.63/39.59	    num=161, depth=156..159, filters=487054, ccks=2432, wck=37.05, mem=391M828
43.63/39.59	    decisions=40514, wrong=7847, backtracks=1556, failedAssignments=6359, nogoods=1517, foundSolutions=16, bestBound=944
43.63/39.59	    nFilterCalls=2049755, avgTableProportion=0.9999552572266688, avgTableSize=22349.0
43.63/39.59	    
43.93/39.80	    num=162, depth=151..153, filters=488865, ccks=2432, wck=37.262, mem=391M828
43.93/39.80	    decisions=40704, wrong=7866, backtracks=1558, failedAssignments=6376, nogoods=1531, foundSolutions=16, bestBound=944
43.93/39.80	    nFilterCalls=2061554, avgTableProportion=0.9999552572263333, avgTableSize=22349.0
43.93/39.80	    
44.14/40.02	    num=163, depth=160..161, filters=490685, ccks=2432, wck=37.481, mem=396M117
44.14/40.02	    decisions=40906, wrong=7887, backtracks=1560, failedAssignments=6395, nogoods=1540, foundSolutions=16, bestBound=944
44.14/40.02	    nFilterCalls=2073100, avgTableProportion=0.9999552572260085, avgTableSize=22349.0
44.14/40.02	    
44.33/40.24	    num=164, depth=136..155, filters=492762, ccks=2432, wck=37.7, mem=396M117
44.33/40.24	    decisions=41105, wrong=7910, backtracks=1562, failedAssignments=6416, nogoods=1547, foundSolutions=16, bestBound=944
44.33/40.24	    nFilterCalls=2085022, avgTableProportion=0.9999552572256771, avgTableSize=22349.0
44.33/40.24	    
44.54/40.45	o 918
44.54/40.45	    num=165, depth=301..299, filters=494498, ccks=2584, wck=37.916, mem=396M117
44.54/40.45	    decisions=41281, wrong=7910, backtracks=1562, failedAssignments=6416, nogoods=1547, foundSolutions=17, bestBound=918
44.54/40.45	    nFilterCalls=2096291, avgTableProportion=0.9999552572253673, avgTableSize=22349.0
44.54/40.45	    
44.75/40.67	    num=166, depth=160..164, filters=496687, ccks=2584, wck=38.137, mem=396M117
44.75/40.67	    decisions=41505, wrong=7942, backtracks=1570, failedAssignments=6441, nogoods=1549, foundSolutions=17, bestBound=918
44.75/40.67	    nFilterCalls=2108139, avgTableProportion=0.9999552572262482, avgTableSize=22349.0
44.75/40.67	    
44.95/40.89	    num=167, depth=153..155, filters=498188, ccks=2584, wck=38.348, mem=400M405
44.95/40.89	    decisions=41685, wrong=7955, backtracks=1572, failedAssignments=6452, nogoods=1553, foundSolutions=17, bestBound=918
44.95/40.89	    nFilterCalls=2119665, avgTableProportion=0.9999552572271978, avgTableSize=22349.0
44.95/40.89	    
45.16/41.10	    num=168, depth=146..148, filters=499723, ccks=2584, wck=38.562, mem=400M405
45.16/41.10	    decisions=41858, wrong=7968, backtracks=1573, failedAssignments=6464, nogoods=1562, foundSolutions=17, bestBound=918
45.16/41.10	    nFilterCalls=2130574, avgTableProportion=0.999955257228087, avgTableSize=22349.0
45.16/41.10	    
45.45/41.32	    num=169, depth=151..153, filters=501309, ccks=2584, wck=38.78, mem=400M405
45.45/41.32	    decisions=42039, wrong=7983, backtracks=1575, failedAssignments=6477, nogoods=1574, foundSolutions=17, bestBound=918
45.45/41.32	    nFilterCalls=2142297, avgTableProportion=0.9999552572290326, avgTableSize=22349.0
45.45/41.32	    
45.65/41.54	    num=170, depth=170..173, filters=503478, ccks=2584, wck=38.999, mem=400M405
45.65/41.54	    decisions=42246, wrong=8001, backtracks=1579, failedAssignments=6491, nogoods=1579, foundSolutions=17, bestBound=918
45.65/41.54	    nFilterCalls=2154053, avgTableProportion=0.9999552572299704, avgTableSize=22349.0
45.65/41.54	    
45.85/41.77	    num=171, depth=149..154, filters=506409, ccks=2584, wck=39.233, mem=404M693
45.85/41.77	    decisions=42450, wrong=8026, backtracks=1588, failedAssignments=6507, nogoods=1585, foundSolutions=17, bestBound=918
45.85/41.77	    nFilterCalls=2167133, avgTableProportion=0.9999552572310019, avgTableSize=22349.0
45.85/41.77	    
46.05/41.99	    num=172, depth=149..154, filters=508214, ccks=2584, wck=39.451, mem=404M693
46.05/41.99	    decisions=42653, wrong=8051, backtracks=1596, failedAssignments=6524, nogoods=1593, foundSolutions=17, bestBound=918
46.05/41.99	    nFilterCalls=2178923, avgTableProportion=0.999955257231921, avgTableSize=22349.0
46.05/41.99	    
46.35/42.21	    num=173, depth=160..162, filters=510297, ccks=2584, wck=39.675, mem=404M693
46.35/42.21	    decisions=42864, wrong=8076, backtracks=1602, failedAssignments=6543, nogoods=1601, foundSolutions=17, bestBound=918
46.35/42.21	    nFilterCalls=2190943, avgTableProportion=0.9999552572328478, avgTableSize=22349.0
46.35/42.21	    
46.55/42.43	    num=174, depth=153..156, filters=512721, ccks=2584, wck=39.893, mem=408M981
46.55/42.43	    decisions=43068, wrong=8101, backtracks=1606, failedAssignments=6564, nogoods=1614, foundSolutions=17, bestBound=918
46.55/42.43	    nFilterCalls=2202733, avgTableProportion=0.9999552572337472, avgTableSize=22349.0
46.55/42.43	    
46.75/42.65	    num=175, depth=149..152, filters=515302, ccks=2584, wck=40.116, mem=408M981
46.75/42.65	    decisions=43291, wrong=8138, backtracks=1620, failedAssignments=6587, nogoods=1618, foundSolutions=17, bestBound=918
46.75/42.65	    nFilterCalls=2215259, avgTableProportion=0.9999552572346921, avgTableSize=22349.0
46.75/42.65	    
46.95/42.88	    num=176, depth=161..166, filters=517866, ccks=2584, wck=40.339, mem=408M981
46.95/42.88	    decisions=43531, wrong=8176, backtracks=1634, failedAssignments=6612, nogoods=1625, foundSolutions=17, bestBound=918
46.95/42.88	    nFilterCalls=2227584, avgTableProportion=0.9999552572356116, avgTableSize=22349.0
46.95/42.88	    
47.16/43.10	    num=177, depth=160..162, filters=520401, ccks=2584, wck=40.567, mem=413M269
47.16/43.10	    decisions=43760, wrong=8210, backtracks=1640, failedAssignments=6640, nogoods=1642, foundSolutions=17, bestBound=918
47.16/43.10	    nFilterCalls=2239929, avgTableProportion=0.9999552572365225, avgTableSize=22349.0
47.16/43.10	    
47.45/43.32	o 914
47.45/43.32	    num=178, depth=180..299, filters=522344, ccks=2736, wck=40.785, mem=413M269
47.45/43.32	    decisions=43945, wrong=8211, backtracks=1640, failedAssignments=6641, nogoods=1643, foundSolutions=18, bestBound=914
47.45/43.32	    nFilterCalls=2251354, avgTableProportion=0.9999552572373565, avgTableSize=22349.0
47.45/43.32	    
47.65/43.55	    num=179, depth=148..150, filters=524390, ccks=2736, wck=41.012, mem=413M269
47.65/43.55	    decisions=44172, wrong=8250, backtracks=1645, failedAssignments=6675, nogoods=1652, foundSolutions=18, bestBound=914
47.65/43.55	    nFilterCalls=2263268, avgTableProportion=0.9999552572382172, avgTableSize=22349.0
47.65/43.55	    
47.85/43.77	    num=180, depth=163..167, filters=526197, ccks=2736, wck=41.229, mem=413M269
47.85/43.77	    decisions=44366, wrong=8265, backtracks=1649, failedAssignments=6686, nogoods=1657, foundSolutions=18, bestBound=914
47.85/43.77	    nFilterCalls=2274864, avgTableProportion=0.9999552572390463, avgTableSize=22349.0
47.85/43.77	    
48.05/43.98	    num=181, depth=152..153, filters=527982, ccks=2736, wck=41.447, mem=417M557
48.05/43.98	    decisions=44544, wrong=8278, backtracks=1650, failedAssignments=6698, nogoods=1668, foundSolutions=18, bestBound=914
48.05/43.98	    nFilterCalls=2286254, avgTableProportion=0.9999552572398526, avgTableSize=22349.0
48.05/43.98	    
48.35/44.21	    num=182, depth=149..151, filters=529726, ccks=2736, wck=41.667, mem=417M557
48.35/44.21	    decisions=44728, wrong=8295, backtracks=1654, failedAssignments=6711, nogoods=1679, foundSolutions=18, bestBound=914
48.35/44.21	    nFilterCalls=2297956, avgTableProportion=0.9999552572406725, avgTableSize=22349.0
48.35/44.21	    
48.55/44.42	    num=183, depth=165..167, filters=531522, ccks=2736, wck=41.887, mem=417M557
48.55/44.42	    decisions=44929, wrong=8313, backtracks=1658, failedAssignments=6725, nogoods=1684, foundSolutions=18, bestBound=914
48.55/44.42	    nFilterCalls=2309847, avgTableProportion=0.9999552572414971, avgTableSize=22349.0
48.55/44.42	    
48.75/44.64	    num=184, depth=149..150, filters=533126, ccks=2736, wck=42.106, mem=417M557
48.75/44.64	    decisions=45115, wrong=8331, backtracks=1660, failedAssignments=6741, nogoods=1700, foundSolutions=18, bestBound=914
48.75/44.64	    nFilterCalls=2321327, avgTableProportion=0.9999552572422853, avgTableSize=22349.0
48.75/44.64	    
48.95/44.86	    num=185, depth=161..164, filters=534811, ccks=2736, wck=42.326, mem=421M845
48.95/44.86	    decisions=45319, wrong=8352, backtracks=1664, failedAssignments=6758, nogoods=1710, foundSolutions=18, bestBound=914
48.95/44.86	    nFilterCalls=2333142, avgTableProportion=0.9999552572430884, avgTableSize=22349.0
48.95/44.86	    
49.16/45.09	    num=186, depth=140..143, filters=537025, ccks=2736, wck=42.557, mem=421M845
49.16/45.09	    decisions=45510, wrong=8376, backtracks=1669, failedAssignments=6777, nogoods=1720, foundSolutions=18, bestBound=914
49.16/45.09	    nFilterCalls=2345463, avgTableProportion=0.9999552572439172, avgTableSize=22349.0
49.16/45.09	    
49.47/45.31	    num=187, depth=158..161, filters=539235, ccks=2736, wck=42.77, mem=421M845
49.47/45.31	    decisions=45721, wrong=8402, backtracks=1675, failedAssignments=6798, nogoods=1728, foundSolutions=18, bestBound=914
49.47/45.31	    nFilterCalls=2356993, avgTableProportion=0.999955257244685, avgTableSize=22349.0
49.47/45.31	    
49.67/45.53	    num=188, depth=158..164, filters=541177, ccks=2736, wck=42.99, mem=426M133
49.67/45.53	    decisions=45945, wrong=8433, backtracks=1683, failedAssignments=6821, nogoods=1734, foundSolutions=18, bestBound=914
49.67/45.53	    nFilterCalls=2368953, avgTableProportion=0.9999552572454736, avgTableSize=22349.0
49.67/45.53	    
49.87/45.76	    num=189, depth=172..176, filters=543391, ccks=2736, wck=43.217, mem=426M133
49.87/45.76	    decisions=46192, wrong=8470, backtracks=1696, failedAssignments=6846, nogoods=1740, foundSolutions=18, bestBound=914
49.87/45.76	    nFilterCalls=2381227, avgTableProportion=0.9999552572462745, avgTableSize=22349.0
49.87/45.76	    
50.06/45.98	    num=190, depth=166..167, filters=545560, ccks=2736, wck=43.443, mem=426M133
50.06/45.98	    decisions=46422, wrong=8502, backtracks=1700, failedAssignments=6874, nogoods=1750, foundSolutions=18, bestBound=914
50.06/45.98	    nFilterCalls=2393101, avgTableProportion=0.9999552572470416, avgTableSize=22349.0
50.06/45.98	    
50.37/46.20	    num=191, depth=162..164, filters=547410, ccks=2736, wck=43.667, mem=426M133
50.37/46.20	    decisions=46656, wrong=8537, backtracks=1704, failedAssignments=6905, nogoods=1762, foundSolutions=18, bestBound=914
50.37/46.20	    nFilterCalls=2405066, avgTableProportion=0.9999552572478069, avgTableSize=22349.0
50.37/46.20	    
50.57/46.43	    num=192, depth=155..161, filters=549553, ccks=2736, wck=43.891, mem=430M421
50.57/46.43	    decisions=46903, wrong=8580, backtracks=1713, failedAssignments=6939, nogoods=1771, foundSolutions=18, bestBound=914
50.57/46.43	    nFilterCalls=2417426, avgTableProportion=0.9999552572485895, avgTableSize=22349.0
50.57/46.43	    
50.77/46.66	    num=193, depth=164..168, filters=551980, ccks=2736, wck=44.123, mem=430M421
50.77/46.66	    decisions=47175, wrong=8634, backtracks=1730, failedAssignments=6976, nogoods=1774, foundSolutions=18, bestBound=914
50.77/46.66	    nFilterCalls=2429892, avgTableProportion=0.9999552572493707, avgTableSize=22349.0
50.77/46.66	    
50.97/46.87	o 889
50.97/46.88	    num=194, depth=301..299, filters=553371, ccks=2888, wck=44.344, mem=430M421
50.97/46.88	    decisions=47350, wrong=8634, backtracks=1730, failedAssignments=6976, nogoods=1774, foundSolutions=19, bestBound=889
50.97/46.88	    nFilterCalls=2441343, avgTableProportion=0.9999552572500814, avgTableSize=22349.0
50.97/46.88	    
51.28/47.11	    num=195, depth=165..171, filters=555804, ccks=2888, wck=44.577, mem=430M421
51.28/47.11	    decisions=47636, wrong=8693, backtracks=1745, failedAssignments=7021, nogoods=1787, foundSolutions=19, bestBound=889
51.28/47.11	    nFilterCalls=2453682, avgTableProportion=0.9999552572508397, avgTableSize=22349.0
51.28/47.11	    
51.47/47.33	    num=196, depth=161..164, filters=557581, ccks=2888, wck=44.793, mem=434M710
51.47/47.33	    decisions=47830, wrong=8709, backtracks=1750, failedAssignments=7032, nogoods=1792, foundSolutions=19, bestBound=889
51.47/47.33	    nFilterCalls=2465382, avgTableProportion=0.9999552572515517, avgTableSize=22349.0
51.47/47.33	    
51.67/47.56	    num=197, depth=160..163, filters=559338, ccks=2888, wck=45.018, mem=434M710
51.67/47.56	    decisions=48026, wrong=8726, backtracks=1755, failedAssignments=7044, nogoods=1797, foundSolutions=19, bestBound=889
51.67/47.56	    nFilterCalls=2477149, avgTableProportion=0.999955257252261, avgTableSize=22349.0
51.67/47.56	    
51.87/47.77	o 824
51.87/47.78	    num=198, depth=301..299, filters=560677, ccks=3040, wck=45.238, mem=434M710
51.87/47.78	    decisions=48196, wrong=8726, backtracks=1755, failedAssignments=7044, nogoods=1797, foundSolutions=20, bestBound=824
51.87/47.78	    nFilterCalls=2488581, avgTableProportion=0.9999552572529437, avgTableSize=22349.0
51.87/47.78	    
52.07/48.00	    num=199, depth=147..157, filters=562484, ccks=3040, wck=45.461, mem=434M710
52.07/48.00	    decisions=48384, wrong=8742, backtracks=1757, failedAssignments=7058, nogoods=1805, foundSolutions=20, bestBound=824
52.07/48.00	    nFilterCalls=2500315, avgTableProportion=0.9999552572536379, avgTableSize=22349.0
52.07/48.00	    
52.37/48.22	    num=200, depth=156..163, filters=564327, ccks=3040, wck=45.682, mem=438M998
52.37/48.22	    decisions=48578, wrong=8759, backtracks=1763, failedAssignments=7069, nogoods=1810, foundSolutions=20, bestBound=824
52.37/48.22	    nFilterCalls=2512219, avgTableProportion=0.9999552572543355, avgTableSize=22349.0
52.37/48.22	    
52.57/48.44	    num=201, depth=153..154, filters=566167, ccks=3040, wck=45.906, mem=438M998
52.57/48.44	    decisions=48758, wrong=8772, backtracks=1764, failedAssignments=7081, nogoods=1822, foundSolutions=20, bestBound=824
52.57/48.44	    nFilterCalls=2523640, avgTableProportion=0.9999552572549987, avgTableSize=22349.0
52.57/48.44	    
52.77/48.67	    num=202, depth=134..136, filters=567657, ccks=3040, wck=46.13, mem=438M998
52.77/48.67	    decisions=48920, wrong=8785, backtracks=1764, failedAssignments=7094, nogoods=1835, foundSolutions=20, bestBound=824
52.77/48.67	    nFilterCalls=2534717, avgTableProportion=0.9999552572556362, avgTableSize=22349.0
52.77/48.67	    
53.07/48.90	    num=203, depth=153..156, filters=569481, ccks=3040, wck=46.361, mem=438M998
53.07/48.90	    decisions=49111, wrong=8803, backtracks=1768, failedAssignments=7108, nogoods=1846, foundSolutions=20, bestBound=824
53.07/48.90	    nFilterCalls=2546689, avgTableProportion=0.9999552572563188, avgTableSize=22349.0
53.07/48.90	    
53.29/49.13	    num=204, depth=143..146, filters=571280, ccks=3040, wck=46.588, mem=441M253
53.29/49.13	    decisions=49293, wrong=8822, backtracks=1771, failedAssignments=7124, nogoods=1856, foundSolutions=20, bestBound=824
53.29/49.13	    nFilterCalls=2558441, avgTableProportion=0.9999552572569829, avgTableSize=22349.0
53.29/49.13	    
53.48/49.36	    num=205, depth=153..155, filters=572759, ccks=3040, wck=46.825, mem=229M556
53.48/49.36	    decisions=49484, wrong=8840, backtracks=1772, failedAssignments=7141, nogoods=1873, foundSolutions=20, bestBound=824
53.48/49.36	    nFilterCalls=2569849, avgTableProportion=0.9999552572576216, avgTableSize=22349.0
53.48/49.36	    
53.82/49.60	    num=206, depth=163..167, filters=575690, ccks=3040, wck=47.06, mem=229M556
53.82/49.60	    decisions=49713, wrong=8872, backtracks=1786, failedAssignments=7160, nogoods=1881, foundSolutions=20, bestBound=824
53.82/49.60	    nFilterCalls=2582316, avgTableProportion=0.9999552572583131, avgTableSize=22349.0
53.82/49.60	    
54.02/49.82	    num=207, depth=148..150, filters=577556, ccks=3040, wck=47.282, mem=229M556
54.02/49.82	    decisions=49907, wrong=8895, backtracks=1788, failedAssignments=7181, nogoods=1887, foundSolutions=20, bestBound=824
54.02/49.82	    nFilterCalls=2593884, avgTableProportion=0.999955257258949, avgTableSize=22349.0
54.02/49.82	    
54.23/50.05	    num=208, depth=169..172, filters=579109, ccks=3040, wck=47.509, mem=229M556
54.23/50.05	    decisions=50130, wrong=8921, backtracks=1792, failedAssignments=7204, nogoods=1894, foundSolutions=20, bestBound=824
54.23/50.05	    nFilterCalls=2605480, avgTableProportion=0.9999552572595806, avgTableSize=22349.0
54.23/50.05	    
54.42/50.28	    num=209, depth=158..161, filters=581808, ccks=3040, wck=47.74, mem=229M556
54.42/50.28	    decisions=50353, wrong=8953, backtracks=1799, failedAssignments=7229, nogoods=1904, foundSolutions=20, bestBound=824
54.42/50.28	    nFilterCalls=2617865, avgTableProportion=0.999955257260249, avgTableSize=22349.0
54.42/50.28	    
54.73/50.51	    num=210, depth=151..155, filters=583919, ccks=3040, wck=47.971, mem=234M513
54.73/50.51	    decisions=50581, wrong=8990, backtracks=1809, failedAssignments=7257, nogoods=1908, foundSolutions=20, bestBound=824
54.73/50.51	    nFilterCalls=2630066, avgTableProportion=0.9999552572609014, avgTableSize=22349.0
54.73/50.51	    
54.93/50.72	o 821
54.93/50.73	    num=211, depth=175..299, filters=586285, ccks=3192, wck=48.194, mem=234M513
54.93/50.73	    decisions=50833, wrong=9026, backtracks=1823, failedAssignments=7279, nogoods=1914, foundSolutions=21, bestBound=821
54.93/50.73	    nFilterCalls=2642057, avgTableProportion=0.9999552572615367, avgTableSize=22349.0
54.93/50.73	    
55.13/50.96	    num=212, depth=160..163, filters=588168, ccks=3192, wck=48.424, mem=234M513
55.13/50.96	    decisions=51073, wrong=9065, backtracks=1828, failedAssignments=7313, nogoods=1925, foundSolutions=21, bestBound=821
55.13/50.96	    nFilterCalls=2654077, avgTableProportion=0.9999552572621676, avgTableSize=22349.0
55.13/50.96	    
55.34/51.18	    num=213, depth=149..149, filters=589265, ccks=3192, wck=48.646, mem=239M471
55.34/51.18	    decisions=51244, wrong=9076, backtracks=1828, failedAssignments=7324, nogoods=1936, foundSolutions=21, bestBound=821
55.34/51.18	    nFilterCalls=2665292, avgTableProportion=0.9999552572627513, avgTableSize=22349.0
55.34/51.18	    
55.63/51.41	    num=214, depth=140..151, filters=590864, ccks=3192, wck=48.869, mem=239M471
55.63/51.41	    decisions=51421, wrong=9089, backtracks=1829, failedAssignments=7336, nogoods=1948, foundSolutions=21, bestBound=821
55.63/51.41	    nFilterCalls=2677018, avgTableProportion=0.9999552572633563, avgTableSize=22349.0
55.63/51.41	    
55.83/51.63	    num=215, depth=162..164, filters=592442, ccks=3192, wck=49.092, mem=239M471
55.83/51.63	    decisions=51615, wrong=9105, backtracks=1832, failedAssignments=7349, nogoods=1950, foundSolutions=21, bestBound=821
55.83/51.63	    nFilterCalls=2688594, avgTableProportion=0.9999552572639483, avgTableSize=22349.0
55.83/51.63	    
56.03/51.86	    num=216, depth=172..175, filters=594320, ccks=3192, wck=49.319, mem=239M471
56.03/51.86	    decisions=51827, wrong=9125, backtracks=1838, failedAssignments=7363, nogoods=1955, foundSolutions=21, bestBound=821
56.03/51.86	    nFilterCalls=2700409, avgTableProportion=0.9999552572645474, avgTableSize=22349.0
56.03/51.86	    
56.24/52.09	    num=217, depth=148..159, filters=596096, ccks=3192, wck=49.548, mem=239M471
56.24/52.09	    decisions=52026, wrong=9146, backtracks=1843, failedAssignments=7379, nogoods=1967, foundSolutions=21, bestBound=821
56.24/52.09	    nFilterCalls=2712302, avgTableProportion=0.9999552572651452, avgTableSize=22349.0
56.24/52.09	    
56.53/52.31	    num=218, depth=162..165, filters=598113, ccks=3192, wck=49.776, mem=244M428
56.53/52.31	    decisions=52234, wrong=9169, backtracks=1849, failedAssignments=7396, nogoods=1975, foundSolutions=21, bestBound=821
56.53/52.31	    nFilterCalls=2724337, avgTableProportion=0.9999552572657447, avgTableSize=22349.0
56.53/52.31	    
56.73/52.54	    num=219, depth=165..166, filters=599917, ccks=3192, wck=49.999, mem=244M428
56.73/52.54	    decisions=52447, wrong=9193, backtracks=1854, failedAssignments=7415, nogoods=1985, foundSolutions=21, bestBound=821
56.73/52.54	    nFilterCalls=2736227, avgTableProportion=0.9999552572663319, avgTableSize=22349.0
56.73/52.54	    
56.93/52.77	    num=220, depth=161..164, filters=602038, ccks=3192, wck=50.228, mem=244M428
56.93/52.77	    decisions=52671, wrong=9224, backtracks=1864, failedAssignments=7436, nogoods=1994, foundSolutions=21, bestBound=821
56.93/52.77	    nFilterCalls=2748481, avgTableProportion=0.9999552572669318, avgTableSize=22349.0
56.93/52.77	    
57.13/52.99	    num=221, depth=149..153, filters=603804, ccks=3192, wck=50.448, mem=244M428
57.13/52.99	    decisions=52874, wrong=9250, backtracks=1867, failedAssignments=7459, nogoods=2004, foundSolutions=21, bestBound=821
57.13/52.99	    nFilterCalls=2760181, avgTableProportion=0.9999552572674995, avgTableSize=22349.0
57.13/52.99	    
57.43/53.21	    num=222, depth=148..152, filters=606029, ccks=3192, wck=50.674, mem=249M385
57.43/53.21	    decisions=53091, wrong=9284, backtracks=1877, failedAssignments=7484, nogoods=2007, foundSolutions=21, bestBound=821
57.43/53.21	    nFilterCalls=2772515, avgTableProportion=0.9999552572680929, avgTableSize=22349.0
57.43/53.21	    
57.63/53.44	    num=223, depth=156..163, filters=608428, ccks=3192, wck=50.906, mem=249M385
57.63/53.44	    decisions=53342, wrong=9330, backtracks=1896, failedAssignments=7512, nogoods=2013, foundSolutions=21, bestBound=821
57.63/53.44	    nFilterCalls=2784857, avgTableProportion=0.9999552572686813, avgTableSize=22349.0
57.63/53.44	    
57.83/53.68	    num=224, depth=163..167, filters=610761, ccks=3192, wck=51.137, mem=249M385
57.83/53.68	    decisions=53608, wrong=9380, backtracks=1915, failedAssignments=7543, nogoods=2018, foundSolutions=21, bestBound=821
57.83/53.68	    nFilterCalls=2797374, avgTableProportion=0.9999552572692728, avgTableSize=22349.0
57.83/53.68	    
58.14/53.90	    num=225, depth=168..171, filters=613095, ccks=3192, wck=51.363, mem=249M385
58.14/53.90	    decisions=53873, wrong=9428, backtracks=1930, failedAssignments=7577, nogoods=2024, foundSolutions=21, bestBound=821
58.14/53.90	    nFilterCalls=2809256, avgTableProportion=0.9999552572698294, avgTableSize=22349.0
58.14/53.90	    
58.35/54.13	    num=226, depth=167..170, filters=615414, ccks=3192, wck=51.597, mem=254M342
58.35/54.13	    decisions=54132, wrong=9473, backtracks=1938, failedAssignments=7614, nogoods=2036, foundSolutions=21, bestBound=821
58.35/54.13	    nFilterCalls=2821376, avgTableProportion=0.9999552572703923, avgTableSize=22349.0
58.35/54.13	    
58.54/54.36	    num=227, depth=168..172, filters=617737, ccks=3192, wck=51.823, mem=254M342
58.54/54.36	    decisions=54409, wrong=9527, backtracks=1952, failedAssignments=7655, nogoods=2043, foundSolutions=21, bestBound=821
58.54/54.36	    nFilterCalls=2833467, avgTableProportion=0.999955257270949, avgTableSize=22349.0
58.54/54.36	    
58.84/54.61	    num=228, depth=145..147, filters=620907, ccks=3192, wck=52.073, mem=254M342
58.84/54.61	    decisions=54660, wrong=9580, backtracks=1960, failedAssignments=7700, nogoods=2052, foundSolutions=21, bestBound=821
58.84/54.61	    nFilterCalls=2846568, avgTableProportion=0.999955257271547, avgTableSize=22349.0
58.84/54.61	    
59.04/54.84	    num=229, depth=159..164, filters=624634, ccks=3192, wck=52.305, mem=254M342
59.04/54.84	    decisions=54959, wrong=9649, backtracks=1980, failedAssignments=7750, nogoods=2063, foundSolutions=21, bestBound=821
59.04/54.84	    nFilterCalls=2859701, avgTableProportion=0.999955257272141, avgTableSize=22349.0
59.04/54.84	    
59.25/55.08	    num=230, depth=141..144, filters=627028, ccks=3192, wck=52.542, mem=259M299
59.25/55.08	    decisions=55232, wrong=9714, backtracks=1990, failedAssignments=7805, nogoods=2071, foundSolutions=21, bestBound=821
59.25/55.08	    nFilterCalls=2872187, avgTableProportion=0.9999552572727005, avgTableSize=22349.0
59.25/55.08	    
59.54/55.31	    num=231, depth=149..160, filters=629354, ccks=3192, wck=52.776, mem=259M299
59.54/55.31	    decisions=55523, wrong=9780, backtracks=1995, failedAssignments=7866, nogoods=2079, foundSolutions=21, bestBound=821
59.54/55.31	    nFilterCalls=2884461, avgTableProportion=0.999955257273246, avgTableSize=22349.0
59.54/55.31	    
59.74/55.56	    num=232, depth=158..163, filters=631872, ccks=3192, wck=53.018, mem=264M257
59.74/55.56	    decisions=55843, wrong=9860, backtracks=2008, failedAssignments=7933, nogoods=2102, foundSolutions=21, bestBound=821
59.74/55.56	    nFilterCalls=2897271, avgTableProportion=0.9999552572738102, avgTableSize=22349.0
59.74/55.56	    
59.95/55.80	    num=233, depth=157..160, filters=634623, ccks=3192, wck=53.258, mem=264M257
59.95/55.80	    decisions=56186, wrong=9953, backtracks=2028, failedAssignments=8007, nogoods=2114, foundSolutions=21, bestBound=821
59.95/55.80	    nFilterCalls=2910098, avgTableProportion=0.9999552572743703, avgTableSize=22349.0
59.95/55.80	    
60.26/56.03	    num=234, depth=164..169, filters=637978, ccks=3192, wck=53.496, mem=264M257
60.26/56.03	    decisions=56563, wrong=10059, backtracks=2053, failedAssignments=8088, nogoods=2125, foundSolutions=21, bestBound=821
60.26/56.03	    nFilterCalls=2923026, avgTableProportion=0.9999552572749297, avgTableSize=22349.0
60.26/56.03	    
60.45/56.29	    num=235, depth=160..165, filters=641436, ccks=3192, wck=53.749, mem=269M214
60.45/56.29	    decisions=56959, wrong=10176, backtracks=2082, failedAssignments=8177, nogoods=2130, foundSolutions=21, bestBound=821
60.45/56.29	    nFilterCalls=2936830, avgTableProportion=0.9999552572755217, avgTableSize=22349.0
60.45/56.29	    
60.75/56.57	    num=236, depth=149..156, filters=647062, ccks=3192, wck=54.03, mem=269M214
60.75/56.57	    decisions=57362, wrong=10302, backtracks=2111, failedAssignments=8275, nogoods=2145, foundSolutions=21, bestBound=821
60.75/56.57	    nFilterCalls=2952472, avgTableProportion=0.9999552572761858, avgTableSize=22349.0
60.75/56.57	    
61.05/56.84	    num=237, depth=148..155, filters=652302, ccks=3192, wck=54.304, mem=274M171
61.05/56.84	    decisions=57833, wrong=10460, backtracks=2162, failedAssignments=8383, nogoods=2149, foundSolutions=21, bestBound=821
61.05/56.84	    nFilterCalls=2968444, avgTableProportion=0.9999552572768566, avgTableSize=22349.0
61.05/56.84	    
61.26/57.09	    num=238, depth=175..179, filters=656607, ccks=3192, wck=54.549, mem=274M171
61.26/57.09	    decisions=58345, wrong=10628, backtracks=2214, failedAssignments=8502, nogoods=2167, foundSolutions=21, bestBound=821
61.26/57.09	    nFilterCalls=2981935, avgTableProportion=0.9999552572774177, avgTableSize=22349.0
61.26/57.09	    
61.55/57.35	    num=239, depth=156..162, filters=661571, ccks=3192, wck=54.811, mem=274M171
61.55/57.35	    decisions=58861, wrong=10806, backtracks=2262, failedAssignments=8633, nogoods=2176, foundSolutions=21, bestBound=821
61.55/57.35	    nFilterCalls=2996773, avgTableProportion=0.999955257278029, avgTableSize=22349.0
61.55/57.35	    
61.85/57.66	    num=240, depth=145..150, filters=667325, ccks=3192, wck=55.125, mem=279M128
61.85/57.66	    decisions=59400, wrong=11001, backtracks=2314, failedAssignments=8777, nogoods=2191, foundSolutions=21, bestBound=821
61.85/57.66	    nFilterCalls=3014410, avgTableProportion=0.9999552572787477, avgTableSize=22349.0
61.85/57.66	    
62.15/57.99	    num=241, depth=145..150, filters=675225, ccks=3192, wck=55.452, mem=284M86
62.15/57.99	    decisions=60015, wrong=11235, backtracks=2390, failedAssignments=8935, nogoods=2217, foundSolutions=21, bestBound=821
62.15/57.99	    nFilterCalls=3033969, avgTableProportion=0.999955257279535, avgTableSize=22349.0
62.15/57.99	    
62.45/58.28	    num=242, depth=148..161, filters=680579, ccks=3192, wck=55.743, mem=289M43
62.45/58.28	    decisions=60612, wrong=11455, backtracks=2436, failedAssignments=9109, nogoods=2234, foundSolutions=21, bestBound=821
62.45/58.28	    nFilterCalls=3049854, avgTableProportion=0.999955257280167, avgTableSize=22349.0
62.45/58.28	    
62.75/58.56	    num=243, depth=156..159, filters=685333, ccks=3192, wck=56.021, mem=294M0
62.75/58.56	    decisions=61211, wrong=11676, backtracks=2466, failedAssignments=9300, nogoods=2254, foundSolutions=21, bestBound=821
62.75/58.56	    nFilterCalls=3065241, avgTableProportion=0.9999552572807728, avgTableSize=22349.0
62.75/58.56	    
63.15/58.90	    num=244, depth=146..151, filters=692802, ccks=3192, wck=56.365, mem=298M957
63.15/58.90	    decisions=61886, wrong=11940, backtracks=2519, failedAssignments=9511, nogoods=2275, foundSolutions=21, bestBound=821
63.15/58.90	    nFilterCalls=3085133, avgTableProportion=0.9999552572815472, avgTableSize=22349.0
63.15/58.90	    
63.45/59.21	    num=245, depth=145..157, filters=698608, ccks=3192, wck=56.673, mem=298M957
63.45/59.21	    decisions=62563, wrong=12202, backtracks=2549, failedAssignments=9743, nogoods=2293, foundSolutions=21, bestBound=821
63.45/59.21	    nFilterCalls=3102408, avgTableProportion=0.9999552572822117, avgTableSize=22349.0
63.45/59.21	    
63.75/59.55	    num=246, depth=151..159, filters=706165, ccks=3192, wck=57.016, mem=303M915
63.75/59.55	    decisions=63369, wrong=12526, backtracks=2620, failedAssignments=9998, nogoods=2311, foundSolutions=21, bestBound=821
63.75/59.55	    nFilterCalls=3121172, avgTableProportion=0.999955257282925, avgTableSize=22349.0
63.75/59.55	    
64.05/59.88	    num=247, depth=146..150, filters=713283, ccks=3192, wck=57.347, mem=313M829
64.05/59.88	    decisions=64196, wrong=12865, backtracks=2678, failedAssignments=10279, nogoods=2320, foundSolutions=21, bestBound=821
64.05/59.88	    nFilterCalls=3139601, avgTableProportion=0.9999552572836173, avgTableSize=22349.0
64.05/59.88	    
64.45/60.28	    num=248, depth=156..162, filters=726954, ccks=3192, wck=57.737, mem=313M829
64.45/60.28	    decisions=65230, wrong=13302, backtracks=2809, failedAssignments=10588, nogoods=2328, foundSolutions=21, bestBound=821
64.45/60.28	    nFilterCalls=3164852, avgTableProportion=0.9999552572845528, avgTableSize=22349.0
64.45/60.28	    
64.95/60.79	    num=249, depth=135..141, filters=739276, ccks=3192, wck=58.252, mem=323M744
64.95/60.79	    decisions=66253, wrong=13745, backtracks=2913, failedAssignments=10928, nogoods=2341, foundSolutions=21, bestBound=821
64.95/60.79	    nFilterCalls=3191260, avgTableProportion=0.9999552572855154, avgTableSize=22349.0
64.95/60.79	    
65.46/61.23	    num=250, depth=141..146, filters=753052, ccks=3192, wck=58.693, mem=333M658
65.46/61.23	    decisions=67289, wrong=14192, backtracks=2987, failedAssignments=11302, nogoods=2354, foundSolutions=21, bestBound=821
65.46/61.23	    nFilterCalls=3216470, avgTableProportion=0.9999552572864195, avgTableSize=22349.0
65.46/61.23	    
65.87/61.69	    num=251, depth=137..142, filters=764993, ccks=3192, wck=59.147, mem=344M261
65.87/61.69	    decisions=68480, wrong=14718, backtracks=3102, failedAssignments=11713, nogoods=2368, foundSolutions=21, bestBound=821
65.87/61.69	    nFilterCalls=3243736, avgTableProportion=0.9999552572873815, avgTableSize=22349.0
65.87/61.69	    
66.47/62.28	    num=252, depth=138..142, filters=780881, ccks=3192, wck=59.739, mem=359M133
66.47/62.28	    decisions=69677, wrong=15247, backtracks=3179, failedAssignments=12165, nogoods=2414, foundSolutions=21, bestBound=821
66.47/62.28	    nFilterCalls=3273831, avgTableProportion=0.9999552572884248, avgTableSize=22349.0
66.47/62.28	    
67.17/62.91	    num=253, depth=132..139, filters=799976, ccks=3192, wck=60.376, mem=378M962
67.17/62.91	    decisions=71013, wrong=15847, backtracks=3284, failedAssignments=12662, nogoods=2421, foundSolutions=21, bestBound=821
67.17/62.91	    nFilterCalls=3308538, avgTableProportion=0.9999552572896043, avgTableSize=22349.0
67.17/62.91	    
67.77/63.51	    num=254, depth=135..142, filters=819078, ccks=3192, wck=60.973, mem=403M748
67.77/63.51	    decisions=72470, wrong=16506, backtracks=3397, failedAssignments=13209, nogoods=2475, foundSolutions=21, bestBound=821
67.77/63.51	    nFilterCalls=3343861, avgTableProportion=0.9999552572907797, avgTableSize=22349.0
67.77/63.51	    
68.38/64.19	    num=255, depth=130..137, filters=839797, ccks=3192, wck=61.652, mem=418M619
68.38/64.19	    decisions=74057, wrong=17233, backtracks=3526, failedAssignments=13811, nogoods=2495, foundSolutions=21, bestBound=821
68.38/64.19	    nFilterCalls=3380193, avgTableProportion=0.999955257291963, avgTableSize=22349.0
68.38/64.19	    
68.97/64.72	    num=256, depth=144..150, filters=854837, ccks=3192, wck=62.184, mem=433M491
68.97/64.72	    decisions=75786, wrong=18025, backtracks=3656, failedAssignments=14473, nogoods=2517, foundSolutions=21, bestBound=821
68.97/64.72	    nFilterCalls=3411779, avgTableProportion=0.9999552572929713, avgTableSize=22349.0
68.97/64.72	    
69.88/65.65	    num=257, depth=132..138, filters=884939, ccks=3192, wck=63.112, mem=468M192
69.88/65.65	    decisions=77633, wrong=18881, backtracks=3788, failedAssignments=15201, nogoods=2551, foundSolutions=21, bestBound=821
69.88/65.65	    nFilterCalls=3465419, avgTableProportion=0.9999552572946414, avgTableSize=22349.0
69.88/65.65	    
70.84/66.56	    num=258, depth=129..135, filters=915614, ccks=3192, wck=64.022, mem=260M234
70.84/66.56	    decisions=79622, wrong=19810, backtracks=3916, failedAssignments=16002, nogoods=2555, foundSolutions=21, bestBound=821
70.84/66.56	    nFilterCalls=3523477, avgTableProportion=0.9999552572963918, avgTableSize=22349.0
70.84/66.56	    
71.83/67.55	    num=259, depth=126..132, filters=941570, ccks=3192, wck=65.013, mem=302M358
71.83/67.55	    decisions=81734, wrong=20802, backtracks=4029, failedAssignments=16883, nogoods=2626, foundSolutions=21, bestBound=821
71.83/67.55	    nFilterCalls=3568496, avgTableProportion=0.9999552572977098, avgTableSize=22349.0
71.83/67.55	    
72.93/68.63	    num=260, depth=126..132, filters=978005, ccks=3192, wck=66.092, mem=337M461
72.93/68.63	    decisions=84081, wrong=21911, backtracks=4168, failedAssignments=17853, nogoods=2667, foundSolutions=21, bestBound=821
72.93/68.63	    nFilterCalls=3630122, avgTableProportion=0.9999552572994612, avgTableSize=22349.0
72.93/68.63	    
73.93/69.62	    num=261, depth=130..135, filters=1010780, ccks=3192, wck=67.08, mem=372M565
73.93/69.62	    decisions=86690, wrong=23149, backtracks=4340, failedAssignments=18920, nogoods=2756, foundSolutions=21, bestBound=821
73.93/69.62	    nFilterCalls=3682885, avgTableProportion=0.9999552573009141, avgTableSize=22349.0
73.93/69.62	    
75.03/70.78	    num=262, depth=134..140, filters=1046798, ccks=3192, wck=68.239, mem=407M668
75.03/70.78	    decisions=89610, wrong=24541, backtracks=4560, failedAssignments=20093, nogoods=2776, foundSolutions=21, bestBound=821
75.03/70.78	    nFilterCalls=3745585, avgTableProportion=0.9999552573025873, avgTableSize=22349.0
75.03/70.78	    
76.34/72.07	    num=263, depth=146..151, filters=1092843, ccks=3192, wck=69.531, mem=456M812
76.34/72.07	    decisions=92729, wrong=26026, backtracks=4755, failedAssignments=21384, nogoods=2815, foundSolutions=21, bestBound=821
76.34/72.07	    nFilterCalls=3818121, avgTableProportion=0.9999552573044544, avgTableSize=22349.0
76.34/72.07	    
77.95/73.65	    num=264, depth=118..124, filters=1135170, ccks=3192, wck=71.114, mem=541M60
77.95/73.65	    decisions=95979, wrong=27591, backtracks=4900, failedAssignments=22804, nogoods=2848, foundSolutions=21, bestBound=821
77.95/73.65	    nFilterCalls=3903518, avgTableProportion=0.9999552573065636, avgTableSize=22349.0
77.95/73.65	    
80.10/75.73	    num=265, depth=122..129, filters=1192460, ccks=3192, wck=73.194, mem=288M596
80.10/75.73	    decisions=99786, wrong=29432, backtracks=5181, failedAssignments=24366, nogoods=2854, foundSolutions=21, bestBound=821
80.10/75.73	    nFilterCalls=4029591, avgTableProportion=0.9999552573095143, avgTableSize=22349.0
80.10/75.73	    
81.42/77.08	    num=266, depth=134..142, filters=1237520, ccks=3192, wck=74.54, mem=323M799
81.42/77.08	    decisions=104218, wrong=31579, backtracks=5618, failedAssignments=26084, nogoods=2902, foundSolutions=21, bestBound=821
81.42/77.08	    nFilterCalls=4100447, avgTableProportion=0.9999552573110929, avgTableSize=22349.0
81.42/77.08	    
83.61/79.20	    num=267, depth=126..132, filters=1297514, ccks=3192, wck=76.662, mem=415M328
83.61/79.20	    decisions=108698, wrong=33755, backtracks=5905, failedAssignments=27974, nogoods=2945, foundSolutions=21, bestBound=821
83.61/79.20	    nFilterCalls=4218503, avgTableProportion=0.9999552573136054, avgTableSize=22349.0
83.61/79.20	    
86.31/81.91	    num=268, depth=128..134, filters=1385150, ccks=3192, wck=79.372, mem=499M816
86.31/81.91	    decisions=114185, wrong=36433, backtracks=6506, failedAssignments=30053, nogoods=2963, foundSolutions=21, bestBound=821
86.31/81.91	    nFilterCalls=4364185, avgTableProportion=0.9999552573165184, avgTableSize=22349.0
86.31/81.91	    
89.52/85.17	    num=269, depth=126..133, filters=1497697, ccks=3192, wck=82.629, mem=577M263
89.52/85.17	    decisions=120281, wrong=39416, backtracks=7210, failedAssignments=32340, nogoods=2987, foundSolutions=21, bestBound=821
89.52/85.17	    nFilterCalls=4519559, avgTableProportion=0.9999552573194183, avgTableSize=22349.0
89.52/85.17	    
94.25/89.84	    num=270, depth=117..125, filters=1659979, ccks=3192, wck=87.302, mem=331M918
94.25/89.84	    decisions=127413, wrong=42922, backtracks=8204, failedAssignments=34856, nogoods=3014, foundSolutions=21, bestBound=821
94.25/89.84	    nFilterCalls=4761585, avgTableProportion=0.9999552573235584, avgTableSize=22349.0
94.25/89.84	    
97.75/93.36	    num=271, depth=121..130, filters=1769255, ccks=3192, wck=90.827, mem=477M225
97.75/93.36	    decisions=134390, wrong=46348, backtracks=8867, failedAssignments=37624, nogoods=3048, foundSolutions=21, bestBound=821
97.75/93.36	    nFilterCalls=4944901, avgTableProportion=0.9999552573264244, avgTableSize=22349.0
97.75/93.36	    
101.06/96.60	    num=272, depth=128..138, filters=1882818, ccks=3192, wck=94.065, mem=603M156
101.06/96.60	    decisions=141848, wrong=50009, backtracks=9491, failedAssignments=40668, nogoods=3070, foundSolutions=21, bestBound=821
101.06/96.60	    nFilterCalls=5118483, avgTableProportion=0.9999552573289491, avgTableSize=22349.0
101.06/96.60	    
103.99/99.54	    num=273, depth=123..128, filters=1985273, ccks=3192, wck=97.007, mem=293M284
103.99/99.54	    decisions=149344, wrong=53694, backtracks=9828, failedAssignments=44017, nogoods=3090, foundSolutions=21, bestBound=821
103.99/99.54	    nFilterCalls=5279331, avgTableProportion=0.9999552573311403, avgTableSize=22349.0
103.99/99.54	    
109.81/105.33	    num=274, depth=114..121, filters=2194478, ccks=3192, wck=102.79, mem=438M765
109.81/105.33	    decisions=158934, wrong=58430, backtracks=10896, failedAssignments=47701, nogoods=3114, foundSolutions=21, bestBound=821
109.81/105.33	    nFilterCalls=5573709, avgTableProportion=0.9999552573348232, avgTableSize=22349.0
109.81/105.33	    
113.52/109.01	    num=275, depth=134..139, filters=2337514, ccks=3192, wck=106.468, mem=623M40
113.52/109.01	    decisions=168461, wrong=63126, backtracks=11544, failedAssignments=51753, nogoods=3148, foundSolutions=21, bestBound=821
113.52/109.01	    nFilterCalls=5784785, avgTableProportion=0.9999552573372331, avgTableSize=22349.0
113.52/109.01	    
117.66/113.18	    num=276, depth=129..135, filters=2490421, ccks=3192, wck=110.644, mem=281M529
117.66/113.18	    decisions=179234, wrong=68447, backtracks=12423, failedAssignments=56210, nogoods=3180, foundSolutions=21, bestBound=821
117.66/113.18	    nFilterCalls=6001165, avgTableProportion=0.9999552573395276, avgTableSize=22349.0
117.66/113.18	    
124.45/119.96	    num=277, depth=125..133, filters=2693301, ccks=3192, wck=117.42, mem=494M596
124.45/119.96	    decisions=192029, wrong=74780, backtracks=13859, failedAssignments=61113, nogoods=3197, foundSolutions=21, bestBound=821
124.45/119.96	    nFilterCalls=6356185, avgTableProportion=0.9999552573429539, avgTableSize=22349.0
124.45/119.96	    
130.18/125.61	    num=278, depth=127..139, filters=2868683, ccks=3192, wck=123.068, mem=236M679
130.18/125.61	    decisions=204208, wrong=80805, backtracks=14491, failedAssignments=66507, nogoods=3218, foundSolutions=21, bestBound=821
130.18/125.61	    nFilterCalls=6665708, avgTableProportion=0.9999552573456433, avgTableSize=22349.0
130.18/125.61	    
139.39/134.89	    num=279, depth=101..109, filters=3190714, ccks=3192, wck=132.353, mem=562M50
139.39/134.89	    decisions=218611, wrong=87955, backtracks=15737, failedAssignments=72440, nogoods=3268, foundSolutions=21, bestBound=821
139.39/134.89	    nFilterCalls=7173949, avgTableProportion=0.9999552573495558, avgTableSize=22349.0
139.39/134.89	    
146.53/141.97	    num=280, depth=120..128, filters=3439465, ccks=3192, wck=139.434, mem=237M868
146.53/141.97	    decisions=234763, wrong=95970, backtracks=17244, failedAssignments=78966, nogoods=3328, foundSolutions=21, bestBound=821
146.53/141.97	    nFilterCalls=7578959, avgTableProportion=0.999955257352298, avgTableSize=22349.0
146.53/141.97	    
153.54/148.93	    num=281, depth=122..131, filters=3657406, ccks=3192, wck=146.392, mem=510M142
153.54/148.93	    decisions=251838, wrong=104445, backtracks=18542, failedAssignments=86145, nogoods=3419, foundSolutions=21, bestBound=821
153.54/148.93	    nFilterCalls=7937336, avgTableProportion=0.9999552573544911, avgTableSize=22349.0
153.54/148.93	    
160.94/156.37	    num=282, depth=131..139, filters=3929867, ccks=3192, wck=153.833, mem=757M665
160.94/156.37	    decisions=270858, wrong=113889, backtracks=20101, failedAssignments=94042, nogoods=3494, foundSolutions=21, bestBound=821
160.94/156.37	    nFilterCalls=8350380, avgTableProportion=0.9999552573567851, avgTableSize=22349.0
160.94/156.37	    
171.98/167.37	    num=283, depth=113..120, filters=4233843, ccks=3192, wck=164.831, mem=620M352
171.98/167.37	    decisions=290598, wrong=123701, backtracks=21240, failedAssignments=102729, nogoods=3560, foundSolutions=21, bestBound=821
171.98/167.37	    nFilterCalls=8853117, avgTableProportion=0.9999552573592886, avgTableSize=22349.0
171.98/167.37	    
188.13/183.45	    num=284, depth=104..115, filters=4663658, ccks=3192, wck=180.909, mem=607M261
188.13/183.45	    decisions=314582, wrong=135639, backtracks=23635, failedAssignments=112284, nogoods=3625, foundSolutions=21, bestBound=821
188.13/183.45	    nFilterCalls=9651498, avgTableProportion=0.9999552573627283, avgTableSize=22349.0
188.13/183.45	    
198.45/193.79	    num=285, depth=129..139, filters=4997578, ccks=3192, wck=191.257, mem=583M687
198.45/193.79	    decisions=338711, wrong=147638, backtracks=25135, failedAssignments=122795, nogoods=3683, foundSolutions=21, bestBound=821
198.45/193.79	    nFilterCalls=10186950, avgTableProportion=0.9999552573647331, avgTableSize=22349.0
198.45/193.79	    
209.80/205.04	    num=286, depth=120..127, filters=5335921, ccks=3192, wck=202.502, mem=572M31
209.80/205.04	    decisions=364023, wrong=160232, backtracks=26173, failedAssignments=134357, nogoods=3703, foundSolutions=21, bestBound=821
209.80/205.04	    nFilterCalls=10764686, avgTableProportion=0.9999552573666726, avgTableSize=22349.0
209.80/205.04	    
229.53/224.78	    num=287, depth=101..111, filters=5962032, ccks=3192, wck=222.239, mem=739M6
229.53/224.78	    decisions=394452, wrong=175394, backtracks=28660, failedAssignments=147075, nogoods=3733, foundSolutions=21, bestBound=821
229.53/224.78	    nFilterCalls=11796952, avgTableProportion=0.9999552573696651, avgTableSize=22349.0
229.53/224.78	    
245.39/240.56	    num=288, depth=113..120, filters=6393781, ccks=3192, wck=238.026, mem=618M822
245.39/240.56	    decisions=425445, wrong=190832, backtracks=30116, failedAssignments=161065, nogoods=3771, foundSolutions=21, bestBound=821
245.39/240.56	    nFilterCalls=12579697, avgTableProportion=0.9999552573716067, avgTableSize=22349.0
245.39/240.56	    
267.42/262.55	    num=289, depth=123..132, filters=7234394, ccks=3192, wck=260.01, mem=447M391
267.42/262.55	    decisions=464749, wrong=210421, backtracks=34401, failedAssignments=176454, nogoods=3796, foundSolutions=21, bestBound=821
267.42/262.55	    nFilterCalls=13901177, avgTableProportion=0.9999552573743886, avgTableSize=22349.0
267.42/262.55	    
305.36/300.44	    num=290, depth=118..128, filters=8667367, ccks=3192, wck=297.906, mem=295M533
305.36/300.44	    decisions=519794, wrong=237882, backtracks=45211, failedAssignments=193382, nogoods=3816, foundSolutions=21, bestBound=821
305.36/300.44	    nFilterCalls=16177907, avgTableProportion=0.9999552573781154, avgTableSize=22349.0
305.36/300.44	    
329.29/324.30	    num=291, depth=111..124, filters=9686255, ccks=3192, wck=321.764, mem=406M421
329.29/324.30	    decisions=564985, wrong=260419, backtracks=49182, failedAssignments=212003, nogoods=3842, foundSolutions=21, bestBound=821
329.29/324.30	    nFilterCalls=17637690, avgTableProportion=0.9999552572892068, avgTableSize=22349.0
329.29/324.30	    
357.63/352.61	    num=292, depth=109..117, filters=10608460, ccks=3192, wck=350.071, mem=308M947
357.63/352.61	    decisions=615132, wrong=285436, backtracks=53748, failedAssignments=232487, nogoods=3866, foundSolutions=21, bestBound=821
357.63/352.61	    nFilterCalls=19063527, avgTableProportion=0.999955257158244, avgTableSize=22349.0
357.63/352.61	    
383.12/378.02	    num=293, depth=117..125, filters=11448719, ccks=3192, wck=375.483, mem=399M424
383.12/378.02	    decisions=667357, wrong=311489, backtracks=57301, failedAssignments=255019, nogoods=3957, foundSolutions=21, bestBound=821
383.12/378.02	    nFilterCalls=20474703, avgTableProportion=0.9999552570465875, avgTableSize=22349.0
383.12/378.02	    
444.36/439.20	    num=294, depth=107..117, filters=13209526, ccks=3192, wck=436.663, mem=450M475
444.36/439.20	    decisions=745167, wrong=350340, backtracks=71844, failedAssignments=279804, nogoods=3998, foundSolutions=21, bestBound=821
444.36/439.20	    nFilterCalls=23379231, avgTableProportion=0.9999552568591955, avgTableSize=22349.0
444.36/439.20	    
483.43/478.24	    num=295, depth=109..116, filters=14511627, ccks=3192, wck=475.705, mem=309M35
483.43/478.24	    decisions=809040, wrong=382220, backtracks=76484, failedAssignments=307068, nogoods=4058, foundSolutions=21, bestBound=821
483.43/478.24	    nFilterCalls=25438362, avgTableProportion=0.9999552567522684, avgTableSize=22349.0
483.43/478.24	    
519.79/514.55	    num=296, depth=115..122, filters=15557416, ccks=3192, wck=512.01, mem=264M888
519.79/514.55	    decisions=879528, wrong=417405, backtracks=81731, failedAssignments=337058, nogoods=4106, foundSolutions=21, bestBound=821
519.79/514.55	    nFilterCalls=27140407, avgTableProportion=0.9999552566761326, avgTableSize=22349.0
519.79/514.55	    
551.16/545.87	    num=297, depth=117..127, filters=16635149, ccks=3192, wck=543.336, mem=425M739
551.16/545.87	    decisions=954823, wrong=454993, backtracks=86340, failedAssignments=370047, nogoods=4171, foundSolutions=21, bestBound=821
551.16/545.87	    nFilterCalls=28756240, avgTableProportion=0.9999552566121929, avgTableSize=22349.0
551.16/545.87	    
598.37/592.95	    num=298, depth=112..124, filters=18045680, ccks=3192, wck=590.41, mem=358M572
598.37/592.95	    decisions=1040227, wrong=497636, backtracks=92776, failedAssignments=406335, nogoods=4213, foundSolutions=21, bestBound=821
598.37/592.95	    nFilterCalls=31188953, avgTableProportion=0.9999552565284242, avgTableSize=22349.0
598.37/592.95	    
634.19/628.68	    num=299, depth=128..137, filters=19118849, ccks=3192, wck=626.144, mem=264M113
634.19/628.68	    decisions=1128593, wrong=541753, backtracks=97013, failedAssignments=446252, nogoods=4279, foundSolutions=21, bestBound=821
634.19/628.68	    nFilterCalls=33020616, avgTableProportion=0.9999552564734976, avgTableSize=22349.0
634.19/628.68	    
679.41/673.75	    num=300, depth=118..128, filters=20459284, ccks=3192, wck=671.215, mem=262M6
679.41/673.75	    decisions=1233683, wrong=594238, backtracks=105674, failedAssignments=490161, nogoods=4324, foundSolutions=21, bestBound=821
679.41/673.75	    nFilterCalls=35109937, avgTableProportion=0.9999552565827269, avgTableSize=22349.0
679.41/673.75	    
739.09/733.27	    num=301, depth=119..129, filters=22554922, ccks=3192, wck=730.727, mem=309M653
739.09/733.27	    decisions=1345464, wrong=650068, backtracks=113289, failedAssignments=538461, nogoods=4354, foundSolutions=21, bestBound=821
739.09/733.27	    nFilterCalls=38514861, avgTableProportion=0.9999552568197232, avgTableSize=22349.0
739.09/733.27	    
804.00/798.00	    num=302, depth=113..121, filters=24324892, ccks=3192, wck=795.462, mem=248M743
804.00/798.00	    decisions=1465770, wrong=710163, backtracks=120266, failedAssignments=591591, nogoods=4410, foundSolutions=21, bestBound=821
804.00/798.00	    nFilterCalls=41464382, avgTableProportion=0.9999552569935596, avgTableSize=22349.0
804.00/798.00	    
885.54/879.24	    num=303, depth=117..130, filters=26662357, ccks=3192, wck=876.703, mem=265M275
885.54/879.24	    decisions=1609103, wrong=781769, backtracks=133502, failedAssignments=650034, nogoods=4460, foundSolutions=21, bestBound=821
885.54/879.24	    nFilterCalls=45181996, avgTableProportion=0.9999552571803335, avgTableSize=22349.0
885.54/879.24	    
966.41/959.88	    num=304, depth=112..122, filters=29356947, ccks=3192, wck=957.341, mem=253M250
966.41/959.88	    decisions=1764804, wrong=859561, backtracks=147274, failedAssignments=714321, nogoods=4511, foundSolutions=21, bestBound=821
966.41/959.88	    nFilterCalls=49240361, avgTableProportion=0.9999552573520283, avgTableSize=22349.0
966.41/959.88	    
1040.45/1033.65	    num=305, depth=122..133, filters=32012025, ccks=3192, wck=1031.109, mem=272M576
1040.45/1033.65	    decisions=1933451, wrong=943821, backtracks=161025, failedAssignments=785037, nogoods=4550, foundSolutions=21, bestBound=821
1040.45/1033.65	    nFilterCalls=53641926, avgTableProportion=0.9999552575088745, avgTableSize=22349.0
1040.45/1033.65	    
1118.67/1111.60	    num=306, depth=120..138, filters=34289015, ccks=3192, wck=1109.061, mem=241M256
1118.67/1111.60	    decisions=2125194, wrong=1039628, backtracks=179202, failedAssignments=862824, nogoods=4609, foundSolutions=21, bestBound=821
1118.67/1111.60	    nFilterCalls=57301382, avgTableProportion=0.9999552576209317, avgTableSize=22349.0
1118.67/1111.60	    
1193.18/1185.99	    num=307, depth=125..136, filters=36794678, ccks=3192, wck=1183.456, mem=231M667
1193.18/1185.99	    decisions=2335302, wrong=1144617, backtracks=198824, failedAssignments=948390, nogoods=4646, foundSolutions=21, bestBound=821
1193.18/1185.99	    nFilterCalls=61213849, avgTableProportion=0.999955257725917, avgTableSize=22349.0
1193.18/1185.99	    
1276.02/1268.56	    num=308, depth=130..140, filters=39532497, ccks=3192, wck=1266.017, mem=259M443
1276.02/1268.56	    decisions=2556498, wrong=1255148, backtracks=215336, failedAssignments=1042513, nogoods=4712, foundSolutions=21, bestBound=821
1276.02/1268.56	    nFilterCalls=65458488, avgTableProportion=0.9999552578256222, avgTableSize=22349.0
1276.02/1268.56	    
1394.33/1386.55	    num=309, depth=116..127, filters=43141095, ccks=3192, wck=1384.009, mem=255M874
1394.33/1386.55	    decisions=2806480, wrong=1380079, backtracks=237039, failedAssignments=1146048, nogoods=4751, foundSolutions=21, bestBound=821
1394.33/1386.55	    nFilterCalls=70835338, avgTableProportion=0.9999552575431263, avgTableSize=22349.0
1394.33/1386.55	    
1502.47/1494.36	    num=310, depth=131..140, filters=47337534, ccks=3192, wck=1491.819, mem=278M818
1502.47/1494.36	    decisions=3064632, wrong=1509087, backtracks=252240, failedAssignments=1259937, nogoods=4769, foundSolutions=21, bestBound=821
1502.47/1494.36	    nFilterCalls=76783569, avgTableProportion=0.9999552570992227, avgTableSize=22349.0
1502.47/1494.36	    
1645.90/1637.41	    num=311, depth=113..124, filters=51928432, ccks=3192, wck=1634.875, mem=229M394
1645.90/1637.41	    decisions=3377550, wrong=1665487, backtracks=283875, failedAssignments=1385215, nogoods=4814, foundSolutions=21, bestBound=821
1645.90/1637.41	    nFilterCalls=83221792, avgTableProportion=0.9999552566902637, avgTableSize=22349.0
1645.90/1637.41	    
1780.13/1771.31	    num=312, depth=129..141, filters=56894441, ccks=3192, wck=1768.767, mem=259M574
1780.13/1771.31	    decisions=3719624, wrong=1836458, backtracks=317625, failedAssignments=1523021, nogoods=4867, foundSolutions=21, bestBound=821
1780.13/1771.31	    nFilterCalls=90690660, avgTableProportion=0.9999552562885892, avgTableSize=22349.0
1780.13/1771.31	    
1928.49/1919.29	    num=313, depth=121..130, filters=61851789, ccks=3192, wck=1916.753, mem=264M438
1928.49/1919.29	    decisions=4075552, wrong=2014359, backtracks=344046, failedAssignments=1674607, nogoods=4918, foundSolutions=21, bestBound=821
1928.49/1919.29	    nFilterCalls=98251891, avgTableProportion=0.9999552559441536, avgTableSize=22349.0
1928.49/1919.29	    
2179.25/2169.45	    num=314, depth=124..134, filters=70546678, ccks=3192, wck=2166.911, mem=266M907
2179.25/2169.45	    decisions=4499172, wrong=2226105, backtracks=389151, failedAssignments=1841352, nogoods=4972, foundSolutions=21, bestBound=821
2179.25/2169.45	    nFilterCalls=110877361, avgTableProportion=0.9999552554737368, avgTableSize=22349.0
2179.25/2169.45	    
2400.04/2389.60	
2400.04/2389.60	v <instantiation id='sol21' type='solution' cost='821'>  <list> c[] d[] </list>  <values> 52 48 44 49 26 25 32 34 35 36 37 19 27 30 2 3 17 21 31 40 39 50 63 64 72 79 85 84 87 93 97 104 113 24 6 5 13 12 8 51 61 73 74 88 94 99 100 102 147 143 142 137 90 83 82 70 55 75 111 108 43 47 41 23 14 46 78 68 62 59 57 69 54 80 76 86 89 0 7 9 18 53 66 146 148 129 126 122 118 112 103 95 92 96 109 130 138 133 115 98 117 121 125 145 141 136 132 124 128 135 140 144 149 139 134 120 131 127 123 119 114 116 105 106 110 107 101 91 81 71 67 65 60 58 56 45 33 42 38 22 29 28 4 16 11 10 1 20 15 77 4 1 4 11 3 3 3 4 1 4 7 4 1 16 1 4 1 6 3 2 4 5 2 3 2 2 5 2 2 2 2 3 42 5 5 2 2 1 13 9 4 1 7 5 1 3 1 22 7 1 1 17 4 3 7 12 20 12 2 22 4 3 6 4 10 12 3 2 16 1 14 12 10 12 5 1 31 4 1 3 12 8 29 3 7 2 1 2 4 2 2 1 1 5 8 10 2 6 7 23 2 4 6 3 1 3 3 1 3 1 1 4 5 2 5 3 2 1 2 3 1 6 6 4 3 2 2 4 6 2 2 2 1 3 4 5 7 3 5 4 2 6 3 1 3 3 6 4 20 9 </values>  </instantiation>
2400.04/2389.60	s SATISFIABLE

Verifier Data 

OK	821

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391314-1568390658/watcher-4391314-1568390658 -o /tmp/evaluation-result-4391314-1568390658/solver-4391314-1568390658 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28353 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391314-1568390658.xml -cm 

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

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


[startup+0.101827 s]*
/proc/loadavg: 1.87 1.49 1.51 4/226 28971
/proc/meminfo: memFree=30397752/32770624 swapFree=66932052/67108860
[pid=28956] ppid=28953 vsize=10659884 memory=29820 CPUtime=0.15 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 5904 0 0 0 13 2 0 0 20 0 15 0 415333661 10915721216 7455 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2664971 7455 2910 1 0 2627468 0
[pid=28956/tid=28958] ppid=28953 vsize=10659884 memory=-7254949979417569401 CPUtime=0.1 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) R 28953 28956 26463 0 -1 4202560 3225 0 0 0 9 1 0 0 20 0 15 0 415333661 10915721216 7521 33554432000 4194304 4196468 140735053613552 140147279235200 140147267242814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10659884 memory=5793855338268895673 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 7521 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 7521 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333663 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415333664 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146309846560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415333664 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146308793712 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) R 28953 28956 26463 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146306689392 140147275016834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) R 28953 28956 26463 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146305636592 140147267722839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0.02 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) R 28953 28956 26463 0 -1 4202560 600 0 0 0 2 0 0 0 20 0 15 0 415333666 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146304579848 140147259086174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333667 10915721216 7521 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29820 KiB

[startup+0.211074 s]*
/proc/loadavg: 1.87 1.49 1.51 3/226 28971
/proc/meminfo: memFree=30386324/32770624 swapFree=66932052/67108860
[pid=28956] ppid=28953 vsize=10659884 memory=37252 CPUtime=0.33 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 9069 0 0 0 30 3 0 0 20 0 15 0 415333661 10915721216 9313 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2664971 9313 2989 1 0 2627468 0
[pid=28956/tid=28958] ppid=28953 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) R 28953 28956 26463 0 -1 4202560 6097 0 0 0 18 2 0 0 20 0 15 0 415333661 10915721216 9313 33554432000 4194304 4196468 140735053613552 140147279236880 140147275027613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10659884 memory=4211973813463793034 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 9313 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 9313 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333663 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415333664 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146309846560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415333664 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146308793712 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) S 28953 28956 26463 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 15 0 415333666 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146306689392 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) S 28953 28956 26463 0 -1 1077944384 511 0 0 0 3 0 0 0 20 0 15 0 415333666 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146305636592 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0.05 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 634 0 0 0 5 0 0 0 20 0 15 0 415333666 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333667 10915721216 9313 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37252 KiB

[startup+0.310414 s]*
/proc/loadavg: 1.87 1.49 1.51 3/226 28971
/proc/meminfo: memFree=30384376/32770624 swapFree=66932052/67108860
[pid=28956] ppid=28953 vsize=10659884 memory=40336 CPUtime=0.48 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 9424 0 0 0 44 4 0 0 20 0 15 0 415333661 10915721216 10084 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2664971 10084 3016 1 0 2627468 0
[pid=28956/tid=28958] ppid=28953 vsize=10659884 memory=280174272708848 CPUtime=0.3 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) R 28953 28956 26463 0 -1 4202560 6371 0 0 0 27 3 0 0 20 0 15 0 415333661 10915721216 10084 33554432000 4194304 4196468 140735053613552 140147279237488 140147275027613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10659884 memory=4211973813463793034 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 10084 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10659884 memory=140087259004911 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 10084 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10659884 memory=140087136487535 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10659884 memory=140087136467919 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333662 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10659884 memory=140087259028986 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333663 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10659884 memory=140087136467919 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415333664 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146309846560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10659884 memory=280174272956560 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415333664 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146308793712 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10659884 memory=280174272954256 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) R 28953 28956 26463 0 -1 1077944384 476 0 0 0 3 0 0 0 20 0 15 0 415333666 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146306689488 140147275015893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) R 28953 28956 26463 0 -1 4202560 554 0 0 0 4 0 0 0 20 0 15 0 415333666 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146305628096 140147252889617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0.08 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 664 0 0 0 8 0 0 0 20 0 15 0 415333666 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10659884 memory=140087259002496 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333667 10915721216 10084 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40336 KiB

[startup+0.700779 s]
/proc/loadavg: 1.87 1.49 1.51 3/226 28971
/proc/meminfo: memFree=30374120/32770624 swapFree=66932052/67108860
[pid=28956] ppid=28953 vsize=10661932 memory=63496 CPUtime=1.11 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 12942 0 0 0 106 5 0 0 20 0 15 0 415333661 10917818368 15874 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2665483 15874 3061 1 0 2627980 0
[pid=28956/tid=28958] ppid=28953 vsize=10661932 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) R 28953 28956 26463 0 -1 4202560 8795 0 0 0 64 4 0 0 20 0 15 0 415333661 10917818368 15874 33554432000 4194304 4196468 140735053613552 140147279228544 140147258192513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10661932 memory=772 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10917818368 15874 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10917818368 15874 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333662 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10661932 memory=5787213848925131109 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333663 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415333664 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146309846560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415333664 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146308793712 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) R 28953 28956 26463 0 -1 4202560 782 0 0 0 10 0 0 0 20 0 15 0 415333666 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146306689392 140147252854752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10661932 memory=11 CPUtime=0.11 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) S 28953 28956 26463 0 -1 1077944384 819 0 0 0 11 0 0 0 20 0 15 0 415333666 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146305636592 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10661932 memory=1367 CPUtime=0.18 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 1187 0 0 0 18 0 0 0 20 0 15 0 415333666 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10661932 memory=280174273133552 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415333666 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333667 10917818368 15874 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63496 KiB

[startup+1.50079 s]
/proc/loadavg: 1.87 1.49 1.51 3/226 28971
/proc/meminfo: memFree=30357680/32770624 swapFree=66932052/67108860
[pid=28956] ppid=28953 vsize=10663980 memory=75824 CPUtime=2 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 16718 0 0 0 194 6 0 0 20 0 15 0 415333661 10919915520 18956 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2665995 18956 3094 1 0 2628492 0
[pid=28956/tid=28958] ppid=28953 vsize=10663980 memory=71756 CPUtime=1.48 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) R 28953 28956 26463 0 -1 4202560 11530 0 0 0 144 4 0 0 20 0 15 0 415333661 10919915520 18956 33554432000 4194304 4196468 140735053613552 140147279237712 140147255277399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10663980 memory=280174273019648 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10919915520 18956 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10919915520 18956 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415333662 10919915520 18956 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415333662 10919915520 18956 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415333663 10919915520 18956 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0

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

/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 8195 0 0 0 163 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10748324 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 7380 0 0 0 71 7 0 0 20 0 16 0 415333663 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146309846624 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10748324 memory=280174273238240 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146308793728 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.51 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) S 28953 28956 26463 0 -1 1077944384 9212 0 0 0 150 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146306689392 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10748324 memory=3620 CPUtime=1.37 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) S 28953 28956 26463 0 -1 1077944384 6822 0 0 0 136 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146305636592 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10748324 memory=20384 CPUtime=0.79 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 9575 0 0 0 77 2 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10748324 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.15 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1289 0 0 0 54 61 0 0 20 0 16 0 415333667 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28972] ppid=28953 vsize=10748324 memory=524108 CPUtime=2257.46 cores=1,3,5,7
/proc/28956/task/28972/stat : 28972 (java) R 28953 28956 26463 0 -1 4202560 32754 0 0 0 225732 14 0 0 20 0 16 0 415333848 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146285412384 140146886816211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 2272.43 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 524108 KiB

[startup+2322.3 s]
/proc/loadavg: 1.71 1.63 1.68 3/228 29345
/proc/meminfo: memFree=30019576/32770624 swapFree=66932056/67108860
[pid=28956] ppid=28953 vsize=10748324 memory=524108 CPUtime=2332.58 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 116559 0 0 0 233094 164 0 0 20 0 16 0 415333661 11006283776 131027 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2687081 131027 3381 1 0 2647217 0
[pid=28956/tid=28958] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.85 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) S 28953 28956 26463 0 -1 1077944384 13140 0 0 0 180 5 0 0 20 0 16 0 415333661 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147279248560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.9 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 8726 0 0 0 168 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.88 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 10569 0 0 0 167 21 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.89 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 6958 0 0 0 167 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.89 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 8286 0 0 0 167 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10748324 memory=524108 CPUtime=0.8 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 7554 0 0 0 73 7 0 0 20 0 16 0 415333663 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146309846624 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146308793728 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10748324 memory=7229796275865477738 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.51 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) S 28953 28956 26463 0 -1 1077944384 9212 0 0 0 150 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146306689392 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10748324 memory=303430223234596890 CPUtime=1.37 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) S 28953 28956 26463 0 -1 1077944384 6822 0 0 0 136 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146305636592 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10748324 memory=288230596050944315 CPUtime=0.79 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 9575 0 0 0 77 2 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.19 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1315 0 0 0 56 63 0 0 20 0 16 0 415333667 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28972] ppid=28953 vsize=10748324 memory=3848 CPUtime=2317.38 cores=1,3,5,7
/proc/28956/task/28972/stat : 28972 (java) R 28953 28956 26463 0 -1 4202560 33002 0 0 0 231724 14 0 0 20 0 16 0 415333848 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146285412352 140146886041358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 2332.58 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 524108 KiB

[startup+2382.3 s]
/proc/loadavg: 1.59 1.61 1.67 3/227 29349
/proc/meminfo: memFree=30017748/32770624 swapFree=66932056/67108860
[pid=28956] ppid=28953 vsize=10748324 memory=524108 CPUtime=2392.73 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 117601 0 0 0 239107 166 0 0 20 0 16 0 415333661 11006283776 131027 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2687081 131027 3381 1 0 2647217 0
[pid=28956/tid=28958] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.85 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) S 28953 28956 26463 0 -1 1077944384 13140 0 0 0 180 5 0 0 20 0 16 0 415333661 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147279248560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.94 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 9031 0 0 0 172 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.92 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 10657 0 0 0 170 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.94 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 7033 0 0 0 171 23 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.93 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 8457 0 0 0 171 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10748324 memory=524108 CPUtime=0.83 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 7742 0 0 0 76 7 0 0 20 0 16 0 415333663 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146309846624 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10748324 memory=151 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146308793728 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.51 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) S 28953 28956 26463 0 -1 1077944384 9214 0 0 0 150 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146306689392 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10748324 memory=79 CPUtime=1.37 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) S 28953 28956 26463 0 -1 1077944384 6824 0 0 0 136 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146305636592 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10748324 memory=524108 CPUtime=0.79 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 9577 0 0 0 77 2 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10748324 memory=524108 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10748324 memory=524108 CPUtime=1.22 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1343 0 0 0 58 64 0 0 20 0 16 0 415333667 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28972] ppid=28953 vsize=10748324 memory=780 CPUtime=2377.3 cores=1,3,5,7
/proc/28956/task/28972/stat : 28972 (java) R 28953 28956 26463 0 -1 4202560 33183 0 0 0 237716 14 0 0 20 0 16 0 415333848 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146285412272 140146886956204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 2392.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 524108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2389.6 s]
/proc/loadavg: 1.54 1.60 1.66 3/227 29350
/proc/meminfo: memFree=30017944/32770624 swapFree=66932056/67108860
[pid=28956] ppid=28953 vsize=10748324 memory=524108 CPUtime=2400.04 cores=1,3,5,7
/proc/28956/stat : 28956 (java) S 28953 28956 26463 0 -1 1077944320 117715 0 0 0 239838 166 0 0 20 0 16 0 415333661 11006283776 131027 33554432000 4194304 4196468 140735053613552 140735053596096 140147275005687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
/proc/28956/statm: 2687081 131027 3381 1 0 2647217 0
[pid=28956/tid=28958] ppid=28953 vsize=10748324 memory=3620 CPUtime=1.85 cores=1,3,5,7
/proc/28956/task/28958/stat : 28958 (java) S 28953 28956 26463 0 -1 1077944384 13140 0 0 0 180 5 0 0 20 0 16 0 415333661 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147279248560 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28959] ppid=28953 vsize=10748324 memory=38992 CPUtime=1.94 cores=1,3,5,7
/proc/28956/task/28959/stat : 28959 (java) S 28953 28956 26463 0 -1 1077944384 9031 0 0 0 172 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147201079952 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28960] ppid=28953 vsize=10748324 memory=6791534058613427641 CPUtime=1.93 cores=1,3,5,7
/proc/28956/task/28960/stat : 28960 (java) S 28953 28956 26463 0 -1 1077944384 10657 0 0 0 171 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140147200027152 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28961] ppid=28953 vsize=10748324 memory=5880 CPUtime=1.95 cores=1,3,5,7
/proc/28956/task/28961/stat : 28961 (java) S 28953 28956 26463 0 -1 1077944384 7033 0 0 0 172 23 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146880014736 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28962] ppid=28953 vsize=10748324 memory=780 CPUtime=1.94 cores=1,3,5,7
/proc/28956/task/28962/stat : 28962 (java) S 28953 28956 26463 0 -1 1077944384 8457 0 0 0 172 22 0 0 20 0 16 0 415333662 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146878961936 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28963] ppid=28953 vsize=10748324 memory=14004 CPUtime=0.83 cores=1,3,5,7
/proc/28956/task/28963/stat : 28963 (java) S 28953 28956 26463 0 -1 1077944384 7745 0 0 0 76 7 0 0 20 0 16 0 415333663 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146310900592 140147275016834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28964] ppid=28953 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28964/stat : 28964 (java) S 28953 28956 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146309846624 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28965] ppid=28953 vsize=10748324 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28965/stat : 28965 (java) S 28953 28956 26463 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415333664 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146308793728 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28966] ppid=28953 vsize=10748324 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28966/stat : 28966 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146307742032 140147275024283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28967] ppid=28953 vsize=10748324 memory=10708 CPUtime=1.51 cores=1,3,5,7
/proc/28956/task/28967/stat : 28967 (java) S 28953 28956 26463 0 -1 1077944384 9214 0 0 0 150 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146306689392 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28968] ppid=28953 vsize=10748324 memory=1552 CPUtime=1.37 cores=1,3,5,7
/proc/28956/task/28968/stat : 28968 (java) S 28953 28956 26463 0 -1 1077944384 6824 0 0 0 136 1 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146305636592 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28969] ppid=28953 vsize=10748324 memory=4096 CPUtime=0.79 cores=1,3,5,7
/proc/28956/task/28969/stat : 28969 (java) S 28953 28956 26463 0 -1 1077944384 9577 0 0 0 77 2 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146304583792 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28970] ppid=28953 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28956/task/28970/stat : 28970 (java) S 28953 28956 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415333666 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146303531232 140147275015893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28971] ppid=28953 vsize=10748324 memory=772 CPUtime=1.22 cores=1,3,5,7
/proc/28956/task/28971/stat : 28971 (java) S 28953 28956 26463 0 -1 1077944384 1343 0 0 0 58 64 0 0 20 0 16 0 415333667 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146302479536 140147275016834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
[pid=28956/tid=28972] ppid=28953 vsize=10748324 memory=1060 CPUtime=2384.59 cores=1,3,5,7
/proc/28956/task/28972/stat : 28972 (java) R 28953 28956 26463 0 -1 4202560 33294 0 0 0 238445 14 0 0 20 0 16 0 415333848 11006283776 131027 33554432000 4194304 4196468 140735053613552 140146285412288 140146886087070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9273344 140735053620235 140735053620338 140735053620338 140735053623247 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 524108 KiB

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

[startup+2389.61 s]
# the end of solver process 28956 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.4 s, system=1.67174 s

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

Child status: 143
Real time (s): 2389.61
CPU time (s): 2400.07
CPU user time (s): 2398.4
CPU system time (s): 1.67174
CPU usage (%): 100.438
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1053356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.4
system time used= 1.67174
maximum resident set size= 1065580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73419
involuntary context switches= 1863


# summary of solver processes directly reported to runsolver:
#   pid: 28956
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.4
#   total CPU system time (s): 1.67174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5586 second user time and 24.7422 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-13 18:06:02
IDJOB=4391314
IDBENCH=135802
IDSOLVER=2833
FILE ID=node139/4391314-1568390658
RUNJOBID= node139-1568390578-28353
PBS_JOBID= 21701830
Free space on /tmp= 59548 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-13.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391314-1568390658/watcher-4391314-1568390658 -o /tmp/evaluation-result-4391314-1568390658/solver-4391314-1568390658 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568390578-28353 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391314-1568390658.xml -cm

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

MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee
RANDOM SEED=2038014081

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
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	: 5333.57
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	: 5333.57
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	: 5333.57
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:        30413616 kB
MemAvailable:   31535880 kB
Buffers:          108520 kB
Cached:          1294592 kB
SwapCached:        74412 kB
Active:           728292 kB
Inactive:        1043620 kB
Active(anon):     294916 kB
Inactive(anon):   114556 kB
Active(file):     433376 kB
Inactive(file):   929064 kB
Unevictable:      107868 kB
Mlocked:          107868 kB
SwapTotal:      67108860 kB
SwapFree:       66932052 kB
Dirty:              8588 kB
Writeback:             8 kB
AnonPages:        385192 kB
Mapped:            56624 kB
Shmem:             32180 kB
Slab:             179888 kB
SReclaimable:     151316 kB
SUnreclaim:        28572 kB
KernelStack:        4016 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1272332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59536 MiB
End job on node139 at 2019-09-13 18:45:52