Trace number 4391544

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.5-Hybrid? (TO) 2400.15 2400.85

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K090.xml
MD5SUMfb0a00432fe3f34c7f96c9cd31e06ed3
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 benchmark606.023
Satisfiable
(Un)Satisfiability was proved
Number of variables6120
Number of constraints6302
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":6120}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":167},{"degree":5,"count":1084},{"degree":6,"count":2393},{"degree":7,"count":1502},{"degree":8,"count":619},{"degree":9,"count":178},{"degree":10,"count":176}]
Minimum constraint arity1
Maximum constraint arity90
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1157},{"arity":3,"count":2403},{"arity":4,"count":1602},{"arity":5,"count":534},{"arity":6,"count":178},{"arity":7,"count":178},{"arity":68,"count":180},{"arity":90,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":6302}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.14	c NACRE 1.0.5
2400.09/2400.80	c
2400.09/2400.80	c # time = 2400.09
2400.09/2400.80	c # Dec = 2973658
2400.09/2400.80	c # Propagate Calls = 1038832377
2400.09/2400.80	c # assignAt Calls = 24150439
2400.09/2400.80	c # removeAt Calls = 403805333
2400.09/2400.80	c # Run = 1727
2400.09/2400.80	c # Conflicts = 810001
2400.09/2400.80	c # Memory used = 4363.19 Mb
2400.09/2400.80	s UNKNOWN

Verifier Data


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 (10824 MiB free)
  memory of node 1: 16384 MiB (15167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391544-1568319309/watcher-4391544-1568319309 -o /tmp/evaluation-result-4391544-1568319309/solver-4391544-1568319309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560 nacre_mini_release HOME/instance-4391544-1568319309.xml -ca -l100 -cm 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14161, runsolver pid=14158

[startup+0.100201 s]*
/proc/loadavg: 2.16 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26606708/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=35948 memory=12076 CPUtime=0.09 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 3342 0 0 0 9 0 0 0 20 0 1 0 407853611 36810752 3019 33554432000 4194304 4935366 140723881086768 140723881080024 139853683997669 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 8987 3019 581 181 0 2604 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35948 KiB
Current children cumulated memory: 12076 KiB

[startup+0.210031 s]*
/proc/loadavg: 2.16 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26604960/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=37648 memory=13924 CPUtime=0.2 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 3800 0 0 0 20 0 0 0 20 0 1 0 407853611 38551552 3481 33554432000 4194304 4935366 140723881086768 140723881080024 4365373 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 9412 3481 593 181 0 3029 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37648 KiB
Current children cumulated memory: 13924 KiB

[startup+0.309965 s]*
/proc/loadavg: 2.16 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26604960/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=37648 memory=13924 CPUtime=0.3 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 3800 0 0 0 30 0 0 0 20 0 1 0 407853611 38551552 3481 33554432000 4194304 4935366 140723881086768 140723881080024 139853684744958 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 9412 3481 593 181 0 3029 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37648 KiB
Current children cumulated memory: 13924 KiB

[startup+0.700332 s]
/proc/loadavg: 2.16 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26604960/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=37780 memory=14188 CPUtime=0.68 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 3865 0 0 0 68 0 0 0 20 0 1 0 407853611 38686720 3547 33554432000 4194304 4935366 140723881086768 140723881080024 4429531 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 9445 3547 618 181 0 3062 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37780 KiB
Current children cumulated memory: 14188 KiB

[startup+1.50033 s]
/proc/loadavg: 2.16 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26604340/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=39676 memory=16036 CPUtime=1.48 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 4321 0 0 0 148 0 0 0 20 0 1 0 407853611 40628224 4009 33554432000 4194304 4935366 140723881086768 140723881084520 4329280 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 9919 4009 618 181 0 3536 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39676 KiB
Current children cumulated memory: 16036 KiB

[startup+3.10988 s]
/proc/loadavg: 2.16 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26599932/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=43052 memory=19432 CPUtime=3.1 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 8130 0 0 0 309 1 0 0 20 0 1 0 407853611 44085248 4858 33554432000 4194304 4935366 140723881086768 140723881084456 139853684744952 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 10763 4858 618 181 0 4380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43052 KiB
Current children cumulated memory: 19432 KiB

[startup+6.30036 s]
/proc/loadavg: 2.15 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26582228/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=60872 memory=37188 CPUtime=6.29 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 16580 0 0 0 628 1 0 0 20 0 1 0 407853611 62332928 9297 33554432000 4194304 4935366 140723881086768 140723881084520 4429609 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 15218 9297 618 181 0 8835 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 60872 KiB
Current children cumulated memory: 37188 KiB

[startup+12.7004 s]
/proc/loadavg: 2.14 2.05 2.06 3/205 14162
/proc/meminfo: memFree=26547616/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=97028 memory=73380 CPUtime=12.69 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 31265 0 0 0 1266 3 0 0 20 0 1 0 407853611 99356672 18345 33554432000 4194304 4935366 140723881086768 140723881084520 4365325 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 24257 18345 618 181 0 17874 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 73380 KiB

[startup+25.5004 s]
/proc/loadavg: 2.11 2.04 2.05 3/205 14162
/proc/meminfo: memFree=26469604/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=167120 memory=143444 CPUtime=25.48 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 74293 0 0 0 2541 7 0 0 20 0 1 0 407853611 171130880 35861 33554432000 4194304 4935366 140723881086768 140723881084520 4450164 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 41780 35861 618 181 0 35397 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 167120 KiB
Current children cumulated memory: 143444 KiB

[startup+51.1101 s]
/proc/loadavg: 2.07 2.04 2.05 3/205 14165
/proc/meminfo: memFree=26260152/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=342404 memory=318548 CPUtime=51.09 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 147480 0 0 0 5092 17 0 0 20 0 1 0 407853611 350621696 79637 33554432000 4194304 4935366 140723881086768 140723881084520 139853684853131 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 85601 79637 618 181 0 79218 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 342404 KiB
Current children cumulated memory: 318548 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/205 14168
/proc/meminfo: memFree=25836984/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=678988 memory=655160 CPUtime=102.28 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 285730 0 0 0 10192 36 0 0 20 0 1 0 407853611 695283712 163790 33554432000 4194304 4935366 140723881086768 140723881084520 4461504 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 169747 163790 618 181 0 163364 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 678988 KiB
Current children cumulated memory: 655160 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/205 14294
/proc/meminfo: memFree=29570440/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=938740 memory=915256 CPUtime=162.25 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 407984 0 0 0 16173 52 0 0 20 0 1 0 407853611 961269760 228814 33554432000 4194304 4935366 140723881086768 140723881084520 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 234685 228814 618 181 0 228302 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 938740 KiB
Current children cumulated memory: 915256 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 14301
/proc/meminfo: memFree=29324632/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=1141908 memory=1117276 CPUtime=222.22 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 534085 0 0 0 22154 68 0 0 20 0 1 0 407853611 1169313792 279319 33554432000 4194304 4935366 140723881086768 140723881084456 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 285477 279319 618 181 0 279094 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 1141908 KiB
Current children cumulated memory: 1117276 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 14306
/proc/meminfo: memFree=29102316/32770624 swapFree=67008624/67108860
[pid=14161] ppid=14158 vsize=1342340 memory=1317800 CPUtime=282.19 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 675787 0 0 0 28135 84 0 0 20 0 1 0 407853611 1374556160 329450 33554432000 4194304 4935366 140723881086768 140723881084456 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 335585 329450 618 181 0 329202 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 1342340 KiB
Current children cumulated memory: 1317800 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 14315
/proc/meminfo: memFree=28878240/32770624 swapFree=67008628/67108860
[pid=14161] ppid=14158 vsize=1545784 memory=1521136 CPUtime=342.16 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 862859 0 0 0 34110 106 0 0 20 0 1 0 407853611 1582882816 380284 33554432000 4194304 4935366 140723881086768 140723881084456 4461125 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 386446 380284 618 181 0 380063 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 1545784 KiB
Current children cumulated memory: 1521136 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 14381
/proc/meminfo: memFree=28787660/32770624 swapFree=67008628/67108860
[pid=14161] ppid=14158 vsize=1690276 memory=1665776 CPUtime=402.13 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 1033510 0 0 0 40088 125 0 0 20 0 1 0 407853611 1730842624 416444 33554432000 4194304 4935366 140723881086768 140723881084472 139853690290647 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 422569 416444 618 181 0 416186 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 1690276 KiB
Current children cumulated memory: 1665776 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 14385
/proc/meminfo: memFree=28607752/32770624 swapFree=67008628/67108860
[pid=14161] ppid=14158 vsize=1825572 memory=1801220 CPUtime=462.12 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 1192372 0 0 0 46070 142 0 0 20 0 1 0 407853611 1869385728 450305 33554432000 4194304 4935366 140723881086768 140723881084456 139853690290576 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 456393 450305 618 181 0 450010 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 1825572 KiB
Current children cumulated memory: 1801220 KiB


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

/proc/14161/statm: 860643 854693 618 181 0 854260 0
Current children cumulated CPU time: 1601.82 s
Current children cumulated vsize: 3442572 KiB
Current children cumulated memory: 3418772 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 14623
/proc/meminfo: memFree=26762144/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3509096 memory=3485312 CPUtime=1661.8 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 4861377 0 0 0 165721 459 0 0 20 0 1 0 407853611 3593314304 871328 33554432000 4194304 4935366 140723881086768 140723881084520 4407276 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 877274 871328 618 181 0 870891 0
Current children cumulated CPU time: 1661.8 s
Current children cumulated vsize: 3509096 KiB
Current children cumulated memory: 3485312 KiB

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/205 14628
/proc/meminfo: memFree=26679380/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3587824 memory=3564112 CPUtime=1721.79 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5009018 0 0 0 171703 476 0 0 20 0 1 0 407853611 3673931776 891028 33554432000 4194304 4935366 140723881086768 140723881084520 4461247 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 896956 891028 618 181 0 890573 0
Current children cumulated CPU time: 1721.79 s
Current children cumulated vsize: 3587824 KiB
Current children cumulated memory: 3564112 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/205 14632
/proc/meminfo: memFree=26592780/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3665652 memory=3641976 CPUtime=1781.77 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5145890 0 0 0 177687 490 0 0 20 0 1 0 407853611 3753627648 910494 33554432000 4194304 4935366 140723881086768 140723881084456 4450346 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 916413 910494 618 181 0 910030 0
Current children cumulated CPU time: 1781.77 s
Current children cumulated vsize: 3665652 KiB
Current children cumulated memory: 3641976 KiB

[startup+1842.3 s]
/proc/loadavg: 2.36 2.11 2.07 3/204 14638
/proc/meminfo: memFree=26502680/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3748408 memory=3724684 CPUtime=1841.74 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5278983 0 0 0 183670 504 0 0 20 0 1 0 407853611 3838369792 931171 33554432000 4194304 4935366 140723881086768 140723881084520 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 937102 931171 618 181 0 930719 0
Current children cumulated CPU time: 1841.74 s
Current children cumulated vsize: 3748408 KiB
Current children cumulated memory: 3724684 KiB

[startup+1902.3 s]
/proc/loadavg: 2.32 2.16 2.09 3/205 14643
/proc/meminfo: memFree=26462732/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3782632 memory=3758936 CPUtime=1901.73 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5397860 0 0 0 189656 517 0 0 20 0 1 0 407853611 3873415168 939734 33554432000 4194304 4935366 140723881086768 140723881084472 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 945658 939734 618 181 0 939275 0
Current children cumulated CPU time: 1901.73 s
Current children cumulated vsize: 3782632 KiB
Current children cumulated memory: 3758936 KiB

[startup+1962.3 s]
/proc/loadavg: 2.15 2.15 2.09 3/205 14647
/proc/meminfo: memFree=26406460/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3831328 memory=3807612 CPUtime=1961.71 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5505514 0 0 0 195643 528 0 0 20 0 1 0 407853611 3923279872 951903 33554432000 4194304 4935366 140723881086768 140723881084456 4476287 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 957832 951903 618 181 0 951449 0
Current children cumulated CPU time: 1961.71 s
Current children cumulated vsize: 3831328 KiB
Current children cumulated memory: 3807612 KiB

[startup+2022.3 s]
/proc/loadavg: 2.06 2.12 2.08 3/205 14653
/proc/meminfo: memFree=26351036/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3881116 memory=3857336 CPUtime=2021.7 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5629042 0 0 0 201629 541 0 0 20 0 1 0 407853611 3974262784 964334 33554432000 4194304 4935366 140723881086768 140723881084456 4365342 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 970279 964334 618 181 0 963896 0
Current children cumulated CPU time: 2021.7 s
Current children cumulated vsize: 3881116 KiB
Current children cumulated memory: 3857336 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/205 14657
/proc/meminfo: memFree=26235280/32770624 swapFree=67008644/67108860
[pid=14161] ppid=14158 vsize=3990732 memory=3966992 CPUtime=2081.68 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5755050 0 0 0 207612 556 0 0 20 0 1 0 407853611 4086509568 991748 33554432000 4194304 4935366 140723881086768 140723881084520 4415845 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 997683 991748 618 181 0 991300 0
Current children cumulated CPU time: 2081.68 s
Current children cumulated vsize: 3990732 KiB
Current children cumulated memory: 3966992 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/205 14666
/proc/meminfo: memFree=26153012/32770624 swapFree=67008652/67108860
[pid=14161] ppid=14158 vsize=4071096 memory=4047408 CPUtime=2141.67 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5870336 0 0 0 213598 569 0 0 20 0 1 0 407853611 4168802304 1011852 33554432000 4194304 4935366 140723881086768 140723881084456 4461244 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 1017774 1011852 618 181 0 1011391 0
Current children cumulated CPU time: 2141.67 s
Current children cumulated vsize: 4071096 KiB
Current children cumulated memory: 4047408 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/205 14673
/proc/meminfo: memFree=26032884/32770624 swapFree=67008652/67108860
[pid=14161] ppid=14158 vsize=4188876 memory=4165148 CPUtime=2201.66 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 5997287 0 0 0 219584 582 0 0 20 0 1 0 407853611 4289409024 1041287 33554432000 4194304 4935366 140723881086768 140723881084456 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 1047219 1041287 618 181 0 1040836 0
Current children cumulated CPU time: 2201.66 s
Current children cumulated vsize: 4188876 KiB
Current children cumulated memory: 4165148 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/205 14677
/proc/meminfo: memFree=25978704/32770624 swapFree=67008652/67108860
[pid=14161] ppid=14158 vsize=4239796 memory=4216308 CPUtime=2261.64 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 6095923 0 0 0 225572 592 0 0 20 0 1 0 407853611 4341551104 1054077 33554432000 4194304 4935366 140723881086768 140723881084520 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 1059949 1054077 618 181 0 1053566 0
Current children cumulated CPU time: 2261.64 s
Current children cumulated vsize: 4239796 KiB
Current children cumulated memory: 4216308 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/205 14682
/proc/meminfo: memFree=25893808/32770624 swapFree=67008652/67108860
[pid=14161] ppid=14158 vsize=4324632 memory=4301032 CPUtime=2321.61 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 6195159 0 0 0 231558 603 0 0 20 0 1 0 407853611 4428423168 1075258 33554432000 4194304 4935366 140723881086768 140723881084520 4424162 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 1081158 1075258 618 181 0 1074775 0
Current children cumulated CPU time: 2321.61 s
Current children cumulated vsize: 4324632 KiB
Current children cumulated memory: 4301032 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 14688
/proc/meminfo: memFree=25838408/32770624 swapFree=67008652/67108860
[pid=14161] ppid=14158 vsize=4376980 memory=4353448 CPUtime=2381.6 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 6290924 0 0 0 237547 613 0 0 20 0 1 0 407853611 4482027520 1088362 33554432000 4194304 4935366 140723881086768 140723881084520 4461238 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 1094245 1088362 618 181 0 1087862 0
Current children cumulated CPU time: 2381.6 s
Current children cumulated vsize: 4376980 KiB
Current children cumulated memory: 4353448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 14689
/proc/meminfo: memFree=25827984/32770624 swapFree=67008652/67108860
[pid=14161] ppid=14158 vsize=4386664 memory=4363192 CPUtime=2400.09 cores=1,3,5,7
/proc/14161/stat : 14161 (nacre_mini_rele) R 14158 14161 11077 0 -1 4202496 6342557 0 0 0 239392 617 0 0 20 0 1 0 407853611 4491943936 1090798 33554432000 4194304 4935366 140723881086768 140723881084472 139853684853163 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 17936384 140723881092097 140723881092197 140723881092197 140723881095106 0
/proc/14161/statm: 1096666 1090798 618 181 0 1090283 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4386664 KiB
Current children cumulated memory: 4363192 KiB

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

[startup+2400.85 s]
# the end of solver process 14161 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.93 s, system=6.22733 s

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

Child status: 0
Real time (s): 2400.85
CPU time (s): 2400.15
CPU user time (s): 2393.93
CPU system time (s): 6.22733
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 4386664
Max. memory (cumulated for all children) (KiB): 4363192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.93
system time used= 6.22733
maximum resident set size= 4363252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6342600
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= 998
involuntary context switches= 2199


# summary of solver processes directly reported to runsolver:
#   pid: 14161
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2393.93
#   total CPU system time (s): 6.22733

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5471 second user time and 17.2768 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 22:14:19
IDJOB=4391544
IDBENCH=135054
IDSOLVER=2834
FILE ID=node132/4391544-1568319309
RUNJOBID= node132-1568304897-11109
PBS_JOBID= 21701117
Free space on /tmp= 60304 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K090.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391544-1568319309/watcher-4391544-1568319309 -o /tmp/evaluation-result-4391544-1568319309/solver-4391544-1568319309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560  nacre_mini_release HOME/instance-4391544-1568319309.xml -ca -l100 -cm

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

MD5SUM BENCH= fb0a00432fe3f34c7f96c9cd31e06ed3
RANDOM SEED=399852306

node132.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.95
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.95
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.95
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.95
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:        26616260 kB
MemAvailable:   27963948 kB
Buffers:          116836 kB
Cached:          1501672 kB
SwapCached:         8700 kB
Active:          4250132 kB
Inactive:        1315848 kB
Active(anon):    3947464 kB
Inactive(anon):    27000 kB
Active(file):     302668 kB
Inactive(file):  1288848 kB
Unevictable:      110200 kB
Mlocked:          110200 kB
SwapTotal:      67108860 kB
SwapFree:       67008624 kB
Dirty:              1244 kB
Writeback:             0 kB
AnonPages:       4034860 kB
Mapped:            31480 kB
Shmem:             18492 kB
Slab:             173092 kB
SReclaimable:     144016 kB
SUnreclaim:        29076 kB
KernelStack:        3648 kB
PageTables:        13068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4445316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1546240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60304 MiB
End job on node132 at 2019-09-12 22:54:20