Trace number 4299786

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
NACRE 1.0.4SAT 1913.96 1914.05

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-07-08_c18.xml
MD5SUM4cf2470ecfcea4403011c16b404a3a31
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark41.9072
Satisfiable
(Un)Satisfiability was proved
Number of variables56
Number of constraints15
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":56}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":56}]
Minimum constraint arity7
Maximum constraint arity8
Distribution of constraint arities[{"arity":7,"count":8},{"arity":8,"count":7}]
Number of extensional constraints15
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15}]
Optimization problemNO
Type of objective

Solver Data 

0.60/0.61	c NACRE 1.0.4
1913.91/1914.04	c
1913.91/1914.04	c # time = 1913.94
1913.91/1914.04	c # Dec = 1077452
1913.91/1914.04	c # Propagate Calls = 42522609
1913.91/1914.04	c # assignAt Calls = 1363185
1913.91/1914.04	c # removeAt Calls = 330007604
1913.91/1914.04	c # Run = 2047
1913.91/1914.04	c # Conflicts = 1046268
1913.91/1914.04	c # Memory used = 371.964 Mb
1913.91/1914.04	s SATISFIABLE
1913.91/1914.04	c
1913.91/1914.04	v <instantiation>
1913.91/1914.04	v     <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] </list>
1913.91/1914.04	v     <values> 0 2 2 0 15 0 17 0 11 0 0 12 0 11 8 0 4 17 17 0 19 20 12 18 17 0 8 18 8 13 4 19 19 17 0 8 13 4 17 0 0 12 8 13 4 17 0 8 19 0 19 4 17 0 8 18 </values>
1913.91/1914.04	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10364 MiB free)
  memory of node 1: 16384 MiB (15593 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299786-1532788707/watcher-4299786-1532788707 -o /tmp/evaluation-result-4299786-1532788707/solver-4299786-1532788707 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29943 --watchdog 2580 nacre_mini_release HOME/instance-4299786-1532788707.xml -ca -l100 -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31423, runsolver pid=31420
Current StackSize limit: 8192 KiB


[startup+0.100206 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 31424
/proc/meminfo: memFree=26574504/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=33044 memory=8184 CPUtime=0.1 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 2979 0 0 0 10 0 0 0 20 0 1 0 96433844 33837056 2046 33554432000 4194304 4933779 140735834218048 140735834215048 140453422533605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 8261 2046 558 181 0 1878 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 8184 KiB

[startup+0.209754 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 31424
/proc/meminfo: memFree=26549228/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=65116 memory=39108 CPUtime=0.21 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 11183 0 0 0 20 1 0 0 20 0 1 0 96433844 66678784 9777 33554432000 4194304 4933779 140735834218048 140735834215048 4379428 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 16279 9777 570 181 0 9896 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65116 KiB
Current children cumulated memory: 39108 KiB

[startup+0.309814 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 31424
/proc/meminfo: memFree=26530008/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=84988 memory=58380 CPUtime=0.31 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 15960 0 0 0 29 2 0 0 20 0 1 0 96433844 87027712 14529 33554432000 4194304 4933779 140735834218048 140735834215048 140453423395707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 21247 14595 570 181 0 14864 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84988 KiB
Current children cumulated memory: 58380 KiB

[startup+0.700432 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31424
/proc/meminfo: memFree=26507812/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=125516 memory=98996 CPUtime=0.69 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 26644 0 0 0 66 3 0 0 20 0 1 0 96433844 128528384 24749 33554432000 4194304 4933779 140735834218048 140735834215048 140453422525977 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 31379 24749 570 181 0 24996 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 125516 KiB
Current children cumulated memory: 98996 KiB

[startup+1.50043 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31424
/proc/meminfo: memFree=26484004/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=125516 memory=98996 CPUtime=1.49 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 26661 0 0 0 146 3 0 0 20 0 1 0 96433844 128528384 24749 33554432000 4194304 4933779 140735834218048 140735834216568 140453422531072 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 31379 24749 570 181 0 24996 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 125516 KiB
Current children cumulated memory: 98996 KiB

[startup+3.10958 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31424
/proc/meminfo: memFree=26484472/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=125516 memory=99252 CPUtime=3.1 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 47936 0 0 0 306 4 0 0 20 0 1 0 96433844 128528384 24813 33554432000 4194304 4933779 140735834218048 140735834216568 4377591 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 31379 24813 604 181 0 24996 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 125516 KiB
Current children cumulated memory: 99252 KiB

[startup+6.30042 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 31485
/proc/meminfo: memFree=26578516/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=125516 memory=99252 CPUtime=6.29 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 70802 0 0 0 624 5 0 0 20 0 1 0 96433844 128528384 24813 33554432000 4194304 4933779 140735834218048 140735834216568 140453423395852 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 31379 24813 604 181 0 24996 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 125516 KiB
Current children cumulated memory: 99252 KiB

[startup+12.7004 s]
/proc/loadavg: 1.85 1.99 2.03 3/187 31485
/proc/meminfo: memFree=26457136/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=132916 memory=106556 CPUtime=12.68 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 96182 0 0 0 1262 6 0 0 20 0 1 0 96433844 136105984 26639 33554432000 4194304 4933779 140735834218048 140735834215800 140453423398363 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 33229 26639 604 181 0 26846 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 132916 KiB
Current children cumulated memory: 106556 KiB

[startup+25.5004 s]
/proc/loadavg: 1.88 1.99 2.03 3/187 31485
/proc/meminfo: memFree=26436472/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=152988 memory=127524 CPUtime=25.49 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 144656 0 0 0 2539 10 0 0 20 0 1 0 96433844 156659712 31881 33554432000 4194304 4933779 140735834218048 140735834215800 4377550 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 38247 31881 604 181 0 31864 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 152988 KiB
Current children cumulated memory: 127524 KiB

[startup+51.1096 s]
/proc/loadavg: 1.92 1.99 2.03 3/187 31485
/proc/meminfo: memFree=26414120/32770624 swapFree=67028300/67108860
[pid=31423] ppid=31420 vsize=172832 memory=149256 CPUtime=51.08 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 171213 0 0 0 5096 12 0 0 20 0 1 0 96433844 176979968 37314 33554432000 4194304 4933779 140735834218048 140735834215752 140453423397937 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 43208 37314 604 181 0 36825 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 172832 KiB
Current children cumulated memory: 149256 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 31494
/proc/meminfo: memFree=26382848/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=198212 memory=174944 CPUtime=102.26 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 191616 0 0 0 10211 15 0 0 20 0 1 0 96433844 202969088 43736 33554432000 4194304 4933779 140735834218048 140735834215800 4377379 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 49553 43736 604 181 0 43170 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 198212 KiB
Current children cumulated memory: 174944 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 31495
/proc/meminfo: memFree=26341284/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=215196 memory=191832 CPUtime=162.25 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 196905 0 0 0 16209 16 0 0 20 0 1 0 96433844 220360704 47958 33554432000 4194304 4933779 140735834218048 140735834215736 140453422526093 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 53799 47958 604 181 0 47416 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 215196 KiB
Current children cumulated memory: 191832 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31496
/proc/meminfo: memFree=26303244/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=234560 memory=211048 CPUtime=222.26 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 207437 0 0 0 22207 19 0 0 20 0 1 0 96433844 240189440 52762 33554432000 4194304 4933779 140735834218048 140735834215752 140453423398363 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 58640 52762 604 181 0 52257 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 234560 KiB
Current children cumulated memory: 211048 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31497
/proc/meminfo: memFree=26280532/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=244772 memory=221404 CPUtime=282.26 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 220001 0 0 0 28206 20 0 0 20 0 1 0 96433844 250646528 55351 33554432000 4194304 4933779 140735834218048 140735834215752 140453422531102 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 61193 55351 604 181 0 54810 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 244772 KiB
Current children cumulated memory: 221404 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31498
/proc/meminfo: memFree=26261364/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=254756 memory=230456 CPUtime=342.26 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 234570 0 0 0 34204 22 0 0 20 0 1 0 96433844 260870144 57614 33554432000 4194304 4933779 140735834218048 140735834215800 140453422533605 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 63689 57614 604 181 0 57306 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 254756 KiB
Current children cumulated memory: 230456 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31499
/proc/meminfo: memFree=26241416/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=266248 memory=242004 CPUtime=402.26 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 251930 0 0 0 40203 23 0 0 20 0 1 0 96433844 272637952 60501 33554432000 4194304 4933779 140735834218048 140735834215752 4377364 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 66562 60501 604 181 0 60179 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 266248 KiB
Current children cumulated memory: 242004 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31500
/proc/meminfo: memFree=26224984/32770624 swapFree=67028304/67108860
[pid=31423] ppid=31420 vsize=276284 memory=251892 CPUtime=462.26 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 272027 0 0 0 46200 26 0 0 20 0 1 0 96433844 282914816 62973 33554432000 4194304 4933779 140735834218048 140735834215736 4377404 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 69071 62973 604 181 0 62688 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 276284 KiB
Current children cumulated memory: 251892 KiB


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

Current children cumulated memory: 335764 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31555
/proc/meminfo: memFree=26049872/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=363592 memory=340060 CPUtime=1422.22 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 403517 0 0 0 142179 43 0 0 20 0 1 0 96433844 372318208 85015 33554432000 4194304 4933779 140735834218048 140735834215752 4377407 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 90898 85015 604 181 0 84515 0
Current children cumulated CPU time: 1422.22 s
Current children cumulated vsize: 363592 KiB
Current children cumulated memory: 340060 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31556
/proc/meminfo: memFree=26042948/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=367308 memory=344000 CPUtime=1482.22 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 406503 0 0 0 148178 44 0 0 20 0 1 0 96433844 376123392 86000 33554432000 4194304 4933779 140735834218048 140735834215800 140453423398363 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 91827 86000 604 181 0 85444 0
Current children cumulated CPU time: 1482.22 s
Current children cumulated vsize: 367308 KiB
Current children cumulated memory: 344000 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31557
/proc/meminfo: memFree=26036636/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=370584 memory=347104 CPUtime=1542.21 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 409386 0 0 0 154177 44 0 0 20 0 1 0 96433844 379478016 86776 33554432000 4194304 4933779 140735834218048 140735834215800 140453423398363 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 92646 86776 604 181 0 86263 0
Current children cumulated CPU time: 1542.21 s
Current children cumulated vsize: 370584 KiB
Current children cumulated memory: 347104 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31558
/proc/meminfo: memFree=26029280/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=375352 memory=351876 CPUtime=1602.21 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 413815 0 0 0 160176 45 0 0 20 0 1 0 96433844 384360448 87969 33554432000 4194304 4933779 140735834218048 140735834215800 140453423398363 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 93838 87969 604 181 0 87455 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 375352 KiB
Current children cumulated memory: 351876 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31559
/proc/meminfo: memFree=26025188/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=378168 memory=354784 CPUtime=1662.21 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 418640 0 0 0 166176 45 0 0 20 0 1 0 96433844 387244032 88696 33554432000 4194304 4933779 140735834218048 140735834215736 140453422525977 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 94542 88696 604 181 0 88159 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 378168 KiB
Current children cumulated memory: 354784 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31560
/proc/meminfo: memFree=26018592/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=381528 memory=358160 CPUtime=1722.2 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 423931 0 0 0 172175 45 0 0 20 0 1 0 96433844 390684672 89540 33554432000 4194304 4933779 140735834218048 140735834215752 140453423397937 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 95382 89540 604 181 0 88999 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 381528 KiB
Current children cumulated memory: 358160 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31561
/proc/meminfo: memFree=26010408/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=385996 memory=362468 CPUtime=1782.21 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 431171 0 0 0 178174 47 0 0 20 0 1 0 96433844 395259904 90617 33554432000 4194304 4933779 140735834218048 140735834215752 140453422526254 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 96499 90617 604 181 0 90116 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 385996 KiB
Current children cumulated memory: 362468 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 31562
/proc/meminfo: memFree=26003464/32770624 swapFree=67028312/67108860
[pid=31423] ppid=31420 vsize=391072 memory=367612 CPUtime=1842.21 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 439247 0 0 0 184173 48 0 0 20 0 1 0 96433844 400457728 91903 33554432000 4194304 4933779 140735834218048 140735834215560 140453422525972 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 97768 91903 604 181 0 91385 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 391072 KiB
Current children cumulated memory: 367612 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25995104/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=394024 memory=370548 CPUtime=1902.2 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 447768 0 0 0 190171 49 0 0 20 0 1 0 96433844 403480576 92637 33554432000 4194304 4933779 140735834218048 140735834215752 4377379 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98506 92637 604 181 0 92123 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 394024 KiB
Current children cumulated memory: 370548 KiB

[startup+1914.05 s]
# the end of solver process 31423 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1913.46 s, system=0.50499 s

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

[startup+1907.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25994740/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=394288 memory=370816 CPUtime=1907.1 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 448194 0 0 0 190661 49 0 0 20 0 1 0 96433844 403750912 92704 33554432000 4194304 4933779 140735834218048 140735834215752 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98572 92704 604 181 0 92189 0
Current children cumulated CPU time: 1907.1 s
Current children cumulated vsize: 394288 KiB
Current children cumulated memory: 370816 KiB

[startup+1910.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25993748/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=395208 memory=371708 CPUtime=1910.3 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 448413 0 0 0 190981 49 0 0 20 0 1 0 96433844 404692992 92927 33554432000 4194304 4933779 140735834218048 140735834215736 140453422526259 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98802 92927 604 181 0 92419 0
Current children cumulated CPU time: 1910.3 s
Current children cumulated vsize: 395208 KiB
Current children cumulated memory: 371708 KiB

[startup+1912 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25993748/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=395340 memory=371708 CPUtime=1911.91 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 448453 0 0 0 191142 49 0 0 20 0 1 0 96433844 404828160 92927 33554432000 4194304 4933779 140735834218048 140735834215736 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98835 92927 604 181 0 92452 0
Current children cumulated CPU time: 1911.91 s
Current children cumulated vsize: 395340 KiB
Current children cumulated memory: 371708 KiB

[startup+1912.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25993748/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=395476 memory=371964 CPUtime=1912.7 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 448475 0 0 0 191221 49 0 0 20 0 1 0 96433844 404967424 92991 33554432000 4194304 4933779 140735834218048 140735834215752 4377379 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98869 92991 604 181 0 92486 0
Current children cumulated CPU time: 1912.7 s
Current children cumulated vsize: 395476 KiB
Current children cumulated memory: 371964 KiB

[startup+1913.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25993624/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=395476 memory=371964 CPUtime=1913.5 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 448488 0 0 0 191301 49 0 0 20 0 1 0 96433844 404967424 92991 33554432000 4194304 4933779 140735834218048 140735834215560 4377654 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98869 92991 604 181 0 92486 0
Current children cumulated CPU time: 1913.5 s
Current children cumulated vsize: 395476 KiB
Current children cumulated memory: 371964 KiB

[startup+1914 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 31571
/proc/meminfo: memFree=25993492/32770624 swapFree=67028320/67108860
[pid=31423] ppid=31420 vsize=395476 memory=371964 CPUtime=1913.91 cores=0,2,4,6
/proc/31423/stat : 31423 (nacre_mini_rele) R 31420 31423 29912 0 -1 4202496 448500 0 0 0 191342 49 0 0 20 0 1 0 96433844 404967424 92991 33554432000 4194304 4933779 140735834218048 140735834215560 140453423397937 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 9969664 140735834219672 140735834219772 140735834219772 140735834222530 0
/proc/31423/statm: 98869 92991 604 181 0 92486 0
Current children cumulated CPU time: 1913.91 s
Current children cumulated vsize: 395476 KiB
Current children cumulated memory: 371964 KiB

Child status: 10
Real time (s): 1914.05
CPU time (s): 1913.96
CPU user time (s): 1913.46
CPU system time (s): 0.50499
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 395476
Max. memory (cumulated for all children) (KiB): 371964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1913.46
system time used= 0.50499
maximum resident set size= 372148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448897
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= 91
involuntary context switches= 2566


# summary of solver processes directly reported to runsolver:
#   pid: 31423
#   total CPU time (s): 1913.96
#   total CPU user time (s): 1913.46
#   total CPU system time (s): 0.50499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25569 second user time and 14.2678 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-28 16:38:27
IDJOB=4299786
IDBENCH=141444
IDSOLVER=2764
FILE ID=node102/4299786-1532788707
RUNJOBID= node102-1532776103-29943
PBS_JOBID= 21022470
Free space on /tmp= 52744 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-07-08_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299786-1532788707/watcher-4299786-1532788707 -o /tmp/evaluation-result-4299786-1532788707/solver-4299786-1532788707 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29943 --watchdog 2580  nacre_mini_release HOME/instance-4299786-1532788707.xml -ca -l100 -cm

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

MD5SUM BENCH= 4cf2470ecfcea4403011c16b404a3a31
RANDOM SEED=82655444

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26580672 kB
MemAvailable:   31720816 kB
Buffers:          214436 kB
Cached:          5181044 kB
SwapCached:        53432 kB
Active:          1420992 kB
Inactive:        4268992 kB
Active(anon):     220244 kB
Inactive(anon):    99048 kB
Active(file):    1200748 kB
Inactive(file):  4169944 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028300 kB
Dirty:              3412 kB
Writeback:             0 kB
AnonPages:        248220 kB
Mapped:            37140 kB
Shmem:             22076 kB
Slab:             198700 kB
SReclaimable:     170572 kB
SUnreclaim:        28128 kB
KernelStack:        3328 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     565276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52736 MiB
End job on node102 at 2018-07-28 17:10:21