Trace number 4293956

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 2018-06-15OPT162507055 1273.05 1273.12

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark68.4417
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
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 

1273.02/1273.11	c xcsp_picat version 2.4#4 (June 15, 2018)
1273.02/1273.11	o 162521314
1273.02/1273.11	o 162507055
1273.02/1273.11	s OPTIMUM FOUND
1273.02/1273.11	v <instantiation>
1273.02/1273.11	v     <list> k v2[] f[] v1[] d[] p[]  </list> 
1273.02/1273.11	v     <values> 8  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  2480 2264 2756 2604 2460 2560 2684 2788 2436 2508 2704 2420 2668 2420 2464 2436 2744 2436 2756 2604 2620 2780 2260 2224 2464 2600 2724 2584 2748 2788 2276 2684 2304 2248 2576 2320 2396 2684 2736 2260 2320 2756 2564 2532 2820 2440 2820 2712 2520 2236 2508 2384 2368 2788 2792 2764 2388 2592 2560 2596 2716 2612 2804 2748 2428 2788 2436 2684 2660 2724 2628 2420 2556 2660 2788 2480 2788 2748 2424 2560 2748 2808 2596 2520 2588 2424 2752 2660 2588 2684 2520 2500 2260 2420 2520 2288 2748 2588 2472 2820 2572 2468 2620 2620 2752 2700 2268 2748 2744 2500 2788 2644 2480 2660 2316 2820 2788 2380 2780 2572 2684 2628 2224 2560 2460 2756 2424 2684 2520 2444 2788 2456 2684 2716 2776 2516 2564 2700 2724 2572 2620 2756 2696 2480 2556 2572 2780 2748 2604 2592 2748 2428 2776 2596 2512 2408 2272 2380 2816 2788 2716 2560 2748 2372 2240 2320 2512 2532 2264 2328 2344 2520 2632 2564 2376 2620 2748 2660 2748 2740 2268 2268 2500 2460 2276 2620 2540 2756 2248 2628 2460 2548 2244 2632 2544 2744 2260 2520 2780 2372 2724 2500 2660 2620 2788 2620 2496 2620 2740 2716 2592 2660 2520 2440 2360 2788 2404 2472 2724 2412 2280 2736 2708 2724 2264 2660 2780 2752 2464 2480 2380 2788 2732 2288 2820 2748 2632 2780 2520 2572 2696 2820 2660 2372 2284 2524 2628 2604 2704 2660 2444 2660 2756 2700 2620 2228 2284 2276 2520 2660 2476 2280 2556 2820 2636 2724 2560 2532 2716 2780 2228 2480 2780 2792 2564 2468 2748 2476 2788 2220 2768 2264 2512 2716 2724 2636 2424 2724 2468 2628 2724 2288 2496 2676 2244 2660 2380 2684 2264 2620 2472 2416 2476 2736 2684 2780 2404 2712 2508 2572 2684 2748 2716 2224 2616 2632 2660 2224 2276 2224 2592 2672 2532 2576 2456 2316 2620 2220 2724 2520 2220 2588 2772 2220 2820 2280 2312 2616 2236 2456 2500 2228 2784 2412 2412 2480 2416 2560 2748 2532  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  40 256 36 276 180 52 204 80 380 236 396 436 296 336 452 520 160 24 136 496 136 40 64 536 236 356 84 120 184 136 152 104 84 340 120 176 24 96 328 116 320 328 160 200 176 332 324 80 124 80 164 188 280 104 104 184 24 456 204 208 440 64 64 96 84 368 52 268 16 168 168 516 64 32 524 564 128 328 280 168 64 108 40 192 48 52 52 188 104 64 112 52 444 20 132 112 36 132 192 80 248 144 100 100 88 368 240 296 156 320 208 76 328 112 364 68 80 48 148 256 68 432 44 180 324 152 336 136 24 100 216 4 328 292 136 340 36 156 244 176 196 196 244 176 352 84 184 152 484 60 28 124 152 48 84 180 4 160 120 248 112 280 224 240 300 32 136 344 280 136 8 20 184 24 24 144 124 360 64 168 104 136 28 240 248 48 40 168 208 260 280 308 56 368 464 400 360 276 292 492 24 320 148 404 4 192 68 252 284 196 40 124 52 232 24 180 56 44 140 76 16 152 204 208 160 204 24 164 160 44 356 20 12 128 4 268 64 524 216 528 176 40 104 288 460 288 192 448 72 104 104 16 124 104 84 88 448 92 412 240 328 268 476 68 572 492 212 380 260 272 368 68 316 104 132 204 200 256 80 108 44 120 56 296 468 456 84 124 300 100 136 164 16 28 424 40 204 260 72 464 180 276 216 40 76 76 324 400 312 456 112 204 24 424 500 364 312 396 200 396 212 276 376 136 260 136 24 64 480 140 180 244 40 96 8 152 276 328 80 128 32 248 168 308 32 380 396 72 392 80 576 40 28 160 204 288 12 308 132 172 304 236 196 556 276 292 108 76 104 36 80 92 144 260 260 116 96 424 176 516 488 284 584 380 180 248 88 268 12 280 32 124 228 404 136 372 72 148 112 292 192 120 356 80 132 104 196 344 232 228 104 196 368 204 272 48 532 44 176 144 52 104 40 476 40 52 316 172 272 84 228 20 4 164 76 188 124 176 40 12 80 28 336 220 276 64 36 120 152 36 4 140 64 240 492 184 48 140 56 240 432 200 144 188 528 392 152 324 32 460 72 44 460 128 392 268 160 324 144 184 288 392 20 88 32 32 156 264 268 104 476 188 84 152 24 104 112 412 64 96 108 104 268 116 24 108 24 244 28 204 128 448 436 152 40 408 152 120 400 184 88 40 288 152 44 20 140 128 116 188 376 140 124 328 44 168 224 236 80 8 216 180 204 316 104 228 248 8 340 228 388 216 324 24 196 324 140 200 220 12 68 48 72 188 80 148 80 4 32 24 160 328 204 332 16 60 84 572 308 192 184 88 368 232 76 180 204 44 196 204 104 68 88 72 40 364 236 44 176 52 52 324 312 468 472 28 40 92 524 180 160 280 120 416 436 436 160 160 132 68 32 128 148 204 184 224 104 16 104 184 56 68 164 272 20 100 292 260 196 204 240 248 104 92 104 32 12 120 120 212 516 236 400 400 356 196 100 100 240 328 152 252 36 236 204 140 192 344 316 276 288 208 252 176 120 300 128 40 152 188 60 148 144 16 192 300 32 160 592 96 600 192 176 100 144 308 128 64 152 312 108 136 120 136 136 100 56 160 32 164 208 88 512 232 212 504 28 36 20 36 488 220 120 80 432 424 236 232 120 512 292 232 204 244 264 176 128 88 248 100 20 288 16 216 232 40 24 328 328 240 64 132 80 416 80 380 52 336 300 272 196 340 436 216 160 24 196 48 472 124 200 68 124 352 308 168 104 52 104 192 164 280 140 280 192 160 268 152 260 304 492 304 112 192 228 52 92 192 52 24 272 40 64 380 256 24 84 88 352 348 400 524 408 408 476 556 452 20 524 156 188 60 280 44 124 100 292 232 328 176 236 240 128 48 136 124 292 280 184 64 16 324 160 204 76 104 52 104 24 64 228 228 292 100 12 296 152 104 112 68 304 124 16 12 128 216 128 320 384 564 472 172 172 40 12 120 308 40 112 52 464 372 60 184 244 88 472 496 156 372 204 20 496 556 200 76 16 4 208 136 144 44 160 112 120 288 272 80 40 108 480 472 24 64 164 324 152 192 128 112 248 48 136 124 468 300 320 280 220 40 88 140 276 244 80 36 104 24 80 64 276 60 300 308 56 24 88 168 408 260 460 32 224 24 56 24 180 156 304 44 84 372 312 216 116 128 268 320 184 276 144 132 264 456 280 156 92 320 328 152 316 376 84 100 20 140 44 108 104 292 100 132 144 184 360 228 376 92 160 156 196 320 156 588 348 196 328 312 372 156 88 248 56 216 228 32 164 56 80 236 404 40 128 32 40 228 24 520 92 256 40 176 340 92 148 300 96 116 152 192 12 216 396 292 212 168 116 104 204 340 300 192 352 408 408 320 396 184 184 4 404 144 412 372 248 200 16 140 4 152 484 156 256 64 100 56 164 84 16 220 8 44 272 136 204 48 500 244 228 4 48 432 280 128 288 224 172 280 256 264 4 168 256 328 4 352 448 136 504 140 168 56 192 176 124 136 120 32 572 272 228 164 152 8 88 244 232 224 236 376 328 460 544 416 20 16 148 112 408 408 352 20 500 76 128 464 152 464 400 156 56 32 268 44 204 68 300 12 88 420 64 168 56 48 216 288 212 92 128 160 336 344 152 16 208 80 308 224 64 56 144 84 32 212 268 96 64 276 8 324 104 184 124 300 64 228 140 156 340 92 104 172 132 104 60 108 92 172 348 164 60 16 160 60 308 304 380 100 484 420 44 256 68 204 260 468 92 28 528 68 12 316 196 48 276 204 288 52 168 252 192 56 128 228 568 64 76 4 444 488 48 144 60 460 136 300 72 8 272 36 408 132 72 240 164 300 192 116 84 28 164 104 160 24 232 332 396 104 96 60 536 300 72 96 96 16 192 144 76 88 44 196 476 80 120 236 56 44 164 52 132 172 12 56 132 96 56 24 152 136 476 256 88 128 12 88 44 4 164 240 176 8 496 280 56 384 232 56 48 204 48 260 40 16 40 128 64 436 216 16 192 296 468 100 336 288 232 16 56 44 252 48 80 324 144 100 152 400 552 564 32 132 44 248 244 352 252 52 44 180 56 304 104 76 356 208 200 64 340 216 248 48 52 24 40 264 172 528 380 128 304 336 240 448 356 40 236 104 236 16 368 200 424 460 228 4 124 24 464 248 408 92 160 312 136 136 372 280 296 176 96 216 400 244 564  1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1   </values> 
1273.02/1273.11	v </instantiation>

Verifier Data 

OK	162507055

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293956-1532402404/watcher-4293956-1532402404 -o /tmp/evaluation-result-4293956-1532402404/solver-4293956-1532402404 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13985 --watchdog 2580 xcsp_picat HOME/instance-4293956-1532402404.xml 

running on 4 cores: 0,2,4,6

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=17151, runsolver pid=17148

[startup+0.100888 s]*
/proc/loadavg: 2.06 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12399816/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=111688 memory=21572 CPUtime=0.09 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 1471 0 0 0 9 0 0 0 20 0 1 0 57803622 114368512 5393 33554432000 4194304 5849740 140725565807712 140725565807016 4514939 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 27922 5393 612 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 21572 KiB

[startup+0.209622 s]*
/proc/loadavg: 2.06 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12387920/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=132016 memory=33312 CPUtime=0.2 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 2371 0 0 0 20 0 0 0 20 0 1 0 57803622 135184384 8328 33554432000 4194304 5849740 140725565807712 140725565807016 139936594918400 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 33004 8328 631 405 0 29948 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132016 KiB
Current children cumulated memory: 33312 KiB

[startup+0.309498 s]*
/proc/loadavg: 2.06 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12387920/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=132016 memory=33312 CPUtime=0.3 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 2372 0 0 0 30 0 0 0 20 0 1 0 57803622 135184384 8328 33554432000 4194304 5849740 140725565807712 140725565807016 5250315 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 33004 8328 631 405 0 29948 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132016 KiB
Current children cumulated memory: 33312 KiB

[startup+0.700338 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12381956/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=138416 memory=47792 CPUtime=0.69 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 4099 0 0 0 68 1 0 0 20 0 1 0 57803622 141737984 11948 33554432000 4194304 5849740 140725565807712 140725565807016 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 34604 11948 631 405 0 31548 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138416 KiB
Current children cumulated memory: 47792 KiB

[startup+1.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12361896/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=148852 memory=70688 CPUtime=1.49 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 5849 0 0 0 144 5 0 0 20 0 1 0 57803622 152424448 17672 33554432000 4194304 5849740 140725565807712 140725565807016 4644433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 37213 17672 631 405 0 34157 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148852 KiB
Current children cumulated memory: 70688 KiB

[startup+3.10986 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12327336/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=163320 memory=85112 CPUtime=3.1 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 13804 0 0 0 297 13 0 0 20 0 1 0 57803622 167239680 21278 33554432000 4194304 5849740 140725565807712 140725565807032 5250852 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 40830 21278 631 405 0 37774 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 163320 KiB
Current children cumulated memory: 85112 KiB

[startup+6.30036 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12177568/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=179328 memory=88924 CPUtime=6.28 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 26714 0 0 0 590 38 0 0 20 0 1 0 57803622 183631872 22231 33554432000 4194304 5849740 140725565807712 140725565806680 5250387 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 44832 22231 631 405 0 41776 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 179328 KiB
Current children cumulated memory: 88924 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12080928/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=291228 memory=150720 CPUtime=12.69 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 40352 0 0 0 1199 70 0 0 20 0 1 0 57803622 298217472 37680 33554432000 4194304 5849740 140725565807712 140725565807016 5249607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 72807 37680 632 405 0 69751 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 291228 KiB
Current children cumulated memory: 150720 KiB

[startup+25.5002 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 17152
/proc/meminfo: memFree=11783344/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=529944 memory=402780 CPUtime=25.48 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 74518 0 0 0 2392 156 0 0 20 0 1 0 57803622 542662656 100695 33554432000 4194304 5849740 140725565807712 140725565807016 4567156 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 132486 100695 632 405 0 129430 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 402780 KiB

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 17152
/proc/meminfo: memFree=12095324/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=574332 memory=436928 CPUtime=51.08 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 100818 0 0 0 4781 327 0 0 20 0 1 0 57803622 588115968 109232 33554432000 4194304 5849740 140725565807712 140725565806680 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 143583 109232 632 405 0 140527 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 574332 KiB
Current children cumulated memory: 436928 KiB

[startup+102.309 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 17153
/proc/meminfo: memFree=11242348/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2786188 memory=1666504 CPUtime=102.28 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 137511 0 0 0 9779 449 0 0 20 0 1 0 57803622 2853056512 416626 33554432000 4194304 5849740 140725565807712 140725565806200 5319724 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 696547 416626 747 405 0 693491 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2786188 KiB
Current children cumulated memory: 1666504 KiB

[startup+162.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17154
/proc/meminfo: memFree=9613904/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2799004 memory=1679480 CPUtime=162.28 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 145048 0 0 0 15772 456 0 0 20 0 1 0 57803622 2866180096 419870 33554432000 4194304 5849740 140725565807712 140725565806712 5312631 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699751 419870 759 405 0 696695 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2799004 KiB
Current children cumulated memory: 1679480 KiB

[startup+222.309 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17155
/proc/meminfo: memFree=2766144/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657944 CPUtime=222.27 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 150402 0 0 0 21762 465 0 0 20 0 1 0 57803622 2839891968 414486 33554432000 4194304 5849740 140725565807712 140725565806824 139936594479769 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414486 769 405 0 690277 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657944 KiB

[startup+282.309 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17156
/proc/meminfo: memFree=5550692/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2799120 memory=1683660 CPUtime=282.27 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 161441 0 0 0 27748 479 0 0 20 0 1 0 57803622 2866298880 420915 33554432000 4194304 5849740 140725565807712 140725565806200 4230884 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699780 420915 769 405 0 696724 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2799120 KiB
Current children cumulated memory: 1683660 KiB

[startup+342.309 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17158
/proc/meminfo: memFree=5305744/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657944 CPUtime=342.26 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 169326 0 0 0 33738 488 0 0 20 0 1 0 57803622 2839891968 414486 33554432000 4194304 5849740 140725565807712 140725565806952 5606208 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414486 769 405 0 690277 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657944 KiB

[startup+402.309 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17159
/proc/meminfo: memFree=5293644/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2786152 memory=1670764 CPUtime=402.25 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 180681 0 0 0 39722 503 0 0 20 0 1 0 57803622 2853019648 417691 33554432000 4194304 5849740 140725565807712 140725565806200 5319727 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 696538 417691 769 405 0 693482 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2786152 KiB
Current children cumulated memory: 1670764 KiB

[startup+462.309 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17160
/proc/meminfo: memFree=5305936/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657944 CPUtime=462.25 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 188541 0 0 0 45713 512 0 0 20 0 1 0 57803622 2839891968 414486 33554432000 4194304 5849740 140725565807712 140725565806712 5519832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414486 769 405 0 690277 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657944 KiB


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

Current children cumulated memory: 1657944 KiB

[startup+882.309 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17176
/proc/meminfo: memFree=5305480/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657944 CPUtime=882.24 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 249329 0 0 0 87632 592 0 0 20 0 1 0 57803622 2839891968 414486 33554432000 4194304 5849740 140725565807712 140725565806952 5472659 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414486 769 405 0 690277 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657944 KiB

[startup+942.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17177
/proc/meminfo: memFree=5280172/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2799092 memory=1683668 CPUtime=942.24 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 260406 0 0 0 93616 608 0 0 20 0 1 0 57803622 2866270208 420917 33554432000 4194304 5849740 140725565807712 140725565806120 4211681 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699773 420917 769 405 0 696717 0
Current children cumulated CPU time: 942.24 s
Current children cumulated vsize: 2799092 KiB
Current children cumulated memory: 1683668 KiB

[startup+1002.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 17178
/proc/meminfo: memFree=5305568/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657952 CPUtime=1002.24 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 268673 0 0 0 99605 619 0 0 20 0 1 0 57803622 2839891968 414488 33554432000 4194304 5849740 140725565807712 140725565806808 5606191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414488 769 405 0 690277 0
Current children cumulated CPU time: 1002.24 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657952 KiB

[startup+1062.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 17179
/proc/meminfo: memFree=5374312/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657952 CPUtime=1062.24 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 275624 0 0 0 105595 629 0 0 20 0 1 0 57803622 2839891968 414488 33554432000 4194304 5849740 140725565807712 140725565806952 139936594939783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414488 769 405 0 690277 0
Current children cumulated CPU time: 1062.24 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657952 KiB

[startup+1122.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17180
/proc/meminfo: memFree=5363128/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2786208 memory=1670828 CPUtime=1122.24 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 286402 0 0 0 111580 644 0 0 20 0 1 0 57803622 2853076992 417707 33554432000 4194304 5849740 140725565807712 140725565806200 5307040 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 696552 417707 769 405 0 693496 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 2786208 KiB
Current children cumulated memory: 1670828 KiB

[startup+1182.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17181
/proc/meminfo: memFree=5376156/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657952 CPUtime=1182.24 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 294780 0 0 0 117569 655 0 0 20 0 1 0 57803622 2839891968 414488 33554432000 4194304 5849740 140725565807712 140725565806808 5611448 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414488 769 405 0 690277 0
Current children cumulated CPU time: 1182.24 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657952 KiB

[startup+1242.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17190
/proc/meminfo: memFree=5376048/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2773332 memory=1657952 CPUtime=1242.23 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 302615 0 0 0 123558 665 0 0 20 0 1 0 57803622 2839891968 414488 33554432000 4194304 5849740 140725565807712 140725565806952 139936594939783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 693333 414488 769 405 0 690277 0
Current children cumulated CPU time: 1242.23 s
Current children cumulated vsize: 2773332 KiB
Current children cumulated memory: 1657952 KiB

[startup+1273.12 s]
# the end of solver process 17151 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1266.3 s, system=6.75267 s

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

[startup+1254.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17190
/proc/meminfo: memFree=5363264/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2786164 memory=1670784 CPUtime=1254.52 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 305389 0 0 0 124780 672 0 0 20 0 1 0 57803622 2853031936 417696 33554432000 4194304 5849740 140725565807712 140725565806200 5319714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 696541 417696 769 405 0 693485 0
Current children cumulated CPU time: 1254.52 s
Current children cumulated vsize: 2786164 KiB
Current children cumulated memory: 1670784 KiB

[startup+1261 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17190
/proc/meminfo: memFree=5350916/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683404 CPUtime=1260.93 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 306695 0 0 0 125420 673 0 0 20 0 1 0 57803622 2866171904 420851 33554432000 4194304 5849740 140725565807712 140725565806120 4211660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420851 769 405 0 696693 0
Current children cumulated CPU time: 1260.93 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683404 KiB

[startup+1267.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17191
/proc/meminfo: memFree=5351024/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683404 CPUtime=1267.33 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 306703 0 0 0 126060 673 0 0 20 0 1 0 57803622 2866171904 420851 33554432000 4194304 5849740 140725565807712 140725565806120 5319712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420851 769 405 0 696693 0
Current children cumulated CPU time: 1267.33 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683404 KiB

[startup+1270.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17191
/proc/meminfo: memFree=5351024/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683404 CPUtime=1270.53 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 306704 0 0 0 126379 674 0 0 20 0 1 0 57803622 2866171904 420851 33554432000 4194304 5849740 140725565807712 140725565806872 5307475 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420851 769 405 0 696693 0
Current children cumulated CPU time: 1270.53 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683404 KiB

[startup+1272.2 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 17191
/proc/meminfo: memFree=5351024/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683404 CPUtime=1272.13 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 306704 0 0 0 126539 674 0 0 20 0 1 0 57803622 2866171904 420851 33554432000 4194304 5849740 140725565807712 140725565806424 5307693 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420851 769 405 0 696693 0
Current children cumulated CPU time: 1272.13 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683404 KiB

[startup+1272.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17191
/proc/meminfo: memFree=5351024/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683404 CPUtime=1272.52 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 306704 0 0 0 126578 674 0 0 20 0 1 0 57803622 2866171904 420851 33554432000 4194304 5849740 140725565807712 140725565806712 139936594939783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420851 769 405 0 696693 0
Current children cumulated CPU time: 1272.52 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683404 KiB

[startup+1273 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17191
/proc/meminfo: memFree=5351024/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683616 CPUtime=1272.92 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 309159 0 0 0 126618 674 0 0 20 0 1 0 57803622 2866171904 420904 33554432000 4194304 5849740 140725565807712 140725565806712 5438469 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420904 769 405 0 696693 0
Current children cumulated CPU time: 1272.92 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683616 KiB

[startup+1273.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17191
/proc/meminfo: memFree=5351024/32770624 swapFree=67108860/67108860
[pid=17151] ppid=17148 vsize=2798996 memory=1683620 CPUtime=1273.02 cores=0,2,4,6
/proc/17151/stat : 17151 (xcsp_picat) R 17148 17151 13954 0 -1 4202496 309440 0 0 0 126628 674 0 0 20 0 1 0 57803622 2866171904 420905 33554432000 4194304 5849740 140725565807712 140725565806712 4539885 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 40726528 140725565809846 140725565809924 140725565809924 140725565812682 0
/proc/17151/statm: 699749 420905 770 405 0 696693 0
Current children cumulated CPU time: 1273.02 s
Current children cumulated vsize: 2798996 KiB
Current children cumulated memory: 1683620 KiB

Child status: 0
Real time (s): 1273.12
CPU time (s): 1273.05
CPU user time (s): 1266.3
CPU system time (s): 6.75267
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 3715116
Max. memory (cumulated for all children) (KiB): 2562352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1266.3
system time used= 6.75267
maximum resident set size= 2562352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309630
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= 2
involuntary context switches= 1635


# summary of solver processes directly reported to runsolver:
#   pid: 17151
#   total CPU time (s): 1273.05
#   total CPU user time (s): 1266.3
#   total CPU system time (s): 6.75267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4891 second user time and 8.83834 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-24 05:20:05
IDJOB=4293956
IDBENCH=141273
IDSOLVER=2754
FILE ID=node137/4293956-1532402404
RUNJOBID= node137-1532369589-13985
PBS_JOBID= 21021571
Free space on /tmp= 48436 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293956-1532402404/watcher-4293956-1532402404 -o /tmp/evaluation-result-4293956-1532402404/solver-4293956-1532402404 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13985 --watchdog 2580  xcsp_picat HOME/instance-4293956-1532402404.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1168437247

node137.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.54
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.54
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.54
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.54
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:        12419512 kB
MemAvailable:   30131928 kB
Buffers:          198232 kB
Cached:         17459784 kB
SwapCached:            0 kB
Active:          3935156 kB
Inactive:       15579740 kB
Active(anon):    1802388 kB
Inactive(anon):    74292 kB
Active(file):    2132768 kB
Inactive(file): 15505448 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             85416 kB
Writeback:             0 kB
AnonPages:       1874056 kB
Mapped:            39808 kB
Shmem:             17036 kB
Slab:             530916 kB
SReclaimable:     502660 kB
SUnreclaim:        28256 kB
KernelStack:        3584 kB
PageTables:         8636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2498276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1792000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48432 MiB
End job on node137 at 2018-07-24 05:41:18