Trace number 4241907

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: BTD 2017-06-30? 2400.01 2400.2

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-07-2-12.xml
MD5SUMd28d3b77622c454a4009aeb11785833b
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 benchmark4.7402902
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints327
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":420},{"size":12,"count":280}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":280},{"degree":9,"count":420}]
Minimum constraint arity8
Maximum constraint arity35
Distribution of constraint arities[{"arity":8,"count":35},{"arity":13,"count":280},{"arity":35,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":35},{"type":"element","count":280}]
Optimization problemNO
Type of objective

Solver Data 

0.02/0.12	c Version: 2017-06-30
2399.90/2400.19	s UNKNOWN
2399.90/2400.19	c Solving # Nodes: 10545881
2399.90/2400.19	c Global Time: 2400 s

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-4241907-1502010551/watcher-4241907-1502010551 -o /tmp/evaluation-result-4241907-1502010551/solver-4241907-1502010551 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502009704-20696 --watchdog 2560 BTD 2400 HOME/instance-4241907-1502010551.xml 

pid=20847
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: 0.16 0.05 0.06 2/186 20850
/proc/meminfo: memFree=31693528/32770624 swapFree=0/307344
[pid=20850] ppid=20847 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20850/stat : 20850 (runsolver) D 20847 20850 20633 34816 20633 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3248878 24240128 107 18446744073709551615 4194304 4338465 140723158418496 140723158416136 140090769662679 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 12304384 140723158421717 140723158422090 140723158422090 140723158425546 0
/proc/20850/statm: 5918 107 54 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 0.16 0.05 0.06 2/186 20850
/proc/meminfo: memFree=31693528/32770624 swapFree=0/307344
[pid=20850] ppid=20847 vsize=31952 CPUtime=0.02 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 34816 20633 4202496 759 0 0 0 2 0 0 0 20 0 1 0 3248878 32718848 587 18446744073709551615 4194304 35031059 140721724636992 140721724636992 7408842 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 7988 587 256 7529 0 435 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 31952

[startup+0.200273 s]
/proc/loadavg: 0.16 0.05 0.06 2/186 20850
/proc/meminfo: memFree=31693528/32770624 swapFree=0/307344
[pid=20850] ppid=20847 vsize=37076 CPUtime=0.12 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 34816 20633 4202496 2052 0 0 0 12 0 0 0 20 0 1 0 3248878 37965824 1912 18446744073709551615 4194304 35031059 140721724636992 140721724636992 7400041 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9269 1912 307 7529 0 1716 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 37076

[startup+0.300295 s]
/proc/loadavg: 0.16 0.05 0.06 2/186 20850
/proc/meminfo: memFree=31693528/32770624 swapFree=0/307344
[pid=20850] ppid=20847 vsize=37204 CPUtime=0.22 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 34816 20633 4202496 2095 0 0 0 22 0 0 0 20 0 1 0 3248878 38096896 1944 18446744073709551615 4194304 35031059 140721724636992 140721724636992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9301 1944 307 7529 0 1748 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 37204

[startup+0.700223 s]
/proc/loadavg: 0.16 0.05 0.06 2/186 20850
/proc/meminfo: memFree=31693528/32770624 swapFree=0/307344
[pid=20850] ppid=20847 vsize=37336 CPUtime=0.62 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 2121 0 0 0 62 0 0 0 20 0 1 0 3248878 38232064 1944 18446744073709551615 4194304 35031059 140721724636992 140721724636992 4376419 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9334 1944 307 7529 0 1781 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 37336

[startup+1.50021 s]
/proc/loadavg: 0.16 0.05 0.06 3/184 20853
/proc/meminfo: memFree=31688592/32770624 swapFree=0/307280
[pid=20850] ppid=20847 vsize=37468 CPUtime=1.41 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 2135 0 0 0 141 0 0 0 20 0 1 0 3248878 38367232 2009 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9367 2009 307 7529 0 1814 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 37468

[startup+3.10022 s]
/proc/loadavg: 0.16 0.05 0.06 3/184 20853
/proc/meminfo: memFree=31688344/32770624 swapFree=0/307280
[pid=20850] ppid=20847 vsize=37468 CPUtime=3.01 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 3162 0 0 0 300 1 0 0 20 0 1 0 3248878 38367232 2022 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7399640 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9367 2022 307 7529 0 1814 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 37468

[startup+6.30022 s]
/proc/loadavg: 0.23 0.06 0.06 3/184 20853
/proc/meminfo: memFree=31688516/32770624 swapFree=0/307292
[pid=20850] ppid=20847 vsize=37600 CPUtime=6.22 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 4213 0 0 0 619 3 0 0 20 0 1 0 3248878 38502400 2042 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9400 2042 307 7529 0 1847 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 37600

[startup+12.7002 s]
/proc/loadavg: 0.37 0.10 0.07 3/184 20853
/proc/meminfo: memFree=31689384/32770624 swapFree=0/307300
[pid=20850] ppid=20847 vsize=37600 CPUtime=12.62 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 5255 0 0 0 1258 4 0 0 20 0 1 0 3248878 38502400 2059 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4213184 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9400 2059 307 7529 0 1847 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 37600

[startup+25.5003 s]
/proc/loadavg: 0.73 0.19 0.10 3/184 20853
/proc/meminfo: memFree=31690348/32770624 swapFree=0/307308
[pid=20850] ppid=20847 vsize=37724 CPUtime=25.41 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 7306 0 0 0 2534 7 0 0 20 0 1 0 3248878 38629376 2078 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9431 2078 307 7529 0 1878 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 37724

[startup+51.1003 s]
/proc/loadavg: 1.16 0.34 0.15 3/184 20853
/proc/meminfo: memFree=31690348/32770624 swapFree=0/307320
[pid=20850] ppid=20847 vsize=37856 CPUtime=51.01 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 8428 0 0 0 5082 19 0 0 20 0 1 0 3248878 38764544 2104 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7399596 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9464 2104 307 7529 0 1911 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 37856

[startup+102.3 s]
/proc/loadavg: 1.64 0.59 0.25 3/184 20855
/proc/meminfo: memFree=31689716/32770624 swapFree=0/307356
[pid=20850] ppid=20847 vsize=37988 CPUtime=102.21 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 8761 0 0 0 10180 41 0 0 20 0 1 0 3248878 38899712 2171 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4376404 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9497 2171 307 7529 0 1944 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 37988

[startup+162.3 s]
/proc/loadavg: 1.94 0.87 0.36 3/181 20857
/proc/meminfo: memFree=31691392/32770624 swapFree=0/307340
[pid=20850] ppid=20847 vsize=38252 CPUtime=162.2 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 9129 0 0 0 16144 76 0 0 20 0 1 0 3248878 39170048 2239 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4213184 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9563 2239 307 7529 0 2010 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 38252

[startup+222.306 s]
/proc/loadavg: 1.98 1.07 0.47 3/181 20860
/proc/meminfo: memFree=31691260/32770624 swapFree=0/307368
[pid=20850] ppid=20847 vsize=38384 CPUtime=222.21 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 9520 0 0 0 22109 112 0 0 20 0 1 0 3248878 39305216 2271 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4213184 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9596 2271 307 7529 0 2043 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 38384

[startup+282.3 s]
/proc/loadavg: 1.99 1.24 0.56 3/181 20862
/proc/meminfo: memFree=31690780/32770624 swapFree=0/307384
[pid=20850] ppid=20847 vsize=38384 CPUtime=282.19 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 9932 0 0 0 28077 142 0 0 20 0 1 0 3248878 39305216 2295 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9596 2295 307 7529 0 2043 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 38384

[startup+342.3 s]
/proc/loadavg: 2.00 1.38 0.65 3/184 20878
/proc/meminfo: memFree=31686060/32770624 swapFree=0/307452
[pid=20850] ppid=20847 vsize=38516 CPUtime=342.19 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 10349 0 0 0 34043 176 0 0 20 0 1 0 3248878 39440384 2307 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9629 2307 307 7529 0 2076 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 38516

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/185 20905
/proc/meminfo: memFree=31685884/32770624 swapFree=0/307508
[pid=20850] ppid=20847 vsize=38516 CPUtime=402.19 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 10783 0 0 0 40007 212 0 0 20 0 1 0 3248878 39440384 2322 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4376745 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9629 2322 307 7529 0 2076 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 38516

[startup+462.3 s]
/proc/loadavg: 2.05 1.60 0.82 3/182 20907
/proc/meminfo: memFree=31688768/32770624 swapFree=0/307532
[pid=20850] ppid=20847 vsize=38648 CPUtime=462.19 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 11220 0 0 0 45976 243 0 0 20 0 1 0 3248878 39575552 2339 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9662 2339 307 7529 0 2109 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 38648

[startup+522.3 s]
/proc/loadavg: 1.97 1.66 0.89 3/182 20909
/proc/meminfo: memFree=31689640/32770624 swapFree=0/307548
[pid=20850] ppid=20847 vsize=38648 CPUtime=522.19 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 11702 0 0 0 51940 279 0 0 20 0 1 0 3248878 39575552 2362 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4442823 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9662 2362 307 7529 0 2109 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 38648

[startup+582.3 s]
/proc/loadavg: 1.99 1.72 0.96 3/182 20911
/proc/meminfo: memFree=31689764/32770624 swapFree=0/307580
[pid=20850] ppid=20847 vsize=38780 CPUtime=582.18 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 12182 0 0 0 57900 318 0 0 20 0 1 0 3248878 39710720 2370 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9695 2370 307 7529 0 2142 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 38780


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

/proc/loadavg: 1.90 1.97 1.71 3/181 20979
/proc/meminfo: memFree=31688172/32770624 swapFree=0/308112
[pid=20850] ppid=20847 vsize=39176 CPUtime=1782.13 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 22294 0 0 0 177117 1096 0 0 20 0 1 0 3248878 40116224 2485 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9794 2485 307 7529 0 2241 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 39176

[startup+1842.3 s]
/proc/loadavg: 1.96 1.98 1.73 3/181 20982
/proc/meminfo: memFree=31688472/32770624 swapFree=0/308140
[pid=20850] ppid=20847 vsize=39176 CPUtime=1842.12 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 22862 0 0 0 183088 1124 0 0 20 0 1 0 3248878 40116224 2485 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4491583 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9794 2485 307 7529 0 2241 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 39176

[startup+1902.3 s]
/proc/loadavg: 1.99 1.98 1.75 3/182 20985
/proc/meminfo: memFree=31687252/32770624 swapFree=0/308164
[pid=20850] ppid=20847 vsize=39176 CPUtime=1902.12 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 23402 0 0 0 189047 1165 0 0 20 0 1 0 3248878 40116224 2485 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9794 2485 307 7529 0 2241 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 39176

[startup+1962.3 s]
/proc/loadavg: 2.06 2.00 1.77 3/182 20987
/proc/meminfo: memFree=31688988/32770624 swapFree=0/308184
[pid=20850] ppid=20847 vsize=39176 CPUtime=1962.12 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 23979 0 0 0 195010 1202 0 0 20 0 1 0 3248878 40116224 2493 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9794 2493 307 7529 0 2241 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 39176

[startup+2022.3 s]
/proc/loadavg: 2.02 2.00 1.78 3/182 20990
/proc/meminfo: memFree=31688912/32770624 swapFree=0/308216
[pid=20850] ppid=20847 vsize=39176 CPUtime=2022.12 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 24571 0 0 0 200978 1234 0 0 20 0 1 0 3248878 40116224 2493 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4213465 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9794 2493 307 7529 0 2241 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 39176

[startup+2082.3 s]
/proc/loadavg: 2.01 2.00 1.79 3/182 20992
/proc/meminfo: memFree=31689160/32770624 swapFree=0/308236
[pid=20850] ppid=20847 vsize=39176 CPUtime=2082.12 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 25121 0 0 0 206935 1277 0 0 20 0 1 0 3248878 40116224 2493 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9794 2493 307 7529 0 2241 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 39176

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/185 21008
/proc/meminfo: memFree=31683848/32770624 swapFree=0/308304
[pid=20850] ppid=20847 vsize=39308 CPUtime=2142.11 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 25678 0 0 0 212896 1315 0 0 20 0 1 0 3248878 40251392 2493 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4491583 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2493 307 7529 0 2274 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 39308

[startup+2202.31 s]
/proc/loadavg: 2.04 2.01 1.82 3/181 21010
/proc/meminfo: memFree=31686772/32770624 swapFree=0/308324
[pid=20850] ppid=20847 vsize=39308 CPUtime=2202.11 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 25982 0 0 0 218849 1362 0 0 20 0 1 0 3248878 40251392 2500 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2500 307 7529 0 2274 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 39308

[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 1.83 3/181 21012
/proc/meminfo: memFree=31687512/32770624 swapFree=0/308344
[pid=20850] ppid=20847 vsize=39308 CPUtime=2262.1 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 26216 0 0 0 224793 1417 0 0 20 0 1 0 3248878 40251392 2500 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7398282 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2500 307 7529 0 2274 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 39308

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/181 21014
/proc/meminfo: memFree=31688288/32770624 swapFree=0/308360
[pid=20850] ppid=20847 vsize=39308 CPUtime=2322.1 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 26836 0 0 0 230743 1467 0 0 20 0 1 0 3248878 40251392 2510 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4213184 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2510 307 7529 0 2274 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 39308

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688096/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2382.1 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27410 0 0 0 236699 1511 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4213184 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 39308

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

[startup+2393.6 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688096/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2393.41 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27410 0 0 0 237822 1519 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2393.41
Current children cumulated vsize (KiB) 39308

[startup+2396.8 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688220/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2396.6 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27647 0 0 0 238139 1521 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2396.6
Current children cumulated vsize (KiB) 39308

[startup+2398.4 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688220/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2398.19 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27802 0 0 0 238297 1522 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2398.19
Current children cumulated vsize (KiB) 39308

[startup+2399.21 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688220/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2399 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27851 0 0 0 238377 1523 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2399
Current children cumulated vsize (KiB) 39308

[startup+2399.6 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688220/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2399.4 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27863 0 0 0 238417 1523 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2399.4
Current children cumulated vsize (KiB) 39308

[startup+2400 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688220/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2399.8 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27863 0 0 0 238456 1524 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 7760138 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2399.8
Current children cumulated vsize (KiB) 39308

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 1.86 3/181 21016
/proc/meminfo: memFree=31688220/32770624 swapFree=0/308404
[pid=20850] ppid=20847 vsize=39308 CPUtime=2399.9 cores=1,3,5,7
/proc/20850/stat : 20850 (BTD) R 20847 20850 20633 0 -1 4202496 27863 0 0 0 238466 1524 0 0 20 0 1 0 3248878 40251392 2513 18446744073709551615 4194304 35031059 140721724636992 140721724635992 4376413 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 51634176 140721724641797 140721724641873 140721724641873 140721724645329 0
/proc/20850/statm: 9827 2513 307 7529 0 2274 0
Current children cumulated CPU time (s) 2399.9
Current children cumulated vsize (KiB) 39308

Child status: 0
Real time (s): 2400.2
CPU time (s): 2400.01
CPU user time (s): 2384.76
CPU system time (s): 15.2413
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 39308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2384.76
system time used= 15.2413
maximum resident set size= 10096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28082
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= 5
involuntary context switches= 760

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29262 second user time and 8.09046 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-06 10:55:07
IDJOB=4241907
IDBENCH=139767
IDSOLVER=2619
FILE ID=node127/4241907-1502010551
RUNJOBID= node127-1502009704-20696
PBS_JOBID= 
Free space on /tmp= 61992 MiB

SOLVER NAME= BTD 2017-06-30
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-07-2-12.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241907-1502010551/watcher-4241907-1502010551 -o /tmp/evaluation-result-4241907-1502010551/solver-4241907-1502010551 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502009704-20696 --watchdog 2560  BTD 2400 HOME/instance-4241907-1502010551.xml

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

MD5SUM BENCH= d28d3b77622c454a4009aeb11785833b
RANDOM SEED=886416138

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31693824 kB
MemAvailable:   32014776 kB
Buffers:          106312 kB
Cached:           495340 kB
SwapCached:            0 kB
Active:           348576 kB
Inactive:         316076 kB
Active(anon):      63332 kB
Inactive(anon):     8536 kB
Active(file):     285244 kB
Inactive(file):   307540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             77036 kB
Writeback:             0 kB
AnonPages:         63328 kB
Mapped:            31028 kB
Shmem:              8872 kB
Slab:             112736 kB
SReclaimable:      88004 kB
SUnreclaim:        24732 kB
KernelStack:        3264 kB
PageTables:         5480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     338412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61956 MiB
End job on node127 at 2017-08-06 11:35:07