Trace number 4390942

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 141.678 139.528

DiagnosticValue
WRONG_DECISIONS6452890

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-marketSplit/
Pb-msplit-opt-4-30-3.xml
MD5SUMcaf7afe645c801dd46bb53c517bf0cee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark141.678
Satisfiable
(Un)Satisfiability was proved
Number of variables94
Number of constraints8
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":94}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":64},{"degree":6,"count":1},{"degree":8,"count":29}]
Minimum constraint arity45
Maximum constraint arity46
Distribution of constraint arities[{"arity":45,"count":2},{"arity":46,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":8}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
2.90/2.02	  Instance
2.90/2.02	    name=instance-4390942-1568384910, framework=COP, bounds=-infty..+infty
2.90/2.02	
2.90/2.02	  Loading variables...
2.90/2.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5e7950
2.90/2.02	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a51d6ee
2.90/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@248489ba
2.90/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@663dbd6
2.90/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a4082ef
2.90/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc40143
2.90/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cc4c3a
2.90/2.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161ef711
2.90/2.08	
2.90/2.08	
2.90/2.08	  Domains
2.90/2.08	    nTypes=1, nValues=188, sizes=[2#94]
2.90/2.08	  Variables
2.90/2.08	    count=94, degrees=[3#64,6#1,8#29]
2.90/2.08	  Objectives
2.90/2.08	    way=min, type=SumWeightedLE
2.90/2.08	  Constraints
2.90/2.08	    count=9, nSpecific=9, arities=[45#2,46#6,64#1]
2.90/2.08	    distribution=[SumWeightedGE#8,SumWeightedLE#1]
2.90/2.08	    wck=0.234, cpu=2.044, mem=18M585
2.90/2.08	  Solver SolverBacktrack being built...
2.90/2.08	
2.90/2.10	
2.90/2.10	  Solver
2.90/2.10	    guaranteedGAC=true
2.90/2.10	    wck=0.263, cpu=2.072, mem=29M227
2.90/2.11	
2.90/2.11	  Preprocessing
2.90/2.11	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
2.90/2.11	    wck=0.001, cpu=2.074, mem=29M227
2.90/2.11	
3.19/2.12	    num=0, depth=76..82, filters=45, wck=0.013, mem=29M227
3.19/2.12	    decisions=100, wrong=12, backtracks=10, failedAssignments=10, nogoods=3
3.19/2.12	    
3.19/2.13	o 754
3.19/2.14	    num=1, depth=95..93, filters=67, ccks=9, wck=0.032, mem=31M870
3.19/2.14	    decisions=143, wrong=12, backtracks=10, failedAssignments=10, nogoods=3, foundSolutions=1, bestBound=754
3.19/2.14	    
3.19/2.14	o 753
3.19/2.14	    num=2, depth=34..93, filters=103, ccks=18, wck=0.037, mem=31M870
3.19/2.14	    decisions=182, wrong=14, backtracks=10, failedAssignments=12, nogoods=5, foundSolutions=2, bestBound=753
3.19/2.14	    
3.19/2.15	o 661
3.19/2.15	    num=3, depth=19..93, filters=183, ccks=27, wck=0.042, mem=31M870
3.19/2.15	    decisions=234, wrong=24, backtracks=15, failedAssignments=17, nogoods=10, foundSolutions=3, bestBound=661
3.19/2.15	    
3.19/2.15	o 653
3.19/2.15	    num=4, depth=18..93, filters=207, ccks=36, wck=0.045, mem=31M870
3.19/2.15	    decisions=270, wrong=25, backtracks=15, failedAssignments=18, nogoods=11, foundSolutions=4, bestBound=653
3.19/2.15	    
3.19/2.15	o 648
3.19/2.15	    num=5, depth=17..93, filters=243, ccks=45, wck=0.047, mem=31M870
3.19/2.15	    decisions=306, wrong=28, backtracks=17, failedAssignments=20, nogoods=12, foundSolutions=5, bestBound=648
3.19/2.15	    
3.19/2.16	o 484
3.19/2.16	    num=6, depth=17..93, filters=311, ccks=54, wck=0.051, mem=31M870
3.19/2.16	    decisions=371, wrong=39, backtracks=25, failedAssignments=24, nogoods=15, foundSolutions=6, bestBound=484
3.19/2.16	    
3.19/2.16	    num=7, depth=16..33, filters=407, ccks=54, wck=0.053, mem=34M512
3.19/2.16	    decisions=434, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=6, bestBound=484
3.19/2.16	    
3.19/2.16	o 404
3.19/2.16	    num=8, depth=95..93, filters=425, ccks=63, wck=0.055, mem=34M512
3.19/2.16	    decisions=477, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=7, bestBound=404
3.19/2.16	    
3.19/2.16	o 324
3.19/2.16	    num=9, depth=95..93, filters=442, ccks=72, wck=0.057, mem=34M512
3.19/2.16	    decisions=515, wrong=62, backtracks=45, failedAssignments=35, nogoods=18, foundSolutions=8, bestBound=324
3.19/2.16	    
3.19/2.16	o 314
3.19/2.16	    num=10, depth=19..93, filters=502, ccks=81, wck=0.059, mem=34M512
3.19/2.16	    decisions=579, wrong=74, backtracks=54, failedAssignments=38, nogoods=21, foundSolutions=9, bestBound=314
3.19/2.16	    
3.19/2.17	    num=11, depth=24..32, filters=614, ccks=81, wck=0.062, mem=34M512
3.19/2.17	    decisions=643, wrong=93, backtracks=68, failedAssignments=49, nogoods=25, foundSolutions=9, bestBound=314
3.19/2.17	    
3.19/2.18	    num=12, depth=17..30, filters=670, ccks=81, wck=0.063, mem=34M512
3.19/2.18	    decisions=685, wrong=104, backtracks=68, failedAssignments=60, nogoods=36, foundSolutions=9, bestBound=314
3.19/2.18	    
3.19/2.18	    num=13, depth=24..35, filters=771, ccks=81, wck=0.065, mem=34M512
3.19/2.18	    decisions=746, wrong=122, backtracks=83, failedAssignments=72, nogoods=38, foundSolutions=9, bestBound=314
3.19/2.18	    
3.19/2.18	o 117
3.19/2.18	    num=14, depth=34..93, filters=794, ccks=90, wck=0.066, mem=34M512
3.19/2.18	    decisions=799, wrong=123, backtracks=83, failedAssignments=73, nogoods=39, foundSolutions=10, bestBound=117
3.19/2.18	    
3.19/2.18	o 116
3.19/2.18	    num=15, depth=21..93, filters=819, ccks=99, wck=0.068, mem=34M512
3.19/2.18	    decisions=832, wrong=125, backtracks=83, failedAssignments=75, nogoods=41, foundSolutions=11, bestBound=116
3.19/2.18	    
3.19/2.18	o 106
3.19/2.18	    num=16, depth=33..93, filters=838, ccks=108, wck=0.069, mem=34M512
3.19/2.18	    decisions=875, wrong=126, backtracks=83, failedAssignments=76, nogoods=42, foundSolutions=12, bestBound=106
3.19/2.18	    
3.19/2.18	    num=17, depth=17..39, filters=920, ccks=108, wck=0.071, mem=34M512
3.19/2.18	    decisions=956, wrong=149, backtracks=102, failedAssignments=87, nogoods=44, foundSolutions=12, bestBound=106
3.19/2.18	    
3.19/2.18	    num=18, depth=17..27, filters=1018, ccks=108, wck=0.072, mem=34M512
3.19/2.18	    decisions=1015, wrong=170, backtracks=119, failedAssignments=98, nogoods=48, foundSolutions=12, bestBound=106
3.19/2.18	    
3.19/2.18	    num=19, depth=16..27, filters=1123, ccks=108, wck=0.074, mem=34M512
3.19/2.18	    decisions=1085, wrong=195, backtracks=137, failedAssignments=110, nogoods=56, foundSolutions=12, bestBound=106
3.19/2.18	    
3.19/2.18	    num=20, depth=13..28, filters=1187, ccks=108, wck=0.075, mem=34M512
3.19/2.18	    decisions=1135, wrong=213, backtracks=150, failedAssignments=123, nogoods=61, foundSolutions=12, bestBound=106
3.19/2.18	    
3.19/2.18	    num=21, depth=12..23, filters=1253, ccks=108, wck=0.077, mem=34M512
3.19/2.18	    decisions=1185, wrong=231, backtracks=158, failedAssignments=137, nogoods=71, foundSolutions=12, bestBound=106
3.19/2.18	    
3.19/2.18	o 90
3.19/2.19	    num=22, depth=19..93, filters=1284, ccks=117, wck=0.078, mem=34M512
3.19/2.19	    decisions=1234, wrong=234, backtracks=158, failedAssignments=140, nogoods=74, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	    num=23, depth=19..28, filters=1361, ccks=117, wck=0.08, mem=34M512
3.19/2.19	    decisions=1299, wrong=257, backtracks=175, failedAssignments=157, nogoods=79, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	    num=24, depth=14..30, filters=1489, ccks=117, wck=0.081, mem=34M512
3.19/2.19	    decisions=1365, wrong=283, backtracks=197, failedAssignments=168, nogoods=80, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	    num=25, depth=13..21, filters=1549, ccks=117, wck=0.082, mem=34M512
3.19/2.19	    decisions=1412, wrong=299, backtracks=209, failedAssignments=180, nogoods=84, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	    num=26, depth=12..28, filters=1621, ccks=117, wck=0.084, mem=34M512
3.19/2.19	    decisions=1463, wrong=318, backtracks=225, failedAssignments=193, nogoods=87, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	    num=27, depth=17..29, filters=1732, ccks=117, wck=0.085, mem=34M512
3.19/2.19	    decisions=1538, wrong=345, backtracks=249, failedAssignments=207, nogoods=91, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	    num=28, depth=25..42, filters=1825, ccks=117, wck=0.087, mem=34M512
3.19/2.19	    decisions=1606, wrong=365, backtracks=262, failedAssignments=223, nogoods=98, foundSolutions=13, bestBound=90
3.19/2.19	    
3.19/2.19	o 67
3.19/2.19	    num=29, depth=13..93, filters=1940, ccks=126, wck=0.089, mem=34M512
3.19/2.19	    decisions=1690, wrong=387, backtracks=274, failedAssignments=236, nogoods=108, foundSolutions=14, bestBound=67
3.19/2.19	    
3.19/2.20	    num=30, depth=13..31, filters=2031, ccks=126, wck=0.091, mem=34M512
3.19/2.20	    decisions=1750, wrong=410, backtracks=287, failedAssignments=255, nogoods=118, foundSolutions=14, bestBound=67
3.19/2.20	    
3.47/2.20	    num=31, depth=27..34, filters=2128, ccks=126, wck=0.092, mem=34M512
3.47/2.20	    decisions=1814, wrong=428, backtracks=298, failedAssignments=266, nogoods=122, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.20	    num=32, depth=13..26, filters=2206, ccks=126, wck=0.093, mem=34M512
3.47/2.20	    decisions=1868, wrong=448, backtracks=313, failedAssignments=278, nogoods=127, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.20	    num=33, depth=14..22, filters=2267, ccks=126, wck=0.094, mem=34M512
3.47/2.20	    decisions=1916, wrong=465, backtracks=329, failedAssignments=291, nogoods=131, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.20	    num=34, depth=13..23, filters=2342, ccks=126, wck=0.095, mem=34M512
3.47/2.20	    decisions=1971, wrong=486, backtracks=350, failedAssignments=305, nogoods=132, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.20	    num=35, depth=12..26, filters=2412, ccks=126, wck=0.097, mem=34M512
3.47/2.20	    decisions=2025, wrong=505, backtracks=360, failedAssignments=321, nogoods=141, foundSolutions=14, bestBound=67
3.47/2.20	    
3.47/2.21	    num=36, depth=14..23, filters=2481, ccks=126, wck=0.098, mem=34M512
3.47/2.21	    decisions=2083, wrong=526, backtracks=376, failedAssignments=338, nogoods=146, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=37, depth=12..21, filters=2575, ccks=126, wck=0.1, mem=34M512
3.47/2.21	    decisions=2146, wrong=550, backtracks=393, failedAssignments=357, nogoods=153, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	    num=38, depth=12..23, filters=2674, ccks=126, wck=0.101, mem=34M512
3.47/2.21	    decisions=2216, wrong=578, backtracks=413, failedAssignments=378, nogoods=162, foundSolutions=14, bestBound=67
3.47/2.21	    
3.47/2.21	o 57
3.47/2.21	    num=39, depth=16..93, filters=2764, ccks=135, wck=0.103, mem=34M512
3.47/2.21	    decisions=2293, wrong=597, backtracks=424, failedAssignments=392, nogoods=170, foundSolutions=15, bestBound=57
3.47/2.21	    
3.47/2.21	o 53
3.47/2.21	    num=40, depth=13..93, filters=2888, ccks=144, wck=0.105, mem=34M512
3.47/2.21	    decisions=2371, wrong=621, backtracks=442, failedAssignments=410, nogoods=176, foundSolutions=16, bestBound=53
3.47/2.21	    
3.47/2.21	    num=41, depth=13..23, filters=2959, ccks=144, wck=0.107, mem=34M512
3.47/2.21	    decisions=2415, wrong=635, backtracks=451, failedAssignments=421, nogoods=182, foundSolutions=16, bestBound=53
3.47/2.21	    
3.47/2.22	o 37
3.47/2.22	    num=42, depth=14..93, filters=2988, ccks=153, wck=0.108, mem=34M512
3.47/2.22	    decisions=2457, wrong=638, backtracks=451, failedAssignments=424, nogoods=185, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=43, depth=11..19, filters=3062, ccks=153, wck=0.109, mem=34M512
3.47/2.22	    decisions=2506, wrong=656, backtracks=465, failedAssignments=436, nogoods=188, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=44, depth=13..20, filters=3130, ccks=153, wck=0.11, mem=34M512
3.47/2.22	    decisions=2557, wrong=674, backtracks=477, failedAssignments=447, nogoods=192, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=45, depth=12..20, filters=3187, ccks=153, wck=0.111, mem=34M512
3.47/2.22	    decisions=2602, wrong=690, backtracks=489, failedAssignments=459, nogoods=197, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=46, depth=13..22, filters=3279, ccks=153, wck=0.113, mem=34M512
3.47/2.22	    decisions=2663, wrong=714, backtracks=512, failedAssignments=472, nogoods=201, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=47, depth=11..20, filters=3341, ccks=153, wck=0.114, mem=34M512
3.47/2.22	    decisions=2712, wrong=732, backtracks=527, failedAssignments=486, nogoods=204, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=48, depth=13..23, filters=3409, ccks=153, wck=0.115, mem=34M512
3.47/2.22	    decisions=2763, wrong=751, backtracks=540, failedAssignments=502, nogoods=210, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	    num=49, depth=12..20, filters=3485, ccks=153, wck=0.116, mem=34M512
3.47/2.22	    decisions=2817, wrong=772, backtracks=560, failedAssignments=519, nogoods=211, foundSolutions=17, bestBound=37
3.47/2.22	    
3.47/2.22	o 15
3.47/2.22	    num=50, depth=13..93, filters=3574, ccks=162, wck=0.118, mem=34M512
3.47/2.22	    decisions=2886, wrong=789, backtracks=571, failedAssignments=530, nogoods=217, foundSolutions=18, bestBound=15
3.47/2.22	    
3.47/2.22	    num=51, depth=10..21, filters=3694, ccks=162, wck=0.119, mem=34M512
3.47/2.22	    decisions=2956, wrong=818, backtracks=592, failedAssignments=551, nogoods=225, foundSolutions=18, bestBound=15
3.47/2.22	    
3.47/2.22	    num=52, depth=12..21, filters=3749, ccks=162, wck=0.12, mem=34M512
3.47/2.22	    decisions=2998, wrong=832, backtracks=602, failedAssignments=562, nogoods=230, foundSolutions=18, bestBound=15
3.47/2.22	    
3.47/2.23	    num=53, depth=11..18, filters=3792, ccks=162, wck=0.121, mem=34M512
3.47/2.23	    decisions=3043, wrong=848, backtracks=611, failedAssignments=574, nogoods=236, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=54, depth=10..17, filters=3847, ccks=162, wck=0.122, mem=34M512
3.47/2.23	    decisions=3089, wrong=865, backtracks=622, failedAssignments=587, nogoods=242, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=55, depth=12..18, filters=3905, ccks=162, wck=0.123, mem=34M512
3.47/2.23	    decisions=3135, wrong=882, backtracks=635, failedAssignments=601, nogoods=248, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=56, depth=12..22, filters=3979, ccks=162, wck=0.124, mem=34M512
3.47/2.23	    decisions=3188, wrong=902, backtracks=651, failedAssignments=617, nogoods=253, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=57, depth=11..20, filters=4051, ccks=162, wck=0.125, mem=34M512
3.47/2.23	    decisions=3242, wrong=923, backtracks=669, failedAssignments=634, nogoods=256, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=58, depth=12..20, filters=4133, ccks=162, wck=0.126, mem=34M512
3.47/2.23	    decisions=3303, wrong=947, backtracks=690, failedAssignments=653, nogoods=259, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=59, depth=11..22, filters=4245, ccks=162, wck=0.127, mem=34M512
3.47/2.23	    decisions=3365, wrong=972, backtracks=708, failedAssignments=674, nogoods=267, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.23	    num=60, depth=10..19, filters=4371, ccks=162, wck=0.129, mem=34M512
3.47/2.23	    decisions=3444, wrong=1006, backtracks=735, failedAssignments=697, nogoods=274, foundSolutions=18, bestBound=15
3.47/2.23	    
3.47/2.24	    num=61, depth=12..23, filters=4490, ccks=162, wck=0.13, mem=34M512
3.47/2.24	    decisions=3517, wrong=1036, backtracks=763, failedAssignments=722, nogoods=279, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=62, depth=9..22, filters=4607, ccks=162, wck=0.132, mem=34M512
3.47/2.24	    decisions=3606, wrong=1075, backtracks=791, failedAssignments=750, nogoods=287, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=63, depth=11..20, filters=4743, ccks=162, wck=0.134, mem=34M512
3.47/2.24	    decisions=3699, wrong=1115, backtracks=824, failedAssignments=781, nogoods=295, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=64, depth=11..20, filters=4941, ccks=162, wck=0.136, mem=34M512
3.47/2.24	    decisions=3811, wrong=1165, backtracks=871, failedAssignments=815, nogoods=301, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=65, depth=12..22, filters=5127, ccks=162, wck=0.138, mem=37M155
3.47/2.24	    decisions=3916, wrong=1211, backtracks=913, failedAssignments=852, nogoods=309, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.24	    num=66, depth=12..23, filters=5296, ccks=162, wck=0.139, mem=37M155
3.47/2.24	    decisions=4033, wrong=1263, backtracks=959, failedAssignments=893, nogoods=318, foundSolutions=18, bestBound=15
3.47/2.24	    
3.47/2.25	    num=67, depth=11..22, filters=5523, ccks=162, wck=0.142, mem=37M155
3.47/2.25	    decisions=4165, wrong=1323, backtracks=1008, failedAssignments=938, nogoods=329, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=68, depth=12..23, filters=5788, ccks=162, wck=0.144, mem=37M155
3.47/2.25	    decisions=4311, wrong=1389, backtracks=1067, failedAssignments=988, nogoods=337, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=69, depth=11..21, filters=6060, ccks=162, wck=0.147, mem=37M155
3.47/2.25	    decisions=4465, wrong=1460, backtracks=1134, failedAssignments=1043, nogoods=343, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.25	    num=70, depth=9..21, filters=6332, ccks=162, wck=0.15, mem=37M155
3.47/2.25	    decisions=4627, wrong=1535, backtracks=1199, failedAssignments=1104, nogoods=352, foundSolutions=18, bestBound=15
3.47/2.25	    
3.47/2.26	    num=71, depth=11..22, filters=6614, ccks=162, wck=0.152, mem=37M155
3.47/2.26	    decisions=4803, wrong=1617, backtracks=1275, failedAssignments=1171, nogoods=360, foundSolutions=18, bestBound=15
3.47/2.26	    
3.47/2.26	    num=72, depth=11..21, filters=7028, ccks=162, wck=0.155, mem=37M155
3.47/2.26	    decisions=5024, wrong=1722, backtracks=1377, failedAssignments=1245, nogoods=365, foundSolutions=18, bestBound=15
3.47/2.26	    
3.47/2.26	    num=73, depth=12..27, filters=7386, ccks=162, wck=0.158, mem=37M155
3.47/2.26	    decisions=5244, wrong=1826, backtracks=1476, failedAssignments=1326, nogoods=371, foundSolutions=18, bestBound=15
3.47/2.26	    
3.47/2.27	    num=74, depth=10..22, filters=7821, ccks=162, wck=0.162, mem=37M155
3.47/2.27	    decisions=5504, wrong=1950, backtracks=1592, failedAssignments=1415, nogoods=380, foundSolutions=18, bestBound=15
3.47/2.27	    
3.47/2.27	o 14
3.47/2.27	    num=75, depth=12..93, filters=7960, ccks=171, wck=0.164, mem=37M155
3.47/2.27	    decisions=5592, wrong=1985, backtracks=1616, failedAssignments=1442, nogoods=391, foundSolutions=19, bestBound=14
3.47/2.27	    
3.47/2.27	    num=76, depth=11..23, filters=8437, ccks=171, wck=0.168, mem=37M155
3.47/2.27	    decisions=5887, wrong=2126, backtracks=1751, failedAssignments=1550, nogoods=396, foundSolutions=19, bestBound=14
3.47/2.27	    
3.47/2.27	    num=77, depth=12..18, filters=8490, ccks=171, wck=0.169, mem=37M155
3.47/2.27	    decisions=5928, wrong=2140, backtracks=1762, failedAssignments=1561, nogoods=400, foundSolutions=19, bestBound=14
3.47/2.27	    
3.47/2.27	    num=78, depth=12..22, filters=8557, ccks=171, wck=0.169, mem=37M155
3.47/2.27	    decisions=5968, wrong=2154, backtracks=1775, failedAssignments=1573, nogoods=402, foundSolutions=19, bestBound=14
3.47/2.27	    
3.47/2.28	    num=79, depth=12..17, filters=8633, ccks=171, wck=0.17, mem=37M155
3.47/2.28	    decisions=6016, wrong=2172, backtracks=1791, failedAssignments=1586, nogoods=408, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=80, depth=11..19, filters=8695, ccks=171, wck=0.171, mem=37M155
3.47/2.28	    decisions=6064, wrong=2190, backtracks=1804, failedAssignments=1600, nogoods=414, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=81, depth=11..22, filters=8754, ccks=171, wck=0.172, mem=37M155
3.47/2.28	    decisions=6113, wrong=2208, backtracks=1812, failedAssignments=1616, nogoods=424, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=82, depth=10..17, filters=8834, ccks=171, wck=0.173, mem=37M155
3.47/2.28	    decisions=6171, wrong=2231, backtracks=1829, failedAssignments=1633, nogoods=431, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=83, depth=10..20, filters=8911, ccks=171, wck=0.174, mem=37M155
3.47/2.28	    decisions=6230, wrong=2255, backtracks=1851, failedAssignments=1652, nogoods=433, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=84, depth=12..24, filters=9004, ccks=171, wck=0.175, mem=37M155
3.47/2.28	    decisions=6292, wrong=2280, backtracks=1875, failedAssignments=1673, nogoods=436, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=85, depth=12..21, filters=9101, ccks=171, wck=0.176, mem=37M155
3.47/2.28	    decisions=6358, wrong=2307, backtracks=1901, failedAssignments=1696, nogoods=439, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=86, depth=12..26, filters=9203, ccks=171, wck=0.177, mem=37M155
3.47/2.28	    decisions=6429, wrong=2336, backtracks=1926, failedAssignments=1721, nogoods=444, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=87, depth=10..20, filters=9321, ccks=171, wck=0.178, mem=37M155
3.47/2.28	    decisions=6507, wrong=2369, backtracks=1953, failedAssignments=1749, nogoods=450, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.28	    num=88, depth=13..23, filters=9489, ccks=171, wck=0.179, mem=37M155
3.47/2.28	    decisions=6607, wrong=2412, backtracks=1992, failedAssignments=1780, nogoods=457, foundSolutions=19, bestBound=14
3.47/2.28	    
3.47/2.29	    num=89, depth=11..23, filters=9650, ccks=171, wck=0.181, mem=37M155
3.47/2.29	    decisions=6699, wrong=2452, backtracks=2029, failedAssignments=1814, nogoods=461, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=90, depth=12..26, filters=9834, ccks=171, wck=0.184, mem=37M155
3.47/2.29	    decisions=6804, wrong=2498, backtracks=2073, failedAssignments=1851, nogoods=465, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=91, depth=11..23, filters=10041, ccks=171, wck=0.185, mem=37M155
3.47/2.29	    decisions=6918, wrong=2549, backtracks=2117, failedAssignments=1892, nogoods=473, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=92, depth=12..23, filters=10233, ccks=171, wck=0.187, mem=37M155
3.47/2.29	    decisions=7041, wrong=2604, backtracks=2166, failedAssignments=1937, nogoods=481, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.29	    num=93, depth=11..20, filters=10484, ccks=171, wck=0.189, mem=37M155
3.47/2.29	    decisions=7183, wrong=2669, backtracks=2222, failedAssignments=1987, nogoods=492, foundSolutions=19, bestBound=14
3.47/2.29	    
3.47/2.30	    num=94, depth=11..24, filters=10722, ccks=171, wck=0.191, mem=37M155
3.47/2.30	    decisions=7338, wrong=2740, backtracks=2285, failedAssignments=2042, nogoods=500, foundSolutions=19, bestBound=14
3.47/2.30	    
3.80/2.30	    num=95, depth=10..21, filters=11091, ccks=171, wck=0.194, mem=37M155
3.80/2.30	    decisions=7525, wrong=2828, backtracks=2366, failedAssignments=2103, nogoods=509, foundSolutions=19, bestBound=14
3.80/2.30	    
3.80/2.30	    num=96, depth=11..23, filters=11389, ccks=171, wck=0.196, mem=37M155
3.80/2.30	    decisions=7708, wrong=2913, backtracks=2446, failedAssignments=2170, nogoods=516, foundSolutions=19, bestBound=14
3.80/2.30	    
3.80/2.30	    num=97, depth=11..23, filters=11744, ccks=171, wck=0.199, mem=37M155
3.80/2.30	    decisions=7905, wrong=3005, backtracks=2533, failedAssignments=2244, nogoods=521, foundSolutions=19, bestBound=14
3.80/2.30	    
3.80/2.31	    num=98, depth=11..25, filters=12139, ccks=171, wck=0.202, mem=37M155
3.80/2.31	    decisions=8114, wrong=3104, backtracks=2630, failedAssignments=2325, nogoods=531, foundSolutions=19, bestBound=14
3.80/2.31	    
3.80/2.31	    num=99, depth=11..23, filters=12538, ccks=171, wck=0.205, mem=37M155
3.80/2.31	    decisions=8367, wrong=3224, backtracks=2738, failedAssignments=2414, nogoods=543, foundSolutions=19, bestBound=14
3.80/2.31	    
3.80/2.31	    num=100, depth=11..25, filters=13038, ccks=171, wck=0.208, mem=37M155
3.80/2.31	    decisions=8640, wrong=3355, backtracks=2866, failedAssignments=2512, nogoods=548, foundSolutions=19, bestBound=14
3.80/2.31	    
3.80/2.32	    num=101, depth=10..25, filters=13609, ccks=171, wck=0.213, mem=37M155
3.80/2.32	    decisions=8938, wrong=3498, backtracks=3001, failedAssignments=2620, nogoods=555, foundSolutions=19, bestBound=14
3.80/2.32	    
3.80/2.32	    num=102, depth=11..23, filters=14188, ccks=171, wck=0.217, mem=37M155
3.80/2.32	    decisions=9271, wrong=3659, backtracks=3161, failedAssignments=2739, nogoods=559, foundSolutions=19, bestBound=14
3.80/2.32	    
3.80/2.33	    num=103, depth=11..23, filters=14852, ccks=171, wck=0.222, mem=37M155
3.80/2.33	    decisions=9636, wrong=3835, backtracks=3328, failedAssignments=2870, nogoods=569, foundSolutions=19, bestBound=14
3.80/2.33	    
3.80/2.33	    num=104, depth=10..23, filters=15567, ccks=171, wck=0.227, mem=37M155
3.80/2.33	    decisions=10016, wrong=4019, backtracks=3507, failedAssignments=3014, nogoods=573, foundSolutions=19, bestBound=14
3.80/2.33	    
3.80/2.35	    num=105, depth=11..25, filters=16333, ccks=171, wck=0.232, mem=37M155
3.80/2.35	    decisions=10450, wrong=4230, backtracks=3709, failedAssignments=3172, nogoods=585, foundSolutions=19, bestBound=14
3.80/2.35	    
3.80/2.35	    num=106, depth=11..24, filters=17184, ccks=171, wck=0.238, mem=37M155
3.80/2.35	    decisions=10910, wrong=4454, backtracks=3931, failedAssignments=3346, nogoods=589, foundSolutions=19, bestBound=14
3.80/2.35	    
3.80/2.35	    num=107, depth=10..22, filters=18143, ccks=171, wck=0.245, mem=37M155
3.80/2.35	    decisions=11454, wrong=4720, backtracks=4188, failedAssignments=3537, nogoods=598, foundSolutions=19, bestBound=14
3.80/2.35	    
3.80/2.36	    num=108, depth=10..29, filters=19233, ccks=171, wck=0.252, mem=37M155
3.80/2.36	    decisions=12018, wrong=4996, backtracks=4455, failedAssignments=3748, nogoods=608, foundSolutions=19, bestBound=14
3.80/2.36	    
3.80/2.36	    num=109, depth=11..23, filters=20316, ccks=171, wck=0.259, mem=37M155
3.80/2.36	    decisions=12629, wrong=5295, backtracks=4748, failedAssignments=3980, nogoods=620, foundSolutions=19, bestBound=14
3.80/2.36	    
3.80/2.37	o 12
3.80/2.37	    num=110, depth=10..93, filters=20936, ccks=180, wck=0.264, mem=37M155
3.80/2.37	    decisions=12978, wrong=5457, backtracks=4903, failedAssignments=4101, nogoods=625, foundSolutions=20, bestBound=12
3.80/2.37	    
3.80/2.38	o 11
3.80/2.38	    num=111, depth=11..93, filters=21887, ccks=189, wck=0.271, mem=37M155
3.80/2.38	    decisions=13485, wrong=5702, backtracks=5139, failedAssignments=4288, nogoods=639, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=112, depth=13..18, filters=21940, ccks=189, wck=0.272, mem=37M155
3.80/2.38	    decisions=13527, wrong=5716, backtracks=5149, failedAssignments=4299, nogoods=645, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=113, depth=13..21, filters=22002, ccks=189, wck=0.272, mem=37M155
3.80/2.38	    decisions=13568, wrong=5730, backtracks=5154, failedAssignments=4310, nogoods=655, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=114, depth=12..19, filters=22060, ccks=189, wck=0.273, mem=37M155
3.80/2.38	    decisions=13611, wrong=5745, backtracks=5162, failedAssignments=4322, nogoods=662, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=115, depth=12..18, filters=22114, ccks=189, wck=0.273, mem=37M155
3.80/2.38	    decisions=13653, wrong=5760, backtracks=5173, failedAssignments=4335, nogoods=667, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=116, depth=12..21, filters=22181, ccks=189, wck=0.274, mem=37M155
3.80/2.38	    decisions=13702, wrong=5778, backtracks=5182, failedAssignments=4349, nogoods=676, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=117, depth=12..22, filters=22264, ccks=189, wck=0.275, mem=37M155
3.80/2.38	    decisions=13754, wrong=5798, backtracks=5200, failedAssignments=4365, nogoods=680, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=118, depth=11..21, filters=22348, ccks=189, wck=0.276, mem=37M155
3.80/2.38	    decisions=13810, wrong=5820, backtracks=5218, failedAssignments=4382, nogoods=685, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=119, depth=10..19, filters=22425, ccks=189, wck=0.277, mem=37M155
3.80/2.38	    decisions=13864, wrong=5841, backtracks=5231, failedAssignments=4401, nogoods=693, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.38	    num=120, depth=12..18, filters=22545, ccks=189, wck=0.278, mem=37M155
3.80/2.38	    decisions=13938, wrong=5872, backtracks=5259, failedAssignments=4422, nogoods=697, foundSolutions=21, bestBound=11
3.80/2.38	    
3.80/2.39	    num=121, depth=11..23, filters=22636, ccks=189, wck=0.279, mem=37M155
3.80/2.39	    decisions=14002, wrong=5898, backtracks=5278, failedAssignments=4445, nogoods=704, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=122, depth=10..19, filters=22757, ccks=189, wck=0.28, mem=37M155
3.80/2.39	    decisions=14080, wrong=5931, backtracks=5303, failedAssignments=4470, nogoods=715, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=123, depth=12..24, filters=22865, ccks=189, wck=0.281, mem=37M155
3.80/2.39	    decisions=14159, wrong=5964, backtracks=5328, failedAssignments=4498, nogoods=723, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=124, depth=11..23, filters=22991, ccks=189, wck=0.283, mem=37M155
3.80/2.39	    decisions=14246, wrong=6002, backtracks=5365, failedAssignments=4529, nogoods=726, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=125, depth=12..22, filters=23164, ccks=189, wck=0.284, mem=37M155
3.80/2.39	    decisions=14344, wrong=6044, backtracks=5403, failedAssignments=4563, nogoods=730, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=126, depth=11..24, filters=23355, ccks=189, wck=0.286, mem=37M155
3.80/2.39	    decisions=14452, wrong=6092, backtracks=5449, failedAssignments=4600, nogoods=733, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=127, depth=12..26, filters=23546, ccks=189, wck=0.288, mem=37M155
3.80/2.39	    decisions=14564, wrong=6141, backtracks=5493, failedAssignments=4641, nogoods=739, foundSolutions=21, bestBound=11
3.80/2.39	    
3.80/2.39	    num=128, depth=12..21, filters=23747, ccks=189, wck=0.289, mem=37M155
3.80/2.39	    decisions=14686, wrong=6196, backtracks=5546, failedAssignments=4686, nogoods=749, foundSolutions=21, bestBound=11
3.80/2.39	    
4.10/2.40	    num=129, depth=11..24, filters=23978, ccks=189, wck=0.292, mem=37M155
4.10/2.40	    decisions=14821, wrong=6258, backtracks=5607, failedAssignments=4736, nogoods=750, foundSolutions=21, bestBound=11
4.10/2.40	    
4.10/2.40	    num=130, depth=10..19, filters=24259, ccks=189, wck=0.294, mem=37M155
4.10/2.40	    decisions=14981, wrong=6333, backtracks=5681, failedAssignments=4791, nogoods=751, foundSolutions=21, bestBound=11
4.10/2.40	    
4.10/2.40	    num=131, depth=12..24, filters=24533, ccks=189, wck=0.296, mem=37M155
4.10/2.40	    decisions=15147, wrong=6409, backtracks=5751, failedAssignments=4852, nogoods=757, foundSolutions=21, bestBound=11
4.10/2.40	    
4.10/2.40	    num=132, depth=10..22, filters=24847, ccks=189, wck=0.299, mem=37M155
4.10/2.40	    decisions=15339, wrong=6499, backtracks=5832, failedAssignments=4919, nogoods=765, foundSolutions=21, bestBound=11
4.10/2.40	    
4.10/2.41	    num=133, depth=10..23, filters=25186, ccks=189, wck=0.301, mem=37M155
4.10/2.41	    decisions=15542, wrong=6594, backtracks=5921, failedAssignments=4993, nogoods=773, foundSolutions=21, bestBound=11
4.10/2.41	    
4.10/2.41	    num=134, depth=11..23, filters=25568, ccks=189, wck=0.305, mem=37M155
4.10/2.41	    decisions=15764, wrong=6699, backtracks=6024, failedAssignments=5074, nogoods=777, foundSolutions=21, bestBound=11
4.10/2.41	    
4.10/2.41	    num=135, depth=11..23, filters=25981, ccks=189, wck=0.308, mem=37M155
4.10/2.41	    decisions=16006, wrong=6814, backtracks=6132, failedAssignments=5163, nogoods=789, foundSolutions=21, bestBound=11
4.10/2.41	    
4.10/2.42	o 10
4.10/2.42	    num=136, depth=12..93, filters=26421, ccks=198, wck=0.312, mem=37M155
4.10/2.42	    decisions=16247, wrong=6924, backtracks=6236, failedAssignments=5251, nogoods=797, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.42	    num=137, depth=11..23, filters=26936, ccks=198, wck=0.316, mem=37M155
4.10/2.42	    decisions=16539, wrong=7064, backtracks=6374, failedAssignments=5359, nogoods=805, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.42	    num=138, depth=12..19, filters=26982, ccks=198, wck=0.317, mem=37M155
4.10/2.42	    decisions=16581, wrong=7078, backtracks=6384, failedAssignments=5370, nogoods=809, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.42	    num=139, depth=12..21, filters=27042, ccks=198, wck=0.317, mem=37M155
4.10/2.42	    decisions=16626, wrong=7094, backtracks=6398, failedAssignments=5382, nogoods=812, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.42	    num=140, depth=12..21, filters=27095, ccks=198, wck=0.318, mem=37M155
4.10/2.42	    decisions=16671, wrong=7110, backtracks=6409, failedAssignments=5395, nogoods=817, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.42	    num=141, depth=11..21, filters=27161, ccks=198, wck=0.319, mem=37M155
4.10/2.42	    decisions=16717, wrong=7127, backtracks=6421, failedAssignments=5409, nogoods=822, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.42	    num=142, depth=11..21, filters=27222, ccks=198, wck=0.319, mem=37M155
4.10/2.42	    decisions=16768, wrong=7147, backtracks=6440, failedAssignments=5425, nogoods=823, foundSolutions=22, bestBound=10
4.10/2.42	    
4.10/2.43	    num=143, depth=11..21, filters=27304, ccks=198, wck=0.321, mem=37M155
4.10/2.43	    decisions=16827, wrong=7170, backtracks=6460, failedAssignments=5442, nogoods=827, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=144, depth=11..25, filters=27411, ccks=198, wck=0.322, mem=37M155
4.10/2.43	    decisions=16887, wrong=7194, backtracks=6479, failedAssignments=5461, nogoods=833, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=145, depth=12..22, filters=27518, ccks=198, wck=0.323, mem=37M155
4.10/2.43	    decisions=16954, wrong=7221, backtracks=6501, failedAssignments=5482, nogoods=839, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=146, depth=12..23, filters=27625, ccks=198, wck=0.324, mem=37M155
4.10/2.43	    decisions=17021, wrong=7248, backtracks=6524, failedAssignments=5505, nogoods=845, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=147, depth=12..21, filters=27735, ccks=198, wck=0.325, mem=37M155
4.10/2.43	    decisions=17094, wrong=7278, backtracks=6549, failedAssignments=5530, nogoods=852, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=148, depth=12..23, filters=27874, ccks=198, wck=0.327, mem=37M155
4.10/2.43	    decisions=17175, wrong=7312, backtracks=6579, failedAssignments=5558, nogoods=858, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=149, depth=11..20, filters=28018, ccks=198, wck=0.328, mem=37M155
4.10/2.43	    decisions=17263, wrong=7350, backtracks=6613, failedAssignments=5589, nogoods=862, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.43	    num=150, depth=12..19, filters=28205, ccks=198, wck=0.33, mem=37M155
4.10/2.43	    decisions=17369, wrong=7397, backtracks=6658, failedAssignments=5623, nogoods=870, foundSolutions=22, bestBound=10
4.10/2.43	    
4.10/2.44	    num=151, depth=12..24, filters=28383, ccks=198, wck=0.331, mem=37M155
4.10/2.44	    decisions=17470, wrong=7441, backtracks=6697, failedAssignments=5660, nogoods=877, foundSolutions=22, bestBound=10
4.10/2.44	    
4.10/2.44	    num=152, depth=11..21, filters=28566, ccks=198, wck=0.333, mem=37M155
4.10/2.44	    decisions=17594, wrong=7497, backtracks=6747, failedAssignments=5701, nogoods=886, foundSolutions=22, bestBound=10
4.10/2.44	    
4.10/2.44	    num=153, depth=11..23, filters=28824, ccks=198, wck=0.335, mem=37M155
4.10/2.44	    decisions=17725, wrong=7556, backtracks=6801, failedAssignments=5746, nogoods=889, foundSolutions=22, bestBound=10
4.10/2.44	    
4.10/2.44	    num=154, depth=11..24, filters=29053, ccks=198, wck=0.337, mem=39M797
4.10/2.44	    decisions=17858, wrong=7616, backtracks=6852, failedAssignments=5796, nogoods=900, foundSolutions=22, bestBound=10
4.10/2.44	    
4.10/2.44	    num=155, depth=11..24, filters=29303, ccks=198, wck=0.34, mem=39M797
4.10/2.44	    decisions=18008, wrong=7684, backtracks=6915, failedAssignments=5851, nogoods=907, foundSolutions=22, bestBound=10
4.10/2.44	    
4.10/2.45	    num=156, depth=11..22, filters=29536, ccks=198, wck=0.342, mem=39M797
4.10/2.45	    decisions=18172, wrong=7760, backtracks=6988, failedAssignments=5912, nogoods=913, foundSolutions=22, bestBound=10
4.10/2.45	    
4.10/2.45	    num=157, depth=11..25, filters=29843, ccks=198, wck=0.344, mem=39M797
4.10/2.45	    decisions=18349, wrong=7842, backtracks=7066, failedAssignments=5979, nogoods=917, foundSolutions=22, bestBound=10
4.10/2.45	    
4.10/2.45	    num=158, depth=11..24, filters=30216, ccks=198, wck=0.347, mem=39M797
4.10/2.45	    decisions=18548, wrong=7935, backtracks=7154, failedAssignments=6053, nogoods=928, foundSolutions=22, bestBound=10
4.10/2.45	    
4.10/2.46	    num=159, depth=12..23, filters=30615, ccks=198, wck=0.35, mem=39M797
4.10/2.46	    decisions=18765, wrong=8037, backtracks=7255, failedAssignments=6134, nogoods=935, foundSolutions=22, bestBound=10
4.10/2.46	    
4.10/2.46	    num=160, depth=11..25, filters=31018, ccks=198, wck=0.353, mem=39M797
4.10/2.46	    decisions=18990, wrong=8143, backtracks=7356, failedAssignments=6223, nogoods=941, foundSolutions=22, bestBound=10
4.10/2.46	    
4.10/2.46	o 5
4.10/2.46	    num=161, depth=13..93, filters=31043, ccks=207, wck=0.354, mem=39M797
4.10/2.46	    decisions=19025, wrong=8146, backtracks=7358, failedAssignments=6225, nogoods=942, foundSolutions=23, bestBound=5
4.10/2.46	    
4.10/2.46	    num=162, depth=10..23, filters=31584, ccks=207, wck=0.358, mem=39M797
4.10/2.46	    decisions=19341, wrong=8298, backtracks=7502, failedAssignments=6333, nogoods=947, foundSolutions=23, bestBound=5
4.10/2.46	    
4.10/2.46	    num=163, depth=11..22, filters=31636, ccks=207, wck=0.359, mem=39M797
4.10/2.46	    decisions=19381, wrong=8312, backtracks=7514, failedAssignments=6344, nogoods=950, foundSolutions=23, bestBound=5
4.10/2.46	    
4.10/2.46	    num=164, depth=11..20, filters=31674, ccks=207, wck=0.36, mem=39M797
4.10/2.46	    decisions=19421, wrong=8326, backtracks=7525, failedAssignments=6356, nogoods=953, foundSolutions=23, bestBound=5
4.10/2.46	    
4.10/2.47	    num=165, depth=10..17, filters=31736, ccks=207, wck=0.36, mem=39M797
4.10/2.47	    decisions=19468, wrong=8344, backtracks=7539, failedAssignments=6369, nogoods=957, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=166, depth=11..20, filters=31800, ccks=207, wck=0.361, mem=39M797
4.10/2.47	    decisions=19514, wrong=8361, backtracks=7547, failedAssignments=6383, nogoods=966, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=167, depth=10..20, filters=31858, ccks=207, wck=0.362, mem=39M797
4.10/2.47	    decisions=19563, wrong=8380, backtracks=7564, failedAssignments=6399, nogoods=968, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=168, depth=10..19, filters=31927, ccks=207, wck=0.363, mem=39M797
4.10/2.47	    decisions=19616, wrong=8401, backtracks=7579, failedAssignments=6416, nogoods=974, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=169, depth=10..19, filters=31987, ccks=207, wck=0.363, mem=39M797
4.10/2.47	    decisions=19669, wrong=8422, backtracks=7596, failedAssignments=6435, nogoods=978, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=170, depth=10..19, filters=32071, ccks=207, wck=0.364, mem=39M797
4.10/2.47	    decisions=19730, wrong=8447, backtracks=7617, failedAssignments=6456, nogoods=983, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=171, depth=12..19, filters=32192, ccks=207, wck=0.366, mem=39M797
4.10/2.47	    decisions=19804, wrong=8478, backtracks=7644, failedAssignments=6479, nogoods=989, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=172, depth=10..20, filters=32311, ccks=207, wck=0.367, mem=39M797
4.10/2.47	    decisions=19881, wrong=8511, backtracks=7673, failedAssignments=6504, nogoods=994, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=173, depth=12..22, filters=32416, ccks=207, wck=0.368, mem=39M797
4.10/2.47	    decisions=19958, wrong=8543, backtracks=7702, failedAssignments=6532, nogoods=1000, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.47	    num=174, depth=12..25, filters=32581, ccks=207, wck=0.37, mem=39M797
4.10/2.47	    decisions=20049, wrong=8582, backtracks=7732, failedAssignments=6563, nogoods=1011, foundSolutions=23, bestBound=5
4.10/2.47	    
4.10/2.48	    num=175, depth=11..24, filters=32724, ccks=207, wck=0.371, mem=39M797
4.10/2.48	    decisions=20147, wrong=8625, backtracks=7767, failedAssignments=6597, nogoods=1019, foundSolutions=23, bestBound=5
4.10/2.48	    
4.10/2.48	    num=176, depth=10..24, filters=32888, ccks=207, wck=0.373, mem=39M797
4.10/2.48	    decisions=20250, wrong=8671, backtracks=7811, failedAssignments=6634, nogoods=1024, foundSolutions=23, bestBound=5
4.10/2.48	    
4.10/2.48	    num=177, depth=11..24, filters=33043, ccks=207, wck=0.374, mem=39M797
4.10/2.48	    decisions=20361, wrong=8720, backtracks=7851, failedAssignments=6675, nogoods=1033, foundSolutions=23, bestBound=5
4.10/2.48	    
4.10/2.48	    num=178, depth=12..25, filters=33235, ccks=207, wck=0.376, mem=39M797
4.10/2.48	    decisions=20481, wrong=8774, backtracks=7901, failedAssignments=6720, nogoods=1043, foundSolutions=23, bestBound=5
4.10/2.48	    
4.10/2.48	    num=179, depth=11..22, filters=33448, ccks=207, wck=0.378, mem=39M797
4.10/2.48	    decisions=20622, wrong=8839, backtracks=7965, failedAssignments=6770, nogoods=1051, foundSolutions=23, bestBound=5
4.10/2.48	    
4.10/2.49	    num=180, depth=11..23, filters=33716, ccks=207, wck=0.381, mem=39M797
4.10/2.49	    decisions=20771, wrong=8908, backtracks=8033, failedAssignments=6825, nogoods=1058, foundSolutions=23, bestBound=5
4.10/2.49	    
4.10/2.49	    num=181, depth=11..20, filters=34006, ccks=207, wck=0.383, mem=39M797
4.10/2.49	    decisions=20947, wrong=8990, backtracks=8113, failedAssignments=6886, nogoods=1065, foundSolutions=23, bestBound=5
4.10/2.49	    
4.10/2.49	    num=182, depth=11..25, filters=34300, ccks=207, wck=0.385, mem=39M797
4.10/2.49	    decisions=21120, wrong=9070, backtracks=8186, failedAssignments=6953, nogoods=1071, foundSolutions=23, bestBound=5
4.10/2.49	    
4.10/2.49	    num=183, depth=11..23, filters=34668, ccks=207, wck=0.388, mem=39M797
4.10/2.49	    decisions=21319, wrong=9164, backtracks=8278, failedAssignments=7027, nogoods=1076, foundSolutions=23, bestBound=5
4.10/2.49	    
4.28/2.50	    num=184, depth=11..21, filters=35091, ccks=207, wck=0.392, mem=39M797
4.28/2.50	    decisions=21551, wrong=9273, backtracks=8381, failedAssignments=7108, nogoods=1084, foundSolutions=23, bestBound=5
4.28/2.50	    
4.28/2.50	    num=185, depth=10..23, filters=35477, ccks=207, wck=0.395, mem=39M797
4.28/2.50	    decisions=21782, wrong=9382, backtracks=8481, failedAssignments=7197, nogoods=1094, foundSolutions=23, bestBound=5
4.28/2.50	    
4.28/2.50	    num=186, depth=11..24, filters=35929, ccks=207, wck=0.398, mem=39M797
4.28/2.50	    decisions=22033, wrong=9501, backtracks=8597, failedAssignments=7295, nogoods=1101, foundSolutions=23, bestBound=5
4.28/2.50	    
4.28/2.51	    num=187, depth=9..21, filters=36366, ccks=207, wck=0.402, mem=39M797
4.28/2.51	    decisions=22324, wrong=9641, backtracks=8730, failedAssignments=7403, nogoods=1110, foundSolutions=23, bestBound=5
4.28/2.51	    
4.28/2.51	    num=188, depth=11..25, filters=36870, ccks=207, wck=0.406, mem=39M797
4.28/2.51	    decisions=22628, wrong=9786, backtracks=8865, failedAssignments=7522, nogoods=1121, foundSolutions=23, bestBound=5
4.28/2.51	    
4.28/2.52	    num=189, depth=8..21, filters=37450, ccks=207, wck=0.411, mem=39M797
4.28/2.52	    decisions=22985, wrong=9960, backtracks=9037, failedAssignments=7653, nogoods=1127, foundSolutions=23, bestBound=5
4.28/2.52	    
4.28/2.52	    num=190, depth=11..26, filters=38000, ccks=207, wck=0.416, mem=39M797
4.28/2.52	    decisions=23363, wrong=10142, backtracks=9212, failedAssignments=7797, nogoods=1133, foundSolutions=23, bestBound=5
4.28/2.52	    
4.28/2.53	    num=191, depth=9..23, filters=38704, ccks=207, wck=0.421, mem=39M797
4.28/2.53	    decisions=23773, wrong=10341, backtracks=9406, failedAssignments=7955, nogoods=1142, foundSolutions=23, bestBound=5
4.28/2.53	    
4.28/2.53	    num=192, depth=10..25, filters=39395, ccks=207, wck=0.427, mem=39M797
4.28/2.53	    decisions=24217, wrong=10557, backtracks=9614, failedAssignments=8129, nogoods=1146, foundSolutions=23, bestBound=5
4.28/2.53	    
4.28/2.54	    num=193, depth=10..24, filters=40346, ccks=207, wck=0.433, mem=39M797
4.28/2.54	    decisions=24760, wrong=10823, backtracks=9872, failedAssignments=8320, nogoods=1159, foundSolutions=23, bestBound=5
4.28/2.54	    
4.28/2.55	    num=194, depth=10..21, filters=41289, ccks=207, wck=0.44, mem=39M797
4.28/2.55	    decisions=25359, wrong=11117, backtracks=10158, failedAssignments=8531, nogoods=1169, foundSolutions=23, bestBound=5
4.28/2.55	    
4.28/2.55	    num=195, depth=10..24, filters=42383, ccks=207, wck=0.448, mem=39M797
4.28/2.55	    decisions=25950, wrong=11407, backtracks=10444, failedAssignments=8763, nogoods=1177, foundSolutions=23, bestBound=5
4.28/2.55	    
4.28/2.56	    num=196, depth=10..24, filters=43622, ccks=207, wck=0.457, mem=39M797
4.28/2.56	    decisions=26700, wrong=11776, backtracks=10799, failedAssignments=9018, nogoods=1183, foundSolutions=23, bestBound=5
4.28/2.56	    
4.28/2.57	    num=197, depth=9..21, filters=45109, ccks=207, wck=0.466, mem=39M797
4.28/2.57	    decisions=27469, wrong=12155, backtracks=11172, failedAssignments=9299, nogoods=1193, foundSolutions=23, bestBound=5
4.28/2.57	    
4.28/2.58	    num=198, depth=10..23, filters=46705, ccks=207, wck=0.476, mem=39M797
4.28/2.58	    decisions=28359, wrong=12594, backtracks=11596, failedAssignments=9608, nogoods=1199, foundSolutions=23, bestBound=5
4.28/2.58	    
4.28/2.59	    num=199, depth=10..23, filters=48331, ccks=207, wck=0.487, mem=39M797
4.28/2.59	    decisions=29313, wrong=13066, backtracks=12056, failedAssignments=9948, nogoods=1201, foundSolutions=23, bestBound=5
4.28/2.59	    
4.39/2.60	    num=200, depth=9..26, filters=50321, ccks=207, wck=0.5, mem=39M797
4.39/2.60	    decisions=30332, wrong=13570, backtracks=12551, failedAssignments=10322, nogoods=1207, foundSolutions=23, bestBound=5
4.39/2.60	    
4.39/2.62	    num=201, depth=10..25, filters=52167, ccks=207, wck=0.512, mem=39M797
4.39/2.62	    decisions=31420, wrong=14107, backtracks=13078, failedAssignments=10733, nogoods=1216, foundSolutions=23, bestBound=5
4.39/2.62	    
4.39/2.63	    num=202, depth=10..25, filters=54393, ccks=207, wck=0.526, mem=39M797
4.39/2.63	    decisions=32644, wrong=14713, backtracks=13672, failedAssignments=11185, nogoods=1222, foundSolutions=23, bestBound=5
4.39/2.63	    
4.39/2.65	    num=203, depth=11..24, filters=56765, ccks=207, wck=0.542, mem=39M797
4.39/2.65	    decisions=34031, wrong=15400, backtracks=14338, failedAssignments=11682, nogoods=1234, foundSolutions=23, bestBound=5
4.39/2.65	    
4.39/2.67	    num=204, depth=8..22, filters=59722, ccks=207, wck=0.56, mem=39M797
4.39/2.67	    decisions=35622, wrong=16190, backtracks=15103, failedAssignments=12229, nogoods=1239, foundSolutions=23, bestBound=5
4.39/2.67	    
4.39/2.68	    num=205, depth=9..25, filters=62464, ccks=207, wck=0.578, mem=39M797
4.39/2.68	    decisions=37193, wrong=16970, backtracks=15868, failedAssignments=12831, nogoods=1246, foundSolutions=23, bestBound=5
4.39/2.68	    
4.49/2.70	    num=206, depth=8..22, filters=66222, ccks=207, wck=0.599, mem=39M797
4.49/2.70	    decisions=39271, wrong=18003, backtracks=16850, failedAssignments=13493, nogoods=1254, foundSolutions=23, bestBound=5
4.49/2.70	    
4.49/2.73	    num=207, depth=8..22, filters=69715, ccks=207, wck=0.621, mem=39M797
4.49/2.73	    decisions=41323, wrong=19024, backtracks=17844, failedAssignments=14221, nogoods=1263, foundSolutions=23, bestBound=5
4.49/2.73	    
4.49/2.75	    num=208, depth=8..25, filters=73428, ccks=207, wck=0.646, mem=39M797
4.49/2.75	    decisions=43587, wrong=20150, backtracks=18929, failedAssignments=15022, nogoods=1273, foundSolutions=23, bestBound=5
4.49/2.75	    
4.49/2.78	    num=209, depth=8..23, filters=78302, ccks=207, wck=0.675, mem=39M797
4.49/2.78	    decisions=46146, wrong=21424, backtracks=20169, failedAssignments=15903, nogoods=1285, foundSolutions=23, bestBound=5
4.49/2.78	    
4.59/2.81	    num=210, depth=9..24, filters=83002, ccks=207, wck=0.703, mem=39M797
4.59/2.81	    decisions=48784, wrong=22737, backtracks=21453, failedAssignments=16873, nogoods=1294, foundSolutions=23, bestBound=5
4.59/2.81	    
4.59/2.84	    num=211, depth=9..24, filters=88136, ccks=207, wck=0.736, mem=39M797
4.59/2.84	    decisions=51818, wrong=24248, backtracks=22918, failedAssignments=17940, nogoods=1303, foundSolutions=23, bestBound=5
4.59/2.84	    
4.59/2.88	    num=212, depth=8..25, filters=94042, ccks=207, wck=0.775, mem=39M797
4.59/2.88	    decisions=55274, wrong=25970, backtracks=24583, failedAssignments=19113, nogoods=1313, foundSolutions=23, bestBound=5
4.59/2.88	    
4.70/2.92	    num=213, depth=9..24, filters=100182, ccks=207, wck=0.816, mem=39M797
4.70/2.92	    decisions=58850, wrong=27752, backtracks=26310, failedAssignments=20404, nogoods=1324, foundSolutions=23, bestBound=5
4.70/2.92	    
4.70/2.97	    num=214, depth=9..24, filters=108043, ccks=207, wck=0.863, mem=39M797
4.70/2.97	    decisions=63169, wrong=29905, backtracks=28406, failedAssignments=21824, nogoods=1334, foundSolutions=23, bestBound=5
4.70/2.97	    
4.83/3.02	    num=215, depth=8..25, filters=116679, ccks=207, wck=0.917, mem=39M797
4.83/3.02	    decisions=67795, wrong=32212, backtracks=30652, failedAssignments=23386, nogoods=1343, foundSolutions=23, bestBound=5
4.83/3.02	    
4.83/3.08	    num=216, depth=8..24, filters=125733, ccks=207, wck=0.971, mem=39M797
4.83/3.08	    decisions=72852, wrong=34735, backtracks=33094, failedAssignments=25104, nogoods=1348, foundSolutions=23, bestBound=5
4.83/3.08	    
4.98/3.13	    num=217, depth=8..27, filters=134777, ccks=207, wck=1.029, mem=42M440
4.98/3.13	    decisions=78318, wrong=37461, backtracks=35741, failedAssignments=26994, nogoods=1357, foundSolutions=23, bestBound=5
4.98/3.13	    
5.07/3.21	    num=218, depth=8..25, filters=146370, ccks=207, wck=1.104, mem=42M440
5.07/3.21	    decisions=84632, wrong=40613, backtracks=38778, failedAssignments=29073, nogoods=1365, foundSolutions=23, bestBound=5
5.07/3.21	    
5.07/3.28	    num=219, depth=8..25, filters=157832, ccks=207, wck=1.175, mem=42M440
5.07/3.28	    decisions=91231, wrong=43907, backtracks=41983, failedAssignments=31360, nogoods=1371, foundSolutions=23, bestBound=5
5.07/3.28	    
5.17/3.37	    num=220, depth=7..25, filters=171938, ccks=207, wck=1.264, mem=42M440
5.17/3.37	    decisions=99428, wrong=47999, backtracks=45872, failedAssignments=33876, nogoods=1384, foundSolutions=23, bestBound=5
5.17/3.37	    
5.27/3.46	    num=221, depth=7..24, filters=186541, ccks=207, wck=1.354, mem=42M440
5.27/3.46	    decisions=107578, wrong=52069, backtracks=49835, failedAssignments=36644, nogoods=1394, foundSolutions=23, bestBound=5
5.27/3.46	    
5.37/3.56	    num=222, depth=8..24, filters=202719, ccks=207, wck=1.451, mem=42M440
5.37/3.56	    decisions=116634, wrong=56591, backtracks=54235, failedAssignments=39688, nogoods=1403, foundSolutions=23, bestBound=5
5.37/3.56	    
5.47/3.67	    num=223, depth=7..23, filters=221377, ccks=207, wck=1.567, mem=42M440
5.47/3.67	    decisions=127418, wrong=61977, backtracks=59398, failedAssignments=43037, nogoods=1408, foundSolutions=23, bestBound=5
5.47/3.67	    
5.57/3.79	o 4
5.57/3.79	    num=224, depth=7..93, filters=239369, ccks=216, wck=1.685, mem=42M440
5.57/3.79	    decisions=137713, wrong=67116, backtracks=64371, failedAssignments=46584, nogoods=1420, foundSolutions=24, bestBound=4
5.57/3.79	    
5.78/3.91	    num=225, depth=7..25, filters=259811, ccks=216, wck=1.801, mem=42M440
5.78/3.91	    decisions=149829, wrong=73170, backtracks=70224, failedAssignments=50636, nogoods=1427, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=226, depth=12..20, filters=259859, ccks=216, wck=1.801, mem=42M440
5.78/3.91	    decisions=149869, wrong=73184, backtracks=70237, failedAssignments=50647, nogoods=1429, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=227, depth=12..19, filters=259903, ccks=216, wck=1.802, mem=42M440
5.78/3.91	    decisions=149911, wrong=73198, backtracks=70246, failedAssignments=50659, nogoods=1434, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=228, depth=11..16, filters=259960, ccks=216, wck=1.803, mem=42M440
5.78/3.91	    decisions=149959, wrong=73216, backtracks=70261, failedAssignments=50672, nogoods=1437, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=229, depth=10..20, filters=260015, ccks=216, wck=1.803, mem=42M440
5.78/3.91	    decisions=150003, wrong=73232, backtracks=70274, failedAssignments=50686, nogoods=1440, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=230, depth=12..23, filters=260082, ccks=216, wck=1.804, mem=42M440
5.78/3.91	    decisions=150053, wrong=73251, backtracks=70290, failedAssignments=50702, nogoods=1445, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=231, depth=10..21, filters=260149, ccks=216, wck=1.805, mem=42M440
5.78/3.91	    decisions=150102, wrong=73270, backtracks=70305, failedAssignments=50719, nogoods=1450, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=232, depth=10..21, filters=260239, ccks=216, wck=1.806, mem=42M440
5.78/3.91	    decisions=150165, wrong=73296, backtracks=70328, failedAssignments=50738, nogoods=1454, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=233, depth=10..17, filters=260323, ccks=216, wck=1.807, mem=42M440
5.78/3.91	    decisions=150231, wrong=73323, backtracks=70351, failedAssignments=50759, nogoods=1458, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=234, depth=11..22, filters=260426, ccks=216, wck=1.808, mem=42M440
5.78/3.91	    decisions=150301, wrong=73352, backtracks=70378, failedAssignments=50782, nogoods=1460, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.91	    num=235, depth=9..21, filters=260555, ccks=216, wck=1.809, mem=42M440
5.78/3.91	    decisions=150386, wrong=73389, backtracks=70404, failedAssignments=50807, nogoods=1471, foundSolutions=24, bestBound=4
5.78/3.91	    
5.78/3.92	    num=236, depth=10..22, filters=260667, ccks=216, wck=1.81, mem=42M440
5.78/3.92	    decisions=150466, wrong=73423, backtracks=70430, failedAssignments=50835, nogoods=1482, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.92	    num=237, depth=12..23, filters=260798, ccks=216, wck=1.812, mem=42M440
5.78/3.92	    decisions=150552, wrong=73460, backtracks=70463, failedAssignments=50866, nogoods=1488, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.92	    num=238, depth=11..21, filters=260939, ccks=216, wck=1.813, mem=42M440
5.78/3.92	    decisions=150647, wrong=73502, backtracks=70504, failedAssignments=50900, nogoods=1493, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.92	    num=239, depth=11..23, filters=261083, ccks=216, wck=1.815, mem=42M440
5.78/3.92	    decisions=150747, wrong=73546, backtracks=70539, failedAssignments=50937, nogoods=1502, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.92	    num=240, depth=11..21, filters=261253, ccks=216, wck=1.816, mem=42M440
5.78/3.92	    decisions=150859, wrong=73596, backtracks=70583, failedAssignments=50978, nogoods=1512, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.92	    num=241, depth=10..23, filters=261478, ccks=216, wck=1.818, mem=42M440
5.78/3.92	    decisions=150997, wrong=73659, backtracks=70637, failedAssignments=51023, nogoods=1522, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.92	    num=242, depth=10..22, filters=261690, ccks=216, wck=1.82, mem=42M440
5.78/3.92	    decisions=151132, wrong=73721, backtracks=70692, failedAssignments=51073, nogoods=1533, foundSolutions=24, bestBound=4
5.78/3.92	    
5.78/3.93	    num=243, depth=11..24, filters=261920, ccks=216, wck=1.822, mem=42M440
5.78/3.93	    decisions=151281, wrong=73789, backtracks=70754, failedAssignments=51128, nogoods=1539, foundSolutions=24, bestBound=4
5.78/3.93	    
5.78/3.93	    num=244, depth=8..21, filters=262202, ccks=216, wck=1.824, mem=42M440
5.78/3.93	    decisions=151466, wrong=73876, backtracks=70835, failedAssignments=51189, nogoods=1544, foundSolutions=24, bestBound=4
5.78/3.93	    
5.78/3.93	    num=245, depth=11..22, filters=262502, ccks=216, wck=1.827, mem=42M440
5.78/3.93	    decisions=151667, wrong=73970, backtracks=70923, failedAssignments=51256, nogoods=1549, foundSolutions=24, bestBound=4
5.78/3.93	    
5.78/3.93	    num=246, depth=10..20, filters=262838, ccks=216, wck=1.83, mem=42M440
5.78/3.93	    decisions=151875, wrong=74068, backtracks=71014, failedAssignments=51330, nogoods=1560, foundSolutions=24, bestBound=4
5.78/3.93	    
5.78/3.94	    num=247, depth=10..21, filters=263171, ccks=216, wck=1.833, mem=42M440
5.78/3.94	    decisions=152094, wrong=74171, backtracks=71111, failedAssignments=51411, nogoods=1563, foundSolutions=24, bestBound=4
5.78/3.94	    
5.78/3.94	    num=248, depth=10..23, filters=263514, ccks=216, wck=1.836, mem=42M440
5.78/3.94	    decisions=152328, wrong=74282, backtracks=71215, failedAssignments=51500, nogoods=1574, foundSolutions=24, bestBound=4
5.78/3.94	    
5.78/3.94	    num=249, depth=11..23, filters=263910, ccks=216, wck=1.84, mem=42M440
5.78/3.94	    decisions=152577, wrong=74401, backtracks=71333, failedAssignments=51598, nogoods=1580, foundSolutions=24, bestBound=4
5.78/3.94	    
5.78/3.95	    num=250, depth=11..22, filters=264435, ccks=216, wck=1.844, mem=42M440
5.78/3.95	    decisions=152891, wrong=74552, backtracks=71480, failedAssignments=51706, nogoods=1588, foundSolutions=24, bestBound=4
5.78/3.95	    
5.78/3.95	    num=251, depth=10..24, filters=264966, ccks=216, wck=1.848, mem=42M440
5.78/3.95	    decisions=153218, wrong=74710, backtracks=71634, failedAssignments=51825, nogoods=1594, foundSolutions=24, bestBound=4
5.78/3.95	    
5.78/3.96	    num=252, depth=10..23, filters=265532, ccks=216, wck=1.853, mem=42M440
5.78/3.96	    decisions=153578, wrong=74884, backtracks=71802, failedAssignments=51956, nogoods=1604, foundSolutions=24, bestBound=4
5.78/3.96	    
5.78/3.96	    num=253, depth=11..24, filters=266151, ccks=216, wck=1.858, mem=42M440
5.78/3.96	    decisions=153967, wrong=75073, backtracks=71988, failedAssignments=52100, nogoods=1609, foundSolutions=24, bestBound=4
5.78/3.96	    
5.78/3.97	    num=254, depth=9..23, filters=266786, ccks=216, wck=1.864, mem=42M440
5.78/3.97	    decisions=154391, wrong=75279, backtracks=72187, failedAssignments=52258, nogoods=1617, foundSolutions=24, bestBound=4
5.78/3.97	    
5.78/3.97	    num=255, depth=10..23, filters=267415, ccks=216, wck=1.87, mem=42M440
5.78/3.97	    decisions=154850, wrong=75503, backtracks=72403, failedAssignments=52432, nogoods=1627, foundSolutions=24, bestBound=4
5.78/3.97	    
5.78/3.98	    num=256, depth=8..23, filters=268271, ccks=216, wck=1.877, mem=42M440
5.78/3.98	    decisions=155423, wrong=75785, backtracks=72672, failedAssignments=52623, nogoods=1634, foundSolutions=24, bestBound=4
5.78/3.98	    
5.78/3.99	    num=257, depth=10..24, filters=269147, ccks=216, wck=1.885, mem=42M440
5.78/3.99	    decisions=155979, wrong=76057, backtracks=72933, failedAssignments=52834, nogoods=1640, foundSolutions=24, bestBound=4
5.78/3.99	    
5.78/4.00	    num=258, depth=10..24, filters=270165, ccks=216, wck=1.892, mem=42M440
5.78/4.00	    decisions=156594, wrong=76358, backtracks=73225, failedAssignments=53066, nogoods=1649, foundSolutions=24, bestBound=4
5.78/4.00	    
5.90/4.01	    num=259, depth=9..23, filters=271341, ccks=216, wck=1.902, mem=42M440
5.90/4.01	    decisions=157271, wrong=76690, backtracks=73544, failedAssignments=53321, nogoods=1660, foundSolutions=24, bestBound=4
5.90/4.01	    
5.90/4.02	    num=260, depth=10..23, filters=272527, ccks=216, wck=1.912, mem=42M440
5.90/4.02	    decisions=158028, wrong=77062, backtracks=73904, failedAssignments=53602, nogoods=1664, foundSolutions=24, bestBound=4
5.90/4.02	    
5.90/4.03	    num=261, depth=9..23, filters=273955, ccks=216, wck=1.923, mem=42M440
5.90/4.03	    decisions=158869, wrong=77477, backtracks=74310, failedAssignments=53911, nogoods=1670, foundSolutions=24, bestBound=4
5.90/4.03	    
5.90/4.04	    num=262, depth=10..25, filters=275505, ccks=216, wck=1.933, mem=42M440
5.90/4.04	    decisions=159775, wrong=77924, backtracks=74746, failedAssignments=54251, nogoods=1679, foundSolutions=24, bestBound=4
5.90/4.04	    
5.90/4.05	    num=263, depth=10..22, filters=277327, ccks=216, wck=1.946, mem=45M82
5.90/4.05	    decisions=160817, wrong=78439, backtracks=75249, failedAssignments=54625, nogoods=1686, foundSolutions=24, bestBound=4
5.90/4.05	    
5.90/4.07	    num=264, depth=9..22, filters=279297, ccks=216, wck=1.961, mem=45M82
5.90/4.07	    decisions=161946, wrong=78997, backtracks=75793, failedAssignments=55036, nogoods=1693, foundSolutions=24, bestBound=4
5.90/4.07	    
5.90/4.08	    num=265, depth=9..22, filters=281228, ccks=216, wck=1.976, mem=45M82
5.90/4.08	    decisions=163198, wrong=79617, backtracks=76398, failedAssignments=55488, nogoods=1703, foundSolutions=24, bestBound=4
5.90/4.08	    
5.90/4.10	    num=266, depth=9..23, filters=283531, ccks=216, wck=1.992, mem=45M82
5.90/4.10	    decisions=164520, wrong=80272, backtracks=77040, failedAssignments=55985, nogoods=1713, foundSolutions=24, bestBound=4
5.90/4.10	    
6.01/4.11	    num=267, depth=10..24, filters=285992, ccks=216, wck=2.01, mem=45M82
6.01/4.11	    decisions=166044, wrong=81028, backtracks=77777, failedAssignments=56532, nogoods=1722, foundSolutions=24, bestBound=4
6.01/4.11	    
6.01/4.14	    num=268, depth=9..24, filters=289074, ccks=216, wck=2.032, mem=45M82
6.01/4.14	    decisions=167850, wrong=81925, backtracks=78631, failedAssignments=57134, nogoods=1734, foundSolutions=24, bestBound=4
6.01/4.14	    
6.01/4.16	    num=269, depth=10..24, filters=292226, ccks=216, wck=2.052, mem=45M82
6.01/4.16	    decisions=169653, wrong=82820, backtracks=79515, failedAssignments=57796, nogoods=1743, foundSolutions=24, bestBound=4
6.01/4.16	    
6.01/4.18	    num=270, depth=9..24, filters=295841, ccks=216, wck=2.075, mem=45M82
6.01/4.18	    decisions=171680, wrong=83828, backtracks=80500, failedAssignments=58524, nogoods=1752, foundSolutions=24, bestBound=4
6.01/4.18	    
6.10/4.21	    num=271, depth=8..24, filters=299729, ccks=216, wck=2.103, mem=45M82
6.10/4.21	    decisions=174018, wrong=84991, backtracks=81627, failedAssignments=59325, nogoods=1759, foundSolutions=24, bestBound=4
6.10/4.21	    
6.10/4.24	    num=272, depth=9..23, filters=304024, ccks=216, wck=2.132, mem=45M82
6.10/4.24	    decisions=176477, wrong=86215, backtracks=82822, failedAssignments=60206, nogoods=1766, foundSolutions=24, bestBound=4
6.10/4.24	    
6.10/4.27	    num=273, depth=9..23, filters=308855, ccks=216, wck=2.164, mem=45M82
6.10/4.27	    decisions=179341, wrong=87642, backtracks=84209, failedAssignments=61176, nogoods=1777, foundSolutions=24, bestBound=4
6.10/4.27	    
6.20/4.30	    num=274, depth=9..25, filters=314079, ccks=216, wck=2.198, mem=45M82
6.20/4.30	    decisions=182259, wrong=89095, backtracks=85631, failedAssignments=62243, nogoods=1784, foundSolutions=24, bestBound=4
6.20/4.30	    
6.20/4.34	    num=275, depth=8..25, filters=320129, ccks=216, wck=2.237, mem=45M82
6.20/4.34	    decisions=185522, wrong=90721, backtracks=87220, failedAssignments=63416, nogoods=1792, foundSolutions=24, bestBound=4
6.20/4.34	    
6.20/4.38	    num=276, depth=9..24, filters=325628, ccks=216, wck=2.275, mem=45M82
6.20/4.38	    decisions=189011, wrong=92459, backtracks=88931, failedAssignments=64707, nogoods=1803, foundSolutions=24, bestBound=4
6.20/4.38	    
6.30/4.43	    num=277, depth=8..24, filters=332766, ccks=216, wck=2.324, mem=45M82
6.30/4.43	    decisions=193044, wrong=94470, backtracks=90890, failedAssignments=66127, nogoods=1809, foundSolutions=24, bestBound=4
6.30/4.43	    
6.30/4.48	    num=278, depth=8..24, filters=340640, ccks=216, wck=2.373, mem=45M82
6.30/4.48	    decisions=197587, wrong=96736, backtracks=93091, failedAssignments=67689, nogoods=1816, foundSolutions=24, bestBound=4
6.30/4.48	    
6.40/4.53	    num=279, depth=8..24, filters=348799, ccks=216, wck=2.427, mem=45M82
6.40/4.53	    decisions=202700, wrong=99288, backtracks=95557, failedAssignments=69407, nogoods=1827, foundSolutions=24, bestBound=4
6.40/4.53	    
6.40/4.59	    num=280, depth=7..25, filters=357758, ccks=216, wck=2.487, mem=45M82
6.40/4.59	    decisions=208110, wrong=101988, backtracks=98176, failedAssignments=71297, nogoods=1835, foundSolutions=24, bestBound=4
6.40/4.59	    
6.50/4.65	    num=281, depth=8..25, filters=367576, ccks=216, wck=2.549, mem=45M82
6.50/4.65	    decisions=213955, wrong=104904, backtracks=101020, failedAssignments=73376, nogoods=1843, foundSolutions=24, bestBound=4
6.50/4.65	    
6.60/4.72	    num=282, depth=8..25, filters=378619, ccks=216, wck=2.618, mem=45M82
6.60/4.72	    decisions=220519, wrong=108180, backtracks=104206, failedAssignments=75663, nogoods=1854, foundSolutions=24, bestBound=4
6.60/4.72	    
6.70/4.81	    num=283, depth=8..25, filters=391924, ccks=216, wck=2.706, mem=45M82
6.70/4.81	    decisions=228149, wrong=111990, backtracks=107877, failedAssignments=78179, nogoods=1865, foundSolutions=24, bestBound=4
6.70/4.81	    
6.80/4.90	    num=284, depth=8..24, filters=405785, ccks=216, wck=2.798, mem=45M82
6.80/4.90	    decisions=236312, wrong=116065, backtracks=111833, failedAssignments=80947, nogoods=1875, foundSolutions=24, bestBound=4
6.80/4.90	    
6.80/5.00	    num=285, depth=8..24, filters=420294, ccks=216, wck=2.893, mem=45M82
6.80/5.00	    decisions=245413, wrong=120609, backtracks=116225, failedAssignments=83991, nogoods=1884, foundSolutions=24, bestBound=4
6.80/5.00	    
7.01/5.11	    num=286, depth=7..24, filters=438739, ccks=216, wck=3.01, mem=45M82
7.01/5.11	    decisions=255930, wrong=125862, backtracks=121292, failedAssignments=87340, nogoods=1894, foundSolutions=24, bestBound=4
7.01/5.11	    
7.10/5.23	    num=287, depth=7..25, filters=457190, ccks=216, wck=3.127, mem=47M725
7.10/5.23	    decisions=267004, wrong=131394, backtracks=126653, failedAssignments=91024, nogoods=1904, foundSolutions=24, bestBound=4
7.10/5.23	    
7.20/5.37	    num=288, depth=7..24, filters=479236, ccks=216, wck=3.269, mem=47M725
7.20/5.37	    decisions=280472, wrong=138123, backtracks=133050, failedAssignments=95076, nogoods=1914, foundSolutions=24, bestBound=4
7.20/5.37	    
7.40/5.51	    num=289, depth=8..25, filters=500805, ccks=216, wck=3.404, mem=47M725
7.40/5.51	    decisions=293236, wrong=144499, backtracks=139215, failedAssignments=99533, nogoods=1924, foundSolutions=24, bestBound=4
7.40/5.51	    
7.50/5.67	    num=290, depth=7..23, filters=527013, ccks=216, wck=3.56, mem=47M725
7.50/5.67	    decisions=308022, wrong=151886, backtracks=146401, failedAssignments=104436, nogoods=1935, foundSolutions=24, bestBound=4
7.50/5.67	    
7.70/5.83	    num=291, depth=7..25, filters=553930, ccks=216, wck=3.729, mem=47M725
7.70/5.83	    decisions=324154, wrong=159946, backtracks=154193, failedAssignments=109830, nogoods=1946, foundSolutions=24, bestBound=4
7.70/5.83	    
7.91/6.04	    num=292, depth=7..25, filters=586427, ccks=216, wck=3.935, mem=47M725
7.91/6.04	    decisions=342843, wrong=169286, backtracks=163220, failedAssignments=115763, nogoods=1952, foundSolutions=24, bestBound=4
7.91/6.04	    
8.10/6.24	    num=293, depth=6..24, filters=618296, ccks=216, wck=4.135, mem=47M725
8.10/6.24	    decisions=362571, wrong=179145, backtracks=172737, failedAssignments=122289, nogoods=1960, foundSolutions=24, bestBound=4
8.10/6.24	    
8.31/6.47	    num=294, depth=7..25, filters=655572, ccks=216, wck=4.363, mem=47M725
8.31/6.47	    decisions=383945, wrong=189826, backtracks=183071, failedAssignments=129468, nogoods=1972, foundSolutions=24, bestBound=4
8.31/6.47	    
8.61/6.73	    num=295, depth=7..25, filters=697253, ccks=216, wck=4.624, mem=50M367
8.61/6.73	    decisions=408887, wrong=202291, backtracks=195005, failedAssignments=137365, nogoods=1982, foundSolutions=24, bestBound=4
8.61/6.73	    
8.82/7.00	    num=296, depth=6..24, filters=745061, ccks=216, wck=4.893, mem=50M367
8.82/7.00	    decisions=435715, wrong=215701, backtracks=207957, failedAssignments=146052, nogoods=1991, foundSolutions=24, bestBound=4
8.82/7.00	    
9.22/7.33	    num=297, depth=6..25, filters=799520, ccks=216, wck=5.225, mem=50M367
9.22/7.33	    decisions=467276, wrong=231476, backtracks=223099, failedAssignments=155607, nogoods=2004, foundSolutions=24, bestBound=4
9.22/7.33	    
9.52/7.68	    num=298, depth=6..25, filters=854257, ccks=216, wck=5.57, mem=50M367
9.52/7.68	    decisions=499827, wrong=247746, backtracks=238847, failedAssignments=166118, nogoods=2014, foundSolutions=24, bestBound=4
9.52/7.68	    
9.92/8.07	    num=299, depth=6..25, filters=915515, ccks=216, wck=5.961, mem=53M10
9.92/8.07	    decisions=536556, wrong=266105, backtracks=256511, failedAssignments=177680, nogoods=2025, foundSolutions=24, bestBound=4
9.92/8.07	    
10.33/8.49	    num=300, depth=6..24, filters=988255, ccks=216, wck=6.388, mem=53M10
10.33/8.49	    decisions=577968, wrong=286805, backtracks=276401, failedAssignments=190398, nogoods=2034, foundSolutions=24, bestBound=4
10.33/8.49	    
10.83/8.96	    num=301, depth=6..25, filters=1060125, ccks=216, wck=6.859, mem=53M10
10.83/8.96	    decisions=621862, wrong=308746, backtracks=297501, failedAssignments=204388, nogoods=2045, foundSolutions=24, bestBound=4
10.83/8.96	    
11.33/9.45	    num=302, depth=6..25, filters=1140342, ccks=216, wck=7.347, mem=55M652
11.33/9.45	    decisions=670563, wrong=333092, backtracks=320979, failedAssignments=219777, nogoods=2059, foundSolutions=24, bestBound=4
11.33/9.45	    
11.94/10.03	    num=303, depth=6..24, filters=1236112, ccks=216, wck=7.926, mem=55M652
11.94/10.03	    decisions=725120, wrong=360365, backtracks=347173, failedAssignments=236705, nogoods=2068, foundSolutions=24, bestBound=4
11.94/10.03	    
12.53/10.67	    num=304, depth=6..25, filters=1339542, ccks=216, wck=8.561, mem=55M652
12.53/10.67	    decisions=786146, wrong=390872, backtracks=376573, failedAssignments=255326, nogoods=2078, foundSolutions=24, bestBound=4
12.53/10.67	    
13.23/11.39	    num=305, depth=6..25, filters=1456174, ccks=216, wck=9.286, mem=58M294
13.23/11.39	    decisions=853566, wrong=424577, backtracks=409101, failedAssignments=275810, nogoods=2089, foundSolutions=24, bestBound=4
13.23/11.39	    
13.94/12.10	    num=306, depth=6..25, filters=1572287, ccks=216, wck=9.995, mem=58M294
13.94/12.10	    decisions=922901, wrong=459239, backtracks=442537, failedAssignments=298342, nogoods=2100, foundSolutions=24, bestBound=4
13.94/12.10	    
14.83/12.97	    num=307, depth=5..24, filters=1712573, ccks=216, wck=10.861, mem=60M937
14.83/12.97	    decisions=1006008, wrong=500787, backtracks=482239, failedAssignments=323127, nogoods=2111, foundSolutions=24, bestBound=4
14.83/12.97	    
15.73/13.82	    num=308, depth=5..25, filters=1845828, ccks=216, wck=11.713, mem=63M579
15.73/13.82	    decisions=1089931, wrong=542744, backtracks=522696, failedAssignments=350391, nogoods=2122, foundSolutions=24, bestBound=4
15.73/13.82	    
16.73/14.82	    num=309, depth=6..25, filters=2007391, ccks=216, wck=12.71, mem=63M579
16.73/14.82	    decisions=1189190, wrong=592368, backtracks=570669, failedAssignments=380381, nogoods=2128, foundSolutions=24, bestBound=4
16.73/14.82	    
17.94/16.06	    num=310, depth=5..24, filters=2212853, ccks=216, wck=13.951, mem=66M222
17.94/16.06	    decisions=1303223, wrong=649379, backtracks=625008, failedAssignments=413370, nogoods=2140, foundSolutions=24, bestBound=4
17.94/16.06	    
17.94/16.06	o 3
17.94/16.06	    num=311, depth=10..93, filters=2213145, ccks=225, wck=13.955, mem=66M222
17.94/16.06	    decisions=1303400, wrong=649461, backtracks=625085, failedAssignments=413419, nogoods=2145, foundSolutions=25, bestBound=3
17.94/16.06	    
19.23/17.38	    num=312, depth=4..24, filters=2448646, ccks=225, wck=15.278, mem=68M864
19.23/17.38	    decisions=1438991, wrong=717251, backtracks=689831, failedAssignments=453336, nogoods=2157, foundSolutions=25, bestBound=3
19.23/17.38	    
19.23/17.38	    num=313, depth=11..16, filters=2448686, ccks=225, wck=15.279, mem=68M864
19.23/17.38	    decisions=1439030, wrong=717265, backtracks=689844, failedAssignments=453347, nogoods=2160, foundSolutions=25, bestBound=3
19.23/17.38	    
19.23/17.38	    num=314, depth=10..19, filters=2448742, ccks=225, wck=15.28, mem=68M864
19.23/17.38	    decisions=1439068, wrong=717279, backtracks=689857, failedAssignments=453359, nogoods=2161, foundSolutions=25, bestBound=3
19.23/17.38	    
19.23/17.39	    num=315, depth=10..17, filters=2448794, ccks=225, wck=15.28, mem=68M864
19.23/17.39	    decisions=1439112, wrong=717295, backtracks=689871, failedAssignments=453372, nogoods=2163, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=316, depth=10..18, filters=2448859, ccks=225, wck=15.281, mem=68M864
19.23/17.39	    decisions=1439160, wrong=717313, backtracks=689887, failedAssignments=453386, nogoods=2165, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=317, depth=10..17, filters=2448917, ccks=225, wck=15.281, mem=68M864
19.23/17.39	    decisions=1439207, wrong=717331, backtracks=689898, failedAssignments=453402, nogoods=2172, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=318, depth=11..17, filters=2449004, ccks=225, wck=15.282, mem=68M864
19.23/17.39	    decisions=1439262, wrong=717353, backtracks=689913, failedAssignments=453419, nogoods=2182, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=319, depth=10..19, filters=2449079, ccks=225, wck=15.283, mem=68M864
19.23/17.39	    decisions=1439319, wrong=717376, backtracks=689929, failedAssignments=453438, nogoods=2189, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=320, depth=10..21, filters=2449164, ccks=225, wck=15.284, mem=68M864
19.23/17.39	    decisions=1439381, wrong=717401, backtracks=689951, failedAssignments=453459, nogoods=2192, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=321, depth=11..18, filters=2449257, ccks=225, wck=15.285, mem=68M864
19.23/17.39	    decisions=1439452, wrong=717431, backtracks=689975, failedAssignments=453482, nogoods=2202, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=322, depth=10..19, filters=2449376, ccks=225, wck=15.286, mem=68M864
19.23/17.39	    decisions=1439525, wrong=717462, backtracks=690001, failedAssignments=453507, nogoods=2209, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=323, depth=10..19, filters=2449512, ccks=225, wck=15.287, mem=68M864
19.23/17.39	    decisions=1439607, wrong=717497, backtracks=690028, failedAssignments=453535, nogoods=2217, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=324, depth=10..18, filters=2449646, ccks=225, wck=15.288, mem=68M864
19.23/17.39	    decisions=1439698, wrong=717537, backtracks=690065, failedAssignments=453566, nogoods=2225, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=325, depth=11..21, filters=2449783, ccks=225, wck=15.289, mem=68M864
19.23/17.39	    decisions=1439788, wrong=717576, backtracks=690098, failedAssignments=453600, nogoods=2234, foundSolutions=25, bestBound=3
19.23/17.39	    
19.23/17.39	    num=326, depth=10..19, filters=2449945, ccks=225, wck=15.29, mem=68M864
19.23/17.39	    decisions=1439901, wrong=717627, backtracks=690146, failedAssignments=453637, nogoods=2240, foundSolutions=25, bestBound=3
19.23/17.39	    
19.33/17.40	    num=327, depth=10..19, filters=2450118, ccks=225, wck=15.291, mem=68M864
19.33/17.40	    decisions=1440016, wrong=717679, backtracks=690190, failedAssignments=453678, nogoods=2252, foundSolutions=25, bestBound=3
19.33/17.40	    
19.33/17.40	    num=328, depth=11..25, filters=2450321, ccks=225, wck=15.293, mem=68M864
19.33/17.40	    decisions=1440138, wrong=717734, backtracks=690240, failedAssignments=453723, nogoods=2258, foundSolutions=25, bestBound=3
19.33/17.40	    
19.33/17.40	    num=329, depth=10..20, filters=2450530, ccks=225, wck=15.295, mem=68M864
19.33/17.40	    decisions=1440276, wrong=717797, backtracks=690300, failedAssignments=453773, nogoods=2262, foundSolutions=25, bestBound=3
19.33/17.40	    
19.33/17.40	    num=330, depth=10..21, filters=2450770, ccks=225, wck=15.297, mem=68M864
19.33/17.40	    decisions=1440435, wrong=717871, backtracks=690368, failedAssignments=453828, nogoods=2272, foundSolutions=25, bestBound=3
19.33/17.40	    
19.33/17.40	    num=331, depth=10..19, filters=2451027, ccks=225, wck=15.299, mem=68M864
19.33/17.40	    decisions=1440607, wrong=717952, backtracks=690446, failedAssignments=453889, nogoods=2283, foundSolutions=25, bestBound=3
19.33/17.40	    
19.33/17.41	    num=332, depth=10..18, filters=2451342, ccks=225, wck=15.301, mem=68M864
19.33/17.41	    decisions=1440804, wrong=718045, backtracks=690534, failedAssignments=453956, nogoods=2292, foundSolutions=25, bestBound=3
19.33/17.41	    
19.33/17.41	    num=333, depth=10..20, filters=2451657, ccks=225, wck=15.304, mem=68M864
19.33/17.41	    decisions=1441006, wrong=718140, backtracks=690621, failedAssignments=454030, nogoods=2300, foundSolutions=25, bestBound=3
19.33/17.41	    
19.33/17.41	    num=334, depth=9..20, filters=2452014, ccks=225, wck=15.307, mem=68M864
19.33/17.41	    decisions=1441235, wrong=718249, backtracks=690717, failedAssignments=454111, nogoods=2314, foundSolutions=25, bestBound=3
19.33/17.41	    
19.33/17.42	    num=335, depth=9..20, filters=2452425, ccks=225, wck=15.31, mem=68M864
19.33/17.42	    decisions=1441494, wrong=718372, backtracks=690835, failedAssignments=454200, nogoods=2319, foundSolutions=25, bestBound=3
19.33/17.42	    
19.33/17.42	    num=336, depth=11..23, filters=2452862, ccks=225, wck=15.314, mem=68M864
19.33/17.42	    decisions=1441763, wrong=718500, backtracks=690956, failedAssignments=454298, nogoods=2331, foundSolutions=25, bestBound=3
19.33/17.42	    
19.33/17.42	    num=337, depth=9..21, filters=2453436, ccks=225, wck=15.318, mem=68M864
19.33/17.42	    decisions=1442087, wrong=718657, backtracks=691101, failedAssignments=454406, nogoods=2334, foundSolutions=25, bestBound=3
19.33/17.42	    
19.33/17.43	    num=338, depth=10..23, filters=2453954, ccks=225, wck=15.323, mem=68M864
19.33/17.43	    decisions=1442400, wrong=718808, backtracks=691250, failedAssignments=454525, nogoods=2336, foundSolutions=25, bestBound=3
19.33/17.43	    
19.33/17.43	    num=339, depth=10..22, filters=2454566, ccks=225, wck=15.327, mem=68M864
19.33/17.43	    decisions=1442753, wrong=718978, backtracks=691413, failedAssignments=454656, nogoods=2343, foundSolutions=25, bestBound=3
19.33/17.43	    
19.33/17.44	    num=340, depth=9..22, filters=2455173, ccks=225, wck=15.332, mem=68M864
19.33/17.44	    decisions=1443133, wrong=719162, backtracks=691589, failedAssignments=454800, nogoods=2350, foundSolutions=25, bestBound=3
19.33/17.44	    
19.33/17.44	    num=341, depth=10..22, filters=2455959, ccks=225, wck=15.338, mem=68M864
19.33/17.44	    decisions=1443586, wrong=719383, backtracks=691804, failedAssignments=454958, nogoods=2357, foundSolutions=25, bestBound=3
19.33/17.44	    
19.33/17.45	    num=342, depth=10..24, filters=2456760, ccks=225, wck=15.345, mem=68M864
19.33/17.45	    decisions=1444062, wrong=719615, backtracks=692029, failedAssignments=455132, nogoods=2365, foundSolutions=25, bestBound=3
19.33/17.45	    
19.33/17.46	    num=343, depth=10..22, filters=2457658, ccks=225, wck=15.351, mem=68M864
19.33/17.46	    decisions=1444578, wrong=719867, backtracks=692271, failedAssignments=455323, nogoods=2373, foundSolutions=25, bestBound=3
19.33/17.46	    
19.33/17.46	    num=344, depth=10..23, filters=2458625, ccks=225, wck=15.359, mem=68M864
19.33/17.46	    decisions=1445142, wrong=720143, backtracks=692539, failedAssignments=455534, nogoods=2382, foundSolutions=25, bestBound=3
19.33/17.46	    
19.33/17.47	    num=345, depth=10..24, filters=2459607, ccks=225, wck=15.367, mem=71M507
19.33/17.47	    decisions=1445773, wrong=720452, backtracks=692838, failedAssignments=455766, nogoods=2391, foundSolutions=25, bestBound=3
19.33/17.47	    
19.33/17.48	    num=346, depth=10..24, filters=2460816, ccks=225, wck=15.376, mem=71M507
19.33/17.48	    decisions=1446453, wrong=720786, backtracks=693167, failedAssignments=456021, nogoods=2396, foundSolutions=25, bestBound=3
19.33/17.48	    
19.33/17.49	    num=347, depth=10..25, filters=2462117, ccks=225, wck=15.385, mem=71M507
19.33/17.49	    decisions=1447200, wrong=721153, backtracks=693527, failedAssignments=456302, nogoods=2404, foundSolutions=25, bestBound=3
19.33/17.49	    
19.43/17.50	    num=348, depth=9..23, filters=2463565, ccks=225, wck=15.394, mem=71M507
19.43/17.50	    decisions=1448061, wrong=721578, backtracks=693941, failedAssignments=456611, nogoods=2413, foundSolutions=25, bestBound=3
19.43/17.50	    
19.43/17.51	    num=349, depth=10..22, filters=2465242, ccks=225, wck=15.406, mem=71M507
19.43/17.51	    decisions=1449027, wrong=722055, backtracks=694406, failedAssignments=456951, nogoods=2425, foundSolutions=25, bestBound=3
19.43/17.51	    
19.43/17.52	    num=350, depth=8..22, filters=2466985, ccks=225, wck=15.42, mem=71M507
19.43/17.52	    decisions=1450116, wrong=722594, backtracks=694925, failedAssignments=457325, nogoods=2432, foundSolutions=25, bestBound=3
19.43/17.52	    
19.43/17.54	    num=351, depth=9..24, filters=2468969, ccks=225, wck=15.434, mem=71M507
19.43/17.54	    decisions=1451263, wrong=723162, backtracks=695481, failedAssignments=457736, nogoods=2445, foundSolutions=25, bestBound=3
19.43/17.54	    
19.43/17.55	    num=352, depth=9..23, filters=2471130, ccks=225, wck=15.45, mem=71M507
19.43/17.55	    decisions=1452506, wrong=723778, backtracks=696085, failedAssignments=458188, nogoods=2452, foundSolutions=25, bestBound=3
19.43/17.55	    
19.43/17.57	    num=353, depth=9..24, filters=2473384, ccks=225, wck=15.467, mem=71M507
19.43/17.57	    decisions=1453891, wrong=724464, backtracks=696748, failedAssignments=458685, nogoods=2457, foundSolutions=25, bestBound=3
19.43/17.57	    
19.43/17.59	    num=354, depth=9..23, filters=2476198, ccks=225, wck=15.486, mem=71M507
19.43/17.59	    decisions=1455497, wrong=725261, backtracks=697518, failedAssignments=459232, nogoods=2465, foundSolutions=25, bestBound=3
19.43/17.59	    
19.54/17.61	    num=355, depth=10..24, filters=2478901, ccks=225, wck=15.506, mem=71M507
19.54/17.61	    decisions=1457141, wrong=726076, backtracks=698314, failedAssignments=459834, nogoods=2472, foundSolutions=25, bestBound=3
19.54/17.61	    
19.54/17.63	    num=356, depth=8..24, filters=2481979, ccks=225, wck=15.529, mem=71M507
19.54/17.63	    decisions=1458973, wrong=726986, backtracks=699205, failedAssignments=460496, nogoods=2477, foundSolutions=25, bestBound=3
19.54/17.63	    
19.54/17.66	    num=357, depth=9..25, filters=2485285, ccks=225, wck=15.552, mem=71M507
19.54/17.66	    decisions=1460968, wrong=727978, backtracks=700175, failedAssignments=461224, nogoods=2488, foundSolutions=25, bestBound=3
19.54/17.66	    
19.54/17.69	    num=358, depth=9..24, filters=2489099, ccks=225, wck=15.58, mem=71M507
19.54/17.69	    decisions=1463287, wrong=729131, backtracks=701298, failedAssignments=462025, nogoods=2499, foundSolutions=25, bestBound=3
19.54/17.69	    
19.64/17.72	    num=359, depth=9..25, filters=2493197, ccks=225, wck=15.61, mem=71M507
19.64/17.72	    decisions=1465733, wrong=730348, backtracks=702479, failedAssignments=462906, nogoods=2512, foundSolutions=25, bestBound=3
19.64/17.72	    
19.64/17.75	    num=360, depth=9..24, filters=2497842, ccks=225, wck=15.643, mem=71M507
19.64/17.75	    decisions=1468552, wrong=731752, backtracks=703838, failedAssignments=463876, nogoods=2517, foundSolutions=25, bestBound=3
19.64/17.75	    
19.64/17.79	    num=361, depth=8..25, filters=2502767, ccks=225, wck=15.681, mem=71M507
19.64/17.79	    decisions=1471514, wrong=733227, backtracks=705283, failedAssignments=464943, nogoods=2527, foundSolutions=25, bestBound=3
19.64/17.79	    
19.74/17.82	    num=362, depth=9..25, filters=2508314, ccks=225, wck=15.719, mem=71M507
19.74/17.82	    decisions=1474779, wrong=734854, backtracks=706869, failedAssignments=466116, nogoods=2535, foundSolutions=25, bestBound=3
19.74/17.82	    
19.74/17.87	    num=363, depth=9..25, filters=2514472, ccks=225, wck=15.762, mem=71M507
19.74/17.87	    decisions=1478342, wrong=736629, backtracks=708614, failedAssignments=467407, nogoods=2544, foundSolutions=25, bestBound=3
19.74/17.87	    
19.84/17.92	    num=364, depth=8..25, filters=2522039, ccks=225, wck=15.815, mem=71M507
19.84/17.92	    decisions=1482828, wrong=738866, backtracks=710756, failedAssignments=468827, nogoods=2555, foundSolutions=25, bestBound=3
19.84/17.92	    
19.84/17.97	    num=365, depth=8..24, filters=2529563, ccks=225, wck=15.869, mem=71M507
19.84/17.97	    decisions=1487445, wrong=741169, backtracks=712960, failedAssignments=470389, nogoods=2566, foundSolutions=25, bestBound=3
19.84/17.97	    
19.95/18.03	    num=366, depth=8..25, filters=2537287, ccks=225, wck=15.927, mem=71M507
19.95/18.03	    decisions=1492102, wrong=743491, backtracks=715230, failedAssignments=472107, nogoods=2578, foundSolutions=25, bestBound=3
19.95/18.03	    
19.95/18.10	    num=367, depth=9..25, filters=2546160, ccks=225, wck=15.992, mem=71M507
19.95/18.10	    decisions=1497508, wrong=746188, backtracks=717829, failedAssignments=473997, nogoods=2589, foundSolutions=25, bestBound=3
19.95/18.10	    
20.05/18.17	    num=368, depth=8..24, filters=2556562, ccks=225, wck=16.064, mem=71M507
20.05/18.17	    decisions=1503585, wrong=749221, backtracks=720756, failedAssignments=476076, nogoods=2600, foundSolutions=25, bestBound=3
20.05/18.17	    
20.14/18.25	    num=369, depth=8..25, filters=2568295, ccks=225, wck=16.142, mem=71M507
20.14/18.25	    decisions=1510537, wrong=752692, backtracks=724116, failedAssignments=478363, nogoods=2612, foundSolutions=25, bestBound=3
20.14/18.25	    
20.24/18.34	    num=370, depth=7..25, filters=2581034, ccks=225, wck=16.232, mem=71M507
20.24/18.34	    decisions=1518465, wrong=756651, backtracks=727899, failedAssignments=480879, nogoods=2623, foundSolutions=25, bestBound=3
20.24/18.34	    
20.34/18.43	    num=371, depth=8..24, filters=2595599, ccks=225, wck=16.328, mem=71M507
20.34/18.43	    decisions=1526801, wrong=760813, backtracks=731865, failedAssignments=483647, nogoods=2632, foundSolutions=25, bestBound=3
20.34/18.43	    
20.44/18.53	    num=372, depth=8..23, filters=2611693, ccks=225, wck=16.429, mem=71M507
20.44/18.53	    decisions=1536140, wrong=765477, backtracks=736333, failedAssignments=486691, nogoods=2643, foundSolutions=25, bestBound=3
20.44/18.53	    
20.54/18.66	    num=373, depth=7..23, filters=2629730, ccks=225, wck=16.558, mem=74M149
20.54/18.66	    decisions=1546573, wrong=770688, backtracks=741376, failedAssignments=490040, nogoods=2648, foundSolutions=25, bestBound=3
20.54/18.66	    
20.64/18.78	    num=374, depth=7..25, filters=2646483, ccks=225, wck=16.676, mem=74M149
20.64/18.78	    decisions=1557374, wrong=776083, backtracks=746555, failedAssignments=493724, nogoods=2655, foundSolutions=25, bestBound=3
20.64/18.78	    
20.84/18.93	    num=375, depth=7..24, filters=2668578, ccks=225, wck=16.825, mem=74M149
20.84/18.93	    decisions=1570425, wrong=782603, backtracks=752761, failedAssignments=497776, nogoods=2667, foundSolutions=25, bestBound=3
20.84/18.93	    
20.95/19.08	    num=376, depth=7..24, filters=2692149, ccks=225, wck=16.98, mem=74M149
20.95/19.08	    decisions=1583792, wrong=789281, backtracks=759233, failedAssignments=502233, nogoods=2678, foundSolutions=25, bestBound=3
20.95/19.08	    
21.14/19.27	    num=377, depth=7..24, filters=2716771, ccks=225, wck=17.164, mem=74M149
21.14/19.27	    decisions=1599004, wrong=796881, backtracks=766465, failedAssignments=507136, nogoods=2689, foundSolutions=25, bestBound=3
21.14/19.27	    
21.34/19.47	    num=378, depth=7..24, filters=2746907, ccks=225, wck=17.363, mem=74M149
21.34/19.47	    decisions=1617081, wrong=805915, backtracks=775182, failedAssignments=512530, nogoods=2700, foundSolutions=25, bestBound=3
21.34/19.47	    
21.54/19.68	    num=379, depth=7..25, filters=2777944, ccks=225, wck=17.573, mem=74M149
21.54/19.68	    decisions=1635221, wrong=814980, backtracks=783916, failedAssignments=518463, nogoods=2711, foundSolutions=25, bestBound=3
21.54/19.68	    
21.84/19.90	    num=380, depth=7..24, filters=2810545, ccks=225, wck=17.792, mem=74M149
21.84/19.90	    decisions=1654664, wrong=824696, backtracks=793267, failedAssignments=524989, nogoods=2722, foundSolutions=25, bestBound=3
21.84/19.90	    
22.05/20.17	    num=381, depth=6..24, filters=2851516, ccks=225, wck=18.069, mem=76M791
22.05/20.17	    decisions=1678640, wrong=836678, backtracks=804716, failedAssignments=532168, nogoods=2729, foundSolutions=25, bestBound=3
22.05/20.17	    
22.44/20.51	    num=382, depth=5..24, filters=2899862, ccks=225, wck=18.4, mem=76M791
22.44/20.51	    decisions=1707389, wrong=851047, backtracks=818296, failedAssignments=540065, nogoods=2738, foundSolutions=25, bestBound=3
22.44/20.51	    
22.74/20.80	    num=383, depth=6..24, filters=2948866, ccks=225, wck=18.699, mem=76M791
22.74/20.80	    decisions=1734937, wrong=864816, backtracks=831522, failedAssignments=548752, nogoods=2742, foundSolutions=25, bestBound=3
22.74/20.80	    
23.06/21.14	    num=384, depth=6..24, filters=2998021, ccks=225, wck=19.03, mem=76M791
23.06/21.14	    decisions=1763424, wrong=879054, backtracks=845253, failedAssignments=558307, nogoods=2750, foundSolutions=25, bestBound=3
23.06/21.14	    
23.45/21.52	    num=385, depth=6..25, filters=3055464, ccks=225, wck=19.411, mem=76M791
23.45/21.52	    decisions=1798138, wrong=896406, backtracks=861702, failedAssignments=568818, nogoods=2761, foundSolutions=25, bestBound=3
23.45/21.52	    
23.85/21.92	    num=386, depth=6..24, filters=3120820, ccks=225, wck=19.818, mem=79M434
23.85/21.92	    decisions=1834518, wrong=914590, backtracks=879148, failedAssignments=580380, nogoods=2764, foundSolutions=25, bestBound=3
23.85/21.92	    
24.25/22.36	    num=387, depth=6..25, filters=3188528, ccks=225, wck=20.257, mem=79M434
24.25/22.36	    decisions=1874641, wrong=934645, backtracks=898447, failedAssignments=593098, nogoods=2773, foundSolutions=25, bestBound=3
24.25/22.36	    
24.75/22.84	    num=388, depth=6..25, filters=3260181, ccks=225, wck=20.737, mem=79M434
24.75/22.84	    decisions=1918620, wrong=956629, backtracks=919461, failedAssignments=607088, nogoods=2782, foundSolutions=25, bestBound=3
24.75/22.84	    
25.35/23.40	    num=389, depth=6..25, filters=3341993, ccks=225, wck=21.297, mem=82M76
25.35/23.40	    decisions=1967465, wrong=981047, backtracks=942954, failedAssignments=622477, nogoods=2793, foundSolutions=25, bestBound=3
25.35/23.40	    
25.85/23.95	    num=390, depth=6..24, filters=3432633, ccks=225, wck=21.847, mem=82M76
25.85/23.95	    decisions=2019649, wrong=1007134, backtracks=968200, failedAssignments=639405, nogoods=2802, foundSolutions=25, bestBound=3
25.85/23.95	    
26.45/24.59	    num=391, depth=6..25, filters=3526981, ccks=225, wck=22.489, mem=84M719
26.45/24.59	    decisions=2078515, wrong=1036560, backtracks=996630, failedAssignments=658026, nogoods=2810, foundSolutions=25, bestBound=3
26.45/24.59	    
27.35/25.43	    num=392, depth=5..26, filters=3652895, ccks=225, wck=23.326, mem=84M719
27.35/25.43	    decisions=2152656, wrong=1073625, backtracks=1031706, failedAssignments=678510, nogoods=2821, foundSolutions=25, bestBound=3
27.35/25.43	    
28.15/26.27	    num=393, depth=5..24, filters=3785967, ccks=225, wck=24.164, mem=87M361
28.15/26.27	    decisions=2228304, wrong=1111444, backtracks=1067837, failedAssignments=701042, nogoods=2829, foundSolutions=25, bestBound=3
28.15/26.27	    
28.97/27.09	    num=394, depth=5..25, filters=3910048, ccks=225, wck=24.981, mem=87M361
28.97/27.09	    decisions=2306975, wrong=1150774, backtracks=1105610, failedAssignments=725827, nogoods=2840, foundSolutions=25, bestBound=3
28.97/27.09	    
29.97/28.08	    num=395, depth=5..25, filters=4056677, ccks=225, wck=25.972, mem=90M4
29.97/28.08	    decisions=2397746, wrong=1196154, backtracks=1149127, failedAssignments=753091, nogoods=2850, foundSolutions=25, bestBound=3
29.97/28.08	    
31.07/29.17	    num=396, depth=6..26, filters=4218559, ccks=225, wck=27.061, mem=92M646
31.07/29.17	    decisions=2499182, wrong=1246865, backtracks=1197720, failedAssignments=783081, nogoods=2860, foundSolutions=25, bestBound=3
31.07/29.17	    
32.36/30.49	    num=397, depth=5..24, filters=4430464, ccks=225, wck=28.387, mem=92M646
32.36/30.49	    decisions=2613226, wrong=1303881, backtracks=1252180, failedAssignments=816070, nogoods=2870, foundSolutions=25, bestBound=3
32.36/30.49	    
33.77/31.80	    num=398, depth=5..25, filters=4632371, ccks=225, wck=29.695, mem=95M288
33.77/31.80	    decisions=2735838, wrong=1365183, backtracks=1311091, failedAssignments=852358, nogoods=2880, foundSolutions=25, bestBound=3
33.77/31.80	    
35.17/33.25	    num=399, depth=5..25, filters=4857478, ccks=225, wck=31.148, mem=97M931
35.17/33.25	    decisions=2870134, wrong=1432326, backtracks=1375129, failedAssignments=892275, nogoods=2893, foundSolutions=25, bestBound=3
35.17/33.25	    
36.76/34.86	    num=400, depth=4..25, filters=5101707, ccks=225, wck=32.757, mem=100M573
36.76/34.86	    decisions=3017668, wrong=1506088, backtracks=1446111, failedAssignments=936184, nogoods=2899, foundSolutions=25, bestBound=3
36.76/34.86	    
38.56/36.66	    num=401, depth=5..25, filters=5378170, ccks=225, wck=34.555, mem=103M216
38.56/36.66	    decisions=3188504, wrong=1591500, backtracks=1527793, failedAssignments=984484, nogoods=2911, foundSolutions=25, bestBound=3
38.56/36.66	    
40.66/38.72	    num=402, depth=4..24, filters=5709890, ccks=225, wck=36.617, mem=108M501
40.66/38.72	    decisions=3373625, wrong=1684056, backtracks=1615570, failedAssignments=1037614, nogoods=2922, foundSolutions=25, bestBound=3
40.66/38.72	    
42.76/40.80	    num=403, depth=5..25, filters=6027277, ccks=225, wck=38.693, mem=111M143
42.76/40.80	    decisions=3572475, wrong=1783477, backtracks=1710445, failedAssignments=1096057, nogoods=2933, foundSolutions=25, bestBound=3
42.76/40.80	    
45.26/43.36	    num=404, depth=3..25, filters=6429262, ccks=225, wck=41.258, mem=116M428
45.26/43.36	    decisions=3806695, wrong=1900583, backtracks=1821702, failedAssignments=1160344, nogoods=2943, foundSolutions=25, bestBound=3
45.26/43.36	    
47.87/46.00	    num=405, depth=4..25, filters=6850089, ccks=225, wck=43.897, mem=119M70
47.87/46.00	    decisions=4056524, wrong=2025493, backtracks=1941212, failedAssignments=1231060, nogoods=2955, foundSolutions=25, bestBound=3
47.87/46.00	    
50.87/48.99	    num=406, depth=3..24, filters=7316860, ccks=225, wck=46.885, mem=124M355
50.87/48.99	    decisions=4338372, wrong=2166411, backtracks=2076111, failedAssignments=1308847, nogoods=2962, foundSolutions=25, bestBound=3
50.87/48.99	    
54.38/52.46	    num=407, depth=3..25, filters=7840619, ccks=225, wck=50.352, mem=132M282
54.38/52.46	    decisions=4653543, wrong=2323990, backtracks=2224125, failedAssignments=1394413, nogoods=2972, foundSolutions=25, bestBound=3
54.38/52.46	    
57.98/56.07	    num=408, depth=4..25, filters=8438721, ccks=225, wck=53.962, mem=137M567
57.98/56.07	    decisions=4997473, wrong=2495949, backtracks=2387483, failedAssignments=1488536, nogoods=2983, foundSolutions=25, bestBound=3
57.98/56.07	    
58.67/56.75	o 2
58.67/56.75	    num=409, depth=5..93, filters=8544305, ccks=234, wck=54.642, mem=137M567
58.67/56.75	    decisions=5059854, wrong=2527133, backtracks=2417505, failedAssignments=1507708, nogoods=2995, foundSolutions=26, bestBound=2
58.67/56.75	    
63.12/61.15	    num=410, depth=2..25, filters=9275308, ccks=234, wck=59.046, mem=22M500
63.12/61.15	    decisions=5510643, wrong=2752522, backtracks=2630806, failedAssignments=1621597, nogoods=3006, foundSolutions=26, bestBound=2
63.12/61.15	    
63.12/61.15	    num=411, depth=12..18, filters=9275353, ccks=234, wck=59.047, mem=22M500
63.12/61.15	    decisions=5510681, wrong=2752535, backtracks=2630818, failedAssignments=1621608, nogoods=3008, foundSolutions=26, bestBound=2
63.12/61.15	    
63.12/61.15	    num=412, depth=11..17, filters=9275420, ccks=234, wck=59.048, mem=22M500
63.12/61.15	    decisions=5510731, wrong=2752554, backtracks=2630833, failedAssignments=1621620, nogoods=3012, foundSolutions=26, bestBound=2
63.12/61.15	    
63.12/61.15	    num=413, depth=12..20, filters=9275486, ccks=234, wck=59.049, mem=22M500
63.12/61.15	    decisions=5510778, wrong=2752571, backtracks=2630848, failedAssignments=1621633, nogoods=3015, foundSolutions=26, bestBound=2
63.12/61.15	    
63.12/61.15	    num=414, depth=11..18, filters=9275542, ccks=234, wck=59.049, mem=22M500
63.12/61.15	    decisions=5510828, wrong=2752590, backtracks=2630859, failedAssignments=1621647, nogoods=3023, foundSolutions=26, bestBound=2
63.12/61.15	    
63.12/61.15	    num=415, depth=11..18, filters=9275613, ccks=234, wck=59.05, mem=22M500
63.12/61.15	    decisions=5510878, wrong=2752609, backtracks=2630872, failedAssignments=1621663, nogoods=3030, foundSolutions=26, bestBound=2
63.12/61.15	    
63.12/61.16	    num=416, depth=11..19, filters=9275687, ccks=234, wck=59.051, mem=22M500
63.12/61.16	    decisions=5510934, wrong=2752630, backtracks=2630890, failedAssignments=1621680, nogoods=3033, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=417, depth=11..20, filters=9275785, ccks=234, wck=59.051, mem=22M500
63.12/61.16	    decisions=5511001, wrong=2752657, backtracks=2630913, failedAssignments=1621699, nogoods=3040, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=418, depth=11..19, filters=9275887, ccks=234, wck=59.053, mem=22M500
63.12/61.16	    decisions=5511068, wrong=2752684, backtracks=2630937, failedAssignments=1621720, nogoods=3043, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=419, depth=11..20, filters=9275987, ccks=234, wck=59.054, mem=22M500
63.12/61.16	    decisions=5511139, wrong=2752714, backtracks=2630966, failedAssignments=1621743, nogoods=3045, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=420, depth=10..20, filters=9276079, ccks=234, wck=59.055, mem=22M500
63.12/61.16	    decisions=5511212, wrong=2752745, backtracks=2630994, failedAssignments=1621768, nogoods=3048, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=421, depth=11..21, filters=9276200, ccks=234, wck=59.056, mem=22M500
63.12/61.16	    decisions=5511293, wrong=2752779, backtracks=2631024, failedAssignments=1621796, nogoods=3052, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=422, depth=11..21, filters=9276331, ccks=234, wck=59.057, mem=22M500
63.12/61.16	    decisions=5511383, wrong=2752818, backtracks=2631057, failedAssignments=1621827, nogoods=3060, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=423, depth=11..20, filters=9276471, ccks=234, wck=59.058, mem=22M500
63.12/61.16	    decisions=5511484, wrong=2752862, backtracks=2631097, failedAssignments=1621861, nogoods=3063, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.16	    num=424, depth=11..21, filters=9276635, ccks=234, wck=59.06, mem=22M500
63.12/61.16	    decisions=5511600, wrong=2752914, backtracks=2631146, failedAssignments=1621898, nogoods=3071, foundSolutions=26, bestBound=2
63.12/61.16	    
63.12/61.17	    num=425, depth=11..21, filters=9276822, ccks=234, wck=59.061, mem=22M500
63.12/61.17	    decisions=5511722, wrong=2752969, backtracks=2631196, failedAssignments=1621939, nogoods=3077, foundSolutions=26, bestBound=2
63.12/61.17	    
63.12/61.17	    num=426, depth=11..20, filters=9277032, ccks=234, wck=59.063, mem=25M90
63.12/61.17	    decisions=5511853, wrong=2753029, backtracks=2631255, failedAssignments=1621984, nogoods=3081, foundSolutions=26, bestBound=2
63.12/61.17	    
63.12/61.17	    num=427, depth=11..22, filters=9277238, ccks=234, wck=59.065, mem=25M90
63.12/61.17	    decisions=5511988, wrong=2753091, backtracks=2631315, failedAssignments=1622034, nogoods=3087, foundSolutions=26, bestBound=2
63.12/61.17	    
63.12/61.17	    num=428, depth=10..22, filters=9277469, ccks=234, wck=59.067, mem=25M90
63.12/61.17	    decisions=5512144, wrong=2753163, backtracks=2631377, failedAssignments=1622089, nogoods=3096, foundSolutions=26, bestBound=2
63.12/61.17	    
63.12/61.17	    num=429, depth=10..24, filters=9277748, ccks=234, wck=59.069, mem=25M90
63.12/61.17	    decisions=5512317, wrong=2753244, backtracks=2631454, failedAssignments=1622150, nogoods=3098, foundSolutions=26, bestBound=2
63.12/61.17	    
63.12/61.18	    num=430, depth=10..21, filters=9278038, ccks=234, wck=59.072, mem=25M90
63.12/61.18	    decisions=5512512, wrong=2753335, backtracks=2631538, failedAssignments=1622217, nogoods=3104, foundSolutions=26, bestBound=2
63.12/61.18	    
63.12/61.18	    num=431, depth=10..21, filters=9278386, ccks=234, wck=59.075, mem=25M90
63.12/61.18	    decisions=5512736, wrong=2753441, backtracks=2631635, failedAssignments=1622291, nogoods=3110, foundSolutions=26, bestBound=2
63.12/61.18	    
63.12/61.18	    num=432, depth=10..22, filters=9278738, ccks=234, wck=59.078, mem=25M90
63.12/61.18	    decisions=5512973, wrong=2753554, backtracks=2631742, failedAssignments=1622372, nogoods=3118, foundSolutions=26, bestBound=2
63.12/61.18	    
63.12/61.19	    num=433, depth=10..20, filters=9279164, ccks=234, wck=59.081, mem=25M90
63.12/61.19	    decisions=5513244, wrong=2753684, backtracks=2631866, failedAssignments=1622461, nogoods=3125, foundSolutions=26, bestBound=2
63.12/61.19	    
63.12/61.19	    num=434, depth=10..20, filters=9279598, ccks=234, wck=59.085, mem=25M90
63.12/61.19	    decisions=5513524, wrong=2753818, backtracks=2631995, failedAssignments=1622559, nogoods=3132, foundSolutions=26, bestBound=2
63.12/61.19	    
63.12/61.19	    num=435, depth=10..21, filters=9280107, ccks=234, wck=59.088, mem=25M90
63.12/61.19	    decisions=5513837, wrong=2753968, backtracks=2632143, failedAssignments=1622667, nogoods=3136, foundSolutions=26, bestBound=2
63.12/61.19	    
63.22/61.20	    num=436, depth=9..20, filters=9280638, ccks=234, wck=59.093, mem=25M90
63.22/61.20	    decisions=5514192, wrong=2754140, backtracks=2632304, failedAssignments=1622786, nogoods=3145, foundSolutions=26, bestBound=2
63.22/61.20	    
63.22/61.20	    num=437, depth=10..23, filters=9281246, ccks=234, wck=59.099, mem=25M90
63.22/61.20	    decisions=5514553, wrong=2754314, backtracks=2632470, failedAssignments=1622917, nogoods=3156, foundSolutions=26, bestBound=2
63.22/61.20	    
63.22/61.21	    num=438, depth=9..20, filters=9281971, ccks=234, wck=59.104, mem=25M90
63.22/61.21	    decisions=5515009, wrong=2754536, backtracks=2632677, failedAssignments=1623061, nogoods=3160, foundSolutions=26, bestBound=2
63.22/61.21	    
63.22/61.22	    num=439, depth=9..21, filters=9282653, ccks=234, wck=59.11, mem=25M90
63.22/61.22	    decisions=5515439, wrong=2754745, backtracks=2632880, failedAssignments=1623219, nogoods=3166, foundSolutions=26, bestBound=2
63.22/61.22	    
63.22/61.22	    num=440, depth=10..22, filters=9283540, ccks=234, wck=59.117, mem=25M90
63.22/61.22	    decisions=5515979, wrong=2755009, backtracks=2633121, failedAssignments=1623393, nogoods=3176, foundSolutions=26, bestBound=2
63.22/61.22	    
63.22/61.23	    num=441, depth=10..22, filters=9284442, ccks=234, wck=59.124, mem=25M90
63.22/61.23	    decisions=5516491, wrong=2755259, backtracks=2633364, failedAssignments=1623584, nogoods=3187, foundSolutions=26, bestBound=2
63.22/61.23	    
63.22/61.24	    num=442, depth=10..21, filters=9285521, ccks=234, wck=59.132, mem=25M90
63.22/61.24	    decisions=5517121, wrong=2755567, backtracks=2633656, failedAssignments=1623795, nogoods=3195, foundSolutions=26, bestBound=2
63.22/61.24	    
63.22/61.25	    num=443, depth=9..22, filters=9286528, ccks=234, wck=59.14, mem=25M90
63.22/61.25	    decisions=5517792, wrong=2755897, backtracks=2633973, failedAssignments=1624027, nogoods=3199, foundSolutions=26, bestBound=2
63.22/61.25	    
63.22/61.25	    num=444, depth=10..22, filters=9287590, ccks=234, wck=59.15, mem=25M90
63.22/61.25	    decisions=5518461, wrong=2756226, backtracks=2634294, failedAssignments=1624282, nogoods=3209, foundSolutions=26, bestBound=2
63.22/61.25	    
63.22/61.27	    num=445, depth=9..21, filters=9288828, ccks=234, wck=59.161, mem=25M90
63.22/61.27	    decisions=5519300, wrong=2756640, backtracks=2634689, failedAssignments=1624563, nogoods=3218, foundSolutions=26, bestBound=2
63.22/61.27	    
63.22/61.28	    num=446, depth=9..23, filters=9290191, ccks=234, wck=59.172, mem=25M90
63.22/61.28	    decisions=5520160, wrong=2757064, backtracks=2635098, failedAssignments=1624872, nogoods=3225, foundSolutions=26, bestBound=2
63.22/61.28	    
63.22/61.29	    num=447, depth=9..24, filters=9291762, ccks=234, wck=59.184, mem=25M90
63.22/61.29	    decisions=5521149, wrong=2757553, backtracks=2635573, failedAssignments=1625212, nogoods=3232, foundSolutions=26, bestBound=2
63.22/61.29	    
63.34/61.30	    num=448, depth=9..23, filters=9293537, ccks=234, wck=59.197, mem=25M90
63.34/61.30	    decisions=5522169, wrong=2758057, backtracks=2636064, failedAssignments=1625586, nogoods=3237, foundSolutions=26, bestBound=2
63.34/61.30	    
63.34/61.32	    num=449, depth=8..21, filters=9295525, ccks=234, wck=59.213, mem=25M90
63.34/61.32	    decisions=5523422, wrong=2758678, backtracks=2636654, failedAssignments=1625997, nogoods=3245, foundSolutions=26, bestBound=2
63.34/61.32	    
63.34/61.33	    num=450, depth=10..24, filters=9297592, ccks=234, wck=59.229, mem=25M90
63.34/61.33	    decisions=5524670, wrong=2759296, backtracks=2637261, failedAssignments=1626449, nogoods=3253, foundSolutions=26, bestBound=2
63.34/61.33	    
63.34/61.35	    num=451, depth=8..23, filters=9299509, ccks=234, wck=59.244, mem=25M90
63.34/61.35	    decisions=5526053, wrong=2759982, backtracks=2637926, failedAssignments=1626946, nogoods=3259, foundSolutions=26, bestBound=2
63.34/61.35	    
63.34/61.37	    num=452, depth=9..23, filters=9302069, ccks=234, wck=59.262, mem=25M90
63.34/61.37	    decisions=5527625, wrong=2760762, backtracks=2638683, failedAssignments=1627493, nogoods=3268, foundSolutions=26, bestBound=2
63.34/61.37	    
63.34/61.39	    num=453, depth=8..23, filters=9304970, ccks=234, wck=59.283, mem=25M90
63.34/61.39	    decisions=5529382, wrong=2761635, backtracks=2639530, failedAssignments=1628095, nogoods=3273, foundSolutions=26, bestBound=2
63.34/61.39	    
63.44/61.41	    num=454, depth=9..22, filters=9308136, ccks=234, wck=59.304, mem=25M90
63.44/61.41	    decisions=5531276, wrong=2762576, backtracks=2640443, failedAssignments=1628757, nogoods=3281, foundSolutions=26, bestBound=2
63.44/61.41	    
63.44/61.43	    num=455, depth=8..21, filters=9311320, ccks=234, wck=59.328, mem=25M90
63.44/61.43	    decisions=5533324, wrong=2763595, backtracks=2641432, failedAssignments=1629485, nogoods=3293, foundSolutions=26, bestBound=2
63.44/61.43	    
63.44/61.46	    num=456, depth=9..23, filters=9314806, ccks=234, wck=59.354, mem=25M90
63.44/61.46	    decisions=5535509, wrong=2764681, backtracks=2642501, failedAssignments=1630286, nogoods=3300, foundSolutions=26, bestBound=2
63.44/61.46	    
63.44/61.49	    num=457, depth=9..23, filters=9318956, ccks=234, wck=59.385, mem=25M90
63.44/61.49	    decisions=5538239, wrong=2766039, backtracks=2643814, failedAssignments=1631167, nogoods=3311, foundSolutions=26, bestBound=2
63.44/61.49	    
63.54/61.53	    num=458, depth=7..23, filters=9323765, ccks=234, wck=59.421, mem=25M90
63.54/61.53	    decisions=5541159, wrong=2767494, backtracks=2645203, failedAssignments=1632137, nogoods=3315, foundSolutions=26, bestBound=2
63.54/61.53	    
63.54/61.56	    num=459, depth=8..24, filters=9328579, ccks=234, wck=59.457, mem=25M90
63.54/61.56	    decisions=5544250, wrong=2769034, backtracks=2646677, failedAssignments=1633204, nogoods=3326, foundSolutions=26, bestBound=2
63.54/61.56	    
63.64/61.60	    num=460, depth=9..23, filters=9334163, ccks=234, wck=59.495, mem=25M90
63.64/61.60	    decisions=5547647, wrong=2770727, backtracks=2648328, failedAssignments=1634377, nogoods=3335, foundSolutions=26, bestBound=2
63.64/61.60	    
63.64/61.64	    num=461, depth=7..24, filters=9340286, ccks=234, wck=59.539, mem=25M90
63.64/61.64	    decisions=5551489, wrong=2772642, backtracks=2650178, failedAssignments=1635668, nogoods=3343, foundSolutions=26, bestBound=2
63.64/61.64	    
63.64/61.70	    num=462, depth=8..24, filters=9347634, ccks=234, wck=59.59, mem=25M90
63.64/61.70	    decisions=5555892, wrong=2774838, backtracks=2652296, failedAssignments=1637088, nogoods=3353, foundSolutions=26, bestBound=2
63.64/61.70	    
63.74/61.75	    num=463, depth=8..23, filters=9356024, ccks=234, wck=59.648, mem=25M90
63.74/61.75	    decisions=5560757, wrong=2777264, backtracks=2654612, failedAssignments=1638650, nogoods=3362, foundSolutions=26, bestBound=2
63.74/61.75	    
63.84/61.81	    num=464, depth=8..23, filters=9364566, ccks=234, wck=59.707, mem=25M90
63.84/61.81	    decisions=5565892, wrong=2779826, backtracks=2657074, failedAssignments=1640368, nogoods=3370, foundSolutions=26, bestBound=2
63.84/61.81	    
63.84/61.88	    num=465, depth=8..23, filters=9374618, ccks=234, wck=59.772, mem=25M90
63.84/61.88	    decisions=5571495, wrong=2782621, backtracks=2659768, failedAssignments=1642258, nogoods=3378, foundSolutions=26, bestBound=2
63.84/61.88	    
63.94/61.94	    num=466, depth=7..24, filters=9384804, ccks=234, wck=59.839, mem=25M90
63.94/61.94	    decisions=5577722, wrong=2785729, backtracks=2662754, failedAssignments=1644337, nogoods=3388, foundSolutions=26, bestBound=2
63.94/61.94	    
64.04/62.02	    num=467, depth=8..23, filters=9395503, ccks=234, wck=59.914, mem=25M90
64.04/62.02	    decisions=5584538, wrong=2789131, backtracks=2666010, failedAssignments=1646624, nogoods=3397, foundSolutions=26, bestBound=2
64.04/62.02	    
64.04/62.10	    num=468, depth=8..24, filters=9407996, ccks=234, wck=59.994, mem=25M90
64.04/62.10	    decisions=5591986, wrong=2792849, backtracks=2669602, failedAssignments=1649140, nogoods=3409, foundSolutions=26, bestBound=2
64.04/62.10	    
64.15/62.19	    num=469, depth=7..24, filters=9421314, ccks=234, wck=60.085, mem=27M679
64.15/62.19	    decisions=5600033, wrong=2796867, backtracks=2673488, failedAssignments=1651908, nogoods=3418, foundSolutions=26, bestBound=2
64.15/62.19	    
64.34/62.30	    num=470, depth=7..23, filters=9437017, ccks=234, wck=60.2, mem=27M679
64.34/62.30	    decisions=5609841, wrong=2801765, backtracks=2678194, failedAssignments=1654952, nogoods=3426, foundSolutions=26, bestBound=2
64.34/62.30	    
64.44/62.42	    num=471, depth=7..23, filters=9452968, ccks=234, wck=60.314, mem=27M679
64.44/62.42	    decisions=5619695, wrong=2806687, backtracks=2682962, failedAssignments=1658301, nogoods=3438, foundSolutions=26, bestBound=2
64.44/62.42	    
64.54/62.55	    num=472, depth=7..24, filters=9471473, ccks=234, wck=60.445, mem=27M679
64.54/62.55	    decisions=5631159, wrong=2812413, backtracks=2688424, failedAssignments=1661985, nogoods=3447, foundSolutions=26, bestBound=2
64.54/62.55	    
64.64/62.69	    num=473, depth=7..23, filters=9493185, ccks=234, wck=60.588, mem=27M679
64.64/62.69	    decisions=5644251, wrong=2818955, backtracks=2694687, failedAssignments=1666037, nogoods=3455, foundSolutions=26, bestBound=2
64.64/62.69	    
64.84/62.86	    num=474, depth=6..24, filters=9515432, ccks=234, wck=60.751, mem=27M679
64.84/62.86	    decisions=5657989, wrong=2825819, backtracks=2701277, failedAssignments=1670494, nogoods=3464, foundSolutions=26, bestBound=2
64.84/62.86	    
65.04/63.03	    num=475, depth=7..23, filters=9541041, ccks=234, wck=60.93, mem=27M679
65.04/63.03	    decisions=5673593, wrong=2833616, backtracks=2708693, failedAssignments=1675397, nogoods=3473, foundSolutions=26, bestBound=2
65.04/63.03	    
65.24/63.22	    num=476, depth=6..22, filters=9567504, ccks=234, wck=61.117, mem=27M679
65.24/63.22	    decisions=5690435, wrong=2842031, backtracks=2716717, failedAssignments=1680791, nogoods=3485, foundSolutions=26, bestBound=2
65.24/63.22	    
65.44/63.42	    num=477, depth=7..24, filters=9594363, ccks=234, wck=61.313, mem=27M679
65.44/63.42	    decisions=5708001, wrong=2850809, backtracks=2725167, failedAssignments=1686724, nogoods=3494, foundSolutions=26, bestBound=2
65.44/63.42	    
65.64/63.65	    num=478, depth=7..24, filters=9628341, ccks=234, wck=61.548, mem=30M269
65.64/63.65	    decisions=5729247, wrong=2861426, backtracks=2735426, failedAssignments=1693250, nogoods=3503, foundSolutions=26, bestBound=2
65.64/63.65	    
65.94/63.91	    num=479, depth=6..24, filters=9668743, ccks=234, wck=61.806, mem=30M269
65.94/63.91	    decisions=5752914, wrong=2873254, backtracks=2746758, failedAssignments=1700429, nogoods=3512, foundSolutions=26, bestBound=2
65.94/63.91	    
66.15/64.19	    num=480, depth=6..23, filters=9708097, ccks=234, wck=62.086, mem=30M269
66.15/64.19	    decisions=5778232, wrong=2885907, backtracks=2758844, failedAssignments=1708326, nogoods=3519, foundSolutions=26, bestBound=2
66.15/64.19	    
66.54/64.51	    num=481, depth=6..24, filters=9753783, ccks=234, wck=62.405, mem=30M269
66.54/64.51	    decisions=5805972, wrong=2899772, backtracks=2772012, failedAssignments=1717013, nogoods=3527, foundSolutions=26, bestBound=2
66.54/64.51	    
66.84/64.85	    num=482, depth=6..24, filters=9805100, ccks=234, wck=62.74, mem=30M269
66.84/64.85	    decisions=5837082, wrong=2915321, backtracks=2786821, failedAssignments=1726568, nogoods=3538, foundSolutions=26, bestBound=2
66.84/64.85	    
67.24/65.23	    num=483, depth=5..23, filters=9865269, ccks=234, wck=63.122, mem=32M859
67.24/65.23	    decisions=5873244, wrong=2933397, backtracks=2803984, failedAssignments=1737079, nogoods=3551, foundSolutions=26, bestBound=2
67.24/65.23	    
67.64/65.64	    num=484, depth=5..24, filters=9927355, ccks=234, wck=63.535, mem=32M859
67.64/65.64	    decisions=5912041, wrong=2952791, backtracks=2822389, failedAssignments=1748641, nogoods=3558, foundSolutions=26, bestBound=2
67.64/65.64	    
68.15/66.11	    num=485, depth=6..25, filters=9996825, ccks=234, wck=64.005, mem=32M859
68.15/66.11	    decisions=5955227, wrong=2974378, backtracks=2843005, failedAssignments=1761359, nogoods=3568, foundSolutions=26, bestBound=2
68.15/66.11	    
68.64/66.62	    num=486, depth=6..24, filters=10078643, ccks=234, wck=64.511, mem=35M448
68.64/66.62	    decisions=6002554, wrong=2998036, backtracks=2865671, failedAssignments=1775349, nogoods=3580, foundSolutions=26, bestBound=2
68.64/66.62	    
69.24/67.21	    num=487, depth=5..23, filters=10165008, ccks=234, wck=65.105, mem=35M448
69.24/67.21	    decisions=6057212, wrong=3025359, backtracks=2891545, failedAssignments=1790738, nogoods=3590, foundSolutions=26, bestBound=2
69.24/67.21	    
69.84/67.83	    num=488, depth=5..24, filters=10263292, ccks=234, wck=65.722, mem=35M448
69.84/67.83	    decisions=6116386, wrong=3054940, backtracks=2919766, failedAssignments=1807666, nogoods=3592, foundSolutions=26, bestBound=2
69.84/67.83	    
70.54/68.55	    num=489, depth=4..24, filters=10368704, ccks=234, wck=66.444, mem=38M38
70.54/68.55	    decisions=6184529, wrong=3089006, backtracks=2952124, failedAssignments=1826287, nogoods=3602, foundSolutions=26, bestBound=2
70.54/68.55	    
71.24/69.26	    num=490, depth=6..25, filters=10469442, ccks=234, wck=67.152, mem=38M38
71.24/69.26	    decisions=6251208, wrong=3122341, backtracks=2983997, failedAssignments=1846771, nogoods=3610, foundSolutions=26, bestBound=2
71.24/69.26	    
72.15/70.11	    num=491, depth=4..24, filters=10595961, ccks=234, wck=68.009, mem=40M627
72.15/70.11	    decisions=6330678, wrong=3162071, backtracks=3021790, failedAssignments=1869303, nogoods=3619, foundSolutions=26, bestBound=2
72.15/70.11	    
73.04/71.05	    num=492, depth=4..23, filters=10737939, ccks=234, wck=68.943, mem=43M217
73.04/71.05	    decisions=6418396, wrong=3205924, backtracks=3063338, failedAssignments=1894088, nogoods=3627, foundSolutions=26, bestBound=2
73.04/71.05	    
74.04/72.01	    num=493, depth=5..26, filters=10882161, ccks=234, wck=69.91, mem=43M217
74.04/72.01	    decisions=6509666, wrong=3251554, backtracks=3107049, failedAssignments=1921352, nogoods=3637, foundSolutions=26, bestBound=2
74.04/72.01	    
75.15/73.15	    num=494, depth=4..23, filters=11056496, ccks=234, wck=71.046, mem=45M806
75.15/73.15	    decisions=6617950, wrong=3305692, backtracks=3158526, failedAssignments=1951342, nogoods=3648, foundSolutions=26, bestBound=2
75.15/73.15	    
76.34/74.39	    num=495, depth=5..25, filters=11246330, ccks=234, wck=72.283, mem=48M396
76.34/74.39	    decisions=6734713, wrong=3364068, backtracks=3214199, failedAssignments=1984331, nogoods=3660, foundSolutions=26, bestBound=2
76.34/74.39	    
77.84/75.85	    num=496, depth=4..24, filters=11473090, ccks=234, wck=73.749, mem=50M986
77.84/75.85	    decisions=6868232, wrong=3430821, backtracks=3277709, failedAssignments=2020619, nogoods=3665, foundSolutions=26, bestBound=2
77.84/75.85	    
79.38/77.38	    num=497, depth=4..24, filters=11707429, ccks=234, wck=75.271, mem=53M575
79.38/77.38	    decisions=7011498, wrong=3502448, backtracks=3345769, failedAssignments=2060536, nogoods=3675, foundSolutions=26, bestBound=2
79.38/77.38	    
81.08/79.05	    num=498, depth=4..24, filters=11972189, ccks=234, wck=76.946, mem=56M165
81.08/79.05	    decisions=7169337, wrong=3581363, backtracks=3420428, failedAssignments=2104445, nogoods=3685, foundSolutions=26, bestBound=2
81.08/79.05	    
82.88/80.85	    num=499, depth=4..24, filters=12250612, ccks=234, wck=78.748, mem=58M754
82.88/80.85	    decisions=7343980, wrong=3668680, backtracks=3503219, failedAssignments=2152745, nogoods=3694, foundSolutions=26, bestBound=2
82.88/80.85	    
84.98/82.94	    num=500, depth=3..24, filters=12576023, ccks=234, wck=80.835, mem=63M933
84.98/82.94	    decisions=7547700, wrong=3770534, backtracks=3599462, failedAssignments=2205875, nogoods=3704, foundSolutions=26, bestBound=2
84.98/82.94	    
87.39/85.39	    num=501, depth=3..24, filters=12944890, ccks=234, wck=83.287, mem=66M523
87.39/85.39	    decisions=7768129, wrong=3880744, backtracks=3704247, failedAssignments=2264318, nogoods=3709, foundSolutions=26, bestBound=2
87.39/85.39	    
89.79/87.79	    num=502, depth=3..24, filters=13336123, ccks=234, wck=85.688, mem=71M702
89.79/87.79	    decisions=8011649, wrong=4002499, backtracks=3819434, failedAssignments=2328605, nogoods=3718, foundSolutions=26, bestBound=2
89.79/87.79	    
92.69/90.70	    num=503, depth=3..25, filters=13766308, ccks=234, wck=88.59, mem=76M881
92.69/90.70	    decisions=8280644, wrong=4136991, backtracks=3946478, failedAssignments=2399321, nogoods=3727, foundSolutions=26, bestBound=2
92.69/90.70	    
95.99/93.92	    num=504, depth=3..24, filters=14258978, ccks=234, wck=91.811, mem=82M60
95.99/93.92	    decisions=8583526, wrong=4288427, backtracks=4089532, failedAssignments=2477108, nogoods=3739, foundSolutions=26, bestBound=2
95.99/93.92	    
99.59/97.58	    num=505, depth=2..24, filters=14801014, ccks=234, wck=95.478, mem=87M240
99.59/97.58	    decisions=8933313, wrong=4463315, backtracks=4254505, failedAssignments=2562674, nogoods=3747, foundSolutions=26, bestBound=2
99.59/97.58	    
103.59/101.55	    num=506, depth=2..26, filters=15407506, ccks=234, wck=99.44, mem=95M8
103.59/101.55	    decisions=9306365, wrong=4649835, backtracks=4430807, failedAssignments=2656797, nogoods=3757, foundSolutions=26, bestBound=2
103.59/101.55	    
107.79/105.72	    num=507, depth=3..24, filters=16048260, ccks=234, wck=103.611, mem=100M187
107.79/105.72	    decisions=9720099, wrong=4856698, backtracks=4626259, failedAssignments=2760332, nogoods=3767, foundSolutions=26, bestBound=2
107.79/105.72	    
112.69/110.61	    num=508, depth=2..24, filters=16811136, ccks=234, wck=108.506, mem=107M956
112.69/110.61	    decisions=10190195, wrong=5091741, backtracks=4849540, failedAssignments=2874221, nogoods=3778, foundSolutions=26, bestBound=2
112.69/110.61	    
118.20/116.13	    num=509, depth=2..25, filters=17644935, ccks=234, wck=114.028, mem=118M314
118.20/116.13	    decisions=10704387, wrong=5348833, backtracks=5092907, failedAssignments=2999499, nogoods=3791, foundSolutions=26, bestBound=2
118.20/116.13	    
124.29/122.29	    num=510, depth=1..25, filters=18561749, ccks=234, wck=120.185, mem=128M673
124.29/122.29	    decisions=11299627, wrong=5646449, backtracks=5371477, failedAssignments=3137305, nogoods=3801, foundSolutions=26, bestBound=2
124.29/122.29	    
131.21/129.16	    num=511, depth=1..25, filters=19617091, ccks=234, wck=127.054, mem=139M31
131.21/129.16	    decisions=11962588, wrong=5977927, backtracks=5685380, failedAssignments=3288891, nogoods=3812, foundSolutions=26, bestBound=2
131.21/129.16	    
139.41/137.38	    num=512, depth=0..25, filters=20800509, ccks=234, wck=135.271, mem=151M979
139.41/137.38	    decisions=12721268, wrong=6357262, backtracks=6041907, failedAssignments=3455636, nogoods=3822, foundSolutions=26, bestBound=2
139.41/137.38	    
141.64/139.52	
141.64/139.52	  New Bounds: 2..1
141.64/139.52	    num=513, depth=0..23, filters=21103108, ccks=234, wck=137.411, mem=22M593
141.64/139.52	    decisions=12912516, wrong=6452887, backtracks=6132360, failedAssignments=3493195, foundSolutions=26, bestBound=2
141.64/139.52	    
141.64/139.52	  Global
141.64/139.52	    filters=21103108, ccks=234
141.64/139.52	    Stop=FULL_EXPLORATION, wrong=6452887, bestBound=2, bestBoundWck=54.906, bestBoundCpu=56.708, foundSolutions=26, firstSolCpu=2.099
141.64/139.52	    wck=137.675, cpu=139.454, mem=22M593
141.64/139.52	
141.64/139.52	v <instantiation id='sol26' type='solution' cost='2'>  <list> x[] </list>  <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 </values>  </instantiation>
141.64/139.52	s OPTIMUM FOUND
141.64/139.52	
141.64/139.52	d WRONG_DECISIONS 6452887
141.64/139.52	d NUMBER_SOLUTIONS 26

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14938 MiB free)
  memory of node 1: 16384 MiB (15637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390942-1568384910/watcher-4390942-1568384910 -o /tmp/evaluation-result-4390942-1568384910/solver-4390942-1568384910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390942-1568384910.xml -cm 

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

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


[startup+0.100058 s]*
/proc/loadavg: 2.00 1.96 1.88 4/228 476
/proc/meminfo: memFree=31293576/32770624 swapFree=66981436/67108860
[pid=461] ppid=458 vsize=10659884 memory=27520 CPUtime=0.13 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 5383 0 0 0 12 1 0 0 20 0 15 0 414753624 10915721216 6880 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2664971 6880 2870 1 0 2627468 0
[pid=461/tid=463] ppid=458 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) R 458 461 30397 0 -1 4202560 3257 0 0 0 9 0 0 0 20 0 15 0 414753624 10915721216 7144 33554432000 4194304 4196468 140728356655072 139801411397208 139801399885399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 7144 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10659884 memory=3905658131616712352 CPUtime=0 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 7144 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 7210 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 7210 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753626 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414753627 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800897992352 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414753627 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800896939248 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) R 458 461 30397 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800893773416 139801386685993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) R 458 461 30397 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 414753629 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800892726136 139801399885399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753630 10915721216 7276 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27520 KiB

[startup+0.21171 s]*
/proc/loadavg: 2.00 1.96 1.88 3/228 476
/proc/meminfo: memFree=31285948/32770624 swapFree=66981436/67108860
[pid=461] ppid=458 vsize=10659884 memory=35440 CPUtime=0.33 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 6926 0 0 0 31 2 0 0 20 0 15 0 414753624 10915721216 8860 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2664971 8860 2991 1 0 2627468 0
[pid=461/tid=463] ppid=458 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) R 458 461 30397 0 -1 4202560 3870 0 0 0 19 1 0 0 20 0 15 0 414753624 10915721216 8860 33554432000 4194304 4196468 140728356655072 139801411400336 139801407190173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 8860 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10659884 memory=3905658131616712352 CPUtime=0 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 8860 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 8860 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 8860 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753626 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414753627 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800897992352 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414753627 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800896939248 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 15 0 414753629 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) S 458 461 30397 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 414753629 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800893782384 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0.05 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) S 458 461 30397 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 414753629 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753630 10915721216 8860 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35440 KiB

[startup+0.310348 s]*
/proc/loadavg: 2.00 1.96 1.88 5/228 476
/proc/meminfo: memFree=31277716/32770624 swapFree=66981436/67108860
[pid=461] ppid=458 vsize=10659884 memory=40512 CPUtime=0.46 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 9451 0 0 0 43 3 0 0 20 0 15 0 414753624 10915721216 10128 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2664971 10128 3003 1 0 2627468 0
[pid=461/tid=463] ppid=458 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) R 458 461 30397 0 -1 4202560 6337 0 0 0 27 2 0 0 20 0 15 0 414753624 10915721216 10143 33554432000 4194304 4196468 140728356655072 139801411389136 139801407190173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10659884 memory=310748607156584816 CPUtime=0 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 10143 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10659884 memory=4193748695927488544 CPUtime=0 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 10143 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 10143 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753625 10915721216 10143 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753626 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414753627 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800897992352 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10659884 memory=139811840935552 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414753627 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800896939248 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 582 0 0 0 4 0 0 0 20 0 15 0 414753629 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) R 458 461 30397 0 -1 4202560 441 0 0 0 3 0 0 0 20 0 15 0 414753629 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800893782384 139801391557104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10659884 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) R 458 461 30397 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 414753629 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753630 10915721216 10143 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40512 KiB

[startup+0.701715 s]
/proc/loadavg: 2.00 1.96 1.88 4/228 476
/proc/meminfo: memFree=31270168/32770624 swapFree=66981436/67108860
[pid=461] ppid=458 vsize=10661932 memory=63108 CPUtime=1.11 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 12855 0 0 0 106 5 0 0 20 0 15 0 414753624 10917818368 15777 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2665483 15777 3074 1 0 2627980 0
[pid=461/tid=463] ppid=458 vsize=10661932 memory=9580 CPUtime=0.68 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) R 458 461 30397 0 -1 4202560 8883 0 0 0 64 4 0 0 20 0 15 0 414753624 10917818368 15777 33554432000 4194304 4196468 140728356655072 139801411400272 139801392333840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10917818368 15777 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10917818368 15777 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10917818368 15777 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10661932 memory=7451879946741765232 CPUtime=0 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753625 10917818368 15777 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10661932 memory=7223887401239728208 CPUtime=0 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753626 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10661932 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414753627 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800897992352 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10661932 memory=-7028383565733676694 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414753627 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800896939248 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10661932 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10661932 memory=6944613755495348631 CPUtime=0.11 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 800 0 0 0 11 0 0 0 20 0 15 0 414753629 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10661932 memory=1399103955520229747 CPUtime=0.12 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) R 458 461 30397 0 -1 4202560 680 0 0 0 12 0 0 0 20 0 15 0 414753629 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800893768352 139801392294626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) S 458 461 30397 0 -1 1077944384 1133 0 0 0 19 0 0 0 20 0 15 0 414753629 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414753629 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10661932 memory=97 CPUtime=0 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753630 10917818368 15777 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63108 KiB

[startup+1.50077 s]
/proc/loadavg: 2.00 1.96 1.88 3/228 476
/proc/meminfo: memFree=31253984/32770624 swapFree=66981436/67108860
[pid=461] ppid=458 vsize=10663980 memory=75116 CPUtime=2 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 18400 0 0 0 194 6 0 0 20 0 15 0 414753624 10919915520 18779 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2665995 18779 3097 1 0 2628492 0
[pid=461/tid=463] ppid=458 vsize=10663980 memory=297556487 CPUtime=1.48 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) R 458 461 30397 0 -1 4202560 13096 0 0 0 143 5 0 0 20 0 15 0 414753624 10919915520 18779 33554432000 4194304 4196468 140728356655072 139801411394128 139801392863296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10919915520 18779 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10663980 memory=3244018 CPUtime=0 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10919915520 18779 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10663980 memory=7307766961950909293 CPUtime=0 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414753625 10919915520 18779 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10663980 memory=6369607583083817303 CPUtime=0 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414753625 10919915520 18779 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10663980 memory=8170481159791730797 CPUtime=0 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414753626 10919915520 18779 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0

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

[startup+138.401 s]
/proc/loadavg: 2.00 1.97 1.90 3/230 497
/proc/meminfo: memFree=31077540/32770624 swapFree=66981452/67108860
[pid=461] ppid=458 vsize=10746276 memory=241752 CPUtime=140.51 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 42526 0 0 0 14034 17 0 0 20 0 16 0 414753624 11004186624 60438 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2686569 60438 3375 1 0 2646705 0
[pid=461/tid=463] ppid=458 vsize=10746276 memory=9580 CPUtime=1.85 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) S 458 461 30397 0 -1 1077944384 15341 0 0 0 179 6 0 0 20 0 16 0 414753624 11004186624 60438 33554432000 4194304 4196468 140728356655072 139801411411120 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10746276 memory=241752 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 880 0 0 0 1 0 0 0 20 0 16 0 414753625 11004186624 60438 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10746276 memory=6947385649911455296 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 16 0 414753625 11004186624 60438 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10746276 memory=7972 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 16 0 414753625 11004186624 60438 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10746276 memory=1164 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 16 0 414753625 11004186624 60438 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10746276 memory=9580 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 1603 0 0 0 1 0 0 0 20 0 16 0 414753626 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10746276 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800897992416 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10746276 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800896939264 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10746276 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10746276 memory=15253736104659294 CPUtime=0.73 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 4093 0 0 0 73 0 0 0 20 0 16 0 414753629 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10746276 memory=3316 CPUtime=0.75 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) S 458 461 30397 0 -1 1077944384 4483 0 0 0 74 1 0 0 20 0 16 0 414753629 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800893782384 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10746276 memory=271212 CPUtime=0.52 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) S 458 461 30397 0 -1 1077944384 4960 0 0 0 52 0 0 0 20 0 16 0 414753629 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10746276 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10746276 memory=2828 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 346 0 0 0 1 1 0 0 20 0 16 0 414753630 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=478] ppid=458 vsize=10746276 memory=756 CPUtime=136.46 cores=1,3,5,7
/proc/461/task/478/stat : 478 (java) R 458 461 30397 0 -1 4202560 8947 0 0 0 13643 3 0 0 20 0 16 0 414753811 11004186624 60438 33554432000 4194304 4196468 140728356655072 139800873664848 139801005725251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 140.51 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 241752 KiB

[startup+139.201 s]
/proc/loadavg: 2.00 1.98 1.90 3/230 497
/proc/meminfo: memFree=31077540/32770624 swapFree=66981452/67108860
[pid=461] ppid=458 vsize=10746276 memory=241756 CPUtime=141.34 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 43683 0 0 0 14117 17 0 0 20 0 16 0 414753624 11004186624 60439 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2686569 60439 3375 1 0 2646705 0
[pid=461/tid=463] ppid=458 vsize=10746276 memory=7972 CPUtime=1.85 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) S 458 461 30397 0 -1 1077944384 15341 0 0 0 179 6 0 0 20 0 16 0 414753624 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801411411120 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10746276 memory=6947385649911455296 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10746276 memory=241488 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10746276 memory=3848 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10746276 memory=2636 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 1035 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10746276 memory=8039887049847964027 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 1768 0 0 0 1 0 0 0 20 0 16 0 414753626 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800897992416 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800896939264 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10746276 memory=7013340846366745708 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10746276 memory=7307766961833534573 CPUtime=0.73 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 4093 0 0 0 73 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10746276 memory=3620 CPUtime=0.75 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) S 458 461 30397 0 -1 1077944384 4483 0 0 0 74 1 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800893782384 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10746276 memory=19636 CPUtime=0.52 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) S 458 461 30397 0 -1 1077944384 4960 0 0 0 52 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10746276 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10746276 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 346 0 0 0 1 1 0 0 20 0 16 0 414753630 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=478] ppid=458 vsize=10746276 memory=1408 CPUtime=137.25 cores=1,3,5,7
/proc/461/task/478/stat : 478 (java) R 458 461 30397 0 -1 4202560 8950 0 0 0 13722 3 0 0 20 0 16 0 414753811 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800873673264 139801006640217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 141.34 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 241756 KiB

[startup+139.401 s]
/proc/loadavg: 2.00 1.98 1.90 3/230 497
/proc/meminfo: memFree=31077540/32770624 swapFree=66981452/67108860
[pid=461] ppid=458 vsize=10746276 memory=241756 CPUtime=141.54 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 43683 0 0 0 14137 17 0 0 20 0 16 0 414753624 11004186624 60439 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2686569 60439 3375 1 0 2646705 0
[pid=461/tid=463] ppid=458 vsize=10746276 memory=241752 CPUtime=1.85 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) S 458 461 30397 0 -1 1077944384 15341 0 0 0 179 6 0 0 20 0 16 0 414753624 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801411411120 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10746276 memory=1328 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10746276 memory=6947385649911455296 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10746276 memory=241748 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10746276 memory=1328 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 1035 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10746276 memory=780 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 1768 0 0 0 1 0 0 0 20 0 16 0 414753626 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10746276 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800897992416 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10746276 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800896939264 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10746276 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10746276 memory=3620 CPUtime=0.73 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 4093 0 0 0 73 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10746276 memory=19636 CPUtime=0.75 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) S 458 461 30397 0 -1 1077944384 4483 0 0 0 74 1 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800893782384 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10746276 memory=7972 CPUtime=0.52 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) S 458 461 30397 0 -1 1077944384 4960 0 0 0 52 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10746276 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10746276 memory=9580 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 346 0 0 0 1 1 0 0 20 0 16 0 414753630 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=478] ppid=458 vsize=10746276 memory=14008 CPUtime=137.45 cores=1,3,5,7
/proc/461/task/478/stat : 478 (java) R 458 461 30397 0 -1 4202560 8950 0 0 0 13742 3 0 0 20 0 16 0 414753811 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800873673264 139801005988337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 141.54 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 241756 KiB

[startup+139.501 s]
/proc/loadavg: 2.00 1.98 1.90 3/230 497
/proc/meminfo: memFree=31077540/32770624 swapFree=66981452/67108860
[pid=461] ppid=458 vsize=10746276 memory=241756 CPUtime=141.64 cores=1,3,5,7
/proc/461/stat : 461 (java) S 458 461 30397 0 -1 1077944320 43683 0 0 0 14147 17 0 0 20 0 16 0 414753624 11004186624 60439 33554432000 4194304 4196468 140728356655072 140728356637616 139801407168247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
/proc/461/statm: 2686569 60439 3375 1 0 2646705 0
[pid=461/tid=463] ppid=458 vsize=10746276 memory=241748 CPUtime=1.85 cores=1,3,5,7
/proc/461/task/463/stat : 463 (java) S 458 461 30397 0 -1 1077944384 15341 0 0 0 179 6 0 0 20 0 16 0 414753624 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801411411120 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=464] ppid=458 vsize=10746276 memory=241748 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/464/stat : 464 (java) S 458 461 30397 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801333242384 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=465] ppid=458 vsize=10746276 memory=241748 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/465/stat : 465 (java) S 458 461 30397 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801332189840 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=466] ppid=458 vsize=10746276 memory=241756 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/466/stat : 466 (java) S 458 461 30397 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801331136784 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=467] ppid=458 vsize=10746276 memory=15620 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/467/stat : 467 (java) S 458 461 30397 0 -1 1077944384 1035 0 0 0 2 0 0 0 20 0 16 0 414753625 11004186624 60439 33554432000 4194304 4196468 140728356655072 139801330084240 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=468] ppid=458 vsize=10746276 memory=241488 CPUtime=0.01 cores=1,3,5,7
/proc/461/task/468/stat : 468 (java) S 458 461 30397 0 -1 1077944384 1768 0 0 0 1 0 0 0 20 0 16 0 414753626 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800899046128 139801407179394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=469] ppid=458 vsize=10746276 memory=241460 CPUtime=0 cores=1,3,5,7
/proc/461/task/469/stat : 469 (java) S 458 461 30397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800897992416 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=470] ppid=458 vsize=10746276 memory=241488 CPUtime=0 cores=1,3,5,7
/proc/461/task/470/stat : 470 (java) S 458 461 30397 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414753627 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800896939264 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=471] ppid=458 vsize=10746276 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/461/task/471/stat : 471 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800895887824 139801407186843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=472] ppid=458 vsize=10746276 memory=3472328296227679313 CPUtime=0.73 cores=1,3,5,7
/proc/461/task/472/stat : 472 (java) S 458 461 30397 0 -1 1077944384 4093 0 0 0 73 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800894834928 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=473] ppid=458 vsize=10746276 memory=-3535359994705171041 CPUtime=0.75 cores=1,3,5,7
/proc/461/task/473/stat : 473 (java) S 458 461 30397 0 -1 1077944384 4483 0 0 0 74 1 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800893782384 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=474] ppid=458 vsize=10746276 memory=241748 CPUtime=0.52 cores=1,3,5,7
/proc/461/task/474/stat : 474 (java) S 458 461 30397 0 -1 1077944384 4960 0 0 0 52 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800892729328 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=475] ppid=458 vsize=10746276 memory=241748 CPUtime=0 cores=1,3,5,7
/proc/461/task/475/stat : 475 (java) S 458 461 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414753629 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800891677024 139801407178453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=476] ppid=458 vsize=10746276 memory=241748 CPUtime=0.02 cores=1,3,5,7
/proc/461/task/476/stat : 476 (java) S 458 461 30397 0 -1 1077944384 346 0 0 0 1 1 0 0 20 0 16 0 414753630 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800890625072 139801407179394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
[pid=461/tid=478] ppid=458 vsize=10746276 memory=241748 CPUtime=137.55 cores=1,3,5,7
/proc/461/task/478/stat : 478 (java) R 458 461 30397 0 -1 4202560 8950 0 0 0 13752 3 0 0 20 0 16 0 414753811 11004186624 60439 33554432000 4194304 4196468 140728356655072 139800873673152 139801006139949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27971584 140728356656139 140728356656242 140728356656242 140728356659151 0
Current children cumulated CPU time: 141.64 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 241756 KiB

Child status: 0
Real time (s): 139.528
CPU time (s): 141.678
CPU user time (s): 141.498
CPU system time (s): 0.180102
CPU usage (%): 101.541
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 241756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.498
system time used= 0.180102
maximum resident set size= 241880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5445
involuntary context switches= 116


# summary of solver processes directly reported to runsolver:
#   pid: 461
#   total CPU time (s): 141.678
#   total CPU user time (s): 141.498
#   total CPU system time (s): 0.180102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.662954 second user time and 1.3964 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-13 16:27:48
IDJOB=4390942
IDBENCH=135491
IDSOLVER=2832
FILE ID=node121/4390942-1568384910
RUNJOBID= node121-1568380474-30429
PBS_JOBID= 21701842
Free space on /tmp= 61040 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-marketSplit/Pb-msplit-opt-4-30-3.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390942-1568384910/watcher-4390942-1568384910 -o /tmp/evaluation-result-4390942-1568384910/solver-4390942-1568384910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30429 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390942-1568384910.xml -cm

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

MD5SUM BENCH= caf7afe645c801dd46bb53c517bf0cee
RANDOM SEED=1907614698

node121.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.75
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.75
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.75
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.75
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:        31309784 kB
MemAvailable:   31657720 kB
Buffers:          149712 kB
Cached:           493584 kB
SwapCached:        18980 kB
Active:           583168 kB
Inactive:         341272 kB
Active(anon):     267100 kB
Inactive(anon):    44144 kB
Active(file):     316068 kB
Inactive(file):   297128 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       66981436 kB
Dirty:              8708 kB
Writeback:             0 kB
AnonPages:        372044 kB
Mapped:            46652 kB
Shmem:             21868 kB
Slab:             130428 kB
SReclaimable:     101148 kB
SUnreclaim:        29280 kB
KernelStack:        3760 kB
PageTables:         5928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61032 MiB
End job on node121 at 2019-09-13 16:30:07