Trace number 4390832

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-23OPT450 303.456 299.696

DiagnosticValue
WRONG_DECISIONS7050840

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n16-k8.xml
MD5SUMcfd5e3ed3d40597c9df5fc0ce0b3cf5f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark450
Best CPU time to get the best result obtained on this benchmark140.336
Satisfiable
(Un)Satisfiability was proved
Number of variables272
Number of constraints255
Number of domains3
Minimum domain size1
Maximum domain size36
Distribution of domain sizes[{"size":1,"count":16},{"size":2,"count":240},{"size":36,"count":15}]
Minimum variable degree0
Maximum variable degree29
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":16},{"degree":2,"count":30},{"degree":4,"count":210},{"degree":29,"count":15}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":15},{"arity":3,"count":210},{"arity":15,"count":30}]
Number of extensional constraints0
Number of intensional constraints15
Distribution of constraint types[{"type":"intension","count":15},{"type":"sum","count":210},{"type":"count","count":30}]
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.41/1.87	
2.41/1.87	AbsCon 2 
2.41/1.89	
2.92/2.06	  Instance
2.92/2.06	    name=instance-4390832-1568380971, framework=COP, bounds=-infty..+infty
2.92/2.06	
2.92/2.06	  Loading variables...
2.92/2.10	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735fd3b7
3.21/2.12	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3690b9
3.21/2.12	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217e3c45
3.21/2.12	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479946a0
3.21/2.12	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36035d32
3.21/2.12	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0070f9
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2adc5fb6
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283bc133
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35596379
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794020c6
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f20601b
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ae5cf94
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@338f4122
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395f3e52
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aed503a
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dc64531
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55165efc
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e147a16
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290f58ee
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67572838
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3230d4ba
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37e0296d
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b90a6e0
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22de2fa4
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac54cec
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c45dce
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35051fa4
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d6cabc
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47932264
3.21/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5c4ec0
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4decb44c
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3d1eb3
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7495071
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2845e484
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c404ae
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bfa330a
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e64c1b3
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c06b0c7
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea00fb7
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2febc36b
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e665e12
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4ff06d
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54414ff4
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a516c5f
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51271558
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6acd7c20
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3272d5b0
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16318a93
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d01472e
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d24b1e
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e7f5ee9
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff1eb1b
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d02297
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@552dd427
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50229f0
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69437a66
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4259ba6d
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ba05fa
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@194c045b
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dab7d44
3.21/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5858cad4
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7019bfc7
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@347fd071
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ab0b3f3
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b2df1f
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5993128c
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26069029
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9f9073e
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73064a23
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1554914
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39669638
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@715152bc
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657aac
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c32ca87
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@453740c5
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455f2b68
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3389b517
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7aa5b
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a51375
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f7b828f
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ed8db1
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6600876d
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2af469e7
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc1f23b
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2670eb
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71289680
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f05fb78
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e553aad
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c47695f
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b8b528
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1627a148
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fc87a25
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c062e71
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b5ff1e
3.21/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1ccfcb
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccfe9dc
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78567d4
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35e6fe34
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e920755
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6907514a
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e456557
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d84b33
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781f1603
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f81fd4d
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f0239b1
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f526a1
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cf03243
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138336bd
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56658a74
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59cdb83d
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edd4d0d
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@531c70a5
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496c77df
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f26db02
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6783738b
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d4f4d3
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7163159a
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419a024e
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2434fd7a
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2c9be6
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234cd2a7
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db14e48
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@193bea71
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d03d252
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497df4a1
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e8ea31
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2fca9c
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b5b8ae9
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5853d6
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75991d20
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f79759f
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3638e96f
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29371562
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fce5a2a
3.21/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414ce8e8
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27312579
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5a5385
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d674b6
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c567b5d
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5beafe2
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7866c787
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31620c75
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@164f2c51
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db67b23
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a3aff
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22dc5342
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c37648
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3ab0b1
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9f15be2
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79e013f6
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fba5f8
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5777952b
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fbddcbd
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b883a1
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49663815
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a14af56
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb19db
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d983c8c
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24938580
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb4fc
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2768c7d8
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aff7b57
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb6c659
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a59b60e
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1918d7b
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174cc5b1
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26aac0ac
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c0dd3
3.21/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d9b21d
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@effc5e
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@840b216
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ded48fd
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20ab9c92
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffe3007
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cfdc4dc
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f59259
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756c983f
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@488ceefa
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d0e529
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b694306
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9c103a
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457b3eaa
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d72fc28
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca492be
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea97325
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5863173
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e43fdc
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@448c8177
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8f76df
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@539948ef
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac8af31
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773e1ff
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fee7a0
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f77a51
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ece4e99
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25137e23
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78317c6c
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285cae1c
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75232ff2
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f11eb33
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b8f3ee
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@146ff0bb
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f106f7a
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef7d5cb
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e8cc01e
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b091ca8
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3998309a
3.21/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5776b40b
3.45/2.27	
3.45/2.27	
3.45/2.27	  Domains
3.45/2.27	    nTypes=3, nValues=1036, sizes=[1#16,2#240,36#15]
3.45/2.27	  Variables
3.45/2.27	    count=271, degrees=[0#16,2#30,4#210,29#15]
3.45/2.27	  Objectives
3.45/2.27	    way=min, type=SumWeightedLE
3.45/2.27	  Constraints
3.45/2.27	    count=256, nSpecific=241, arities=[1#15,3#210,15#30,240#1]
3.45/2.27	    distribution=[CtrIntension#15,Exactly1#30,SumWeightedLE#211]
3.45/2.27	    nIntStructures=(12,shared:3)
3.45/2.27	    wck=0.425, cpu=2.235, mem=31M799
3.45/2.28	  Solver SolverBacktrack being built...
3.45/2.28	
3.45/2.30	
3.45/2.30	  Solver
3.45/2.30	    guaranteedGAC=true
3.45/2.30	    wck=0.455, cpu=2.263, mem=42M442
3.73/2.31	
3.73/2.31	  Preprocessing
3.73/2.31	    filters=105, revisions=(15,useless=0), ccks=381, nACremovedValues=336, nTotalRemovedValues=336, inconcistency=false
3.73/2.31	    wck=0.01, cpu=2.275, mem=42M442
3.73/2.31	
3.73/2.32	    num=0, depth=13..28, filters=878, revisions=(106,useless=91), ccks=949, wck=0.025, mem=42M442
3.73/2.32	    decisions=92, wrong=39, backtracks=32, failedAssignments=10, nogoods=2
3.73/2.32	    
3.73/2.34	o 577
3.73/2.35	    num=1, depth=272..270, filters=931, revisions=(118,useless=103), ccks=1249, wck=0.048, mem=42M442
3.73/2.35	    decisions=185, wrong=39, backtracks=32, failedAssignments=10, nogoods=2, foundSolutions=1, bestBound=577
3.73/2.35	    
3.73/2.36	    num=2, depth=79..93, filters=1334, revisions=(180,useless=165), ccks=1893, wck=0.056, mem=42M442
3.73/2.36	    decisions=344, wrong=74, backtracks=66, failedAssignments=22, nogoods=6, foundSolutions=1, bestBound=577
3.73/2.36	    
3.73/2.36	o 555
3.73/2.36	    num=3, depth=77..270, filters=1457, revisions=(203,useless=188), ccks=2298, wck=0.064, mem=45M87
3.73/2.36	    decisions=453, wrong=81, backtracks=72, failedAssignments=23, nogoods=7, foundSolutions=2, bestBound=555
3.73/2.36	    
3.73/2.38	o 530
3.73/2.38	    num=4, depth=79..270, filters=1518, revisions=(232,useless=217), ccks=2915, wck=0.07, mem=45M87
3.73/2.38	    decisions=543, wrong=82, backtracks=72, failedAssignments=24, nogoods=8, foundSolutions=3, bestBound=530
3.73/2.38	    
3.73/2.38	o 513
3.73/2.38	    num=5, depth=68..270, filters=1591, revisions=(263,useless=248), ccks=3540, wck=0.075, mem=45M87
3.73/2.38	    decisions=623, wrong=83, backtracks=72, failedAssignments=25, nogoods=9, foundSolutions=4, bestBound=513
3.73/2.38	    
3.73/2.38	    num=6, depth=73..88, filters=1959, revisions=(321,useless=306), ccks=4118, wck=0.081, mem=45M87
3.73/2.38	    decisions=766, wrong=115, backtracks=101, failedAssignments=36, nogoods=11, foundSolutions=4, bestBound=513
3.73/2.38	    
3.73/2.39	    num=7, depth=89..103, filters=2264, revisions=(354,useless=339), ccks=4346, wck=0.087, mem=45M87
3.73/2.39	    decisions=913, wrong=140, backtracks=122, failedAssignments=47, nogoods=14, foundSolutions=4, bestBound=513
3.73/2.39	    
3.73/2.39	o 487
3.73/2.39	    num=8, depth=92..270, filters=2398, revisions=(388,useless=373), ccks=4790, wck=0.093, mem=45M87
3.73/2.39	    decisions=1034, wrong=147, backtracks=128, failedAssignments=49, nogoods=15, foundSolutions=5, bestBound=487
3.73/2.39	    
4.05/2.40	    num=9, depth=82..109, filters=2937, revisions=(452,useless=437), ccks=5578, wck=0.101, mem=45M87
4.05/2.40	    decisions=1248, wrong=201, backtracks=182, failedAssignments=62, nogoods=17, foundSolutions=5, bestBound=487
4.05/2.40	    
4.05/2.41	    num=10, depth=77..98, filters=3575, revisions=(538,useless=523), ccks=6297, wck=0.109, mem=45M87
4.05/2.41	    decisions=1401, wrong=239, backtracks=218, failedAssignments=73, nogoods=18, foundSolutions=5, bestBound=487
4.05/2.41	    
4.05/2.41	    num=11, depth=79..96, filters=4280, revisions=(639,useless=624), ccks=7168, wck=0.116, mem=45M87
4.05/2.41	    decisions=1565, wrong=277, backtracks=249, failedAssignments=85, nogoods=22, foundSolutions=5, bestBound=487
4.05/2.41	    
4.05/2.42	    num=12, depth=57..75, filters=4849, revisions=(707,useless=692), ccks=7637, wck=0.121, mem=45M87
4.05/2.42	    decisions=1717, wrong=318, backtracks=291, failedAssignments=98, nogoods=24, foundSolutions=5, bestBound=487
4.05/2.42	    
4.05/2.43	    num=13, depth=77..89, filters=5375, revisions=(770,useless=755), ccks=8085, wck=0.127, mem=45M87
4.05/2.43	    decisions=1876, wrong=359, backtracks=330, failedAssignments=112, nogoods=26, foundSolutions=5, bestBound=487
4.05/2.43	    
4.05/2.43	    num=14, depth=82..95, filters=5956, revisions=(886,useless=871), ccks=9096, wck=0.133, mem=45M87
4.05/2.43	    decisions=2038, wrong=399, backtracks=365, failedAssignments=128, nogoods=28, foundSolutions=5, bestBound=487
4.05/2.43	    
4.05/2.44	    num=15, depth=87..99, filters=6534, revisions=(974,useless=959), ccks=9557, wck=0.139, mem=45M87
4.05/2.44	    decisions=2232, wrong=450, backtracks=413, failedAssignments=145, nogoods=30, foundSolutions=5, bestBound=487
4.05/2.44	    
4.05/2.45	    num=16, depth=74..94, filters=7688, revisions=(1158,useless=1143), ccks=10678, wck=0.149, mem=45M87
4.05/2.45	    decisions=2443, wrong=518, backtracks=477, failedAssignments=164, nogoods=34, foundSolutions=5, bestBound=487
4.05/2.45	    
4.05/2.45	    num=17, depth=69..88, filters=8558, revisions=(1282,useless=1267), ccks=11613, wck=0.155, mem=45M87
4.05/2.45	    decisions=2645, wrong=582, backtracks=539, failedAssignments=185, nogoods=36, foundSolutions=5, bestBound=487
4.05/2.45	    
4.05/2.47	    num=18, depth=58..101, filters=9854, revisions=(1494,useless=1479), ccks=13334, wck=0.168, mem=45M87
4.05/2.47	    decisions=2892, wrong=666, backtracks=622, failedAssignments=208, nogoods=40, foundSolutions=5, bestBound=487
4.05/2.47	    
4.05/2.48	    num=19, depth=83..97, filters=10460, revisions=(1584,useless=1569), ccks=14162, wck=0.18, mem=47M729
4.05/2.48	    decisions=3095, wrong=726, backtracks=680, failedAssignments=233, nogoods=42, foundSolutions=5, bestBound=487
4.05/2.48	    
4.36/2.50	    num=20, depth=73..106, filters=12118, revisions=(1889,useless=1874), ccks=16600, wck=0.206, mem=47M729
4.36/2.50	    decisions=3367, wrong=823, backtracks=772, failedAssignments=261, nogoods=44, foundSolutions=5, bestBound=487
4.36/2.50	    
4.36/2.52	    num=21, depth=75..92, filters=13196, revisions=(2088,useless=2073), ccks=18039, wck=0.222, mem=47M729
4.36/2.52	    decisions=3628, wrong=915, backtracks=854, failedAssignments=292, nogoods=49, foundSolutions=5, bestBound=487
4.36/2.52	    
4.36/2.53	    num=22, depth=85..99, filters=14318, revisions=(2250,useless=2235), ccks=18898, wck=0.235, mem=47M729
4.36/2.53	    decisions=3876, wrong=995, backtracks=932, failedAssignments=326, nogoods=52, foundSolutions=5, bestBound=487
4.36/2.53	    
4.36/2.54	    num=23, depth=70..93, filters=15750, revisions=(2484,useless=2469), ccks=20450, wck=0.243, mem=47M729
4.36/2.54	    decisions=4173, wrong=1107, backtracks=1045, failedAssignments=363, nogoods=56, foundSolutions=5, bestBound=487
4.36/2.54	    
4.36/2.55	    num=24, depth=78..99, filters=17176, revisions=(2739,useless=2724), ccks=22390, wck=0.251, mem=47M729
4.36/2.55	    decisions=4474, wrong=1218, backtracks=1149, failedAssignments=404, nogoods=58, foundSolutions=5, bestBound=487
4.36/2.55	    
4.36/2.56	    num=25, depth=52..75, filters=19753, revisions=(3134,useless=3119), ccks=24882, wck=0.262, mem=47M729
4.36/2.56	    decisions=4889, wrong=1397, backtracks=1328, failedAssignments=449, nogoods=61, foundSolutions=5, bestBound=487
4.36/2.56	    
4.36/2.57	    num=26, depth=89..107, filters=21204, revisions=(3309,useless=3294), ccks=26434, wck=0.27, mem=47M729
4.36/2.57	    decisions=5290, wrong=1551, backtracks=1490, failedAssignments=499, nogoods=64, foundSolutions=5, bestBound=487
4.36/2.57	    
4.36/2.58	    num=27, depth=60..85, filters=24040, revisions=(3798,useless=3783), ccks=29795, wck=0.282, mem=47M729
4.36/2.58	    decisions=5700, wrong=1721, backtracks=1656, failedAssignments=554, nogoods=67, foundSolutions=5, bestBound=487
4.36/2.58	    
4.36/2.59	    num=28, depth=59..101, filters=26204, revisions=(4062,useless=4047), ccks=31970, wck=0.291, mem=50M372
4.36/2.59	    decisions=6214, wrong=1933, backtracks=1871, failedAssignments=615, nogoods=69, foundSolutions=5, bestBound=487
4.36/2.59	    
4.67/2.60	    num=29, depth=73..98, filters=29389, revisions=(4550,useless=4535), ccks=35368, wck=0.305, mem=50M372
4.67/2.60	    decisions=6765, wrong=2172, backtracks=2119, failedAssignments=682, nogoods=70, foundSolutions=5, bestBound=487
4.67/2.60	    
4.67/2.63	    num=30, depth=51..83, filters=34697, revisions=(5382,useless=5367), ccks=40826, wck=0.326, mem=50M372
4.67/2.63	    decisions=7359, wrong=2436, backtracks=2383, failedAssignments=756, nogoods=74, foundSolutions=5, bestBound=487
4.67/2.63	    
4.67/2.64	    num=31, depth=86..110, filters=37180, revisions=(5628,useless=5613), ccks=42764, wck=0.337, mem=50M372
4.67/2.64	    decisions=8000, wrong=2707, backtracks=2664, failedAssignments=837, nogoods=77, foundSolutions=5, bestBound=487
4.67/2.64	    
4.67/2.65	    num=32, depth=78..101, filters=41611, revisions=(6425,useless=6410), ccks=49106, wck=0.355, mem=53M14
4.67/2.65	    decisions=8572, wrong=2953, backtracks=2908, failedAssignments=926, nogoods=81, foundSolutions=5, bestBound=487
4.67/2.65	    
4.67/2.67	o 468
4.67/2.67	    num=33, depth=52..270, filters=44448, revisions=(6960,useless=6945), ccks=53947, wck=0.368, mem=53M14
4.67/2.67	    decisions=9057, wrong=3158, backtracks=3113, failedAssignments=979, nogoods=86, foundSolutions=6, bestBound=468
4.67/2.67	    
4.67/2.69	    num=34, depth=49..83, filters=49307, revisions=(7477,useless=7462), ccks=57916, wck=0.386, mem=53M14
4.67/2.69	    decisions=10061, wrong=3630, backtracks=3596, failedAssignments=1087, nogoods=90, foundSolutions=6, bestBound=468
4.67/2.69	    
4.67/2.69	    num=35, depth=83..92, filters=49687, revisions=(7538,useless=7523), ccks=58303, wck=0.389, mem=53M14
4.67/2.69	    decisions=10200, wrong=3657, backtracks=3618, failedAssignments=1098, nogoods=92, foundSolutions=6, bestBound=468
4.67/2.69	    
4.67/2.69	    num=36, depth=79..90, filters=50144, revisions=(7610,useless=7595), ccks=58668, wck=0.393, mem=53M14
4.67/2.69	    decisions=10339, wrong=3687, backtracks=3649, failedAssignments=1110, nogoods=94, foundSolutions=6, bestBound=468
4.67/2.69	    
4.67/2.70	    num=37, depth=80..91, filters=50593, revisions=(7672,useless=7657), ccks=58977, wck=0.397, mem=53M14
4.67/2.70	    decisions=10482, wrong=3717, backtracks=3675, failedAssignments=1123, nogoods=99, foundSolutions=6, bestBound=468
4.67/2.70	    
4.67/2.70	    num=38, depth=84..98, filters=51106, revisions=(7745,useless=7730), ccks=59532, wck=0.4, mem=53M14
4.67/2.70	    decisions=10644, wrong=3756, backtracks=3712, failedAssignments=1137, nogoods=102, foundSolutions=6, bestBound=468
4.67/2.70	    
4.67/2.70	    num=39, depth=78..88, filters=51915, revisions=(7866,useless=7851), ccks=60236, wck=0.404, mem=53M14
4.67/2.70	    decisions=10837, wrong=3810, backtracks=3770, failedAssignments=1153, nogoods=105, foundSolutions=6, bestBound=468
4.67/2.70	    
5.01/2.71	    num=40, depth=82..92, filters=52476, revisions=(7954,useless=7939), ccks=60740, wck=0.408, mem=53M14
5.01/2.71	    decisions=10995, wrong=3848, backtracks=3807, failedAssignments=1170, nogoods=107, foundSolutions=6, bestBound=468
5.01/2.71	    
5.01/2.71	    num=41, depth=91..102, filters=52939, revisions=(8012,useless=7997), ccks=61320, wck=0.411, mem=53M14
5.01/2.71	    decisions=11182, wrong=3896, backtracks=3854, failedAssignments=1189, nogoods=108, foundSolutions=6, bestBound=468
5.01/2.71	    
5.01/2.71	    num=42, depth=88..109, filters=53597, revisions=(8108,useless=8093), ccks=62222, wck=0.414, mem=53M14
5.01/2.71	    decisions=11414, wrong=3960, backtracks=3919, failedAssignments=1210, nogoods=110, foundSolutions=6, bestBound=468
5.01/2.71	    
5.01/2.72	    num=43, depth=87..99, filters=54232, revisions=(8167,useless=8152), ccks=62849, wck=0.418, mem=53M14
5.01/2.72	    decisions=11635, wrong=4027, backtracks=3983, failedAssignments=1233, nogoods=111, foundSolutions=6, bestBound=468
5.01/2.72	    
5.01/2.72	    num=44, depth=77..91, filters=55498, revisions=(8371,useless=8356), ccks=64267, wck=0.424, mem=53M14
5.01/2.72	    decisions=11875, wrong=4105, backtracks=4056, failedAssignments=1258, nogoods=115, foundSolutions=6, bestBound=468
5.01/2.72	    
5.01/2.73	    num=45, depth=81..101, filters=56702, revisions=(8545,useless=8530), ccks=65601, wck=0.429, mem=55M657
5.01/2.73	    decisions=12144, wrong=4195, backtracks=4139, failedAssignments=1286, nogoods=118, foundSolutions=6, bestBound=468
5.01/2.73	    
5.01/2.73	    num=46, depth=72..97, filters=58245, revisions=(8775,useless=8760), ccks=67137, wck=0.435, mem=55M657
5.01/2.73	    decisions=12461, wrong=4317, backtracks=4271, failedAssignments=1317, nogoods=122, foundSolutions=6, bestBound=468
5.01/2.73	    
5.01/2.74	o 466
5.01/2.74	    num=47, depth=80..270, filters=58665, revisions=(8867,useless=8852), ccks=68057, wck=0.439, mem=55M657
5.01/2.74	    decisions=12612, wrong=4342, backtracks=4291, failedAssignments=1326, nogoods=125, foundSolutions=7, bestBound=466
5.01/2.74	    
5.01/2.74	    num=48, depth=72..89, filters=60101, revisions=(9105,useless=9090), ccks=70015, wck=0.445, mem=55M657
5.01/2.74	    decisions=12924, wrong=4461, backtracks=4408, failedAssignments=1363, nogoods=127, foundSolutions=7, bestBound=466
5.01/2.74	    
5.01/2.75	    num=49, depth=88..106, filters=60573, revisions=(9172,useless=9157), ccks=70543, wck=0.448, mem=55M657
5.01/2.75	    decisions=13091, wrong=4496, backtracks=4439, failedAssignments=1374, nogoods=129, foundSolutions=7, bestBound=466
5.01/2.75	    
5.01/2.75	    num=50, depth=78..93, filters=60951, revisions=(9223,useless=9208), ccks=71039, wck=0.45, mem=55M657
5.01/2.75	    decisions=13237, wrong=4530, backtracks=4473, failedAssignments=1386, nogoods=130, foundSolutions=7, bestBound=466
5.01/2.75	    
5.01/2.75	    num=51, depth=98..112, filters=61456, revisions=(9292,useless=9277), ccks=71671, wck=0.453, mem=55M657
5.01/2.75	    decisions=13419, wrong=4572, backtracks=4514, failedAssignments=1399, nogoods=131, foundSolutions=7, bestBound=466
5.01/2.75	    
5.01/2.75	    num=52, depth=77..97, filters=62077, revisions=(9383,useless=9368), ccks=72464, wck=0.456, mem=55M657
5.01/2.75	    decisions=13606, wrong=4627, backtracks=4570, failedAssignments=1413, nogoods=132, foundSolutions=7, bestBound=466
5.01/2.75	    
5.01/2.76	    num=53, depth=76..92, filters=63199, revisions=(9521,useless=9506), ccks=73518, wck=0.46, mem=55M657
5.01/2.76	    decisions=13824, wrong=4698, backtracks=4646, failedAssignments=1429, nogoods=133, foundSolutions=7, bestBound=466
5.01/2.76	    
5.01/2.76	    num=54, depth=73..86, filters=63677, revisions=(9579,useless=9564), ccks=73962, wck=0.463, mem=55M657
5.01/2.76	    decisions=13989, wrong=4744, backtracks=4695, failedAssignments=1446, nogoods=134, foundSolutions=7, bestBound=466
5.01/2.76	    
5.01/2.77	    num=55, depth=67..86, filters=64434, revisions=(9717,useless=9702), ccks=75119, wck=0.466, mem=55M657
5.01/2.77	    decisions=14154, wrong=4793, backtracks=4741, failedAssignments=1465, nogoods=135, foundSolutions=7, bestBound=466
5.01/2.77	    
5.01/2.77	    num=56, depth=78..92, filters=65311, revisions=(9838,useless=9823), ccks=76067, wck=0.47, mem=55M657
5.01/2.77	    decisions=14378, wrong=4865, backtracks=4814, failedAssignments=1486, nogoods=138, foundSolutions=7, bestBound=466
5.01/2.77	    
5.01/2.77	    num=57, depth=76..91, filters=66272, revisions=(9986,useless=9971), ccks=77225, wck=0.474, mem=55M657
5.01/2.77	    decisions=14614, wrong=4945, backtracks=4895, failedAssignments=1509, nogoods=139, foundSolutions=7, bestBound=466
5.01/2.77	    
5.01/2.78	    num=58, depth=86..100, filters=67180, revisions=(10124,useless=10109), ccks=78455, wck=0.478, mem=55M657
5.01/2.78	    decisions=14847, wrong=5018, backtracks=4968, failedAssignments=1534, nogoods=143, foundSolutions=7, bestBound=466
5.01/2.78	    
5.01/2.78	    num=59, depth=86..100, filters=68087, revisions=(10272,useless=10257), ccks=79632, wck=0.481, mem=55M657
5.01/2.78	    decisions=15086, wrong=5094, backtracks=5040, failedAssignments=1562, nogoods=146, foundSolutions=7, bestBound=466
5.01/2.78	    
5.01/2.78	    num=60, depth=91..105, filters=69281, revisions=(10466,useless=10451), ccks=81204, wck=0.486, mem=55M657
5.01/2.78	    decisions=15353, wrong=5182, backtracks=5126, failedAssignments=1593, nogoods=149, foundSolutions=7, bestBound=466
5.01/2.78	    
5.01/2.79	    num=61, depth=85..102, filters=70812, revisions=(10779,useless=10764), ccks=83951, wck=0.493, mem=58M299
5.01/2.79	    decisions=15632, wrong=5279, backtracks=5223, failedAssignments=1627, nogoods=151, foundSolutions=7, bestBound=466
5.01/2.79	    
5.01/2.80	    num=62, depth=75..91, filters=72042, revisions=(10915,useless=10900), ccks=85031, wck=0.497, mem=58M299
5.01/2.80	    decisions=15937, wrong=5390, backtracks=5338, failedAssignments=1664, nogoods=154, foundSolutions=7, bestBound=466
5.01/2.80	    
5.27/2.80	    num=63, depth=85..106, filters=74064, revisions=(11252,useless=11237), ccks=87887, wck=0.505, mem=58M299
5.27/2.80	    decisions=16251, wrong=5502, backtracks=5447, failedAssignments=1705, nogoods=156, foundSolutions=7, bestBound=466
5.27/2.80	    
5.27/2.81	    num=64, depth=78..98, filters=75959, revisions=(11530,useless=11515), ccks=89920, wck=0.511, mem=58M299
5.27/2.81	    decisions=16661, wrong=5663, backtracks=5608, failedAssignments=1750, nogoods=159, foundSolutions=7, bestBound=466
5.27/2.81	    
5.27/2.82	    num=65, depth=89..103, filters=77800, revisions=(11801,useless=11786), ccks=91867, wck=0.518, mem=58M299
5.27/2.82	    decisions=17022, wrong=5799, backtracks=5740, failedAssignments=1800, nogoods=164, foundSolutions=7, bestBound=466
5.27/2.82	    
5.27/2.83	    num=66, depth=62..83, filters=80647, revisions=(12328,useless=12313), ccks=95071, wck=0.528, mem=58M299
5.27/2.83	    decisions=17423, wrong=5967, backtracks=5906, failedAssignments=1855, nogoods=166, foundSolutions=7, bestBound=466
5.27/2.83	    
5.27/2.83	    num=67, depth=73..96, filters=82754, revisions=(12582,useless=12567), ccks=96670, wck=0.535, mem=58M299
5.27/2.83	    decisions=17891, wrong=6160, backtracks=6099, failedAssignments=1916, nogoods=169, foundSolutions=7, bestBound=466
5.27/2.83	    
5.27/2.85	    num=68, depth=75..98, filters=86538, revisions=(13099,useless=13084), ccks=100470, wck=0.547, mem=58M299
5.27/2.85	    decisions=18558, wrong=6456, backtracks=6405, failedAssignments=1983, nogoods=171, foundSolutions=7, bestBound=466
5.27/2.85	    
5.27/2.86	    num=69, depth=56..97, filters=89631, revisions=(13478,useless=13463), ccks=103020, wck=0.557, mem=60M942
5.27/2.86	    decisions=19173, wrong=6719, backtracks=6661, failedAssignments=2057, nogoods=175, foundSolutions=7, bestBound=466
5.27/2.86	    
5.27/2.86	    num=70, depth=88..108, filters=92515, revisions=(13886,useless=13871), ccks=106627, wck=0.566, mem=60M942
5.27/2.86	    decisions=19831, wrong=7003, backtracks=6944, failedAssignments=2138, nogoods=177, foundSolutions=7, bestBound=466
5.27/2.86	    
5.27/2.88	    num=71, depth=52..85, filters=97539, revisions=(14774,useless=14759), ccks=112474, wck=0.583, mem=60M942
5.27/2.88	    decisions=20433, wrong=7278, backtracks=7229, failedAssignments=2227, nogoods=178, foundSolutions=7, bestBound=466
5.27/2.88	    
5.27/2.89	    num=72, depth=70..97, filters=101119, revisions=(15218,useless=15203), ccks=115821, wck=0.594, mem=60M942
5.27/2.89	    decisions=21174, wrong=7610, backtracks=7570, failedAssignments=2325, nogoods=181, foundSolutions=7, bestBound=466
5.27/2.89	    
5.40/2.91	    num=73, depth=67..93, filters=105776, revisions=(15905,useless=15890), ccks=120139, wck=0.608, mem=63M584
5.40/2.91	    decisions=21975, wrong=7972, backtracks=7948, failedAssignments=2433, nogoods=183, foundSolutions=7, bestBound=466
5.40/2.91	    
5.40/2.93	    num=74, depth=67..97, filters=112183, revisions=(16929,useless=16914), ccks=126929, wck=0.628, mem=63M584
5.40/2.93	    decisions=22899, wrong=8396, backtracks=8396, failedAssignments=2552, nogoods=188, foundSolutions=7, bestBound=466
5.40/2.93	    
5.40/2.94	o 461
5.40/2.94	    num=75, depth=94..270, filters=114606, revisions=(17391,useless=17376), ccks=130226, wck=0.638, mem=63M584
5.40/2.94	    decisions=23355, wrong=8570, backtracks=8572, failedAssignments=2613, nogoods=189, foundSolutions=8, bestBound=461
5.40/2.94	    
5.40/2.96	    num=76, depth=72..92, filters=120228, revisions=(18180,useless=18165), ccks=137341, wck=0.657, mem=63M584
5.40/2.96	    decisions=24244, wrong=8977, backtracks=8998, failedAssignments=2757, nogoods=191, foundSolutions=8, bestBound=461
5.40/2.96	    
5.40/2.96	    num=77, depth=66..81, filters=120806, revisions=(18280,useless=18265), ccks=138075, wck=0.659, mem=63M584
5.40/2.96	    decisions=24390, wrong=9017, backtracks=9029, failedAssignments=2768, nogoods=192, foundSolutions=8, bestBound=461
5.40/2.96	    
5.40/2.96	    num=78, depth=82..103, filters=121328, revisions=(18362,useless=18347), ccks=138794, wck=0.662, mem=66M227
5.40/2.96	    decisions=24548, wrong=9055, backtracks=9066, failedAssignments=2780, nogoods=193, foundSolutions=8, bestBound=461
5.40/2.96	    
5.40/2.96	    num=79, depth=76..91, filters=121926, revisions=(18452,useless=18437), ccks=139394, wck=0.665, mem=66M227
5.40/2.96	    decisions=24723, wrong=9101, backtracks=9114, failedAssignments=2793, nogoods=195, foundSolutions=8, bestBound=461
5.40/2.96	    
5.40/2.97	    num=80, depth=74..90, filters=122680, revisions=(18551,useless=18536), ccks=140263, wck=0.668, mem=66M227
5.40/2.97	    decisions=24892, wrong=9146, backtracks=9150, failedAssignments=2807, nogoods=199, foundSolutions=8, bestBound=461
5.40/2.97	    
5.40/2.97	    num=81, depth=82..95, filters=123156, revisions=(18629,useless=18614), ccks=140773, wck=0.671, mem=66M227
5.40/2.97	    decisions=25069, wrong=9190, backtracks=9192, failedAssignments=2823, nogoods=202, foundSolutions=8, bestBound=461
5.40/2.97	    
5.40/2.97	    num=82, depth=86..99, filters=123740, revisions=(18707,useless=18692), ccks=141228, wck=0.675, mem=66M227
5.40/2.97	    decisions=25256, wrong=9237, backtracks=9238, failedAssignments=2840, nogoods=206, foundSolutions=8, bestBound=461
5.40/2.97	    
5.40/2.98	    num=83, depth=70..95, filters=124671, revisions=(18855,useless=18840), ccks=142433, wck=0.679, mem=66M227
5.40/2.98	    decisions=25484, wrong=9308, backtracks=9304, failedAssignments=2859, nogoods=209, foundSolutions=8, bestBound=461
5.40/2.98	    
5.40/2.98	    num=84, depth=86..100, filters=125346, revisions=(18942,useless=18927), ccks=143219, wck=0.682, mem=66M227
5.40/2.98	    decisions=25696, wrong=9371, backtracks=9366, failedAssignments=2880, nogoods=210, foundSolutions=8, bestBound=461
5.40/2.98	    
5.40/2.98	    num=85, depth=84..98, filters=126271, revisions=(19080,useless=19065), ccks=144104, wck=0.686, mem=66M227
5.40/2.98	    decisions=25936, wrong=9449, backtracks=9440, failedAssignments=2903, nogoods=212, foundSolutions=8, bestBound=461
5.40/2.98	    
5.40/2.99	    num=86, depth=90..107, filters=127285, revisions=(19258,useless=19243), ccks=145496, wck=0.69, mem=66M227
5.40/2.99	    decisions=26158, wrong=9514, backtracks=9509, failedAssignments=2928, nogoods=214, foundSolutions=8, bestBound=461
5.40/2.99	    
5.40/2.99	    num=87, depth=69..101, filters=128302, revisions=(19422,useless=19407), ccks=146697, wck=0.695, mem=66M227
5.40/2.99	    decisions=26407, wrong=9602, backtracks=9586, failedAssignments=2956, nogoods=217, foundSolutions=8, bestBound=461
5.40/2.99	    
5.40/3.00	    num=88, depth=80..98, filters=129400, revisions=(19573,useless=19558), ccks=147694, wck=0.699, mem=66M227
5.40/3.00	    decisions=26653, wrong=9685, backtracks=9673, failedAssignments=2987, nogoods=218, foundSolutions=8, bestBound=461
5.40/3.00	    
5.40/3.00	    num=89, depth=69..104, filters=131265, revisions=(19869,useless=19854), ccks=149738, wck=0.706, mem=66M227
5.40/3.00	    decisions=26986, wrong=9815, backtracks=9808, failedAssignments=3021, nogoods=221, foundSolutions=8, bestBound=461
5.40/3.00	    
5.52/3.01	    num=90, depth=80..97, filters=132398, revisions=(20000,useless=19985), ccks=150862, wck=0.711, mem=66M227
5.52/3.01	    decisions=27297, wrong=9930, backtracks=9915, failedAssignments=3058, nogoods=223, foundSolutions=8, bestBound=461
5.52/3.01	    
5.52/3.02	    num=91, depth=81..100, filters=134213, revisions=(20269,useless=20254), ccks=153066, wck=0.717, mem=66M227
5.52/3.02	    decisions=27656, wrong=10067, backtracks=10047, failedAssignments=3099, nogoods=227, foundSolutions=8, bestBound=461
5.52/3.02	    
5.52/3.02	    num=92, depth=65..96, filters=136185, revisions=(20545,useless=20530), ccks=154977, wck=0.724, mem=66M227
5.52/3.02	    decisions=28064, wrong=10232, backtracks=10217, failedAssignments=3144, nogoods=230, foundSolutions=8, bestBound=461
5.52/3.02	    
5.52/3.03	    num=93, depth=69..91, filters=139093, revisions=(20956,useless=20941), ccks=157970, wck=0.734, mem=68M869
5.52/3.03	    decisions=28532, wrong=10429, backtracks=10420, failedAssignments=3194, nogoods=233, foundSolutions=8, bestBound=461
5.52/3.03	    
5.52/3.04	    num=94, depth=58..98, filters=141532, revisions=(21344,useless=21329), ccks=160820, wck=0.743, mem=68M869
5.52/3.04	    decisions=28969, wrong=10618, backtracks=10596, failedAssignments=3249, nogoods=236, foundSolutions=8, bestBound=461
5.52/3.04	    
5.52/3.05	    num=95, depth=77..98, filters=143814, revisions=(21644,useless=21629), ccks=163074, wck=0.751, mem=68M869
5.52/3.05	    decisions=29438, wrong=10814, backtracks=10789, failedAssignments=3310, nogoods=237, foundSolutions=8, bestBound=461
5.52/3.05	    
5.52/3.06	    num=96, depth=63..88, filters=146073, revisions=(21908,useless=21893), ccks=165255, wck=0.759, mem=68M869
5.52/3.06	    decisions=29969, wrong=11042, backtracks=11015, failedAssignments=3377, nogoods=241, foundSolutions=8, bestBound=461
5.52/3.06	    
5.52/3.07	    num=97, depth=72..101, filters=149202, revisions=(22363,useless=22348), ccks=168459, wck=0.77, mem=68M869
5.52/3.07	    decisions=30636, wrong=11331, backtracks=11311, failedAssignments=3451, nogoods=244, foundSolutions=8, bestBound=461
5.52/3.07	    
5.52/3.08	    num=98, depth=57..94, filters=153281, revisions=(22983,useless=22968), ccks=173199, wck=0.784, mem=68M869
5.52/3.08	    decisions=31252, wrong=11605, backtracks=11577, failedAssignments=3532, nogoods=247, foundSolutions=8, bestBound=461
5.52/3.08	    
5.52/3.09	    num=99, depth=75..96, filters=156679, revisions=(23389,useless=23374), ccks=176106, wck=0.795, mem=71M511
5.52/3.09	    decisions=31880, wrong=11880, backtracks=11866, failedAssignments=3621, nogoods=250, foundSolutions=8, bestBound=461
5.52/3.09	    
5.63/3.11	    num=100, depth=77..104, filters=160970, revisions=(24049,useless=24034), ccks=180804, wck=0.809, mem=71M511
5.63/3.11	    decisions=32631, wrong=12213, backtracks=12207, failedAssignments=3719, nogoods=253, foundSolutions=8, bestBound=461
5.63/3.11	    
5.63/3.12	    num=101, depth=50..75, filters=164895, revisions=(24549,useless=24534), ccks=184400, wck=0.821, mem=71M511
5.63/3.12	    decisions=33303, wrong=12523, backtracks=12527, failedAssignments=3827, nogoods=258, foundSolutions=8, bestBound=461
5.63/3.12	    
5.63/3.13	    num=102, depth=66..89, filters=169587, revisions=(25123,useless=25108), ccks=189268, wck=0.836, mem=71M511
5.63/3.13	    decisions=34231, wrong=12951, backtracks=12980, failedAssignments=3946, nogoods=261, foundSolutions=8, bestBound=461
5.63/3.13	    
5.63/3.16	    num=103, depth=45..100, filters=177252, revisions=(26221,useless=26206), ccks=197908, wck=0.863, mem=74M154
5.63/3.16	    decisions=35215, wrong=13417, backtracks=13455, failedAssignments=4077, nogoods=264, foundSolutions=8, bestBound=461
5.63/3.16	    
5.63/3.18	    num=104, depth=81..106, filters=182853, revisions=(27073,useless=27058), ccks=203084, wck=0.88, mem=74M154
5.63/3.18	    decisions=36218, wrong=13877, backtracks=13921, failedAssignments=4221, nogoods=267, foundSolutions=8, bestBound=461
5.63/3.18	    
5.73/3.21	    num=105, depth=64..94, filters=190589, revisions=(28185,useless=28170), ccks=211021, wck=0.907, mem=76M796
5.73/3.21	    decisions=37216, wrong=14339, backtracks=14389, failedAssignments=4379, nogoods=271, foundSolutions=8, bestBound=461
5.73/3.21	    
5.73/3.23	    num=106, depth=84..107, filters=196674, revisions=(29054,useless=29039), ccks=218510, wck=0.927, mem=76M796
5.73/3.23	    decisions=38352, wrong=14863, backtracks=14933, failedAssignments=4553, nogoods=273, foundSolutions=8, bestBound=461
5.73/3.23	    
5.73/3.27	    num=107, depth=39..79, filters=209632, revisions=(31100,useless=31085), ccks=232434, wck=0.972, mem=79M439
5.73/3.27	    decisions=39887, wrong=15607, backtracks=15711, failedAssignments=4744, nogoods=277, foundSolutions=8, bestBound=461
5.73/3.27	    
5.73/3.29	    num=108, depth=86..110, filters=216867, revisions=(31866,useless=31851), ccks=238498, wck=0.995, mem=79M439
5.73/3.29	    decisions=41402, wrong=16316, backtracks=16415, failedAssignments=4955, nogoods=280, foundSolutions=8, bestBound=461
5.73/3.29	    
5.83/3.33	    num=109, depth=74..104, filters=227077, revisions=(33461,useless=33446), ccks=249782, wck=1.03, mem=82M81
5.83/3.33	    decisions=42971, wrong=17057, backtracks=17185, failedAssignments=5187, nogoods=284, foundSolutions=8, bestBound=461
5.83/3.33	    
5.83/3.37	    num=110, depth=60..105, filters=238900, revisions=(35461,useless=35446), ccks=263736, wck=1.068, mem=82M81
5.83/3.37	    decisions=44507, wrong=17791, backtracks=17933, failedAssignments=5442, nogoods=287, foundSolutions=8, bestBound=461
5.83/3.37	    
5.93/3.41	    num=111, depth=73..107, filters=252200, revisions=(37566,useless=37551), ccks=281239, wck=1.111, mem=84M724
5.93/3.41	    decisions=46526, wrong=18762, backtracks=18943, failedAssignments=5723, nogoods=289, foundSolutions=8, bestBound=461
5.93/3.41	    
5.93/3.46	    num=112, depth=55..96, filters=268079, revisions=(40161,useless=40146), ccks=299298, wck=1.162, mem=87M366
5.93/3.46	    decisions=48503, wrong=19717, backtracks=19948, failedAssignments=6032, nogoods=292, foundSolutions=8, bestBound=461
5.93/3.46	    
6.03/3.50	    num=113, depth=83..111, filters=279768, revisions=(41643,useless=41628), ccks=310369, wck=1.199, mem=87M366
6.03/3.50	    decisions=50791, wrong=20812, backtracks=21055, failedAssignments=6372, nogoods=295, foundSolutions=8, bestBound=461
6.03/3.50	    
6.03/3.57	    num=114, depth=43..97, filters=301589, revisions=(44917,useless=44902), ccks=332680, wck=1.27, mem=90M9
6.03/3.57	    decisions=53422, wrong=22099, backtracks=22417, failedAssignments=6746, nogoods=298, foundSolutions=8, bestBound=461
6.03/3.57	    
6.13/3.60	    num=115, depth=77..109, filters=313698, revisions=(46150,useless=46135), ccks=343541, wck=1.306, mem=92M651
6.13/3.60	    decisions=56180, wrong=23433, backtracks=23771, failedAssignments=7157, nogoods=301, foundSolutions=8, bestBound=461
6.13/3.60	    
6.13/3.68	    num=116, depth=48..86, filters=336675, revisions=(50112,useless=50097), ccks=373578, wck=1.382, mem=95M293
6.13/3.68	    decisions=59388, wrong=25007, backtracks=25433, failedAssignments=7609, nogoods=304, foundSolutions=8, bestBound=461
6.13/3.68	    
6.23/3.73	    num=117, depth=71..112, filters=352730, revisions=(51891,useless=51876), ccks=384880, wck=1.431, mem=97M936
6.23/3.73	    decisions=62895, wrong=26713, backtracks=27172, failedAssignments=8106, nogoods=308, foundSolutions=8, bestBound=461
6.23/3.73	    
6.34/3.83	    num=118, depth=43..88, filters=382833, revisions=(56475,useless=56460), ccks=416955, wck=1.527, mem=103M221
6.34/3.83	    decisions=66807, wrong=28640, backtracks=29180, failedAssignments=8653, nogoods=312, foundSolutions=8, bestBound=461
6.34/3.83	    
6.34/3.89	    num=119, depth=79..108, filters=403147, revisions=(58828,useless=58813), ccks=435594, wck=1.591, mem=105M863
6.34/3.89	    decisions=70867, wrong=30623, backtracks=31158, failedAssignments=9255, nogoods=315, foundSolutions=8, bestBound=461
6.34/3.89	    
6.44/3.99	o 456
6.44/3.99	    num=120, depth=46..270, filters=435529, revisions=(63620,useless=63605), ccks=469390, wck=1.694, mem=111M148
6.44/3.99	    decisions=74895, wrong=32601, backtracks=33237, failedAssignments=9851, nogoods=321, foundSolutions=9, bestBound=456
6.44/3.99	    
6.59/4.07	    num=121, depth=67..95, filters=458647, revisions=(66001,useless=65986), ccks=488729, wck=1.769, mem=113M790
6.59/4.07	    decisions=79781, wrong=35004, backtracks=35672, failedAssignments=10579, nogoods=325, foundSolutions=9, bestBound=456
6.59/4.07	    
6.59/4.07	    num=122, depth=70..91, filters=459308, revisions=(66119,useless=66104), ccks=489778, wck=1.773, mem=113M790
6.59/4.07	    decisions=79937, wrong=35047, backtracks=35714, failedAssignments=10590, nogoods=326, foundSolutions=9, bestBound=456
6.59/4.07	    
6.59/4.07	    num=123, depth=66..88, filters=459919, revisions=(66220,useless=66205), ccks=490633, wck=1.776, mem=113M790
6.59/4.07	    decisions=80089, wrong=35090, backtracks=35753, failedAssignments=10602, nogoods=327, foundSolutions=9, bestBound=456
6.59/4.07	    
6.59/4.08	    num=124, depth=67..88, filters=460856, revisions=(66368,useless=66353), ccks=491774, wck=1.78, mem=113M790
6.59/4.08	    decisions=80272, wrong=35148, backtracks=35812, failedAssignments=10615, nogoods=328, foundSolutions=9, bestBound=456
6.59/4.08	    
6.59/4.08	    num=125, depth=62..80, filters=461705, revisions=(66517,useless=66502), ccks=492965, wck=1.784, mem=113M790
6.59/4.08	    decisions=80447, wrong=35201, backtracks=35861, failedAssignments=10629, nogoods=330, foundSolutions=9, bestBound=456
6.59/4.08	    
6.59/4.09	    num=126, depth=63..82, filters=462758, revisions=(66700,useless=66685), ccks=494287, wck=1.789, mem=116M433
6.59/4.09	    decisions=80640, wrong=35266, backtracks=35925, failedAssignments=10645, nogoods=332, foundSolutions=9, bestBound=456
6.59/4.09	    
6.59/4.09	    num=127, depth=65..79, filters=463747, revisions=(66857,useless=66842), ccks=495418, wck=1.793, mem=116M433
6.59/4.09	    decisions=80832, wrong=35327, backtracks=35987, failedAssignments=10662, nogoods=334, foundSolutions=9, bestBound=456
6.59/4.09	    
6.59/4.10	    num=128, depth=58..79, filters=465241, revisions=(67127,useless=67112), ccks=497425, wck=1.8, mem=116M433
6.59/4.10	    decisions=81103, wrong=35425, backtracks=36090, failedAssignments=10681, nogoods=336, foundSolutions=9, bestBound=456
6.59/4.10	    
6.59/4.10	    num=129, depth=60..79, filters=466780, revisions=(67365,useless=67350), ccks=499427, wck=1.806, mem=116M433
6.59/4.10	    decisions=81365, wrong=35526, backtracks=36189, failedAssignments=10702, nogoods=337, foundSolutions=9, bestBound=456
6.59/4.10	    
6.70/4.11	    num=130, depth=53..76, filters=468421, revisions=(67645,useless=67630), ccks=501429, wck=1.813, mem=116M433
6.70/4.11	    decisions=81630, wrong=35628, backtracks=36285, failedAssignments=10725, nogoods=340, foundSolutions=9, bestBound=456
6.70/4.11	    
6.70/4.12	    num=131, depth=65..82, filters=469810, revisions=(67914,useless=67899), ccks=503707, wck=1.818, mem=116M433
6.70/4.12	    decisions=81862, wrong=35710, backtracks=36365, failedAssignments=10750, nogoods=343, foundSolutions=9, bestBound=456
6.70/4.12	    
6.70/4.12	    num=132, depth=53..75, filters=471052, revisions=(68094,useless=68079), ccks=504777, wck=1.823, mem=116M433
6.70/4.12	    decisions=82116, wrong=35804, backtracks=36461, failedAssignments=10778, nogoods=345, foundSolutions=9, bestBound=456
6.70/4.12	    
6.70/4.13	    num=133, depth=61..78, filters=472580, revisions=(68298,useless=68283), ccks=506446, wck=1.829, mem=116M433
6.70/4.13	    decisions=82435, wrong=35933, backtracks=36591, failedAssignments=10809, nogoods=347, foundSolutions=9, bestBound=456
6.70/4.13	    
6.70/4.13	    num=134, depth=65..80, filters=474012, revisions=(68520,useless=68505), ccks=507890, wck=1.834, mem=116M433
6.70/4.13	    decisions=82726, wrong=36043, backtracks=36708, failedAssignments=10843, nogoods=349, foundSolutions=9, bestBound=456
6.70/4.13	    
6.70/4.14	    num=135, depth=63..83, filters=475450, revisions=(68723,useless=68708), ccks=509469, wck=1.84, mem=116M433
6.70/4.14	    decisions=83039, wrong=36164, backtracks=36832, failedAssignments=10880, nogoods=353, foundSolutions=9, bestBound=456
6.70/4.14	    
6.70/4.15	    num=136, depth=72..86, filters=477452, revisions=(69064,useless=69049), ccks=512011, wck=1.847, mem=116M433
6.70/4.15	    decisions=83357, wrong=36287, backtracks=36958, failedAssignments=10921, nogoods=354, foundSolutions=9, bestBound=456
6.70/4.15	    
6.70/4.15	    num=137, depth=77..96, filters=478914, revisions=(69267,useless=69252), ccks=513662, wck=1.853, mem=116M433
6.70/4.15	    decisions=83718, wrong=36427, backtracks=37098, failedAssignments=10966, nogoods=357, foundSolutions=9, bestBound=456
6.70/4.15	    
6.70/4.16	    num=138, depth=87..102, filters=480365, revisions=(69426,useless=69411), ccks=514957, wck=1.858, mem=119M76
6.70/4.16	    decisions=84113, wrong=36580, backtracks=37246, failedAssignments=11016, nogoods=361, foundSolutions=9, bestBound=456
6.70/4.16	    
6.70/4.17	    num=139, depth=63..94, filters=483491, revisions=(70004,useless=69989), ccks=519557, wck=1.87, mem=119M76
6.70/4.17	    decisions=84569, wrong=36774, backtracks=37443, failedAssignments=11071, nogoods=364, foundSolutions=9, bestBound=456
6.70/4.17	    
6.70/4.18	    num=140, depth=73..108, filters=485903, revisions=(70366,useless=70351), ccks=522401, wck=1.879, mem=119M76
6.70/4.18	    decisions=85052, wrong=36971, backtracks=37632, failedAssignments=11132, nogoods=368, foundSolutions=9, bestBound=456
6.70/4.18	    
6.70/4.19	    num=141, depth=73..91, filters=488613, revisions=(70770,useless=70755), ccks=525035, wck=1.889, mem=119M76
6.70/4.19	    decisions=85540, wrong=37177, backtracks=37835, failedAssignments=11199, nogoods=370, foundSolutions=9, bestBound=456
6.70/4.19	    
6.79/4.20	    num=142, depth=73..103, filters=491312, revisions=(71195,useless=71180), ccks=528191, wck=1.9, mem=119M76
6.79/4.20	    decisions=86052, wrong=37395, backtracks=38054, failedAssignments=11273, nogoods=373, foundSolutions=9, bestBound=456
6.79/4.20	    
6.79/4.21	    num=143, depth=71..98, filters=494774, revisions=(71701,useless=71686), ccks=531782, wck=1.912, mem=119M76
6.79/4.21	    decisions=86588, wrong=37626, backtracks=38294, failedAssignments=11354, nogoods=375, foundSolutions=9, bestBound=456
6.79/4.21	    
6.79/4.23	    num=144, depth=85..106, filters=498884, revisions=(72374,useless=72359), ccks=537367, wck=1.927, mem=121M718
6.79/4.23	    decisions=87241, wrong=37910, backtracks=38588, failedAssignments=11443, nogoods=376, foundSolutions=9, bestBound=456
6.79/4.23	    
6.79/4.24	    num=145, depth=67..97, filters=503958, revisions=(73189,useless=73174), ccks=542732, wck=1.945, mem=121M718
6.79/4.24	    decisions=87950, wrong=38230, backtracks=38925, failedAssignments=11541, nogoods=380, foundSolutions=9, bestBound=456
6.79/4.24	    
6.79/4.25	    num=146, depth=73..97, filters=507731, revisions=(73600,useless=73585), ccks=545965, wck=1.956, mem=121M718
6.79/4.25	    decisions=88748, wrong=38589, backtracks=39295, failedAssignments=11649, nogoods=384, foundSolutions=9, bestBound=456
6.79/4.25	    
6.79/4.27	    num=147, depth=63..93, filters=513141, revisions=(74500,useless=74485), ccks=551465, wck=1.975, mem=121M718
6.79/4.27	    decisions=89655, wrong=39002, backtracks=39714, failedAssignments=11768, nogoods=390, foundSolutions=9, bestBound=456
6.79/4.27	    
6.79/4.29	    num=148, depth=85..112, filters=517847, revisions=(75035,useless=75020), ccks=556182, wck=1.992, mem=124M361
6.79/4.29	    decisions=90698, wrong=39473, backtracks=40193, failedAssignments=11899, nogoods=393, foundSolutions=9, bestBound=456
6.79/4.29	    
6.90/4.32	    num=149, depth=53..103, filters=526706, revisions=(76440,useless=76425), ccks=566144, wck=2.024, mem=124M361
6.90/4.32	    decisions=91641, wrong=39915, backtracks=40654, failedAssignments=12043, nogoods=396, foundSolutions=9, bestBound=456
6.90/4.32	    
6.90/4.34	    num=150, depth=75..106, filters=531706, revisions=(77001,useless=76986), ccks=570385, wck=2.041, mem=127M3
6.90/4.34	    decisions=92744, wrong=40419, backtracks=41142, failedAssignments=12201, nogoods=400, foundSolutions=9, bestBound=456
6.90/4.34	    
6.90/4.37	    num=151, depth=67..101, filters=540328, revisions=(78492,useless=78477), ccks=580964, wck=2.074, mem=127M3
6.90/4.37	    decisions=93949, wrong=40984, backtracks=41727, failedAssignments=12375, nogoods=404, foundSolutions=9, bestBound=456
6.90/4.37	    
6.90/4.39	    num=152, depth=77..105, filters=546848, revisions=(79432,useless=79417), ccks=588899, wck=2.095, mem=127M3
6.90/4.39	    decisions=95210, wrong=41572, backtracks=42324, failedAssignments=12566, nogoods=407, foundSolutions=9, bestBound=456
6.90/4.39	    
7.01/4.43	    num=153, depth=70..98, filters=556793, revisions=(80876,useless=80861), ccks=599833, wck=2.127, mem=129M645
7.01/4.43	    decisions=96695, wrong=42277, backtracks=43028, failedAssignments=12777, nogoods=411, foundSolutions=9, bestBound=456
7.01/4.43	    
7.01/4.46	    num=154, depth=64..96, filters=565889, revisions=(82232,useless=82217), ccks=610293, wck=2.159, mem=129M645
7.01/4.46	    decisions=98350, wrong=43069, backtracks=43841, failedAssignments=13009, nogoods=415, foundSolutions=9, bestBound=456
7.01/4.46	    
7.11/4.50	    num=155, depth=66..100, filters=577931, revisions=(84004,useless=83989), ccks=623852, wck=2.198, mem=132M288
7.11/4.50	    decisions=100096, wrong=43906, backtracks=44694, failedAssignments=13264, nogoods=421, foundSolutions=9, bestBound=456
7.11/4.50	    
7.11/4.54	    num=156, depth=67..101, filters=590030, revisions=(85939,useless=85924), ccks=638396, wck=2.241, mem=134M930
7.11/4.54	    decisions=102103, wrong=44874, backtracks=45667, failedAssignments=13545, nogoods=424, foundSolutions=9, bestBound=456
7.11/4.54	    
7.23/4.60	    num=157, depth=55..101, filters=608131, revisions=(88418,useless=88403), ccks=656148, wck=2.303, mem=137M573
7.23/4.60	    decisions=104408, wrong=45998, backtracks=46830, failedAssignments=13854, nogoods=428, foundSolutions=9, bestBound=456
7.23/4.60	    
7.23/4.64	    num=158, depth=81..110, filters=619166, revisions=(89928,useless=89913), ccks=667050, wck=2.341, mem=137M573
7.23/4.64	    decisions=106569, wrong=47035, backtracks=47889, failedAssignments=14194, nogoods=431, foundSolutions=9, bestBound=456
7.23/4.64	    
7.23/4.70	    num=159, depth=41..98, filters=636948, revisions=(92251,useless=92236), ccks=681064, wck=2.397, mem=140M215
7.23/4.70	    decisions=109563, wrong=48503, backtracks=49423, failedAssignments=14568, nogoods=436, foundSolutions=9, bestBound=456
7.23/4.70	    
7.34/4.75	    num=160, depth=64..94, filters=652699, revisions=(94617,useless=94602), ccks=701652, wck=2.453, mem=142M778
7.34/4.75	    decisions=112059, wrong=49713, backtracks=50647, failedAssignments=14979, nogoods=441, foundSolutions=9, bestBound=456
7.34/4.75	    
7.47/4.83	    num=161, depth=58..87, filters=673325, revisions=(97461,useless=97446), ccks=718557, wck=2.527, mem=25M995
7.47/4.83	    decisions=115317, wrong=51306, backtracks=52292, failedAssignments=15431, nogoods=444, foundSolutions=9, bestBound=456
7.47/4.83	    
7.57/4.90	    num=162, depth=63..95, filters=694650, revisions=(100645,useless=100630), ccks=741137, wck=2.6, mem=28M611
7.57/4.90	    decisions=118427, wrong=52824, backtracks=53862, failedAssignments=15928, nogoods=449, foundSolutions=9, bestBound=456
7.57/4.90	    
7.57/4.97	    num=163, depth=65..95, filters=719178, revisions=(104378,useless=104363), ccks=768937, wck=2.676, mem=31M226
7.57/4.97	    decisions=122208, wrong=54677, backtracks=55775, failedAssignments=16475, nogoods=453, foundSolutions=9, bestBound=456
7.57/4.97	    
7.68/5.05	    num=164, depth=62..106, filters=744134, revisions=(107696,useless=107681), ccks=792756, wck=2.756, mem=33M842
7.68/5.05	    decisions=126684, wrong=56884, backtracks=57979, failedAssignments=17077, nogoods=454, foundSolutions=9, bestBound=456
7.68/5.05	    
7.78/5.16	    num=165, depth=62..103, filters=778220, revisions=(112134,useless=112119), ccks=823581, wck=2.863, mem=39M74
7.78/5.16	    decisions=131837, wrong=59414, backtracks=60587, failedAssignments=17739, nogoods=458, foundSolutions=9, bestBound=456
7.78/5.16	    
7.87/5.26	    num=166, depth=60..112, filters=808684, revisions=(116398,useless=116383), ccks=854267, wck=2.96, mem=44M306
7.87/5.26	    decisions=136975, wrong=61935, backtracks=63187, failedAssignments=18467, nogoods=462, foundSolutions=9, bestBound=456
7.87/5.26	    
7.97/5.38	    num=167, depth=61..99, filters=846479, revisions=(121863,useless=121848), ccks=896224, wck=3.077, mem=49M538
7.97/5.38	    decisions=142948, wrong=64884, backtracks=66307, failedAssignments=19268, nogoods=466, foundSolutions=9, bestBound=456
7.97/5.38	    
8.07/5.50	    num=168, depth=66..99, filters=882279, revisions=(127319,useless=127304), ccks=937906, wck=3.197, mem=54M770
8.07/5.50	    decisions=148161, wrong=67454, backtracks=68864, failedAssignments=20149, nogoods=472, foundSolutions=9, bestBound=456
8.07/5.50	    
8.27/5.61	o 455
8.27/5.61	    num=169, depth=61..270, filters=919710, revisions=(132775,useless=132760), ccks=971361, wck=3.311, mem=60M2
8.27/5.61	    decisions=154563, wrong=70613, backtracks=72149, failedAssignments=21088, nogoods=478, foundSolutions=10, bestBound=455
8.27/5.61	    
8.37/5.74	    num=170, depth=59..96, filters=956896, revisions=(137813,useless=137798), ccks=1012574, wck=3.438, mem=67M850
8.37/5.74	    decisions=160701, wrong=73651, backtracks=75271, failedAssignments=22155, nogoods=481, foundSolutions=10, bestBound=455
8.37/5.74	    
8.37/5.74	    num=171, depth=73..90, filters=957748, revisions=(137942,useless=137927), ccks=1013435, wck=3.442, mem=67M850
8.37/5.74	    decisions=160858, wrong=73693, backtracks=75309, failedAssignments=22166, nogoods=482, foundSolutions=10, bestBound=455
8.37/5.74	    
8.37/5.74	    num=172, depth=67..79, filters=958624, revisions=(138085,useless=138070), ccks=1014375, wck=3.446, mem=67M850
8.37/5.74	    decisions=161008, wrong=73731, backtracks=75343, failedAssignments=22178, nogoods=484, foundSolutions=10, bestBound=455
8.37/5.74	    
8.37/5.75	    num=173, depth=67..83, filters=959138, revisions=(138177,useless=138162), ccks=1014882, wck=3.449, mem=67M850
8.37/5.75	    decisions=161149, wrong=73766, backtracks=75376, failedAssignments=22191, nogoods=486, foundSolutions=10, bestBound=455
8.37/5.75	    
8.37/5.75	    num=174, depth=67..80, filters=959959, revisions=(138330,useless=138315), ccks=1015764, wck=3.453, mem=67M850
8.37/5.75	    decisions=161320, wrong=73817, backtracks=75427, failedAssignments=22205, nogoods=489, foundSolutions=10, bestBound=455
8.37/5.75	    
8.37/5.76	    num=175, depth=64..81, filters=960870, revisions=(138478,useless=138463), ccks=1016771, wck=3.457, mem=67M850
8.37/5.76	    decisions=161492, wrong=73866, backtracks=75474, failedAssignments=22221, nogoods=492, foundSolutions=10, bestBound=455
8.37/5.76	    
8.37/5.76	    num=176, depth=69..87, filters=961651, revisions=(138605,useless=138590), ccks=1017684, wck=3.46, mem=67M850
8.37/5.76	    decisions=161644, wrong=73905, backtracks=75511, failedAssignments=22238, nogoods=494, foundSolutions=10, bestBound=455
8.37/5.76	    
8.37/5.76	    num=177, depth=72..84, filters=962465, revisions=(138728,useless=138713), ccks=1018485, wck=3.463, mem=67M850
8.37/5.76	    decisions=161830, wrong=73962, backtracks=75568, failedAssignments=22257, nogoods=495, foundSolutions=10, bestBound=455
8.37/5.76	    
8.37/5.77	    num=178, depth=69..83, filters=963596, revisions=(138897,useless=138882), ccks=1019718, wck=3.468, mem=67M850
8.37/5.77	    decisions=162014, wrong=74019, backtracks=75627, failedAssignments=22278, nogoods=498, foundSolutions=10, bestBound=455
8.37/5.77	    
8.37/5.77	    num=179, depth=74..98, filters=964458, revisions=(139026,useless=139011), ccks=1020591, wck=3.472, mem=67M850
8.37/5.77	    decisions=162244, wrong=74089, backtracks=75694, failedAssignments=22301, nogoods=504, foundSolutions=10, bestBound=455
8.37/5.77	    
8.37/5.77	    num=180, depth=81..98, filters=965169, revisions=(139138,useless=139123), ccks=1021397, wck=3.475, mem=67M850
8.37/5.77	    decisions=162438, wrong=74142, backtracks=75749, failedAssignments=22326, nogoods=508, foundSolutions=10, bestBound=455
8.37/5.77	    
8.37/5.78	    num=181, depth=80..97, filters=966633, revisions=(139370,useless=139355), ccks=1022707, wck=3.481, mem=67M850
8.37/5.78	    decisions=162726, wrong=74243, backtracks=75847, failedAssignments=22354, nogoods=510, foundSolutions=10, bestBound=455
8.37/5.78	    
8.37/5.78	    num=182, depth=69..87, filters=967771, revisions=(139556,useless=139541), ccks=1024011, wck=3.486, mem=67M850
8.37/5.78	    decisions=162977, wrong=74332, backtracks=75939, failedAssignments=22385, nogoods=512, foundSolutions=10, bestBound=455
8.37/5.78	    
8.37/5.79	    num=183, depth=76..94, filters=968869, revisions=(139687,useless=139672), ccks=1024740, wck=3.49, mem=67M850
8.37/5.79	    decisions=163280, wrong=74445, backtracks=76054, failedAssignments=22419, nogoods=514, foundSolutions=10, bestBound=455
8.37/5.79	    
8.37/5.79	    num=184, depth=80..101, filters=970184, revisions=(139896,useless=139881), ccks=1025908, wck=3.496, mem=67M850
8.37/5.79	    decisions=163570, wrong=74543, backtracks=76152, failedAssignments=22456, nogoods=517, foundSolutions=10, bestBound=455
8.37/5.79	    
8.48/5.80	    num=185, depth=64..82, filters=971504, revisions=(140086,useless=140071), ccks=1027270, wck=3.501, mem=71M787
8.48/5.80	    decisions=163878, wrong=74661, backtracks=76269, failedAssignments=22497, nogoods=519, foundSolutions=10, bestBound=455
8.48/5.80	    
8.48/5.81	    num=186, depth=80..97, filters=973141, revisions=(140317,useless=140302), ccks=1029282, wck=3.507, mem=71M787
8.48/5.81	    decisions=164243, wrong=74798, backtracks=76405, failedAssignments=22542, nogoods=522, foundSolutions=10, bestBound=455
8.48/5.81	    
8.48/5.82	    num=187, depth=75..97, filters=976045, revisions=(140848,useless=140833), ccks=1033051, wck=3.519, mem=71M787
8.48/5.82	    decisions=164648, wrong=74960, backtracks=76565, failedAssignments=22592, nogoods=525, foundSolutions=10, bestBound=455
8.48/5.82	    
8.48/5.83	    num=188, depth=82..101, filters=978248, revisions=(141157,useless=141142), ccks=1035874, wck=3.528, mem=71M787
8.48/5.83	    decisions=165112, wrong=75149, backtracks=76759, failedAssignments=22647, nogoods=527, foundSolutions=10, bestBound=455
8.48/5.83	    
8.48/5.84	    num=189, depth=67..91, filters=981326, revisions=(141596,useless=141581), ccks=1038719, wck=3.538, mem=71M787
8.48/5.84	    decisions=165591, wrong=75352, backtracks=76968, failedAssignments=22708, nogoods=530, foundSolutions=10, bestBound=455
8.48/5.84	    
8.48/5.85	    num=190, depth=87..101, filters=983603, revisions=(141949,useless=141934), ccks=1041180, wck=3.547, mem=71M787
8.48/5.85	    decisions=166007, wrong=75516, backtracks=77120, failedAssignments=22775, nogoods=532, foundSolutions=10, bestBound=455
8.48/5.85	    
8.48/5.86	    num=191, depth=77..102, filters=986760, revisions=(142509,useless=142494), ccks=1046105, wck=3.56, mem=71M787
8.48/5.86	    decisions=166518, wrong=75732, backtracks=77340, failedAssignments=22849, nogoods=534, foundSolutions=10, bestBound=455
8.48/5.86	    
8.48/5.87	    num=192, depth=70..92, filters=991062, revisions=(143230,useless=143215), ccks=1050854, wck=3.576, mem=74M403
8.48/5.87	    decisions=167121, wrong=75996, backtracks=77598, failedAssignments=22930, nogoods=536, foundSolutions=10, bestBound=455
8.48/5.87	    
8.48/5.89	    num=193, depth=72..101, filters=994377, revisions=(143755,useless=143740), ccks=1054751, wck=3.589, mem=74M403
8.48/5.89	    decisions=167685, wrong=76242, backtracks=77850, failedAssignments=23019, nogoods=538, foundSolutions=10, bestBound=455
8.48/5.89	    
8.59/5.90	    num=194, depth=77..103, filters=998518, revisions=(144331,useless=144316), ccks=1059126, wck=3.603, mem=74M403
8.59/5.90	    decisions=168401, wrong=76559, backtracks=78191, failedAssignments=23117, nogoods=541, foundSolutions=10, bestBound=455
8.59/5.90	    
8.59/5.92	    num=195, depth=51..98, filters=1004069, revisions=(145188,useless=145173), ccks=1064398, wck=3.623, mem=74M403
8.59/5.92	    decisions=169290, wrong=76972, backtracks=78607, failedAssignments=23225, nogoods=547, foundSolutions=10, bestBound=455
8.59/5.92	    
8.59/5.94	    num=196, depth=78..110, filters=1009383, revisions=(145963,useless=145948), ccks=1069947, wck=3.643, mem=77M19
8.59/5.94	    decisions=170192, wrong=77375, backtracks=79014, failedAssignments=23344, nogoods=549, foundSolutions=10, bestBound=455
8.59/5.94	    
8.59/5.97	    num=197, depth=62..103, filters=1016363, revisions=(147146,useless=147131), ccks=1078625, wck=3.671, mem=77M19
8.59/5.97	    decisions=171069, wrong=77777, backtracks=79424, failedAssignments=23475, nogoods=553, foundSolutions=10, bestBound=455
8.59/5.97	    
8.59/5.98	    num=198, depth=80..107, filters=1021261, revisions=(147659,useless=147644), ccks=1083256, wck=3.686, mem=77M19
8.59/5.98	    decisions=172182, wrong=78288, backtracks=79945, failedAssignments=23619, nogoods=557, foundSolutions=10, bestBound=455
8.59/5.98	    
8.72/6.02	    num=199, depth=55..95, filters=1029868, revisions=(149023,useless=149008), ccks=1092709, wck=3.72, mem=79M635
8.72/6.02	    decisions=173275, wrong=78807, backtracks=80492, failedAssignments=23777, nogoods=561, foundSolutions=10, bestBound=455
8.72/6.02	    
8.72/6.04	    num=200, depth=75..105, filters=1036784, revisions=(149961,useless=149946), ccks=1099200, wck=3.744, mem=79M635
8.72/6.04	    decisions=174429, wrong=79344, backtracks=81018, failedAssignments=23951, nogoods=565, foundSolutions=10, bestBound=455
8.72/6.04	    
8.72/6.07	    num=201, depth=65..96, filters=1045283, revisions=(151486,useless=151471), ccks=1111034, wck=3.775, mem=82M251
8.72/6.07	    decisions=175643, wrong=79916, backtracks=81605, failedAssignments=24142, nogoods=569, foundSolutions=10, bestBound=455
8.72/6.07	    
8.72/6.10	    num=202, depth=75..104, filters=1053154, revisions=(152821,useless=152806), ccks=1120350, wck=3.805, mem=82M251
8.72/6.10	    decisions=176946, wrong=80527, backtracks=82235, failedAssignments=24353, nogoods=572, foundSolutions=10, bestBound=455
8.72/6.10	    
8.83/6.14	    num=203, depth=70..101, filters=1063448, revisions=(154260,useless=154245), ccks=1131471, wck=3.842, mem=84M867
8.83/6.14	    decisions=178609, wrong=81319, backtracks=83041, failedAssignments=24585, nogoods=576, foundSolutions=10, bestBound=455
8.83/6.14	    
8.83/6.19	    num=204, depth=69..106, filters=1076694, revisions=(156751,useless=156736), ccks=1150167, wck=3.892, mem=84M867
8.83/6.19	    decisions=180455, wrong=82205, backtracks=83972, failedAssignments=24840, nogoods=579, foundSolutions=10, bestBound=455
8.83/6.19	    
8.92/6.23	    num=205, depth=79..111, filters=1086948, revisions=(158024,useless=158009), ccks=1159588, wck=3.928, mem=87M483
8.92/6.23	    decisions=182332, wrong=83104, backtracks=84865, failedAssignments=25121, nogoods=580, foundSolutions=10, bestBound=455
8.92/6.23	    
8.92/6.28	    num=206, depth=73..113, filters=1102019, revisions=(160375,useless=160360), ccks=1176229, wck=3.979, mem=90M99
8.92/6.28	    decisions=184581, wrong=84188, backtracks=85970, failedAssignments=25430, nogoods=583, foundSolutions=10, bestBound=455
8.92/6.28	    
9.02/6.33	o 453
9.02/6.33	    num=207, depth=57..270, filters=1116632, revisions=(162703,useless=162688), ccks=1190651, wck=4.033, mem=92M715
9.02/6.33	    decisions=186757, wrong=85233, backtracks=87045, failedAssignments=25732, nogoods=588, foundSolutions=11, bestBound=453
9.02/6.33	    
9.02/6.38	    num=208, depth=66..94, filters=1131788, revisions=(164884,useless=164869), ccks=1207655, wck=4.085, mem=95M331
9.02/6.38	    decisions=189143, wrong=86391, backtracks=88218, failedAssignments=26106, nogoods=592, foundSolutions=11, bestBound=453
9.02/6.38	    
9.02/6.39	    num=209, depth=76..90, filters=1132549, revisions=(165022,useless=165007), ccks=1208362, wck=4.089, mem=95M331
9.02/6.39	    decisions=189303, wrong=86430, backtracks=88252, failedAssignments=26117, nogoods=596, foundSolutions=11, bestBound=453
9.02/6.39	    
9.02/6.39	    num=210, depth=71..83, filters=1133359, revisions=(165167,useless=165152), ccks=1209356, wck=4.093, mem=95M331
9.02/6.39	    decisions=189458, wrong=86470, backtracks=88285, failedAssignments=26129, nogoods=598, foundSolutions=11, bestBound=453
9.02/6.39	    
9.02/6.39	    num=211, depth=70..84, filters=1133928, revisions=(165278,useless=165263), ccks=1210078, wck=4.096, mem=95M331
9.02/6.39	    decisions=189590, wrong=86499, backtracks=88311, failedAssignments=26142, nogoods=601, foundSolutions=11, bestBound=453
9.02/6.39	    
9.14/6.40	    num=212, depth=70..81, filters=1134895, revisions=(165443,useless=165428), ccks=1211102, wck=4.1, mem=95M331
9.14/6.40	    decisions=189777, wrong=86554, backtracks=88362, failedAssignments=26156, nogoods=603, foundSolutions=11, bestBound=453
9.14/6.40	    
9.14/6.40	    num=213, depth=74..84, filters=1135538, revisions=(165552,useless=165537), ccks=1211921, wck=4.103, mem=95M331
9.14/6.40	    decisions=189929, wrong=86593, backtracks=88401, failedAssignments=26172, nogoods=604, foundSolutions=11, bestBound=453
9.14/6.40	    
9.14/6.41	    num=214, depth=74..85, filters=1136318, revisions=(165686,useless=165671), ccks=1212766, wck=4.107, mem=95M331
9.14/6.41	    decisions=190079, wrong=86631, backtracks=88441, failedAssignments=26189, nogoods=605, foundSolutions=11, bestBound=453
9.14/6.41	    
9.14/6.41	    num=215, depth=72..86, filters=1137311, revisions=(165846,useless=165831), ccks=1214003, wck=4.111, mem=95M331
9.14/6.41	    decisions=190256, wrong=86682, backtracks=88493, failedAssignments=26208, nogoods=608, foundSolutions=11, bestBound=453
9.14/6.41	    
9.14/6.41	    num=216, depth=64..79, filters=1138316, revisions=(165996,useless=165981), ccks=1214929, wck=4.116, mem=95M331
9.14/6.41	    decisions=190459, wrong=86747, backtracks=88557, failedAssignments=26229, nogoods=610, foundSolutions=11, bestBound=453
9.14/6.41	    
9.14/6.42	    num=217, depth=72..85, filters=1139639, revisions=(166222,useless=166207), ccks=1216541, wck=4.122, mem=95M331
9.14/6.42	    decisions=190657, wrong=86810, backtracks=88622, failedAssignments=26252, nogoods=613, foundSolutions=11, bestBound=453
9.14/6.42	    
9.14/6.43	    num=218, depth=84..94, filters=1140713, revisions=(166411,useless=166396), ccks=1218035, wck=4.127, mem=95M331
9.14/6.43	    decisions=190869, wrong=86874, backtracks=88682, failedAssignments=26277, nogoods=616, foundSolutions=11, bestBound=453
9.14/6.43	    
9.14/6.43	    num=219, depth=84..97, filters=1141545, revisions=(166543,useless=166528), ccks=1219060, wck=4.131, mem=95M331
9.14/6.43	    decisions=191101, wrong=86947, backtracks=88752, failedAssignments=26305, nogoods=618, foundSolutions=11, bestBound=453
9.14/6.43	    
9.14/6.43	    num=220, depth=92..107, filters=1142573, revisions=(166672,useless=166657), ccks=1220103, wck=4.135, mem=95M331
9.14/6.43	    decisions=191373, wrong=87035, backtracks=88839, failedAssignments=26336, nogoods=621, foundSolutions=11, bestBound=453
9.14/6.43	    
9.14/6.44	    num=221, depth=80..103, filters=1144303, revisions=(166957,useless=166942), ccks=1221666, wck=4.143, mem=95M331
9.14/6.44	    decisions=191704, wrong=87155, backtracks=88956, failedAssignments=26370, nogoods=623, foundSolutions=11, bestBound=453
9.14/6.44	    
9.14/6.45	    num=222, depth=77..93, filters=1146373, revisions=(167300,useless=167285), ccks=1224847, wck=4.151, mem=97M947
9.14/6.45	    decisions=192003, wrong=87264, backtracks=89074, failedAssignments=26407, nogoods=626, foundSolutions=11, bestBound=453
9.14/6.45	    
9.14/6.46	    num=223, depth=84..100, filters=1147825, revisions=(167499,useless=167484), ccks=1226408, wck=4.157, mem=97M947
9.14/6.46	    decisions=192340, wrong=87387, backtracks=89202, failedAssignments=26448, nogoods=628, foundSolutions=11, bestBound=453
9.14/6.46	    
9.14/6.46	    num=224, depth=91..107, filters=1149897, revisions=(167851,useless=167836), ccks=1229076, wck=4.166, mem=97M947
9.14/6.46	    decisions=192684, wrong=87513, backtracks=89331, failedAssignments=26493, nogoods=630, foundSolutions=11, bestBound=453
9.14/6.46	    
9.14/6.47	    num=225, depth=87..102, filters=1152071, revisions=(168188,useless=168173), ccks=1232350, wck=4.175, mem=97M947
9.14/6.47	    decisions=193087, wrong=87670, backtracks=89482, failedAssignments=26543, nogoods=633, foundSolutions=11, bestBound=453
9.14/6.47	    
9.14/6.48	    num=226, depth=77..93, filters=1154387, revisions=(168597,useless=168582), ccks=1235103, wck=4.184, mem=97M947
9.14/6.48	    decisions=193487, wrong=87831, backtracks=89645, failedAssignments=26598, nogoods=637, foundSolutions=11, bestBound=453
9.14/6.48	    
9.14/6.49	    num=227, depth=80..103, filters=1156599, revisions=(168913,useless=168898), ccks=1237909, wck=4.193, mem=97M947
9.14/6.49	    decisions=193944, wrong=88017, backtracks=89826, failedAssignments=26659, nogoods=640, foundSolutions=11, bestBound=453
9.14/6.49	    
9.24/6.50	    num=228, depth=70..91, filters=1159953, revisions=(169468,useless=169453), ccks=1241629, wck=4.205, mem=97M947
9.24/6.50	    decisions=194481, wrong=88248, backtracks=90056, failedAssignments=26726, nogoods=643, foundSolutions=11, bestBound=453
9.24/6.50	    
9.24/6.52	    num=229, depth=74..100, filters=1163044, revisions=(169917,useless=169902), ccks=1245302, wck=4.218, mem=100M562
9.24/6.52	    decisions=194997, wrong=88466, backtracks=90285, failedAssignments=26800, nogoods=649, foundSolutions=11, bestBound=453
9.24/6.52	    
9.24/6.53	    num=230, depth=83..109, filters=1166350, revisions=(170358,useless=170343), ccks=1249245, wck=4.23, mem=100M562
9.24/6.53	    decisions=195694, wrong=88773, backtracks=90598, failedAssignments=26881, nogoods=650, foundSolutions=11, bestBound=453
9.24/6.53	    
9.24/6.55	    num=231, depth=67..106, filters=1171091, revisions=(171237,useless=171222), ccks=1255724, wck=4.251, mem=100M562
9.24/6.55	    decisions=196302, wrong=89040, backtracks=90863, failedAssignments=26970, nogoods=654, foundSolutions=11, bestBound=453
9.24/6.55	    
9.24/6.57	    num=232, depth=68..105, filters=1175659, revisions=(171848,useless=171833), ccks=1260160, wck=4.268, mem=100M562
9.24/6.57	    decisions=197076, wrong=89385, backtracks=91212, failedAssignments=27068, nogoods=658, foundSolutions=11, bestBound=453
9.24/6.57	    
9.24/6.58	    num=233, depth=90..109, filters=1179735, revisions=(172436,useless=172421), ccks=1264514, wck=4.285, mem=103M178
9.24/6.58	    decisions=197815, wrong=89706, backtracks=91544, failedAssignments=27176, nogoods=663, foundSolutions=11, bestBound=453
9.24/6.58	    
9.36/6.61	    num=234, depth=47..82, filters=1187560, revisions=(173744,useless=173729), ccks=1273899, wck=4.316, mem=103M178
9.36/6.61	    decisions=198807, wrong=90174, backtracks=92027, failedAssignments=27295, nogoods=666, foundSolutions=11, bestBound=453
9.36/6.61	    
9.36/6.63	    num=235, depth=83..105, filters=1191891, revisions=(174188,useless=174173), ccks=1277862, wck=4.332, mem=103M178
9.36/6.63	    decisions=199773, wrong=90614, backtracks=92473, failedAssignments=27426, nogoods=670, foundSolutions=11, bestBound=453
9.36/6.63	    
9.36/6.66	    num=236, depth=80..107, filters=1198359, revisions=(175118,useless=175103), ccks=1285148, wck=4.357, mem=105M794
9.36/6.66	    decisions=200921, wrong=91141, backtracks=93018, failedAssignments=27570, nogoods=674, foundSolutions=11, bestBound=453
9.36/6.66	    
9.36/6.69	    num=237, depth=45..78, filters=1207362, revisions=(176398,useless=176383), ccks=1294601, wck=4.39, mem=105M794
9.36/6.69	    decisions=201872, wrong=91588, backtracks=93471, failedAssignments=27728, nogoods=677, foundSolutions=11, bestBound=453
9.36/6.69	    
9.47/6.71	    num=238, depth=71..111, filters=1213682, revisions=(177114,useless=177099), ccks=1299711, wck=4.412, mem=108M410
9.47/6.71	    decisions=203164, wrong=92189, backtracks=94077, failedAssignments=27902, nogoods=681, foundSolutions=11, bestBound=453
9.47/6.71	    
9.47/6.76	    num=239, depth=50..105, filters=1225540, revisions=(179278,useless=179263), ccks=1315977, wck=4.461, mem=108M410
9.47/6.76	    decisions=204655, wrong=92906, backtracks=94803, failedAssignments=28093, nogoods=684, foundSolutions=11, bestBound=453
9.47/6.76	    
9.47/6.79	    num=240, depth=73..105, filters=1234246, revisions=(180152,useless=180137), ccks=1322571, wck=4.492, mem=111M26
9.47/6.79	    decisions=206497, wrong=93787, backtracks=95715, failedAssignments=28304, nogoods=687, foundSolutions=11, bestBound=453
9.47/6.79	    
9.57/6.82	    num=241, depth=86..113, filters=1241623, revisions=(181232,useless=181217), ccks=1329620, wck=4.517, mem=111M26
9.57/6.82	    decisions=207936, wrong=94462, backtracks=96396, failedAssignments=28536, nogoods=690, foundSolutions=11, bestBound=453
9.57/6.82	    
9.57/6.87	    num=242, depth=37..92, filters=1254865, revisions=(183197,useless=183182), ccks=1343526, wck=4.567, mem=113M642
9.57/6.87	    decisions=210008, wrong=95462, backtracks=97440, failedAssignments=28791, nogoods=693, foundSolutions=11, bestBound=453
9.57/6.87	    
9.67/6.90	    num=243, depth=76..103, filters=1265009, revisions=(184469,useless=184454), ccks=1351387, wck=4.6, mem=113M642
9.67/6.90	    decisions=212049, wrong=96442, backtracks=98415, failedAssignments=29072, nogoods=697, foundSolutions=11, bestBound=453
9.67/6.90	    
9.67/6.95	    num=244, depth=41..83, filters=1279486, revisions=(186480,useless=186465), ccks=1364642, wck=4.653, mem=116M258
9.67/6.95	    decisions=214125, wrong=97450, backtracks=99451, failedAssignments=29381, nogoods=702, foundSolutions=11, bestBound=453
9.67/6.95	    
9.67/7.00	    num=245, depth=68..99, filters=1292812, revisions=(188033,useless=188018), ccks=1374464, wck=4.7, mem=118M874
9.67/7.00	    decisions=216694, wrong=98695, backtracks=100725, failedAssignments=29721, nogoods=706, foundSolutions=11, bestBound=453
9.67/7.00	    
9.78/7.06	    num=246, depth=36..77, filters=1309380, revisions=(190605,useless=190590), ccks=1394457, wck=4.757, mem=121M490
9.78/7.06	    decisions=219054, wrong=99842, backtracks=101918, failedAssignments=30095, nogoods=711, foundSolutions=11, bestBound=453
9.78/7.06	    
9.88/7.11	    num=247, depth=72..113, filters=1325716, revisions=(192669,useless=192654), ccks=1408532, wck=4.815, mem=124M106
9.88/7.11	    decisions=222209, wrong=101379, backtracks=103448, failedAssignments=30506, nogoods=716, foundSolutions=11, bestBound=453
9.88/7.11	    
9.88/7.19	    num=248, depth=51..81, filters=1345581, revisions=(195262,useless=195247), ccks=1426751, wck=4.889, mem=126M722
9.88/7.19	    decisions=224910, wrong=102699, backtracks=104794, failedAssignments=30958, nogoods=720, foundSolutions=11, bestBound=453
9.88/7.19	    
9.97/7.26	    num=249, depth=66..98, filters=1366253, revisions=(197961,useless=197946), ccks=1446804, wck=4.961, mem=129M338
9.97/7.26	    decisions=228577, wrong=104496, backtracks=106610, failedAssignments=31455, nogoods=724, foundSolutions=11, bestBound=453
9.97/7.26	    
10.07/7.36	    num=250, depth=63..94, filters=1390870, revisions=(201794,useless=201779), ccks=1476888, wck=5.057, mem=134M570
10.07/7.36	    decisions=231923, wrong=106135, backtracks=108301, failedAssignments=32002, nogoods=726, foundSolutions=11, bestBound=453
10.07/7.36	    
10.17/7.43	    num=251, depth=75..108, filters=1412902, revisions=(204674,useless=204659), ccks=1497853, wck=5.135, mem=137M186
10.17/7.43	    decisions=235753, wrong=108008, backtracks=110187, failedAssignments=32604, nogoods=730, foundSolutions=11, bestBound=453
10.17/7.43	    
10.27/7.53	    num=252, depth=52..97, filters=1441451, revisions=(208870,useless=208855), ccks=1529065, wck=5.232, mem=142M418
10.27/7.53	    decisions=240303, wrong=110250, backtracks=112496, failedAssignments=33266, nogoods=735, foundSolutions=11, bestBound=453
10.27/7.53	    
10.37/7.63	    num=253, depth=69..106, filters=1469842, revisions=(212865,useless=212850), ccks=1555182, wck=5.336, mem=145M34
10.37/7.63	    decisions=244986, wrong=112555, backtracks=114836, failedAssignments=33994, nogoods=739, foundSolutions=11, bestBound=453
10.37/7.63	    
10.49/7.78	    num=254, depth=53..92, filters=1507846, revisions=(218402,useless=218387), ccks=1596861, wck=5.477, mem=150M266
10.49/7.78	    decisions=250151, wrong=115103, backtracks=117461, failedAssignments=34795, nogoods=743, foundSolutions=11, bestBound=453
10.49/7.78	    
10.72/7.91	    num=255, depth=61..105, filters=1543396, revisions=(222986,useless=222971), ccks=1629728, wck=5.613, mem=23M518
10.72/7.91	    decisions=256459, wrong=118212, backtracks=120664, failedAssignments=35676, nogoods=746, foundSolutions=11, bestBound=453
10.72/7.91	    
10.83/8.10	    num=256, depth=59..95, filters=1591514, revisions=(231517,useless=231502), ccks=1695831, wck=5.801, mem=31M366
10.83/8.10	    decisions=263095, wrong=121496, backtracks=124183, failedAssignments=36646, nogoods=750, foundSolutions=11, bestBound=453
10.83/8.10	    
11.02/8.23	    num=257, depth=58..97, filters=1630744, revisions=(235810,useless=235795), ccks=1729688, wck=5.928, mem=36M598
11.02/8.23	    decisions=271137, wrong=125484, backtracks=128333, failedAssignments=37713, nogoods=753, foundSolutions=11, bestBound=453
11.02/8.23	    
11.22/8.43	    num=258, depth=53..95, filters=1683024, revisions=(244424,useless=244409), ccks=1793568, wck=6.128, mem=44M446
11.22/8.43	    decisions=279020, wrong=129396, backtracks=132476, failedAssignments=38886, nogoods=756, foundSolutions=11, bestBound=453
11.22/8.43	    
11.42/8.60	    num=259, depth=72..106, filters=1732637, revisions=(250494,useless=250479), ccks=1837198, wck=6.301, mem=52M294
11.42/8.60	    decisions=288267, wrong=133981, backtracks=137192, failedAssignments=40177, nogoods=762, foundSolutions=11, bestBound=453
11.42/8.60	    
11.62/8.88	    num=260, depth=48..85, filters=1809502, revisions=(262768,useless=262753), ccks=1927579, wck=6.581, mem=62M757
11.62/8.88	    decisions=298265, wrong=138953, backtracks=142387, failedAssignments=41597, nogoods=768, foundSolutions=11, bestBound=453
11.62/8.88	    
11.83/9.09	    num=261, depth=68..111, filters=1867454, revisions=(269562,useless=269547), ccks=1972978, wck=6.788, mem=73M221
11.83/9.09	    decisions=309928, wrong=144740, backtracks=148342, failedAssignments=43159, nogoods=771, foundSolutions=11, bestBound=453
11.83/9.09	    
12.22/9.40	    num=262, depth=55..97, filters=1948237, revisions=(282395,useless=282380), ccks=2072852, wck=7.1, mem=83M685
12.22/9.40	    decisions=321989, wrong=150735, backtracks=154576, failedAssignments=44877, nogoods=776, foundSolutions=11, bestBound=453
12.22/9.40	    
12.42/9.65	    num=263, depth=60..95, filters=2019866, revisions=(291649,useless=291634), ccks=2137940, wck=7.352, mem=94M149
12.42/9.65	    decisions=333237, wrong=156319, backtracks=160239, failedAssignments=46767, nogoods=779, foundSolutions=11, bestBound=453
12.42/9.65	    
12.72/9.99	    num=264, depth=51..96, filters=2110936, revisions=(305798,useless=305783), ccks=2235376, wck=7.689, mem=107M229
12.72/9.99	    decisions=347027, wrong=163184, backtracks=167469, failedAssignments=48846, nogoods=783, foundSolutions=11, bestBound=453
12.72/9.99	    
13.02/10.29	    num=265, depth=63..104, filters=2196218, revisions=(316824,useless=316809), ccks=2309148, wck=7.988, mem=120M309
13.02/10.29	    decisions=362034, wrong=170646, backtracks=175118, failedAssignments=51133, nogoods=788, foundSolutions=11, bestBound=453
13.02/10.29	    
13.52/10.71	    num=266, depth=45..95, filters=2309510, revisions=(334598,useless=334583), ccks=2433548, wck=8.409, mem=138M621
13.52/10.71	    decisions=379510, wrong=179354, backtracks=184202, failedAssignments=53649, nogoods=791, foundSolutions=11, bestBound=453
13.52/10.71	    
13.83/11.05	    num=267, depth=76..111, filters=2401902, revisions=(345976,useless=345961), ccks=2519133, wck=8.754, mem=151M700
13.83/11.05	    decisions=396754, wrong=187937, backtracks=192894, failedAssignments=56417, nogoods=795, foundSolutions=11, bestBound=453
13.83/11.05	    
14.35/11.57	    num=268, depth=44..100, filters=2542196, revisions=(367406,useless=367391), ccks=2667857, wck=9.269, mem=41M382
14.35/11.57	    decisions=418545, wrong=198805, backtracks=204252, failedAssignments=59461, nogoods=800, foundSolutions=11, bestBound=453
14.35/11.57	    
14.55/11.76	o 450
14.55/11.76	    num=269, depth=68..270, filters=2594470, revisions=(375319,useless=375304), ccks=2724169, wck=9.458, mem=48M195
14.55/11.76	    decisions=427406, wrong=203189, backtracks=208724, failedAssignments=61105, nogoods=804, foundSolutions=12, bestBound=450
14.55/11.76	    
15.06/12.28	    num=270, depth=47..94, filters=2748355, revisions=(395285,useless=395270), ccks=2858202, wck=9.977, mem=72M41
15.06/12.28	    decisions=454270, wrong=216592, backtracks=222516, failedAssignments=64789, nogoods=809, foundSolutions=12, bestBound=450
15.06/12.28	    
15.06/12.28	    num=271, depth=81..102, filters=2749065, revisions=(395388,useless=395373), ccks=2858833, wck=9.981, mem=72M41
15.06/12.28	    decisions=454462, wrong=216641, backtracks=222557, failedAssignments=64800, nogoods=813, foundSolutions=12, bestBound=450
15.06/12.28	    
15.06/12.28	    num=272, depth=86..99, filters=2749638, revisions=(395447,useless=395432), ccks=2859217, wck=9.985, mem=72M41
15.06/12.28	    decisions=454634, wrong=216684, backtracks=222596, failedAssignments=64812, nogoods=814, foundSolutions=12, bestBound=450
15.06/12.28	    
15.06/12.29	    num=273, depth=86..105, filters=2750588, revisions=(395580,useless=395565), ccks=2860167, wck=9.99, mem=72M41
15.06/12.29	    decisions=454857, wrong=216750, backtracks=222660, failedAssignments=64825, nogoods=817, foundSolutions=12, bestBound=450
15.06/12.29	    
15.06/12.29	    num=274, depth=84..102, filters=2751320, revisions=(395673,useless=395658), ccks=2860906, wck=9.994, mem=72M41
15.06/12.29	    decisions=455042, wrong=216797, backtracks=222706, failedAssignments=64839, nogoods=819, foundSolutions=12, bestBound=450
15.06/12.29	    
15.16/12.30	    num=275, depth=77..96, filters=2752036, revisions=(395740,useless=395725), ccks=2861402, wck=9.998, mem=72M41
15.16/12.30	    decisions=455259, wrong=216863, backtracks=222764, failedAssignments=64855, nogoods=823, foundSolutions=12, bestBound=450
15.16/12.30	    
15.16/12.30	    num=276, depth=84..97, filters=2752788, revisions=(395828,useless=395813), ccks=2862041, wck=10.003, mem=72M41
15.16/12.30	    decisions=455481, wrong=216929, backtracks=222826, failedAssignments=64872, nogoods=827, foundSolutions=12, bestBound=450
15.16/12.30	    
15.16/12.31	    num=277, depth=81..98, filters=2753559, revisions=(395913,useless=395898), ccks=2862686, wck=10.007, mem=72M41
15.16/12.31	    decisions=455699, wrong=216993, backtracks=222881, failedAssignments=64891, nogoods=829, foundSolutions=12, bestBound=450
15.16/12.31	    
15.16/12.31	    num=278, depth=81..102, filters=2754414, revisions=(396049,useless=396034), ccks=2863636, wck=10.012, mem=72M41
15.16/12.31	    decisions=455922, wrong=217058, backtracks=222935, failedAssignments=64912, nogoods=833, foundSolutions=12, bestBound=450
15.16/12.31	    
15.16/12.32	    num=279, depth=82..101, filters=2755282, revisions=(396173,useless=396158), ccks=2864608, wck=10.017, mem=72M41
15.16/12.32	    decisions=456151, wrong=217128, backtracks=222996, failedAssignments=64935, nogoods=837, foundSolutions=12, bestBound=450
15.16/12.32	    
15.16/12.32	    num=280, depth=81..103, filters=2756353, revisions=(396318,useless=396303), ccks=2865575, wck=10.023, mem=72M41
15.16/12.32	    decisions=456401, wrong=217209, backtracks=223070, failedAssignments=64960, nogoods=842, foundSolutions=12, bestBound=450
15.16/12.32	    
15.16/12.33	    num=281, depth=81..105, filters=2757344, revisions=(396462,useless=396447), ccks=2866532, wck=10.029, mem=72M41
15.16/12.33	    decisions=456640, wrong=217286, backtracks=223135, failedAssignments=64988, nogoods=847, foundSolutions=12, bestBound=450
15.16/12.33	    
15.16/12.33	    num=282, depth=83..98, filters=2758364, revisions=(396592,useless=396577), ccks=2867466, wck=10.034, mem=75M447
15.16/12.33	    decisions=456907, wrong=217375, backtracks=223217, failedAssignments=65019, nogoods=850, foundSolutions=12, bestBound=450
15.16/12.33	    
15.16/12.34	    num=283, depth=75..96, filters=2760003, revisions=(396750,useless=396735), ccks=2868662, wck=10.041, mem=75M447
15.16/12.34	    decisions=457292, wrong=217526, backtracks=223361, failedAssignments=65053, nogoods=852, foundSolutions=12, bestBound=450
15.16/12.34	    
15.16/12.35	    num=284, depth=80..104, filters=2761852, revisions=(396983,useless=396968), ccks=2870524, wck=10.051, mem=75M447
15.16/12.35	    decisions=457670, wrong=217669, backtracks=223495, failedAssignments=65090, nogoods=856, foundSolutions=12, bestBound=450
15.16/12.35	    
15.16/12.36	    num=285, depth=80..104, filters=2763547, revisions=(397163,useless=397148), ccks=2872119, wck=10.059, mem=75M447
15.16/12.36	    decisions=458028, wrong=217802, backtracks=223620, failedAssignments=65131, nogoods=861, foundSolutions=12, bestBound=450
15.16/12.36	    
15.16/12.37	    num=286, depth=80..100, filters=2765491, revisions=(397379,useless=397364), ccks=2873746, wck=10.069, mem=75M447
15.16/12.37	    decisions=458427, wrong=217957, backtracks=223766, failedAssignments=65176, nogoods=865, foundSolutions=12, bestBound=450
15.16/12.37	    
15.16/12.38	    num=287, depth=80..104, filters=2767398, revisions=(397592,useless=397577), ccks=2875629, wck=10.077, mem=75M447
15.16/12.38	    decisions=458832, wrong=218116, backtracks=223923, failedAssignments=65226, nogoods=869, foundSolutions=12, bestBound=450
15.16/12.38	    
15.16/12.39	    num=288, depth=80..102, filters=2769565, revisions=(397832,useless=397817), ccks=2877529, wck=10.087, mem=75M447
15.16/12.39	    decisions=459309, wrong=218309, backtracks=224108, failedAssignments=65281, nogoods=874, foundSolutions=12, bestBound=450
15.16/12.39	    
15.26/12.40	    num=289, depth=78..100, filters=2771939, revisions=(398111,useless=398096), ccks=2879728, wck=10.098, mem=75M447
15.26/12.40	    decisions=459796, wrong=218512, backtracks=224308, failedAssignments=65342, nogoods=878, foundSolutions=12, bestBound=450
15.26/12.40	    
15.26/12.41	    num=290, depth=77..103, filters=2774703, revisions=(398459,useless=398444), ccks=2882729, wck=10.112, mem=75M447
15.26/12.41	    decisions=460324, wrong=218730, backtracks=224512, failedAssignments=65409, nogoods=883, foundSolutions=12, bestBound=450
15.26/12.41	    
15.26/12.42	    num=291, depth=71..94, filters=2777279, revisions=(398717,useless=398702), ccks=2885127, wck=10.123, mem=78M854
15.26/12.42	    decisions=460910, wrong=218981, backtracks=224746, failedAssignments=65483, nogoods=887, foundSolutions=12, bestBound=450
15.26/12.42	    
15.26/12.44	    num=292, depth=78..102, filters=2780728, revisions=(399220,useless=399205), ccks=2890127, wck=10.14, mem=78M854
15.26/12.44	    decisions=461481, wrong=219225, backtracks=224979, failedAssignments=65564, nogoods=890, foundSolutions=12, bestBound=450
15.26/12.44	    
15.26/12.46	    num=293, depth=78..103, filters=2784527, revisions=(399720,useless=399705), ccks=2895100, wck=10.156, mem=78M854
15.26/12.46	    decisions=462117, wrong=219499, backtracks=225243, failedAssignments=65653, nogoods=897, foundSolutions=12, bestBound=450
15.26/12.46	    
15.26/12.47	    num=294, depth=77..96, filters=2788581, revisions=(400212,useless=400197), ccks=2900004, wck=10.173, mem=78M854
15.26/12.47	    decisions=462841, wrong=219819, backtracks=225538, failedAssignments=65751, nogoods=900, foundSolutions=12, bestBound=450
15.26/12.47	    
15.26/12.49	    num=295, depth=75..100, filters=2793470, revisions=(400811,useless=400796), ccks=2905162, wck=10.195, mem=78M854
15.26/12.49	    decisions=463656, wrong=220187, backtracks=225890, failedAssignments=65859, nogoods=905, foundSolutions=12, bestBound=450
15.26/12.49	    
15.36/12.52	    num=296, depth=74..99, filters=2799314, revisions=(401518,useless=401503), ccks=2911392, wck=10.222, mem=82M260
15.36/12.52	    decisions=464584, wrong=220608, backtracks=226297, failedAssignments=65978, nogoods=911, foundSolutions=12, bestBound=450
15.36/12.52	    
15.36/12.55	    num=297, depth=73..102, filters=2805392, revisions=(402408,useless=402393), ccks=2918738, wck=10.248, mem=82M260
15.36/12.55	    decisions=465529, wrong=221039, backtracks=226727, failedAssignments=66109, nogoods=913, foundSolutions=12, bestBound=450
15.36/12.55	    
15.36/12.57	    num=298, depth=73..99, filters=2810867, revisions=(403178,useless=403163), ccks=2925486, wck=10.272, mem=82M260
15.36/12.57	    decisions=466445, wrong=221455, backtracks=227122, failedAssignments=66253, nogoods=917, foundSolutions=12, bestBound=450
15.36/12.57	    
15.46/12.60	    num=299, depth=73..100, filters=2816952, revisions=(403970,useless=403955), ccks=2932187, wck=10.298, mem=82M260
15.46/12.60	    decisions=467480, wrong=221932, backtracks=227596, failedAssignments=66411, nogoods=921, foundSolutions=12, bestBound=450
15.46/12.60	    
15.46/12.63	    num=300, depth=72..100, filters=2823999, revisions=(404911,useless=404896), ccks=2940212, wck=10.328, mem=85M667
15.46/12.63	    decisions=468606, wrong=222455, backtracks=228137, failedAssignments=66585, nogoods=926, foundSolutions=12, bestBound=450
15.46/12.63	    
15.46/12.66	    num=301, depth=71..100, filters=2832157, revisions=(405894,useless=405879), ccks=2948286, wck=10.362, mem=85M667
15.46/12.66	    decisions=470083, wrong=223154, backtracks=228847, failedAssignments=66776, nogoods=928, foundSolutions=12, bestBound=450
15.46/12.66	    
15.46/12.69	    num=302, depth=70..98, filters=2839916, revisions=(406865,useless=406850), ccks=2957094, wck=10.392, mem=85M667
15.46/12.69	    decisions=471476, wrong=223814, backtracks=229527, failedAssignments=66987, nogoods=934, foundSolutions=12, bestBound=450
15.46/12.69	    
15.56/12.72	    num=303, depth=85..111, filters=2847489, revisions=(407939,useless=407924), ccks=2965173, wck=10.422, mem=89M73
15.56/12.72	    decisions=472918, wrong=224490, backtracks=230206, failedAssignments=67219, nogoods=937, foundSolutions=12, bestBound=450
15.56/12.72	    
15.56/12.76	    num=304, depth=75..106, filters=2857594, revisions=(409214,useless=409199), ccks=2975452, wck=10.466, mem=89M73
15.56/12.76	    decisions=474847, wrong=225414, backtracks=231142, failedAssignments=67474, nogoods=940, foundSolutions=12, bestBound=450
15.56/12.76	    
15.66/12.81	    num=305, depth=73..99, filters=2868921, revisions=(410865,useless=410850), ccks=2987641, wck=10.508, mem=92M480
15.66/12.81	    decisions=476906, wrong=226402, backtracks=232150, failedAssignments=67755, nogoods=944, foundSolutions=12, bestBound=450
15.66/12.81	    
15.66/12.87	    num=306, depth=54..89, filters=2883308, revisions=(412928,useless=412913), ccks=3002262, wck=10.568, mem=92M480
15.66/12.87	    decisions=479242, wrong=227532, backtracks=233303, failedAssignments=68064, nogoods=948, foundSolutions=12, bestBound=450
15.66/12.87	    
15.76/12.92	    num=307, depth=74..106, filters=2898879, revisions=(415185,useless=415170), ccks=3017393, wck=10.626, mem=95M887
15.76/12.92	    decisions=481738, wrong=228739, backtracks=234556, failedAssignments=68404, nogoods=953, foundSolutions=12, bestBound=450
15.76/12.92	    
15.87/13.01	    num=308, depth=49..110, filters=2918192, revisions=(418309,useless=418294), ccks=3039296, wck=10.709, mem=99M293
15.87/13.01	    decisions=484374, wrong=230032, backtracks=235892, failedAssignments=68778, nogoods=955, foundSolutions=12, bestBound=450
15.87/13.01	    
15.87/13.06	    num=309, depth=81..112, filters=2932952, revisions=(420149,useless=420134), ccks=3054331, wck=10.765, mem=102M700
15.87/13.06	    decisions=487207, wrong=231404, backtracks=237279, failedAssignments=69189, nogoods=959, foundSolutions=12, bestBound=450
15.87/13.06	    
15.97/13.16	    num=310, depth=61..101, filters=2955524, revisions=(423938,useless=423923), ccks=3078181, wck=10.857, mem=106M106
15.97/13.16	    decisions=490064, wrong=232797, backtracks=238766, failedAssignments=69641, nogoods=964, foundSolutions=12, bestBound=450
15.97/13.16	    
16.06/13.23	    num=311, depth=74..113, filters=2973676, revisions=(426208,useless=426193), ccks=3097737, wck=10.933, mem=106M106
16.06/13.23	    decisions=493242, wrong=234338, backtracks=240372, failedAssignments=70138, nogoods=968, foundSolutions=12, bestBound=450
16.06/13.23	    
16.16/13.36	    num=312, depth=55..86, filters=3004442, revisions=(431183,useless=431168), ccks=3132545, wck=11.057, mem=112M919
16.16/13.36	    decisions=497212, wrong=236293, backtracks=242408, failedAssignments=70685, nogoods=973, foundSolutions=12, bestBound=450
16.16/13.36	    
16.26/13.45	    num=313, depth=65..108, filters=3029360, revisions=(434289,useless=434274), ccks=3158141, wck=11.156, mem=116M326
16.26/13.45	    decisions=501700, wrong=238493, backtracks=244654, failedAssignments=71287, nogoods=977, foundSolutions=12, bestBound=450
16.26/13.45	    
16.36/13.57	    num=314, depth=55..96, filters=3061709, revisions=(438667,useless=438652), ccks=3185227, wck=11.272, mem=119M732
16.36/13.57	    decisions=506519, wrong=240866, backtracks=247131, failedAssignments=71949, nogoods=980, foundSolutions=12, bestBound=450
16.36/13.57	    
16.57/13.71	    num=315, depth=60..98, filters=3095405, revisions=(443252,useless=443237), ccks=3219298, wck=11.407, mem=126M545
16.57/13.71	    decisions=511822, wrong=243478, backtracks=249817, failedAssignments=72677, nogoods=983, foundSolutions=12, bestBound=450
16.57/13.71	    
16.67/13.86	    num=316, depth=55..97, filters=3134224, revisions=(448985,useless=448970), ccks=3261550, wck=11.565, mem=129M952
16.67/13.86	    decisions=517111, wrong=246090, backtracks=252526, failedAssignments=73478, nogoods=988, foundSolutions=12, bestBound=450
16.67/13.86	    
16.77/13.99	    num=317, depth=73..112, filters=3165616, revisions=(453207,useless=453192), ccks=3295764, wck=11.693, mem=136M765
16.77/13.99	    decisions=522884, wrong=248931, backtracks=255442, failedAssignments=74359, nogoods=992, foundSolutions=12, bestBound=450
16.77/13.99	    
17.07/14.20	    num=318, depth=45..88, filters=3217182, revisions=(460151,useless=460136), ccks=3344260, wck=11.899, mem=143M578
17.07/14.20	    decisions=530504, wrong=252711, backtracks=259429, failedAssignments=75329, nogoods=996, foundSolutions=12, bestBound=450
17.07/14.20	    
17.17/14.36	    num=319, depth=67..106, filters=3255879, revisions=(465051,useless=465036), ccks=3386251, wck=12.059, mem=146M984
17.17/14.36	    decisions=538045, wrong=256444, backtracks=263206, failedAssignments=76396, nogoods=1001, foundSolutions=12, bestBound=450
17.17/14.36	    
17.37/14.57	    num=320, depth=50..89, filters=3311481, revisions=(473110,useless=473095), ccks=3443469, wck=12.276, mem=157M204
17.37/14.57	    decisions=546287, wrong=260530, backtracks=267440, failedAssignments=77569, nogoods=1007, foundSolutions=12, bestBound=450
17.37/14.57	    
17.57/14.78	    num=321, depth=70..109, filters=3360135, revisions=(479391,useless=479376), ccks=3498143, wck=12.484, mem=164M17
17.57/14.78	    decisions=555254, wrong=264973, backtracks=271971, failedAssignments=78860, nogoods=1011, foundSolutions=12, bestBound=450
17.57/14.78	    
17.88/15.04	    num=322, depth=46..84, filters=3425541, revisions=(488143,useless=488128), ccks=3559485, wck=12.745, mem=174M237
17.88/15.04	    decisions=565057, wrong=269841, backtracks=276936, failedAssignments=80280, nogoods=1015, foundSolutions=12, bestBound=450
17.88/15.04	    
18.07/15.26	    num=323, depth=59..103, filters=3483339, revisions=(496051,useless=496036), ccks=3623464, wck=12.966, mem=181M50
18.07/15.26	    decisions=575634, wrong=275090, backtracks=282380, failedAssignments=81842, nogoods=1020, foundSolutions=12, bestBound=450
18.07/15.26	    
18.37/15.54	    num=324, depth=60..104, filters=3550884, revisions=(505366,useless=505351), ccks=3692673, wck=13.238, mem=191M269
18.37/15.54	    decisions=587183, wrong=280826, backtracks=288266, failedAssignments=83560, nogoods=1025, foundSolutions=12, bestBound=450
18.37/15.54	    
18.60/15.79	    num=325, depth=53..105, filters=3619489, revisions=(514424,useless=514409), ccks=3751579, wck=13.496, mem=31M284
18.60/15.79	    decisions=599768, wrong=287079, backtracks=294599, failedAssignments=85450, nogoods=1030, foundSolutions=12, bestBound=450
18.60/15.79	    
19.01/16.14	    num=326, depth=51..94, filters=3710596, revisions=(526797,useless=526782), ccks=3841172, wck=13.844, mem=44M942
19.01/16.14	    decisions=614193, wrong=294259, backtracks=301925, failedAssignments=87529, nogoods=1035, foundSolutions=12, bestBound=450
19.01/16.14	    
19.31/16.45	    num=327, depth=63..101, filters=3794483, revisions=(538196,useless=538181), ccks=3926029, wck=14.152, mem=58M599
19.31/16.45	    decisions=629520, wrong=301884, backtracks=309763, failedAssignments=89816, nogoods=1039, foundSolutions=12, bestBound=450
19.31/16.45	    
19.81/16.90	    num=328, depth=54..99, filters=3909879, revisions=(554330,useless=554315), ccks=4045741, wck=14.599, mem=75M671
19.81/16.90	    decisions=648174, wrong=311167, backtracks=319270, failedAssignments=92332, nogoods=1042, foundSolutions=12, bestBound=450
19.81/16.90	    
20.01/17.19	    num=329, depth=62..99, filters=3989575, revisions=(564344,useless=564329), ccks=4111155, wck=14.887, mem=89M328
20.01/17.19	    decisions=664226, wrong=319156, backtracks=327358, failedAssignments=95100, nogoods=1045, foundSolutions=12, bestBound=450
20.01/17.19	    
20.50/17.65	    num=330, depth=55..111, filters=4112100, revisions=(581447,useless=581432), ccks=4228312, wck=15.352, mem=106M400
20.50/17.65	    decisions=684979, wrong=329495, backtracks=337951, failedAssignments=98144, nogoods=1048, foundSolutions=12, bestBound=450
20.50/17.65	    
21.01/18.13	    num=331, depth=66..107, filters=4237164, revisions=(598483,useless=598468), ccks=4350219, wck=15.827, mem=126M886
21.01/18.13	    decisions=706646, wrong=340289, backtracks=348991, failedAssignments=101493, nogoods=1053, foundSolutions=12, bestBound=450
21.01/18.13	    
21.61/18.74	    num=332, depth=59..108, filters=4389581, revisions=(620807,useless=620792), ccks=4533402, wck=16.443, mem=150M786
21.61/18.74	    decisions=731919, wrong=352883, backtracks=362014, failedAssignments=105177, nogoods=1056, foundSolutions=12, bestBound=450
21.61/18.74	    
22.21/19.31	    num=333, depth=56..99, filters=4536820, revisions=(641388,useless=641373), ccks=4689184, wck=17.012, mem=171M272
22.21/19.31	    decisions=757529, wrong=365650, backtracks=375017, failedAssignments=109229, nogoods=1059, foundSolutions=12, bestBound=450
22.21/19.31	    
22.81/19.99	    num=334, depth=50..98, filters=4712698, revisions=(664863,useless=664848), ccks=4861910, wck=17.696, mem=25M370
22.81/19.99	    decisions=787793, wrong=380750, backtracks=390575, failedAssignments=113686, nogoods=1064, foundSolutions=12, bestBound=450
22.81/19.99	    
23.63/20.72	    num=335, depth=63..107, filters=4902362, revisions=(692086,useless=692071), ccks=5062235, wck=18.419, mem=55M674
23.63/20.72	    decisions=819742, wrong=396687, backtracks=406826, failedAssignments=118589, nogoods=1069, foundSolutions=12, bestBound=450
23.63/20.72	    
24.53/21.62	    num=336, depth=47..93, filters=5140001, revisions=(726078,useless=726063), ccks=5298279, wck=19.322, mem=90M308
24.53/21.62	    decisions=855721, wrong=414644, backtracks=425187, failedAssignments=123983, nogoods=1073, foundSolutions=12, bestBound=450
24.53/21.62	    
25.33/22.49	    num=337, depth=60..110, filters=5366358, revisions=(758737,useless=758722), ccks=5537568, wck=20.191, mem=124M941
25.33/22.49	    decisions=894189, wrong=433840, backtracks=444728, failedAssignments=129916, nogoods=1077, foundSolutions=12, bestBound=450
25.33/22.49	    
26.43/23.55	    num=338, depth=48..101, filters=5650862, revisions=(798241,useless=798226), ccks=5812903, wck=21.256, mem=163M903
26.43/23.55	    decisions=938909, wrong=456170, backtracks=467766, failedAssignments=136442, nogoods=1081, foundSolutions=12, bestBound=450
26.43/23.55	    
27.43/24.53	    num=339, depth=63..113, filters=5900425, revisions=(830529,useless=830514), ccks=6058679, wck=22.228, mem=207M195
27.43/24.53	    decisions=987831, wrong=480587, backtracks=492500, failedAssignments=143621, nogoods=1086, foundSolutions=12, bestBound=450
27.43/24.53	    
28.67/25.75	    num=340, depth=38..105, filters=6234316, revisions=(874318,useless=874303), ccks=6361800, wck=23.455, mem=38M458
28.67/25.75	    decisions=1041969, wrong=507614, backtracks=520315, failedAssignments=151518, nogoods=1089, foundSolutions=12, bestBound=450
28.67/25.75	    
29.77/26.89	    num=341, depth=55..109, filters=6534479, revisions=(914126,useless=914111), ccks=6638684, wck=24.595, mem=86M355
29.77/26.89	    decisions=1096446, wrong=534820, backtracks=548012, failedAssignments=160205, nogoods=1093, foundSolutions=12, bestBound=450
29.77/26.89	    
31.08/28.19	    num=342, depth=57..107, filters=6872431, revisions=(960225,useless=960210), ccks=6987688, wck=25.896, mem=138M607
31.08/28.19	    decisions=1157467, wrong=565297, backtracks=578964, failedAssignments=169760, nogoods=1097, foundSolutions=12, bestBound=450
31.08/28.19	    
32.57/29.69	    num=343, depth=51..108, filters=7250348, revisions=(1012710,useless=1012695), ccks=7359871, wck=27.392, mem=195M212
32.57/29.69	    decisions=1222402, wrong=597727, backtracks=611416, failedAssignments=180271, nogoods=1101, foundSolutions=12, bestBound=450
32.57/29.69	    
34.21/31.22	    num=344, depth=49..101, filters=7652767, revisions=(1062855,useless=1062840), ccks=7736154, wck=28.919, mem=38M83
34.21/31.22	    decisions=1296894, wrong=634931, backtracks=648753, failedAssignments=191833, nogoods=1104, foundSolutions=12, bestBound=450
34.21/31.22	    
35.81/32.84	    num=345, depth=54..107, filters=8065440, revisions=(1117317,useless=1117302), ccks=8128333, wck=30.537, mem=106M119
35.81/32.84	    decisions=1373640, wrong=673265, backtracks=687066, failedAssignments=204551, nogoods=1109, foundSolutions=12, bestBound=450
35.81/32.84	    
38.31/35.33	    num=346, depth=38..100, filters=8706033, revisions=(1208458,useless=1208443), ccks=8763432, wck=33.03, mem=199M669
38.31/35.33	    decisions=1475366, wrong=724088, backtracks=739813, failedAssignments=218541, nogoods=1114, foundSolutions=12, bestBound=450
38.31/35.33	    
40.15/37.13	    num=347, depth=59..109, filters=9159488, revisions=(1263295,useless=1263280), ccks=9162661, wck=34.832, mem=58M511
40.15/37.13	    decisions=1568189, wrong=770462, backtracks=786728, failedAssignments=233930, nogoods=1118, foundSolutions=12, bestBound=450
40.15/37.13	    
42.35/39.40	    num=348, depth=49..106, filters=9792653, revisions=(1342985,useless=1342970), ccks=9710359, wck=37.096, mem=154M185
42.35/39.40	    decisions=1683551, wrong=828114, backtracks=846081, failedAssignments=250858, nogoods=1124, foundSolutions=12, bestBound=450
42.35/39.40	    
44.77/41.78	    num=349, depth=47..111, filters=10416445, revisions=(1413974,useless=1413959), ccks=10280722, wck=39.484, mem=45M473
44.77/41.78	    decisions=1806896, wrong=889746, backtracks=907867, failedAssignments=269479, nogoods=1130, foundSolutions=12, bestBound=450
44.77/41.78	    
47.47/44.49	    num=350, depth=55..111, filters=11132270, revisions=(1507884,useless=1507869), ccks=10936483, wck=42.19, mem=159M334
47.47/44.49	    decisions=1940462, wrong=956494, backtracks=975879, failedAssignments=289963, nogoods=1134, foundSolutions=12, bestBound=450
47.47/44.49	    
50.10/47.06	    num=351, depth=44..110, filters=11821017, revisions=(1584573,useless=1584558), ccks=11476006, wck=44.76, mem=60M802
50.10/47.06	    decisions=2083559, wrong=1028007, backtracks=1047628, failedAssignments=312495, nogoods=1140, foundSolutions=12, bestBound=450
50.10/47.06	    
53.99/50.98	    num=352, depth=29..107, filters=12844164, revisions=(1718183,useless=1718168), ccks=12375566, wck=48.68, mem=24M931
53.99/50.98	    decisions=2264183, wrong=1118287, backtracks=1140028, failedAssignments=337280, nogoods=1144, foundSolutions=12, bestBound=450
53.99/50.98	    
57.50/54.44	    num=353, depth=53..114, filters=13735942, revisions=(1823126,useless=1823111), ccks=13140822, wck=52.146, mem=161M60
57.50/54.44	    decisions=2445779, wrong=1209052, backtracks=1232117, failedAssignments=364544, nogoods=1149, foundSolutions=12, bestBound=450
57.50/54.44	    
61.62/58.51	    num=354, depth=50..108, filters=14791233, revisions=(1949097,useless=1949082), ccks=14015156, wck=56.215, mem=135M248
61.62/58.51	    decisions=2639882, wrong=1306074, backtracks=1329615, failedAssignments=394534, nogoods=1154, foundSolutions=12, bestBound=450
61.62/58.51	    
66.14/63.05	    num=355, depth=45..104, filters=15972542, revisions=(2095822,useless=2095807), ccks=15118600, wck=60.751, mem=129M15
66.14/63.05	    decisions=2861409, wrong=1416812, backtracks=1441708, failedAssignments=427523, nogoods=1159, foundSolutions=12, bestBound=450
66.14/63.05	    
70.54/67.46	    num=356, depth=41..107, filters=17179945, revisions=(2235160,useless=2235145), ccks=16012427, wck=65.164, mem=130M225
70.54/67.46	    decisions=3099077, wrong=1535611, backtracks=1562259, failedAssignments=463811, nogoods=1163, foundSolutions=12, bestBound=450
70.54/67.46	    
76.07/72.97	    num=357, depth=43..106, filters=18615708, revisions=(2409530,useless=2409515), ccks=17331399, wck=70.676, mem=185M65
76.07/72.97	    decisions=3376276, wrong=1674171, backtracks=1702715, failedAssignments=503728, nogoods=1167, foundSolutions=12, bestBound=450
76.07/72.97	    
81.99/78.87	    num=358, depth=37..102, filters=20107021, revisions=(2600579,useless=2600564), ccks=18545091, wck=76.574, mem=55M287
81.99/78.87	    decisions=3650276, wrong=1811138, backtracks=1841175, failedAssignments=547637, nogoods=1171, foundSolutions=12, bestBound=450
81.99/78.87	    
88.31/85.15	    num=359, depth=42..107, filters=21641555, revisions=(2768409,useless=2768394), ccks=19829070, wck=82.852, mem=121M493
88.31/85.15	    decisions=3966984, wrong=1969458, backtracks=2002001, failedAssignments=595937, nogoods=1174, foundSolutions=12, bestBound=450
88.31/85.15	    
94.81/91.67	    num=360, depth=49..108, filters=23255223, revisions=(2948751,useless=2948736), ccks=21020126, wck=89.376, mem=46M947
94.81/91.67	    decisions=4296212, wrong=2134043, backtracks=2165997, failedAssignments=649067, nogoods=1178, foundSolutions=12, bestBound=450
94.81/91.67	    
103.83/100.66	    num=361, depth=36..107, filters=25461912, revisions=(3203641,useless=3203626), ccks=22879127, wck=98.357, mem=64M549
103.83/100.66	    decisions=4710530, wrong=2341172, backtracks=2375269, failedAssignments=707510, nogoods=1183, foundSolutions=12, bestBound=450
103.83/100.66	    
112.75/109.58	    num=362, depth=33..109, filters=27678799, revisions=(3471972,useless=3471957), ccks=24680702, wck=107.282, mem=101M689
112.75/109.58	    decisions=5131743, wrong=2551744, backtracks=2588736, failedAssignments=771797, nogoods=1187, foundSolutions=12, bestBound=450
112.75/109.58	    
122.96/119.71	    num=363, depth=32..107, filters=30212310, revisions=(3759302,useless=3759287), ccks=26660525, wck=117.412, mem=46M744
122.96/119.71	    decisions=5635898, wrong=2803790, backtracks=2846332, failedAssignments=842513, nogoods=1192, foundSolutions=12, bestBound=450
122.96/119.71	    
132.48/129.21	    num=364, depth=43..114, filters=32483723, revisions=(4008500,useless=4008485), ccks=28436132, wck=126.911, mem=116M428
132.48/129.21	    decisions=6099556, wrong=3035589, backtracks=3079386, failedAssignments=920300, nogoods=1198, foundSolutions=12, bestBound=450
132.48/129.21	    
144.51/141.21	    num=365, depth=19..103, filters=35502510, revisions=(4348292,useless=4348277), ccks=30635668, wck=138.913, mem=62M184
144.51/141.21	    decisions=6713860, wrong=3342713, backtracks=3390780, failedAssignments=1005866, nogoods=1202, foundSolutions=12, bestBound=450
144.51/141.21	    
156.63/153.37	    num=366, depth=36..112, filters=38392544, revisions=(4680509,useless=4680494), ccks=33112778, wck=151.071, mem=130M456
156.63/153.37	    decisions=7310692, wrong=3641091, backtracks=3695927, failedAssignments=1099989, nogoods=1205, foundSolutions=12, bestBound=450
156.63/153.37	    
170.86/167.55	    num=367, depth=32..112, filters=41805661, revisions=(5070715,useless=5070700), ccks=35703283, wck=165.251, mem=89M122
170.86/167.55	    decisions=7996869, wrong=3984137, backtracks=4041848, failedAssignments=1203524, nogoods=1208, foundSolutions=12, bestBound=450
170.86/167.55	    
185.51/182.16	    num=368, depth=32..110, filters=45336594, revisions=(5459226,useless=5459211), ccks=38378594, wck=179.861, mem=86M542
185.51/182.16	    decisions=8733173, wrong=4352259, backtracks=4413001, failedAssignments=1317413, nogoods=1212, foundSolutions=12, bestBound=450
185.51/182.16	    
202.95/199.53	    num=369, depth=25..106, filters=49478933, revisions=(5913389,useless=5913374), ccks=41476716, wck=197.23, mem=44M565
202.95/199.53	    decisions=9595110, wrong=4783204, backtracks=4848360, failedAssignments=1442691, nogoods=1216, foundSolutions=12, bestBound=450
202.95/199.53	    
223.00/219.57	    num=370, depth=22..108, filters=54296800, revisions=(6451492,useless=6451477), ccks=45116827, wck=217.272, mem=35M596
223.00/219.57	    decisions=10545900, wrong=5258579, backtracks=5331655, failedAssignments=1580497, nogoods=1220, foundSolutions=12, bestBound=450
223.00/219.57	    
245.16/241.67	    num=371, depth=18..107, filters=59561329, revisions=(7050870,useless=7050855), ccks=49239404, wck=239.375, mem=31M2
245.16/241.67	    decisions=11613533, wrong=5792363, backtracks=5877289, failedAssignments=1732083, nogoods=1224, foundSolutions=12, bestBound=450
245.16/241.67	    
275.26/271.69	    num=372, depth=3..114, filters=66572232, revisions=(7862676,useless=7862661), ccks=54658596, wck=269.387, mem=58M449
275.26/271.69	    decisions=12918075, wrong=6444622, backtracks=6548708, failedAssignments=1898828, nogoods=1228, foundSolutions=12, bestBound=450
275.26/271.69	    
303.35/299.67	
303.35/299.67	  New Bounds: 450..449
303.35/299.67	    num=373, depth=0..106, filters=73077125, revisions=(8619173,useless=8619158), ccks=59572998, wck=297.373, mem=54M368
303.35/299.67	    decisions=14130501, wrong=7050836, backtracks=7177884, failedAssignments=2044864, foundSolutions=12, bestBound=450
303.35/299.67	    
303.35/299.67	  Global
303.35/299.67	    filters=73077125, revisions=(8619173,useless=8619158), ccks=59572998
303.35/299.67	    Stop=FULL_EXPLORATION, wrong=7050836, bestBound=450, bestBoundWck=9.913, bestBoundCpu=11.686, foundSolutions=12, firstSolCpu=2.305
303.35/299.67	    wck=297.829, cpu=299.295, mem=54M368
303.35/299.67	
303.35/299.67	v <instantiation id='sol12' type='solution' cost='450'>  <list> x[][] u[] </list>  <values> 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 * 19 30 35 23 11 31 29 28 14 8 30 22 6 30 33 </values>  </instantiation>
303.35/299.67	s OPTIMUM FOUND
303.35/299.67	
303.35/299.67	d WRONG_DECISIONS 7050836
303.35/299.67	d NUMBER_SOLUTIONS 12

Verifier Data 

OK	450

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

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

solver pid=26397, runsolver pid=26394

[startup+0.100871 s]*
/proc/loadavg: 1.90 1.47 0.75 4/230 26412
/proc/meminfo: memFree=31353544/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10659884 memory=28740 CPUtime=0.14 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 5652 0 0 0 13 1 0 0 20 0 15 0 414035058 10915721216 7185 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2664971 7185 2911 1 0 2627468 0
[pid=26397/tid=26399] ppid=26394 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) R 26394 26397 26121 0 -1 4202560 3236 0 0 0 9 0 0 0 20 0 15 0 414035058 10915721216 7251 33554432000 4194304 4196468 140731794708496 140596580929056 140596568943422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 7251 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 7251 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 7251 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 7317 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035060 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414035061 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595610715808 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414035061 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595609662704 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) R 26394 26397 26121 0 -1 4202560 553 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595607539288 140596560113081 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0.02 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) R 26394 26397 26121 0 -1 4202560 543 0 0 0 2 0 0 0 20 0 15 0 414035063 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595605449688 140596555074934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035064 10915721216 7317 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28740 KiB

[startup+0.210898 s]*
/proc/loadavg: 1.90 1.47 0.75 3/230 26412
/proc/meminfo: memFree=31345864/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10659884 memory=35412 CPUtime=0.33 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 6945 0 0 0 31 2 0 0 20 0 15 0 414035058 10915721216 8853 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2664971 8853 2989 1 0 2627468 0
[pid=26397/tid=26399] ppid=26394 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) R 26394 26397 26121 0 -1 4202560 3878 0 0 0 19 1 0 0 20 0 15 0 414035058 10915721216 8853 33554432000 4194304 4196468 140731794708496 140596580932608 140596576728221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 8853 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10659884 memory=288370299042518656 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 8853 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 8853 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 8853 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035060 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414035061 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595610715808 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414035061 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595609662704 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) S 26394 26397 26121 0 -1 1077944384 786 0 0 0 3 0 0 0 20 0 15 0 414035063 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595607558384 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 414035063 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0.05 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) S 26394 26397 26121 0 -1 1077944384 676 0 0 0 5 0 0 0 20 0 15 0 414035063 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595605452784 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035064 10915721216 8853 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35412 KiB

[startup+0.314122 s]*
/proc/loadavg: 1.90 1.47 0.75 3/230 26412
/proc/meminfo: memFree=31338180/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10659884 memory=40532 CPUtime=0.48 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 9497 0 0 0 45 3 0 0 20 0 15 0 414035058 10915721216 10133 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2664971 10133 3001 1 0 2627468 0
[pid=26397/tid=26399] ppid=26394 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) R 26394 26397 26121 0 -1 4202560 6355 0 0 0 28 2 0 0 20 0 15 0 414035058 10915721216 10133 33554432000 4194304 4196468 140731794708496 140596580938096 140596576728221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10659884 memory=2810766 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 10133 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10659884 memory=288370299042518656 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 10133 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 10133 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035059 10915721216 10133 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035060 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414035061 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595610715808 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414035061 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595609662704 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) S 26394 26397 26121 0 -1 1077944384 794 0 0 0 4 0 0 0 20 0 15 0 414035063 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595607558384 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 414035063 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0.07 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) R 26394 26397 26121 0 -1 4202560 704 0 0 0 7 0 0 0 20 0 15 0 414035063 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595605452784 140596576727642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10659884 memory=139922890806912 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035064 10915721216 10133 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40532 KiB

[startup+0.701116 s]
/proc/loadavg: 1.90 1.47 0.75 3/230 26412
/proc/meminfo: memFree=31329116/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10661932 memory=64156 CPUtime=1.1 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 13139 0 0 0 105 5 0 0 20 0 15 0 414035058 10917818368 16039 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2665483 16039 3061 1 0 2627980 0
[pid=26397/tid=26399] ppid=26394 vsize=10661932 memory=4481 CPUtime=0.68 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) R 26394 26397 26121 0 -1 4202560 8891 0 0 0 64 4 0 0 20 0 15 0 414035058 10917818368 16039 33554432000 4194304 4196468 140731794708496 140596580932176 140596533321107 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10661932 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10917818368 16039 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10661932 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10917818368 16039 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10917818368 16039 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035059 10917818368 16039 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10661932 memory=253327103261315 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035060 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10661932 memory=3617007538077446496 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414035061 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595610715808 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414035061 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595609662704 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10661932 memory=279845573520288 CPUtime=0.13 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) R 26394 26397 26121 0 -1 4202560 1148 0 0 0 13 0 0 0 20 0 15 0 414035063 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595607558384 140596556399399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10661932 memory=19153 CPUtime=0.09 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 591 0 0 0 9 0 0 0 20 0 15 0 414035063 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10661932 memory=279845573492976 CPUtime=0.18 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) S 26394 26397 26121 0 -1 1077944384 1151 0 0 0 18 0 0 0 20 0 15 0 414035063 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595605452784 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414035063 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035064 10917818368 16039 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64156 KiB

[startup+1.50075 s]
/proc/loadavg: 1.90 1.47 0.75 3/230 26412
/proc/meminfo: memFree=31313296/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10663980 memory=76052 CPUtime=2 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 17374 0 0 0 194 6 0 0 20 0 15 0 414035058 10919915520 19013 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2665995 19013 3094 1 0 2628492 0
[pid=26397/tid=26399] ppid=26394 vsize=10663980 memory=279845574369952 CPUtime=1.48 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) R 26394 26397 26121 0 -1 4202560 11963 0 0 0 143 5 0 0 20 0 15 0 414035058 10919915520 19013 33554432000 4194304 4196468 140731794708496 140596580938320 140596560786782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10663980 memory=279845573542832 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10919915520 19013 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10919915520 19013 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10663980 memory=2811011 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414035059 10919915520 19013 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10663980 memory=2812297 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414035059 10919915520 19013 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414035060 10919915520 19013 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0

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

[startup+297.601 s]
/proc/loadavg: 1.92 1.74 1.06 3/230 26437
/proc/meminfo: memFree=31188064/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10748324 memory=202136 CPUtime=301.35 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 49415 0 0 0 30106 29 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2687081 50534 3375 1 0 2647217 0
[pid=26397/tid=26399] ppid=26394 vsize=10748324 memory=202136 CPUtime=1.85 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) S 26394 26397 26121 0 -1 1077944384 13801 0 0 0 179 6 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596580949168 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10748324 memory=988 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1472 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10748324 memory=202136 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 2556 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10748324 memory=1000 CPUtime=0.3 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 2542 0 0 0 27 3 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10748324 memory=1560 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2812 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10748324 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2790 0 0 0 7 1 0 0 20 0 16 0 414035060 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10748324 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595610715872 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10748324 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595609662720 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10748324 memory=1172 CPUtime=1.07 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) S 26394 26397 26121 0 -1 1077944384 4983 0 0 0 106 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595607558384 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10748324 memory=202136 CPUtime=0.98 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 3014 0 0 0 98 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=0.68 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) S 26394 26397 26121 0 -1 1077944384 3866 0 0 0 67 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595605452784 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10748324 memory=8056 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10748324 memory=528 CPUtime=0.05 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 408 0 0 0 2 3 0 0 20 0 16 0 414035064 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26413] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=295.34 cores=1,3,5,7
/proc/26397/task/26413/stat : 26413 (java) R 26394 26397 26121 0 -1 4202560 9771 0 0 0 29530 4 0 0 20 0 16 0 414035245 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595586686704 140596180478065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 301.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202136 KiB

[startup+298.401 s]
/proc/loadavg: 1.93 1.75 1.07 3/230 26437
/proc/meminfo: memFree=31188296/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10748324 memory=202136 CPUtime=302.15 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 49415 0 0 0 30186 29 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2687081 50534 3375 1 0 2647217 0
[pid=26397/tid=26399] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) S 26394 26397 26121 0 -1 1077944384 13801 0 0 0 179 6 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596580949168 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10748324 memory=1804 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1472 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10748324 memory=916 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 2556 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10748324 memory=3852 CPUtime=0.3 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 2542 0 0 0 27 3 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2812 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10748324 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2790 0 0 0 7 1 0 0 20 0 16 0 414035060 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10748324 memory=1492 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595610715872 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10748324 memory=864 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595609662720 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10748324 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10748324 memory=5936 CPUtime=1.07 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) S 26394 26397 26121 0 -1 1077944384 4983 0 0 0 106 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595607558384 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10748324 memory=588 CPUtime=0.98 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 3014 0 0 0 98 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10748324 memory=202136 CPUtime=0.68 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) S 26394 26397 26121 0 -1 1077944384 3866 0 0 0 67 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595605452784 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10748324 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10748324 memory=33 CPUtime=0.05 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 408 0 0 0 2 3 0 0 20 0 16 0 414035064 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26413] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=296.14 cores=1,3,5,7
/proc/26397/task/26413/stat : 26413 (java) R 26394 26397 26121 0 -1 4202560 9771 0 0 0 29610 4 0 0 20 0 16 0 414035245 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595586686704 140596180619737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 302.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202136 KiB

[startup+299.201 s]
/proc/loadavg: 1.93 1.75 1.07 3/230 26437
/proc/meminfo: memFree=31188296/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10748324 memory=202136 CPUtime=302.95 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 49416 0 0 0 30266 29 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2687081 50534 3375 1 0 2647217 0
[pid=26397/tid=26399] ppid=26394 vsize=10748324 memory=988 CPUtime=1.85 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) S 26394 26397 26121 0 -1 1077944384 13801 0 0 0 179 6 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596580949168 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1472 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10748324 memory=1408 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 2556 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10748324 memory=3272 CPUtime=0.3 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 2542 0 0 0 27 3 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10748324 memory=205292 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2812 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10748324 memory=1324 CPUtime=0.09 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2790 0 0 0 8 1 0 0 20 0 16 0 414035060 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10748324 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595610715872 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10748324 memory=5936 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595609662720 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10748324 memory=588 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10748324 memory=780 CPUtime=1.07 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) S 26394 26397 26121 0 -1 1077944384 4983 0 0 0 106 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595607558384 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10748324 memory=1056 CPUtime=0.98 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 3014 0 0 0 98 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10748324 memory=6791534058613427641 CPUtime=0.68 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) S 26394 26397 26121 0 -1 1077944384 3866 0 0 0 67 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595605452784 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10748324 memory=202136 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10748324 memory=1560 CPUtime=0.05 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 408 0 0 0 2 3 0 0 20 0 16 0 414035064 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26413] ppid=26394 vsize=10748324 memory=202136 CPUtime=296.94 cores=1,3,5,7
/proc/26397/task/26413/stat : 26413 (java) R 26394 26397 26121 0 -1 4202560 9772 0 0 0 29690 4 0 0 20 0 16 0 414035245 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595586686816 140596180623538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 302.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202136 KiB

[startup+299.601 s]
/proc/loadavg: 1.93 1.75 1.07 3/230 26437
/proc/meminfo: memFree=31188296/32770624 swapFree=66918536/67108860
[pid=26397] ppid=26394 vsize=10748324 memory=202136 CPUtime=303.35 cores=1,3,5,7
/proc/26397/stat : 26397 (java) S 26394 26397 26121 0 -1 1077944320 49416 0 0 0 30306 29 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140731794691040 140596576706295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
/proc/26397/statm: 2687081 50534 3375 1 0 2647217 0
[pid=26397/tid=26399] ppid=26394 vsize=10748324 memory=-4866522518848036719 CPUtime=1.85 cores=1,3,5,7
/proc/26397/task/26399/stat : 26399 (java) S 26394 26397 26121 0 -1 1077944384 13801 0 0 0 179 6 0 0 20 0 16 0 414035058 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596580949168 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26400] ppid=26394 vsize=10748324 memory=-7361183220417256819 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26400/stat : 26400 (java) S 26394 26397 26121 0 -1 1077944384 1472 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596502780432 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26401] ppid=26394 vsize=10748324 memory=-2895008908443489639 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26401/stat : 26401 (java) S 26394 26397 26121 0 -1 1077944384 2556 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596501727888 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26402] ppid=26394 vsize=10748324 memory=-2541025649211760737 CPUtime=0.3 cores=1,3,5,7
/proc/26397/task/26402/stat : 26402 (java) S 26394 26397 26121 0 -1 1077944384 2542 0 0 0 27 3 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596500674832 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26403] ppid=26394 vsize=10748324 memory=-7361183220417256563 CPUtime=0.29 cores=1,3,5,7
/proc/26397/task/26403/stat : 26403 (java) S 26394 26397 26121 0 -1 1077944384 2812 0 0 0 27 2 0 0 20 0 16 0 414035059 11006283776 50534 33554432000 4194304 4196468 140731794708496 140596499622288 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26404] ppid=26394 vsize=10748324 memory=202136 CPUtime=0.09 cores=1,3,5,7
/proc/26397/task/26404/stat : 26404 (java) S 26394 26397 26121 0 -1 1077944384 2790 0 0 0 8 1 0 0 20 0 16 0 414035060 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595611769584 140596576717442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26405] ppid=26394 vsize=10748324 memory=202136 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26405/stat : 26405 (java) S 26394 26397 26121 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595610715872 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26406] ppid=26394 vsize=10748324 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26406/stat : 26406 (java) S 26394 26397 26121 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414035061 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595609662720 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26407] ppid=26394 vsize=10748324 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26407/stat : 26407 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595608611280 140596576724891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26408] ppid=26394 vsize=10748324 memory=14072 CPUtime=1.07 cores=1,3,5,7
/proc/26397/task/26408/stat : 26408 (java) S 26394 26397 26121 0 -1 1077944384 4983 0 0 0 106 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595607558384 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26409] ppid=26394 vsize=10748324 memory=2116 CPUtime=0.98 cores=1,3,5,7
/proc/26397/task/26409/stat : 26409 (java) S 26394 26397 26121 0 -1 1077944384 3014 0 0 0 98 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595606505840 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26410] ppid=26394 vsize=10748324 memory=8068 CPUtime=0.68 cores=1,3,5,7
/proc/26397/task/26410/stat : 26410 (java) S 26394 26397 26121 0 -1 1077944384 3866 0 0 0 67 1 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595605452784 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26411] ppid=26394 vsize=10748324 memory=528 CPUtime=0 cores=1,3,5,7
/proc/26397/task/26411/stat : 26411 (java) S 26394 26397 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414035063 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595604400480 140596576716501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26412] ppid=26394 vsize=10748324 memory=1560 CPUtime=0.05 cores=1,3,5,7
/proc/26397/task/26412/stat : 26412 (java) S 26394 26397 26121 0 -1 1077944384 408 0 0 0 2 3 0 0 20 0 16 0 414035064 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595603348528 140596576717442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
[pid=26397/tid=26413] ppid=26394 vsize=10748324 memory=932 CPUtime=297.34 cores=1,3,5,7
/proc/26397/task/26413/stat : 26413 (java) R 26394 26397 26121 0 -1 4202560 9772 0 0 0 29730 4 0 0 20 0 16 0 414035245 11006283776 50534 33554432000 4194304 4196468 140731794708496 140595586686816 140596180476877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140731794711563 140731794711666 140731794711666 140731794714575 0
Current children cumulated CPU time: 303.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 202136 KiB

Child status: 0
Real time (s): 299.696
CPU time (s): 303.456
CPU user time (s): 303.15
CPU system time (s): 0.306225
CPU usage (%): 101.255
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 350880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.15
system time used= 0.306225
maximum resident set size= 352952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11173
involuntary context switches= 257


# summary of solver processes directly reported to runsolver:
#   pid: 26397
#   total CPU time (s): 303.456
#   total CPU user time (s): 303.15
#   total CPU system time (s): 0.306225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.01572 second user time and 2.4292 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-13 15:22:10
IDJOB=4390832
IDBENCH=124403
IDSOLVER=2832
FILE ID=node141/4390832-1568380971
RUNJOBID= node141-1568380473-26153
PBS_JOBID= 21701828
Free space on /tmp= 56104 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n16-k8.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390832-1568380971/watcher-4390832-1568380971 -o /tmp/evaluation-result-4390832-1568380971/solver-4390832-1568380971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568380473-26153 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390832-1568380971.xml -cm

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

MD5SUM BENCH= cfd5e3ed3d40597c9df5fc0ce0b3cf5f
RANDOM SEED=1413853537

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31369120 kB
MemAvailable:   31638752 kB
Buffers:          143348 kB
Cached:           414504 kB
SwapCached:        80984 kB
Active:           461144 kB
Inactive:         385772 kB
Active(anon):     214092 kB
Inactive(anon):   106044 kB
Active(file):     247052 kB
Inactive(file):   279728 kB
Unevictable:      109456 kB
Mlocked:          109456 kB
SwapTotal:      67108860 kB
SwapFree:       66918536 kB
Dirty:              8592 kB
Writeback:             0 kB
AnonPages:        262744 kB
Mapped:            47512 kB
Shmem:             22580 kB
Slab:             147160 kB
SReclaimable:     117372 kB
SUnreclaim:        29788 kB
KernelStack:        4064 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1174628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

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