Trace number 4391243

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 86.6801 84.4678

DiagnosticValue
WRONG_DECISIONS4433330

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-marketSplit/
Pb-msplit-opt-4-30-1.xml
MD5SUM0b293698762add7ba6ae5db7003c937f
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 benchmark82.7391
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":2},{"degree":8,"count":28}]
Minimum constraint arity45
Maximum constraint arity46
Distribution of constraint arities[{"arity":45,"count":4},{"arity":46,"count":4}]
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.40/1.88	
2.40/1.88	AbsCon 2 
2.63/1.90	
2.63/2.01	  Instance
2.63/2.01	    name=instance-4391243-1568390571, framework=COP, bounds=-infty..+infty
2.63/2.01	
2.63/2.01	  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.04	[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.09	
2.88/2.09	
2.88/2.09	  Domains
2.88/2.09	    nTypes=1, nValues=188, sizes=[2#94]
2.88/2.09	  Variables
2.88/2.09	    count=94, degrees=[3#64,6#2,8#28]
2.88/2.09	  Objectives
2.88/2.09	    way=min, type=SumWeightedLE
2.88/2.09	  Constraints
2.88/2.09	    count=9, nSpecific=9, arities=[45#4,46#4,64#1]
2.88/2.09	    distribution=[SumWeightedGE#8,SumWeightedLE#1]
2.88/2.09	    wck=0.233, cpu=2.046, mem=18M585
2.88/2.09	  Solver SolverBacktrack being built...
2.88/2.09	
3.15/2.11	
3.15/2.11	  Solver
3.15/2.11	    guaranteedGAC=true
3.15/2.11	    wck=0.262, cpu=2.074, mem=29M227
3.15/2.12	
3.15/2.12	  Preprocessing
3.15/2.12	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.15/2.12	    wck=0.001, cpu=2.076, mem=29M227
3.15/2.12	
3.15/2.13	    num=0, depth=76..85, filters=24, wck=0.013, mem=29M227
3.15/2.13	    decisions=96, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.15/2.13	    
3.15/2.14	o 749
3.15/2.15	    num=1, depth=25..93, filters=45, ccks=9, wck=0.032, mem=31M870
3.15/2.15	    decisions=145, wrong=12, backtracks=1, failedAssignments=11, nogoods=11, foundSolutions=1, bestBound=749
3.15/2.15	    
3.15/2.15	o 734
3.15/2.15	    num=2, depth=95..93, filters=68, ccks=18, wck=0.036, mem=31M870
3.15/2.15	    decisions=184, wrong=12, backtracks=1, failedAssignments=11, nogoods=11, foundSolutions=2, bestBound=734
3.15/2.15	    
3.15/2.15	o 672
3.15/2.15	    num=3, depth=40..93, filters=96, ccks=27, wck=0.04, mem=31M870
3.15/2.15	    decisions=226, wrong=13, backtracks=1, failedAssignments=12, nogoods=12, foundSolutions=3, bestBound=672
3.15/2.15	    
3.15/2.16	o 659
3.15/2.16	    num=4, depth=17..93, filters=136, ccks=36, wck=0.043, mem=31M870
3.15/2.16	    decisions=274, wrong=17, backtracks=1, failedAssignments=16, nogoods=16, foundSolutions=4, bestBound=659
3.15/2.16	    
3.15/2.16	o 614
3.15/2.16	    num=5, depth=17..93, filters=157, ccks=45, wck=0.046, mem=31M870
3.15/2.16	    decisions=315, wrong=18, backtracks=1, failedAssignments=17, nogoods=17, foundSolutions=5, bestBound=614
3.15/2.16	    
3.15/2.16	o 587
3.15/2.16	    num=6, depth=95..93, filters=179, ccks=54, wck=0.049, mem=31M870
3.15/2.16	    decisions=353, wrong=18, backtracks=1, failedAssignments=17, nogoods=17, foundSolutions=6, bestBound=587
3.15/2.16	    
3.15/2.17	o 542
3.15/2.17	    num=7, depth=19..93, filters=211, ccks=63, wck=0.051, mem=31M870
3.15/2.17	    decisions=399, wrong=20, backtracks=1, failedAssignments=19, nogoods=19, foundSolutions=7, bestBound=542
3.15/2.17	    
3.15/2.17	o 506
3.15/2.17	    num=8, depth=20..93, filters=249, ccks=72, wck=0.053, mem=31M870
3.15/2.17	    decisions=441, wrong=22, backtracks=1, failedAssignments=21, nogoods=21, foundSolutions=8, bestBound=506
3.15/2.17	    
3.15/2.17	o 491
3.15/2.17	    num=9, depth=16..93, filters=287, ccks=81, wck=0.055, mem=31M870
3.15/2.17	    decisions=483, wrong=25, backtracks=1, failedAssignments=24, nogoods=24, foundSolutions=9, bestBound=491
3.15/2.17	    
3.15/2.17	o 375
3.15/2.17	    num=10, depth=16..93, filters=358, ccks=90, wck=0.057, mem=31M870
3.15/2.17	    decisions=549, wrong=38, backtracks=9, failedAssignments=33, nogoods=29, foundSolutions=10, bestBound=375
3.15/2.17	    
3.15/2.18	    num=11, depth=15..30, filters=508, ccks=90, wck=0.06, mem=31M870
3.15/2.18	    decisions=626, wrong=68, backtracks=30, failedAssignments=44, nogoods=33, foundSolutions=10, bestBound=375
3.15/2.18	    
3.15/2.18	o 362
3.15/2.18	    num=12, depth=16..93, filters=592, ccks=99, wck=0.062, mem=31M870
3.15/2.18	    decisions=688, wrong=81, backtracks=36, failedAssignments=52, nogoods=40, foundSolutions=11, bestBound=362
3.15/2.18	    
3.15/2.18	o 348
3.15/2.18	    num=13, depth=23..93, filters=631, ccks=108, wck=0.064, mem=31M870
3.15/2.18	    decisions=747, wrong=86, backtracks=37, failedAssignments=56, nogoods=44, foundSolutions=12, bestBound=348
3.15/2.18	    
3.15/2.18	o 341
3.15/2.18	    num=14, depth=17..93, filters=658, ccks=117, wck=0.065, mem=31M870
3.15/2.18	    decisions=787, wrong=87, backtracks=37, failedAssignments=57, nogoods=45, foundSolutions=13, bestBound=341
3.15/2.18	    
3.15/2.18	o 326
3.15/2.18	    num=15, depth=18..93, filters=696, ccks=126, wck=0.067, mem=31M870
3.15/2.18	    decisions=838, wrong=92, backtracks=41, failedAssignments=59, nogoods=46, foundSolutions=14, bestBound=326
3.15/2.18	    
3.15/2.18	o 164
3.15/2.18	    num=16, depth=95..93, filters=714, ccks=135, wck=0.068, mem=31M870
3.15/2.18	    decisions=884, wrong=92, backtracks=41, failedAssignments=59, nogoods=46, foundSolutions=15, bestBound=164
3.15/2.18	    
3.15/2.18	o 156
3.15/2.18	    num=17, depth=19..93, filters=755, ccks=144, wck=0.07, mem=31M870
3.15/2.18	    decisions=937, wrong=98, backtracks=41, failedAssignments=65, nogoods=52, foundSolutions=16, bestBound=156
3.15/2.18	    
3.15/2.19	    num=18, depth=14..25, filters=851, ccks=144, wck=0.071, mem=31M870
3.15/2.19	    decisions=988, wrong=116, backtracks=57, failedAssignments=76, nogoods=56, foundSolutions=16, bestBound=156
3.15/2.19	    
3.15/2.19	    num=19, depth=20..34, filters=931, ccks=144, wck=0.073, mem=31M870
3.15/2.19	    decisions=1050, wrong=136, backtracks=71, failedAssignments=87, nogoods=61, foundSolutions=16, bestBound=156
3.15/2.19	    
3.15/2.19	    num=20, depth=17..35, filters=1000, ccks=144, wck=0.074, mem=31M870
3.15/2.19	    decisions=1111, wrong=153, backtracks=80, failedAssignments=99, nogoods=69, foundSolutions=16, bestBound=156
3.15/2.19	    
3.15/2.19	o 135
3.15/2.19	    num=21, depth=20..93, filters=1047, ccks=153, wck=0.076, mem=31M870
3.15/2.19	    decisions=1166, wrong=161, backtracks=83, failedAssignments=106, nogoods=74, foundSolutions=17, bestBound=135
3.15/2.19	    
3.15/2.19	    num=22, depth=16..26, filters=1125, ccks=153, wck=0.077, mem=31M870
3.15/2.19	    decisions=1221, wrong=179, backtracks=92, failedAssignments=120, nogoods=82, foundSolutions=17, bestBound=135
3.15/2.19	    
3.15/2.19	o 113
3.15/2.19	    num=23, depth=29..93, filters=1152, ccks=162, wck=0.079, mem=31M870
3.15/2.19	    decisions=1268, wrong=180, backtracks=92, failedAssignments=121, nogoods=83, foundSolutions=18, bestBound=113
3.15/2.19	    
3.15/2.19	    num=24, depth=16..27, filters=1254, ccks=162, wck=0.08, mem=31M870
3.15/2.19	    decisions=1332, wrong=203, backtracks=109, failedAssignments=133, nogoods=88, foundSolutions=18, bestBound=113
3.15/2.19	    
3.15/2.20	o 91
3.15/2.20	    num=25, depth=26..93, filters=1274, ccks=171, wck=0.081, mem=31M870
3.15/2.20	    decisions=1371, wrong=204, backtracks=109, failedAssignments=134, nogoods=89, foundSolutions=19, bestBound=91
3.15/2.20	    
3.15/2.20	    num=26, depth=12..29, filters=1366, ccks=171, wck=0.082, mem=31M870
3.15/2.20	    decisions=1438, wrong=229, backtracks=131, failedAssignments=146, nogoods=91, foundSolutions=19, bestBound=91
3.15/2.20	    
3.45/2.21	    num=27, depth=19..28, filters=1446, ccks=171, wck=0.084, mem=31M870
3.45/2.21	    decisions=1497, wrong=249, backtracks=145, failedAssignments=157, nogoods=97, foundSolutions=19, bestBound=91
3.45/2.21	    
3.45/2.21	    num=28, depth=13..21, filters=1491, ccks=171, wck=0.085, mem=31M870
3.45/2.21	    decisions=1538, wrong=263, backtracks=150, failedAssignments=169, nogoods=107, foundSolutions=19, bestBound=91
3.45/2.21	    
3.45/2.21	    num=29, depth=14..29, filters=1585, ccks=171, wck=0.086, mem=31M870
3.45/2.21	    decisions=1594, wrong=283, backtracks=165, failedAssignments=182, nogoods=110, foundSolutions=19, bestBound=91
3.45/2.21	    
3.45/2.21	o 58
3.45/2.21	    num=30, depth=16..93, filters=1605, ccks=180, wck=0.087, mem=31M870
3.45/2.21	    decisions=1638, wrong=285, backtracks=165, failedAssignments=184, nogoods=112, foundSolutions=20, bestBound=58
3.45/2.21	    
3.45/2.21	o 50
3.45/2.21	    num=31, depth=14..93, filters=1646, ccks=189, wck=0.089, mem=31M870
3.45/2.21	    decisions=1687, wrong=291, backtracks=168, failedAssignments=187, nogoods=115, foundSolutions=21, bestBound=50
3.45/2.21	    
3.45/2.21	    num=32, depth=13..27, filters=1741, ccks=189, wck=0.09, mem=31M870
3.45/2.21	    decisions=1743, wrong=310, backtracks=182, failedAssignments=198, nogoods=121, foundSolutions=21, bestBound=50
3.45/2.21	    
3.45/2.21	o 32
3.45/2.21	    num=33, depth=16..93, filters=1794, ccks=198, wck=0.091, mem=31M870
3.45/2.21	    decisions=1797, wrong=318, backtracks=184, failedAssignments=205, nogoods=127, foundSolutions=22, bestBound=32
3.45/2.21	    
3.45/2.21	    num=34, depth=12..17, filters=1865, ccks=198, wck=0.092, mem=31M870
3.45/2.21	    decisions=1843, wrong=335, backtracks=196, failedAssignments=217, nogoods=133, foundSolutions=22, bestBound=32
3.45/2.21	    
3.45/2.21	    num=35, depth=10..17, filters=1931, ccks=198, wck=0.093, mem=31M870
3.45/2.21	    decisions=1895, wrong=355, backtracks=213, failedAssignments=228, nogoods=135, foundSolutions=22, bestBound=32
3.45/2.21	    
3.45/2.21	o 28
3.45/2.21	    num=36, depth=12..93, filters=1967, ccks=207, wck=0.095, mem=31M870
3.45/2.21	    decisions=1928, wrong=359, backtracks=214, failedAssignments=231, nogoods=138, foundSolutions=23, bestBound=28
3.45/2.21	    
3.45/2.21	o 26
3.45/2.21	    num=37, depth=10..93, filters=2027, ccks=216, wck=0.096, mem=31M870
3.45/2.21	    decisions=1965, wrong=367, backtracks=219, failedAssignments=236, nogoods=141, foundSolutions=24, bestBound=26
3.45/2.21	    
3.45/2.21	    num=38, depth=10..19, filters=2108, ccks=216, wck=0.097, mem=31M870
3.45/2.21	    decisions=2007, wrong=382, backtracks=228, failedAssignments=247, nogoods=148, foundSolutions=24, bestBound=26
3.45/2.21	    
3.45/2.21	    num=39, depth=13..22, filters=2150, ccks=216, wck=0.098, mem=31M870
3.45/2.21	    decisions=2046, wrong=395, backtracks=238, failedAssignments=258, nogoods=151, foundSolutions=24, bestBound=26
3.45/2.21	    
3.45/2.21	    num=40, depth=11..19, filters=2253, ccks=216, wck=0.099, mem=31M870
3.45/2.21	    decisions=2100, wrong=416, backtracks=255, failedAssignments=270, nogoods=156, foundSolutions=24, bestBound=26
3.45/2.21	    
3.45/2.22	    num=41, depth=12..19, filters=2332, ccks=216, wck=0.101, mem=31M870
3.45/2.22	    decisions=2144, wrong=432, backtracks=269, failedAssignments=283, nogoods=160, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=42, depth=12..18, filters=2418, ccks=216, wck=0.102, mem=31M870
3.45/2.22	    decisions=2197, wrong=452, backtracks=286, failedAssignments=297, nogoods=164, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=43, depth=10..17, filters=2533, ccks=216, wck=0.103, mem=31M870
3.45/2.22	    decisions=2263, wrong=479, backtracks=308, failedAssignments=313, nogoods=168, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=44, depth=12..19, filters=2634, ccks=216, wck=0.105, mem=31M870
3.45/2.22	    decisions=2324, wrong=503, backtracks=329, failedAssignments=330, nogoods=171, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=45, depth=11..17, filters=2742, ccks=216, wck=0.106, mem=31M870
3.45/2.22	    decisions=2387, wrong=529, backtracks=351, failedAssignments=349, nogoods=178, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=46, depth=12..21, filters=2868, ccks=216, wck=0.107, mem=31M870
3.45/2.22	    decisions=2452, wrong=555, backtracks=373, failedAssignments=370, nogoods=185, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=47, depth=12..27, filters=3020, ccks=216, wck=0.109, mem=31M870
3.45/2.22	    decisions=2529, wrong=587, backtracks=401, failedAssignments=393, nogoods=190, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.22	    num=48, depth=13..25, filters=3157, ccks=216, wck=0.11, mem=31M870
3.45/2.22	    decisions=2602, wrong=617, backtracks=430, failedAssignments=418, nogoods=194, foundSolutions=24, bestBound=26
3.45/2.22	    
3.45/2.23	    num=49, depth=11..24, filters=3326, ccks=216, wck=0.112, mem=31M870
3.45/2.23	    decisions=2695, wrong=657, backtracks=463, failedAssignments=446, nogoods=201, foundSolutions=24, bestBound=26
3.45/2.23	    
3.45/2.23	    num=50, depth=13..26, filters=3496, ccks=216, wck=0.114, mem=31M870
3.45/2.23	    decisions=2787, wrong=696, backtracks=499, failedAssignments=477, nogoods=204, foundSolutions=24, bestBound=26
3.45/2.23	    
3.45/2.23	    num=51, depth=11..21, filters=3671, ccks=216, wck=0.115, mem=31M870
3.45/2.23	    decisions=2893, wrong=743, backtracks=542, failedAssignments=511, nogoods=211, foundSolutions=24, bestBound=26
3.45/2.23	    
3.45/2.23	    num=52, depth=11..19, filters=3836, ccks=216, wck=0.117, mem=31M870
3.45/2.23	    decisions=3006, wrong=793, backtracks=588, failedAssignments=548, nogoods=213, foundSolutions=24, bestBound=26
3.45/2.23	    
3.45/2.23	    num=53, depth=12..30, filters=4095, ccks=216, wck=0.12, mem=34M512
3.45/2.23	    decisions=3134, wrong=850, backtracks=640, failedAssignments=589, nogoods=220, foundSolutions=24, bestBound=26
3.45/2.23	    
3.45/2.24	    num=54, depth=11..22, filters=4403, ccks=216, wck=0.122, mem=34M512
3.45/2.24	    decisions=3305, wrong=928, backtracks=707, failedAssignments=634, nogoods=229, foundSolutions=24, bestBound=26
3.45/2.24	    
3.45/2.24	    num=55, depth=11..25, filters=4622, ccks=216, wck=0.125, mem=34M512
3.45/2.24	    decisions=3438, wrong=988, backtracks=762, failedAssignments=684, nogoods=236, foundSolutions=24, bestBound=26
3.45/2.24	    
3.45/2.24	o 25
3.45/2.24	    num=56, depth=13..93, filters=4732, ccks=225, wck=0.126, mem=34M512
3.45/2.24	    decisions=3502, wrong=1009, backtracks=779, failedAssignments=701, nogoods=241, foundSolutions=25, bestBound=25
3.45/2.24	    
3.45/2.24	    num=57, depth=11..25, filters=5133, ccks=225, wck=0.129, mem=34M512
3.45/2.24	    decisions=3705, wrong=1104, backtracks=869, failedAssignments=762, nogoods=249, foundSolutions=25, bestBound=25
3.45/2.24	    
3.45/2.24	    num=58, depth=13..20, filters=5209, ccks=225, wck=0.13, mem=34M512
3.45/2.24	    decisions=3750, wrong=1119, backtracks=877, failedAssignments=773, nogoods=255, foundSolutions=25, bestBound=25
3.45/2.24	    
3.45/2.25	    num=59, depth=13..19, filters=5284, ccks=225, wck=0.131, mem=34M512
3.45/2.25	    decisions=3795, wrong=1135, backtracks=892, failedAssignments=785, nogoods=257, foundSolutions=25, bestBound=25
3.45/2.25	    
3.45/2.25	o 23
3.45/2.25	    num=60, depth=13..93, filters=5380, ccks=234, wck=0.133, mem=34M512
3.45/2.25	    decisions=3861, wrong=1155, backtracks=908, failedAssignments=797, nogoods=261, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=61, depth=12..19, filters=5491, ccks=234, wck=0.134, mem=34M512
3.45/2.25	    decisions=3921, wrong=1179, backtracks=929, failedAssignments=811, nogoods=267, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=62, depth=11..19, filters=5549, ccks=234, wck=0.135, mem=34M512
3.45/2.25	    decisions=3959, wrong=1192, backtracks=936, failedAssignments=822, nogoods=273, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=63, depth=10..20, filters=5620, ccks=234, wck=0.136, mem=34M512
3.45/2.25	    decisions=4004, wrong=1208, backtracks=949, failedAssignments=834, nogoods=277, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=64, depth=9..16, filters=5692, ccks=234, wck=0.137, mem=34M512
3.45/2.25	    decisions=4052, wrong=1226, backtracks=962, failedAssignments=847, nogoods=282, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=65, depth=12..23, filters=5790, ccks=234, wck=0.138, mem=34M512
3.45/2.25	    decisions=4105, wrong=1246, backtracks=972, failedAssignments=861, nogoods=292, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=66, depth=11..19, filters=5883, ccks=234, wck=0.139, mem=34M512
3.45/2.25	    decisions=4159, wrong=1266, backtracks=987, failedAssignments=877, nogoods=297, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.25	    num=67, depth=10..17, filters=5976, ccks=234, wck=0.14, mem=34M512
3.45/2.25	    decisions=4221, wrong=1292, backtracks=1006, failedAssignments=894, nogoods=302, foundSolutions=26, bestBound=23
3.45/2.25	    
3.45/2.26	o 19
3.45/2.26	    num=68, depth=11..93, filters=6133, ccks=243, wck=0.142, mem=34M512
3.45/2.26	    decisions=4316, wrong=1325, backtracks=1036, failedAssignments=912, nogoods=304, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=69, depth=10..23, filters=6285, ccks=243, wck=0.144, mem=34M512
3.45/2.26	    decisions=4395, wrong=1358, backtracks=1064, failedAssignments=933, nogoods=309, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=70, depth=14..20, filters=6335, ccks=243, wck=0.144, mem=34M512
3.45/2.26	    decisions=4435, wrong=1371, backtracks=1071, failedAssignments=944, nogoods=315, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=71, depth=11..21, filters=6388, ccks=243, wck=0.145, mem=34M512
3.45/2.26	    decisions=4476, wrong=1386, backtracks=1085, failedAssignments=956, nogoods=316, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=72, depth=12..21, filters=6477, ccks=243, wck=0.146, mem=34M512
3.45/2.26	    decisions=4526, wrong=1404, backtracks=1096, failedAssignments=969, nogoods=323, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=73, depth=12..22, filters=6555, ccks=243, wck=0.147, mem=34M512
3.45/2.26	    decisions=4570, wrong=1420, backtracks=1105, failedAssignments=983, nogoods=330, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=74, depth=12..20, filters=6645, ccks=243, wck=0.148, mem=34M512
3.45/2.26	    decisions=4624, wrong=1440, backtracks=1120, failedAssignments=999, nogoods=335, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.26	    num=75, depth=12..19, filters=6729, ccks=243, wck=0.15, mem=34M512
3.45/2.26	    decisions=4679, wrong=1461, backtracks=1135, failedAssignments=1016, nogoods=341, foundSolutions=27, bestBound=19
3.45/2.26	    
3.45/2.27	    num=76, depth=13..25, filters=6848, ccks=243, wck=0.151, mem=34M512
3.45/2.27	    decisions=4749, wrong=1489, backtracks=1155, failedAssignments=1035, nogoods=348, foundSolutions=27, bestBound=19
3.45/2.27	    
3.45/2.27	    num=77, depth=13..24, filters=6980, ccks=243, wck=0.152, mem=34M512
3.45/2.27	    decisions=4823, wrong=1519, backtracks=1173, failedAssignments=1056, nogoods=360, foundSolutions=27, bestBound=19
3.45/2.27	    
3.45/2.27	    num=78, depth=12..20, filters=7098, ccks=243, wck=0.154, mem=34M512
3.45/2.27	    decisions=4901, wrong=1551, backtracks=1199, failedAssignments=1079, nogoods=366, foundSolutions=27, bestBound=19
3.45/2.27	    
3.45/2.27	    num=79, depth=11..24, filters=7235, ccks=243, wck=0.155, mem=34M512
3.45/2.27	    decisions=4975, wrong=1582, backtracks=1223, failedAssignments=1104, nogoods=373, foundSolutions=27, bestBound=19
3.45/2.27	    
3.45/2.27	    num=80, depth=10..23, filters=7369, ccks=243, wck=0.157, mem=34M512
3.45/2.27	    decisions=5057, wrong=1617, backtracks=1256, failedAssignments=1132, nogoods=375, foundSolutions=27, bestBound=19
3.45/2.27	    
3.45/2.27	    num=81, depth=13..23, filters=7522, ccks=243, wck=0.158, mem=34M512
3.45/2.27	    decisions=5147, wrong=1655, backtracks=1286, failedAssignments=1163, nogoods=383, foundSolutions=27, bestBound=19
3.45/2.27	    
3.45/2.28	    num=82, depth=12..23, filters=7722, ccks=243, wck=0.16, mem=34M512
3.45/2.28	    decisions=5254, wrong=1702, backtracks=1331, failedAssignments=1197, nogoods=388, foundSolutions=27, bestBound=19
3.45/2.28	    
3.45/2.28	    num=83, depth=13..23, filters=7936, ccks=243, wck=0.163, mem=34M512
3.45/2.28	    decisions=5366, wrong=1751, backtracks=1377, failedAssignments=1234, nogoods=394, foundSolutions=27, bestBound=19
3.45/2.28	    
3.45/2.28	    num=84, depth=10..22, filters=8192, ccks=243, wck=0.165, mem=34M512
3.45/2.28	    decisions=5494, wrong=1810, backtracks=1436, failedAssignments=1275, nogoods=396, foundSolutions=27, bestBound=19
3.45/2.28	    
3.45/2.28	    num=85, depth=13..24, filters=8437, ccks=243, wck=0.167, mem=34M512
3.45/2.28	    decisions=5625, wrong=1869, backtracks=1491, failedAssignments=1320, nogoods=406, foundSolutions=27, bestBound=19
3.45/2.28	    
3.45/2.28	    num=86, depth=11..21, filters=8697, ccks=243, wck=0.169, mem=34M512
3.45/2.28	    decisions=5771, wrong=1936, backtracks=1554, failedAssignments=1370, nogoods=412, foundSolutions=27, bestBound=19
3.45/2.28	    
3.45/2.29	    num=87, depth=11..24, filters=9005, ccks=243, wck=0.172, mem=34M512
3.45/2.29	    decisions=5923, wrong=2006, backtracks=1620, failedAssignments=1425, nogoods=417, foundSolutions=27, bestBound=19
3.45/2.29	    
3.45/2.29	    num=88, depth=11..20, filters=9340, ccks=243, wck=0.175, mem=34M512
3.45/2.29	    decisions=6118, wrong=2098, backtracks=1706, failedAssignments=1486, nogoods=426, foundSolutions=27, bestBound=19
3.45/2.29	    
3.45/2.29	o 17
3.45/2.29	    num=89, depth=13..93, filters=9385, ccks=252, wck=0.177, mem=34M512
3.45/2.29	    decisions=6168, wrong=2105, backtracks=1711, failedAssignments=1489, nogoods=428, foundSolutions=28, bestBound=17
3.45/2.29	    
3.45/2.29	    num=90, depth=10..22, filters=9768, ccks=252, wck=0.18, mem=34M512
3.45/2.29	    decisions=6368, wrong=2199, backtracks=1796, failedAssignments=1563, nogoods=438, foundSolutions=28, bestBound=17
3.45/2.29	    
3.45/2.30	    num=91, depth=10..15, filters=9847, ccks=252, wck=0.181, mem=34M512
3.45/2.30	    decisions=6410, wrong=2215, backtracks=1811, failedAssignments=1574, nogoods=439, foundSolutions=28, bestBound=17
3.45/2.30	    
3.76/2.30	    num=92, depth=11..18, filters=9932, ccks=252, wck=0.182, mem=34M512
3.76/2.30	    decisions=6459, wrong=2233, backtracks=1823, failedAssignments=1586, nogoods=443, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=93, depth=11..16, filters=10002, ccks=252, wck=0.183, mem=34M512
3.76/2.30	    decisions=6503, wrong=2249, backtracks=1836, failedAssignments=1599, nogoods=446, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=94, depth=10..16, filters=10078, ccks=252, wck=0.183, mem=34M512
3.76/2.30	    decisions=6553, wrong=2268, backtracks=1851, failedAssignments=1613, nogoods=449, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=95, depth=9..19, filters=10177, ccks=252, wck=0.185, mem=34M512
3.76/2.30	    decisions=6616, wrong=2294, backtracks=1871, failedAssignments=1629, nogoods=455, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=96, depth=13..19, filters=10268, ccks=252, wck=0.186, mem=34M512
3.76/2.30	    decisions=6674, wrong=2316, backtracks=1891, failedAssignments=1646, nogoods=459, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=97, depth=9..20, filters=10380, ccks=252, wck=0.187, mem=34M512
3.76/2.30	    decisions=6743, wrong=2344, backtracks=1909, failedAssignments=1665, nogoods=467, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=98, depth=13..22, filters=10488, ccks=252, wck=0.188, mem=34M512
3.76/2.30	    decisions=6811, wrong=2371, backtracks=1928, failedAssignments=1686, nogoods=476, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.30	    num=99, depth=10..21, filters=10638, ccks=252, wck=0.189, mem=34M512
3.76/2.30	    decisions=6892, wrong=2405, backtracks=1956, failedAssignments=1709, nogoods=483, foundSolutions=28, bestBound=17
3.76/2.30	    
3.76/2.31	    num=100, depth=13..21, filters=10775, ccks=252, wck=0.19, mem=34M512
3.76/2.31	    decisions=6972, wrong=2438, backtracks=1986, failedAssignments=1734, nogoods=487, foundSolutions=28, bestBound=17
3.76/2.31	    
3.76/2.31	    num=101, depth=11..21, filters=10949, ccks=252, wck=0.192, mem=34M512
3.76/2.31	    decisions=7065, wrong=2478, backtracks=2019, failedAssignments=1762, nogoods=495, foundSolutions=28, bestBound=17
3.76/2.31	    
3.76/2.31	    num=102, depth=11..22, filters=11140, ccks=252, wck=0.194, mem=34M512
3.76/2.31	    decisions=7164, wrong=2521, backtracks=2059, failedAssignments=1793, nogoods=499, foundSolutions=28, bestBound=17
3.76/2.31	    
3.76/2.31	    num=103, depth=12..23, filters=11350, ccks=252, wck=0.196, mem=34M512
3.76/2.31	    decisions=7268, wrong=2567, backtracks=2101, failedAssignments=1827, nogoods=501, foundSolutions=28, bestBound=17
3.76/2.31	    
3.76/2.31	    num=104, depth=12..24, filters=11555, ccks=252, wck=0.197, mem=34M512
3.76/2.31	    decisions=7378, wrong=2615, backtracks=2146, failedAssignments=1864, nogoods=506, foundSolutions=28, bestBound=17
3.76/2.31	    
3.76/2.31	    num=105, depth=11..22, filters=11807, ccks=252, wck=0.199, mem=34M512
3.76/2.31	    decisions=7516, wrong=2678, backtracks=2207, failedAssignments=1905, nogoods=510, foundSolutions=28, bestBound=17
3.76/2.31	    
3.76/2.32	    num=106, depth=13..26, filters=12055, ccks=252, wck=0.201, mem=34M512
3.76/2.32	    decisions=7646, wrong=2736, backtracks=2263, failedAssignments=1950, nogoods=517, foundSolutions=28, bestBound=17
3.76/2.32	    
3.76/2.32	    num=107, depth=8..24, filters=12352, ccks=252, wck=0.204, mem=34M512
3.76/2.32	    decisions=7810, wrong=2812, backtracks=2330, failedAssignments=2000, nogoods=526, foundSolutions=28, bestBound=17
3.76/2.32	    
3.76/2.32	    num=108, depth=12..22, filters=12596, ccks=252, wck=0.206, mem=34M512
3.76/2.32	    decisions=7967, wrong=2883, backtracks=2395, failedAssignments=2055, nogoods=532, foundSolutions=28, bestBound=17
3.76/2.32	    
3.76/2.32	    num=109, depth=9..22, filters=13017, ccks=252, wck=0.209, mem=34M512
3.76/2.32	    decisions=8181, wrong=2984, backtracks=2490, failedAssignments=2116, nogoods=538, foundSolutions=28, bestBound=17
3.76/2.32	    
3.76/2.33	    num=110, depth=12..26, filters=13341, ccks=252, wck=0.212, mem=34M512
3.76/2.33	    decisions=8360, wrong=3067, backtracks=2567, failedAssignments=2183, nogoods=545, foundSolutions=28, bestBound=17
3.76/2.33	    
3.76/2.33	    num=111, depth=10..24, filters=13774, ccks=252, wck=0.216, mem=34M512
3.76/2.33	    decisions=8600, wrong=3181, backtracks=2672, failedAssignments=2257, nogoods=555, foundSolutions=28, bestBound=17
3.76/2.33	    
3.76/2.33	    num=112, depth=13..26, filters=14243, ccks=252, wck=0.219, mem=34M512
3.76/2.33	    decisions=8826, wrong=3286, backtracks=2772, failedAssignments=2338, nogoods=566, foundSolutions=28, bestBound=17
3.76/2.33	    
3.76/2.34	    num=113, depth=12..25, filters=14701, ccks=252, wck=0.222, mem=34M512
3.76/2.34	    decisions=9071, wrong=3401, backtracks=2883, failedAssignments=2427, nogoods=571, foundSolutions=28, bestBound=17
3.76/2.34	    
3.76/2.34	    num=114, depth=12..25, filters=15197, ccks=252, wck=0.226, mem=34M512
3.76/2.34	    decisions=9339, wrong=3528, backtracks=3001, failedAssignments=2525, nogoods=582, foundSolutions=28, bestBound=17
3.76/2.34	    
3.76/2.35	    num=115, depth=11..27, filters=15896, ccks=252, wck=0.231, mem=34M512
3.76/2.35	    decisions=9662, wrong=3683, backtracks=3146, failedAssignments=2633, nogoods=588, foundSolutions=28, bestBound=17
3.76/2.35	    
3.76/2.35	    num=116, depth=12..25, filters=16581, ccks=252, wck=0.236, mem=34M512
3.76/2.35	    decisions=9992, wrong=3841, backtracks=3299, failedAssignments=2752, nogoods=595, foundSolutions=28, bestBound=17
3.76/2.35	    
3.76/2.36	    num=117, depth=10..26, filters=17296, ccks=252, wck=0.241, mem=37M155
3.76/2.36	    decisions=10354, wrong=4016, backtracks=3468, failedAssignments=2883, nogoods=602, foundSolutions=28, bestBound=17
3.76/2.36	    
3.76/2.36	    num=118, depth=11..25, filters=18171, ccks=252, wck=0.247, mem=37M155
3.76/2.36	    decisions=10758, wrong=4211, backtracks=3657, failedAssignments=3027, nogoods=610, foundSolutions=28, bestBound=17
3.76/2.36	    
3.76/2.37	    num=119, depth=11..23, filters=19141, ccks=252, wck=0.254, mem=37M155
3.76/2.37	    decisions=11221, wrong=4437, backtracks=3881, failedAssignments=3185, nogoods=615, foundSolutions=28, bestBound=17
3.76/2.37	    
3.76/2.38	o 9
3.76/2.38	    num=120, depth=11..93, filters=20090, ccks=261, wck=0.261, mem=37M155
3.76/2.38	    decisions=11727, wrong=4673, backtracks=4105, failedAssignments=3339, nogoods=624, foundSolutions=29, bestBound=9
3.76/2.38	    
3.76/2.38	    num=121, depth=9..24, filters=21006, ccks=261, wck=0.267, mem=37M155
3.76/2.38	    decisions=12235, wrong=4921, backtracks=4342, failedAssignments=3530, nogoods=634, foundSolutions=29, bestBound=9
3.76/2.38	    
3.76/2.38	    num=122, depth=13..19, filters=21054, ccks=261, wck=0.268, mem=37M155
3.76/2.38	    decisions=12278, wrong=4935, backtracks=4353, failedAssignments=3541, nogoods=638, foundSolutions=29, bestBound=9
3.76/2.38	    
3.76/2.38	    num=123, depth=14..22, filters=21100, ccks=261, wck=0.269, mem=37M155
3.76/2.38	    decisions=12319, wrong=4948, backtracks=4358, failedAssignments=3553, nogoods=646, foundSolutions=29, bestBound=9
3.76/2.38	    
3.76/2.38	    num=124, depth=12..22, filters=21157, ccks=261, wck=0.269, mem=37M155
3.76/2.38	    decisions=12365, wrong=4964, backtracks=4366, failedAssignments=3566, nogoods=655, foundSolutions=29, bestBound=9
3.76/2.38	    
3.76/2.38	    num=125, depth=12..21, filters=21224, ccks=261, wck=0.27, mem=37M155
3.76/2.38	    decisions=12415, wrong=4982, backtracks=4378, failedAssignments=3580, nogoods=662, foundSolutions=29, bestBound=9
3.76/2.38	    
3.76/2.39	    num=126, depth=12..22, filters=21283, ccks=261, wck=0.271, mem=37M155
3.76/2.39	    decisions=12464, wrong=5000, backtracks=4390, failedAssignments=3596, nogoods=668, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=127, depth=11..18, filters=21363, ccks=261, wck=0.272, mem=37M155
3.76/2.39	    decisions=12523, wrong=5023, backtracks=4407, failedAssignments=3613, nogoods=673, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=128, depth=12..20, filters=21439, ccks=261, wck=0.273, mem=37M155
3.76/2.39	    decisions=12584, wrong=5047, backtracks=4427, failedAssignments=3632, nogoods=676, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=129, depth=12..22, filters=21545, ccks=261, wck=0.274, mem=37M155
3.76/2.39	    decisions=12645, wrong=5071, backtracks=4443, failedAssignments=3653, nogoods=685, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=130, depth=12..22, filters=21671, ccks=261, wck=0.275, mem=37M155
3.76/2.39	    decisions=12716, wrong=5100, backtracks=4467, failedAssignments=3676, nogoods=694, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=131, depth=11..20, filters=21803, ccks=261, wck=0.276, mem=37M155
3.76/2.39	    decisions=12790, wrong=5131, backtracks=4490, failedAssignments=3701, nogoods=701, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=132, depth=12..22, filters=21954, ccks=261, wck=0.277, mem=37M155
3.76/2.39	    decisions=12877, wrong=5168, backtracks=4519, failedAssignments=3729, nogoods=710, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=133, depth=11..25, filters=22104, ccks=261, wck=0.279, mem=37M155
3.76/2.39	    decisions=12963, wrong=5205, backtracks=4549, failedAssignments=3760, nogoods=718, foundSolutions=29, bestBound=9
3.76/2.39	    
3.76/2.39	    num=134, depth=13..27, filters=22273, ccks=261, wck=0.28, mem=37M155
3.76/2.39	    decisions=13063, wrong=5248, backtracks=4584, failedAssignments=3794, nogoods=728, foundSolutions=29, bestBound=9
3.76/2.39	    
4.05/2.40	    num=135, depth=10..23, filters=22466, ccks=261, wck=0.282, mem=37M155
4.05/2.40	    decisions=13172, wrong=5297, backtracks=4631, failedAssignments=3831, nogoods=730, foundSolutions=29, bestBound=9
4.05/2.40	    
4.05/2.40	    num=136, depth=12..22, filters=22688, ccks=261, wck=0.284, mem=37M155
4.05/2.40	    decisions=13290, wrong=5350, backtracks=4680, failedAssignments=3872, nogoods=736, foundSolutions=29, bestBound=9
4.05/2.40	    
4.05/2.40	    num=137, depth=11..24, filters=22897, ccks=261, wck=0.286, mem=37M155
4.05/2.40	    decisions=13409, wrong=5404, backtracks=4732, failedAssignments=3917, nogoods=739, foundSolutions=29, bestBound=9
4.05/2.40	    
4.05/2.40	    num=138, depth=13..30, filters=23147, ccks=261, wck=0.288, mem=37M155
4.05/2.40	    decisions=13563, wrong=5474, backtracks=4800, failedAssignments=3967, nogoods=744, foundSolutions=29, bestBound=9
4.05/2.40	    
4.05/2.40	    num=139, depth=11..22, filters=23367, ccks=261, wck=0.29, mem=37M155
4.05/2.40	    decisions=13705, wrong=5539, backtracks=4860, failedAssignments=4022, nogoods=755, foundSolutions=29, bestBound=9
4.05/2.40	    
4.05/2.41	    num=140, depth=12..24, filters=23643, ccks=261, wck=0.292, mem=37M155
4.05/2.41	    decisions=13867, wrong=5613, backtracks=4927, failedAssignments=4083, nogoods=766, foundSolutions=29, bestBound=9
4.05/2.41	    
4.05/2.41	    num=141, depth=10..23, filters=23987, ccks=261, wck=0.295, mem=37M155
4.05/2.41	    decisions=14044, wrong=5696, backtracks=5003, failedAssignments=4150, nogoods=777, foundSolutions=29, bestBound=9
4.05/2.41	    
4.05/2.41	    num=142, depth=11..24, filters=24357, ccks=261, wck=0.297, mem=37M155
4.05/2.41	    decisions=14254, wrong=5794, backtracks=5097, failedAssignments=4224, nogoods=781, foundSolutions=29, bestBound=9
4.05/2.41	    
4.05/2.41	    num=143, depth=11..24, filters=24739, ccks=261, wck=0.3, mem=37M155
4.05/2.41	    decisions=14473, wrong=5898, backtracks=5198, failedAssignments=4305, nogoods=791, foundSolutions=29, bestBound=9
4.05/2.41	    
4.05/2.42	    num=144, depth=11..25, filters=25163, ccks=261, wck=0.304, mem=37M155
4.05/2.42	    decisions=14715, wrong=6012, backtracks=5304, failedAssignments=4394, nogoods=798, foundSolutions=29, bestBound=9
4.05/2.42	    
4.05/2.42	    num=145, depth=11..20, filters=25694, ccks=261, wck=0.308, mem=37M155
4.05/2.42	    decisions=15007, wrong=6152, backtracks=5438, failedAssignments=4492, nogoods=805, foundSolutions=29, bestBound=9
4.05/2.42	    
4.05/2.43	    num=146, depth=11..21, filters=26289, ccks=261, wck=0.312, mem=37M155
4.05/2.43	    decisions=15313, wrong=6299, backtracks=5579, failedAssignments=4600, nogoods=816, foundSolutions=29, bestBound=9
4.05/2.43	    
4.05/2.43	    num=147, depth=10..21, filters=26948, ccks=261, wck=0.316, mem=37M155
4.05/2.43	    decisions=15645, wrong=6459, backtracks=5732, failedAssignments=4719, nogoods=819, foundSolutions=29, bestBound=9
4.05/2.43	    
4.05/2.44	    num=148, depth=9..21, filters=27671, ccks=261, wck=0.321, mem=37M155
4.05/2.44	    decisions=16068, wrong=6665, backtracks=5924, failedAssignments=4850, nogoods=827, foundSolutions=29, bestBound=9
4.05/2.44	    
4.05/2.44	    num=149, depth=10..23, filters=28337, ccks=261, wck=0.326, mem=37M155
4.05/2.44	    decisions=16475, wrong=6863, backtracks=6113, failedAssignments=4994, nogoods=832, foundSolutions=29, bestBound=9
4.05/2.44	    
4.05/2.45	    num=150, depth=9..24, filters=29166, ccks=261, wck=0.331, mem=37M155
4.05/2.45	    decisions=16895, wrong=7067, backtracks=6311, failedAssignments=5152, nogoods=838, foundSolutions=29, bestBound=9
4.05/2.45	    
4.05/2.45	    num=151, depth=9..22, filters=29987, ccks=261, wck=0.337, mem=37M155
4.05/2.45	    decisions=17394, wrong=7310, backtracks=6538, failedAssignments=5326, nogoods=845, foundSolutions=29, bestBound=9
4.05/2.45	    
4.05/2.46	    num=152, depth=10..24, filters=31078, ccks=261, wck=0.344, mem=37M155
4.05/2.46	    decisions=17928, wrong=7571, backtracks=6787, failedAssignments=5517, nogoods=854, foundSolutions=29, bestBound=9
4.05/2.46	    
4.05/2.46	    num=153, depth=11..23, filters=32083, ccks=261, wck=0.35, mem=37M155
4.05/2.46	    decisions=18486, wrong=7844, backtracks=7053, failedAssignments=5728, nogoods=862, foundSolutions=29, bestBound=9
4.05/2.46	    
4.05/2.47	    num=154, depth=10..23, filters=33299, ccks=261, wck=0.358, mem=37M155
4.05/2.47	    decisions=19107, wrong=8148, backtracks=7348, failedAssignments=5960, nogoods=870, foundSolutions=29, bestBound=9
4.05/2.47	    
4.05/2.48	    num=155, depth=10..23, filters=34680, ccks=261, wck=0.367, mem=37M155
4.05/2.48	    decisions=19826, wrong=8501, backtracks=7691, failedAssignments=6215, nogoods=880, foundSolutions=29, bestBound=9
4.05/2.48	    
4.05/2.49	    num=156, depth=9..23, filters=36305, ccks=261, wck=0.377, mem=37M155
4.05/2.49	    decisions=20670, wrong=8916, backtracks=8090, failedAssignments=6496, nogoods=884, foundSolutions=29, bestBound=9
4.05/2.49	    
4.24/2.50	o 8
4.24/2.50	    num=157, depth=11..93, filters=37870, ccks=270, wck=0.387, mem=37M155
4.24/2.50	    decisions=21467, wrong=9305, backtracks=8474, failedAssignments=6783, nogoods=891, foundSolutions=30, bestBound=8
4.24/2.50	    
4.24/2.51	    num=158, depth=9..22, filters=39728, ccks=270, wck=0.398, mem=37M155
4.24/2.51	    decisions=22463, wrong=9797, backtracks=8941, failedAssignments=7123, nogoods=902, foundSolutions=30, bestBound=8
4.24/2.51	    
4.24/2.51	    num=159, depth=12..19, filters=39770, ccks=270, wck=0.399, mem=37M155
4.24/2.51	    decisions=22500, wrong=9809, backtracks=8946, failedAssignments=7134, nogoods=909, foundSolutions=30, bestBound=8
4.24/2.51	    
4.24/2.51	    num=160, depth=10..18, filters=39828, ccks=270, wck=0.399, mem=37M155
4.24/2.51	    decisions=22544, wrong=9825, backtracks=8957, failedAssignments=7146, nogoods=915, foundSolutions=30, bestBound=8
4.24/2.51	    
4.24/2.51	    num=161, depth=11..17, filters=39885, ccks=270, wck=0.4, mem=37M155
4.24/2.51	    decisions=22589, wrong=9841, backtracks=8968, failedAssignments=7159, nogoods=921, foundSolutions=30, bestBound=8
4.24/2.51	    
4.24/2.52	    num=162, depth=11..20, filters=39941, ccks=270, wck=0.401, mem=37M155
4.24/2.52	    decisions=22637, wrong=9859, backtracks=8979, failedAssignments=7173, nogoods=928, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=163, depth=12..21, filters=40003, ccks=270, wck=0.401, mem=37M155
4.24/2.52	    decisions=22687, wrong=9878, backtracks=8995, failedAssignments=7189, nogoods=933, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=164, depth=11..21, filters=40074, ccks=270, wck=0.402, mem=37M155
4.24/2.52	    decisions=22739, wrong=9898, backtracks=9005, failedAssignments=7206, nogoods=944, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=165, depth=12..23, filters=40143, ccks=270, wck=0.403, mem=37M155
4.24/2.52	    decisions=22794, wrong=9919, backtracks=9022, failedAssignments=7225, nogoods=949, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=166, depth=11..20, filters=40226, ccks=270, wck=0.403, mem=37M155
4.24/2.52	    decisions=22858, wrong=9945, backtracks=9044, failedAssignments=7246, nogoods=955, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=167, depth=11..18, filters=40334, ccks=270, wck=0.404, mem=37M155
4.24/2.52	    decisions=22931, wrong=9976, backtracks=9074, failedAssignments=7269, nogoods=958, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=168, depth=11..19, filters=40442, ccks=270, wck=0.405, mem=37M155
4.24/2.52	    decisions=23006, wrong=10007, backtracks=9097, failedAssignments=7294, nogoods=966, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=169, depth=12..20, filters=40569, ccks=270, wck=0.406, mem=39M798
4.24/2.52	    decisions=23088, wrong=10042, backtracks=9129, failedAssignments=7322, nogoods=975, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=170, depth=8..21, filters=40737, ccks=270, wck=0.408, mem=39M798
4.24/2.52	    decisions=23194, wrong=10090, backtracks=9171, failedAssignments=7353, nogoods=980, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.52	    num=171, depth=12..22, filters=40898, ccks=270, wck=0.409, mem=39M798
4.24/2.52	    decisions=23294, wrong=10133, backtracks=9207, failedAssignments=7387, nogoods=990, foundSolutions=30, bestBound=8
4.24/2.52	    
4.24/2.53	    num=172, depth=10..19, filters=41103, ccks=270, wck=0.411, mem=39M798
4.24/2.53	    decisions=23398, wrong=10179, backtracks=9249, failedAssignments=7424, nogoods=999, foundSolutions=30, bestBound=8
4.24/2.53	    
4.24/2.53	    num=173, depth=11..21, filters=41263, ccks=270, wck=0.412, mem=39M798
4.24/2.53	    decisions=23512, wrong=10229, backtracks=9293, failedAssignments=7465, nogoods=1005, foundSolutions=30, bestBound=8
4.24/2.53	    
4.24/2.53	    num=174, depth=9..18, filters=41485, ccks=270, wck=0.414, mem=39M798
4.24/2.53	    decisions=23650, wrong=10292, backtracks=9350, failedAssignments=7510, nogoods=1012, foundSolutions=30, bestBound=8
4.24/2.53	    
4.24/2.53	o 4
4.24/2.53	    num=175, depth=12..93, filters=41610, ccks=279, wck=0.416, mem=39M798
4.24/2.53	    decisions=23741, wrong=10324, backtracks=9376, failedAssignments=7536, nogoods=1018, foundSolutions=31, bestBound=4
4.24/2.53	    
4.24/2.53	    num=176, depth=9..21, filters=41877, ccks=279, wck=0.418, mem=39M798
4.24/2.53	    decisions=23908, wrong=10402, backtracks=9449, failedAssignments=7591, nogoods=1024, foundSolutions=31, bestBound=4
4.24/2.53	    
4.24/2.53	    num=177, depth=13..22, filters=41933, ccks=279, wck=0.419, mem=39M798
4.24/2.53	    decisions=23947, wrong=10415, backtracks=9452, failedAssignments=7602, nogoods=1034, foundSolutions=31, bestBound=4
4.24/2.53	    
4.24/2.53	    num=178, depth=12..19, filters=41983, ccks=279, wck=0.419, mem=39M798
4.24/2.53	    decisions=23987, wrong=10429, backtracks=9462, failedAssignments=7614, nogoods=1038, foundSolutions=31, bestBound=4
4.24/2.53	    
4.24/2.53	    num=179, depth=11..20, filters=42034, ccks=279, wck=0.42, mem=39M798
4.24/2.53	    decisions=24029, wrong=10444, backtracks=9475, failedAssignments=7627, nogoods=1040, foundSolutions=31, bestBound=4
4.24/2.53	    
4.24/2.54	    num=180, depth=9..18, filters=42093, ccks=279, wck=0.421, mem=39M798
4.24/2.54	    decisions=24069, wrong=10459, backtracks=9484, failedAssignments=7641, nogoods=1046, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=181, depth=11..18, filters=42154, ccks=279, wck=0.421, mem=39M798
4.24/2.54	    decisions=24120, wrong=10479, backtracks=9503, failedAssignments=7657, nogoods=1048, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=182, depth=11..20, filters=42227, ccks=279, wck=0.422, mem=39M798
4.24/2.54	    decisions=24172, wrong=10499, backtracks=9518, failedAssignments=7674, nogoods=1054, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=183, depth=11..20, filters=42306, ccks=279, wck=0.423, mem=39M798
4.24/2.54	    decisions=24227, wrong=10521, backtracks=9530, failedAssignments=7693, nogoods=1065, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=184, depth=10..21, filters=42423, ccks=279, wck=0.424, mem=39M798
4.24/2.54	    decisions=24301, wrong=10552, backtracks=9557, failedAssignments=7714, nogoods=1069, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=185, depth=9..21, filters=42549, ccks=279, wck=0.426, mem=39M798
4.24/2.54	    decisions=24372, wrong=10582, backtracks=9581, failedAssignments=7737, nogoods=1076, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=186, depth=11..20, filters=42650, ccks=279, wck=0.427, mem=39M798
4.24/2.54	    decisions=24441, wrong=10610, backtracks=9601, failedAssignments=7762, nogoods=1084, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=187, depth=11..21, filters=42787, ccks=279, wck=0.429, mem=39M798
4.24/2.54	    decisions=24528, wrong=10647, backtracks=9631, failedAssignments=7790, nogoods=1090, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.54	    num=188, depth=10..20, filters=42943, ccks=279, wck=0.43, mem=39M798
4.24/2.54	    decisions=24622, wrong=10689, backtracks=9669, failedAssignments=7821, nogoods=1097, foundSolutions=31, bestBound=4
4.24/2.54	    
4.24/2.55	    num=189, depth=12..22, filters=43097, ccks=279, wck=0.432, mem=39M798
4.24/2.55	    decisions=24721, wrong=10732, backtracks=9710, failedAssignments=7855, nogoods=1102, foundSolutions=31, bestBound=4
4.24/2.55	    
4.24/2.55	    num=190, depth=10..21, filters=43291, ccks=279, wck=0.433, mem=39M798
4.24/2.55	    decisions=24825, wrong=10778, backtracks=9750, failedAssignments=7892, nogoods=1109, foundSolutions=31, bestBound=4
4.24/2.55	    
4.24/2.55	    num=191, depth=11..20, filters=43468, ccks=279, wck=0.435, mem=39M798
4.24/2.55	    decisions=24934, wrong=10827, backtracks=9798, failedAssignments=7933, nogoods=1111, foundSolutions=31, bestBound=4
4.24/2.55	    
4.24/2.55	    num=192, depth=10..20, filters=43672, ccks=279, wck=0.437, mem=39M798
4.24/2.55	    decisions=25059, wrong=10884, backtracks=9852, failedAssignments=7978, nogoods=1115, foundSolutions=31, bestBound=4
4.24/2.55	    
4.24/2.55	    num=193, depth=11..22, filters=43877, ccks=279, wck=0.439, mem=39M798
4.24/2.55	    decisions=25196, wrong=10947, backtracks=9914, failedAssignments=8028, nogoods=1116, foundSolutions=31, bestBound=4
4.24/2.55	    
4.24/2.56	    num=194, depth=10..23, filters=44143, ccks=279, wck=0.441, mem=39M798
4.24/2.56	    decisions=25338, wrong=11013, backtracks=9979, failedAssignments=8083, nogoods=1120, foundSolutions=31, bestBound=4
4.24/2.56	    
4.24/2.56	    num=195, depth=11..24, filters=44408, ccks=279, wck=0.443, mem=39M798
4.24/2.56	    decisions=25504, wrong=11090, backtracks=10047, failedAssignments=8144, nogoods=1130, foundSolutions=31, bestBound=4
4.24/2.56	    
4.24/2.56	    num=196, depth=11..22, filters=44696, ccks=279, wck=0.445, mem=39M798
4.24/2.56	    decisions=25690, wrong=11177, backtracks=10130, failedAssignments=8211, nogoods=1134, foundSolutions=31, bestBound=4
4.24/2.56	    
4.24/2.56	    num=197, depth=10..21, filters=45090, ccks=279, wck=0.448, mem=39M798
4.24/2.56	    decisions=25899, wrong=11276, backtracks=10224, failedAssignments=8285, nogoods=1141, foundSolutions=31, bestBound=4
4.24/2.56	    
4.24/2.57	    num=198, depth=11..23, filters=45461, ccks=279, wck=0.451, mem=39M798
4.24/2.57	    decisions=26117, wrong=11379, backtracks=10320, failedAssignments=8366, nogoods=1151, foundSolutions=31, bestBound=4
4.24/2.57	    
4.24/2.57	    num=199, depth=11..23, filters=45915, ccks=279, wck=0.454, mem=39M798
4.24/2.57	    decisions=26358, wrong=11493, backtracks=10428, failedAssignments=8455, nogoods=1162, foundSolutions=31, bestBound=4
4.24/2.57	    
4.24/2.57	    num=200, depth=11..23, filters=46376, ccks=279, wck=0.458, mem=39M798
4.24/2.57	    decisions=26627, wrong=11622, backtracks=10552, failedAssignments=8553, nogoods=1172, foundSolutions=31, bestBound=4
4.24/2.57	    
4.24/2.58	    num=201, depth=10..25, filters=46910, ccks=279, wck=0.462, mem=39M798
4.24/2.58	    decisions=26919, wrong=11762, backtracks=10678, failedAssignments=8661, nogoods=1181, foundSolutions=31, bestBound=4
4.24/2.58	    
4.24/2.58	    num=202, depth=10..23, filters=47501, ccks=279, wck=0.465, mem=39M798
4.24/2.58	    decisions=27248, wrong=11920, backtracks=10831, failedAssignments=8780, nogoods=1188, foundSolutions=31, bestBound=4
4.24/2.58	    
4.24/2.58	    num=203, depth=9..24, filters=48109, ccks=279, wck=0.47, mem=39M798
4.24/2.58	    decisions=27601, wrong=12091, backtracks=10992, failedAssignments=8911, nogoods=1195, foundSolutions=31, bestBound=4
4.24/2.58	    
4.24/2.59	    num=204, depth=11..23, filters=48776, ccks=279, wck=0.475, mem=39M798
4.24/2.59	    decisions=28002, wrong=12285, backtracks=11179, failedAssignments=9055, nogoods=1203, foundSolutions=31, bestBound=4
4.24/2.59	    
4.24/2.60	    num=205, depth=10..24, filters=49525, ccks=279, wck=0.48, mem=39M798
4.24/2.60	    decisions=28425, wrong=12490, backtracks=11379, failedAssignments=9213, nogoods=1212, foundSolutions=31, bestBound=4
4.24/2.60	    
4.43/2.60	    num=206, depth=10..25, filters=50342, ccks=279, wck=0.486, mem=39M798
4.43/2.60	    decisions=28895, wrong=12719, backtracks=11602, failedAssignments=9387, nogoods=1221, foundSolutions=31, bestBound=4
4.43/2.60	    
4.43/2.61	    num=207, depth=10..23, filters=51354, ccks=279, wck=0.493, mem=39M798
4.43/2.61	    decisions=29441, wrong=12986, backtracks=11857, failedAssignments=9578, nogoods=1228, foundSolutions=31, bestBound=4
4.43/2.61	    
4.43/2.61	    num=208, depth=9..21, filters=52511, ccks=279, wck=0.5, mem=39M798
4.43/2.61	    decisions=30039, wrong=13279, backtracks=12137, failedAssignments=9789, nogoods=1238, foundSolutions=31, bestBound=4
4.43/2.61	    
4.43/2.62	    num=209, depth=10..23, filters=53662, ccks=279, wck=0.507, mem=39M798
4.43/2.62	    decisions=30692, wrong=13600, backtracks=12450, failedAssignments=10021, nogoods=1245, foundSolutions=31, bestBound=4
4.43/2.62	    
4.43/2.63	    num=210, depth=9..22, filters=54962, ccks=279, wck=0.515, mem=39M798
4.43/2.63	    decisions=31411, wrong=13954, backtracks=12792, failedAssignments=10276, nogoods=1253, foundSolutions=31, bestBound=4
4.43/2.63	    
4.43/2.64	    num=211, depth=10..23, filters=56317, ccks=279, wck=0.524, mem=39M798
4.43/2.64	    decisions=32149, wrong=14317, backtracks=13147, failedAssignments=10557, nogoods=1263, foundSolutions=31, bestBound=4
4.43/2.64	    
4.43/2.65	    num=212, depth=9..23, filters=58045, ccks=279, wck=0.535, mem=39M798
4.43/2.65	    decisions=33085, wrong=14780, backtracks=13594, failedAssignments=10866, nogoods=1268, foundSolutions=31, bestBound=4
4.43/2.65	    
4.43/2.66	    num=213, depth=9..22, filters=59740, ccks=279, wck=0.545, mem=39M798
4.43/2.66	    decisions=34088, wrong=15276, backtracks=14072, failedAssignments=11206, nogoods=1273, foundSolutions=31, bestBound=4
4.43/2.66	    
4.43/2.67	    num=214, depth=9..24, filters=61745, ccks=279, wck=0.557, mem=39M798
4.43/2.67	    decisions=35184, wrong=15818, backtracks=14603, failedAssignments=11580, nogoods=1278, foundSolutions=31, bestBound=4
4.43/2.67	    
4.43/2.68	    num=215, depth=8..23, filters=63757, ccks=279, wck=0.57, mem=39M798
4.43/2.68	    decisions=36347, wrong=16394, backtracks=15159, failedAssignments=11991, nogoods=1286, foundSolutions=31, bestBound=4
4.43/2.68	    
4.55/2.70	    num=216, depth=8..21, filters=66088, ccks=279, wck=0.584, mem=39M798
4.55/2.70	    decisions=37683, wrong=17057, backtracks=15802, failedAssignments=12443, nogoods=1294, foundSolutions=31, bestBound=4
4.55/2.70	    
4.55/2.71	    num=217, depth=8..22, filters=68770, ccks=279, wck=0.6, mem=42M440
4.55/2.71	    decisions=39217, wrong=17818, backtracks=16531, failedAssignments=12940, nogoods=1302, foundSolutions=31, bestBound=4
4.55/2.71	    
4.55/2.73	    num=218, depth=8..23, filters=71655, ccks=279, wck=0.616, mem=42M440
4.55/2.73	    decisions=40831, wrong=18619, backtracks=17296, failedAssignments=13487, nogoods=1313, foundSolutions=31, bestBound=4
4.55/2.73	    
4.55/2.75	    num=219, depth=9..24, filters=74719, ccks=279, wck=0.635, mem=42M440
4.55/2.75	    decisions=42517, wrong=19456, backtracks=18105, failedAssignments=14089, nogoods=1323, foundSolutions=31, bestBound=4
4.55/2.75	    
4.55/2.77	    num=220, depth=8..23, filters=77843, ccks=279, wck=0.653, mem=42M440
4.55/2.77	    decisions=44273, wrong=20329, backtracks=18958, failedAssignments=14751, nogoods=1330, foundSolutions=31, bestBound=4
4.55/2.77	    
4.55/2.79	    num=221, depth=9..24, filters=81484, ccks=279, wck=0.675, mem=42M440
4.55/2.79	    decisions=46498, wrong=21436, backtracks=20016, failedAssignments=15479, nogoods=1337, foundSolutions=31, bestBound=4
4.55/2.79	    
4.65/2.81	    num=222, depth=7..23, filters=85994, ccks=279, wck=0.7, mem=42M440
4.65/2.81	    decisions=48796, wrong=22580, backtracks=21139, failedAssignments=16280, nogoods=1342, foundSolutions=31, bestBound=4
4.65/2.81	    
4.65/2.84	    num=223, depth=10..26, filters=89959, ccks=279, wck=0.724, mem=42M440
4.65/2.84	    decisions=51174, wrong=23763, backtracks=22290, failedAssignments=17161, nogoods=1348, foundSolutions=31, bestBound=4
4.65/2.84	    
4.65/2.87	    num=224, depth=7..23, filters=94961, ccks=279, wck=0.753, mem=42M440
4.65/2.87	    decisions=53954, wrong=25147, backtracks=23638, failedAssignments=18131, nogoods=1356, foundSolutions=31, bestBound=4
4.65/2.87	    
4.77/2.90	    num=225, depth=8..24, filters=100033, ccks=279, wck=0.784, mem=42M440
4.77/2.90	    decisions=56991, wrong=26659, backtracks=25074, failedAssignments=19198, nogoods=1362, foundSolutions=31, bestBound=4
4.77/2.90	    
4.77/2.93	    num=226, depth=8..22, filters=106053, ccks=279, wck=0.82, mem=42M440
4.77/2.93	    decisions=60506, wrong=28411, backtracks=26780, failedAssignments=20371, nogoods=1372, foundSolutions=31, bestBound=4
4.77/2.93	    
4.77/2.98	    num=227, depth=8..24, filters=113613, ccks=279, wck=0.861, mem=42M440
4.77/2.98	    decisions=64553, wrong=30430, backtracks=28713, failedAssignments=21662, nogoods=1376, foundSolutions=31, bestBound=4
4.77/2.98	    
4.97/3.02	    num=228, depth=8..24, filters=120902, ccks=279, wck=0.902, mem=45M82
4.97/3.02	    decisions=68680, wrong=32488, backtracks=30690, failedAssignments=23082, nogoods=1388, foundSolutions=31, bestBound=4
4.97/3.02	    
4.97/3.06	    num=229, depth=8..24, filters=128865, ccks=279, wck=0.946, mem=45M82
4.97/3.06	    decisions=73199, wrong=34741, backtracks=32862, failedAssignments=24644, nogoods=1396, foundSolutions=31, bestBound=4
4.97/3.06	    
5.08/3.11	    num=230, depth=8..24, filters=137559, ccks=279, wck=0.992, mem=45M82
5.08/3.11	    decisions=78201, wrong=37236, backtracks=35275, failedAssignments=26362, nogoods=1407, foundSolutions=31, bestBound=4
5.08/3.11	    
5.08/3.16	    num=231, depth=7..24, filters=147139, ccks=279, wck=1.043, mem=45M82
5.08/3.16	    decisions=83621, wrong=39940, backtracks=37902, failedAssignments=28252, nogoods=1412, foundSolutions=31, bestBound=4
5.08/3.16	    
5.17/3.22	    num=232, depth=8..24, filters=159172, ccks=279, wck=1.103, mem=45M82
5.17/3.22	    decisions=90122, wrong=43185, backtracks=41025, failedAssignments=30331, nogoods=1419, foundSolutions=31, bestBound=4
5.17/3.22	    
5.17/3.29	    num=233, depth=7..25, filters=172612, ccks=279, wck=1.178, mem=47M725
5.17/3.29	    decisions=97380, wrong=46808, backtracks=44465, failedAssignments=32618, nogoods=1429, foundSolutions=31, bestBound=4
5.17/3.29	    
5.27/3.37	    num=234, depth=6..26, filters=185572, ccks=279, wck=1.25, mem=47M725
5.27/3.37	    decisions=104813, wrong=50519, backtracks=48039, failedAssignments=35134, nogoods=1441, foundSolutions=31, bestBound=4
5.27/3.37	    
5.37/3.44	    num=235, depth=8..25, filters=199717, ccks=279, wck=1.326, mem=47M725
5.37/3.44	    decisions=112845, wrong=54529, backtracks=51934, failedAssignments=37902, nogoods=1451, foundSolutions=31, bestBound=4
5.37/3.44	    
5.47/3.53	    num=236, depth=8..24, filters=216766, ccks=279, wck=1.415, mem=47M725
5.47/3.53	    decisions=122109, wrong=59155, backtracks=56369, failedAssignments=40946, nogoods=1456, foundSolutions=31, bestBound=4
5.47/3.53	    
5.57/3.63	    num=237, depth=7..25, filters=235219, ccks=279, wck=1.513, mem=50M367
5.57/3.63	    decisions=132207, wrong=64198, backtracks=61203, failedAssignments=44295, nogoods=1461, foundSolutions=31, bestBound=4
5.57/3.63	    
5.57/3.63	o 3
5.57/3.63	    num=238, depth=13..93, filters=235502, ccks=288, wck=1.515, mem=50M367
5.57/3.63	    decisions=132380, wrong=64278, backtracks=61279, failedAssignments=44361, nogoods=1472, foundSolutions=32, bestBound=3
5.57/3.63	    
5.69/3.75	    num=239, depth=6..24, filters=258825, ccks=288, wck=1.637, mem=50M367
5.69/3.75	    decisions=145292, wrong=70728, backtracks=67386, failedAssignments=48413, nogoods=1482, foundSolutions=32, bestBound=3
5.69/3.75	    
5.69/3.75	    num=240, depth=13..21, filters=258875, ccks=288, wck=1.638, mem=50M367
5.69/3.75	    decisions=145332, wrong=70741, backtracks=67396, failedAssignments=48424, nogoods=1486, foundSolutions=32, bestBound=3
5.69/3.75	    
5.69/3.75	    num=241, depth=13..21, filters=258928, ccks=288, wck=1.638, mem=50M367
5.69/3.75	    decisions=145374, wrong=70755, backtracks=67407, failedAssignments=48436, nogoods=1490, foundSolutions=32, bestBound=3
5.69/3.75	    
5.69/3.75	    num=242, depth=12..20, filters=258975, ccks=288, wck=1.639, mem=50M367
5.69/3.75	    decisions=145418, wrong=70771, backtracks=67422, failedAssignments=48449, nogoods=1491, foundSolutions=32, bestBound=3
5.69/3.75	    
5.69/3.75	    num=243, depth=13..20, filters=259043, ccks=288, wck=1.64, mem=50M367
5.69/3.75	    decisions=145467, wrong=70789, backtracks=67432, failedAssignments=48463, nogoods=1500, foundSolutions=32, bestBound=3
5.69/3.75	    
5.69/3.75	    num=244, depth=12..22, filters=259124, ccks=288, wck=1.64, mem=50M367
5.69/3.75	    decisions=145520, wrong=70809, backtracks=67448, failedAssignments=48479, nogoods=1506, foundSolutions=32, bestBound=3
5.69/3.75	    
5.69/3.76	    num=245, depth=11..20, filters=259199, ccks=288, wck=1.641, mem=50M367
5.69/3.76	    decisions=145578, wrong=70831, backtracks=67468, failedAssignments=48496, nogoods=1508, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=246, depth=12..21, filters=259281, ccks=288, wck=1.642, mem=50M367
5.69/3.76	    decisions=145642, wrong=70856, backtracks=67488, failedAssignments=48515, nogoods=1513, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=247, depth=11..19, filters=259394, ccks=288, wck=1.643, mem=50M367
5.69/3.76	    decisions=145715, wrong=70886, backtracks=67513, failedAssignments=48536, nogoods=1519, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=248, depth=12..25, filters=259506, ccks=288, wck=1.644, mem=50M367
5.69/3.76	    decisions=145784, wrong=70914, backtracks=67531, failedAssignments=48559, nogoods=1530, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=249, depth=11..25, filters=259603, ccks=288, wck=1.645, mem=50M367
5.69/3.76	    decisions=145853, wrong=70942, backtracks=67556, failedAssignments=48584, nogoods=1533, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=250, depth=12..24, filters=259717, ccks=288, wck=1.646, mem=50M367
5.69/3.76	    decisions=145928, wrong=70973, backtracks=67584, failedAssignments=48612, nogoods=1538, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=251, depth=12..24, filters=259845, ccks=288, wck=1.647, mem=50M367
5.69/3.76	    decisions=146011, wrong=71008, backtracks=67609, failedAssignments=48643, nogoods=1549, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=252, depth=10..22, filters=260013, ccks=288, wck=1.648, mem=50M367
5.69/3.76	    decisions=146108, wrong=71051, backtracks=67649, failedAssignments=48677, nogoods=1553, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.76	    num=253, depth=12..22, filters=260148, ccks=288, wck=1.65, mem=50M367
5.69/3.76	    decisions=146207, wrong=71094, backtracks=67686, failedAssignments=48714, nogoods=1559, foundSolutions=32, bestBound=3
5.69/3.76	    
5.69/3.77	    num=254, depth=9..19, filters=260358, ccks=288, wck=1.651, mem=50M367
5.69/3.77	    decisions=146330, wrong=71150, backtracks=67737, failedAssignments=48755, nogoods=1565, foundSolutions=32, bestBound=3
5.69/3.77	    
5.69/3.77	    num=255, depth=12..23, filters=260537, ccks=288, wck=1.653, mem=50M367
5.69/3.77	    decisions=146453, wrong=71205, backtracks=67788, failedAssignments=48800, nogoods=1570, foundSolutions=32, bestBound=3
5.69/3.77	    
5.69/3.77	    num=256, depth=10..23, filters=260754, ccks=288, wck=1.655, mem=50M367
5.69/3.77	    decisions=146591, wrong=71268, backtracks=67845, failedAssignments=48850, nogoods=1579, foundSolutions=32, bestBound=3
5.69/3.77	    
5.69/3.77	    num=257, depth=11..23, filters=261028, ccks=288, wck=1.657, mem=50M367
5.69/3.77	    decisions=146751, wrong=71342, backtracks=67916, failedAssignments=48905, nogoods=1583, foundSolutions=32, bestBound=3
5.69/3.77	    
5.69/3.77	    num=258, depth=11..22, filters=261305, ccks=288, wck=1.659, mem=50M367
5.69/3.77	    decisions=146928, wrong=71424, backtracks=67987, failedAssignments=48966, nogoods=1595, foundSolutions=32, bestBound=3
5.69/3.77	    
5.69/3.78	    num=259, depth=12..23, filters=261606, ccks=288, wck=1.661, mem=50M367
5.69/3.78	    decisions=147108, wrong=71508, backtracks=68066, failedAssignments=49033, nogoods=1606, foundSolutions=32, bestBound=3
5.69/3.78	    
5.69/3.78	    num=260, depth=11..24, filters=261907, ccks=288, wck=1.664, mem=50M367
5.69/3.78	    decisions=147302, wrong=71599, backtracks=68153, failedAssignments=49107, nogoods=1614, foundSolutions=32, bestBound=3
5.69/3.78	    
5.69/3.78	    num=261, depth=11..25, filters=262281, ccks=288, wck=1.666, mem=50M367
5.69/3.78	    decisions=147515, wrong=71699, backtracks=68246, failedAssignments=49188, nogoods=1622, foundSolutions=32, bestBound=3
5.69/3.78	    
5.69/3.78	    num=262, depth=11..24, filters=262700, ccks=288, wck=1.669, mem=50M367
5.69/3.78	    decisions=147750, wrong=71811, backtracks=68356, failedAssignments=49277, nogoods=1631, foundSolutions=32, bestBound=3
5.69/3.78	    
5.69/3.79	    num=263, depth=11..22, filters=263108, ccks=288, wck=1.673, mem=50M367
5.69/3.79	    decisions=148005, wrong=71932, backtracks=68472, failedAssignments=49375, nogoods=1634, foundSolutions=32, bestBound=3
5.69/3.79	    
5.69/3.79	    num=264, depth=10..22, filters=263621, ccks=288, wck=1.676, mem=50M367
5.69/3.79	    decisions=148294, wrong=72070, backtracks=68602, failedAssignments=49483, nogoods=1642, foundSolutions=32, bestBound=3
5.69/3.79	    
5.69/3.79	    num=265, depth=11..22, filters=264118, ccks=288, wck=1.68, mem=50M367
5.69/3.79	    decisions=148615, wrong=72224, backtracks=68747, failedAssignments=49602, nogoods=1651, foundSolutions=32, bestBound=3
5.69/3.79	    
5.80/3.80	    num=266, depth=9..22, filters=264750, ccks=288, wck=1.685, mem=50M367
5.80/3.80	    decisions=148971, wrong=72396, backtracks=68914, failedAssignments=49733, nogoods=1655, foundSolutions=32, bestBound=3
5.80/3.80	    
5.80/3.80	    num=267, depth=10..24, filters=265395, ccks=288, wck=1.69, mem=53M10
5.80/3.80	    decisions=149372, wrong=72590, backtracks=69098, failedAssignments=49877, nogoods=1663, foundSolutions=32, bestBound=3
5.80/3.80	    
5.80/3.81	    num=268, depth=10..22, filters=266059, ccks=288, wck=1.695, mem=53M10
5.80/3.81	    decisions=149817, wrong=72806, backtracks=69296, failedAssignments=50035, nogoods=1674, foundSolutions=32, bestBound=3
5.80/3.81	    
5.80/3.81	    num=269, depth=10..24, filters=266915, ccks=288, wck=1.7, mem=53M10
5.80/3.81	    decisions=150283, wrong=73033, backtracks=69513, failedAssignments=50209, nogoods=1681, foundSolutions=32, bestBound=3
5.80/3.81	    
5.80/3.82	    num=270, depth=9..24, filters=267702, ccks=288, wck=1.706, mem=53M10
5.80/3.82	    decisions=150797, wrong=73284, backtracks=69756, failedAssignments=50400, nogoods=1686, foundSolutions=32, bestBound=3
5.80/3.82	    
5.80/3.83	    num=271, depth=11..23, filters=268699, ccks=288, wck=1.713, mem=53M10
5.80/3.83	    decisions=151392, wrong=73575, backtracks=70030, failedAssignments=50611, nogoods=1695, foundSolutions=32, bestBound=3
5.80/3.83	    
5.80/3.83	    num=272, depth=9..23, filters=269655, ccks=288, wck=1.72, mem=53M10
5.80/3.83	    decisions=151993, wrong=73870, backtracks=70315, failedAssignments=50843, nogoods=1706, foundSolutions=32, bestBound=3
5.80/3.83	    
5.80/3.84	    num=273, depth=10..24, filters=270763, ccks=288, wck=1.727, mem=53M10
5.80/3.84	    decisions=152661, wrong=74198, backtracks=70634, failedAssignments=51098, nogoods=1716, foundSolutions=32, bestBound=3
5.80/3.84	    
5.80/3.85	    num=274, depth=9..22, filters=272054, ccks=288, wck=1.736, mem=53M10
5.80/3.85	    decisions=153447, wrong=74585, backtracks=71005, failedAssignments=51379, nogoods=1727, foundSolutions=32, bestBound=3
5.80/3.85	    
5.80/3.86	    num=275, depth=10..24, filters=273476, ccks=288, wck=1.745, mem=53M10
5.80/3.86	    decisions=154263, wrong=74987, backtracks=71397, failedAssignments=51688, nogoods=1734, foundSolutions=32, bestBound=3
5.80/3.86	    
5.80/3.87	    num=276, depth=10..23, filters=274965, ccks=288, wck=1.757, mem=53M10
5.80/3.87	    decisions=155180, wrong=75440, backtracks=71837, failedAssignments=52028, nogoods=1739, foundSolutions=32, bestBound=3
5.80/3.87	    
5.80/3.88	    num=277, depth=9..23, filters=276907, ccks=288, wck=1.77, mem=53M10
5.80/3.88	    decisions=156256, wrong=75972, backtracks=72345, failedAssignments=52402, nogoods=1747, foundSolutions=32, bestBound=3
5.80/3.88	    
5.91/3.90	    num=278, depth=8..24, filters=278796, ccks=288, wck=1.782, mem=53M10
5.91/3.90	    decisions=157383, wrong=76530, backtracks=72882, failedAssignments=52813, nogoods=1756, foundSolutions=32, bestBound=3
5.91/3.90	    
5.91/3.91	    num=279, depth=10..24, filters=280688, ccks=288, wck=1.795, mem=53M10
5.91/3.91	    decisions=158579, wrong=77121, backtracks=73466, failedAssignments=53265, nogoods=1764, foundSolutions=32, bestBound=3
5.91/3.91	    
5.91/3.93	    num=280, depth=9..22, filters=283297, ccks=288, wck=1.811, mem=53M10
5.91/3.93	    decisions=159961, wrong=77806, backtracks=74133, failedAssignments=53762, nogoods=1772, foundSolutions=32, bestBound=3
5.91/3.93	    
6.11/4.18	    num=281, depth=9..23, filters=285865, ccks=288, wck=1.828, mem=53M10
6.11/4.18	    decisions=161459, wrong=78549, backtracks=74852, failedAssignments=54309, nogoods=1781, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=282, depth=9..24, filters=288894, ccks=288, wck=1.846, mem=53M10
6.11/4.18	    decisions=163106, wrong=79366, backtracks=75646, failedAssignments=54911, nogoods=1789, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=283, depth=9..25, filters=292140, ccks=288, wck=1.867, mem=53M10
6.11/4.18	    decisions=164890, wrong=80252, backtracks=76511, failedAssignments=55573, nogoods=1796, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=284, depth=9..24, filters=296054, ccks=288, wck=1.891, mem=53M10
6.11/4.18	    decisions=166988, wrong=81296, backtracks=77513, failedAssignments=56301, nogoods=1801, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=285, depth=8..25, filters=300126, ccks=288, wck=1.917, mem=53M10
6.11/4.18	    decisions=169353, wrong=82473, backtracks=78641, failedAssignments=57102, nogoods=1810, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=286, depth=8..25, filters=304602, ccks=288, wck=1.944, mem=53M10
6.11/4.18	    decisions=171835, wrong=83709, backtracks=79839, failedAssignments=57983, nogoods=1820, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=287, depth=9..24, filters=309120, ccks=288, wck=1.974, mem=55M652
6.11/4.18	    decisions=174603, wrong=85088, backtracks=81169, failedAssignments=58953, nogoods=1826, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=288, depth=8..23, filters=315075, ccks=288, wck=2.007, mem=55M652
6.11/4.18	    decisions=177668, wrong=86615, backtracks=82652, failedAssignments=60020, nogoods=1837, foundSolutions=32, bestBound=3
6.11/4.18	    
6.11/4.18	    num=289, depth=8..24, filters=321733, ccks=288, wck=2.047, mem=55M652
6.11/4.18	    decisions=181523, wrong=88537, backtracks=84482, failedAssignments=61193, nogoods=1847, foundSolutions=32, bestBound=3
6.11/4.18	    
6.21/4.20	    num=290, depth=8..23, filters=328852, ccks=288, wck=2.089, mem=55M652
6.21/4.20	    decisions=185384, wrong=90462, backtracks=86344, failedAssignments=62484, nogoods=1856, foundSolutions=32, bestBound=3
6.21/4.20	    
6.21/4.25	    num=291, depth=8..24, filters=336146, ccks=288, wck=2.133, mem=55M652
6.21/4.25	    decisions=189645, wrong=92586, backtracks=88378, failedAssignments=63904, nogoods=1865, foundSolutions=32, bestBound=3
6.21/4.25	    
6.21/4.29	    num=292, depth=9..24, filters=343708, ccks=288, wck=2.18, mem=55M652
6.21/4.29	    decisions=194279, wrong=94897, backtracks=90619, failedAssignments=65466, nogoods=1875, foundSolutions=32, bestBound=3
6.21/4.29	    
6.31/4.35	    num=293, depth=7..22, filters=353201, ccks=288, wck=2.235, mem=55M652
6.31/4.35	    decisions=199453, wrong=97479, backtracks=93100, failedAssignments=67184, nogoods=1884, foundSolutions=32, bestBound=3
6.31/4.35	    
6.41/4.41	    num=294, depth=7..24, filters=363124, ccks=288, wck=2.294, mem=58M295
6.41/4.41	    decisions=204935, wrong=100214, backtracks=95730, failedAssignments=69074, nogoods=1893, foundSolutions=32, bestBound=3
6.41/4.41	    
6.41/4.47	    num=295, depth=7..24, filters=373344, ccks=288, wck=2.36, mem=58M295
6.41/4.47	    decisions=210887, wrong=103185, backtracks=98587, failedAssignments=71153, nogoods=1900, foundSolutions=32, bestBound=3
6.41/4.47	    
6.51/4.54	    num=296, depth=8..25, filters=384681, ccks=288, wck=2.427, mem=58M295
6.51/4.54	    decisions=217650, wrong=106561, backtracks=101836, failedAssignments=73440, nogoods=1908, foundSolutions=32, bestBound=3
6.51/4.54	    
6.62/4.63	    num=297, depth=7..23, filters=400247, ccks=288, wck=2.514, mem=58M295
6.62/4.63	    decisions=225905, wrong=110683, backtracks=105777, failedAssignments=75956, nogoods=1919, foundSolutions=32, bestBound=3
6.62/4.63	    
6.72/4.71	    num=298, depth=7..23, filters=415391, ccks=288, wck=2.599, mem=60M937
6.72/4.71	    decisions=234110, wrong=114781, backtracks=109725, failedAssignments=78724, nogoods=1925, foundSolutions=32, bestBound=3
6.72/4.71	    
6.82/4.81	    num=299, depth=7..25, filters=430854, ccks=288, wck=2.691, mem=60M937
6.82/4.81	    decisions=243256, wrong=119349, backtracks=114120, failedAssignments=81768, nogoods=1932, foundSolutions=32, bestBound=3
6.82/4.81	    
6.92/4.91	    num=300, depth=6..24, filters=449730, ccks=288, wck=2.797, mem=60M937
6.92/4.91	    decisions=253841, wrong=124636, backtracks=119151, failedAssignments=85117, nogoods=1942, foundSolutions=32, bestBound=3
6.92/4.91	    
7.03/5.02	    num=301, depth=7..26, filters=468085, ccks=288, wck=2.906, mem=63M579
7.03/5.02	    decisions=264797, wrong=130108, backtracks=124415, failedAssignments=88801, nogoods=1953, foundSolutions=32, bestBound=3
7.03/5.02	    
7.03/5.07	o 2
7.03/5.07	    num=302, depth=8..93, filters=477621, ccks=297, wck=2.96, mem=63M579
7.03/5.07	    decisions=270035, wrong=132720, backtracks=126949, failedAssignments=90615, nogoods=1963, foundSolutions=33, bestBound=2
7.03/5.07	    
7.22/5.21	    num=303, depth=7..25, filters=501581, ccks=297, wck=3.095, mem=63M579
7.22/5.21	    decisions=283856, wrong=139624, backtracks=133532, failedAssignments=95072, nogoods=1974, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=304, depth=10..17, filters=501643, ccks=297, wck=3.096, mem=63M579
7.22/5.21	    decisions=283904, wrong=139643, backtracks=133548, failedAssignments=95083, nogoods=1975, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=305, depth=10..20, filters=501697, ccks=297, wck=3.097, mem=63M579
7.22/5.21	    decisions=283944, wrong=139658, backtracks=133560, failedAssignments=95095, nogoods=1977, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=306, depth=10..19, filters=501760, ccks=297, wck=3.097, mem=63M579
7.22/5.21	    decisions=283987, wrong=139674, backtracks=133567, failedAssignments=95108, nogoods=1986, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=307, depth=9..18, filters=501818, ccks=297, wck=3.098, mem=63M579
7.22/5.21	    decisions=284035, wrong=139692, backtracks=133578, failedAssignments=95122, nogoods=1994, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=308, depth=10..18, filters=501891, ccks=297, wck=3.099, mem=63M579
7.22/5.21	    decisions=284091, wrong=139714, backtracks=133598, failedAssignments=95138, nogoods=1999, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=309, depth=9..16, filters=501980, ccks=297, wck=3.099, mem=63M579
7.22/5.21	    decisions=284149, wrong=139738, backtracks=133619, failedAssignments=95155, nogoods=2004, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.21	    num=310, depth=9..17, filters=502091, ccks=297, wck=3.1, mem=63M579
7.22/5.21	    decisions=284222, wrong=139769, backtracks=133645, failedAssignments=95174, nogoods=2010, foundSolutions=33, bestBound=2
7.22/5.21	    
7.22/5.22	    num=311, depth=9..21, filters=502168, ccks=297, wck=3.101, mem=63M579
7.22/5.22	    decisions=284284, wrong=139794, backtracks=133666, failedAssignments=95195, nogoods=2015, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=312, depth=10..18, filters=502276, ccks=297, wck=3.102, mem=63M579
7.22/5.22	    decisions=284360, wrong=139826, backtracks=133694, failedAssignments=95218, nogoods=2020, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=313, depth=10..21, filters=502358, ccks=297, wck=3.103, mem=63M579
7.22/5.22	    decisions=284432, wrong=139857, backtracks=133721, failedAssignments=95243, nogoods=2026, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=314, depth=8..21, filters=502502, ccks=297, wck=3.104, mem=63M579
7.22/5.22	    decisions=284535, wrong=139903, backtracks=133759, failedAssignments=95271, nogoods=2033, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=315, depth=11..21, filters=502647, ccks=297, wck=3.105, mem=63M579
7.22/5.22	    decisions=284631, wrong=139944, backtracks=133796, failedAssignments=95302, nogoods=2037, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=316, depth=8..17, filters=502807, ccks=297, wck=3.106, mem=63M579
7.22/5.22	    decisions=284741, wrong=139994, backtracks=133841, failedAssignments=95336, nogoods=2044, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=317, depth=10..22, filters=502938, ccks=297, wck=3.107, mem=63M579
7.22/5.22	    decisions=284834, wrong=140035, backtracks=133876, failedAssignments=95373, nogoods=2052, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.22	    num=318, depth=10..19, filters=503119, ccks=297, wck=3.109, mem=63M579
7.22/5.22	    decisions=284958, wrong=140092, backtracks=133930, failedAssignments=95414, nogoods=2055, foundSolutions=33, bestBound=2
7.22/5.22	    
7.22/5.23	    num=319, depth=9..21, filters=503354, ccks=297, wck=3.111, mem=63M579
7.22/5.23	    decisions=285109, wrong=140161, backtracks=133989, failedAssignments=95459, nogoods=2065, foundSolutions=33, bestBound=2
7.22/5.23	    
7.22/5.23	    num=320, depth=9..24, filters=503591, ccks=297, wck=3.113, mem=63M579
7.22/5.23	    decisions=285255, wrong=140228, backtracks=134047, failedAssignments=95509, nogoods=2070, foundSolutions=33, bestBound=2
7.22/5.23	    
7.22/5.23	    num=321, depth=9..22, filters=503819, ccks=297, wck=3.114, mem=63M579
7.22/5.23	    decisions=285405, wrong=140297, backtracks=134109, failedAssignments=95564, nogoods=2078, foundSolutions=33, bestBound=2
7.22/5.23	    
7.22/5.23	    num=322, depth=10..23, filters=504114, ccks=297, wck=3.116, mem=63M579
7.22/5.23	    decisions=285588, wrong=140383, backtracks=134186, failedAssignments=95625, nogoods=2085, foundSolutions=33, bestBound=2
7.22/5.23	    
7.22/5.23	    num=323, depth=12..22, filters=504426, ccks=297, wck=3.119, mem=63M579
7.22/5.23	    decisions=285776, wrong=140470, backtracks=134269, failedAssignments=95692, nogoods=2093, foundSolutions=33, bestBound=2
7.22/5.23	    
7.22/5.24	    num=324, depth=8..22, filters=504775, ccks=297, wck=3.121, mem=63M579
7.22/5.24	    decisions=285993, wrong=140573, backtracks=134364, failedAssignments=95766, nogoods=2104, foundSolutions=33, bestBound=2
7.22/5.24	    
7.22/5.24	    num=325, depth=11..23, filters=505112, ccks=297, wck=3.124, mem=63M579
7.22/5.24	    decisions=286202, wrong=140672, backtracks=134460, failedAssignments=95847, nogoods=2108, foundSolutions=33, bestBound=2
7.22/5.24	    
7.22/5.24	    num=326, depth=9..21, filters=505521, ccks=297, wck=3.127, mem=63M579
7.22/5.24	    decisions=286459, wrong=140795, backtracks=134572, failedAssignments=95936, nogoods=2117, foundSolutions=33, bestBound=2
7.22/5.24	    
7.22/5.24	    num=327, depth=11..22, filters=505921, ccks=297, wck=3.13, mem=63M579
7.22/5.24	    decisions=286729, wrong=140924, backtracks=134696, failedAssignments=96034, nogoods=2122, foundSolutions=33, bestBound=2
7.22/5.24	    
7.22/5.25	    num=328, depth=8..21, filters=506455, ccks=297, wck=3.134, mem=63M579
7.22/5.25	    decisions=287050, wrong=141080, backtracks=134839, failedAssignments=96142, nogoods=2131, foundSolutions=33, bestBound=2
7.22/5.25	    
7.22/5.25	    num=329, depth=10..23, filters=507007, ccks=297, wck=3.138, mem=66M222
7.22/5.25	    decisions=287365, wrong=141232, backtracks=134983, failedAssignments=96261, nogoods=2142, foundSolutions=33, bestBound=2
7.22/5.25	    
7.22/5.26	    num=330, depth=8..21, filters=507583, ccks=297, wck=3.143, mem=66M222
7.22/5.26	    decisions=287764, wrong=141426, backtracks=135158, failedAssignments=96392, nogoods=2150, foundSolutions=33, bestBound=2
7.22/5.26	    
7.22/5.26	    num=331, depth=10..22, filters=508166, ccks=297, wck=3.147, mem=66M222
7.22/5.26	    decisions=288139, wrong=141607, backtracks=135329, failedAssignments=96536, nogoods=2157, foundSolutions=33, bestBound=2
7.22/5.26	    
7.22/5.27	    num=332, depth=9..21, filters=508864, ccks=297, wck=3.152, mem=66M222
7.22/5.27	    decisions=288605, wrong=141834, backtracks=135545, failedAssignments=96694, nogoods=2167, foundSolutions=33, bestBound=2
7.22/5.27	    
7.22/5.27	    num=333, depth=9..21, filters=509648, ccks=297, wck=3.158, mem=66M222
7.22/5.27	    decisions=289099, wrong=142075, backtracks=135776, failedAssignments=96868, nogoods=2174, foundSolutions=33, bestBound=2
7.22/5.27	    
7.22/5.28	    num=334, depth=10..22, filters=510497, ccks=297, wck=3.164, mem=66M222
7.22/5.28	    decisions=289611, wrong=142325, backtracks=136019, failedAssignments=97059, nogoods=2182, foundSolutions=33, bestBound=2
7.22/5.28	    
7.22/5.29	    num=335, depth=10..23, filters=511480, ccks=297, wck=3.171, mem=66M222
7.22/5.29	    decisions=290209, wrong=142617, backtracks=136302, failedAssignments=97270, nogoods=2191, foundSolutions=33, bestBound=2
7.22/5.29	    
7.22/5.29	    num=336, depth=8..22, filters=512596, ccks=297, wck=3.178, mem=66M222
7.22/5.29	    decisions=290911, wrong=142963, backtracks=136618, failedAssignments=97502, nogoods=2199, foundSolutions=33, bestBound=2
7.22/5.29	    
7.34/5.30	    num=337, depth=10..22, filters=513677, ccks=297, wck=3.186, mem=66M222
7.34/5.30	    decisions=291589, wrong=143296, backtracks=136945, failedAssignments=97757, nogoods=2210, foundSolutions=33, bestBound=2
7.34/5.30	    
7.34/5.31	    num=338, depth=8..23, filters=514907, ccks=297, wck=3.195, mem=66M222
7.34/5.31	    decisions=292365, wrong=143679, backtracks=137309, failedAssignments=98038, nogoods=2222, foundSolutions=33, bestBound=2
7.34/5.31	    
7.34/5.32	    num=339, depth=8..23, filters=516524, ccks=297, wck=3.206, mem=66M222
7.34/5.32	    decisions=293371, wrong=144176, backtracks=137775, failedAssignments=98347, nogoods=2227, foundSolutions=33, bestBound=2
7.34/5.32	    
7.34/5.33	    num=340, depth=9..22, filters=518143, ccks=297, wck=3.216, mem=66M222
7.34/5.33	    decisions=294269, wrong=144620, backtracks=138207, failedAssignments=98687, nogoods=2239, foundSolutions=33, bestBound=2
7.34/5.33	    
7.34/5.34	    num=341, depth=10..23, filters=519911, ccks=297, wck=3.229, mem=66M222
7.34/5.34	    decisions=295331, wrong=145145, backtracks=138720, failedAssignments=99061, nogoods=2247, foundSolutions=33, bestBound=2
7.34/5.34	    
7.34/5.36	    num=342, depth=9..24, filters=521846, ccks=297, wck=3.243, mem=66M222
7.34/5.36	    decisions=296456, wrong=145702, backtracks=139263, failedAssignments=99472, nogoods=2256, foundSolutions=33, bestBound=2
7.34/5.36	    
7.34/5.37	    num=343, depth=7..22, filters=524247, ccks=297, wck=3.26, mem=66M222
7.34/5.37	    decisions=297857, wrong=146398, backtracks=139913, failedAssignments=99924, nogoods=2263, foundSolutions=33, bestBound=2
7.34/5.37	    
7.34/5.39	    num=344, depth=9..24, filters=526583, ccks=297, wck=3.277, mem=66M222
7.34/5.39	    decisions=299220, wrong=147073, backtracks=140568, failedAssignments=100421, nogoods=2270, foundSolutions=33, bestBound=2
7.34/5.39	    
7.44/5.41	    num=345, depth=10..24, filters=528938, ccks=297, wck=3.294, mem=66M222
7.44/5.41	    decisions=300740, wrong=147826, backtracks=141301, failedAssignments=100968, nogoods=2277, foundSolutions=33, bestBound=2
7.44/5.41	    
7.44/5.43	    num=346, depth=8..23, filters=532391, ccks=297, wck=3.317, mem=66M222
7.44/5.43	    decisions=302553, wrong=148727, backtracks=142177, failedAssignments=101570, nogoods=2288, foundSolutions=33, bestBound=2
7.44/5.43	    
7.44/5.45	    num=347, depth=9..25, filters=535531, ccks=297, wck=3.338, mem=66M222
7.44/5.45	    decisions=304404, wrong=149647, backtracks=143071, failedAssignments=102232, nogoods=2296, foundSolutions=33, bestBound=2
7.44/5.45	    
7.44/5.48	    num=348, depth=7..24, filters=538786, ccks=297, wck=3.362, mem=66M222
7.44/5.48	    decisions=306432, wrong=150656, backtracks=144034, failedAssignments=102960, nogoods=2305, foundSolutions=33, bestBound=2
7.44/5.48	    
7.54/5.50	    num=349, depth=8..23, filters=543097, ccks=297, wck=3.388, mem=66M222
7.54/5.50	    decisions=308691, wrong=151780, backtracks=145120, failedAssignments=103761, nogoods=2317, foundSolutions=33, bestBound=2
7.54/5.50	    
7.54/5.53	    num=350, depth=8..24, filters=547101, ccks=297, wck=3.414, mem=68M864
7.54/5.53	    decisions=311066, wrong=152962, backtracks=146271, failedAssignments=104642, nogoods=2328, foundSolutions=33, bestBound=2
7.54/5.53	    
7.54/5.56	    num=351, depth=8..24, filters=551952, ccks=297, wck=3.446, mem=68M864
7.54/5.56	    decisions=313997, wrong=154422, backtracks=147666, failedAssignments=105612, nogoods=2330, foundSolutions=33, bestBound=2
7.54/5.56	    
7.54/5.59	    num=352, depth=8..23, filters=557396, ccks=297, wck=3.479, mem=68M864
7.54/5.59	    decisions=316961, wrong=155899, backtracks=149095, failedAssignments=106679, nogoods=2343, foundSolutions=33, bestBound=2
7.54/5.59	    
7.64/5.63	    num=353, depth=8..24, filters=563162, ccks=297, wck=3.516, mem=68M864
7.64/5.63	    decisions=320283, wrong=157554, backtracks=150700, failedAssignments=107852, nogoods=2352, foundSolutions=33, bestBound=2
7.64/5.63	    
7.64/5.68	    num=354, depth=7..21, filters=570492, ccks=297, wck=3.562, mem=68M864
7.64/5.68	    decisions=324527, wrong=159671, backtracks=152685, failedAssignments=109143, nogoods=2363, foundSolutions=33, bestBound=2
7.64/5.68	    
7.75/5.72	    num=355, depth=7..23, filters=578002, ccks=297, wck=3.606, mem=68M864
7.75/5.72	    decisions=328721, wrong=161762, backtracks=154700, failedAssignments=110563, nogoods=2370, foundSolutions=33, bestBound=2
7.75/5.72	    
7.75/5.77	    num=356, depth=8..26, filters=585580, ccks=297, wck=3.657, mem=68M864
7.75/5.77	    decisions=333199, wrong=163996, backtracks=156840, failedAssignments=112125, nogoods=2381, foundSolutions=33, bestBound=2
7.75/5.77	    
7.85/5.83	    num=357, depth=8..25, filters=594408, ccks=297, wck=3.715, mem=68M864
7.85/5.83	    decisions=338515, wrong=166648, backtracks=159380, failedAssignments=113843, nogoods=2389, foundSolutions=33, bestBound=2
7.85/5.83	    
7.85/5.89	    num=358, depth=7..22, filters=604986, ccks=297, wck=3.774, mem=71M507
7.85/5.89	    decisions=344112, wrong=169442, backtracks=162085, failedAssignments=115733, nogoods=2398, foundSolutions=33, bestBound=2
7.85/5.89	    
7.95/5.95	    num=359, depth=8..26, filters=615711, ccks=297, wck=3.84, mem=71M507
7.95/5.95	    decisions=350476, wrong=172617, backtracks=165113, failedAssignments=117812, nogoods=2405, foundSolutions=33, bestBound=2
7.95/5.95	    
8.06/6.03	    num=360, depth=7..22, filters=628018, ccks=297, wck=3.911, mem=71M507
8.06/6.03	    decisions=357270, wrong=176009, backtracks=168376, failedAssignments=120099, nogoods=2415, foundSolutions=33, bestBound=2
8.06/6.03	    
8.06/6.10	    num=361, depth=8..24, filters=639807, ccks=297, wck=3.986, mem=71M507
8.06/6.10	    decisions=364524, wrong=179631, backtracks=171868, failedAssignments=122615, nogoods=2425, foundSolutions=33, bestBound=2
8.06/6.10	    
8.16/6.19	    num=362, depth=8..24, filters=654975, ccks=297, wck=4.074, mem=74M149
8.16/6.19	    decisions=372898, wrong=183812, backtracks=175899, failedAssignments=125383, nogoods=2435, foundSolutions=33, bestBound=2
8.16/6.19	    
8.25/6.28	    num=363, depth=7..24, filters=670633, ccks=297, wck=4.168, mem=74M149
8.25/6.28	    decisions=382380, wrong=188547, backtracks=180419, failedAssignments=128427, nogoods=2444, foundSolutions=33, bestBound=2
8.25/6.28	    
8.35/6.39	    num=364, depth=6..23, filters=690580, ccks=297, wck=4.279, mem=74M149
8.35/6.39	    decisions=392872, wrong=193788, backtracks=185442, failedAssignments=131776, nogoods=2452, foundSolutions=33, bestBound=2
8.35/6.39	    
8.45/6.50	    num=365, depth=8..26, filters=707497, ccks=297, wck=4.381, mem=76M792
8.45/6.50	    decisions=403420, wrong=199056, backtracks=190512, failedAssignments=135460, nogoods=2463, foundSolutions=33, bestBound=2
8.45/6.50	    
8.65/6.63	    num=366, depth=7..23, filters=731527, ccks=297, wck=4.519, mem=76M792
8.65/6.63	    decisions=416776, wrong=205729, backtracks=196896, failedAssignments=139512, nogoods=2471, foundSolutions=33, bestBound=2
8.65/6.63	    
8.75/6.78	    num=367, depth=6..23, filters=758577, ccks=297, wck=4.67, mem=76M792
8.75/6.78	    decisions=431135, wrong=212903, backtracks=203746, failedAssignments=143969, nogoods=2477, foundSolutions=33, bestBound=2
8.75/6.78	    
8.95/6.94	    num=368, depth=6..24, filters=785628, ccks=297, wck=4.829, mem=79M434
8.95/6.94	    decisions=446434, wrong=220547, backtracks=211074, failedAssignments=148872, nogoods=2484, foundSolutions=33, bestBound=2
8.95/6.94	    
9.06/7.11	    num=369, depth=7..25, filters=813627, ccks=297, wck=4.991, mem=79M434
9.06/7.11	    decisions=462922, wrong=228785, backtracks=218950, failedAssignments=154266, nogoods=2494, foundSolutions=33, bestBound=2
9.06/7.11	    
9.25/7.28	    num=370, depth=6..24, filters=843870, ccks=297, wck=5.165, mem=82M77
9.25/7.28	    decisions=481041, wrong=237840, backtracks=227645, failedAssignments=160199, nogoods=2502, foundSolutions=33, bestBound=2
9.25/7.28	    
9.45/7.48	    num=371, depth=7..24, filters=878314, ccks=297, wck=5.368, mem=84M719
9.45/7.48	    decisions=501544, wrong=248086, backtracks=237485, failedAssignments=166725, nogoods=2510, foundSolutions=33, bestBound=2
9.45/7.48	    
9.65/7.70	    num=372, depth=6..24, filters=916858, ccks=297, wck=5.581, mem=84M719
9.65/7.70	    decisions=523391, wrong=259004, backtracks=247948, failedAssignments=173904, nogoods=2521, foundSolutions=33, bestBound=2
9.65/7.70	    
9.95/7.94	    num=373, depth=6..25, filters=960819, ccks=297, wck=5.827, mem=87M361
9.95/7.94	    decisions=548534, wrong=271570, backtracks=259983, failedAssignments=181801, nogoods=2530, foundSolutions=33, bestBound=2
9.95/7.94	    
10.16/8.19	    num=374, depth=6..25, filters=1007541, ccks=297, wck=6.076, mem=90M4
10.16/8.19	    decisions=575263, wrong=284929, backtracks=272824, failedAssignments=190488, nogoods=2540, foundSolutions=33, bestBound=2
10.16/8.19	    
10.55/8.53	    num=375, depth=5..24, filters=1065484, ccks=297, wck=6.413, mem=92M646
10.55/8.53	    decisions=609684, wrong=302135, backtracks=288985, failedAssignments=200043, nogoods=2550, foundSolutions=33, bestBound=2
10.55/8.53	    
10.85/8.86	    num=376, depth=6..23, filters=1130161, ccks=297, wck=6.75, mem=95M289
10.85/8.86	    decisions=644192, wrong=319385, backtracks=305484, failedAssignments=210554, nogoods=2560, foundSolutions=33, bestBound=2
10.85/8.86	    
11.16/9.19	    num=377, depth=7..25, filters=1184722, ccks=297, wck=7.076, mem=97M931
11.16/9.19	    decisions=678030, wrong=336298, backtracks=321800, failedAssignments=222116, nogoods=2570, foundSolutions=33, bestBound=2
11.16/9.19	    
11.65/9.61	    num=378, depth=6..24, filters=1258657, ccks=297, wck=7.495, mem=100M574
11.65/9.61	    decisions=719046, wrong=356800, backtracks=341304, failedAssignments=234834, nogoods=2580, foundSolutions=33, bestBound=2
11.65/9.61	    
12.06/10.04	    num=379, depth=6..25, filters=1332839, ccks=297, wck=7.928, mem=103M216
12.06/10.04	    decisions=763318, wrong=378930, backtracks=362493, failedAssignments=248824, nogoods=2588, foundSolutions=33, bestBound=2
12.06/10.04	    
12.55/10.52	    num=380, depth=5..25, filters=1426958, ccks=297, wck=8.408, mem=105M858
12.55/10.52	    decisions=815392, wrong=404961, backtracks=387331, failedAssignments=264213, nogoods=2595, foundSolutions=33, bestBound=2
12.55/10.52	    
13.06/11.04	    num=381, depth=5..24, filters=1513791, ccks=297, wck=8.923, mem=111M143
13.06/11.04	    decisions=866582, wrong=430551, backtracks=411881, failedAssignments=281141, nogoods=2605, foundSolutions=33, bestBound=2
13.06/11.04	    
13.66/11.61	    num=382, depth=6..26, filters=1611583, ccks=297, wck=9.499, mem=116M428
13.66/11.61	    decisions=925825, wrong=460167, backtracks=440219, failedAssignments=299762, nogoods=2615, foundSolutions=33, bestBound=2
13.66/11.61	    
14.37/12.32	    num=383, depth=5..25, filters=1737711, ccks=297, wck=10.206, mem=119M71
14.37/12.32	    decisions=995682, wrong=495090, backtracks=473499, failedAssignments=320246, nogoods=2626, foundSolutions=33, bestBound=2
14.37/12.32	    
15.08/13.01	    num=384, depth=6..25, filters=1860688, ccks=297, wck=10.898, mem=124M355
15.08/13.01	    decisions=1067299, wrong=530893, backtracks=507829, failedAssignments=342778, nogoods=2636, foundSolutions=33, bestBound=2
15.08/13.01	    
15.77/13.79	    num=385, depth=5..25, filters=1998088, ccks=297, wck=11.673, mem=132M283
15.77/13.79	    decisions=1146558, wrong=570517, backtracks=545774, failedAssignments=367563, nogoods=2646, foundSolutions=33, bestBound=2
15.77/13.79	    
16.67/14.62	    num=386, depth=5..25, filters=2145724, ccks=297, wck=12.503, mem=137M568
16.67/14.62	    decisions=1236904, wrong=615686, backtracks=588884, failedAssignments=394827, nogoods=2652, foundSolutions=33, bestBound=2
16.67/14.62	    
17.71/15.61	    num=387, depth=5..24, filters=2329519, ccks=297, wck=13.491, mem=22M527
17.71/15.61	    decisions=1338555, wrong=666507, backtracks=637470, failedAssignments=424817, nogoods=2662, foundSolutions=33, bestBound=2
17.71/15.61	    
18.61/16.56	    num=388, depth=5..26, filters=2500815, ccks=297, wck=14.444, mem=30M375
18.61/16.56	    decisions=1443853, wrong=719151, backtracks=687670, failedAssignments=457806, nogoods=2673, foundSolutions=33, bestBound=2
18.61/16.56	    
19.71/17.67	    num=389, depth=5..25, filters=2708962, ccks=297, wck=15.557, mem=38M223
19.71/17.67	    decisions=1566959, wrong=780699, backtracks=746150, failedAssignments=494094, nogoods=2685, foundSolutions=33, bestBound=2
19.71/17.67	    
21.01/18.97	    num=390, depth=4..25, filters=2944306, ccks=297, wck=16.853, mem=46M71
21.01/18.97	    decisions=1704669, wrong=849548, backtracks=811606, failedAssignments=534011, nogoods=2694, foundSolutions=33, bestBound=2
21.01/18.97	    
22.41/20.38	    num=391, depth=5..25, filters=3194074, ccks=297, wck=18.262, mem=56M535
22.41/20.38	    decisions=1861152, wrong=927784, backtracks=886608, failedAssignments=577920, nogoods=2705, foundSolutions=33, bestBound=2
22.41/20.38	    
24.12/22.02	    num=392, depth=4..24, filters=3500250, ccks=297, wck=19.907, mem=69M615
24.12/22.02	    decisions=2033987, wrong=1014196, backtracks=968877, failedAssignments=626220, nogoods=2718, foundSolutions=33, bestBound=2
24.12/22.02	    
25.71/23.69	    num=393, depth=4..25, filters=3818205, ccks=297, wck=21.572, mem=80M79
25.71/23.69	    decisions=2219344, wrong=1106870, backtracks=1056485, failedAssignments=679350, nogoods=2728, foundSolutions=33, bestBound=2
25.71/23.69	    
27.61/25.53	    num=394, depth=4..26, filters=4149652, ccks=297, wck=23.417, mem=93M159
27.61/25.53	    decisions=2422067, wrong=1208227, backtracks=1152744, failedAssignments=737793, nogoods=2739, foundSolutions=33, bestBound=2
27.61/25.53	    
29.61/27.58	    num=395, depth=3..25, filters=4540559, ccks=297, wck=25.47, mem=108M855
29.61/27.58	    decisions=2641022, wrong=1317700, backtracks=1256822, failedAssignments=802080, nogoods=2750, foundSolutions=33, bestBound=2
29.61/27.58	    
31.81/29.76	    num=396, depth=4..27, filters=4919412, ccks=297, wck=27.648, mem=121M935
31.81/29.76	    decisions=2878852, wrong=1436609, backtracks=1370052, failedAssignments=872796, nogoods=2761, foundSolutions=33, bestBound=2
31.81/29.76	    
34.41/32.37	    num=397, depth=3..25, filters=5396235, ccks=297, wck=30.251, mem=140M247
34.41/32.37	    decisions=3162477, wrong=1578416, backtracks=1505098, failedAssignments=950583, nogoods=2769, foundSolutions=33, bestBound=2
34.41/32.37	    
37.55/35.44	    num=398, depth=3..25, filters=5952721, ccks=297, wck=33.322, mem=27M729
37.55/35.44	    decisions=3500258, wrong=1747301, backtracks=1663206, failedAssignments=1036149, nogoods=2781, foundSolutions=33, bestBound=2
37.55/35.44	    
40.65/38.59	    num=399, depth=3..24, filters=6569728, ccks=297, wck=36.48, mem=48M731
40.65/38.59	    decisions=3850251, wrong=1922294, backtracks=1830059, failedAssignments=1130272, nogoods=2792, foundSolutions=33, bestBound=2
40.65/38.59	    
44.26/42.14	    num=400, depth=3..25, filters=7235545, ccks=297, wck=40.026, mem=72M358
44.26/42.14	    decisions=4236414, wrong=2115371, backtracks=2011657, failedAssignments=1233807, nogoods=2803, foundSolutions=33, bestBound=2
44.26/42.14	    
48.15/46.09	    num=401, depth=3..25, filters=7965375, ccks=297, wck=43.978, mem=95M985
48.15/46.09	    decisions=4663309, wrong=2328814, backtracks=2214575, failedAssignments=1347696, nogoods=2814, foundSolutions=33, bestBound=2
48.15/46.09	    
52.55/50.48	    num=402, depth=3..24, filters=8760034, ccks=297, wck=48.364, mem=124M863
52.55/50.48	    decisions=5141231, wrong=2567770, backtracks=2440568, failedAssignments=1472974, nogoods=2824, foundSolutions=33, bestBound=2
52.55/50.48	    
57.37/55.23	    num=403, depth=2..25, filters=9653189, ccks=297, wck=53.111, mem=22M493
57.37/55.23	    decisions=5692102, wrong=2843201, backtracks=2701191, failedAssignments=1610780, nogoods=2834, foundSolutions=33, bestBound=2
57.37/55.23	    
62.87/60.78	    num=404, depth=2..25, filters=10660508, ccks=297, wck=58.67, mem=56M699
62.87/60.78	    decisions=6283004, wrong=3138647, backtracks=2979210, failedAssignments=1762366, nogoods=2846, foundSolutions=33, bestBound=2
62.87/60.78	    
69.07/66.94	    num=405, depth=2..25, filters=11791210, ccks=297, wck=64.825, mem=90M905
69.07/66.94	    decisions=6967851, wrong=3481066, backtracks=3303240, failedAssignments=1929111, nogoods=2857, foundSolutions=33, bestBound=2
69.07/66.94	    
76.07/74.00	    num=406, depth=1..25, filters=13083507, ccks=297, wck=71.886, mem=133M5
76.07/74.00	    decisions=7751890, wrong=3873082, backtracks=3674928, failedAssignments=2112530, nogoods=2866, foundSolutions=33, bestBound=2
76.07/74.00	    
84.50/82.30	    num=407, depth=0..24, filters=14574090, ccks=297, wck=80.185, mem=45M869
84.50/82.30	    decisions=8647359, wrong=4320811, backtracks=4099281, failedAssignments=2314291, nogoods=2872, foundSolutions=33, bestBound=2
84.50/82.30	    
86.60/84.46	
86.60/84.46	  New Bounds: 2..1
86.60/84.46	    num=408, depth=0..22, filters=14948435, ccks=297, wck=82.341, mem=56M242
86.60/84.46	    decisions=8872399, wrong=4433332, backtracks=4206480, failedAssignments=2359426, foundSolutions=33, bestBound=2
86.60/84.46	    
86.60/84.46	  Global
86.60/84.46	    filters=14948435, ccks=297
86.60/84.46	    Stop=FULL_EXPLORATION, wrong=4433332, bestBound=2, bestBoundWck=3.223, bestBoundCpu=5.034, foundSolutions=33, firstSolCpu=2.101
86.60/84.46	    wck=82.604, cpu=84.372, mem=56M242
86.60/84.46	
86.60/84.46	v <instantiation id='sol33' 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 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 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 </values>  </instantiation>
86.60/84.46	s OPTIMUM FOUND
86.60/84.46	
86.60/84.46	d WRONG_DECISIONS 4433332
86.60/84.46	d NUMBER_SOLUTIONS 33

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391243-1568390571/watcher-4391243-1568390571 -o /tmp/evaluation-result-4391243-1568390571/solver-4391243-1568390571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568390530-31343 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391243-1568390571.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
Current StackSize limit: 8192 KiB

solver pid=31362, runsolver pid=31359

[startup+0.100068 s]*
/proc/loadavg: 1.00 1.03 1.31 5/228 31401
/proc/meminfo: memFree=24103788/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10659884 memory=28544 CPUtime=0.14 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 5560 0 0 0 13 1 0 0 20 0 15 0 414994455 10915721216 7136 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2664971 7136 2902 1 0 2627468 0
[pid=31362/tid=31365] ppid=31359 vsize=10659884 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) R 31359 31362 29438 0 -1 4202560 3375 0 0 0 9 0 0 0 20 0 15 0 414994456 10915721216 7136 33554432000 4194304 4196468 140732216402400 140393378158224 140393373941142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 7136 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 7136 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 7136 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 7136 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392864875296 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392863822960 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0.02 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) R 31359 31362 29438 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 414994461 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392859614064 140393352559808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 7136 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28544 KiB

[startup+0.211122 s]*
/proc/loadavg: 1.00 1.03 1.31 3/228 31401
/proc/meminfo: memFree=24084576/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10659884 memory=35256 CPUtime=0.32 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 6917 0 0 0 30 2 0 0 20 0 15 0 414994455 10915721216 8814 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2664971 8814 2989 1 0 2627468 0
[pid=31362/tid=31365] ppid=31359 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) R 31359 31362 29438 0 -1 4202560 3881 0 0 0 18 1 0 0 20 0 15 0 414994456 10915721216 8814 33554432000 4194304 4196468 140732216402400 140393378161296 140393330536253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 8814 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10659884 memory=140370061454699 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 8814 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 8814 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 8814 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392864875296 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392863822960 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 414994461 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 414994461 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0.05 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 764 0 0 0 5 0 0 0 20 0 15 0 414994461 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10659884 memory=140370061424256 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 8814 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35256 KiB

[startup+0.310192 s]*
/proc/loadavg: 1.08 1.05 1.31 3/228 31401
/proc/meminfo: memFree=24081048/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10659884 memory=40572 CPUtime=0.45 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 9419 0 0 0 42 3 0 0 20 0 15 0 414994455 10915721216 10143 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2664971 10143 3002 1 0 2627468 0
[pid=31362/tid=31365] ppid=31359 vsize=10659884 memory=53476 CPUtime=0.29 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) R 31359 31362 29438 0 -1 4202560 6313 0 0 0 27 2 0 0 20 0 15 0 414994456 10915721216 10143 33554432000 4194304 4196468 140732216402400 140393378150096 140393358009694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 10143 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10659884 memory=140370061482272 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 10143 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10659884 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 10143 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994456 10915721216 10143 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10659884 memory=140370061489184 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10659884 memory=35 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392864875296 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414994458 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392863822960 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 15 0 414994461 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10659884 memory=140369933230031 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 394 0 0 0 4 0 0 0 20 0 15 0 414994461 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10659884 memory=140370061455599 CPUtime=0.07 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 795 0 0 0 7 0 0 0 20 0 15 0 414994461 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10659884 memory=140369933230031 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10659884 memory=280739994671040 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994461 10915721216 10143 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40572 KiB

[startup+0.700771 s]
/proc/loadavg: 1.08 1.05 1.31 3/228 31401
/proc/meminfo: memFree=24057644/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10661932 memory=63696 CPUtime=1.09 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 13051 0 0 0 103 6 0 0 20 0 15 0 414994455 10917818368 15924 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2665483 15924 3071 1 0 2627980 0
[pid=31362/tid=31365] ppid=31359 vsize=10661932 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) R 31359 31362 29438 0 -1 4202560 8868 0 0 0 63 4 0 0 20 0 15 0 414994456 10917818368 15988 33554432000 4194304 4196468 140732216402400 140393378150912 140393358009694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10917818368 15988 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10661932 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10917818368 15988 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10661932 memory=15208 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10917818368 15988 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10661932 memory=24312 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994456 10917818368 15988 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10661932 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994458 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10661932 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414994458 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392864875296 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414994458 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392863822960 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 856 0 0 0 9 0 0 0 20 0 15 0 414994461 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 667 0 0 0 11 0 0 0 20 0 15 0 414994461 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10661932 memory=-1807685287725067907 CPUtime=0.18 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 1302 0 0 0 18 0 0 0 20 0 15 0 414994461 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414994461 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994461 10917818368 15988 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63696 KiB

[startup+1.50078 s]
/proc/loadavg: 1.08 1.05 1.31 3/228 31401
/proc/meminfo: memFree=24026372/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10663980 memory=76180 CPUtime=1.99 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 18662 0 0 0 192 7 0 0 20 0 15 0 414994455 10919915520 19045 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2665995 19045 3096 1 0 2628492 0
[pid=31362/tid=31365] ppid=31359 vsize=10663980 memory=3472329456776996200 CPUtime=1.47 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) R 31359 31362 29438 0 -1 4202560 13071 0 0 0 142 5 0 0 20 0 15 0 414994456 10919915520 19045 33554432000 4194304 4196468 140732216402400 140393378161232 140393358009694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10663980 memory=67536 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10919915520 19045 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10919915520 19045 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10663980 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414994456 10919915520 19045 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10663980 memory=15208 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414994456 10919915520 19045 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10663980 memory=24312 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 414994458 10919915520 19045 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0

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

[startup+81.6006 s]
/proc/loadavg: 1.76 1.27 1.37 3/231 31409
/proc/meminfo: memFree=23677224/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10746276 memory=230732 CPUtime=83.8 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 40818 0 0 0 8365 15 0 0 20 0 16 0 414994455 11004186624 57683 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2686569 57683 3374 1 0 2646705 0
[pid=31362/tid=31365] ppid=31359 vsize=10746276 memory=1100 CPUtime=1.85 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) S 31359 31362 29438 0 -1 1077944384 15322 0 0 0 179 6 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393378172080 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10746276 memory=15208 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 2739 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10746276 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10746276 memory=5866597690431351454 CPUtime=0.03 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10746276 memory=7084851982960533647 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 395 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10746276 memory=7663264347209622165 CPUtime=0.01 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2203 0 0 0 1 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10746276 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392864875360 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10746276 memory=39996 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392863822976 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10746276 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10746276 memory=2352 CPUtime=0.7 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 2840 0 0 0 70 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10746276 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 2164 0 0 0 79 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10746276 memory=2976 CPUtime=0.52 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 4337 0 0 0 51 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10746276 memory=230732 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10746276 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31402] ppid=31359 vsize=10746276 memory=2920 CPUtime=79.63 cores=1,3,5,7
/proc/31362/task/31402/stat : 31402 (java) R 31359 31362 29438 0 -1 4202560 7634 0 0 0 7961 2 0 0 20 0 16 0 414994644 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392840440928 140392972817647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 83.8 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 230732 KiB

[startup+83.2006 s]
/proc/loadavg: 1.76 1.27 1.37 3/231 31409
/proc/meminfo: memFree=23677224/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10746276 memory=230732 CPUtime=85.4 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 40838 0 0 0 8525 15 0 0 20 0 16 0 414994455 11004186624 57683 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2686569 57683 3374 1 0 2646705 0
[pid=31362/tid=31365] ppid=31359 vsize=10746276 memory=920 CPUtime=1.85 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) S 31359 31362 29438 0 -1 1077944384 15322 0 0 0 179 6 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393378172080 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10746276 memory=239984 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 2739 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10746276 memory=239984 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10746276 memory=5764 CPUtime=0.03 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10746276 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 395 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10746276 memory=39996 CPUtime=0.01 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2203 0 0 0 1 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10746276 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392864875360 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392863822976 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10746276 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10746276 memory=2352 CPUtime=0.7 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 2840 0 0 0 70 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10746276 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 2164 0 0 0 79 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10746276 memory=7679937539709960979 CPUtime=0.52 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 4337 0 0 0 51 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10746276 memory=6944613755328037015 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10746276 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31402] ppid=31359 vsize=10746276 memory=230732 CPUtime=81.23 cores=1,3,5,7
/proc/31362/task/31402/stat : 31402 (java) R 31359 31362 29438 0 -1 4202560 7654 0 0 0 8121 2 0 0 20 0 16 0 414994644 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392840440928 140392972817889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 85.4 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 230732 KiB

[startup+84.0006 s]*
/proc/loadavg: 1.76 1.27 1.37 3/230 31409
/proc/meminfo: memFree=23679656/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10746276 memory=230732 CPUtime=86.21 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 40842 0 0 0 8606 15 0 0 20 0 16 0 414994455 11004186624 57683 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2686569 57683 3374 1 0 2646705 0
[pid=31362/tid=31365] ppid=31359 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) S 31359 31362 29438 0 -1 1077944384 15322 0 0 0 179 6 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393378172080 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10746276 memory=8104553123226464306 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 2739 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10746276 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10746276 memory=57540 CPUtime=0.03 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10746276 memory=6944613755479294112 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 395 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10746276 memory=7306316804797196914 CPUtime=0.01 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2203 0 0 0 1 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10746276 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392864875360 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10746276 memory=7649399362840375603 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392863822976 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10746276 memory=7679937539709960979 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10746276 memory=7447089357297969232 CPUtime=0.7 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 2840 0 0 0 70 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10746276 memory=7649399380003467571 CPUtime=0.8 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 2164 0 0 0 79 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10746276 memory=7649399397183336755 CPUtime=0.52 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 4337 0 0 0 51 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10746276 memory=11537 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31402] ppid=31359 vsize=10746276 memory=13412 CPUtime=82.04 cores=1,3,5,7
/proc/31362/task/31402/stat : 31402 (java) R 31359 31362 29438 0 -1 4202560 7658 0 0 0 8202 2 0 0 20 0 16 0 414994644 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392840433040 140392973401099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 86.21 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 230732 KiB

[startup+84.4006 s]
/proc/loadavg: 1.76 1.27 1.37 3/230 31409
/proc/meminfo: memFree=23679656/32770624 swapFree=67108848/67108860
[pid=31362] ppid=31359 vsize=10746276 memory=230732 CPUtime=86.6 cores=1,3,5,7
/proc/31362/stat : 31362 (java) S 31359 31362 29438 0 -1 1077944320 40843 0 0 0 8645 15 0 0 20 0 16 0 414994455 11004186624 57683 33554432000 4194304 4196468 140732216402400 140732216384944 140393373929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
/proc/31362/statm: 2686569 57683 3374 1 0 2646705 0
[pid=31362/tid=31365] ppid=31359 vsize=10746276 memory=1228 CPUtime=1.85 cores=1,3,5,7
/proc/31362/task/31365/stat : 31365 (java) S 31359 31362 29438 0 -1 1077944384 15322 0 0 0 179 6 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393378172080 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31369] ppid=31359 vsize=10746276 memory=2352 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31369/stat : 31369 (java) S 31359 31362 29438 0 -1 1077944384 2739 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393300003728 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31370] ppid=31359 vsize=10746276 memory=1792 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31370/stat : 31370 (java) S 31359 31362 29438 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393298950928 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31371] ppid=31359 vsize=10746276 memory=8612 CPUtime=0.03 cores=1,3,5,7
/proc/31362/task/31371/stat : 31371 (java) S 31359 31362 29438 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393297898640 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31372] ppid=31359 vsize=10746276 memory=288230574492221466 CPUtime=0.04 cores=1,3,5,7
/proc/31362/task/31372/stat : 31372 (java) S 31359 31362 29438 0 -1 1077944384 395 0 0 0 4 0 0 0 20 0 16 0 414994456 11004186624 57683 33554432000 4194304 4196468 140732216402400 140393296845840 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31379] ppid=31359 vsize=10746276 memory=288230596050944315 CPUtime=0.01 cores=1,3,5,7
/proc/31362/task/31379/stat : 31379 (java) S 31359 31362 29438 0 -1 1077944384 2203 0 0 0 1 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392865929328 140393373940354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31381] ppid=31359 vsize=10746276 memory=15535223966273670 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31381/stat : 31381 (java) S 31359 31362 29438 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392864875360 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31382] ppid=31359 vsize=10746276 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31382/stat : 31382 (java) S 31359 31362 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414994458 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392863822976 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31390] ppid=31359 vsize=10746276 memory=812 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31390/stat : 31390 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392862771280 140393373947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31391] ppid=31359 vsize=10746276 memory=1840 CPUtime=0.7 cores=1,3,5,7
/proc/31362/task/31391/stat : 31391 (java) S 31359 31362 29438 0 -1 1077944384 2840 0 0 0 70 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392861719152 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31392] ppid=31359 vsize=10746276 memory=1384 CPUtime=0.8 cores=1,3,5,7
/proc/31362/task/31392/stat : 31392 (java) S 31359 31362 29438 0 -1 1077944384 2164 0 0 0 79 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392860666352 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31393] ppid=31359 vsize=10746276 memory=7172 CPUtime=0.52 cores=1,3,5,7
/proc/31362/task/31393/stat : 31393 (java) S 31359 31362 29438 0 -1 1077944384 4337 0 0 0 51 1 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392859614064 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31394] ppid=31359 vsize=10746276 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31394/stat : 31394 (java) S 31359 31362 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392858561504 140393373939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31395] ppid=31359 vsize=10746276 memory=15208 CPUtime=0 cores=1,3,5,7
/proc/31362/task/31395/stat : 31395 (java) S 31359 31362 29438 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 16 0 414994461 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392857508272 140393373940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
[pid=31362/tid=31402] ppid=31359 vsize=10746276 memory=230732 CPUtime=82.43 cores=1,3,5,7
/proc/31362/task/31402/stat : 31402 (java) R 31359 31362 29438 0 -1 4202560 7659 0 0 0 8241 2 0 0 20 0 16 0 414994644 11004186624 57683 33554432000 4194304 4196468 140732216402400 140392840433040 140392972817662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30380032 140732216407051 140732216407154 140732216407154 140732216410063 0
Current children cumulated CPU time: 86.6 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 230732 KiB

Child status: 0
Real time (s): 84.4678
CPU time (s): 86.6801
CPU user time (s): 86.518
CPU system time (s): 0.162144
CPU usage (%): 102.619
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 240016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.518
system time used= 0.162144
maximum resident set size= 240024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4365
involuntary context switches= 80


# summary of solver processes directly reported to runsolver:
#   pid: 31362
#   total CPU time (s): 86.6801
#   total CPU user time (s): 86.518
#   total CPU system time (s): 0.162144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.56041 second user time and 0.737936 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 18:02:10
IDJOB=4391243
IDBENCH=135505
IDSOLVER=2833
FILE ID=node143/4391243-1568390571
RUNJOBID= node143-1568390530-31343
PBS_JOBID= 21701827
Free space on /tmp= 58856 MiB

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

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

MD5SUM BENCH= 0b293698762add7ba6ae5db7003c937f
RANDOM SEED=1993829464

node143.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.73
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.73
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.73
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.73
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:        24137328 kB
MemAvailable:   31758868 kB
Buffers:          184624 kB
Cached:          7722428 kB
SwapCached:            8 kB
Active:          2217068 kB
Inactive:        5742064 kB
Active(anon):       5716 kB
Inactive(anon):   145844 kB
Active(file):    2211352 kB
Inactive(file):  5596220 kB
Unevictable:      106456 kB
Mlocked:          106456 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             15492 kB
Writeback:             0 kB
AnonPages:        157952 kB
Mapped:            47812 kB
Shmem:             90756 kB
Slab:             270984 kB
SReclaimable:     242428 kB
SUnreclaim:        28556 kB
KernelStack:        3376 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     504212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 58836 MiB
End job on node143 at 2019-09-13 18:03:34