Trace number 4395355

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
PicatSAT 2019-09-12OPT669 1214.84 1214.89

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t14-9.xml
MD5SUMe9ad29b6a3ec13d479e5237fa2547c44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark669
Best CPU time to get the best result obtained on this benchmark32.1113
Satisfiable
(Un)Satisfiability was proved
Number of variables8745
Number of constraints807
Number of domains11
Minimum domain size2
Maximum domain size212
Distribution of domain sizes[{"size":2,"count":795},{"size":22,"count":795},{"size":41,"count":795},{"size":43,"count":795},{"size":46,"count":795},{"size":62,"count":795},{"size":114,"count":795},{"size":137,"count":795},{"size":155,"count":795},{"size":178,"count":795},{"size":212,"count":795}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":8745}]
Minimum constraint arity11
Maximum constraint arity7950
Distribution of constraint arities[{"arity":11,"count":795},{"arity":795,"count":11},{"arity":7950,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":805}]
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 

538.66/538.79	c xcsp_picat version 2.7b12 (9/12/2019)
897.96/898.02	o 691
1046.25/1046.32	o 676
1184.84/1184.96	o 671
1214.74/1214.87	o 669
1214.74/1214.87	s OPTIMUM FOUND
1214.74/1214.87	v <instantiation>
1214.74/1214.87	v     <list> r[][] p[]  </list> 
1214.74/1214.87	v     <values> 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0   </values> 
1214.74/1214.88	v </instantiation>

Verifier Data 

OK	669

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395355-1568327941/watcher-4395355-1568327941 -o /tmp/evaluation-result-4395355-1568327941/solver-4395355-1568327941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28817 --watchdog 2580 xcsp_picat HOME/instance-4395355-1568327941.xml 

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=29981, runsolver pid=29978

[startup+0.100778 s]*
/proc/loadavg: 2.00 2.01 2.04 4/199 29982
/proc/meminfo: memFree=28389844/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2031716 memory=32388 CPUtime=0.1 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 1616 0 0 0 10 0 0 0 20 0 1 0 409061936 2080477184 8097 33554432000 4194304 5870510 140721696466112 140721696465416 4516202 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 507929 8097 873 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32388 KiB

[startup+0.209695 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28373540/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2031716 memory=48772 CPUtime=0.2 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 1638 0 0 0 20 0 0 0 20 0 1 0 409061936 2080477184 12193 33554432000 4194304 5870510 140721696466112 140721696465416 4537562 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 507929 12193 873 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 48772 KiB

[startup+0.30969 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28359888/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2031716 memory=62348 CPUtime=0.3 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 1974 0 0 0 30 0 0 0 20 0 1 0 409061936 2080477184 15587 33554432000 4194304 5870510 140721696466112 140721696465416 4534878 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 507929 15587 888 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 62348 KiB

[startup+0.700333 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28320860/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2076932 memory=139716 CPUtime=0.68 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 11986 0 0 0 66 2 0 0 20 0 1 0 409061936 2126778368 34929 33554432000 4194304 5870510 140721696466112 140721696465416 139680355344263 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 519233 34929 953 410 0 514706 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2076932 KiB
Current children cumulated memory: 139716 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28282916/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2077648 memory=142784 CPUtime=1.48 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 12230 0 0 0 144 4 0 0 20 0 1 0 409061936 2127511552 35696 33554432000 4194304 5870510 140721696466112 140721696465208 139680355344263 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 519412 35696 972 410 0 514885 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2077648 KiB
Current children cumulated memory: 142784 KiB

[startup+3.10944 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28196648/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2172668 memory=225488 CPUtime=3.1 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 36729 0 0 0 285 25 0 0 20 0 1 0 409061936 2224812032 56372 33554432000 4194304 5870510 140721696466112 140721696464664 139680355344263 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 543167 56372 972 410 0 538640 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2172668 KiB
Current children cumulated memory: 225488 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28195368/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2175688 memory=226904 CPUtime=6.29 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 37574 0 0 0 602 27 0 0 20 0 1 0 409061936 2227904512 56726 33554432000 4194304 5870510 140721696466112 140721696465208 5573443 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 543922 56726 972 410 0 539395 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2175688 KiB
Current children cumulated memory: 226904 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28189788/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2198640 memory=233332 CPUtime=12.69 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 49212 0 0 0 1238 31 0 0 20 0 1 0 409061936 2251407360 58333 33554432000 4194304 5870510 140721696466112 140721696465208 5406782 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 549660 58333 972 410 0 545133 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2198640 KiB
Current children cumulated memory: 233332 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29982
/proc/meminfo: memFree=28180732/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2203548 memory=240996 CPUtime=25.48 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 56529 0 0 0 2514 34 0 0 20 0 1 0 409061936 2256433152 60249 33554432000 4194304 5870510 140721696466112 140721696465224 139680355344263 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 550887 60249 973 410 0 546360 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2203548 KiB
Current children cumulated memory: 240996 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 29984
/proc/meminfo: memFree=28177092/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2204740 memory=244452 CPUtime=51.09 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 63753 0 0 0 5071 38 0 0 20 0 1 0 409061936 2257653760 61113 33554432000 4194304 5870510 140721696466112 140721696465368 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 551185 61113 973 410 0 546658 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2204740 KiB
Current children cumulated memory: 244452 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 29997
/proc/meminfo: memFree=28070604/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2310320 memory=353856 CPUtime=102.28 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 121664 0 0 0 10176 52 0 0 20 0 1 0 409061936 2365767680 88464 33554432000 4194304 5870510 140721696466112 140721696464264 5343968 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 577580 88464 983 410 0 573053 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2310320 KiB
Current children cumulated memory: 353856 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 2.00 2.03 3/201 30001
/proc/meminfo: memFree=28165104/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2207692 memory=255664 CPUtime=162.27 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 146456 0 0 0 16142 85 0 0 20 0 1 0 409061936 2260676608 63916 33554432000 4194304 5870510 140721696466112 140721696465224 5562072 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 551923 63916 1003 410 0 547396 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2207692 KiB
Current children cumulated memory: 255664 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/201 30007
/proc/meminfo: memFree=28142128/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2230100 memory=279408 CPUtime=222.25 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 178445 0 0 0 22104 121 0 0 20 0 1 0 409061936 2283622400 69852 33554432000 4194304 5870510 140721696466112 140721696465208 5496104 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 557525 69852 1003 410 0 552998 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2230100 KiB
Current children cumulated memory: 279408 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/201 30011
/proc/meminfo: memFree=28136240/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2230100 memory=285780 CPUtime=282.26 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 178466 0 0 0 28097 129 0 0 20 0 1 0 409061936 2283622400 71445 33554432000 4194304 5870510 140721696466112 140721696465224 5562056 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 557525 71445 1003 410 0 552998 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2230100 KiB
Current children cumulated memory: 285780 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/201 30015
/proc/meminfo: memFree=28137976/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2230100 memory=283652 CPUtime=342.25 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 206735 0 0 0 34062 163 0 0 20 0 1 0 409061936 2283622400 70913 33554432000 4194304 5870510 140721696466112 140721696465368 5562059 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 557525 70913 1003 410 0 552998 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2230100 KiB
Current children cumulated memory: 283652 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 30021
/proc/meminfo: memFree=28135712/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2230100 memory=285780 CPUtime=402.25 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 206894 0 0 0 40056 169 0 0 20 0 1 0 409061936 2283622400 71445 33554432000 4194304 5870510 140721696466112 140721696465224 5562056 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 557525 71445 1003 410 0 552998 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2230100 KiB
Current children cumulated memory: 285780 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30025
/proc/meminfo: memFree=28137892/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2230100 memory=283732 CPUtime=462.26 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 220957 0 0 0 46018 208 0 0 20 0 1 0 409061936 2283622400 70933 33554432000 4194304 5870510 140721696466112 140721696465224 5562032 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 557525 70933 1003 410 0 552998 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2230100 KiB
Current children cumulated memory: 283732 KiB


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

Current children cumulated memory: 283776 KiB

[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 30057
/proc/meminfo: memFree=28135508/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2232112 memory=286260 CPUtime=762.26 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 264693 0 0 0 75937 289 0 0 20 0 1 0 409061936 2285682688 71565 33554432000 4194304 5870510 140721696466112 140721696465224 139680354882156 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 558028 71565 1011 410 0 553501 0
Current children cumulated CPU time: 762.26 s
Current children cumulated vsize: 2232112 KiB
Current children cumulated memory: 286260 KiB

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 30061
/proc/meminfo: memFree=28137668/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2232112 memory=283948 CPUtime=822.25 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 277020 0 0 0 81902 323 0 0 20 0 1 0 409061936 2285682688 70987 33554432000 4194304 5870510 140721696466112 140721696465224 139680355344263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 558028 70987 1011 410 0 553501 0
Current children cumulated CPU time: 822.25 s
Current children cumulated vsize: 2232112 KiB
Current children cumulated memory: 283948 KiB

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 30065
/proc/meminfo: memFree=28077368/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2348260 memory=379148 CPUtime=882.25 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 282846 0 0 0 87892 333 0 0 20 0 1 0 409061936 2404618240 94787 33554432000 4194304 5870510 140721696466112 140721696464792 5305072 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 587065 94787 1011 410 0 582538 0
Current children cumulated CPU time: 882.25 s
Current children cumulated vsize: 2348260 KiB
Current children cumulated memory: 379148 KiB

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 30071
/proc/meminfo: memFree=28171284/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2182792 memory=250340 CPUtime=942.25 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 291282 0 0 0 93865 360 0 0 20 0 1 0 409061936 2235179008 62585 33554432000 4194304 5870510 140721696466112 140721696465208 139680355344263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 545698 62585 1011 410 0 541171 0
Current children cumulated CPU time: 942.25 s
Current children cumulated vsize: 2182792 KiB
Current children cumulated memory: 250340 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30076
/proc/meminfo: memFree=28135280/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2232112 memory=286156 CPUtime=1002.24 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 293763 0 0 0 99856 368 0 0 20 0 1 0 409061936 2285682688 71539 33554432000 4194304 5870510 140721696466112 140721696465368 5406791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 558028 71539 1011 410 0 553501 0
Current children cumulated CPU time: 1002.24 s
Current children cumulated vsize: 2232112 KiB
Current children cumulated memory: 286156 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30080
/proc/meminfo: memFree=28073008/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2281016 memory=348416 CPUtime=1062.24 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 307972 0 0 0 105846 378 0 0 20 0 1 0 409061936 2335760384 87104 33554432000 4194304 5870510 140721696466112 140721696464552 5268556 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570254 87104 1011 410 0 565727 0
Current children cumulated CPU time: 1062.24 s
Current children cumulated vsize: 2281016 KiB
Current children cumulated memory: 348416 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30086
/proc/meminfo: memFree=28135272/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2232112 memory=286112 CPUtime=1122.24 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 311118 0 0 0 111817 407 0 0 20 0 1 0 409061936 2285682688 71528 33554432000 4194304 5870510 140721696466112 140721696465224 139680354893730 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 558028 71528 1011 410 0 553501 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 2232112 KiB
Current children cumulated memory: 286112 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30091
/proc/meminfo: memFree=28080528/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=341528 CPUtime=1182.24 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 321677 0 0 0 117804 420 0 0 20 0 1 0 409061936 2335662080 85382 33554432000 4194304 5870510 140721696466112 140721696464648 5258735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 85382 1011 410 0 565703 0
Current children cumulated CPU time: 1182.24 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 341528 KiB

[startup+1214.89 s]
# the end of solver process 29981 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1210.62 s, system=4.21494 s

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

[startup+1190.4 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30091
/proc/meminfo: memFree=28080528/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=341528 CPUtime=1190.34 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 321685 0 0 0 118614 420 0 0 20 0 1 0 409061936 2335662080 85382 33554432000 4194304 5870510 140721696466112 140721696465224 5262756 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 85382 1011 410 0 565703 0
Current children cumulated CPU time: 1190.34 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 341528 KiB

[startup+1203.2 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 30095
/proc/meminfo: memFree=28072784/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=348568 CPUtime=1203.14 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 321996 0 0 0 119894 420 0 0 20 0 1 0 409061936 2335662080 87142 33554432000 4194304 5870510 140721696466112 140721696465224 5267814 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 87142 1011 410 0 565703 0
Current children cumulated CPU time: 1203.14 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 348568 KiB

[startup+1209.6 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30095
/proc/meminfo: memFree=28072784/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=348568 CPUtime=1209.54 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 321996 0 0 0 120534 420 0 0 20 0 1 0 409061936 2335662080 87142 33554432000 4194304 5870510 140721696466112 140721696465224 5269053 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 87142 1011 410 0 565703 0
Current children cumulated CPU time: 1209.54 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 348568 KiB

[startup+1212.8 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30095
/proc/meminfo: memFree=28072784/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=348812 CPUtime=1212.74 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 327284 0 0 0 120854 420 0 0 20 0 1 0 409061936 2335662080 87203 33554432000 4194304 5870510 140721696466112 140721696465224 139680360584187 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 87203 1011 410 0 565703 0
Current children cumulated CPU time: 1212.74 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 348812 KiB

[startup+1213.6 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30095
/proc/meminfo: memFree=28072784/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=348812 CPUtime=1213.54 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 327326 0 0 0 120934 420 0 0 20 0 1 0 409061936 2335662080 87203 33554432000 4194304 5870510 140721696466112 140721696465224 5308341 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 87203 1011 410 0 565703 0
Current children cumulated CPU time: 1213.54 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 348812 KiB

[startup+1214.4 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30095
/proc/meminfo: memFree=28072784/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=348812 CPUtime=1214.34 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 327327 0 0 0 121014 420 0 0 20 0 1 0 409061936 2335662080 87203 33554432000 4194304 5870510 140721696466112 140721696465224 5262793 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 87203 1011 410 0 565703 0
Current children cumulated CPU time: 1214.34 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 348812 KiB

[startup+1214.8 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 30095
/proc/meminfo: memFree=28072784/32770624 swapFree=67004752/67108860
[pid=29981] ppid=29978 vsize=2280920 memory=348812 CPUtime=1214.74 cores=1,3,5,7
/proc/29981/stat : 29981 (xcsp_picat) R 29978 29981 28785 0 -1 4202496 327445 0 0 0 121054 420 0 0 20 0 1 0 409061936 2335662080 87203 33554432000 4194304 5870510 140721696466112 140721696465224 5308364 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 29130752 140721696474143 140721696474221 140721696474221 140721696477130 0
/proc/29981/statm: 570230 87203 1011 410 0 565703 0
Current children cumulated CPU time: 1214.74 s
Current children cumulated vsize: 2280920 KiB
Current children cumulated memory: 348812 KiB

Child status: 0
Real time (s): 1214.89
CPU time (s): 1214.84
CPU user time (s): 1210.62
CPU system time (s): 4.21494
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2361568
Max. memory (cumulated for all children) (KiB): 413608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1210.62
system time used= 4.21494
maximum resident set size= 413664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 925


# summary of solver processes directly reported to runsolver:
#   pid: 29981
#   total CPU time (s): 1214.84
#   total CPU user time (s): 1210.62
#   total CPU system time (s): 4.21494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60416 second user time and 7.96162 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-13 00:38:24
IDJOB=4395355
IDBENCH=124173
IDSOLVER=2844
FILE ID=node126/4395355-1568327941
RUNJOBID= node126-1568323917-28817
PBS_JOBID= 21701150
Free space on /tmp= 55384 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t14-9.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395355-1568327941/watcher-4395355-1568327941 -o /tmp/evaluation-result-4395355-1568327941/solver-4395355-1568327941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28817 --watchdog 2580  xcsp_picat HOME/instance-4395355-1568327941.xml

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

MD5SUM BENCH= e9ad29b6a3ec13d479e5237fa2547c44
RANDOM SEED=1478529649

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28418856 kB
MemAvailable:   31600132 kB
Buffers:          119344 kB
Cached:          3312840 kB
SwapCached:         2860 kB
Active:          2105972 kB
Inactive:        1596056 kB
Active(anon):     268248 kB
Inactive(anon):    43288 kB
Active(file):    1837724 kB
Inactive(file):  1552768 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:              3120 kB
Writeback:             0 kB
AnonPages:        377732 kB
Mapped:            45552 kB
Shmem:             32816 kB
Slab:             242956 kB
SReclaimable:     213236 kB
SUnreclaim:        29720 kB
KernelStack:        3552 kB
PageTables:         6160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2777348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55380 MiB
End job on node126 at 2019-09-13 00:58:39