Trace number 4309873

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-08-14OPT162507055 1116.8 1116.77

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 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309873-1534304950/watcher-4309873-1534304950 -o /tmp/evaluation-result-4309873-1534304950/solver-4309873-1534304950 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18984 --watchdog 2580 xcsp_picat HOME/instance-4309873-1534304950.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
solver pid=20260, runsolver pid=20257
Current StackSize limit: 8192 KiB


[startup+0.101028 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=29060760/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=23084 CPUtime=0.1 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1347 0 0 0 10 0 0 0 20 0 1 0 248058229 2074361856 5771 33554432000 4194304 5849940 140723654461888 140723654461192 4454710 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 5771 600 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23084 KiB

[startup+0.209526 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=29048116/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=29228 CPUtime=0.2 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1350 0 0 0 20 0 0 0 20 0 1 0 248058229 2074361856 7307 33554432000 4194304 5849940 140723654461888 140723654461192 4454802 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 7307 600 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29228 KiB

[startup+0.309455 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=29035828/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=35372 CPUtime=0.3 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1353 0 0 0 30 0 0 0 20 0 1 0 248058229 2074361856 8843 33554432000 4194304 5849940 140723654461888 140723654461192 139634994048000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 8843 600 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35372 KiB

[startup+0.700341 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=29011100/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=57900 CPUtime=0.68 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1364 0 0 0 68 0 0 0 20 0 1 0 248058229 2074361856 14475 33554432000 4194304 5849940 140723654461888 140723654461192 139634994048000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 14475 600 405 0 503380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 57900 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=28951724/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=107164 CPUtime=1.48 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1388 0 0 0 147 1 0 0 20 0 1 0 248058229 2074361856 26791 33554432000 4194304 5849940 140723654461888 140723654461192 139634994048000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 26791 626 405 0 503380 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 107164 KiB

[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=28707532/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=205468 CPUtime=3.1 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1533 0 0 0 307 3 0 0 20 0 1 0 248058229 2074361856 51367 33554432000 4194304 5849940 140723654461888 140723654461192 139634994048000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 51367 626 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 205468 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=28335136/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=402076 CPUtime=6.29 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1746 0 0 0 623 6 0 0 20 0 1 0 248058229 2074361856 100519 33554432000 4194304 5849940 140723654461888 140723654461192 139634994048000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 100519 626 405 0 503380 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 402076 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=27258660/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2025744 memory=793244 CPUtime=12.68 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 1981 0 0 0 1257 11 0 0 20 0 1 0 248058229 2074361856 198311 33554432000 4194304 5849940 140723654461888 140723654461192 139634994048000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 506436 198311 626 405 0 503380 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 793244 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20261
/proc/meminfo: memFree=26044908/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2057956 memory=1728808 CPUtime=25.48 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 4869 0 0 0 2523 25 0 0 20 0 1 0 248058229 2107346944 432202 33554432000 4194304 5849940 140723654461888 140723654461000 5606430 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 514489 432202 713 405 0 511433 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2057956 KiB
Current children cumulated memory: 1728808 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20269
/proc/meminfo: memFree=25849816/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2127052 memory=1798032 CPUtime=51.1 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 11850 0 0 0 5077 33 0 0 20 0 1 0 248058229 2178101248 449508 33554432000 4194304 5849940 140723654461888 140723654460376 5319922 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 531763 449508 745 405 0 528707 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2127052 KiB
Current children cumulated memory: 1798032 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20270
/proc/meminfo: memFree=25871716/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141964 memory=1812932 CPUtime=102.28 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 19455 0 0 0 10187 41 0 0 20 0 1 0 248058229 2193371136 453233 33554432000 4194304 5849940 140723654461888 140723654460888 139634994069383 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535491 453233 757 405 0 532435 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2141964 KiB
Current children cumulated memory: 1812932 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20271
/proc/meminfo: memFree=25866232/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786304 CPUtime=162.29 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 21374 0 0 0 16177 52 0 0 20 0 1 0 248058229 2165997568 446576 33554432000 4194304 5849940 140723654461888 140723654461128 5478319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446576 767 405 0 525752 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786304 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20272
/proc/meminfo: memFree=25852776/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2128572 memory=1799752 CPUtime=222.29 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 33173 0 0 0 22163 66 0 0 20 0 1 0 248058229 2179657728 449938 33554432000 4194304 5849940 140723654461888 140723654460376 5309792 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 532143 449938 767 405 0 529087 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2128572 KiB
Current children cumulated memory: 1799752 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20273
/proc/meminfo: memFree=25865988/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786412 CPUtime=282.3 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 36887 0 0 0 28152 78 0 0 20 0 1 0 248058229 2165997568 446603 33554432000 4194304 5849940 140723654461888 140723654460984 139634994069383 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446603 767 405 0 525752 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786412 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20274
/proc/meminfo: memFree=25839492/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141832 memory=1812764 CPUtime=342.3 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 45285 0 0 0 34136 94 0 0 20 0 1 0 248058229 2193235968 453191 33554432000 4194304 5849940 140723654461888 140723654460296 4229939 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535458 453191 767 405 0 532402 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2141832 KiB
Current children cumulated memory: 1812764 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20276
/proc/meminfo: memFree=25866252/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786412 CPUtime=402.29 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 52152 0 0 0 40125 104 0 0 20 0 1 0 248058229 2165997568 446603 33554432000 4194304 5849940 140723654461888 140723654460984 5471115 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446603 767 405 0 525752 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786412 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 20277
/proc/meminfo: memFree=25852408/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2128684 memory=1799864 CPUtime=462.29 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 60843 0 0 0 46109 120 0 0 20 0 1 0 248058229 2179772416 449966 33554432000 4194304 5849940 140723654461888 140723654460376 4207918 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 532171 449966 767 405 0 529115 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2128684 KiB
Current children cumulated memory: 1799864 KiB


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

Current children cumulated memory: 1786412 KiB

[startup+762.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/189 20314
/proc/meminfo: memFree=25884836/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2128484 memory=1799664 CPUtime=762.3 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 93160 0 0 0 76044 186 0 0 20 0 1 0 248058229 2179567616 449916 33554432000 4194304 5849940 140723654461888 140723654460376 5319922 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 532121 449916 767 405 0 529065 0
Current children cumulated CPU time: 762.3 s
Current children cumulated vsize: 2128484 KiB
Current children cumulated memory: 1799664 KiB

[startup+822.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/189 20315
/proc/meminfo: memFree=25845332/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786412 CPUtime=822.3 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 101534 0 0 0 82033 197 0 0 20 0 1 0 248058229 2165997568 446603 33554432000 4194304 5849940 140723654461888 140723654460984 5473093 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446603 767 405 0 525752 0
Current children cumulated CPU time: 822.3 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786412 KiB

[startup+882.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/189 20316
/proc/meminfo: memFree=25912380/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786412 CPUtime=882.31 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 108673 0 0 0 88020 211 0 0 20 0 1 0 248058229 2165997568 446603 33554432000 4194304 5849940 140723654461888 140723654461128 5473882 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446603 767 405 0 525752 0
Current children cumulated CPU time: 882.31 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786412 KiB

[startup+942.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 20317
/proc/meminfo: memFree=25908384/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141868 memory=1812784 CPUtime=942.31 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 117690 0 0 0 94006 225 0 0 20 0 1 0 248058229 2193272832 453196 33554432000 4194304 5849940 140723654461888 140723654460296 139634994069383 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535467 453196 767 405 0 532411 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 2141868 KiB
Current children cumulated memory: 1812784 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 20318
/proc/meminfo: memFree=25911088/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786412 CPUtime=1002.31 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 123650 0 0 0 99994 237 0 0 20 0 1 0 248058229 2165997568 446603 33554432000 4194304 5849940 140723654461888 140723654460984 5606395 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446603 767 405 0 525752 0
Current children cumulated CPU time: 1002.31 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786412 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20319
/proc/meminfo: memFree=25883296/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2128520 memory=1799700 CPUtime=1062.31 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 133233 0 0 0 105976 255 0 0 20 0 1 0 248058229 2179604480 449925 33554432000 4194304 5849940 140723654461888 140723654460376 5319922 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 532130 449925 767 405 0 529074 0
Current children cumulated CPU time: 1062.31 s
Current children cumulated vsize: 2128520 KiB
Current children cumulated memory: 1799700 KiB

[startup+1116.77 s]
# the end of solver process 20260 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1114.09 s, system=2.70106 s

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

[startup+1075.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20319
/proc/meminfo: memFree=25912832/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2115232 memory=1786412 CPUtime=1075.21 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 133496 0 0 0 107264 257 0 0 20 0 1 0 248058229 2165997568 446603 33554432000 4194304 5849940 140723654461888 140723654460984 5521648 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 528808 446603 767 405 0 525752 0
Current children cumulated CPU time: 1075.21 s
Current children cumulated vsize: 2115232 KiB
Current children cumulated memory: 1786412 KiB

[startup+1100.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25876156/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2128604 memory=1799784 CPUtime=1100.81 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 134460 0 0 0 109814 267 0 0 20 0 1 0 248058229 2179690496 449946 33554432000 4194304 5849940 140723654461888 140723654460536 5317193 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 532151 449946 767 405 0 529095 0
Current children cumulated CPU time: 1100.81 s
Current children cumulated vsize: 2128604 KiB
Current children cumulated memory: 1799784 KiB

[startup+1107.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25883540/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2128604 memory=1799784 CPUtime=1107.21 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 134460 0 0 0 110454 267 0 0 20 0 1 0 248058229 2179690496 449946 33554432000 4194304 5849940 140723654461888 140723654460376 139634994471335 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 532151 449946 767 405 0 529095 0
Current children cumulated CPU time: 1107.21 s
Current children cumulated vsize: 2128604 KiB
Current children cumulated memory: 1799784 KiB

[startup+1113.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25886580/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141976 memory=1813156 CPUtime=1113.61 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 139849 0 0 0 111093 268 0 0 20 0 1 0 248058229 2193383424 453289 33554432000 4194304 5849940 140723654461888 140723654460296 5339105 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535494 453289 767 405 0 532438 0
Current children cumulated CPU time: 1113.61 s
Current children cumulated vsize: 2141976 KiB
Current children cumulated memory: 1813156 KiB

[startup+1115.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25886580/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141976 memory=1813156 CPUtime=1115.21 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 139849 0 0 0 111252 269 0 0 20 0 1 0 248058229 2193383424 453289 33554432000 4194304 5849940 140723654461888 140723654460888 5307791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535494 453289 767 405 0 532438 0
Current children cumulated CPU time: 1115.21 s
Current children cumulated vsize: 2141976 KiB
Current children cumulated memory: 1813156 KiB

[startup+1116 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25886704/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141976 memory=1813156 CPUtime=1116.02 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 139849 0 0 0 111333 269 0 0 20 0 1 0 248058229 2193383424 453289 33554432000 4194304 5849940 140723654461888 140723654460888 139634994069383 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535494 453289 767 405 0 532438 0
Current children cumulated CPU time: 1116.02 s
Current children cumulated vsize: 2141976 KiB
Current children cumulated memory: 1813156 KiB

[startup+1116.4 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25886704/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141976 memory=1813156 CPUtime=1116.41 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 139862 0 0 0 111372 269 0 0 20 0 1 0 248058229 2193383424 453289 33554432000 4194304 5849940 140723654461888 140723654460888 5353927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535494 453289 767 405 0 532438 0
Current children cumulated CPU time: 1116.41 s
Current children cumulated vsize: 2141976 KiB
Current children cumulated memory: 1813156 KiB

[startup+1116.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25886704/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141976 memory=1813156 CPUtime=1116.61 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 139862 0 0 0 111392 269 0 0 20 0 1 0 248058229 2193383424 453289 33554432000 4194304 5849940 140723654461888 140723654460888 139634994069383 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535494 453289 767 405 0 532438 0
Current children cumulated CPU time: 1116.61 s
Current children cumulated vsize: 2141976 KiB
Current children cumulated memory: 1813156 KiB

[startup+1116.7 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 20320
/proc/meminfo: memFree=25886704/32770624 swapFree=67030680/67108860
[pid=20260] ppid=20257 vsize=2141976 memory=1813156 CPUtime=1116.71 cores=1,3,5,7
/proc/20260/stat : 20260 (xcsp_picat) R 20257 20260 18952 0 -1 4202496 139881 0 0 0 111402 269 0 0 20 0 1 0 248058229 2193383424 453289 33554432000 4194304 5849940 140723654461888 140723654460888 5444612 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32092160 140723654468790 140723654468868 140723654468868 140723654471626 0
/proc/20260/statm: 535494 453289 767 405 0 532438 0
Current children cumulated CPU time: 1116.71 s
Current children cumulated vsize: 2141976 KiB
Current children cumulated memory: 1813156 KiB

Child status: 0
Real time (s): 1116.77
CPU time (s): 1116.8
CPU user time (s): 1114.09
CPU system time (s): 2.70106
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2148004
Max. memory (cumulated for all children) (KiB): 1819184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1114.09
system time used= 2.70106
maximum resident set size= 1819184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140495
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= 497


# summary of solver processes directly reported to runsolver:
#   pid: 20260
#   total CPU time (s): 1116.8
#   total CPU user time (s): 1114.09
#   total CPU system time (s): 2.70106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23645 second user time and 7.4155 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-15 05:49:11
IDJOB=4309873
IDBENCH=141273
IDSOLVER=2794
FILE ID=node102/4309873-1534304950
RUNJOBID= node102-1534292346-18984
PBS_JOBID= 21038132
Free space on /tmp= 39400 MiB

SOLVER NAME= PicatSAT 2018-08-14
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-4309873-1534304950/watcher-4309873-1534304950 -o /tmp/evaluation-result-4309873-1534304950/solver-4309873-1534304950 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18984 --watchdog 2580  xcsp_picat HOME/instance-4309873-1534304950.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=30607474

node102.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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29090168 kB
MemAvailable:   31865232 kB
Buffers:          151184 kB
Cached:          2880788 kB
SwapCached:        51224 kB
Active:          1573280 kB
Inactive:        1556948 kB
Active(anon):      20980 kB
Inactive(anon):   128612 kB
Active(file):    1552300 kB
Inactive(file):  1428336 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030680 kB
Dirty:            128636 kB
Writeback:             0 kB
AnonPages:         50520 kB
Mapped:            55272 kB
Shmem:             49004 kB
Slab:             249172 kB
SReclaimable:     220524 kB
SUnreclaim:        28648 kB
KernelStack:        3488 kB
PageTables:         5104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2391392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 39396 MiB
End job on node102 at 2018-08-15 06:07:47