Trace number 4241518

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 NameAnswerCPU timeWall clock time
R1: Mistral-2.0 2017-06-28? (TO) 2400.05 2401.31

General information on the benchmark

NameHaystacks/Haystacks-m1-s1/
Haystacks-45.xml
MD5SUMf20f2034744f8df857f4af789a6cf941
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.6138
Satisfiable
(Un)Satisfiability was proved
Number of variables2025
Number of constraints44594
Number of domains1
Minimum domain size45
Maximum domain size45
Distribution of domain sizes[{"size":45,"count":2025}]
Minimum variable degree44
Maximum variable degree45
Distribution of variable degrees[{"degree":44,"count":1937},{"degree":45,"count":88}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":44594}]
Number of extensional constraints0
Number of intensional constraints44594
Distribution of constraint types[{"type":"intension","count":44594}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Mistral-2017-06-28
2400.04/2401.30	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-4241518-1500628640/watcher-4241518-1500628640 -o /tmp/evaluation-result-4241518-1500628640/solver-4241518-1500628640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500623785-5697 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1653631536 HOME/instance-4241518-1500628640.xml 

pid=6721
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 1.97 2.02 1.99 3/186 6724
/proc/meminfo: memFree=29651284/32770624 swapFree=6176/1801880
[pid=6724] ppid=6721 vsize=28800 CPUtime=0 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 946 0 0 0 0 0 0 0 20 0 1 0 17499518 29491200 765 33554432000 4194304 7402444 140730028141968 140730028139016 139714418895845 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 7200 765 593 784 0 214 0

[startup+0.100104 s]
/proc/loadavg: 1.97 2.02 1.99 3/186 6724
/proc/meminfo: memFree=29651284/32770624 swapFree=6176/1801880
[pid=6724] ppid=6721 vsize=31184 CPUtime=0.09 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 1566 0 0 0 9 0 0 0 20 0 1 0 17499518 31932416 1390 33554432000 4194304 7402444 140730028141968 140730028135208 5923130 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 7796 1390 632 784 0 810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31184

[startup+0.200226 s]
/proc/loadavg: 1.97 2.02 1.99 3/186 6724
/proc/meminfo: memFree=29651284/32770624 swapFree=6176/1801880
[pid=6724] ppid=6721 vsize=31704 CPUtime=0.19 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 1707 0 0 0 19 0 0 0 20 0 1 0 17499518 32464896 1484 33554432000 4194304 7402444 140730028141968 140730028135208 139714419334144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 7926 1484 632 784 0 940 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31704

[startup+0.3002 s]
/proc/loadavg: 1.97 2.02 1.99 3/186 6724
/proc/meminfo: memFree=29651284/32770624 swapFree=6176/1801880
[pid=6724] ppid=6721 vsize=31968 CPUtime=0.29 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 1802 0 0 0 29 0 0 0 20 0 1 0 17499518 32735232 1549 33554432000 4194304 7402444 140730028141968 140730028135208 6137077 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 7992 1549 632 784 0 1006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31968

[startup+0.700175 s]
/proc/loadavg: 1.97 2.02 1.99 3/186 6724
/proc/meminfo: memFree=29651284/32770624 swapFree=6176/1801880
[pid=6724] ppid=6721 vsize=34148 CPUtime=0.69 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 2528 0 0 0 69 0 0 0 20 0 1 0 17499518 34967552 2172 33554432000 4194304 7402444 140730028141968 140730028132536 5971552 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 8537 2172 725 784 0 1551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34148

[startup+1.50017 s]
/proc/loadavg: 1.97 2.02 1.99 3/187 6725
/proc/meminfo: memFree=29644204/32770624 swapFree=6176/1801980
[pid=6724] ppid=6721 vsize=36820 CPUtime=1.49 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 3204 0 0 0 149 0 0 0 20 0 1 0 17499518 37703680 2831 33554432000 4194304 7402444 140730028141968 140730028132712 6057667 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 9205 2831 725 784 0 2219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36820

[startup+3.10017 s]
/proc/loadavg: 1.97 2.02 1.99 3/187 6725
/proc/meminfo: memFree=29639740/32770624 swapFree=6176/1801980
[pid=6724] ppid=6721 vsize=45336 CPUtime=3.09 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 7945 0 0 0 308 1 0 0 20 0 1 0 17499518 46424064 4977 33554432000 4194304 7402444 140730028141968 140730028132536 6029833 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 11334 4977 725 784 0 4348 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45336

[startup+6.30017 s]
/proc/loadavg: 1.97 2.02 1.99 3/187 6725
/proc/meminfo: memFree=29626188/32770624 swapFree=6176/1801992
[pid=6724] ppid=6721 vsize=55124 CPUtime=6.29 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 11870 0 0 0 627 2 0 0 20 0 1 0 17499518 56446976 7384 33554432000 4194304 7402444 140730028141968 140730028132472 5905191 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 13781 7384 725 784 0 6795 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55124

[startup+12.7002 s]
/proc/loadavg: 1.97 2.02 1.99 3/187 6725
/proc/meminfo: memFree=29594636/32770624 swapFree=6176/1802000
[pid=6724] ppid=6721 vsize=82912 CPUtime=12.69 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 26297 0 0 0 1266 3 0 0 20 0 1 0 17499518 84901888 14392 33554432000 4194304 7402444 140730028141968 140730028133000 4731636 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 20728 14392 725 784 0 13742 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82912

[startup+25.5002 s]
/proc/loadavg: 1.98 2.01 1.99 3/187 6725
/proc/meminfo: memFree=29558392/32770624 swapFree=6176/1802008
[pid=6724] ppid=6721 vsize=120584 CPUtime=25.48 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 39656 0 0 0 2544 4 0 0 20 0 1 0 17499518 123478016 23779 33554432000 4194304 7402444 140730028141968 140730028132712 6057332 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 30146 23779 725 784 0 23160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 120584

[startup+51.1002 s]
/proc/loadavg: 1.99 2.01 1.99 3/187 6725
/proc/meminfo: memFree=29486700/32770624 swapFree=6176/1802020
[pid=6724] ppid=6721 vsize=190968 CPUtime=51.08 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 86026 0 0 0 5100 8 0 0 20 0 1 0 17499518 195551232 41332 33554432000 4194304 7402444 140730028141968 140730028132712 4731639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 47742 41332 729 784 0 40756 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190968

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 1.99 3/187 6851
/proc/meminfo: memFree=29764740/32770624 swapFree=6176/1802224
[pid=6724] ppid=6721 vsize=343840 CPUtime=102.25 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 195429 0 0 0 10208 17 0 0 20 0 1 0 17499518 352092160 79653 33554432000 4194304 7402444 140730028141968 140730028136424 5750503 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 85960 79653 769 784 0 78974 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 343840

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6859
/proc/meminfo: memFree=29759560/32770624 swapFree=6176/1802272
[pid=6724] ppid=6721 vsize=347932 CPUtime=162.18 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 242077 0 0 0 16198 20 0 0 20 0 1 0 17499518 356282368 80740 33554432000 4194304 7402444 140730028141968 140730028136296 5877540 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 86983 80740 769 784 0 79997 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 347932

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6860
/proc/meminfo: memFree=29759388/32770624 swapFree=6176/1802308
[pid=6724] ppid=6721 vsize=348328 CPUtime=222.13 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 265904 0 0 0 22192 21 0 0 20 0 1 0 17499518 356687872 80843 33554432000 4194304 7402444 140730028141968 140730028136424 5870976 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87082 80843 769 784 0 80096 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 348328

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6861
/proc/meminfo: memFree=29758800/32770624 swapFree=6176/1802344
[pid=6724] ppid=6721 vsize=348592 CPUtime=282.09 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 266673 0 0 0 28187 22 0 0 20 0 1 0 17499518 356958208 80919 33554432000 4194304 7402444 140730028141968 140730028136552 5877690 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87148 80919 769 784 0 80162 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 348592

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6862
/proc/meminfo: memFree=29758852/32770624 swapFree=6176/1802372
[pid=6724] ppid=6721 vsize=348856 CPUtime=342.06 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 267449 0 0 0 34184 22 0 0 20 0 1 0 17499518 357228544 80964 33554432000 4194304 7402444 140730028141968 140730028136552 5872796 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87214 80964 769 784 0 80228 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 348856

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6863
/proc/meminfo: memFree=29758472/32770624 swapFree=6176/1802404
[pid=6724] ppid=6721 vsize=349120 CPUtime=402.03 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 268281 0 0 0 40181 22 0 0 20 0 1 0 17499518 357498880 81021 33554432000 4194304 7402444 140730028141968 140730028136552 5758830 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87280 81021 769 784 0 80294 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 349120

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6865
/proc/meminfo: memFree=29757740/32770624 swapFree=6176/1802436
[pid=6724] ppid=6721 vsize=349120 CPUtime=462 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 269122 0 0 0 46178 22 0 0 20 0 1 0 17499518 357498880 81057 33554432000 4194304 7402444 140730028141968 140730028136552 5750775 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87280 81057 769 784 0 80294 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 349120

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/187 6866
/proc/meminfo: memFree=29758248/32770624 swapFree=6176/1802472
[pid=6724] ppid=6721 vsize=349252 CPUtime=521.97 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 269994 0 0 0 52175 22 0 0 20 0 1 0 17499518 357634048 81084 33554432000 4194304 7402444 140730028141968 140730028136552 5750496 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87313 81084 769 784 0 80327 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 349252

[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/187 6867
/proc/meminfo: memFree=29758124/32770624 swapFree=6176/1802512
[pid=6724] ppid=6721 vsize=349384 CPUtime=581.94 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 270912 0 0 0 58172 22 0 0 20 0 1 0 17499518 357769216 81119 33554432000 4194304 7402444 140730028141968 140730028136552 4529200 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87346 81119 769 784 0 80360 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 349384


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

[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.01 3/188 6900
/proc/meminfo: memFree=29755936/32770624 swapFree=6176/1803032
[pid=6724] ppid=6721 vsize=350572 CPUtime=1541.48 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 284839 0 0 0 154121 27 0 0 20 0 1 0 17499518 358985728 81392 33554432000 4194304 7402444 140730028141968 140730028136552 5877655 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87643 81392 769 784 0 80657 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 350572

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/188 6901
/proc/meminfo: memFree=29755796/32770624 swapFree=6176/1803060
[pid=6724] ppid=6721 vsize=350572 CPUtime=1601.44 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 285497 0 0 0 160117 27 0 0 20 0 1 0 17499518 358985728 81397 33554432000 4194304 7402444 140730028141968 140730028136552 5750775 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87643 81397 769 784 0 80657 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 350572

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/187 6902
/proc/meminfo: memFree=29755920/32770624 swapFree=6176/1803092
[pid=6724] ppid=6721 vsize=350572 CPUtime=1661.41 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 286149 0 0 0 166114 27 0 0 20 0 1 0 17499518 358985728 81405 33554432000 4194304 7402444 140730028141968 140730028136552 4747338 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87643 81405 769 784 0 80657 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 350572

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/187 6903
/proc/meminfo: memFree=29755664/32770624 swapFree=6176/1803120
[pid=6724] ppid=6721 vsize=350572 CPUtime=1721.37 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 286816 0 0 0 172110 27 0 0 20 0 1 0 17499518 358985728 81414 33554432000 4194304 7402444 140730028141968 140730028136552 5877644 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87643 81414 769 784 0 80657 0
Current children cumulated CPU time (s) 1721.37
Current children cumulated vsize (KiB) 350572

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/187 6904
/proc/meminfo: memFree=29755772/32770624 swapFree=6176/1803156
[pid=6724] ppid=6721 vsize=350572 CPUtime=1781.34 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 287492 0 0 0 178107 27 0 0 20 0 1 0 17499518 358985728 81420 33554432000 4194304 7402444 140730028141968 140730028136552 5750759 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87643 81420 769 784 0 80657 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (KiB) 350572

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 6905
/proc/meminfo: memFree=29755632/32770624 swapFree=6176/1803188
[pid=6724] ppid=6721 vsize=350704 CPUtime=1841.32 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 288171 0 0 0 184104 28 0 0 20 0 1 0 17499518 359120896 81425 33554432000 4194304 7402444 140730028141968 140730028136552 5324420 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87676 81425 769 784 0 80690 0
Current children cumulated CPU time (s) 1841.32
Current children cumulated vsize (KiB) 350704

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 6906
/proc/meminfo: memFree=29755616/32770624 swapFree=6176/1803216
[pid=6724] ppid=6721 vsize=350704 CPUtime=1901.29 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 288856 0 0 0 190101 28 0 0 20 0 1 0 17499518 359120896 81428 33554432000 4194304 7402444 140730028141968 140730028136552 5871010 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87676 81428 769 784 0 80690 0
Current children cumulated CPU time (s) 1901.29
Current children cumulated vsize (KiB) 350704

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 6914
/proc/meminfo: memFree=29754568/32770624 swapFree=6176/1803244
[pid=6724] ppid=6721 vsize=350704 CPUtime=1961.26 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 289552 0 0 0 196098 28 0 0 20 0 1 0 17499518 359120896 81438 33554432000 4194304 7402444 140730028141968 140730028136552 4747176 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87676 81438 769 784 0 80690 0
Current children cumulated CPU time (s) 1961.26
Current children cumulated vsize (KiB) 350704

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 6915
/proc/meminfo: memFree=29755192/32770624 swapFree=6176/1803284
[pid=6724] ppid=6721 vsize=350704 CPUtime=2021.22 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 290261 0 0 0 202094 28 0 0 20 0 1 0 17499518 359120896 81449 33554432000 4194304 7402444 140730028141968 140730028136552 5878677 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87676 81449 769 784 0 80690 0
Current children cumulated CPU time (s) 2021.22
Current children cumulated vsize (KiB) 350704

[startup+2082.3 s]
/proc/loadavg: 2.10 2.04 2.03 3/187 6916
/proc/meminfo: memFree=29755204/32770624 swapFree=6176/1803320
[pid=6724] ppid=6721 vsize=350836 CPUtime=2081.21 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 290979 0 0 0 208092 29 0 0 20 0 1 0 17499518 359256064 81463 33554432000 4194304 7402444 140730028141968 140730028136552 4747338 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87709 81463 769 784 0 80723 0
Current children cumulated CPU time (s) 2081.21
Current children cumulated vsize (KiB) 350836

[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/187 6917
/proc/meminfo: memFree=29755324/32770624 swapFree=6176/1803356
[pid=6724] ppid=6721 vsize=350836 CPUtime=2141.17 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 291705 0 0 0 214088 29 0 0 20 0 1 0 17499518 359256064 81469 33554432000 4194304 7402444 140730028141968 140730028136552 4529236 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87709 81469 769 784 0 80723 0
Current children cumulated CPU time (s) 2141.17
Current children cumulated vsize (KiB) 350836

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.03 3/187 6918
/proc/meminfo: memFree=29755432/32770624 swapFree=6176/1803388
[pid=6724] ppid=6721 vsize=350836 CPUtime=2201.14 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 292428 0 0 0 220085 29 0 0 20 0 1 0 17499518 359256064 81476 33554432000 4194304 7402444 140730028141968 140730028136552 4237755 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87709 81476 769 784 0 80723 0
Current children cumulated CPU time (s) 2201.14
Current children cumulated vsize (KiB) 350836

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/187 6920
/proc/meminfo: memFree=29755276/32770624 swapFree=6176/1803416
[pid=6724] ppid=6721 vsize=350968 CPUtime=2261.11 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 293179 0 0 0 226082 29 0 0 20 0 1 0 17499518 359391232 81485 33554432000 4194304 7402444 140730028141968 140730028136552 139714422331043 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87742 81485 769 784 0 80756 0
Current children cumulated CPU time (s) 2261.11
Current children cumulated vsize (KiB) 350968

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/187 6921
/proc/meminfo: memFree=29755028/32770624 swapFree=6176/1803452
[pid=6724] ppid=6721 vsize=350968 CPUtime=2321.08 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 293919 0 0 0 232079 29 0 0 20 0 1 0 17499518 359391232 81489 33554432000 4194304 7402444 140730028141968 140730028136552 5750759 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87742 81489 769 784 0 80756 0
Current children cumulated CPU time (s) 2321.08
Current children cumulated vsize (KiB) 350968

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 6922
/proc/meminfo: memFree=29755152/32770624 swapFree=6176/1803500
[pid=6724] ppid=6721 vsize=350968 CPUtime=2381.04 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 294661 0 0 0 238075 29 0 0 20 0 1 0 17499518 359391232 81493 33554432000 4194304 7402444 140730028141968 140730028136552 4708116 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87742 81493 769 784 0 80756 0
Current children cumulated CPU time (s) 2381.04
Current children cumulated vsize (KiB) 350968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 6922
/proc/meminfo: memFree=29755152/32770624 swapFree=6176/1803508
[pid=6724] ppid=6721 vsize=350968 CPUtime=2400.04 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 294663 0 0 0 239975 29 0 0 20 0 1 0 17499518 359391232 81493 33554432000 4194304 7402444 140730028141968 140730028136552 5758796 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87742 81493 769 784 0 80756 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 350968

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 6724 sig 9
??? kill -6724 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 6922
/proc/meminfo: memFree=29755152/32770624 swapFree=6176/1803508
[pid=6724] ppid=6721 vsize=350968 CPUtime=2400.04 cores=0,2,4,6
/proc/6724/stat : 6724 (MistralXCSP) R 6721 6724 5666 0 -1 4202496 294663 0 0 0 239975 29 0 0 20 0 1 0 17499518 359391232 81493 33554432000 4194304 7402444 140730028141968 140730028136552 5758796 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 19701760 140730028147880 140730028148030 140730028148030 140730028150729 0
/proc/6724/statm: 87742 81493 769 784 0 80756 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 350968

Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.05
CPU user time (s): 2399.76
CPU system time (s): 0.297855
CPU usage (%): 99.9477
Max. virtual memory (cumulated for all children) (KiB): 350968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.76
system time used= 0.297855
maximum resident set size= 326004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294693
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= 115
involuntary context switches= 125180

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13445 second user time and 9.98118 second system time

The end

Launcher Data 

Begin job on node115 at 2017-07-21 11:17:20
IDJOB=4241518
IDBENCH=126928
IDSOLVER=2622
FILE ID=node115/4241518-1500628640
RUNJOBID= node115-1500623785-5697
PBS_JOBID= 20623016
Free space on /tmp= 61988 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-45.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-4241518-1500628640/watcher-4241518-1500628640 -o /tmp/evaluation-result-4241518-1500628640/solver-4241518-1500628640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500623785-5697 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1653631536 HOME/instance-4241518-1500628640.xml

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

MD5SUM BENCH= f20f2034744f8df857f4af789a6cf941
RANDOM SEED=1653631536

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

/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		: 2133.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.26
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		: 1600.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		: 1733.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.26
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		: 1600.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.26
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		: 1600.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		: 1733.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.26
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		: 1600.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:        29651864 kB
MemAvailable:   31571292 kB
Buffers:          158924 kB
Cached:          2047328 kB
SwapCached:            0 kB
Active:           876688 kB
Inactive:        1818940 kB
Active(anon):     492052 kB
Inactive(anon):    17060 kB
Active(file):     384636 kB
Inactive(file):  1801880 kB
Unevictable:        6176 kB
Mlocked:            6176 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7336 kB
Writeback:             4 kB
AnonPages:        494852 kB
Mapped:            34180 kB
Shmem:             17040 kB
Slab:             123108 kB
SReclaimable:      97492 kB
SUnreclaim:        25616 kB
KernelStack:        3296 kB
PageTables:         5932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     771324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 61984 MiB
End job on node115 at 2017-07-21 11:57:22