Trace number 4391242

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-23OPT2 142.375 140.162

DiagnosticValue
WRONG_DECISIONS6452890

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-marketSplit/
Pb-msplit-opt-4-30-3.xml
MD5SUMcaf7afe645c801dd46bb53c517bf0cee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark142.375
Satisfiable
(Un)Satisfiability was proved
Number of variables94
Number of constraints8
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":94}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":64},{"degree":6,"count":1},{"degree":8,"count":29}]
Minimum constraint arity45
Maximum constraint arity46
Distribution of constraint arities[{"arity":45,"count":2},{"arity":46,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":8}]
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.39/1.88	
2.39/1.88	AbsCon 2 
2.39/1.90	
2.63/2.00	  Instance
2.63/2.00	    name=instance-4391242-1568390570, framework=COP, bounds=-infty..+infty
2.63/2.00	
2.63/2.00	  Loading variables...
2.88/2.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5e7950
2.88/2.03	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a51d6ee
2.88/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@248489ba
2.88/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@663dbd6
2.88/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4082ef
2.88/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc40143
2.88/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cc4c3a
2.88/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161ef711
2.88/2.08	
2.88/2.08	
2.88/2.08	  Domains
2.88/2.08	    nTypes=1, nValues=188, sizes=[2#94]
2.88/2.08	  Variables
2.88/2.08	    count=94, degrees=[3#64,6#1,8#29]
2.88/2.08	  Objectives
2.88/2.08	    way=min, type=SumWeightedLE
2.88/2.08	  Constraints
2.88/2.08	    count=9, nSpecific=9, arities=[45#2,46#6,64#1]
2.88/2.08	    distribution=[SumWeightedGE#8,SumWeightedLE#1]
2.88/2.08	    wck=0.235, cpu=2.044, mem=18M585
2.88/2.09	  Solver SolverBacktrack being built...
2.88/2.09	
3.16/2.11	
3.16/2.11	  Solver
3.16/2.11	    guaranteedGAC=true
3.16/2.11	    wck=0.264, cpu=2.071, mem=29M228
3.16/2.11	
3.16/2.11	  Preprocessing
3.16/2.11	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.11	    wck=0.001, cpu=2.073, mem=29M228
3.16/2.11	
3.16/2.12	    num=0, depth=76..82, filters=45, wck=0.013, mem=29M228
3.16/2.12	    decisions=100, wrong=12, backtracks=10, failedAssignments=10, nogoods=3
3.16/2.12	    
3.16/2.14	o 754
3.16/2.14	    num=1, depth=95..93, filters=67, ccks=9, wck=0.031, mem=31M870
3.16/2.14	    decisions=143, wrong=12, backtracks=10, failedAssignments=10, nogoods=3, foundSolutions=1, bestBound=754
3.16/2.14	    
3.16/2.15	o 753
3.16/2.15	    num=2, depth=34..93, filters=103, ccks=18, wck=0.036, mem=31M870
3.16/2.15	    decisions=182, wrong=14, backtracks=10, failedAssignments=12, nogoods=5, foundSolutions=2, bestBound=753
3.16/2.15	    
3.16/2.16	o 661
3.16/2.16	    num=3, depth=19..93, filters=183, ccks=27, wck=0.041, mem=31M870
3.16/2.16	    decisions=234, wrong=24, backtracks=15, failedAssignments=17, nogoods=10, foundSolutions=3, bestBound=661
3.16/2.16	    
3.16/2.16	o 653
3.16/2.16	    num=4, depth=18..93, filters=207, ccks=36, wck=0.044, mem=31M870
3.16/2.16	    decisions=270, wrong=25, backtracks=15, failedAssignments=18, nogoods=11, foundSolutions=4, bestBound=653
3.16/2.16	    
3.16/2.16	o 648
3.16/2.16	    num=5, depth=17..93, filters=243, ccks=45, wck=0.047, mem=31M870
3.16/2.16	    decisions=306, wrong=28, backtracks=17, failedAssignments=20, nogoods=12, foundSolutions=5, bestBound=648
3.16/2.16	    
3.16/2.17	o 484
3.16/2.17	    num=6, depth=17..93, filters=311, ccks=54, wck=0.051, mem=31M870
3.16/2.17	    decisions=371, wrong=39, backtracks=25, failedAssignments=24, nogoods=15, foundSolutions=6, bestBound=484
3.16/2.17	    
3.16/2.17	    num=7, depth=16..33, filters=407, ccks=54, wck=0.053, mem=31M870
3.16/2.17	    decisions=434, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=6, bestBound=484
3.16/2.17	    
3.16/2.17	o 404
3.16/2.17	    num=8, depth=95..93, filters=425, ccks=63, wck=0.055, mem=31M870
3.16/2.17	    decisions=477, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=7, bestBound=404
3.16/2.17	    
3.16/2.17	o 324
3.16/2.17	    num=9, depth=95..93, filters=442, ccks=72, wck=0.057, mem=31M870
3.16/2.17	    decisions=515, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=8, bestBound=324
3.16/2.17	    
3.16/2.17	o 314
3.16/2.17	    num=10, depth=19..93, filters=502, ccks=81, wck=0.059, mem=31M870
3.16/2.17	    decisions=579, wrong=74, backtracks=54, failedAssignments=38, nogoods=21, foundSolutions=9, bestBound=314
3.16/2.17	    
3.16/2.17	    num=11, depth=24..32, filters=614, ccks=81, wck=0.061, mem=31M870
3.16/2.17	    decisions=643, wrong=93, backtracks=68, failedAssignments=49, nogoods=25, foundSolutions=9, bestBound=314
3.16/2.17	    
3.16/2.18	    num=12, depth=17..30, filters=670, ccks=81, wck=0.062, mem=31M870
3.16/2.18	    decisions=685, wrong=104, backtracks=68, failedAssignments=60, nogoods=36, foundSolutions=9, bestBound=314
3.16/2.18	    
3.16/2.18	    num=13, depth=24..35, filters=771, ccks=81, wck=0.064, mem=31M870
3.16/2.18	    decisions=746, wrong=122, backtracks=83, failedAssignments=72, nogoods=38, foundSolutions=9, bestBound=314
3.16/2.18	    
3.16/2.18	o 117
3.16/2.18	    num=14, depth=34..93, filters=794, ccks=90, wck=0.065, mem=31M870
3.16/2.18	    decisions=799, wrong=123, backtracks=83, failedAssignments=73, nogoods=39, foundSolutions=10, bestBound=117
3.16/2.18	    
3.16/2.18	o 116
3.16/2.18	    num=15, depth=21..93, filters=819, ccks=99, wck=0.067, mem=31M870
3.16/2.18	    decisions=832, wrong=125, backtracks=83, failedAssignments=75, nogoods=41, foundSolutions=11, bestBound=116
3.16/2.18	    
3.16/2.18	o 106
3.16/2.18	    num=16, depth=33..93, filters=838, ccks=108, wck=0.068, mem=31M870
3.16/2.18	    decisions=875, wrong=126, backtracks=83, failedAssignments=76, nogoods=42, foundSolutions=12, bestBound=106
3.16/2.18	    
3.16/2.18	    num=17, depth=17..39, filters=920, ccks=108, wck=0.069, mem=31M870
3.16/2.18	    decisions=956, wrong=149, backtracks=102, failedAssignments=87, nogoods=44, foundSolutions=12, bestBound=106
3.16/2.18	    
3.16/2.18	    num=18, depth=17..27, filters=1018, ccks=108, wck=0.071, mem=31M870
3.16/2.18	    decisions=1015, wrong=170, backtracks=119, failedAssignments=98, nogoods=48, foundSolutions=12, bestBound=106
3.16/2.18	    
3.16/2.18	    num=19, depth=16..27, filters=1123, ccks=108, wck=0.072, mem=31M870
3.16/2.18	    decisions=1085, wrong=195, backtracks=137, failedAssignments=110, nogoods=56, foundSolutions=12, bestBound=106
3.16/2.18	    
3.16/2.19	    num=20, depth=13..28, filters=1187, ccks=108, wck=0.074, mem=31M870
3.16/2.19	    decisions=1135, wrong=213, backtracks=150, failedAssignments=123, nogoods=61, foundSolutions=12, bestBound=106
3.16/2.19	    
3.16/2.19	    num=21, depth=12..23, filters=1253, ccks=108, wck=0.075, mem=31M870
3.16/2.19	    decisions=1185, wrong=231, backtracks=158, failedAssignments=137, nogoods=71, foundSolutions=12, bestBound=106
3.16/2.19	    
3.16/2.19	o 90
3.16/2.19	    num=22, depth=19..93, filters=1284, ccks=117, wck=0.076, mem=31M870
3.16/2.19	    decisions=1234, wrong=234, backtracks=158, failedAssignments=140, nogoods=74, foundSolutions=13, bestBound=90
3.16/2.19	    
3.16/2.19	    num=23, depth=19..28, filters=1361, ccks=117, wck=0.078, mem=31M870
3.16/2.19	    decisions=1299, wrong=257, backtracks=175, failedAssignments=157, nogoods=79, foundSolutions=13, bestBound=90
3.16/2.19	    
3.16/2.19	    num=24, depth=14..30, filters=1489, ccks=117, wck=0.08, mem=31M870
3.16/2.19	    decisions=1365, wrong=283, backtracks=197, failedAssignments=168, nogoods=80, foundSolutions=13, bestBound=90
3.16/2.19	    
3.16/2.19	    num=25, depth=13..21, filters=1549, ccks=117, wck=0.081, mem=31M870
3.16/2.19	    decisions=1412, wrong=299, backtracks=209, failedAssignments=180, nogoods=84, foundSolutions=13, bestBound=90
3.16/2.19	    
3.16/2.19	    num=26, depth=12..28, filters=1621, ccks=117, wck=0.082, mem=31M870
3.16/2.19	    decisions=1463, wrong=318, backtracks=225, failedAssignments=193, nogoods=87, foundSolutions=13, bestBound=90
3.16/2.19	    
3.16/2.20	    num=27, depth=17..29, filters=1732, ccks=117, wck=0.084, mem=31M870
3.16/2.20	    decisions=1538, wrong=345, backtracks=249, failedAssignments=207, nogoods=91, foundSolutions=13, bestBound=90
3.16/2.20	    
3.16/2.20	    num=28, depth=25..42, filters=1825, ccks=117, wck=0.085, mem=31M870
3.16/2.20	    decisions=1606, wrong=365, backtracks=262, failedAssignments=223, nogoods=98, foundSolutions=13, bestBound=90
3.16/2.20	    
3.16/2.20	o 67
3.16/2.20	    num=29, depth=13..93, filters=1940, ccks=126, wck=0.087, mem=31M870
3.16/2.20	    decisions=1690, wrong=387, backtracks=274, failedAssignments=236, nogoods=108, foundSolutions=14, bestBound=67
3.16/2.20	    
3.16/2.20	    num=30, depth=13..31, filters=2031, ccks=126, wck=0.089, mem=31M870
3.16/2.20	    decisions=1750, wrong=410, backtracks=287, failedAssignments=255, nogoods=118, foundSolutions=14, bestBound=67
3.16/2.20	    
3.47/2.20	    num=31, depth=27..34, filters=2128, ccks=126, wck=0.09, mem=31M870
3.47/2.20	    decisions=1814, wrong=428, backtracks=298, failedAssignments=266, nogoods=122, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.20	    num=32, depth=13..26, filters=2206, ccks=126, wck=0.092, mem=31M870
3.47/2.20	    decisions=1868, wrong=448, backtracks=313, failedAssignments=278, nogoods=127, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.21	    num=33, depth=14..22, filters=2267, ccks=126, wck=0.093, mem=31M870
3.47/2.21	    decisions=1916, wrong=465, backtracks=329, failedAssignments=291, nogoods=131, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=34, depth=13..23, filters=2342, ccks=126, wck=0.094, mem=31M870
3.47/2.21	    decisions=1971, wrong=486, backtracks=350, failedAssignments=305, nogoods=132, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=35, depth=12..26, filters=2412, ccks=126, wck=0.096, mem=31M870
3.47/2.21	    decisions=2025, wrong=505, backtracks=360, failedAssignments=321, nogoods=141, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=36, depth=14..23, filters=2481, ccks=126, wck=0.097, mem=31M870
3.47/2.21	    decisions=2083, wrong=526, backtracks=376, failedAssignments=338, nogoods=146, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=37, depth=12..21, filters=2575, ccks=126, wck=0.099, mem=31M870
3.47/2.21	    decisions=2146, wrong=550, backtracks=393, failedAssignments=357, nogoods=153, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=38, depth=12..23, filters=2674, ccks=126, wck=0.1, mem=31M870
3.47/2.21	    decisions=2216, wrong=578, backtracks=413, failedAssignments=378, nogoods=162, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	o 57
3.47/2.21	    num=39, depth=16..93, filters=2764, ccks=135, wck=0.102, mem=31M870
3.47/2.21	    decisions=2293, wrong=597, backtracks=424, failedAssignments=392, nogoods=170, foundSolutions=15, bestBound=57
3.47/2.21	    
3.47/2.22	o 53
3.47/2.22	    num=40, depth=13..93, filters=2888, ccks=144, wck=0.104, mem=31M870
3.47/2.22	    decisions=2371, wrong=621, backtracks=442, failedAssignments=410, nogoods=176, foundSolutions=16, bestBound=53
3.47/2.22	    
3.47/2.22	    num=41, depth=13..23, filters=2959, ccks=144, wck=0.106, mem=31M870
3.47/2.22	    decisions=2415, wrong=635, backtracks=451, failedAssignments=421, nogoods=182, foundSolutions=16, bestBound=53
3.47/2.22	    
3.47/2.22	o 37
3.47/2.22	    num=42, depth=14..93, filters=2988, ccks=153, wck=0.107, mem=31M870
3.47/2.22	    decisions=2457, wrong=638, backtracks=451, failedAssignments=424, nogoods=185, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=43, depth=11..19, filters=3062, ccks=153, wck=0.108, mem=31M870
3.47/2.22	    decisions=2506, wrong=656, backtracks=465, failedAssignments=436, nogoods=188, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=44, depth=13..20, filters=3130, ccks=153, wck=0.109, mem=31M870
3.47/2.22	    decisions=2557, wrong=674, backtracks=477, failedAssignments=447, nogoods=192, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=45, depth=12..20, filters=3187, ccks=153, wck=0.11, mem=31M870
3.47/2.22	    decisions=2602, wrong=690, backtracks=489, failedAssignments=459, nogoods=197, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=46, depth=13..22, filters=3279, ccks=153, wck=0.111, mem=31M870
3.47/2.22	    decisions=2663, wrong=714, backtracks=512, failedAssignments=472, nogoods=201, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.23	    num=47, depth=11..20, filters=3341, ccks=153, wck=0.112, mem=31M870
3.47/2.23	    decisions=2712, wrong=732, backtracks=527, failedAssignments=486, nogoods=204, foundSolutions=17, bestBound=37
3.47/2.23	    
3.47/2.23	    num=48, depth=13..23, filters=3409, ccks=153, wck=0.114, mem=31M870
3.47/2.23	    decisions=2763, wrong=751, backtracks=540, failedAssignments=502, nogoods=210, foundSolutions=17, bestBound=37
3.47/2.23	    
3.47/2.23	    num=49, depth=12..20, filters=3485, ccks=153, wck=0.115, mem=31M870
3.47/2.23	    decisions=2817, wrong=772, backtracks=560, failedAssignments=519, nogoods=211, foundSolutions=17, bestBound=37
3.47/2.23	    
3.47/2.23	o 15
3.47/2.23	    num=50, depth=13..93, filters=3574, ccks=162, wck=0.116, mem=31M870
3.47/2.23	    decisions=2886, wrong=789, backtracks=571, failedAssignments=530, nogoods=217, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=51, depth=10..21, filters=3694, ccks=162, wck=0.118, mem=31M870
3.47/2.23	    decisions=2956, wrong=818, backtracks=592, failedAssignments=551, nogoods=225, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=52, depth=12..21, filters=3749, ccks=162, wck=0.119, mem=31M870
3.47/2.23	    decisions=2998, wrong=832, backtracks=602, failedAssignments=562, nogoods=230, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=53, depth=11..18, filters=3792, ccks=162, wck=0.119, mem=31M870
3.47/2.23	    decisions=3043, wrong=848, backtracks=611, failedAssignments=574, nogoods=236, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=54, depth=10..17, filters=3847, ccks=162, wck=0.12, mem=31M870
3.47/2.23	    decisions=3089, wrong=865, backtracks=622, failedAssignments=587, nogoods=242, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=55, depth=12..18, filters=3905, ccks=162, wck=0.121, mem=31M870
3.47/2.23	    decisions=3135, wrong=882, backtracks=635, failedAssignments=601, nogoods=248, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.24	    num=56, depth=12..22, filters=3979, ccks=162, wck=0.122, mem=31M870
3.47/2.24	    decisions=3188, wrong=902, backtracks=651, failedAssignments=617, nogoods=253, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=57, depth=11..20, filters=4051, ccks=162, wck=0.123, mem=31M870
3.47/2.24	    decisions=3242, wrong=923, backtracks=669, failedAssignments=634, nogoods=256, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=58, depth=12..20, filters=4133, ccks=162, wck=0.124, mem=31M870
3.47/2.24	    decisions=3303, wrong=947, backtracks=690, failedAssignments=653, nogoods=259, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=59, depth=11..22, filters=4245, ccks=162, wck=0.126, mem=34M513
3.47/2.24	    decisions=3365, wrong=972, backtracks=708, failedAssignments=674, nogoods=267, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=60, depth=10..19, filters=4371, ccks=162, wck=0.127, mem=34M513
3.47/2.24	    decisions=3444, wrong=1006, backtracks=735, failedAssignments=697, nogoods=274, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=61, depth=12..23, filters=4490, ccks=162, wck=0.129, mem=34M513
3.47/2.24	    decisions=3517, wrong=1036, backtracks=763, failedAssignments=722, nogoods=279, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=62, depth=9..22, filters=4607, ccks=162, wck=0.13, mem=34M513
3.47/2.24	    decisions=3606, wrong=1075, backtracks=791, failedAssignments=750, nogoods=287, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=63, depth=11..20, filters=4743, ccks=162, wck=0.132, mem=34M513
3.47/2.24	    decisions=3699, wrong=1115, backtracks=824, failedAssignments=781, nogoods=295, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.25	    num=64, depth=11..20, filters=4941, ccks=162, wck=0.134, mem=34M513
3.47/2.25	    decisions=3811, wrong=1165, backtracks=871, failedAssignments=815, nogoods=301, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=65, depth=12..22, filters=5127, ccks=162, wck=0.136, mem=34M513
3.47/2.25	    decisions=3916, wrong=1211, backtracks=913, failedAssignments=852, nogoods=309, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=66, depth=12..23, filters=5296, ccks=162, wck=0.138, mem=34M513
3.47/2.25	    decisions=4033, wrong=1263, backtracks=959, failedAssignments=893, nogoods=318, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=67, depth=11..22, filters=5523, ccks=162, wck=0.14, mem=34M513
3.47/2.25	    decisions=4165, wrong=1323, backtracks=1008, failedAssignments=938, nogoods=329, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=68, depth=12..23, filters=5788, ccks=162, wck=0.143, mem=34M513
3.47/2.25	    decisions=4311, wrong=1389, backtracks=1067, failedAssignments=988, nogoods=337, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.26	    num=69, depth=11..21, filters=6060, ccks=162, wck=0.145, mem=34M513
3.47/2.26	    decisions=4465, wrong=1460, backtracks=1134, failedAssignments=1043, nogoods=343, foundSolutions=18, bestBound=15
3.47/2.26	    
3.47/2.26	    num=70, depth=9..21, filters=6332, ccks=162, wck=0.148, mem=34M513
3.47/2.26	    decisions=4627, wrong=1535, backtracks=1199, failedAssignments=1104, nogoods=352, foundSolutions=18, bestBound=15
3.47/2.26	    
3.47/2.26	    num=71, depth=11..22, filters=6614, ccks=162, wck=0.151, mem=34M513
3.47/2.26	    decisions=4803, wrong=1617, backtracks=1275, failedAssignments=1171, nogoods=360, foundSolutions=18, bestBound=15
3.47/2.26	    
3.47/2.27	    num=72, depth=11..21, filters=7028, ccks=162, wck=0.154, mem=34M513
3.47/2.27	    decisions=5024, wrong=1722, backtracks=1377, failedAssignments=1245, nogoods=365, foundSolutions=18, bestBound=15
3.47/2.27	    
3.47/2.27	    num=73, depth=12..27, filters=7386, ccks=162, wck=0.157, mem=34M513
3.47/2.27	    decisions=5244, wrong=1826, backtracks=1476, failedAssignments=1326, nogoods=371, foundSolutions=18, bestBound=15
3.47/2.27	    
3.47/2.27	    num=74, depth=10..22, filters=7821, ccks=162, wck=0.16, mem=34M513
3.47/2.27	    decisions=5504, wrong=1950, backtracks=1592, failedAssignments=1415, nogoods=380, foundSolutions=18, bestBound=15
3.47/2.27	    
3.47/2.27	o 14
3.47/2.28	    num=75, depth=12..93, filters=7960, ccks=171, wck=0.162, mem=34M513
3.47/2.28	    decisions=5592, wrong=1985, backtracks=1616, failedAssignments=1442, nogoods=391, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=76, depth=11..23, filters=8437, ccks=171, wck=0.166, mem=34M513
3.47/2.28	    decisions=5887, wrong=2126, backtracks=1751, failedAssignments=1550, nogoods=396, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=77, depth=12..18, filters=8490, ccks=171, wck=0.167, mem=34M513
3.47/2.28	    decisions=5928, wrong=2140, backtracks=1762, failedAssignments=1561, nogoods=400, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=78, depth=12..22, filters=8557, ccks=171, wck=0.168, mem=34M513
3.47/2.28	    decisions=5968, wrong=2154, backtracks=1775, failedAssignments=1573, nogoods=402, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=79, depth=12..17, filters=8633, ccks=171, wck=0.169, mem=34M513
3.47/2.28	    decisions=6016, wrong=2172, backtracks=1791, failedAssignments=1586, nogoods=408, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=80, depth=11..19, filters=8695, ccks=171, wck=0.17, mem=34M513
3.47/2.28	    decisions=6064, wrong=2190, backtracks=1804, failedAssignments=1600, nogoods=414, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=81, depth=11..22, filters=8754, ccks=171, wck=0.17, mem=34M513
3.47/2.28	    decisions=6113, wrong=2208, backtracks=1812, failedAssignments=1616, nogoods=424, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=82, depth=10..17, filters=8834, ccks=171, wck=0.171, mem=34M513
3.47/2.28	    decisions=6171, wrong=2231, backtracks=1829, failedAssignments=1633, nogoods=431, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=83, depth=10..20, filters=8911, ccks=171, wck=0.172, mem=34M513
3.47/2.28	    decisions=6230, wrong=2255, backtracks=1851, failedAssignments=1652, nogoods=433, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.29	    num=84, depth=12..24, filters=9004, ccks=171, wck=0.173, mem=34M513
3.47/2.29	    decisions=6292, wrong=2280, backtracks=1875, failedAssignments=1673, nogoods=436, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=85, depth=12..21, filters=9101, ccks=171, wck=0.174, mem=34M513
3.47/2.29	    decisions=6358, wrong=2307, backtracks=1901, failedAssignments=1696, nogoods=439, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=86, depth=12..26, filters=9203, ccks=171, wck=0.176, mem=34M513
3.47/2.29	    decisions=6429, wrong=2336, backtracks=1926, failedAssignments=1721, nogoods=444, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=87, depth=10..20, filters=9321, ccks=171, wck=0.177, mem=34M513
3.47/2.29	    decisions=6507, wrong=2369, backtracks=1953, failedAssignments=1749, nogoods=450, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=88, depth=13..23, filters=9489, ccks=171, wck=0.179, mem=34M513
3.47/2.29	    decisions=6607, wrong=2412, backtracks=1992, failedAssignments=1780, nogoods=457, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=89, depth=11..23, filters=9650, ccks=171, wck=0.18, mem=34M513
3.47/2.29	    decisions=6699, wrong=2452, backtracks=2029, failedAssignments=1814, nogoods=461, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.30	    num=90, depth=12..26, filters=9834, ccks=171, wck=0.183, mem=34M513
3.47/2.30	    decisions=6804, wrong=2498, backtracks=2073, failedAssignments=1851, nogoods=465, foundSolutions=19, bestBound=14
3.47/2.30	    
3.47/2.30	    num=91, depth=11..23, filters=10041, ccks=171, wck=0.185, mem=34M513
3.47/2.30	    decisions=6918, wrong=2549, backtracks=2117, failedAssignments=1892, nogoods=473, foundSolutions=19, bestBound=14
3.47/2.30	    
3.47/2.30	    num=92, depth=12..23, filters=10233, ccks=171, wck=0.187, mem=34M513
3.47/2.30	    decisions=7041, wrong=2604, backtracks=2166, failedAssignments=1937, nogoods=481, foundSolutions=19, bestBound=14
3.47/2.30	    
3.47/2.30	    num=93, depth=11..20, filters=10484, ccks=171, wck=0.189, mem=34M513
3.47/2.30	    decisions=7183, wrong=2669, backtracks=2222, failedAssignments=1987, nogoods=492, foundSolutions=19, bestBound=14
3.47/2.30	    
3.47/2.30	    num=94, depth=11..24, filters=10722, ccks=171, wck=0.191, mem=34M513
3.47/2.30	    decisions=7338, wrong=2740, backtracks=2285, failedAssignments=2042, nogoods=500, foundSolutions=19, bestBound=14
3.47/2.30	    
3.78/2.31	    num=95, depth=10..21, filters=11091, ccks=171, wck=0.194, mem=34M513
3.78/2.31	    decisions=7525, wrong=2828, backtracks=2366, failedAssignments=2103, nogoods=509, foundSolutions=19, bestBound=14
3.78/2.31	    
3.78/2.31	    num=96, depth=11..23, filters=11389, ccks=171, wck=0.197, mem=34M513
3.78/2.31	    decisions=7708, wrong=2913, backtracks=2446, failedAssignments=2170, nogoods=516, foundSolutions=19, bestBound=14
3.78/2.31	    
3.78/2.31	    num=97, depth=11..23, filters=11744, ccks=171, wck=0.2, mem=34M513
3.78/2.31	    decisions=7905, wrong=3005, backtracks=2533, failedAssignments=2244, nogoods=521, foundSolutions=19, bestBound=14
3.78/2.31	    
3.78/2.31	    num=98, depth=11..25, filters=12139, ccks=171, wck=0.203, mem=34M513
3.78/2.31	    decisions=8114, wrong=3104, backtracks=2630, failedAssignments=2325, nogoods=531, foundSolutions=19, bestBound=14
3.78/2.31	    
3.78/2.32	    num=99, depth=11..23, filters=12538, ccks=171, wck=0.206, mem=34M513
3.78/2.32	    decisions=8367, wrong=3224, backtracks=2738, failedAssignments=2414, nogoods=543, foundSolutions=19, bestBound=14
3.78/2.32	    
3.78/2.32	    num=100, depth=11..25, filters=13038, ccks=171, wck=0.209, mem=34M513
3.78/2.32	    decisions=8640, wrong=3355, backtracks=2866, failedAssignments=2512, nogoods=548, foundSolutions=19, bestBound=14
3.78/2.32	    
3.78/2.33	    num=101, depth=10..25, filters=13609, ccks=171, wck=0.214, mem=34M513
3.78/2.33	    decisions=8938, wrong=3498, backtracks=3001, failedAssignments=2620, nogoods=555, foundSolutions=19, bestBound=14
3.78/2.33	    
3.78/2.33	    num=102, depth=11..23, filters=14188, ccks=171, wck=0.218, mem=34M513
3.78/2.33	    decisions=9271, wrong=3659, backtracks=3161, failedAssignments=2739, nogoods=559, foundSolutions=19, bestBound=14
3.78/2.33	    
3.78/2.34	    num=103, depth=11..23, filters=14852, ccks=171, wck=0.223, mem=34M513
3.78/2.34	    decisions=9636, wrong=3835, backtracks=3328, failedAssignments=2870, nogoods=569, foundSolutions=19, bestBound=14
3.78/2.34	    
3.78/2.34	    num=104, depth=10..23, filters=15567, ccks=171, wck=0.228, mem=34M513
3.78/2.34	    decisions=10016, wrong=4019, backtracks=3507, failedAssignments=3014, nogoods=573, foundSolutions=19, bestBound=14
3.78/2.34	    
3.78/2.35	    num=105, depth=11..25, filters=16333, ccks=171, wck=0.233, mem=34M513
3.78/2.35	    decisions=10450, wrong=4230, backtracks=3709, failedAssignments=3172, nogoods=585, foundSolutions=19, bestBound=14
3.78/2.35	    
3.78/2.35	    num=106, depth=11..24, filters=17184, ccks=171, wck=0.239, mem=34M513
3.78/2.35	    decisions=10910, wrong=4454, backtracks=3931, failedAssignments=3346, nogoods=589, foundSolutions=19, bestBound=14
3.78/2.35	    
3.78/2.36	    num=107, depth=10..22, filters=18143, ccks=171, wck=0.246, mem=34M513
3.78/2.36	    decisions=11454, wrong=4720, backtracks=4188, failedAssignments=3537, nogoods=598, foundSolutions=19, bestBound=14
3.78/2.36	    
3.78/2.37	    num=108, depth=10..29, filters=19233, ccks=171, wck=0.253, mem=34M513
3.78/2.37	    decisions=12018, wrong=4996, backtracks=4455, failedAssignments=3748, nogoods=608, foundSolutions=19, bestBound=14
3.78/2.37	    
3.78/2.37	    num=109, depth=11..23, filters=20316, ccks=171, wck=0.261, mem=34M513
3.78/2.37	    decisions=12629, wrong=5295, backtracks=4748, failedAssignments=3980, nogoods=620, foundSolutions=19, bestBound=14
3.78/2.37	    
3.78/2.38	o 12
3.78/2.38	    num=110, depth=10..93, filters=20936, ccks=180, wck=0.266, mem=34M513
3.78/2.38	    decisions=12978, wrong=5457, backtracks=4903, failedAssignments=4101, nogoods=625, foundSolutions=20, bestBound=12
3.78/2.38	    
3.78/2.38	o 11
3.78/2.38	    num=111, depth=11..93, filters=21887, ccks=189, wck=0.273, mem=37M155
3.78/2.38	    decisions=13485, wrong=5702, backtracks=5139, failedAssignments=4288, nogoods=639, foundSolutions=21, bestBound=11
3.78/2.38	    
3.78/2.39	    num=112, depth=13..18, filters=21940, ccks=189, wck=0.273, mem=37M155
3.78/2.39	    decisions=13527, wrong=5716, backtracks=5149, failedAssignments=4299, nogoods=645, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=113, depth=13..21, filters=22002, ccks=189, wck=0.274, mem=37M155
3.78/2.39	    decisions=13568, wrong=5730, backtracks=5154, failedAssignments=4310, nogoods=655, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=114, depth=12..19, filters=22060, ccks=189, wck=0.275, mem=37M155
3.78/2.39	    decisions=13611, wrong=5745, backtracks=5162, failedAssignments=4322, nogoods=662, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=115, depth=12..18, filters=22114, ccks=189, wck=0.275, mem=37M155
3.78/2.39	    decisions=13653, wrong=5760, backtracks=5173, failedAssignments=4335, nogoods=667, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=116, depth=12..21, filters=22181, ccks=189, wck=0.276, mem=37M155
3.78/2.39	    decisions=13702, wrong=5778, backtracks=5182, failedAssignments=4349, nogoods=676, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=117, depth=12..22, filters=22264, ccks=189, wck=0.277, mem=37M155
3.78/2.39	    decisions=13754, wrong=5798, backtracks=5200, failedAssignments=4365, nogoods=680, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=118, depth=11..21, filters=22348, ccks=189, wck=0.278, mem=37M155
3.78/2.39	    decisions=13810, wrong=5820, backtracks=5218, failedAssignments=4382, nogoods=685, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=119, depth=10..19, filters=22425, ccks=189, wck=0.279, mem=37M155
3.78/2.39	    decisions=13864, wrong=5841, backtracks=5231, failedAssignments=4401, nogoods=693, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=120, depth=12..18, filters=22545, ccks=189, wck=0.28, mem=37M155
3.78/2.39	    decisions=13938, wrong=5872, backtracks=5259, failedAssignments=4422, nogoods=697, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=121, depth=11..23, filters=22636, ccks=189, wck=0.281, mem=37M155
3.78/2.39	    decisions=14002, wrong=5898, backtracks=5278, failedAssignments=4445, nogoods=704, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.39	    num=122, depth=10..19, filters=22757, ccks=189, wck=0.282, mem=37M155
3.78/2.39	    decisions=14080, wrong=5931, backtracks=5303, failedAssignments=4470, nogoods=715, foundSolutions=21, bestBound=11
3.78/2.39	    
3.78/2.40	    num=123, depth=12..24, filters=22865, ccks=189, wck=0.283, mem=37M155
3.78/2.40	    decisions=14159, wrong=5964, backtracks=5328, failedAssignments=4498, nogoods=723, foundSolutions=21, bestBound=11
3.78/2.40	    
4.05/2.40	    num=124, depth=11..23, filters=22991, ccks=189, wck=0.285, mem=37M155
4.05/2.40	    decisions=14246, wrong=6002, backtracks=5365, failedAssignments=4529, nogoods=726, foundSolutions=21, bestBound=11
4.05/2.40	    
4.05/2.40	    num=125, depth=12..22, filters=23164, ccks=189, wck=0.287, mem=37M155
4.05/2.40	    decisions=14344, wrong=6044, backtracks=5403, failedAssignments=4563, nogoods=730, foundSolutions=21, bestBound=11
4.05/2.40	    
4.05/2.40	    num=126, depth=11..24, filters=23355, ccks=189, wck=0.288, mem=37M155
4.05/2.40	    decisions=14452, wrong=6092, backtracks=5449, failedAssignments=4600, nogoods=733, foundSolutions=21, bestBound=11
4.05/2.40	    
4.05/2.40	    num=127, depth=12..26, filters=23546, ccks=189, wck=0.29, mem=37M155
4.05/2.40	    decisions=14564, wrong=6141, backtracks=5493, failedAssignments=4641, nogoods=739, foundSolutions=21, bestBound=11
4.05/2.40	    
4.05/2.40	    num=128, depth=12..21, filters=23747, ccks=189, wck=0.292, mem=37M155
4.05/2.40	    decisions=14686, wrong=6196, backtracks=5546, failedAssignments=4686, nogoods=749, foundSolutions=21, bestBound=11
4.05/2.40	    
4.05/2.41	    num=129, depth=11..24, filters=23978, ccks=189, wck=0.294, mem=37M155
4.05/2.41	    decisions=14821, wrong=6258, backtracks=5607, failedAssignments=4736, nogoods=750, foundSolutions=21, bestBound=11
4.05/2.41	    
4.05/2.41	    num=130, depth=10..19, filters=24259, ccks=189, wck=0.296, mem=37M155
4.05/2.41	    decisions=14981, wrong=6333, backtracks=5681, failedAssignments=4791, nogoods=751, foundSolutions=21, bestBound=11
4.05/2.41	    
4.05/2.41	    num=131, depth=12..24, filters=24533, ccks=189, wck=0.299, mem=37M155
4.05/2.41	    decisions=15147, wrong=6409, backtracks=5751, failedAssignments=4852, nogoods=757, foundSolutions=21, bestBound=11
4.05/2.41	    
4.05/2.41	    num=132, depth=10..22, filters=24847, ccks=189, wck=0.301, mem=37M155
4.05/2.41	    decisions=15339, wrong=6499, backtracks=5832, failedAssignments=4919, nogoods=765, foundSolutions=21, bestBound=11
4.05/2.41	    
4.05/2.42	    num=133, depth=10..23, filters=25186, ccks=189, wck=0.304, mem=37M155
4.05/2.42	    decisions=15542, wrong=6594, backtracks=5921, failedAssignments=4993, nogoods=773, foundSolutions=21, bestBound=11
4.05/2.42	    
4.05/2.42	    num=134, depth=11..23, filters=25568, ccks=189, wck=0.307, mem=37M155
4.05/2.42	    decisions=15764, wrong=6699, backtracks=6024, failedAssignments=5074, nogoods=777, foundSolutions=21, bestBound=11
4.05/2.42	    
4.05/2.42	    num=135, depth=11..23, filters=25981, ccks=189, wck=0.311, mem=37M155
4.05/2.42	    decisions=16006, wrong=6814, backtracks=6132, failedAssignments=5163, nogoods=789, foundSolutions=21, bestBound=11
4.05/2.42	    
4.05/2.43	o 10
4.05/2.43	    num=136, depth=12..93, filters=26421, ccks=198, wck=0.314, mem=37M155
4.05/2.43	    decisions=16247, wrong=6924, backtracks=6236, failedAssignments=5251, nogoods=797, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.43	    num=137, depth=11..23, filters=26936, ccks=198, wck=0.318, mem=37M155
4.05/2.43	    decisions=16539, wrong=7064, backtracks=6374, failedAssignments=5359, nogoods=805, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.43	    num=138, depth=12..19, filters=26982, ccks=198, wck=0.319, mem=37M155
4.05/2.43	    decisions=16581, wrong=7078, backtracks=6384, failedAssignments=5370, nogoods=809, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.43	    num=139, depth=12..21, filters=27042, ccks=198, wck=0.32, mem=37M155
4.05/2.43	    decisions=16626, wrong=7094, backtracks=6398, failedAssignments=5382, nogoods=812, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.43	    num=140, depth=12..21, filters=27095, ccks=198, wck=0.321, mem=37M155
4.05/2.43	    decisions=16671, wrong=7110, backtracks=6409, failedAssignments=5395, nogoods=817, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.43	    num=141, depth=11..21, filters=27161, ccks=198, wck=0.321, mem=37M155
4.05/2.43	    decisions=16717, wrong=7127, backtracks=6421, failedAssignments=5409, nogoods=822, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.43	    num=142, depth=11..21, filters=27222, ccks=198, wck=0.322, mem=37M155
4.05/2.43	    decisions=16768, wrong=7147, backtracks=6440, failedAssignments=5425, nogoods=823, foundSolutions=22, bestBound=10
4.05/2.43	    
4.05/2.44	    num=143, depth=11..21, filters=27304, ccks=198, wck=0.323, mem=37M155
4.05/2.44	    decisions=16827, wrong=7170, backtracks=6460, failedAssignments=5442, nogoods=827, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=144, depth=11..25, filters=27411, ccks=198, wck=0.324, mem=37M155
4.05/2.44	    decisions=16887, wrong=7194, backtracks=6479, failedAssignments=5461, nogoods=833, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=145, depth=12..22, filters=27518, ccks=198, wck=0.325, mem=37M155
4.05/2.44	    decisions=16954, wrong=7221, backtracks=6501, failedAssignments=5482, nogoods=839, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=146, depth=12..23, filters=27625, ccks=198, wck=0.327, mem=37M155
4.05/2.44	    decisions=17021, wrong=7248, backtracks=6524, failedAssignments=5505, nogoods=845, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=147, depth=12..21, filters=27735, ccks=198, wck=0.328, mem=37M155
4.05/2.44	    decisions=17094, wrong=7278, backtracks=6549, failedAssignments=5530, nogoods=852, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=148, depth=12..23, filters=27874, ccks=198, wck=0.329, mem=37M155
4.05/2.44	    decisions=17175, wrong=7312, backtracks=6579, failedAssignments=5558, nogoods=858, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=149, depth=11..20, filters=28018, ccks=198, wck=0.33, mem=37M155
4.05/2.44	    decisions=17263, wrong=7350, backtracks=6613, failedAssignments=5589, nogoods=862, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.44	    num=150, depth=12..19, filters=28205, ccks=198, wck=0.332, mem=37M155
4.05/2.44	    decisions=17369, wrong=7397, backtracks=6658, failedAssignments=5623, nogoods=870, foundSolutions=22, bestBound=10
4.05/2.44	    
4.05/2.45	    num=151, depth=12..24, filters=28383, ccks=198, wck=0.334, mem=37M155
4.05/2.45	    decisions=17470, wrong=7441, backtracks=6697, failedAssignments=5660, nogoods=877, foundSolutions=22, bestBound=10
4.05/2.45	    
4.05/2.45	    num=152, depth=11..21, filters=28566, ccks=198, wck=0.336, mem=37M155
4.05/2.45	    decisions=17594, wrong=7497, backtracks=6747, failedAssignments=5701, nogoods=886, foundSolutions=22, bestBound=10
4.05/2.45	    
4.05/2.45	    num=153, depth=11..23, filters=28824, ccks=198, wck=0.338, mem=37M155
4.05/2.45	    decisions=17725, wrong=7556, backtracks=6801, failedAssignments=5746, nogoods=889, foundSolutions=22, bestBound=10
4.05/2.45	    
4.05/2.45	    num=154, depth=11..24, filters=29053, ccks=198, wck=0.34, mem=37M155
4.05/2.45	    decisions=17858, wrong=7616, backtracks=6852, failedAssignments=5796, nogoods=900, foundSolutions=22, bestBound=10
4.05/2.45	    
4.05/2.45	    num=155, depth=11..24, filters=29303, ccks=198, wck=0.342, mem=37M155
4.05/2.45	    decisions=18008, wrong=7684, backtracks=6915, failedAssignments=5851, nogoods=907, foundSolutions=22, bestBound=10
4.05/2.45	    
4.05/2.46	    num=156, depth=11..22, filters=29536, ccks=198, wck=0.344, mem=37M155
4.05/2.46	    decisions=18172, wrong=7760, backtracks=6988, failedAssignments=5912, nogoods=913, foundSolutions=22, bestBound=10
4.05/2.46	    
4.05/2.46	    num=157, depth=11..25, filters=29843, ccks=198, wck=0.347, mem=37M155
4.05/2.46	    decisions=18349, wrong=7842, backtracks=7066, failedAssignments=5979, nogoods=917, foundSolutions=22, bestBound=10
4.05/2.46	    
4.05/2.46	    num=158, depth=11..24, filters=30216, ccks=198, wck=0.35, mem=37M155
4.05/2.46	    decisions=18548, wrong=7935, backtracks=7154, failedAssignments=6053, nogoods=928, foundSolutions=22, bestBound=10
4.05/2.46	    
4.05/2.46	    num=159, depth=12..23, filters=30615, ccks=198, wck=0.353, mem=37M155
4.05/2.46	    decisions=18765, wrong=8037, backtracks=7255, failedAssignments=6134, nogoods=935, foundSolutions=22, bestBound=10
4.05/2.46	    
4.05/2.47	    num=160, depth=11..25, filters=31018, ccks=198, wck=0.356, mem=37M155
4.05/2.47	    decisions=18990, wrong=8143, backtracks=7356, failedAssignments=6223, nogoods=941, foundSolutions=22, bestBound=10
4.05/2.47	    
4.05/2.47	o 5
4.05/2.47	    num=161, depth=13..93, filters=31043, ccks=207, wck=0.357, mem=37M155
4.05/2.47	    decisions=19025, wrong=8146, backtracks=7358, failedAssignments=6225, nogoods=942, foundSolutions=23, bestBound=5
4.05/2.47	    
4.05/2.47	    num=162, depth=10..23, filters=31584, ccks=207, wck=0.361, mem=37M155
4.05/2.47	    decisions=19341, wrong=8298, backtracks=7502, failedAssignments=6333, nogoods=947, foundSolutions=23, bestBound=5
4.05/2.47	    
4.05/2.47	    num=163, depth=11..22, filters=31636, ccks=207, wck=0.362, mem=37M155
4.05/2.47	    decisions=19381, wrong=8312, backtracks=7514, failedAssignments=6344, nogoods=950, foundSolutions=23, bestBound=5
4.05/2.47	    
4.05/2.47	    num=164, depth=11..20, filters=31674, ccks=207, wck=0.362, mem=37M155
4.05/2.47	    decisions=19421, wrong=8326, backtracks=7525, failedAssignments=6356, nogoods=953, foundSolutions=23, bestBound=5
4.05/2.47	    
4.05/2.47	    num=165, depth=10..17, filters=31736, ccks=207, wck=0.363, mem=37M155
4.05/2.47	    decisions=19468, wrong=8344, backtracks=7539, failedAssignments=6369, nogoods=957, foundSolutions=23, bestBound=5
4.05/2.47	    
4.05/2.48	    num=166, depth=11..20, filters=31800, ccks=207, wck=0.364, mem=37M155
4.05/2.48	    decisions=19514, wrong=8361, backtracks=7547, failedAssignments=6383, nogoods=966, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=167, depth=10..20, filters=31858, ccks=207, wck=0.364, mem=37M155
4.05/2.48	    decisions=19563, wrong=8380, backtracks=7564, failedAssignments=6399, nogoods=968, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=168, depth=10..19, filters=31927, ccks=207, wck=0.365, mem=37M155
4.05/2.48	    decisions=19616, wrong=8401, backtracks=7579, failedAssignments=6416, nogoods=974, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=169, depth=10..19, filters=31987, ccks=207, wck=0.366, mem=37M155
4.05/2.48	    decisions=19669, wrong=8422, backtracks=7596, failedAssignments=6435, nogoods=978, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=170, depth=10..19, filters=32071, ccks=207, wck=0.367, mem=37M155
4.05/2.48	    decisions=19730, wrong=8447, backtracks=7617, failedAssignments=6456, nogoods=983, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=171, depth=12..19, filters=32192, ccks=207, wck=0.368, mem=37M155
4.05/2.48	    decisions=19804, wrong=8478, backtracks=7644, failedAssignments=6479, nogoods=989, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=172, depth=10..20, filters=32311, ccks=207, wck=0.369, mem=37M155
4.05/2.48	    decisions=19881, wrong=8511, backtracks=7673, failedAssignments=6504, nogoods=994, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=173, depth=12..22, filters=32416, ccks=207, wck=0.371, mem=37M155
4.05/2.48	    decisions=19958, wrong=8543, backtracks=7702, failedAssignments=6532, nogoods=1000, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.48	    num=174, depth=12..25, filters=32581, ccks=207, wck=0.372, mem=37M155
4.05/2.48	    decisions=20049, wrong=8582, backtracks=7732, failedAssignments=6563, nogoods=1011, foundSolutions=23, bestBound=5
4.05/2.48	    
4.05/2.49	    num=175, depth=11..24, filters=32724, ccks=207, wck=0.374, mem=37M155
4.05/2.49	    decisions=20147, wrong=8625, backtracks=7767, failedAssignments=6597, nogoods=1019, foundSolutions=23, bestBound=5
4.05/2.49	    
4.05/2.49	    num=176, depth=10..24, filters=32888, ccks=207, wck=0.375, mem=37M155
4.05/2.49	    decisions=20250, wrong=8671, backtracks=7811, failedAssignments=6634, nogoods=1024, foundSolutions=23, bestBound=5
4.05/2.49	    
4.05/2.49	    num=177, depth=11..24, filters=33043, ccks=207, wck=0.377, mem=37M155
4.05/2.49	    decisions=20361, wrong=8720, backtracks=7851, failedAssignments=6675, nogoods=1033, foundSolutions=23, bestBound=5
4.05/2.49	    
4.05/2.49	    num=178, depth=12..25, filters=33235, ccks=207, wck=0.379, mem=37M155
4.05/2.49	    decisions=20481, wrong=8774, backtracks=7901, failedAssignments=6720, nogoods=1043, foundSolutions=23, bestBound=5
4.05/2.49	    
4.05/2.49	    num=179, depth=11..22, filters=33448, ccks=207, wck=0.381, mem=37M155
4.05/2.49	    decisions=20622, wrong=8839, backtracks=7965, failedAssignments=6770, nogoods=1051, foundSolutions=23, bestBound=5
4.05/2.49	    
4.05/2.50	    num=180, depth=11..23, filters=33716, ccks=207, wck=0.383, mem=37M155
4.05/2.50	    decisions=20771, wrong=8908, backtracks=8033, failedAssignments=6825, nogoods=1058, foundSolutions=23, bestBound=5
4.05/2.50	    
4.25/2.50	    num=181, depth=11..20, filters=34006, ccks=207, wck=0.386, mem=37M155
4.25/2.50	    decisions=20947, wrong=8990, backtracks=8113, failedAssignments=6886, nogoods=1065, foundSolutions=23, bestBound=5
4.25/2.50	    
4.25/2.50	    num=182, depth=11..25, filters=34300, ccks=207, wck=0.389, mem=37M155
4.25/2.50	    decisions=21120, wrong=9070, backtracks=8186, failedAssignments=6953, nogoods=1071, foundSolutions=23, bestBound=5
4.25/2.50	    
4.25/2.50	    num=183, depth=11..23, filters=34668, ccks=207, wck=0.392, mem=37M155
4.25/2.50	    decisions=21319, wrong=9164, backtracks=8278, failedAssignments=7027, nogoods=1076, foundSolutions=23, bestBound=5
4.25/2.50	    
4.25/2.51	    num=184, depth=11..21, filters=35091, ccks=207, wck=0.395, mem=37M155
4.25/2.51	    decisions=21551, wrong=9273, backtracks=8381, failedAssignments=7108, nogoods=1084, foundSolutions=23, bestBound=5
4.25/2.51	    
4.25/2.51	    num=185, depth=10..23, filters=35477, ccks=207, wck=0.398, mem=37M155
4.25/2.51	    decisions=21782, wrong=9382, backtracks=8481, failedAssignments=7197, nogoods=1094, foundSolutions=23, bestBound=5
4.25/2.51	    
4.25/2.51	    num=186, depth=11..24, filters=35929, ccks=207, wck=0.402, mem=39M798
4.25/2.51	    decisions=22033, wrong=9501, backtracks=8597, failedAssignments=7295, nogoods=1101, foundSolutions=23, bestBound=5
4.25/2.51	    
4.25/2.52	    num=187, depth=9..21, filters=36366, ccks=207, wck=0.406, mem=39M798
4.25/2.52	    decisions=22324, wrong=9641, backtracks=8730, failedAssignments=7403, nogoods=1110, foundSolutions=23, bestBound=5
4.25/2.52	    
4.25/2.52	    num=188, depth=11..25, filters=36870, ccks=207, wck=0.41, mem=39M798
4.25/2.52	    decisions=22628, wrong=9786, backtracks=8865, failedAssignments=7522, nogoods=1121, foundSolutions=23, bestBound=5
4.25/2.52	    
4.25/2.53	    num=189, depth=8..21, filters=37450, ccks=207, wck=0.415, mem=39M798
4.25/2.53	    decisions=22985, wrong=9960, backtracks=9037, failedAssignments=7653, nogoods=1127, foundSolutions=23, bestBound=5
4.25/2.53	    
4.25/2.53	    num=190, depth=11..26, filters=38000, ccks=207, wck=0.42, mem=39M798
4.25/2.53	    decisions=23363, wrong=10142, backtracks=9212, failedAssignments=7797, nogoods=1133, foundSolutions=23, bestBound=5
4.25/2.53	    
4.25/2.54	    num=191, depth=9..23, filters=38704, ccks=207, wck=0.425, mem=39M798
4.25/2.54	    decisions=23773, wrong=10341, backtracks=9406, failedAssignments=7955, nogoods=1142, foundSolutions=23, bestBound=5
4.25/2.54	    
4.25/2.54	    num=192, depth=10..25, filters=39395, ccks=207, wck=0.431, mem=39M798
4.25/2.54	    decisions=24217, wrong=10557, backtracks=9614, failedAssignments=8129, nogoods=1146, foundSolutions=23, bestBound=5
4.25/2.54	    
4.25/2.55	    num=193, depth=10..24, filters=40346, ccks=207, wck=0.437, mem=39M798
4.25/2.55	    decisions=24760, wrong=10823, backtracks=9872, failedAssignments=8320, nogoods=1159, foundSolutions=23, bestBound=5
4.25/2.55	    
4.25/2.56	    num=194, depth=10..21, filters=41289, ccks=207, wck=0.444, mem=39M798
4.25/2.56	    decisions=25359, wrong=11117, backtracks=10158, failedAssignments=8531, nogoods=1169, foundSolutions=23, bestBound=5
4.25/2.56	    
4.25/2.56	    num=195, depth=10..24, filters=42383, ccks=207, wck=0.452, mem=39M798
4.25/2.56	    decisions=25950, wrong=11407, backtracks=10444, failedAssignments=8763, nogoods=1177, foundSolutions=23, bestBound=5
4.25/2.56	    
4.25/2.57	    num=196, depth=10..24, filters=43622, ccks=207, wck=0.461, mem=39M798
4.25/2.57	    decisions=26700, wrong=11776, backtracks=10799, failedAssignments=9018, nogoods=1183, foundSolutions=23, bestBound=5
4.25/2.57	    
4.25/2.58	    num=197, depth=9..21, filters=45109, ccks=207, wck=0.471, mem=39M798
4.25/2.58	    decisions=27469, wrong=12155, backtracks=11172, failedAssignments=9299, nogoods=1193, foundSolutions=23, bestBound=5
4.25/2.58	    
4.25/2.59	    num=198, depth=10..23, filters=46705, ccks=207, wck=0.481, mem=39M798
4.25/2.59	    decisions=28359, wrong=12594, backtracks=11596, failedAssignments=9608, nogoods=1199, foundSolutions=23, bestBound=5
4.25/2.59	    
4.36/2.60	    num=199, depth=10..23, filters=48331, ccks=207, wck=0.493, mem=39M798
4.36/2.60	    decisions=29313, wrong=13066, backtracks=12056, failedAssignments=9948, nogoods=1201, foundSolutions=23, bestBound=5
4.36/2.60	    
4.36/2.62	    num=200, depth=9..26, filters=50321, ccks=207, wck=0.505, mem=39M798
4.36/2.62	    decisions=30332, wrong=13570, backtracks=12551, failedAssignments=10322, nogoods=1207, foundSolutions=23, bestBound=5
4.36/2.62	    
4.36/2.63	    num=201, depth=10..25, filters=52167, ccks=207, wck=0.518, mem=39M798
4.36/2.63	    decisions=31420, wrong=14107, backtracks=13078, failedAssignments=10733, nogoods=1216, foundSolutions=23, bestBound=5
4.36/2.63	    
4.36/2.64	    num=202, depth=10..25, filters=54393, ccks=207, wck=0.532, mem=39M798
4.36/2.64	    decisions=32644, wrong=14713, backtracks=13672, failedAssignments=11185, nogoods=1222, foundSolutions=23, bestBound=5
4.36/2.64	    
4.36/2.66	    num=203, depth=11..24, filters=56765, ccks=207, wck=0.548, mem=39M798
4.36/2.66	    decisions=34031, wrong=15400, backtracks=14338, failedAssignments=11682, nogoods=1234, foundSolutions=23, bestBound=5
4.36/2.66	    
4.36/2.68	    num=204, depth=8..22, filters=59722, ccks=207, wck=0.566, mem=39M798
4.36/2.68	    decisions=35622, wrong=16190, backtracks=15103, failedAssignments=12229, nogoods=1239, foundSolutions=23, bestBound=5
4.36/2.68	    
4.46/2.70	    num=205, depth=9..25, filters=62464, ccks=207, wck=0.585, mem=39M798
4.46/2.70	    decisions=37193, wrong=16970, backtracks=15868, failedAssignments=12831, nogoods=1246, foundSolutions=23, bestBound=5
4.46/2.70	    
4.46/2.72	    num=206, depth=8..22, filters=66222, ccks=207, wck=0.606, mem=39M798
4.46/2.72	    decisions=39271, wrong=18003, backtracks=16850, failedAssignments=13493, nogoods=1254, foundSolutions=23, bestBound=5
4.46/2.72	    
4.46/2.74	    num=207, depth=8..22, filters=69715, ccks=207, wck=0.628, mem=39M798
4.46/2.74	    decisions=41323, wrong=19024, backtracks=17844, failedAssignments=14221, nogoods=1263, foundSolutions=23, bestBound=5
4.46/2.74	    
4.46/2.77	    num=208, depth=8..25, filters=73428, ccks=207, wck=0.654, mem=39M798
4.46/2.77	    decisions=43587, wrong=20150, backtracks=18929, failedAssignments=15022, nogoods=1273, foundSolutions=23, bestBound=5
4.46/2.77	    
4.46/2.79	    num=209, depth=8..23, filters=78302, ccks=207, wck=0.683, mem=42M440
4.46/2.79	    decisions=46146, wrong=21424, backtracks=20169, failedAssignments=15903, nogoods=1285, foundSolutions=23, bestBound=5
4.46/2.79	    
4.56/2.82	    num=210, depth=9..24, filters=83002, ccks=207, wck=0.712, mem=42M440
4.56/2.82	    decisions=48784, wrong=22737, backtracks=21453, failedAssignments=16873, nogoods=1294, foundSolutions=23, bestBound=5
4.56/2.82	    
4.56/2.86	    num=211, depth=9..24, filters=88136, ccks=207, wck=0.745, mem=42M440
4.56/2.86	    decisions=51818, wrong=24248, backtracks=22918, failedAssignments=17940, nogoods=1303, foundSolutions=23, bestBound=5
4.56/2.86	    
4.66/2.90	    num=212, depth=8..25, filters=94042, ccks=207, wck=0.786, mem=42M440
4.66/2.90	    decisions=55274, wrong=25970, backtracks=24583, failedAssignments=19113, nogoods=1313, foundSolutions=23, bestBound=5
4.66/2.90	    
4.66/2.94	    num=213, depth=9..24, filters=100182, ccks=207, wck=0.827, mem=42M440
4.66/2.94	    decisions=58850, wrong=27752, backtracks=26310, failedAssignments=20404, nogoods=1324, foundSolutions=23, bestBound=5
4.66/2.94	    
4.66/2.99	    num=214, depth=9..24, filters=108043, ccks=207, wck=0.874, mem=42M440
4.66/2.99	    decisions=63169, wrong=29905, backtracks=28406, failedAssignments=21824, nogoods=1334, foundSolutions=23, bestBound=5
4.66/2.99	    
4.80/3.04	    num=215, depth=8..25, filters=116679, ccks=207, wck=0.932, mem=42M440
4.80/3.04	    decisions=67795, wrong=32212, backtracks=30652, failedAssignments=23386, nogoods=1343, foundSolutions=23, bestBound=5
4.80/3.04	    
4.80/3.10	    num=216, depth=8..24, filters=125733, ccks=207, wck=0.987, mem=45M83
4.80/3.10	    decisions=72852, wrong=34735, backtracks=33094, failedAssignments=25104, nogoods=1348, foundSolutions=23, bestBound=5
4.80/3.10	    
4.92/3.16	    num=217, depth=8..27, filters=134777, ccks=207, wck=1.045, mem=45M83
4.92/3.16	    decisions=78318, wrong=37461, backtracks=35741, failedAssignments=26994, nogoods=1357, foundSolutions=23, bestBound=5
4.92/3.16	    
5.02/3.23	    num=218, depth=8..25, filters=146370, ccks=207, wck=1.119, mem=45M83
5.02/3.23	    decisions=84632, wrong=40613, backtracks=38778, failedAssignments=29073, nogoods=1365, foundSolutions=23, bestBound=5
5.02/3.23	    
5.12/3.30	    num=219, depth=8..25, filters=157832, ccks=207, wck=1.191, mem=45M83
5.12/3.30	    decisions=91231, wrong=43907, backtracks=41983, failedAssignments=31360, nogoods=1371, foundSolutions=23, bestBound=5
5.12/3.30	    
5.12/3.39	    num=220, depth=7..25, filters=171938, ccks=207, wck=1.28, mem=45M83
5.12/3.39	    decisions=99428, wrong=47999, backtracks=45872, failedAssignments=33876, nogoods=1384, foundSolutions=23, bestBound=5
5.12/3.39	    
5.22/3.48	    num=221, depth=7..24, filters=186541, ccks=207, wck=1.37, mem=47M725
5.22/3.48	    decisions=107578, wrong=52069, backtracks=49835, failedAssignments=36644, nogoods=1394, foundSolutions=23, bestBound=5
5.22/3.48	    
5.32/3.58	    num=222, depth=8..24, filters=202719, ccks=207, wck=1.466, mem=47M725
5.32/3.58	    decisions=116634, wrong=56591, backtracks=54235, failedAssignments=39688, nogoods=1403, foundSolutions=23, bestBound=5
5.32/3.58	    
5.42/3.70	    num=223, depth=7..23, filters=221377, ccks=207, wck=1.584, mem=47M725
5.42/3.70	    decisions=127418, wrong=61977, backtracks=59398, failedAssignments=43037, nogoods=1408, foundSolutions=23, bestBound=5
5.42/3.70	    
5.62/3.81	o 4
5.62/3.81	    num=224, depth=7..93, filters=239369, ccks=216, wck=1.701, mem=50M367
5.62/3.81	    decisions=137713, wrong=67116, backtracks=64371, failedAssignments=46584, nogoods=1420, foundSolutions=24, bestBound=4
5.62/3.81	    
5.73/3.93	    num=225, depth=7..25, filters=259811, ccks=216, wck=1.817, mem=50M367
5.73/3.93	    decisions=149829, wrong=73170, backtracks=70224, failedAssignments=50636, nogoods=1427, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.93	    num=226, depth=12..20, filters=259859, ccks=216, wck=1.818, mem=50M367
5.73/3.93	    decisions=149869, wrong=73184, backtracks=70237, failedAssignments=50647, nogoods=1429, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.93	    num=227, depth=12..19, filters=259903, ccks=216, wck=1.819, mem=50M367
5.73/3.93	    decisions=149911, wrong=73198, backtracks=70246, failedAssignments=50659, nogoods=1434, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.93	    num=228, depth=11..16, filters=259960, ccks=216, wck=1.82, mem=50M367
5.73/3.93	    decisions=149959, wrong=73216, backtracks=70261, failedAssignments=50672, nogoods=1437, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.93	    num=229, depth=10..20, filters=260015, ccks=216, wck=1.82, mem=50M367
5.73/3.93	    decisions=150003, wrong=73232, backtracks=70274, failedAssignments=50686, nogoods=1440, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.93	    num=230, depth=12..23, filters=260082, ccks=216, wck=1.821, mem=50M367
5.73/3.93	    decisions=150053, wrong=73251, backtracks=70290, failedAssignments=50702, nogoods=1445, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.93	    num=231, depth=10..21, filters=260149, ccks=216, wck=1.822, mem=50M367
5.73/3.93	    decisions=150102, wrong=73270, backtracks=70305, failedAssignments=50719, nogoods=1450, foundSolutions=24, bestBound=4
5.73/3.93	    
5.73/3.94	    num=232, depth=10..21, filters=260239, ccks=216, wck=1.823, mem=50M367
5.73/3.94	    decisions=150165, wrong=73296, backtracks=70328, failedAssignments=50738, nogoods=1454, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=233, depth=10..17, filters=260323, ccks=216, wck=1.824, mem=50M367
5.73/3.94	    decisions=150231, wrong=73323, backtracks=70351, failedAssignments=50759, nogoods=1458, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=234, depth=11..22, filters=260426, ccks=216, wck=1.825, mem=50M367
5.73/3.94	    decisions=150301, wrong=73352, backtracks=70378, failedAssignments=50782, nogoods=1460, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=235, depth=9..21, filters=260555, ccks=216, wck=1.826, mem=50M367
5.73/3.94	    decisions=150386, wrong=73389, backtracks=70404, failedAssignments=50807, nogoods=1471, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=236, depth=10..22, filters=260667, ccks=216, wck=1.827, mem=50M367
5.73/3.94	    decisions=150466, wrong=73423, backtracks=70430, failedAssignments=50835, nogoods=1482, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=237, depth=12..23, filters=260798, ccks=216, wck=1.829, mem=50M367
5.73/3.94	    decisions=150552, wrong=73460, backtracks=70463, failedAssignments=50866, nogoods=1488, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=238, depth=11..21, filters=260939, ccks=216, wck=1.83, mem=50M367
5.73/3.94	    decisions=150647, wrong=73502, backtracks=70504, failedAssignments=50900, nogoods=1493, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.94	    num=239, depth=11..23, filters=261083, ccks=216, wck=1.831, mem=50M367
5.73/3.94	    decisions=150747, wrong=73546, backtracks=70539, failedAssignments=50937, nogoods=1502, foundSolutions=24, bestBound=4
5.73/3.94	    
5.73/3.95	    num=240, depth=11..21, filters=261253, ccks=216, wck=1.833, mem=50M367
5.73/3.95	    decisions=150859, wrong=73596, backtracks=70583, failedAssignments=50978, nogoods=1512, foundSolutions=24, bestBound=4
5.73/3.95	    
5.73/3.95	    num=241, depth=10..23, filters=261478, ccks=216, wck=1.835, mem=50M367
5.73/3.95	    decisions=150997, wrong=73659, backtracks=70637, failedAssignments=51023, nogoods=1522, foundSolutions=24, bestBound=4
5.73/3.95	    
5.73/3.95	    num=242, depth=10..22, filters=261690, ccks=216, wck=1.837, mem=50M367
5.73/3.95	    decisions=151132, wrong=73721, backtracks=70692, failedAssignments=51073, nogoods=1533, foundSolutions=24, bestBound=4
5.73/3.95	    
5.73/3.95	    num=243, depth=11..24, filters=261920, ccks=216, wck=1.839, mem=50M367
5.73/3.95	    decisions=151281, wrong=73789, backtracks=70754, failedAssignments=51128, nogoods=1539, foundSolutions=24, bestBound=4
5.73/3.95	    
5.73/3.95	    num=244, depth=8..21, filters=262202, ccks=216, wck=1.841, mem=50M367
5.73/3.95	    decisions=151466, wrong=73876, backtracks=70835, failedAssignments=51189, nogoods=1544, foundSolutions=24, bestBound=4
5.73/3.95	    
5.73/3.96	    num=245, depth=11..22, filters=262502, ccks=216, wck=1.844, mem=50M367
5.73/3.96	    decisions=151667, wrong=73970, backtracks=70923, failedAssignments=51256, nogoods=1549, foundSolutions=24, bestBound=4
5.73/3.96	    
5.73/3.96	    num=246, depth=10..20, filters=262838, ccks=216, wck=1.847, mem=50M367
5.73/3.96	    decisions=151875, wrong=74068, backtracks=71014, failedAssignments=51330, nogoods=1560, foundSolutions=24, bestBound=4
5.73/3.96	    
5.73/3.96	    num=247, depth=10..21, filters=263171, ccks=216, wck=1.85, mem=50M367
5.73/3.96	    decisions=152094, wrong=74171, backtracks=71111, failedAssignments=51411, nogoods=1563, foundSolutions=24, bestBound=4
5.73/3.96	    
5.73/3.97	    num=248, depth=10..23, filters=263514, ccks=216, wck=1.853, mem=50M367
5.73/3.97	    decisions=152328, wrong=74282, backtracks=71215, failedAssignments=51500, nogoods=1574, foundSolutions=24, bestBound=4
5.73/3.97	    
5.73/3.97	    num=249, depth=11..23, filters=263910, ccks=216, wck=1.857, mem=50M367
5.73/3.97	    decisions=152577, wrong=74401, backtracks=71333, failedAssignments=51598, nogoods=1580, foundSolutions=24, bestBound=4
5.73/3.97	    
5.73/3.97	    num=250, depth=11..22, filters=264435, ccks=216, wck=1.861, mem=50M367
5.73/3.97	    decisions=152891, wrong=74552, backtracks=71480, failedAssignments=51706, nogoods=1588, foundSolutions=24, bestBound=4
5.73/3.97	    
5.73/3.98	    num=251, depth=10..24, filters=264966, ccks=216, wck=1.866, mem=50M367
5.73/3.98	    decisions=153218, wrong=74710, backtracks=71634, failedAssignments=51825, nogoods=1594, foundSolutions=24, bestBound=4
5.73/3.98	    
5.73/3.98	    num=252, depth=10..23, filters=265532, ccks=216, wck=1.871, mem=53M10
5.73/3.98	    decisions=153578, wrong=74884, backtracks=71802, failedAssignments=51956, nogoods=1604, foundSolutions=24, bestBound=4
5.73/3.98	    
5.73/3.99	    num=253, depth=11..24, filters=266151, ccks=216, wck=1.876, mem=53M10
5.73/3.99	    decisions=153967, wrong=75073, backtracks=71988, failedAssignments=52100, nogoods=1609, foundSolutions=24, bestBound=4
5.73/3.99	    
5.73/3.99	    num=254, depth=9..23, filters=266786, ccks=216, wck=1.881, mem=53M10
5.73/3.99	    decisions=154391, wrong=75279, backtracks=72187, failedAssignments=52258, nogoods=1617, foundSolutions=24, bestBound=4
5.73/3.99	    
5.73/4.00	    num=255, depth=10..23, filters=267415, ccks=216, wck=1.887, mem=53M10
5.73/4.00	    decisions=154850, wrong=75503, backtracks=72403, failedAssignments=52432, nogoods=1627, foundSolutions=24, bestBound=4
5.73/4.00	    
5.85/4.01	    num=256, depth=8..23, filters=268271, ccks=216, wck=1.895, mem=53M10
5.85/4.01	    decisions=155423, wrong=75785, backtracks=72672, failedAssignments=52623, nogoods=1634, foundSolutions=24, bestBound=4
5.85/4.01	    
5.85/4.01	    num=257, depth=10..24, filters=269147, ccks=216, wck=1.902, mem=53M10
5.85/4.01	    decisions=155979, wrong=76057, backtracks=72933, failedAssignments=52834, nogoods=1640, foundSolutions=24, bestBound=4
5.85/4.01	    
5.85/4.02	    num=258, depth=10..24, filters=270165, ccks=216, wck=1.91, mem=53M10
5.85/4.02	    decisions=156594, wrong=76358, backtracks=73225, failedAssignments=53066, nogoods=1649, foundSolutions=24, bestBound=4
5.85/4.02	    
5.85/4.03	    num=259, depth=9..23, filters=271341, ccks=216, wck=1.919, mem=53M10
5.85/4.03	    decisions=157271, wrong=76690, backtracks=73544, failedAssignments=53321, nogoods=1660, foundSolutions=24, bestBound=4
5.85/4.03	    
5.85/4.04	    num=260, depth=10..23, filters=272527, ccks=216, wck=1.929, mem=53M10
5.85/4.04	    decisions=158028, wrong=77062, backtracks=73904, failedAssignments=53602, nogoods=1664, foundSolutions=24, bestBound=4
5.85/4.04	    
5.85/4.05	    num=261, depth=9..23, filters=273955, ccks=216, wck=1.94, mem=53M10
5.85/4.05	    decisions=158869, wrong=77477, backtracks=74310, failedAssignments=53911, nogoods=1670, foundSolutions=24, bestBound=4
5.85/4.05	    
5.85/4.06	    num=262, depth=10..25, filters=275505, ccks=216, wck=1.951, mem=53M10
5.85/4.06	    decisions=159775, wrong=77924, backtracks=74746, failedAssignments=54251, nogoods=1679, foundSolutions=24, bestBound=4
5.85/4.06	    
5.85/4.08	    num=263, depth=10..22, filters=277327, ccks=216, wck=1.964, mem=53M10
5.85/4.08	    decisions=160817, wrong=78439, backtracks=75249, failedAssignments=54625, nogoods=1686, foundSolutions=24, bestBound=4
5.85/4.08	    
5.85/4.09	    num=264, depth=9..22, filters=279297, ccks=216, wck=1.979, mem=53M10
5.85/4.09	    decisions=161946, wrong=78997, backtracks=75793, failedAssignments=55036, nogoods=1693, foundSolutions=24, bestBound=4
5.85/4.09	    
5.96/4.11	    num=265, depth=9..22, filters=281228, ccks=216, wck=1.994, mem=53M10
5.96/4.11	    decisions=163198, wrong=79617, backtracks=76398, failedAssignments=55488, nogoods=1703, foundSolutions=24, bestBound=4
5.96/4.11	    
5.96/4.12	    num=266, depth=9..23, filters=283531, ccks=216, wck=2.011, mem=53M10
5.96/4.12	    decisions=164520, wrong=80272, backtracks=77040, failedAssignments=55985, nogoods=1713, foundSolutions=24, bestBound=4
5.96/4.12	    
5.96/4.14	    num=267, depth=10..24, filters=285992, ccks=216, wck=2.029, mem=53M10
5.96/4.14	    decisions=166044, wrong=81028, backtracks=77777, failedAssignments=56532, nogoods=1722, foundSolutions=24, bestBound=4
5.96/4.14	    
5.96/4.16	    num=268, depth=9..24, filters=289074, ccks=216, wck=2.051, mem=53M10
5.96/4.16	    decisions=167850, wrong=81925, backtracks=78631, failedAssignments=57134, nogoods=1734, foundSolutions=24, bestBound=4
5.96/4.16	    
5.96/4.18	    num=269, depth=10..24, filters=292226, ccks=216, wck=2.071, mem=53M10
5.96/4.18	    decisions=169653, wrong=82820, backtracks=79515, failedAssignments=57796, nogoods=1743, foundSolutions=24, bestBound=4
5.96/4.18	    
6.05/4.21	    num=270, depth=9..24, filters=295841, ccks=216, wck=2.095, mem=53M10
6.05/4.21	    decisions=171680, wrong=83828, backtracks=80500, failedAssignments=58524, nogoods=1752, foundSolutions=24, bestBound=4
6.05/4.21	    
6.05/4.24	    num=271, depth=8..24, filters=299729, ccks=216, wck=2.123, mem=53M10
6.05/4.24	    decisions=174018, wrong=84991, backtracks=81627, failedAssignments=59325, nogoods=1759, foundSolutions=24, bestBound=4
6.05/4.24	    
6.05/4.26	    num=272, depth=9..23, filters=304024, ccks=216, wck=2.152, mem=53M10
6.05/4.26	    decisions=176477, wrong=86215, backtracks=82822, failedAssignments=60206, nogoods=1766, foundSolutions=24, bestBound=4
6.05/4.26	    
6.15/4.30	    num=273, depth=9..23, filters=308855, ccks=216, wck=2.185, mem=55M652
6.15/4.30	    decisions=179341, wrong=87642, backtracks=84209, failedAssignments=61176, nogoods=1777, foundSolutions=24, bestBound=4
6.15/4.30	    
6.15/4.33	    num=274, depth=9..25, filters=314079, ccks=216, wck=2.219, mem=55M652
6.15/4.33	    decisions=182259, wrong=89095, backtracks=85631, failedAssignments=62243, nogoods=1784, foundSolutions=24, bestBound=4
6.15/4.33	    
6.15/4.37	    num=275, depth=8..25, filters=320129, ccks=216, wck=2.259, mem=55M652
6.15/4.37	    decisions=185522, wrong=90721, backtracks=87220, failedAssignments=63416, nogoods=1792, foundSolutions=24, bestBound=4
6.15/4.37	    
6.25/4.41	    num=276, depth=9..24, filters=325628, ccks=216, wck=2.298, mem=55M652
6.25/4.41	    decisions=189011, wrong=92459, backtracks=88931, failedAssignments=64707, nogoods=1803, foundSolutions=24, bestBound=4
6.25/4.41	    
6.25/4.46	    num=277, depth=8..24, filters=332766, ccks=216, wck=2.347, mem=55M652
6.25/4.46	    decisions=193044, wrong=94470, backtracks=90890, failedAssignments=66127, nogoods=1809, foundSolutions=24, bestBound=4
6.25/4.46	    
6.35/4.51	    num=278, depth=8..24, filters=340640, ccks=216, wck=2.397, mem=55M652
6.35/4.51	    decisions=197587, wrong=96736, backtracks=93091, failedAssignments=67689, nogoods=1816, foundSolutions=24, bestBound=4
6.35/4.51	    
6.35/4.56	    num=279, depth=8..24, filters=348799, ccks=216, wck=2.451, mem=55M652
6.35/4.56	    decisions=202700, wrong=99288, backtracks=95557, failedAssignments=69407, nogoods=1827, foundSolutions=24, bestBound=4
6.35/4.56	    
6.45/4.62	    num=280, depth=7..25, filters=357758, ccks=216, wck=2.512, mem=58M295
6.45/4.62	    decisions=208110, wrong=101988, backtracks=98176, failedAssignments=71297, nogoods=1835, foundSolutions=24, bestBound=4
6.45/4.62	    
6.45/4.69	    num=281, depth=8..25, filters=367576, ccks=216, wck=2.575, mem=58M295
6.45/4.69	    decisions=213955, wrong=104904, backtracks=101020, failedAssignments=73376, nogoods=1843, foundSolutions=24, bestBound=4
6.45/4.69	    
6.55/4.76	    num=282, depth=8..25, filters=378619, ccks=216, wck=2.645, mem=58M295
6.55/4.76	    decisions=220519, wrong=108180, backtracks=104206, failedAssignments=75663, nogoods=1854, foundSolutions=24, bestBound=4
6.55/4.76	    
6.65/4.85	    num=283, depth=8..25, filters=391924, ccks=216, wck=2.735, mem=58M295
6.65/4.85	    decisions=228149, wrong=111990, backtracks=107877, failedAssignments=78179, nogoods=1865, foundSolutions=24, bestBound=4
6.65/4.85	    
6.75/4.94	    num=284, depth=8..24, filters=405785, ccks=216, wck=2.828, mem=60M937
6.75/4.94	    decisions=236312, wrong=116065, backtracks=111833, failedAssignments=80947, nogoods=1875, foundSolutions=24, bestBound=4
6.75/4.94	    
6.86/5.04	    num=285, depth=8..24, filters=420294, ccks=216, wck=2.924, mem=60M937
6.86/5.04	    decisions=245413, wrong=120609, backtracks=116225, failedAssignments=83991, nogoods=1884, foundSolutions=24, bestBound=4
6.86/5.04	    
6.96/5.15	    num=286, depth=7..24, filters=438739, ccks=216, wck=3.042, mem=60M937
6.96/5.15	    decisions=255930, wrong=125862, backtracks=121292, failedAssignments=87340, nogoods=1894, foundSolutions=24, bestBound=4
6.96/5.15	    
7.05/5.27	    num=287, depth=7..25, filters=457190, ccks=216, wck=3.16, mem=63M580
7.05/5.27	    decisions=267004, wrong=131394, backtracks=126653, failedAssignments=91024, nogoods=1904, foundSolutions=24, bestBound=4
7.05/5.27	    
7.25/5.42	    num=288, depth=7..24, filters=479236, ccks=216, wck=3.305, mem=63M580
7.25/5.42	    decisions=280472, wrong=138123, backtracks=133050, failedAssignments=95076, nogoods=1914, foundSolutions=24, bestBound=4
7.25/5.42	    
7.35/5.55	    num=289, depth=8..25, filters=500805, ccks=216, wck=3.442, mem=63M580
7.35/5.55	    decisions=293236, wrong=144499, backtracks=139215, failedAssignments=99533, nogoods=1924, foundSolutions=24, bestBound=4
7.35/5.55	    
7.55/5.71	    num=290, depth=7..23, filters=527013, ccks=216, wck=3.601, mem=66M222
7.55/5.71	    decisions=308022, wrong=151886, backtracks=146401, failedAssignments=104436, nogoods=1935, foundSolutions=24, bestBound=4
7.55/5.71	    
7.65/5.88	    num=291, depth=7..25, filters=553930, ccks=216, wck=3.772, mem=66M222
7.65/5.88	    decisions=324154, wrong=159946, backtracks=154193, failedAssignments=109830, nogoods=1946, foundSolutions=24, bestBound=4
7.65/5.88	    
7.86/6.09	    num=292, depth=7..25, filters=586427, ccks=216, wck=3.982, mem=68M864
7.86/6.09	    decisions=342843, wrong=169286, backtracks=163220, failedAssignments=115763, nogoods=1952, foundSolutions=24, bestBound=4
7.86/6.09	    
8.15/6.30	    num=293, depth=6..24, filters=618296, ccks=216, wck=4.184, mem=71M507
8.15/6.30	    decisions=362571, wrong=179145, backtracks=172737, failedAssignments=122289, nogoods=1960, foundSolutions=24, bestBound=4
8.15/6.30	    
8.35/6.53	    num=294, depth=7..25, filters=655572, ccks=216, wck=4.418, mem=71M507
8.35/6.53	    decisions=383945, wrong=189826, backtracks=183071, failedAssignments=129468, nogoods=1972, foundSolutions=24, bestBound=4
8.35/6.53	    
8.55/6.79	    num=295, depth=7..25, filters=697253, ccks=216, wck=4.683, mem=74M149
8.55/6.79	    decisions=408887, wrong=202291, backtracks=195005, failedAssignments=137365, nogoods=1982, foundSolutions=24, bestBound=4
8.55/6.79	    
8.88/7.07	    num=296, depth=6..24, filters=745061, ccks=216, wck=4.954, mem=76M792
8.88/7.07	    decisions=435715, wrong=215701, backtracks=207957, failedAssignments=146052, nogoods=1991, foundSolutions=24, bestBound=4
8.88/7.07	    
9.27/7.40	    num=297, depth=6..25, filters=799520, ccks=216, wck=5.292, mem=79M434
9.27/7.40	    decisions=467276, wrong=231476, backtracks=223099, failedAssignments=155607, nogoods=2004, foundSolutions=24, bestBound=4
9.27/7.40	    
9.57/7.75	    num=298, depth=6..25, filters=854257, ccks=216, wck=5.642, mem=82M77
9.57/7.75	    decisions=499827, wrong=247746, backtracks=238847, failedAssignments=166118, nogoods=2014, foundSolutions=24, bestBound=4
9.57/7.75	    
9.98/8.15	    num=299, depth=6..25, filters=915515, ccks=216, wck=6.038, mem=84M719
9.98/8.15	    decisions=536556, wrong=266105, backtracks=256511, failedAssignments=177680, nogoods=2025, foundSolutions=24, bestBound=4
9.98/8.15	    
10.38/8.58	    num=300, depth=6..24, filters=988255, ccks=216, wck=6.472, mem=87M362
10.38/8.58	    decisions=577968, wrong=286805, backtracks=276401, failedAssignments=190398, nogoods=2034, foundSolutions=24, bestBound=4
10.38/8.58	    
10.89/9.06	    num=301, depth=6..25, filters=1060125, ccks=216, wck=6.952, mem=90M4
10.89/9.06	    decisions=621862, wrong=308746, backtracks=297501, failedAssignments=204388, nogoods=2045, foundSolutions=24, bestBound=4
10.89/9.06	    
11.38/9.56	    num=302, depth=6..25, filters=1140342, ccks=216, wck=7.45, mem=95M289
11.38/9.56	    decisions=670563, wrong=333092, backtracks=320979, failedAssignments=219777, nogoods=2059, foundSolutions=24, bestBound=4
11.38/9.56	    
11.99/10.15	    num=303, depth=6..24, filters=1236112, ccks=216, wck=8.04, mem=97M931
11.99/10.15	    decisions=725120, wrong=360365, backtracks=347173, failedAssignments=236705, nogoods=2068, foundSolutions=24, bestBound=4
11.99/10.15	    
12.68/10.80	    num=304, depth=6..25, filters=1339542, ccks=216, wck=8.686, mem=103M216
12.68/10.80	    decisions=786146, wrong=390872, backtracks=376573, failedAssignments=255326, nogoods=2078, foundSolutions=24, bestBound=4
12.68/10.80	    
13.39/11.54	    num=305, depth=6..25, filters=1456174, ccks=216, wck=9.428, mem=108M501
13.39/11.54	    decisions=853566, wrong=424577, backtracks=409101, failedAssignments=275810, nogoods=2089, foundSolutions=24, bestBound=4
13.39/11.54	    
14.09/12.26	    num=306, depth=6..25, filters=1572287, ccks=216, wck=10.148, mem=113M786
14.09/12.26	    decisions=922901, wrong=459239, backtracks=442537, failedAssignments=298342, nogoods=2100, foundSolutions=24, bestBound=4
14.09/12.26	    
15.00/13.14	    num=307, depth=5..24, filters=1712573, ccks=216, wck=11.031, mem=119M71
15.00/13.14	    decisions=1006008, wrong=500787, backtracks=482239, failedAssignments=323127, nogoods=2111, foundSolutions=24, bestBound=4
15.00/13.14	    
15.89/14.01	    num=308, depth=5..25, filters=1845828, ccks=216, wck=11.902, mem=126M998
15.89/14.01	    decisions=1089931, wrong=542744, backtracks=522696, failedAssignments=350391, nogoods=2122, foundSolutions=24, bestBound=4
15.89/14.01	    
16.89/15.04	    num=309, depth=6..25, filters=2007391, ccks=216, wck=12.923, mem=132M283
16.89/15.04	    decisions=1189190, wrong=592368, backtracks=570669, failedAssignments=380381, nogoods=2128, foundSolutions=24, bestBound=4
16.89/15.04	    
18.18/16.31	    num=310, depth=5..24, filters=2212853, ccks=216, wck=14.194, mem=140M210
18.18/16.31	    decisions=1303223, wrong=649379, backtracks=625008, failedAssignments=413370, nogoods=2140, foundSolutions=24, bestBound=4
18.18/16.31	    
18.18/16.31	o 3
18.18/16.31	    num=311, depth=10..93, filters=2213145, ccks=225, wck=14.197, mem=140M210
18.18/16.31	    decisions=1303400, wrong=649461, backtracks=625085, failedAssignments=413419, nogoods=2145, foundSolutions=25, bestBound=3
18.18/16.31	    
19.52/17.61	    num=312, depth=4..24, filters=2448646, ccks=225, wck=15.497, mem=27M693
19.52/17.61	    decisions=1438991, wrong=717251, backtracks=689831, failedAssignments=453336, nogoods=2157, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=313, depth=11..16, filters=2448686, ccks=225, wck=15.498, mem=27M693
19.52/17.61	    decisions=1439030, wrong=717265, backtracks=689844, failedAssignments=453347, nogoods=2160, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=314, depth=10..19, filters=2448742, ccks=225, wck=15.499, mem=27M693
19.52/17.61	    decisions=1439068, wrong=717279, backtracks=689857, failedAssignments=453359, nogoods=2161, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=315, depth=10..17, filters=2448794, ccks=225, wck=15.499, mem=27M693
19.52/17.61	    decisions=1439112, wrong=717295, backtracks=689871, failedAssignments=453372, nogoods=2163, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=316, depth=10..18, filters=2448859, ccks=225, wck=15.5, mem=27M693
19.52/17.61	    decisions=1439160, wrong=717313, backtracks=689887, failedAssignments=453386, nogoods=2165, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=317, depth=10..17, filters=2448917, ccks=225, wck=15.501, mem=27M693
19.52/17.61	    decisions=1439207, wrong=717331, backtracks=689898, failedAssignments=453402, nogoods=2172, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=318, depth=11..17, filters=2449004, ccks=225, wck=15.501, mem=27M693
19.52/17.61	    decisions=1439262, wrong=717353, backtracks=689913, failedAssignments=453419, nogoods=2182, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=319, depth=10..19, filters=2449079, ccks=225, wck=15.502, mem=27M693
19.52/17.61	    decisions=1439319, wrong=717376, backtracks=689929, failedAssignments=453438, nogoods=2189, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.61	    num=320, depth=10..21, filters=2449164, ccks=225, wck=15.503, mem=27M693
19.52/17.61	    decisions=1439381, wrong=717401, backtracks=689951, failedAssignments=453459, nogoods=2192, foundSolutions=25, bestBound=3
19.52/17.61	    
19.52/17.62	    num=321, depth=11..18, filters=2449257, ccks=225, wck=15.504, mem=27M693
19.52/17.62	    decisions=1439452, wrong=717431, backtracks=689975, failedAssignments=453482, nogoods=2202, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=322, depth=10..19, filters=2449376, ccks=225, wck=15.505, mem=27M693
19.52/17.62	    decisions=1439525, wrong=717462, backtracks=690001, failedAssignments=453507, nogoods=2209, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=323, depth=10..19, filters=2449512, ccks=225, wck=15.506, mem=27M693
19.52/17.62	    decisions=1439607, wrong=717497, backtracks=690028, failedAssignments=453535, nogoods=2217, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=324, depth=10..18, filters=2449646, ccks=225, wck=15.507, mem=27M693
19.52/17.62	    decisions=1439698, wrong=717537, backtracks=690065, failedAssignments=453566, nogoods=2225, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=325, depth=11..21, filters=2449783, ccks=225, wck=15.508, mem=27M693
19.52/17.62	    decisions=1439788, wrong=717576, backtracks=690098, failedAssignments=453600, nogoods=2234, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=326, depth=10..19, filters=2449945, ccks=225, wck=15.509, mem=27M693
19.52/17.62	    decisions=1439901, wrong=717627, backtracks=690146, failedAssignments=453637, nogoods=2240, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=327, depth=10..19, filters=2450118, ccks=225, wck=15.51, mem=27M693
19.52/17.62	    decisions=1440016, wrong=717679, backtracks=690190, failedAssignments=453678, nogoods=2252, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.62	    num=328, depth=11..25, filters=2450321, ccks=225, wck=15.512, mem=27M693
19.52/17.62	    decisions=1440138, wrong=717734, backtracks=690240, failedAssignments=453723, nogoods=2258, foundSolutions=25, bestBound=3
19.52/17.62	    
19.52/17.63	    num=329, depth=10..20, filters=2450530, ccks=225, wck=15.514, mem=27M693
19.52/17.63	    decisions=1440276, wrong=717797, backtracks=690300, failedAssignments=453773, nogoods=2262, foundSolutions=25, bestBound=3
19.52/17.63	    
19.52/17.63	    num=330, depth=10..21, filters=2450770, ccks=225, wck=15.516, mem=27M693
19.52/17.63	    decisions=1440435, wrong=717871, backtracks=690368, failedAssignments=453828, nogoods=2272, foundSolutions=25, bestBound=3
19.52/17.63	    
19.52/17.63	    num=331, depth=10..19, filters=2451027, ccks=225, wck=15.518, mem=27M693
19.52/17.63	    decisions=1440607, wrong=717952, backtracks=690446, failedAssignments=453889, nogoods=2283, foundSolutions=25, bestBound=3
19.52/17.63	    
19.52/17.63	    num=332, depth=10..18, filters=2451342, ccks=225, wck=15.52, mem=27M693
19.52/17.63	    decisions=1440804, wrong=718045, backtracks=690534, failedAssignments=453956, nogoods=2292, foundSolutions=25, bestBound=3
19.52/17.63	    
19.52/17.63	    num=333, depth=10..20, filters=2451657, ccks=225, wck=15.523, mem=27M693
19.52/17.63	    decisions=1441006, wrong=718140, backtracks=690621, failedAssignments=454030, nogoods=2300, foundSolutions=25, bestBound=3
19.52/17.63	    
19.52/17.64	    num=334, depth=9..20, filters=2452014, ccks=225, wck=15.526, mem=27M693
19.52/17.64	    decisions=1441235, wrong=718249, backtracks=690717, failedAssignments=454111, nogoods=2314, foundSolutions=25, bestBound=3
19.52/17.64	    
19.52/17.64	    num=335, depth=9..20, filters=2452425, ccks=225, wck=15.529, mem=27M693
19.52/17.64	    decisions=1441494, wrong=718372, backtracks=690835, failedAssignments=454200, nogoods=2319, foundSolutions=25, bestBound=3
19.52/17.64	    
19.52/17.64	    num=336, depth=11..23, filters=2452862, ccks=225, wck=15.532, mem=27M693
19.52/17.64	    decisions=1441763, wrong=718500, backtracks=690956, failedAssignments=454298, nogoods=2331, foundSolutions=25, bestBound=3
19.52/17.64	    
19.52/17.65	    num=337, depth=9..21, filters=2453436, ccks=225, wck=15.536, mem=27M693
19.52/17.65	    decisions=1442087, wrong=718657, backtracks=691101, failedAssignments=454406, nogoods=2334, foundSolutions=25, bestBound=3
19.52/17.65	    
19.52/17.65	    num=338, depth=10..23, filters=2453954, ccks=225, wck=15.541, mem=27M693
19.52/17.65	    decisions=1442400, wrong=718808, backtracks=691250, failedAssignments=454525, nogoods=2336, foundSolutions=25, bestBound=3
19.52/17.65	    
19.52/17.66	    num=339, depth=10..22, filters=2454566, ccks=225, wck=15.545, mem=27M693
19.52/17.66	    decisions=1442753, wrong=718978, backtracks=691413, failedAssignments=454656, nogoods=2343, foundSolutions=25, bestBound=3
19.52/17.66	    
19.52/17.66	    num=340, depth=9..22, filters=2455173, ccks=225, wck=15.55, mem=27M693
19.52/17.66	    decisions=1443133, wrong=719162, backtracks=691589, failedAssignments=454800, nogoods=2350, foundSolutions=25, bestBound=3
19.52/17.66	    
19.52/17.67	    num=341, depth=10..22, filters=2455959, ccks=225, wck=15.555, mem=27M693
19.52/17.67	    decisions=1443586, wrong=719383, backtracks=691804, failedAssignments=454958, nogoods=2357, foundSolutions=25, bestBound=3
19.52/17.67	    
19.52/17.67	    num=342, depth=10..24, filters=2456760, ccks=225, wck=15.562, mem=27M693
19.52/17.67	    decisions=1444062, wrong=719615, backtracks=692029, failedAssignments=455132, nogoods=2365, foundSolutions=25, bestBound=3
19.52/17.67	    
19.52/17.68	    num=343, depth=10..22, filters=2457658, ccks=225, wck=15.568, mem=30M309
19.52/17.68	    decisions=1444578, wrong=719867, backtracks=692271, failedAssignments=455323, nogoods=2373, foundSolutions=25, bestBound=3
19.52/17.68	    
19.52/17.69	    num=344, depth=10..23, filters=2458625, ccks=225, wck=15.576, mem=30M309
19.52/17.69	    decisions=1445142, wrong=720143, backtracks=692539, failedAssignments=455534, nogoods=2382, foundSolutions=25, bestBound=3
19.52/17.69	    
19.52/17.70	    num=345, depth=10..24, filters=2459607, ccks=225, wck=15.583, mem=30M309
19.52/17.70	    decisions=1445773, wrong=720452, backtracks=692838, failedAssignments=455766, nogoods=2391, foundSolutions=25, bestBound=3
19.52/17.70	    
19.62/17.70	    num=346, depth=10..24, filters=2460816, ccks=225, wck=15.592, mem=30M309
19.62/17.70	    decisions=1446453, wrong=720786, backtracks=693167, failedAssignments=456021, nogoods=2396, foundSolutions=25, bestBound=3
19.62/17.70	    
19.62/17.71	    num=347, depth=10..25, filters=2462117, ccks=225, wck=15.601, mem=30M309
19.62/17.71	    decisions=1447200, wrong=721153, backtracks=693527, failedAssignments=456302, nogoods=2404, foundSolutions=25, bestBound=3
19.62/17.71	    
19.62/17.72	    num=348, depth=9..23, filters=2463565, ccks=225, wck=15.611, mem=30M309
19.62/17.72	    decisions=1448061, wrong=721578, backtracks=693941, failedAssignments=456611, nogoods=2413, foundSolutions=25, bestBound=3
19.62/17.72	    
19.62/17.73	    num=349, depth=10..22, filters=2465242, ccks=225, wck=15.622, mem=30M309
19.62/17.73	    decisions=1449027, wrong=722055, backtracks=694406, failedAssignments=456951, nogoods=2425, foundSolutions=25, bestBound=3
19.62/17.73	    
19.62/17.75	    num=350, depth=8..22, filters=2466985, ccks=225, wck=15.635, mem=30M309
19.62/17.75	    decisions=1450116, wrong=722594, backtracks=694925, failedAssignments=457325, nogoods=2432, foundSolutions=25, bestBound=3
19.62/17.75	    
19.62/17.76	    num=351, depth=9..24, filters=2468969, ccks=225, wck=15.649, mem=30M309
19.62/17.76	    decisions=1451263, wrong=723162, backtracks=695481, failedAssignments=457736, nogoods=2445, foundSolutions=25, bestBound=3
19.62/17.76	    
19.62/17.78	    num=352, depth=9..23, filters=2471130, ccks=225, wck=15.664, mem=30M309
19.62/17.78	    decisions=1452506, wrong=723778, backtracks=696085, failedAssignments=458188, nogoods=2452, foundSolutions=25, bestBound=3
19.62/17.78	    
19.62/17.79	    num=353, depth=9..24, filters=2473384, ccks=225, wck=15.681, mem=30M309
19.62/17.79	    decisions=1453891, wrong=724464, backtracks=696748, failedAssignments=458685, nogoods=2457, foundSolutions=25, bestBound=3
19.62/17.79	    
19.72/17.81	    num=354, depth=9..23, filters=2476198, ccks=225, wck=15.699, mem=30M309
19.72/17.81	    decisions=1455497, wrong=725261, backtracks=697518, failedAssignments=459232, nogoods=2465, foundSolutions=25, bestBound=3
19.72/17.81	    
19.72/17.83	    num=355, depth=10..24, filters=2478901, ccks=225, wck=15.719, mem=30M309
19.72/17.83	    decisions=1457141, wrong=726076, backtracks=698314, failedAssignments=459834, nogoods=2472, foundSolutions=25, bestBound=3
19.72/17.83	    
19.72/17.85	    num=356, depth=8..24, filters=2481979, ccks=225, wck=15.741, mem=30M309
19.72/17.85	    decisions=1458973, wrong=726986, backtracks=699205, failedAssignments=460496, nogoods=2477, foundSolutions=25, bestBound=3
19.72/17.85	    
19.72/17.88	    num=357, depth=9..25, filters=2485285, ccks=225, wck=15.763, mem=30M309
19.72/17.88	    decisions=1460968, wrong=727978, backtracks=700175, failedAssignments=461224, nogoods=2488, foundSolutions=25, bestBound=3
19.72/17.88	    
19.82/17.90	    num=358, depth=9..24, filters=2489099, ccks=225, wck=15.791, mem=30M309
19.82/17.90	    decisions=1463287, wrong=729131, backtracks=701298, failedAssignments=462025, nogoods=2499, foundSolutions=25, bestBound=3
19.82/17.90	    
19.82/17.93	    num=359, depth=9..25, filters=2493197, ccks=225, wck=15.82, mem=30M309
19.82/17.93	    decisions=1465733, wrong=730348, backtracks=702479, failedAssignments=462906, nogoods=2512, foundSolutions=25, bestBound=3
19.82/17.93	    
19.82/17.96	    num=360, depth=9..24, filters=2497842, ccks=225, wck=15.852, mem=30M309
19.82/17.96	    decisions=1468552, wrong=731752, backtracks=703838, failedAssignments=463876, nogoods=2517, foundSolutions=25, bestBound=3
19.82/17.96	    
19.82/18.00	    num=361, depth=8..25, filters=2502767, ccks=225, wck=15.889, mem=32M925
19.82/18.00	    decisions=1471514, wrong=733227, backtracks=705283, failedAssignments=464943, nogoods=2527, foundSolutions=25, bestBound=3
19.82/18.00	    
19.93/18.04	    num=362, depth=9..25, filters=2508314, ccks=225, wck=15.926, mem=32M925
19.93/18.04	    decisions=1474779, wrong=734854, backtracks=706869, failedAssignments=466116, nogoods=2535, foundSolutions=25, bestBound=3
19.93/18.04	    
19.93/18.08	    num=363, depth=9..25, filters=2514472, ccks=225, wck=15.968, mem=32M925
19.93/18.08	    decisions=1478342, wrong=736629, backtracks=708614, failedAssignments=467407, nogoods=2544, foundSolutions=25, bestBound=3
19.93/18.08	    
20.03/18.13	    num=364, depth=8..25, filters=2522039, ccks=225, wck=16.02, mem=32M925
20.03/18.13	    decisions=1482828, wrong=738866, backtracks=710756, failedAssignments=468827, nogoods=2555, foundSolutions=25, bestBound=3
20.03/18.13	    
20.03/18.18	    num=365, depth=8..24, filters=2529563, ccks=225, wck=16.073, mem=32M925
20.03/18.18	    decisions=1487445, wrong=741169, backtracks=712960, failedAssignments=470389, nogoods=2566, foundSolutions=25, bestBound=3
20.03/18.18	    
20.12/18.24	    num=366, depth=8..25, filters=2537287, ccks=225, wck=16.129, mem=32M925
20.12/18.24	    decisions=1492102, wrong=743491, backtracks=715230, failedAssignments=472107, nogoods=2578, foundSolutions=25, bestBound=3
20.12/18.24	    
20.22/18.30	    num=367, depth=9..25, filters=2546160, ccks=225, wck=16.192, mem=32M925
20.22/18.30	    decisions=1497508, wrong=746188, backtracks=717829, failedAssignments=473997, nogoods=2589, foundSolutions=25, bestBound=3
20.22/18.30	    
20.22/18.37	    num=368, depth=8..24, filters=2556562, ccks=225, wck=16.263, mem=35M541
20.22/18.37	    decisions=1503585, wrong=749221, backtracks=720756, failedAssignments=476076, nogoods=2600, foundSolutions=25, bestBound=3
20.22/18.37	    
20.32/18.45	    num=369, depth=8..25, filters=2568295, ccks=225, wck=16.339, mem=35M541
20.32/18.45	    decisions=1510537, wrong=752692, backtracks=724116, failedAssignments=478363, nogoods=2612, foundSolutions=25, bestBound=3
20.32/18.45	    
20.42/18.54	    num=370, depth=7..25, filters=2581034, ccks=225, wck=16.427, mem=35M541
20.42/18.54	    decisions=1518465, wrong=756651, backtracks=727899, failedAssignments=480879, nogoods=2623, foundSolutions=25, bestBound=3
20.42/18.54	    
20.52/18.63	    num=371, depth=8..24, filters=2595599, ccks=225, wck=16.521, mem=35M541
20.52/18.63	    decisions=1526801, wrong=760813, backtracks=731865, failedAssignments=483647, nogoods=2632, foundSolutions=25, bestBound=3
20.52/18.63	    
20.62/18.73	    num=372, depth=8..23, filters=2611693, ccks=225, wck=16.62, mem=38M157
20.62/18.73	    decisions=1536140, wrong=765477, backtracks=736333, failedAssignments=486691, nogoods=2643, foundSolutions=25, bestBound=3
20.62/18.73	    
20.72/18.86	    num=373, depth=7..23, filters=2629730, ccks=225, wck=16.746, mem=38M157
20.72/18.86	    decisions=1546573, wrong=770688, backtracks=741376, failedAssignments=490040, nogoods=2648, foundSolutions=25, bestBound=3
20.72/18.86	    
20.82/18.97	    num=374, depth=7..25, filters=2646483, ccks=225, wck=16.861, mem=38M157
20.82/18.97	    decisions=1557374, wrong=776083, backtracks=746555, failedAssignments=493724, nogoods=2655, foundSolutions=25, bestBound=3
20.82/18.97	    
21.03/19.12	    num=375, depth=7..24, filters=2668578, ccks=225, wck=17.008, mem=40M773
21.03/19.12	    decisions=1570425, wrong=782603, backtracks=752761, failedAssignments=497776, nogoods=2667, foundSolutions=25, bestBound=3
21.03/19.12	    
21.12/19.27	    num=376, depth=7..24, filters=2692149, ccks=225, wck=17.16, mem=40M773
21.12/19.27	    decisions=1583792, wrong=789281, backtracks=759233, failedAssignments=502233, nogoods=2678, foundSolutions=25, bestBound=3
21.12/19.27	    
21.32/19.45	    num=377, depth=7..24, filters=2716771, ccks=225, wck=17.34, mem=43M389
21.32/19.45	    decisions=1599004, wrong=796881, backtracks=766465, failedAssignments=507136, nogoods=2689, foundSolutions=25, bestBound=3
21.32/19.45	    
21.52/19.65	    num=378, depth=7..24, filters=2746907, ccks=225, wck=17.536, mem=43M389
21.52/19.65	    decisions=1617081, wrong=805915, backtracks=775182, failedAssignments=512530, nogoods=2700, foundSolutions=25, bestBound=3
21.52/19.65	    
21.72/19.85	    num=379, depth=7..25, filters=2777944, ccks=225, wck=17.743, mem=46M5
21.72/19.85	    decisions=1635221, wrong=814980, backtracks=783916, failedAssignments=518463, nogoods=2711, foundSolutions=25, bestBound=3
21.72/19.85	    
21.93/20.07	    num=380, depth=7..24, filters=2810545, ccks=225, wck=17.957, mem=46M5
21.93/20.07	    decisions=1654664, wrong=824696, backtracks=793267, failedAssignments=524989, nogoods=2722, foundSolutions=25, bestBound=3
21.93/20.07	    
22.23/20.34	    num=381, depth=6..24, filters=2851516, ccks=225, wck=18.229, mem=48M621
22.23/20.34	    decisions=1678640, wrong=836678, backtracks=804716, failedAssignments=532168, nogoods=2729, foundSolutions=25, bestBound=3
22.23/20.34	    
22.53/20.67	    num=382, depth=5..24, filters=2899862, ccks=225, wck=18.554, mem=51M237
22.53/20.67	    decisions=1707389, wrong=851047, backtracks=818296, failedAssignments=540065, nogoods=2738, foundSolutions=25, bestBound=3
22.53/20.67	    
22.83/20.96	    num=383, depth=6..24, filters=2948866, ccks=225, wck=18.847, mem=53M853
22.83/20.96	    decisions=1734937, wrong=864816, backtracks=831522, failedAssignments=548752, nogoods=2742, foundSolutions=25, bestBound=3
22.83/20.96	    
23.13/21.28	    num=384, depth=6..24, filters=2998021, ccks=225, wck=19.171, mem=55M174
23.13/21.28	    decisions=1763424, wrong=879054, backtracks=845253, failedAssignments=558307, nogoods=2750, foundSolutions=25, bestBound=3
23.13/21.28	    
23.53/21.66	    num=385, depth=6..25, filters=3055464, ccks=225, wck=19.546, mem=57M790
23.53/21.66	    decisions=1798138, wrong=896406, backtracks=861702, failedAssignments=568818, nogoods=2761, foundSolutions=25, bestBound=3
23.53/21.66	    
23.94/22.06	    num=386, depth=6..24, filters=3120820, ccks=225, wck=19.948, mem=60M406
23.94/22.06	    decisions=1834518, wrong=914590, backtracks=879148, failedAssignments=580380, nogoods=2764, foundSolutions=25, bestBound=3
23.94/22.06	    
24.34/22.49	    num=387, depth=6..25, filters=3188528, ccks=225, wck=20.379, mem=63M22
24.34/22.49	    decisions=1874641, wrong=934645, backtracks=898447, failedAssignments=593098, nogoods=2773, foundSolutions=25, bestBound=3
24.34/22.49	    
24.83/22.96	    num=388, depth=6..25, filters=3260181, ccks=225, wck=20.851, mem=68M254
24.83/22.96	    decisions=1918620, wrong=956629, backtracks=919461, failedAssignments=607088, nogoods=2782, foundSolutions=25, bestBound=3
24.83/22.96	    
25.43/23.51	    num=389, depth=6..25, filters=3341993, ccks=225, wck=21.402, mem=70M870
25.43/23.51	    decisions=1967465, wrong=981047, backtracks=942954, failedAssignments=622477, nogoods=2793, foundSolutions=25, bestBound=3
25.43/23.51	    
25.94/24.05	    num=390, depth=6..24, filters=3432633, ccks=225, wck=21.942, mem=76M102
25.94/24.05	    decisions=2019649, wrong=1007134, backtracks=968200, failedAssignments=639405, nogoods=2802, foundSolutions=25, bestBound=3
25.94/24.05	    
26.54/24.68	    num=391, depth=6..25, filters=3526981, ccks=225, wck=22.573, mem=78M718
26.54/24.68	    decisions=2078515, wrong=1036560, backtracks=996630, failedAssignments=658026, nogoods=2810, foundSolutions=25, bestBound=3
26.54/24.68	    
27.43/25.51	    num=392, depth=5..26, filters=3652895, ccks=225, wck=23.396, mem=83M950
27.43/25.51	    decisions=2152656, wrong=1073625, backtracks=1031706, failedAssignments=678510, nogoods=2821, foundSolutions=25, bestBound=3
27.43/25.51	    
28.23/26.34	    num=393, depth=5..24, filters=3785967, ccks=225, wck=24.224, mem=89M182
28.23/26.34	    decisions=2228304, wrong=1111444, backtracks=1067837, failedAssignments=701042, nogoods=2829, foundSolutions=25, bestBound=3
28.23/26.34	    
29.05/27.13	    num=394, depth=5..25, filters=3910048, ccks=225, wck=25.021, mem=94M414
29.05/27.13	    decisions=2306975, wrong=1150774, backtracks=1105610, failedAssignments=725827, nogoods=2840, foundSolutions=25, bestBound=3
29.05/27.13	    
30.05/28.11	    num=395, depth=5..25, filters=4056677, ccks=225, wck=25.998, mem=102M262
30.05/28.11	    decisions=2397746, wrong=1196154, backtracks=1149127, failedAssignments=753091, nogoods=2850, foundSolutions=25, bestBound=3
30.05/28.11	    
31.05/29.19	    num=396, depth=6..26, filters=4218559, ccks=225, wck=27.078, mem=107M494
31.05/29.19	    decisions=2499182, wrong=1246865, backtracks=1197720, failedAssignments=783081, nogoods=2860, foundSolutions=25, bestBound=3
31.05/29.19	    
32.34/30.49	    num=397, depth=5..24, filters=4430464, ccks=225, wck=28.381, mem=115M342
32.34/30.49	    decisions=2613226, wrong=1303881, backtracks=1252180, failedAssignments=816070, nogoods=2870, foundSolutions=25, bestBound=3
32.34/30.49	    
33.64/31.78	    num=398, depth=5..25, filters=4632371, ccks=225, wck=29.668, mem=125M806
33.64/31.78	    decisions=2735838, wrong=1365183, backtracks=1311091, failedAssignments=852358, nogoods=2880, foundSolutions=25, bestBound=3
33.64/31.78	    
35.14/33.21	    num=399, depth=5..25, filters=4857478, ccks=225, wck=31.101, mem=133M654
35.14/33.21	    decisions=2870134, wrong=1432326, backtracks=1375129, failedAssignments=892275, nogoods=2893, foundSolutions=25, bestBound=3
35.14/33.21	    
36.74/34.80	    num=400, depth=4..25, filters=5101707, ccks=225, wck=32.689, mem=144M118
36.74/34.80	    decisions=3017668, wrong=1506088, backtracks=1446111, failedAssignments=936184, nogoods=2899, foundSolutions=25, bestBound=3
36.74/34.80	    
38.48/36.57	    num=401, depth=5..25, filters=5378170, ccks=225, wck=34.457, mem=22M469
38.48/36.57	    decisions=3188504, wrong=1591500, backtracks=1527793, failedAssignments=984484, nogoods=2911, foundSolutions=25, bestBound=3
38.48/36.57	    
40.48/38.56	    num=402, depth=4..24, filters=5709890, ccks=225, wck=36.451, mem=35M549
40.48/38.56	    decisions=3373625, wrong=1684056, backtracks=1615570, failedAssignments=1037614, nogoods=2922, foundSolutions=25, bestBound=3
40.48/38.56	    
42.48/40.59	    num=403, depth=5..25, filters=6027277, ccks=225, wck=38.473, mem=48M629
42.48/40.59	    decisions=3572475, wrong=1783477, backtracks=1710445, failedAssignments=1096057, nogoods=2933, foundSolutions=25, bestBound=3
42.48/40.59	    
44.99/43.07	    num=404, depth=3..25, filters=6429262, ccks=225, wck=40.963, mem=64M325
44.99/43.07	    decisions=3806695, wrong=1900583, backtracks=1821702, failedAssignments=1160344, nogoods=2943, foundSolutions=25, bestBound=3
44.99/43.07	    
47.58/45.64	    num=405, depth=4..25, filters=6850089, ccks=225, wck=43.523, mem=80M21
47.58/45.64	    decisions=4056524, wrong=2025493, backtracks=1941212, failedAssignments=1231060, nogoods=2955, foundSolutions=25, bestBound=3
47.58/45.64	    
50.48/48.53	    num=406, depth=3..24, filters=7316860, ccks=225, wck=46.414, mem=98M333
50.48/48.53	    decisions=4338372, wrong=2166411, backtracks=2076111, failedAssignments=1308847, nogoods=2962, foundSolutions=25, bestBound=3
50.48/48.53	    
53.78/51.89	    num=407, depth=3..25, filters=7840619, ccks=225, wck=49.776, mem=116M645
53.78/51.89	    decisions=4653543, wrong=2323990, backtracks=2224125, failedAssignments=1394413, nogoods=2972, foundSolutions=25, bestBound=3
53.78/51.89	    
57.38/55.40	    num=408, depth=4..25, filters=8438721, ccks=225, wck=53.289, mem=137M573
57.38/55.40	    decisions=4997473, wrong=2495949, backtracks=2387483, failedAssignments=1488536, nogoods=2983, foundSolutions=25, bestBound=3
57.38/55.40	    
57.99/56.06	o 2
57.99/56.06	    num=409, depth=5..93, filters=8544305, ccks=234, wck=53.949, mem=142M805
57.99/56.06	    decisions=5059854, wrong=2527133, backtracks=2417505, failedAssignments=1507708, nogoods=2995, foundSolutions=26, bestBound=2
57.99/56.06	    
62.41/60.40	    num=410, depth=2..25, filters=9275308, ccks=234, wck=58.288, mem=35M646
62.41/60.40	    decisions=5510643, wrong=2752522, backtracks=2630806, failedAssignments=1621597, nogoods=3006, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.40	    num=411, depth=12..18, filters=9275353, ccks=234, wck=58.289, mem=35M646
62.41/60.40	    decisions=5510681, wrong=2752535, backtracks=2630818, failedAssignments=1621608, nogoods=3008, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.40	    num=412, depth=11..17, filters=9275420, ccks=234, wck=58.29, mem=35M646
62.41/60.40	    decisions=5510731, wrong=2752554, backtracks=2630833, failedAssignments=1621620, nogoods=3012, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.40	    num=413, depth=12..20, filters=9275486, ccks=234, wck=58.29, mem=35M646
62.41/60.40	    decisions=5510778, wrong=2752571, backtracks=2630848, failedAssignments=1621633, nogoods=3015, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.40	    num=414, depth=11..18, filters=9275542, ccks=234, wck=58.291, mem=35M646
62.41/60.40	    decisions=5510828, wrong=2752590, backtracks=2630859, failedAssignments=1621647, nogoods=3023, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.40	    num=415, depth=11..18, filters=9275613, ccks=234, wck=58.292, mem=35M646
62.41/60.40	    decisions=5510878, wrong=2752609, backtracks=2630872, failedAssignments=1621663, nogoods=3030, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.40	    num=416, depth=11..19, filters=9275687, ccks=234, wck=58.292, mem=35M646
62.41/60.40	    decisions=5510934, wrong=2752630, backtracks=2630890, failedAssignments=1621680, nogoods=3033, foundSolutions=26, bestBound=2
62.41/60.40	    
62.41/60.41	    num=417, depth=11..20, filters=9275785, ccks=234, wck=58.293, mem=35M646
62.41/60.41	    decisions=5511001, wrong=2752657, backtracks=2630913, failedAssignments=1621699, nogoods=3040, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=418, depth=11..19, filters=9275887, ccks=234, wck=58.294, mem=35M646
62.41/60.41	    decisions=5511068, wrong=2752684, backtracks=2630937, failedAssignments=1621720, nogoods=3043, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=419, depth=11..20, filters=9275987, ccks=234, wck=58.295, mem=35M646
62.41/60.41	    decisions=5511139, wrong=2752714, backtracks=2630966, failedAssignments=1621743, nogoods=3045, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=420, depth=10..20, filters=9276079, ccks=234, wck=58.297, mem=35M646
62.41/60.41	    decisions=5511212, wrong=2752745, backtracks=2630994, failedAssignments=1621768, nogoods=3048, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=421, depth=11..21, filters=9276200, ccks=234, wck=58.298, mem=35M646
62.41/60.41	    decisions=5511293, wrong=2752779, backtracks=2631024, failedAssignments=1621796, nogoods=3052, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=422, depth=11..21, filters=9276331, ccks=234, wck=58.299, mem=35M646
62.41/60.41	    decisions=5511383, wrong=2752818, backtracks=2631057, failedAssignments=1621827, nogoods=3060, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=423, depth=11..20, filters=9276471, ccks=234, wck=58.3, mem=35M646
62.41/60.41	    decisions=5511484, wrong=2752862, backtracks=2631097, failedAssignments=1621861, nogoods=3063, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.41	    num=424, depth=11..21, filters=9276635, ccks=234, wck=58.302, mem=35M646
62.41/60.41	    decisions=5511600, wrong=2752914, backtracks=2631146, failedAssignments=1621898, nogoods=3071, foundSolutions=26, bestBound=2
62.41/60.41	    
62.41/60.42	    num=425, depth=11..21, filters=9276822, ccks=234, wck=58.303, mem=35M646
62.41/60.42	    decisions=5511722, wrong=2752969, backtracks=2631196, failedAssignments=1621939, nogoods=3077, foundSolutions=26, bestBound=2
62.41/60.42	    
62.41/60.42	    num=426, depth=11..20, filters=9277032, ccks=234, wck=58.305, mem=35M646
62.41/60.42	    decisions=5511853, wrong=2753029, backtracks=2631255, failedAssignments=1621984, nogoods=3081, foundSolutions=26, bestBound=2
62.41/60.42	    
62.41/60.42	    num=427, depth=11..22, filters=9277238, ccks=234, wck=58.306, mem=35M646
62.41/60.42	    decisions=5511988, wrong=2753091, backtracks=2631315, failedAssignments=1622034, nogoods=3087, foundSolutions=26, bestBound=2
62.41/60.42	    
62.41/60.42	    num=428, depth=10..22, filters=9277469, ccks=234, wck=58.309, mem=35M646
62.41/60.42	    decisions=5512144, wrong=2753163, backtracks=2631377, failedAssignments=1622089, nogoods=3096, foundSolutions=26, bestBound=2
62.41/60.42	    
62.41/60.42	    num=429, depth=10..24, filters=9277748, ccks=234, wck=58.311, mem=35M646
62.41/60.42	    decisions=5512317, wrong=2753244, backtracks=2631454, failedAssignments=1622150, nogoods=3098, foundSolutions=26, bestBound=2
62.41/60.42	    
62.41/60.43	    num=430, depth=10..21, filters=9278038, ccks=234, wck=58.314, mem=35M646
62.41/60.43	    decisions=5512512, wrong=2753335, backtracks=2631538, failedAssignments=1622217, nogoods=3104, foundSolutions=26, bestBound=2
62.41/60.43	    
62.41/60.43	    num=431, depth=10..21, filters=9278386, ccks=234, wck=58.317, mem=35M646
62.41/60.43	    decisions=5512736, wrong=2753441, backtracks=2631635, failedAssignments=1622291, nogoods=3110, foundSolutions=26, bestBound=2
62.41/60.43	    
62.41/60.43	    num=432, depth=10..22, filters=9278738, ccks=234, wck=58.32, mem=35M646
62.41/60.43	    decisions=5512973, wrong=2753554, backtracks=2631742, failedAssignments=1622372, nogoods=3118, foundSolutions=26, bestBound=2
62.41/60.43	    
62.41/60.44	    num=433, depth=10..20, filters=9279164, ccks=234, wck=58.323, mem=35M646
62.41/60.44	    decisions=5513244, wrong=2753684, backtracks=2631866, failedAssignments=1622461, nogoods=3125, foundSolutions=26, bestBound=2
62.41/60.44	    
62.41/60.44	    num=434, depth=10..20, filters=9279598, ccks=234, wck=58.327, mem=35M646
62.41/60.44	    decisions=5513524, wrong=2753818, backtracks=2631995, failedAssignments=1622559, nogoods=3132, foundSolutions=26, bestBound=2
62.41/60.44	    
62.41/60.44	    num=435, depth=10..21, filters=9280107, ccks=234, wck=58.33, mem=35M646
62.41/60.44	    decisions=5513837, wrong=2753968, backtracks=2632143, failedAssignments=1622667, nogoods=3136, foundSolutions=26, bestBound=2
62.41/60.44	    
62.41/60.45	    num=436, depth=9..20, filters=9280638, ccks=234, wck=58.335, mem=35M646
62.41/60.45	    decisions=5514192, wrong=2754140, backtracks=2632304, failedAssignments=1622786, nogoods=3145, foundSolutions=26, bestBound=2
62.41/60.45	    
62.41/60.45	    num=437, depth=10..23, filters=9281246, ccks=234, wck=58.341, mem=35M646
62.41/60.45	    decisions=5514553, wrong=2754314, backtracks=2632470, failedAssignments=1622917, nogoods=3156, foundSolutions=26, bestBound=2
62.41/60.45	    
62.41/60.46	    num=438, depth=9..20, filters=9281971, ccks=234, wck=58.346, mem=35M646
62.41/60.46	    decisions=5515009, wrong=2754536, backtracks=2632677, failedAssignments=1623061, nogoods=3160, foundSolutions=26, bestBound=2
62.41/60.46	    
62.41/60.46	    num=439, depth=9..21, filters=9282653, ccks=234, wck=58.352, mem=35M646
62.41/60.46	    decisions=5515439, wrong=2754745, backtracks=2632880, failedAssignments=1623219, nogoods=3166, foundSolutions=26, bestBound=2
62.41/60.46	    
62.41/60.47	    num=440, depth=10..22, filters=9283540, ccks=234, wck=58.359, mem=35M646
62.41/60.47	    decisions=5515979, wrong=2755009, backtracks=2633121, failedAssignments=1623393, nogoods=3176, foundSolutions=26, bestBound=2
62.41/60.47	    
62.41/60.48	    num=441, depth=10..22, filters=9284442, ccks=234, wck=58.366, mem=35M646
62.41/60.48	    decisions=5516491, wrong=2755259, backtracks=2633364, failedAssignments=1623584, nogoods=3187, foundSolutions=26, bestBound=2
62.41/60.48	    
62.41/60.49	    num=442, depth=10..21, filters=9285521, ccks=234, wck=58.374, mem=35M646
62.41/60.49	    decisions=5517121, wrong=2755567, backtracks=2633656, failedAssignments=1623795, nogoods=3195, foundSolutions=26, bestBound=2
62.41/60.49	    
62.41/60.49	    num=443, depth=9..22, filters=9286528, ccks=234, wck=58.382, mem=35M646
62.41/60.49	    decisions=5517792, wrong=2755897, backtracks=2633973, failedAssignments=1624027, nogoods=3199, foundSolutions=26, bestBound=2
62.41/60.49	    
62.55/60.50	    num=444, depth=10..22, filters=9287590, ccks=234, wck=58.392, mem=35M646
62.55/60.50	    decisions=5518461, wrong=2756226, backtracks=2634294, failedAssignments=1624282, nogoods=3209, foundSolutions=26, bestBound=2
62.55/60.50	    
62.55/60.52	    num=445, depth=9..21, filters=9288828, ccks=234, wck=58.403, mem=35M646
62.55/60.52	    decisions=5519300, wrong=2756640, backtracks=2634689, failedAssignments=1624563, nogoods=3218, foundSolutions=26, bestBound=2
62.55/60.52	    
62.55/60.53	    num=446, depth=9..23, filters=9290191, ccks=234, wck=58.415, mem=35M646
62.55/60.53	    decisions=5520160, wrong=2757064, backtracks=2635098, failedAssignments=1624872, nogoods=3225, foundSolutions=26, bestBound=2
62.55/60.53	    
62.55/60.54	    num=447, depth=9..24, filters=9291762, ccks=234, wck=58.427, mem=35M646
62.55/60.54	    decisions=5521149, wrong=2757553, backtracks=2635573, failedAssignments=1625212, nogoods=3232, foundSolutions=26, bestBound=2
62.55/60.54	    
62.55/60.55	    num=448, depth=9..23, filters=9293537, ccks=234, wck=58.44, mem=35M646
62.55/60.55	    decisions=5522169, wrong=2758057, backtracks=2636064, failedAssignments=1625586, nogoods=3237, foundSolutions=26, bestBound=2
62.55/60.55	    
62.55/60.57	    num=449, depth=8..21, filters=9295525, ccks=234, wck=58.455, mem=38M271
62.55/60.57	    decisions=5523422, wrong=2758678, backtracks=2636654, failedAssignments=1625997, nogoods=3245, foundSolutions=26, bestBound=2
62.55/60.57	    
62.55/60.58	    num=450, depth=10..24, filters=9297592, ccks=234, wck=58.471, mem=38M271
62.55/60.58	    decisions=5524670, wrong=2759296, backtracks=2637261, failedAssignments=1626449, nogoods=3253, foundSolutions=26, bestBound=2
62.55/60.58	    
62.65/60.60	    num=451, depth=8..23, filters=9299509, ccks=234, wck=58.487, mem=38M271
62.65/60.60	    decisions=5526053, wrong=2759982, backtracks=2637926, failedAssignments=1626946, nogoods=3259, foundSolutions=26, bestBound=2
62.65/60.60	    
62.65/60.62	    num=452, depth=9..23, filters=9302069, ccks=234, wck=58.505, mem=38M271
62.65/60.62	    decisions=5527625, wrong=2760762, backtracks=2638683, failedAssignments=1627493, nogoods=3268, foundSolutions=26, bestBound=2
62.65/60.62	    
62.65/60.64	    num=453, depth=8..23, filters=9304970, ccks=234, wck=58.526, mem=38M271
62.65/60.64	    decisions=5529382, wrong=2761635, backtracks=2639530, failedAssignments=1628095, nogoods=3273, foundSolutions=26, bestBound=2
62.65/60.64	    
62.65/60.66	    num=454, depth=9..22, filters=9308136, ccks=234, wck=58.547, mem=38M271
62.65/60.66	    decisions=5531276, wrong=2762576, backtracks=2640443, failedAssignments=1628757, nogoods=3281, foundSolutions=26, bestBound=2
62.65/60.66	    
62.65/60.68	    num=455, depth=8..21, filters=9311320, ccks=234, wck=58.571, mem=38M271
62.65/60.68	    decisions=5533324, wrong=2763595, backtracks=2641432, failedAssignments=1629485, nogoods=3293, foundSolutions=26, bestBound=2
62.65/60.68	    
62.75/60.71	    num=456, depth=9..23, filters=9314806, ccks=234, wck=58.598, mem=38M271
62.75/60.71	    decisions=5535509, wrong=2764681, backtracks=2642501, failedAssignments=1630286, nogoods=3300, foundSolutions=26, bestBound=2
62.75/60.71	    
62.75/60.74	    num=457, depth=9..23, filters=9318956, ccks=234, wck=58.629, mem=38M271
62.75/60.74	    decisions=5538239, wrong=2766039, backtracks=2643814, failedAssignments=1631167, nogoods=3311, foundSolutions=26, bestBound=2
62.75/60.74	    
62.75/60.78	    num=458, depth=7..23, filters=9323765, ccks=234, wck=58.664, mem=38M271
62.75/60.78	    decisions=5541159, wrong=2767494, backtracks=2645203, failedAssignments=1632137, nogoods=3315, foundSolutions=26, bestBound=2
62.75/60.78	    
62.85/60.81	    num=459, depth=8..24, filters=9328579, ccks=234, wck=58.701, mem=38M271
62.85/60.81	    decisions=5544250, wrong=2769034, backtracks=2646677, failedAssignments=1633204, nogoods=3326, foundSolutions=26, bestBound=2
62.85/60.81	    
62.85/60.85	    num=460, depth=9..23, filters=9334163, ccks=234, wck=58.739, mem=38M271
62.85/60.85	    decisions=5547647, wrong=2770727, backtracks=2648328, failedAssignments=1634377, nogoods=3335, foundSolutions=26, bestBound=2
62.85/60.85	    
62.85/60.90	    num=461, depth=7..24, filters=9340286, ccks=234, wck=58.784, mem=38M271
62.85/60.90	    decisions=5551489, wrong=2772642, backtracks=2650178, failedAssignments=1635668, nogoods=3343, foundSolutions=26, bestBound=2
62.85/60.90	    
62.95/60.95	    num=462, depth=8..24, filters=9347634, ccks=234, wck=58.835, mem=40M897
62.95/60.95	    decisions=5555892, wrong=2774838, backtracks=2652296, failedAssignments=1637088, nogoods=3353, foundSolutions=26, bestBound=2
62.95/60.95	    
62.95/61.01	    num=463, depth=8..23, filters=9356024, ccks=234, wck=58.893, mem=40M897
62.95/61.01	    decisions=5560757, wrong=2777264, backtracks=2654612, failedAssignments=1638650, nogoods=3362, foundSolutions=26, bestBound=2
62.95/61.01	    
63.06/61.06	    num=464, depth=8..23, filters=9364566, ccks=234, wck=58.952, mem=40M897
63.06/61.06	    decisions=5565892, wrong=2779826, backtracks=2657074, failedAssignments=1640368, nogoods=3370, foundSolutions=26, bestBound=2
63.06/61.06	    
63.16/61.13	    num=465, depth=8..23, filters=9374618, ccks=234, wck=59.018, mem=40M897
63.16/61.13	    decisions=5571495, wrong=2782621, backtracks=2659768, failedAssignments=1642258, nogoods=3378, foundSolutions=26, bestBound=2
63.16/61.13	    
63.25/61.20	    num=466, depth=7..24, filters=9384804, ccks=234, wck=59.085, mem=40M897
63.25/61.20	    decisions=5577722, wrong=2785729, backtracks=2662754, failedAssignments=1644337, nogoods=3388, foundSolutions=26, bestBound=2
63.25/61.20	    
63.25/61.27	    num=467, depth=8..23, filters=9395503, ccks=234, wck=59.161, mem=40M897
63.25/61.27	    decisions=5584538, wrong=2789131, backtracks=2666010, failedAssignments=1646624, nogoods=3397, foundSolutions=26, bestBound=2
63.25/61.27	    
63.35/61.35	    num=468, depth=8..24, filters=9407996, ccks=234, wck=59.242, mem=43M522
63.35/61.35	    decisions=5591986, wrong=2792849, backtracks=2669602, failedAssignments=1649140, nogoods=3409, foundSolutions=26, bestBound=2
63.35/61.35	    
63.45/61.45	    num=469, depth=7..24, filters=9421314, ccks=234, wck=59.333, mem=43M522
63.45/61.45	    decisions=5600033, wrong=2796867, backtracks=2673488, failedAssignments=1651908, nogoods=3418, foundSolutions=26, bestBound=2
63.45/61.45	    
63.55/61.56	    num=470, depth=7..23, filters=9437017, ccks=234, wck=59.449, mem=43M522
63.55/61.56	    decisions=5609841, wrong=2801765, backtracks=2678194, failedAssignments=1654952, nogoods=3426, foundSolutions=26, bestBound=2
63.55/61.56	    
63.65/61.68	    num=471, depth=7..23, filters=9452968, ccks=234, wck=59.565, mem=46M147
63.65/61.68	    decisions=5619695, wrong=2806687, backtracks=2682962, failedAssignments=1658301, nogoods=3438, foundSolutions=26, bestBound=2
63.65/61.68	    
63.85/61.81	    num=472, depth=7..24, filters=9471473, ccks=234, wck=59.697, mem=46M147
63.85/61.81	    decisions=5631159, wrong=2812413, backtracks=2688424, failedAssignments=1661985, nogoods=3447, foundSolutions=26, bestBound=2
63.85/61.81	    
63.95/61.95	    num=473, depth=7..23, filters=9493185, ccks=234, wck=59.841, mem=46M147
63.95/61.95	    decisions=5644251, wrong=2818955, backtracks=2694687, failedAssignments=1666037, nogoods=3455, foundSolutions=26, bestBound=2
63.95/61.95	    
64.16/62.12	    num=474, depth=6..24, filters=9515432, ccks=234, wck=60.007, mem=48M772
64.16/62.12	    decisions=5657989, wrong=2825819, backtracks=2701277, failedAssignments=1670494, nogoods=3464, foundSolutions=26, bestBound=2
64.16/62.12	    
64.35/62.30	    num=475, depth=7..23, filters=9541041, ccks=234, wck=60.188, mem=48M772
64.35/62.30	    decisions=5673593, wrong=2833616, backtracks=2708693, failedAssignments=1675397, nogoods=3473, foundSolutions=26, bestBound=2
64.35/62.30	    
64.45/62.49	    num=476, depth=6..22, filters=9567504, ccks=234, wck=60.379, mem=48M772
64.45/62.49	    decisions=5690435, wrong=2842031, backtracks=2716717, failedAssignments=1680791, nogoods=3485, foundSolutions=26, bestBound=2
64.45/62.49	    
64.65/62.69	    num=477, depth=7..24, filters=9594363, ccks=234, wck=60.578, mem=51M398
64.65/62.69	    decisions=5708001, wrong=2850809, backtracks=2725167, failedAssignments=1686724, nogoods=3494, foundSolutions=26, bestBound=2
64.65/62.69	    
64.95/62.93	    num=478, depth=7..24, filters=9628341, ccks=234, wck=60.818, mem=54M23
64.95/62.93	    decisions=5729247, wrong=2861426, backtracks=2735426, failedAssignments=1693250, nogoods=3503, foundSolutions=26, bestBound=2
64.95/62.93	    
65.16/63.19	    num=479, depth=6..24, filters=9668743, ccks=234, wck=61.08, mem=54M23
65.16/63.19	    decisions=5752914, wrong=2873254, backtracks=2746758, failedAssignments=1700429, nogoods=3512, foundSolutions=26, bestBound=2
65.16/63.19	    
65.45/63.48	    num=480, depth=6..23, filters=9708097, ccks=234, wck=61.365, mem=56M648
65.45/63.48	    decisions=5778232, wrong=2885907, backtracks=2758844, failedAssignments=1708326, nogoods=3519, foundSolutions=26, bestBound=2
65.45/63.48	    
65.85/63.80	    num=481, depth=6..24, filters=9753783, ccks=234, wck=61.691, mem=56M648
65.85/63.80	    decisions=5805972, wrong=2899772, backtracks=2772012, failedAssignments=1717013, nogoods=3527, foundSolutions=26, bestBound=2
65.85/63.80	    
66.16/64.14	    num=482, depth=6..24, filters=9805100, ccks=234, wck=62.032, mem=59M273
66.16/64.14	    decisions=5837082, wrong=2915321, backtracks=2786821, failedAssignments=1726568, nogoods=3538, foundSolutions=26, bestBound=2
66.16/64.14	    
66.55/64.53	    num=483, depth=5..23, filters=9865269, ccks=234, wck=62.419, mem=61M899
66.55/64.53	    decisions=5873244, wrong=2933397, backtracks=2803984, failedAssignments=1737079, nogoods=3551, foundSolutions=26, bestBound=2
66.55/64.53	    
66.95/64.95	    num=484, depth=5..24, filters=9927355, ccks=234, wck=62.842, mem=64M524
66.95/64.95	    decisions=5912041, wrong=2952791, backtracks=2822389, failedAssignments=1748641, nogoods=3558, foundSolutions=26, bestBound=2
66.95/64.95	    
67.45/65.43	    num=485, depth=6..25, filters=9996825, ccks=234, wck=63.322, mem=67M149
67.45/65.43	    decisions=5955227, wrong=2974378, backtracks=2843005, failedAssignments=1761359, nogoods=3568, foundSolutions=26, bestBound=2
67.45/65.43	    
67.95/65.95	    num=486, depth=6..24, filters=10078643, ccks=234, wck=63.836, mem=69M774
67.95/65.95	    decisions=6002554, wrong=2998036, backtracks=2865671, failedAssignments=1775349, nogoods=3580, foundSolutions=26, bestBound=2
67.95/65.95	    
68.55/66.55	    num=487, depth=5..23, filters=10165008, ccks=234, wck=64.441, mem=75M25
68.55/66.55	    decisions=6057212, wrong=3025359, backtracks=2891545, failedAssignments=1790738, nogoods=3590, foundSolutions=26, bestBound=2
68.55/66.55	    
69.16/67.18	    num=488, depth=5..24, filters=10263292, ccks=234, wck=65.068, mem=77M650
69.16/67.18	    decisions=6116386, wrong=3054940, backtracks=2919766, failedAssignments=1807666, nogoods=3592, foundSolutions=26, bestBound=2
69.16/67.18	    
69.95/67.92	    num=489, depth=4..24, filters=10368704, ccks=234, wck=65.807, mem=82M900
69.95/67.92	    decisions=6184529, wrong=3089006, backtracks=2952124, failedAssignments=1826287, nogoods=3602, foundSolutions=26, bestBound=2
69.95/67.92	    
70.65/68.64	    num=490, depth=6..25, filters=10469442, ccks=234, wck=66.526, mem=85M526
70.65/68.64	    decisions=6251208, wrong=3122341, backtracks=2983997, failedAssignments=1846771, nogoods=3610, foundSolutions=26, bestBound=2
70.65/68.64	    
71.55/69.51	    num=491, depth=4..24, filters=10595961, ccks=234, wck=67.401, mem=90M776
71.55/69.51	    decisions=6330678, wrong=3162071, backtracks=3021790, failedAssignments=1869303, nogoods=3619, foundSolutions=26, bestBound=2
71.55/69.51	    
72.45/70.47	    num=492, depth=4..23, filters=10737939, ccks=234, wck=68.355, mem=96M27
72.45/70.47	    decisions=6418396, wrong=3205924, backtracks=3063338, failedAssignments=1894088, nogoods=3627, foundSolutions=26, bestBound=2
72.45/70.47	    
73.45/71.45	    num=493, depth=5..26, filters=10882161, ccks=234, wck=69.341, mem=101M277
73.45/71.45	    decisions=6509666, wrong=3251554, backtracks=3107049, failedAssignments=1921352, nogoods=3637, foundSolutions=26, bestBound=2
73.45/71.45	    
74.65/72.61	    num=494, depth=4..23, filters=11056496, ccks=234, wck=70.503, mem=109M153
74.65/72.61	    decisions=6617950, wrong=3305692, backtracks=3158526, failedAssignments=1951342, nogoods=3648, foundSolutions=26, bestBound=2
74.65/72.61	    
75.85/73.88	    num=495, depth=5..25, filters=11246330, ccks=234, wck=71.767, mem=114M403
75.85/73.88	    decisions=6734713, wrong=3364068, backtracks=3214199, failedAssignments=1984331, nogoods=3660, foundSolutions=26, bestBound=2
75.85/73.88	    
77.35/75.38	    num=496, depth=4..24, filters=11473090, ccks=234, wck=73.267, mem=122M279
77.35/75.38	    decisions=6868232, wrong=3430821, backtracks=3277709, failedAssignments=2020619, nogoods=3665, foundSolutions=26, bestBound=2
77.35/75.38	    
78.98/76.94	    num=497, depth=4..24, filters=11707429, ccks=234, wck=74.824, mem=132M780
78.98/76.94	    decisions=7011498, wrong=3502448, backtracks=3345769, failedAssignments=2060536, nogoods=3675, foundSolutions=26, bestBound=2
78.98/76.94	    
80.68/78.65	    num=498, depth=4..24, filters=11972189, ccks=234, wck=76.535, mem=140M656
80.68/78.65	    decisions=7169337, wrong=3581363, backtracks=3420428, failedAssignments=2104445, nogoods=3685, foundSolutions=26, bestBound=2
80.68/78.65	    
82.49/80.49	    num=499, depth=4..24, filters=12250612, ccks=234, wck=78.382, mem=151M157
82.49/80.49	    decisions=7343980, wrong=3668680, backtracks=3503219, failedAssignments=2152745, nogoods=3694, foundSolutions=26, bestBound=2
82.49/80.49	    
84.61/82.59	    num=500, depth=3..24, filters=12576023, ccks=234, wck=80.477, mem=30M383
84.61/82.59	    decisions=7547700, wrong=3770534, backtracks=3599462, failedAssignments=2205875, nogoods=3704, foundSolutions=26, bestBound=2
84.61/82.59	    
87.12/85.06	    num=501, depth=3..24, filters=12944890, ccks=234, wck=82.948, mem=43M331
87.12/85.06	    decisions=7768129, wrong=3880744, backtracks=3704247, failedAssignments=2264318, nogoods=3709, foundSolutions=26, bestBound=2
87.12/85.06	    
89.51/87.48	    num=502, depth=3..24, filters=13336123, ccks=234, wck=85.369, mem=56M278
89.51/87.48	    decisions=8011649, wrong=4002499, backtracks=3819434, failedAssignments=2328605, nogoods=3718, foundSolutions=26, bestBound=2
89.51/87.48	    
92.51/90.41	    num=503, depth=3..25, filters=13766308, ccks=234, wck=88.301, mem=71M815
92.51/90.41	    decisions=8280644, wrong=4136991, backtracks=3946478, failedAssignments=2399321, nogoods=3727, foundSolutions=26, bestBound=2
92.51/90.41	    
95.71/93.67	    num=504, depth=3..24, filters=14258978, ccks=234, wck=91.559, mem=87M352
95.71/93.67	    decisions=8583526, wrong=4288427, backtracks=4089532, failedAssignments=2477108, nogoods=3739, foundSolutions=26, bestBound=2
95.71/93.67	    
99.41/97.38	    num=505, depth=2..24, filters=14801014, ccks=234, wck=95.268, mem=105M478
99.41/97.38	    decisions=8933313, wrong=4463315, backtracks=4254505, failedAssignments=2562674, nogoods=3747, foundSolutions=26, bestBound=2
99.41/97.38	    
103.41/101.38	    num=506, depth=2..26, filters=15407506, ccks=234, wck=99.269, mem=126M194
103.41/101.38	    decisions=9306365, wrong=4649835, backtracks=4430807, failedAssignments=2656797, nogoods=3757, foundSolutions=26, bestBound=2
103.41/101.38	    
107.62/105.58	    num=507, depth=3..24, filters=16048260, ccks=234, wck=103.47, mem=146M910
107.62/105.58	    decisions=9720099, wrong=4856698, backtracks=4626259, failedAssignments=2760332, nogoods=3767, foundSolutions=26, bestBound=2
107.62/105.58	    
112.66/110.50	    num=508, depth=2..24, filters=16811136, ccks=234, wck=108.39, mem=40M413
112.66/110.50	    decisions=10190195, wrong=5091741, backtracks=4849540, failedAssignments=2874221, nogoods=3778, foundSolutions=26, bestBound=2
112.66/110.50	    
118.27/116.18	    num=509, depth=2..25, filters=17644935, ccks=234, wck=114.073, mem=68M479
118.27/116.18	    decisions=10704387, wrong=5348833, backtracks=5092907, failedAssignments=2999499, nogoods=3791, foundSolutions=26, bestBound=2
118.27/116.18	    
124.66/122.52	    num=510, depth=1..25, filters=18561749, ccks=234, wck=120.41, mem=93M994
124.66/122.52	    decisions=11299627, wrong=5646449, backtracks=5371477, failedAssignments=3137305, nogoods=3801, foundSolutions=26, bestBound=2
124.66/122.52	    
131.77/129.60	    num=511, depth=1..25, filters=19617091, ccks=234, wck=127.486, mem=127M164
131.77/129.60	    decisions=11962588, wrong=5977927, backtracks=5685380, failedAssignments=3288891, nogoods=3812, foundSolutions=26, bestBound=2
131.77/129.60	    
140.10/137.94	    num=512, depth=0..25, filters=20800509, ccks=234, wck=135.832, mem=32M570
140.10/137.94	    decisions=12721268, wrong=6357262, backtracks=6041907, failedAssignments=3455636, nogoods=3822, foundSolutions=26, bestBound=2
140.10/137.94	    
142.31/140.15	
142.31/140.15	  New Bounds: 2..1
142.31/140.15	    num=513, depth=0..23, filters=21103108, ccks=234, wck=138.037, mem=40M106
142.31/140.15	    decisions=12912516, wrong=6452887, backtracks=6132360, failedAssignments=3493195, foundSolutions=26, bestBound=2
142.31/140.15	    
142.31/140.15	  Global
142.31/140.15	    filters=21103108, ccks=234
142.31/140.15	    Stop=FULL_EXPLORATION, wrong=6452887, bestBound=2, bestBoundWck=54.213, bestBoundCpu=55.984, foundSolutions=26, firstSolCpu=2.098
142.31/140.15	    wck=138.302, cpu=140.025, mem=40M106
142.31/140.15	
142.31/140.15	v <instantiation id='sol26' type='solution' cost='2'>  <list> x[] </list>  <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 </values>  </instantiation>
142.31/140.15	s OPTIMUM FOUND
142.31/140.15	
142.31/140.15	d WRONG_DECISIONS 6452887
142.31/140.15	d NUMBER_SOLUTIONS 26

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391242-1568390570/watcher-4391242-1568390570 -o /tmp/evaluation-result-4391242-1568390570/solver-4391242-1568390570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568390528-21321 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391242-1568390570.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=21340, runsolver pid=21337
Current StackSize limit: 8192 KiB


[startup+0.10017 s]*
/proc/loadavg: 1.00 0.99 1.06 4/228 21379
/proc/meminfo: memFree=31201328/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10659884 memory=29392 CPUtime=0.13 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 5861 0 0 0 12 1 0 0 20 0 15 0 415323889 10915721216 7348 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2664971 7348 2901 1 0 2627468 0
[pid=21340/tid=21342] ppid=21337 vsize=10659884 memory=7900017517374083699 CPUtime=0.08 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) R 21337 21340 19747 0 -1 4202560 3331 0 0 0 8 0 0 0 20 0 15 0 415323889 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913791748296 139913409439990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10659884 memory=4211973962557656458 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913090860576 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913089807728 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0.02 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) R 21337 21340 19747 0 -1 4202560 514 0 0 0 2 0 0 0 20 0 15 0 415323895 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913085594488 139913766474998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 7348 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29392 KiB

[startup+0.210805 s]*
/proc/loadavg: 1.00 0.99 1.06 4/228 21380
/proc/meminfo: memFree=31185456/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10659884 memory=34888 CPUtime=0.33 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 6818 0 0 0 31 2 0 0 20 0 15 0 415323889 10915721216 8722 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2664971 8722 2991 1 0 2627468 0
[pid=21340/tid=21342] ppid=21337 vsize=10659884 memory=7900017517374083699 CPUtime=0.2 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) R 21337 21340 19747 0 -1 4202560 3905 0 0 0 19 1 0 0 20 0 15 0 415323889 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913791750752 139913787540637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10659884 memory=4211973962557656458 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913090860576 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913089807728 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 633 0 0 0 3 0 0 0 20 0 15 0 415323895 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 415323895 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0.05 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) S 21337 21340 19747 0 -1 1077944384 594 0 0 0 5 0 0 0 20 0 15 0 415323895 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913085597808 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 8722 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34888 KiB

[startup+0.310184 s]*
/proc/loadavg: 1.00 0.99 1.06 3/228 21380
/proc/meminfo: memFree=31177128/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10659884 memory=40072 CPUtime=0.47 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 9362 0 0 0 44 3 0 0 20 0 15 0 415323889 10915721216 10018 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2664971 10018 3003 1 0 2627468 0
[pid=21340/tid=21342] ppid=21337 vsize=10659884 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) R 21337 21340 19747 0 -1 4202560 6363 0 0 0 27 2 0 0 20 0 15 0 415323889 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913791750512 139913787540637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10659884 memory=140236352865920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10659884 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913090860576 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323892 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913089807728 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 647 0 0 0 4 0 0 0 20 0 15 0 415323895 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 15 0 415323895 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10659884 memory=140236768189809 CPUtime=0.07 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) R 21337 21340 19747 0 -1 4202560 623 0 0 0 7 0 0 0 20 0 15 0 415323895 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913085593536 139913765619345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10659884 memory=280472605274096 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323895 10915721216 10018 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40072 KiB

[startup+0.700721 s]
/proc/loadavg: 1.00 0.99 1.06 3/228 21380
/proc/meminfo: memFree=31156452/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10661932 memory=62668 CPUtime=1.07 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 12742 0 0 0 102 5 0 0 20 0 15 0 415323889 10917818368 15667 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2665483 15667 3073 1 0 2627980 0
[pid=21340/tid=21342] ppid=21337 vsize=10661932 memory=1376 CPUtime=0.67 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) R 21337 21340 19747 0 -1 4202560 8926 0 0 0 63 4 0 0 20 0 15 0 415323889 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913791741792 139913771599198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10661932 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323890 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10661932 memory=6296683612655145309 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10661932 memory=7955443078088780396 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10661932 memory=5787782378022856021 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323892 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415323892 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913090860576 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415323892 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913089807728 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) R 21337 21340 19747 0 -1 4202560 875 0 0 0 10 0 0 0 20 0 15 0 415323895 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913087703408 139913771807489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10661932 memory=231942393980611 CPUtime=0.09 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 592 0 0 0 9 0 0 0 20 0 15 0 415323895 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10661932 memory=3545520603459238882 CPUtime=0.18 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) S 21337 21340 19747 0 -1 1077944384 991 0 0 0 18 0 0 0 20 0 15 0 415323895 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913085597808 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415323895 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323895 10917818368 15667 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62668 KiB

[startup+1.50074 s]
/proc/loadavg: 1.00 0.99 1.06 3/228 21380
/proc/meminfo: memFree=31120540/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10663980 memory=75148 CPUtime=1.98 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 16765 0 0 0 192 6 0 0 20 0 15 0 415323889 10919915520 18787 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2665995 18787 3094 1 0 2628492 0
[pid=21340/tid=21342] ppid=21337 vsize=10663980 memory=6943526294502006880 CPUtime=1.47 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) R 21337 21340 19747 0 -1 4202560 11788 0 0 0 142 5 0 0 20 0 15 0 415323889 10919915520 18787 33554432000 4194304 4196468 140726694224896 139913791750736 139913787540637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10919915520 18787 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10663980 memory=280472504811456 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415323890 10919915520 18787 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10663980 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10919915520 18787 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10663980 memory=15537410121403872 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415323890 10919915520 18787 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415323892 10919915520 18787 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0

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

[startup+139.201 s]
/proc/loadavg: 1.70 1.31 1.17 3/230 21630
/proc/meminfo: memFree=30780312/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10746276 memory=235384 CPUtime=141.4 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 45762 0 0 0 14123 17 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2686569 58846 3375 1 0 2646705 0
[pid=21340/tid=21342] ppid=21337 vsize=10746276 memory=3620 CPUtime=1.85 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) S 21337 21340 19747 0 -1 1077944384 13912 0 0 0 179 6 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913791761584 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10746276 memory=38668 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 1168 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10746276 memory=239480 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1249 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10746276 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 1401 0 0 0 6 1 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10746276 memory=38668 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 1752 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10746276 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 1825 0 0 0 1 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10746276 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913090860640 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10746276 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913089807744 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10746276 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10746276 memory=235384 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 3946 0 0 0 72 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10746276 memory=235384 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 5194 0 0 0 71 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10746276 memory=3620 CPUtime=0.53 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) S 21337 21340 19747 0 -1 1077944384 4498 0 0 0 53 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913085597808 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10746276 memory=38668 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10746276 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 422 0 0 0 1 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21381] ppid=21337 vsize=10746276 memory=2004 CPUtime=137.2 cores=1,3,5,7
/proc/21340/task/21381/stat : 21381 (java) R 21337 21340 19747 0 -1 4202560 8955 0 0 0 13717 3 0 0 20 0 16 0 415324077 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913066418384 139913413083016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 141.4 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235384 KiB

[startup+139.601 s]
/proc/loadavg: 1.70 1.31 1.17 3/230 21630
/proc/meminfo: memFree=30780312/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10746276 memory=235384 CPUtime=141.8 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 45763 0 0 0 14163 17 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2686569 58846 3375 1 0 2646705 0
[pid=21340/tid=21342] ppid=21337 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) S 21337 21340 19747 0 -1 1077944384 13912 0 0 0 179 6 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913791761584 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10746276 memory=237624 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 1168 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10746276 memory=1732 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1249 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10746276 memory=8317482817917895235 CPUtime=0.07 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 1401 0 0 0 6 1 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10746276 memory=-7003737579269690708 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 1752 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10746276 memory=804 CPUtime=0.01 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 1825 0 0 0 1 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913090860640 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10746276 memory=920 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913089807744 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10746276 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10746276 memory=4108 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 3946 0 0 0 72 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10746276 memory=2612 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 5194 0 0 0 71 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10746276 memory=2300 CPUtime=0.53 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) S 21337 21340 19747 0 -1 1077944384 4498 0 0 0 53 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913085597808 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10746276 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10746276 memory=2960 CPUtime=0.02 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 422 0 0 0 1 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21381] ppid=21337 vsize=10746276 memory=235384 CPUtime=137.6 cores=1,3,5,7
/proc/21340/task/21381/stat : 21381 (java) R 21337 21340 19747 0 -1 4202560 8956 0 0 0 13757 3 0 0 20 0 16 0 415324077 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913066418384 139913413356717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 141.8 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235384 KiB

[startup+140.001 s]*
/proc/loadavg: 1.70 1.31 1.17 3/230 21630
/proc/meminfo: memFree=30780188/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10746276 memory=235384 CPUtime=142.21 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 45772 0 0 0 14204 17 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2686569 58846 3375 1 0 2646705 0
[pid=21340/tid=21342] ppid=21337 vsize=10746276 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) S 21337 21340 19747 0 -1 1077944384 13912 0 0 0 179 6 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913791761584 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10746276 memory=-7003737579269690708 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 1168 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10746276 memory=38668 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1249 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10746276 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 1401 0 0 0 6 1 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10746276 memory=2004 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 1752 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10746276 memory=1376 CPUtime=0.01 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 1825 0 0 0 1 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10746276 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913090860640 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10746276 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913089807744 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10746276 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10746276 memory=5840 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 3950 0 0 0 72 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10746276 memory=10484 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 5196 0 0 0 71 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10746276 memory=716 CPUtime=0.53 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) S 21337 21340 19747 0 -1 1077944384 4500 0 0 0 53 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913085597808 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10746276 memory=780 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10746276 memory=1552 CPUtime=0.02 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 422 0 0 0 1 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21381] ppid=21337 vsize=10746276 memory=2832 CPUtime=138.01 cores=1,3,5,7
/proc/21340/task/21381/stat : 21381 (java) R 21337 21340 19747 0 -1 4202560 8957 0 0 0 13798 3 0 0 20 0 16 0 415324077 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913066418384 139913413356659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 142.21 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235384 KiB

[startup+140.11 s]
/proc/loadavg: 1.70 1.31 1.17 3/230 21630
/proc/meminfo: memFree=30780188/32770624 swapFree=66966948/67108860
[pid=21340] ppid=21337 vsize=10746276 memory=235384 CPUtime=142.31 cores=1,3,5,7
/proc/21340/stat : 21340 (java) S 21337 21340 19747 0 -1 1077944320 45772 0 0 0 14214 17 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 140726694207440 139913787518711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
/proc/21340/statm: 2686569 58846 3375 1 0 2646705 0
[pid=21340/tid=21342] ppid=21337 vsize=10746276 memory=235384 CPUtime=1.85 cores=1,3,5,7
/proc/21340/task/21342/stat : 21342 (java) S 21337 21340 19747 0 -1 1077944384 13912 0 0 0 179 6 0 0 20 0 16 0 415323889 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913791761584 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21344] ppid=21337 vsize=10746276 memory=235384 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21344/stat : 21344 (java) S 21337 21340 19747 0 -1 1077944384 1168 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913729522320 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21345] ppid=21337 vsize=10746276 memory=235384 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21345/stat : 21345 (java) S 21337 21340 19747 0 -1 1077944384 1249 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913728469520 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21346] ppid=21337 vsize=10746276 memory=239484 CPUtime=0.07 cores=1,3,5,7
/proc/21340/task/21346/stat : 21346 (java) S 21337 21340 19747 0 -1 1077944384 1401 0 0 0 6 1 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913392347536 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21347] ppid=21337 vsize=10746276 memory=239480 CPUtime=0.06 cores=1,3,5,7
/proc/21340/task/21347/stat : 21347 (java) S 21337 21340 19747 0 -1 1077944384 1752 0 0 0 6 0 0 0 20 0 16 0 415323890 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913391294736 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21352] ppid=21337 vsize=10746276 memory=235384 CPUtime=0.01 cores=1,3,5,7
/proc/21340/task/21352/stat : 21352 (java) S 21337 21340 19747 0 -1 1077944384 1825 0 0 0 1 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913091914608 139913787529858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21358] ppid=21337 vsize=10746276 memory=232048 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21358/stat : 21358 (java) S 21337 21340 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913090860640 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21359] ppid=21337 vsize=10746276 memory=238220 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21359/stat : 21359 (java) S 21337 21340 19747 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 415323892 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913089807744 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21366] ppid=21337 vsize=10746276 memory=238220 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21366/stat : 21366 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913088756048 139913787537307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21367] ppid=21337 vsize=10746276 memory=1 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21367/stat : 21367 (java) S 21337 21340 19747 0 -1 1077944384 3950 0 0 0 72 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913087703408 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21368] ppid=21337 vsize=10746276 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/21340/task/21368/stat : 21368 (java) S 21337 21340 19747 0 -1 1077944384 5196 0 0 0 71 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913086650608 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21369] ppid=21337 vsize=10746276 memory=235384 CPUtime=0.53 cores=1,3,5,7
/proc/21340/task/21369/stat : 21369 (java) S 21337 21340 19747 0 -1 1077944384 4500 0 0 0 53 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913085597808 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21370] ppid=21337 vsize=10746276 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/21340/task/21370/stat : 21370 (java) S 21337 21340 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913084545248 139913787528917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21372] ppid=21337 vsize=10746276 memory=780 CPUtime=0.02 cores=1,3,5,7
/proc/21340/task/21372/stat : 21372 (java) S 21337 21340 19747 0 -1 1077944384 422 0 0 0 1 1 0 0 20 0 16 0 415323895 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913083493552 139913787529858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
[pid=21340/tid=21381] ppid=21337 vsize=10746276 memory=1552 CPUtime=138.11 cores=1,3,5,7
/proc/21340/task/21381/stat : 21381 (java) R 21337 21340 19747 0 -1 4202560 8957 0 0 0 13808 3 0 0 20 0 16 0 415324077 11004186624 58846 33554432000 4194304 4196468 140726694224896 139913066418384 139913413356818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140726694229003 140726694229106 140726694229106 140726694232015 0
Current children cumulated CPU time: 142.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 235384 KiB

Child status: 0
Real time (s): 140.162
CPU time (s): 142.375
CPU user time (s): 142.198
CPU system time (s): 0.177108
CPU usage (%): 101.579
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 241304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.198
system time used= 0.177108
maximum resident set size= 241304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5638
involuntary context switches= 236


# summary of solver processes directly reported to runsolver:
#   pid: 21340
#   total CPU time (s): 142.375
#   total CPU user time (s): 142.198
#   total CPU system time (s): 0.177108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.904017 second user time and 1.18084 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-13 18:02:08
IDJOB=4391242
IDBENCH=135491
IDSOLVER=2833
FILE ID=node125/4391242-1568390570
RUNJOBID= node125-1568390528-21321
PBS_JOBID= 21701839
Free space on /tmp= 59780 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-marketSplit/Pb-msplit-opt-4-30-3.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391242-1568390570/watcher-4391242-1568390570 -o /tmp/evaluation-result-4391242-1568390570/solver-4391242-1568390570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568390528-21321 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391242-1568390570.xml -cm

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

MD5SUM BENCH= caf7afe645c801dd46bb53c517bf0cee
RANDOM SEED=155676848

node125.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.29
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.29
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.29
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.29
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:        31236304 kB
MemAvailable:   31883388 kB
Buffers:          100740 kB
Cached:           845068 kB
SwapCached:        38260 kB
Active:           442208 kB
Inactive:         546748 kB
Active(anon):      21052 kB
Inactive(anon):    61836 kB
Active(file):     421156 kB
Inactive(file):   484912 kB
Unevictable:      106848 kB
Mlocked:          106848 kB
SwapTotal:      67108860 kB
SwapFree:       66966948 kB
Dirty:             11328 kB
Writeback:             0 kB
AnonPages:        113216 kB
Mapped:            43528 kB
Shmem:             31180 kB
Slab:             141968 kB
SReclaimable:     113704 kB
SUnreclaim:        28264 kB
KernelStack:        3392 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59760 MiB
End job on node125 at 2019-09-13 18:04:28