Trace number 4241522

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.1 2401.8

General information on the benchmark

NameHaystacks/Haystacks-m1-s1/
Haystacks-42.xml
MD5SUM577152cdcea6c8cfe7178c788ad80cb4
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 benchmark26.2085
Satisfiable
(Un)Satisfiability was proved
Number of variables1764
Number of constraints36203
Number of domains1
Minimum domain size42
Maximum domain size42
Distribution of domain sizes[{"size":42,"count":1764}]
Minimum variable degree41
Maximum variable degree42
Distribution of variable degrees[{"degree":41,"count":1682},{"degree":42,"count":82}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":36203}]
Number of extensional constraints0
Number of intensional constraints36203
Distribution of constraint types[{"type":"intension","count":36203}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Mistral-2017-06-28
2400.09/2401.80	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-4241522-1500628655/watcher-4241522-1500628655 -o /tmp/evaluation-result-4241522-1500628655/solver-4241522-1500628655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500623787-5991 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 813064556 HOME/instance-4241522-1500628655.xml 

pid=6695
running on 4 cores: 1,3,5,7

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: 2.00 2.01 1.99 2/186 6698
/proc/meminfo: memFree=31498628/32770624 swapFree=6372/269004
[pid=6698] ppid=6695 vsize=28800 CPUtime=0 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 956 0 0 0 0 0 0 0 20 0 1 0 17545740 29491200 765 33554432000 4194304 7402444 140732902741312 140732902738360 140565560761317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 7200 765 593 784 0 214 0

[startup+0.100114 s]
/proc/loadavg: 2.00 2.01 1.99 2/186 6698
/proc/meminfo: memFree=31498628/32770624 swapFree=6372/269004
[pid=6698] ppid=6695 vsize=30916 CPUtime=0.09 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 1503 0 0 0 9 0 0 0 20 0 1 0 17545740 31657984 1292 33554432000 4194304 7402444 140732902741312 140732902734552 140565560761317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 7729 1292 632 784 0 743 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30916

[startup+0.200261 s]
/proc/loadavg: 2.00 2.01 1.99 2/186 6698
/proc/meminfo: memFree=31498628/32770624 swapFree=6372/269004
[pid=6698] ppid=6695 vsize=31436 CPUtime=0.19 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 1647 0 0 0 19 0 0 0 20 0 1 0 17545740 32190464 1393 33554432000 4194304 7402444 140732902741312 140732902734552 140565561199616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 7859 1393 632 784 0 873 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31436

[startup+0.300185 s]
/proc/loadavg: 2.00 2.01 1.99 2/186 6698
/proc/meminfo: memFree=31498628/32770624 swapFree=6372/269004
[pid=6698] ppid=6695 vsize=31952 CPUtime=0.29 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 1885 0 0 0 29 0 0 0 20 0 1 0 17545740 32718848 1570 33554432000 4194304 7402444 140732902741312 140732902734552 140565560759185 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 7988 1570 680 784 0 1002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31952

[startup+0.700174 s]
/proc/loadavg: 2.00 2.01 1.99 2/186 6698
/proc/meminfo: memFree=31498628/32770624 swapFree=6372/269004
[pid=6698] ppid=6695 vsize=32348 CPUtime=0.69 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 1991 0 0 0 69 0 0 0 20 0 1 0 17545740 33124352 1636 33554432000 4194304 7402444 140732902741312 140732902732312 6047855 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 8087 1636 681 784 0 1101 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32348

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6699
/proc/meminfo: memFree=31494028/32770624 swapFree=6372/268848
[pid=6698] ppid=6695 vsize=33164 CPUtime=1.49 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 2196 0 0 0 149 0 0 0 20 0 1 0 17545740 33959936 1834 33554432000 4194304 7402444 140732902741312 140732902732056 6047518 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 8291 1834 681 784 0 1305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33164

[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6699
/proc/meminfo: memFree=31492424/32770624 swapFree=6372/268848
[pid=6698] ppid=6695 vsize=35092 CPUtime=3.09 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 3007 0 0 0 309 0 0 0 20 0 1 0 17545740 35934208 2341 33554432000 4194304 7402444 140732902741312 140732902732056 6047844 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 8773 2341 681 784 0 1787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35092

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6699
/proc/meminfo: memFree=31488632/32770624 swapFree=6372/268856
[pid=6698] ppid=6695 vsize=38380 CPUtime=6.28 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 4685 0 0 0 628 0 0 0 20 0 1 0 17545740 39301120 3152 33554432000 4194304 7402444 140732902741312 140732902732056 5940050 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 9595 3152 681 784 0 2609 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38380

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6699
/proc/meminfo: memFree=31481192/32770624 swapFree=6372/268868
[pid=6698] ppid=6695 vsize=48180 CPUtime=12.69 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 9595 0 0 0 1268 1 0 0 20 0 1 0 17545740 49336320 5667 33554432000 4194304 7402444 140732902741312 140732902732056 140565560753778 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 12045 5667 729 784 0 5059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48180

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6699
/proc/meminfo: memFree=31431128/32770624 swapFree=6372/268872
[pid=6698] ppid=6695 vsize=95036 CPUtime=25.48 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 35983 0 0 0 2545 3 0 0 20 0 1 0 17545740 97316864 17305 33554432000 4194304 7402444 140732902741312 140732902732056 6012438 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 23759 17305 729 784 0 16773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95036

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 6699
/proc/meminfo: memFree=31278744/32770624 swapFree=6372/268884
[pid=6698] ppid=6695 vsize=249508 CPUtime=51.07 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 104581 0 0 0 5097 10 0 0 20 0 1 0 17545740 255496192 56005 33554432000 4194304 7402444 140732902741312 140732902735640 5758736 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 62377 56005 769 784 0 55391 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 249508

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/187 6762
/proc/meminfo: memFree=31238448/32770624 swapFree=6372/268968
[pid=6698] ppid=6695 vsize=285208 CPUtime=102.22 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 157295 0 0 0 10208 14 0 0 20 0 1 0 17545740 292052992 65026 33554432000 4194304 7402444 140732902741312 140732902735672 5750706 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71302 65026 769 784 0 64316 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 285208

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/187 6770
/proc/meminfo: memFree=31236792/32770624 swapFree=6372/269016
[pid=6698] ppid=6695 vsize=285472 CPUtime=162.15 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 189274 0 0 0 16199 16 0 0 20 0 1 0 17545740 292323328 65131 33554432000 4194304 7402444 140732902741312 140732902735672 5878467 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71368 65131 769 784 0 64382 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 285472

[startup+222.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/187 6771
/proc/meminfo: memFree=31237424/32770624 swapFree=6372/269048
[pid=6698] ppid=6695 vsize=285604 CPUtime=222.1 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 199519 0 0 0 22194 16 0 0 20 0 1 0 17545740 292458496 65135 33554432000 4194304 7402444 140732902741312 140732902735896 4747176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65135 769 784 0 64415 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 285604

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/187 6772
/proc/meminfo: memFree=31238000/32770624 swapFree=6372/269080
[pid=6698] ppid=6695 vsize=285604 CPUtime=282.05 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 200821 0 0 0 28189 16 0 0 20 0 1 0 17545740 292458496 65155 33554432000 4194304 7402444 140732902741312 140732902735896 5877510 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65155 769 784 0 64415 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 285604

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/187 6773
/proc/meminfo: memFree=31237752/32770624 swapFree=6372/269108
[pid=6698] ppid=6695 vsize=285604 CPUtime=342.01 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 202123 0 0 0 34185 16 0 0 20 0 1 0 17545740 292458496 65156 33554432000 4194304 7402444 140732902741312 140732902735896 5750759 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65156 769 784 0 64415 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 285604

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 6774
/proc/meminfo: memFree=31237132/32770624 swapFree=6372/269144
[pid=6698] ppid=6695 vsize=285604 CPUtime=401.97 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 203430 0 0 0 40181 16 0 0 20 0 1 0 17545740 292458496 65160 33554432000 4194304 7402444 140732902741312 140732902735896 5750503 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65160 769 784 0 64415 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 285604

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 6776
/proc/meminfo: memFree=31237504/32770624 swapFree=6372/269184
[pid=6698] ppid=6695 vsize=285604 CPUtime=461.93 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 204737 0 0 0 46176 17 0 0 20 0 1 0 17545740 292458496 65161 33554432000 4194304 7402444 140732902741312 140732902735896 5758830 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65161 769 784 0 64415 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 285604

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 6777
/proc/meminfo: memFree=31237164/32770624 swapFree=6372/269216
[pid=6698] ppid=6695 vsize=285604 CPUtime=521.89 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 206048 0 0 0 52172 17 0 0 20 0 1 0 17545740 292458496 65163 33554432000 4194304 7402444 140732902741312 140732902735896 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65163 769 784 0 64415 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 285604

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 6778
/proc/meminfo: memFree=31237352/32770624 swapFree=6372/269244
[pid=6698] ppid=6695 vsize=285604 CPUtime=581.85 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 207361 0 0 0 58168 17 0 0 20 0 1 0 17545740 292458496 65168 33554432000 4194304 7402444 140732902741312 140732902735896 4747338 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71401 65168 769 784 0 64415 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 285604


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/187 6809
/proc/meminfo: memFree=31235424/32770624 swapFree=6372/269760
[pid=6698] ppid=6695 vsize=285736 CPUtime=1481.22 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 227277 0 0 0 148103 19 0 0 20 0 1 0 17545740 292593664 65193 33554432000 4194304 7402444 140732902741312 140732902735896 4248745 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65193 769 784 0 64448 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 285736

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.01 3/187 6810
/proc/meminfo: memFree=31235896/32770624 swapFree=6372/269792
[pid=6698] ppid=6695 vsize=285736 CPUtime=1541.19 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 228609 0 0 0 154100 19 0 0 20 0 1 0 17545740 292593664 65195 33554432000 4194304 7402444 140732902741312 140732902735896 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65195 769 784 0 64448 0
Current children cumulated CPU time (s) 1541.19
Current children cumulated vsize (KiB) 285736

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/187 6811
/proc/meminfo: memFree=31236168/32770624 swapFree=6372/269828
[pid=6698] ppid=6695 vsize=285736 CPUtime=1601.14 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 229948 0 0 0 160095 19 0 0 20 0 1 0 17545740 292593664 65195 33554432000 4194304 7402444 140732902741312 140732902735896 5821520 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65195 769 784 0 64448 0
Current children cumulated CPU time (s) 1601.14
Current children cumulated vsize (KiB) 285736

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.02 3/187 6812
/proc/meminfo: memFree=31235688/32770624 swapFree=6372/269856
[pid=6698] ppid=6695 vsize=285736 CPUtime=1661.1 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 231291 0 0 0 166091 19 0 0 20 0 1 0 17545740 292593664 65198 33554432000 4194304 7402444 140732902741312 140732902735896 5698149 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65198 769 784 0 64448 0
Current children cumulated CPU time (s) 1661.1
Current children cumulated vsize (KiB) 285736

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/187 6813
/proc/meminfo: memFree=31236060/32770624 swapFree=6372/269888
[pid=6698] ppid=6695 vsize=285736 CPUtime=1721.05 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 232626 0 0 0 172086 19 0 0 20 0 1 0 17545740 292593664 65198 33554432000 4194304 7402444 140732902741312 140732902735896 4747338 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65198 769 784 0 64448 0
Current children cumulated CPU time (s) 1721.05
Current children cumulated vsize (KiB) 285736

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/187 6814
/proc/meminfo: memFree=31235672/32770624 swapFree=6372/269916
[pid=6698] ppid=6695 vsize=285736 CPUtime=1781.01 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 233961 0 0 0 178082 19 0 0 20 0 1 0 17545740 292593664 65198 33554432000 4194304 7402444 140732902741312 140732902735896 5877690 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65198 769 784 0 64448 0
Current children cumulated CPU time (s) 1781.01
Current children cumulated vsize (KiB) 285736

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/187 6815
/proc/meminfo: memFree=31235640/32770624 swapFree=6372/269944
[pid=6698] ppid=6695 vsize=285736 CPUtime=1840.97 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 235302 0 0 0 184077 20 0 0 20 0 1 0 17545740 292593664 65198 33554432000 4194304 7402444 140732902741312 140732902735896 4366255 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65198 769 784 0 64448 0
Current children cumulated CPU time (s) 1840.97
Current children cumulated vsize (KiB) 285736

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/187 6816
/proc/meminfo: memFree=31235588/32770624 swapFree=6372/269984
[pid=6698] ppid=6695 vsize=285736 CPUtime=1900.93 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 236637 0 0 0 190073 20 0 0 20 0 1 0 17545740 292593664 65198 33554432000 4194304 7402444 140732902741312 140732902735896 4366211 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65198 769 784 0 64448 0
Current children cumulated CPU time (s) 1900.93
Current children cumulated vsize (KiB) 285736

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6825
/proc/meminfo: memFree=31235088/32770624 swapFree=6372/270016
[pid=6698] ppid=6695 vsize=285736 CPUtime=1960.89 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 237980 0 0 0 196069 20 0 0 20 0 1 0 17545740 292593664 65198 33554432000 4194304 7402444 140732902741312 140732902735896 4747338 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65198 769 784 0 64448 0
Current children cumulated CPU time (s) 1960.89
Current children cumulated vsize (KiB) 285736

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6826
/proc/meminfo: memFree=31235460/32770624 swapFree=6372/270048
[pid=6698] ppid=6695 vsize=285736 CPUtime=2020.84 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 239323 0 0 0 202064 20 0 0 20 0 1 0 17545740 292593664 65200 33554432000 4194304 7402444 140732902741312 140732902735896 5872796 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65200 769 784 0 64448 0
Current children cumulated CPU time (s) 2020.84
Current children cumulated vsize (KiB) 285736

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 6827
/proc/meminfo: memFree=31235584/32770624 swapFree=6372/270084
[pid=6698] ppid=6695 vsize=285736 CPUtime=2080.81 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 240669 0 0 0 208061 20 0 0 20 0 1 0 17545740 292593664 65200 33554432000 4194304 7402444 140732902741312 140732902735896 5871010 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65200 769 784 0 64448 0
Current children cumulated CPU time (s) 2080.81
Current children cumulated vsize (KiB) 285736

[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.03 3/188 6828
/proc/meminfo: memFree=31235564/32770624 swapFree=6372/270108
[pid=6698] ppid=6695 vsize=285736 CPUtime=2140.76 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 242010 0 0 0 214056 20 0 0 20 0 1 0 17545740 292593664 65203 33554432000 4194304 7402444 140732902741312 140732902735896 5877690 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65203 769 784 0 64448 0
Current children cumulated CPU time (s) 2140.76
Current children cumulated vsize (KiB) 285736

[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.03 3/188 6829
/proc/meminfo: memFree=31235936/32770624 swapFree=6372/270144
[pid=6698] ppid=6695 vsize=285736 CPUtime=2200.73 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 243358 0 0 0 220053 20 0 0 20 0 1 0 17545740 292593664 65203 33554432000 4194304 7402444 140732902741312 140732902735896 5758736 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65203 769 784 0 64448 0
Current children cumulated CPU time (s) 2200.73
Current children cumulated vsize (KiB) 285736

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/187 6831
/proc/meminfo: memFree=31235820/32770624 swapFree=6372/270184
[pid=6698] ppid=6695 vsize=285736 CPUtime=2260.68 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 244710 0 0 0 226048 20 0 0 20 0 1 0 17545740 292593664 65206 33554432000 4194304 7402444 140732902741312 140732902735896 5758845 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65206 769 784 0 64448 0
Current children cumulated CPU time (s) 2260.68
Current children cumulated vsize (KiB) 285736

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 6832
/proc/meminfo: memFree=31236052/32770624 swapFree=6372/270212
[pid=6698] ppid=6695 vsize=285736 CPUtime=2320.64 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 246062 0 0 0 232044 20 0 0 20 0 1 0 17545740 292593664 65208 33554432000 4194304 7402444 140732902741312 140732902735896 4365728 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71434 65208 769 784 0 64448 0
Current children cumulated CPU time (s) 2320.64
Current children cumulated vsize (KiB) 285736

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 6833
/proc/meminfo: memFree=31235676/32770624 swapFree=6372/270240
[pid=6698] ppid=6695 vsize=285868 CPUtime=2380.6 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 247422 0 0 0 238039 21 0 0 20 0 1 0 17545740 292728832 65210 33554432000 4194304 7402444 140732902741312 140732902735896 5758811 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71467 65210 769 784 0 64481 0
Current children cumulated CPU time (s) 2380.6
Current children cumulated vsize (KiB) 285868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.8 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 6833
/proc/meminfo: memFree=31235800/32770624 swapFree=6372/270248
[pid=6698] ppid=6695 vsize=285868 CPUtime=2400.09 cores=1,3,5,7
/proc/6698/stat : 6698 (MistralXCSP) R 6695 6698 5959 0 -1 4202496 248774 0 0 0 239988 21 0 0 20 0 1 0 17545740 292728832 65214 33554432000 4194304 7402444 140732902741312 140732902735896 5758736 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 11980800 140732902745257 140732902745406 140732902745406 140732902748105 0
/proc/6698/statm: 71467 65214 769 784 0 64481 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 285868

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

Child status: 0
Real time (s): 2401.8
CPU time (s): 2400.1
CPU user time (s): 2399.88
CPU system time (s): 0.214852
CPU usage (%): 99.929
Max. virtual memory (cumulated for all children) (KiB): 285868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.214852
maximum resident set size= 260880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248810
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= 100
involuntary context switches= 120860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67398 second user time and 9.87885 second system time

The end

Launcher Data 

Begin job on node107 at 2017-07-21 11:17:35
IDJOB=4241522
IDBENCH=126934
IDSOLVER=2622
FILE ID=node107/4241522-1500628655
RUNJOBID= node107-1500623787-5991
PBS_JOBID= 20623020
Free space on /tmp= 61880 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-42.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-4241522-1500628655/watcher-4241522-1500628655 -o /tmp/evaluation-result-4241522-1500628655/solver-4241522-1500628655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500623787-5991 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 813064556 HOME/instance-4241522-1500628655.xml

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

MD5SUM BENCH= 577152cdcea6c8cfe7178c788ad80cb4
RANDOM SEED=813064556

node107.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		: 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	: 5334.02
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		: 1600.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	: 5334.02
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		: 2267.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	: 5334.02
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		: 1600.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	: 5334.02
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		: 1733.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:        31498948 kB
MemAvailable:   31999856 kB
Buffers:          159240 kB
Cached:           628164 kB
SwapCached:            0 kB
Active:           561380 kB
Inactive:         285856 kB
Active(anon):      62436 kB
Inactive(anon):    16852 kB
Active(file):     498944 kB
Inactive(file):   269004 kB
Unevictable:        6372 kB
Mlocked:            6380 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:         65624 kB
Mapped:            33872 kB
Shmem:             17044 kB
Slab:             122656 kB
SReclaimable:      97592 kB
SUnreclaim:        25064 kB
KernelStack:        3360 kB
PageTables:         5180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     339660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61876 MiB
End job on node107 at 2017-07-21 11:57:37