Trace number 4261074

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
Mistral-2.0 2017-07-28? (TO) 2519.79 2520

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-13.xml
MD5SUM83249ccae4b5534eb2335929a7f4c3a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark19880.199
Satisfiable
(Un)Satisfiability was proved
Number of variables209
Number of constraints208
Number of domains2
Minimum domain size2
Maximum domain size169
Distribution of domain sizes[{"size":2,"count":39},{"size":169,"count":170}]
Minimum variable degree2
Maximum variable degree39
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":128},{"degree":4,"count":39},{"degree":39,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":168},{"arity":3,"count":39},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints207
Distribution of constraint types[{"type":"intension","count":207},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.09	c 280717
2519.78/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261074-1502375012/watcher-4261074-1502375012 -o /tmp/evaluation-result-4261074-1502375012/solver-4261074-1502375012 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 955864747 HOME/instance-4261074-1502375012.xml 

pid=14342
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 14345
/proc/meminfo: memFree=31031276/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14345/stat : 14345 (runsolver) D 14342 14345 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 39694689 24240128 107 18446744073709551615 4194304 4338465 140734075233440 140734075231080 140207823237847 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 36933632 140734075240589 140734075241034 140734075241034 140734075244490 0
/proc/14345/statm: 5918 107 54 36 0 2156 0

[startup+0.105803 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 14345
/proc/meminfo: memFree=31031276/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=29192 CPUtime=0.01 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 1171 0 0 0 1 0 0 0 20 0 1 0 39694689 29892608 1000 18446744073709551615 4194304 7396336 140731952700032 140731952689592 6035905 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 7298 1000 734 782 0 314 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29192

[startup+0.200804 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 14345
/proc/meminfo: memFree=31031276/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=30868 CPUtime=0.1 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 1615 0 0 0 10 0 0 0 20 0 1 0 39694689 31608832 1426 18446744073709551615 4194304 7396336 140731952700032 140731952690920 139842919150680 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 7717 1426 734 782 0 733 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30868

[startup+0.300244 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 14345
/proc/meminfo: memFree=31031276/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=33016 CPUtime=0.2 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 2192 0 0 0 20 0 0 0 20 0 1 0 39694689 33808384 1989 18446744073709551615 4194304 7396336 140731952700032 140731952690920 4566032 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 8254 1989 734 782 0 1270 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 33016

[startup+0.70026 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 14345
/proc/meminfo: memFree=31031276/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=38276 CPUtime=0.6 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 3600 0 0 0 60 0 0 0 20 0 1 0 39694689 39194624 3300 18446744073709551615 4194304 7396336 140731952700032 140731952690920 4246577 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9569 3300 791 782 0 2585 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 38276

[startup+1.50023 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14346
/proc/meminfo: memFree=31021340/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=38408 CPUtime=1.4 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 3630 0 0 0 140 0 0 0 20 0 1 0 39694689 39329792 3366 18446744073709551615 4194304 7396336 140731952700032 140731952694280 4406506 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9602 3366 792 782 0 2618 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38408

[startup+3.10022 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14346
/proc/meminfo: memFree=31020596/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=38664 CPUtime=3 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 5802 0 0 0 300 0 0 0 20 0 1 0 39694689 39591936 3435 18446744073709551615 4194304 7396336 140731952700032 140731952694280 4581738 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9666 3435 793 782 0 2682 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 38664

[startup+6.30024 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14346
/proc/meminfo: memFree=31020596/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=38796 CPUtime=6.19 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 8083 0 0 0 619 0 0 0 20 0 1 0 39694689 39727104 3489 18446744073709551615 4194304 7396336 140731952700032 140731952694424 5686498 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9699 3489 793 782 0 2715 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 38796

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14346
/proc/meminfo: memFree=31019912/32770624 swapFree=0/528080
[pid=14345] ppid=14342 vsize=38928 CPUtime=12.6 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 10357 0 0 0 1259 1 0 0 20 0 1 0 39694689 39862272 3525 18446744073709551615 4194304 7396336 140731952700032 140731952694424 4263715 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9732 3525 793 782 0 2748 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 38928

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14347
/proc/meminfo: memFree=31019184/32770624 swapFree=0/528116
[pid=14345] ppid=14342 vsize=39192 CPUtime=25.4 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 14912 0 0 0 2539 1 0 0 20 0 1 0 39694689 40132608 3579 18446744073709551615 4194304 7396336 140731952700032 140731952694280 4252486 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9798 3579 793 782 0 2814 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 39192

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 14362
/proc/meminfo: memFree=31015212/32770624 swapFree=0/528128
[pid=14345] ppid=14342 vsize=39324 CPUtime=51 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 17242 0 0 0 5099 1 0 0 20 0 1 0 39694689 40267776 3596 18446744073709551615 4194304 7396336 140731952700032 140731952694280 5685397 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9831 3596 793 782 0 2847 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 39324

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14425
/proc/meminfo: memFree=31262220/32770624 swapFree=0/528196
[pid=14345] ppid=14342 vsize=39324 CPUtime=102.2 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 19606 0 0 0 10219 1 0 0 20 0 1 0 39694689 40267776 3615 18446744073709551615 4194304 7396336 140731952700032 140731952694280 139842912940530 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9831 3615 793 782 0 2847 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 39324

[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 14427
/proc/meminfo: memFree=31262264/32770624 swapFree=0/528228
[pid=14345] ppid=14342 vsize=39456 CPUtime=162.19 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 20192 0 0 0 16218 1 0 0 20 0 1 0 39694689 40402944 3637 18446744073709551615 4194304 7396336 140731952700032 140731952694328 4406583 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9864 3637 793 782 0 2880 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 39456

[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 14429
/proc/meminfo: memFree=31262032/32770624 swapFree=0/528220
[pid=14345] ppid=14342 vsize=39456 CPUtime=222.19 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 20760 0 0 0 22218 1 0 0 20 0 1 0 39694689 40402944 3646 18446744073709551615 4194304 7396336 140731952700032 140731952694328 5165800 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9864 3646 793 782 0 2880 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 39456

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 14431
/proc/meminfo: memFree=31261536/32770624 swapFree=0/528216
[pid=14345] ppid=14342 vsize=39456 CPUtime=282.18 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 21358 0 0 0 28217 1 0 0 20 0 1 0 39694689 40402944 3654 18446744073709551615 4194304 7396336 140731952700032 140731952694328 5165752 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9864 3654 793 782 0 2880 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 39456

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14433
/proc/meminfo: memFree=31261964/32770624 swapFree=0/528228
[pid=14345] ppid=14342 vsize=39456 CPUtime=342.18 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 21935 0 0 0 34217 1 0 0 20 0 1 0 39694689 40402944 3659 18446744073709551615 4194304 7396336 140731952700032 140731952694328 4406506 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9864 3659 793 782 0 2880 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 39456

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14435
/proc/meminfo: memFree=31261964/32770624 swapFree=0/528232
[pid=14345] ppid=14342 vsize=39456 CPUtime=402.18 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 22517 0 0 0 40217 1 0 0 20 0 1 0 39694689 40402944 3662 18446744073709551615 4194304 7396336 140731952700032 140731952694328 5834240 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9864 3662 793 782 0 2880 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 39456

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14437
/proc/meminfo: memFree=31261964/32770624 swapFree=0/528244
[pid=14345] ppid=14342 vsize=39588 CPUtime=462.17 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 23117 0 0 0 46216 1 0 0 20 0 1 0 39694689 40538112 3665 18446744073709551615 4194304 7396336 140731952700032 140731952694552 4410869 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9897 3665 793 782 0 2913 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 39588

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14439
/proc/meminfo: memFree=31261840/32770624 swapFree=0/528252
[pid=14345] ppid=14342 vsize=39588 CPUtime=522.17 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 23706 0 0 0 52216 1 0 0 20 0 1 0 39694689 40538112 3666 18446744073709551615 4194304 7396336 140731952700032 140731952694552 139842916382437 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9897 3666 793 782 0 2913 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 39588

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 14441
/proc/meminfo: memFree=31262192/32770624 swapFree=0/528256
[pid=14345] ppid=14342 vsize=39588 CPUtime=582.17 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 24298 0 0 0 58216 1 0 0 20 0 1 0 39694689 40538112 3668 18446744073709551615 4194304 7396336 140731952700032 140731952694552 4257784 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9897 3668 793 782 0 2913 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 39588


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14506
/proc/meminfo: memFree=31259940/32770624 swapFree=0/528564
[pid=14345] ppid=14342 vsize=39588 CPUtime=1602.12 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 34511 0 0 0 160211 1 0 0 20 0 1 0 39694689 40538112 3694 18446744073709551615 4194304 7396336 140731952700032 140731952694552 4245092 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9897 3694 793 782 0 2913 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 39588

[startup+1662.3 s]
/proc/loadavg: 2.29 2.09 2.07 3/181 14508
/proc/meminfo: memFree=31260052/32770624 swapFree=0/528560
[pid=14345] ppid=14342 vsize=39720 CPUtime=1662.11 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 35135 0 0 0 166210 1 0 0 20 0 1 0 39694689 40673280 3695 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4406389 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3695 793 782 0 2946 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 39720

[startup+1722.3 s]
/proc/loadavg: 2.17 2.10 2.07 3/181 14510
/proc/meminfo: memFree=31259804/32770624 swapFree=0/528576
[pid=14345] ppid=14342 vsize=39720 CPUtime=1722.11 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 35753 0 0 0 172210 1 0 0 20 0 1 0 39694689 40673280 3701 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4406583 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3701 793 782 0 2946 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 39720

[startup+1782.3 s]
/proc/loadavg: 2.10 2.10 2.07 3/181 14512
/proc/meminfo: memFree=31260052/32770624 swapFree=0/528592
[pid=14345] ppid=14342 vsize=39720 CPUtime=1782.11 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 36370 0 0 0 178210 1 0 0 20 0 1 0 39694689 40673280 3702 18446744073709551615 4194304 7396336 140731952700032 140731952694232 5797673 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3702 793 782 0 2946 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 39720

[startup+1842.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/184 14528
/proc/meminfo: memFree=31254796/32770624 swapFree=0/528624
[pid=14345] ppid=14342 vsize=39720 CPUtime=1842.1 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 36994 0 0 0 184209 1 0 0 20 0 1 0 39694689 40673280 3702 18446744073709551615 4194304 7396336 140731952700032 140731952694232 5685397 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3702 793 782 0 2946 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 39720

[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/184 14530
/proc/meminfo: memFree=31255820/32770624 swapFree=0/528648
[pid=14345] ppid=14342 vsize=39720 CPUtime=1902.1 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 37613 0 0 0 190209 1 0 0 20 0 1 0 39694689 40673280 3703 18446744073709551615 4194304 7396336 140731952700032 140731952694232 139842912939548 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3703 793 782 0 2946 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 39720

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/181 14532
/proc/meminfo: memFree=31258812/32770624 swapFree=0/528668
[pid=14345] ppid=14342 vsize=39720 CPUtime=1962.1 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 38237 0 0 0 196209 1 0 0 20 0 1 0 39694689 40673280 3703 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4321591 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3703 793 782 0 2946 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 39720

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 14534
/proc/meminfo: memFree=31259304/32770624 swapFree=0/528664
[pid=14345] ppid=14342 vsize=39720 CPUtime=2022.1 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 38872 0 0 0 202209 1 0 0 20 0 1 0 39694689 40673280 3703 18446744073709551615 4194304 7396336 140731952700032 140731952694232 139842919119456 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3703 793 782 0 2946 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 39720

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 14536
/proc/meminfo: memFree=31259908/32770624 swapFree=0/528676
[pid=14345] ppid=14342 vsize=39720 CPUtime=2082.1 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 39491 0 0 0 208209 1 0 0 20 0 1 0 39694689 40673280 3704 18446744073709551615 4194304 7396336 140731952700032 140731952694232 139842912944714 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3704 793 782 0 2946 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 39720

[startup+2142.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 14538
/proc/meminfo: memFree=31259972/32770624 swapFree=0/528692
[pid=14345] ppid=14342 vsize=39720 CPUtime=2142.09 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 40138 0 0 0 214208 1 0 0 20 0 1 0 39694689 40673280 3704 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4406506 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3704 793 782 0 2946 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 39720

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 14540
/proc/meminfo: memFree=31260220/32770624 swapFree=0/528720
[pid=14345] ppid=14342 vsize=39720 CPUtime=2202.09 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 40762 0 0 0 220208 1 0 0 20 0 1 0 39694689 40673280 3705 18446744073709551615 4194304 7396336 140731952700032 140731952694232 5686445 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3705 793 782 0 2946 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 39720

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 14542
/proc/meminfo: memFree=31259980/32770624 swapFree=0/528736
[pid=14345] ppid=14342 vsize=39720 CPUtime=2262.09 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 41394 0 0 0 226207 2 0 0 20 0 1 0 39694689 40673280 3706 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4333888 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3706 793 782 0 2946 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 39720

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 14544
/proc/meminfo: memFree=31260448/32770624 swapFree=0/528756
[pid=14345] ppid=14342 vsize=39720 CPUtime=2322.09 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 42019 0 0 0 232207 2 0 0 20 0 1 0 39694689 40673280 3707 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4320960 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3707 793 782 0 2946 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 39720

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14546
/proc/meminfo: memFree=31259704/32770624 swapFree=0/528764
[pid=14345] ppid=14342 vsize=39720 CPUtime=2382.09 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 42653 0 0 0 238207 2 0 0 20 0 1 0 39694689 40673280 3707 18446744073709551615 4194304 7396336 140731952700032 140731952694232 4320974 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3707 793 782 0 2946 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 39720

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 14563
/proc/meminfo: memFree=31254972/32770624 swapFree=0/528752
[pid=14345] ppid=14342 vsize=39720 CPUtime=2442.08 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 43283 0 0 0 244206 2 0 0 20 0 1 0 39694689 40673280 3707 18446744073709551615 4194304 7396336 140731952700032 140731952694232 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3707 793 782 0 2946 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 39720

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14565
/proc/meminfo: memFree=31255756/32770624 swapFree=0/528760
[pid=14345] ppid=14342 vsize=39720 CPUtime=2502.08 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 43909 0 0 0 250206 2 0 0 20 0 1 0 39694689 40673280 3707 18446744073709551615 4194304 7396336 140731952700032 140731952694232 5869856 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3707 793 782 0 2946 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 39720



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14566
/proc/meminfo: memFree=31255856/32770624 swapFree=0/528780
[pid=14345] ppid=14342 vsize=39720 CPUtime=2519.78 cores=1,3,5,7
/proc/14345/stat : 14345 (MistralXCSP) R 14342 14345 16590 0 -1 4202496 44492 0 0 0 251976 2 0 0 20 0 1 0 39694689 40673280 3707 18446744073709551615 4194304 7396336 140731952700032 140731952694232 5685339 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 13561856 140731952705972 140731952706121 140731952706121 140731952709577 0
/proc/14345/statm: 9930 3707 793 782 0 2946 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 39720

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14345 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520
CPU time (s): 2519.79
CPU user time (s): 2519.76
CPU system time (s): 0.022998
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 39720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.76
system time used= 0.022998
maximum resident set size= 14848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44523
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= 12
involuntary context switches= 784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34561 second user time and 8.20025 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-10 16:09:25
IDJOB=4261074
IDBENCH=130618
IDSOLVER=2649
FILE ID=node127/4261074-1502375012
RUNJOBID= node127-1502331240-8162
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-13.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261074-1502375012/watcher-4261074-1502375012 -o /tmp/evaluation-result-4261074-1502375012/solver-4261074-1502375012 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 955864747 HOME/instance-4261074-1502375012.xml

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

MD5SUM BENCH= 83249ccae4b5534eb2335929a7f4c3a6
RANDOM SEED=955864747

node127.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.92
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.92
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.92
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.92
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:        31031276 kB
MemAvailable:   31737212 kB
Buffers:          230120 kB
Cached:           767148 kB
SwapCached:            0 kB
Active:           767956 kB
Inactive:         552988 kB
Active(anon):     324012 kB
Inactive(anon):    24908 kB
Active(file):     443944 kB
Inactive(file):   528080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5824 kB
Writeback:             0 kB
AnonPages:        278496 kB
Mapped:            41436 kB
Shmem:             25252 kB
Slab:             124264 kB
SReclaimable:      99496 kB
SUnreclaim:        24768 kB
KernelStack:        3280 kB
PageTables:         5436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     583968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-10 16:51:25