Trace number 4303004

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 NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-02? (exit code) 1645.43 1645.61

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-12-4-rom_c18.xml
MD5SUM81778793cf44fcc277d17f448f65fa63
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark2519.97
Satisfiable
(Un)Satisfiability was proved
Number of variables432
Number of constraints96
Number of domains5
Minimum domain size2
Maximum domain size124353
Distribution of domain sizes[{"size":2,"count":24},{"size":13,"count":168},{"size":27,"count":144},{"size":124353,"count":96}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":120},{"degree":2,"count":168},{"degree":8,"count":144}]
Minimum constraint arity15
Maximum constraint arity16
Distribution of constraint arities[{"arity":15,"count":24},{"arity":16,"count":72}]
Number of extensional constraints96
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":96}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

1645.31/1645.57	% error: OUT OF MEMORY
1645.31/1645.57	% unhandled interrupt event 
1645.31/1645.57	c xcsp_picat version 2.4#6 (8/1/2018)

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303004-1534011419/watcher-4303004-1534011419 -o /tmp/evaluation-result-4303004-1534011419/solver-4303004-1534011419 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4303004-1534011419.xml 

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
Current StackSize limit: 8192 KiB

solver pid=15471, runsolver pid=15468

[startup+0.100149 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15472
/proc/meminfo: memFree=11998612/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2025744 memory=17940 CPUtime=0.1 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1076 0 0 0 10 0 0 0 20 0 1 0 218704801 2074361856 4485 33554432000 4194304 5849708 140724277243984 140724277243288 140284260187136 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 506436 4485 593 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 17940 KiB

[startup+0.20966 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15472
/proc/meminfo: memFree=11992468/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2025744 memory=24084 CPUtime=0.21 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1079 0 0 0 21 0 0 0 20 0 1 0 218704801 2074361856 6021 33554432000 4194304 5849708 140724277243984 140724277243288 4333656 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 506436 6021 593 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24084 KiB

[startup+0.309429 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15472
/proc/meminfo: memFree=11986324/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2025744 memory=30228 CPUtime=0.31 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1082 0 0 0 31 0 0 0 20 0 1 0 218704801 2074361856 7557 33554432000 4194304 5849708 140724277243984 140724277243288 140284260187136 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 506436 7557 593 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30228 KiB

[startup+0.700297 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15472
/proc/meminfo: memFree=11976084/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2025744 memory=52756 CPUtime=0.7 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1093 0 0 0 69 1 0 0 20 0 1 0 218704801 2074361856 13189 33554432000 4194304 5849708 140724277243984 140724277243288 140284260187136 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 506436 13189 593 405 0 503381 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 52756 KiB

[startup+1.50033 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15472
/proc/meminfo: memFree=11947412/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2025744 memory=97812 CPUtime=1.49 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1115 0 0 0 148 1 0 0 20 0 1 0 218704801 2074361856 24453 33554432000 4194304 5849708 140724277243984 140724277243288 140284260187136 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 506436 24453 593 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 97812 KiB

[startup+3.10947 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15472
/proc/meminfo: memFree=11705656/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2143756 memory=331764 CPUtime=3.1 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 2389 0 0 0 306 4 0 0 20 0 1 0 218704801 2195206144 82941 33554432000 4194304 5849708 140724277243984 140724277243288 4458725 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 535939 82941 613 405 0 532884 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2143756 KiB
Current children cumulated memory: 331764 KiB

[startup+6.30034 s]
/proc/loadavg: 2.13 2.04 2.05 3/187 15472
/proc/meminfo: memFree=11123084/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2143756 memory=913396 CPUtime=6.29 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 2685 0 0 0 615 14 0 0 20 0 1 0 218704801 2195206144 228349 33554432000 4194304 5849708 140724277243984 140724277243304 4491132 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 535939 228349 613 405 0 532884 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2143756 KiB
Current children cumulated memory: 913396 KiB

[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 15472
/proc/meminfo: memFree=10013580/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=2237508 memory=1925792 CPUtime=12.69 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 4777 0 0 0 1238 31 0 0 20 0 1 0 218704801 2291208192 481448 33554432000 4194304 5849708 140724277243984 140724277243272 4483256 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 559377 481448 613 405 0 556322 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2237508 KiB
Current children cumulated memory: 1925792 KiB

[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 15472
/proc/meminfo: memFree=8647376/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=4421548 memory=3448560 CPUtime=25.48 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 8242 0 0 0 2470 78 0 0 20 0 1 0 218704801 4527665152 862140 33554432000 4194304 5849708 140724277243984 140724277243272 4593564 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 1105387 862140 614 405 0 1102332 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4421548 KiB
Current children cumulated memory: 3448560 KiB

[startup+51.1094 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 15472
/proc/meminfo: memFree=5701640/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=8100816 memory=6199028 CPUtime=51.09 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 11922 0 0 0 4984 125 0 0 20 0 1 0 218704801 8295235584 1549757 33554432000 4194304 5849708 140724277243984 140724277243304 5223728 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2025204 1549757 623 405 0 2022149 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 8100816 KiB
Current children cumulated memory: 6199028 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 15473
/proc/meminfo: memFree=1712936/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12220620 memory=10284376 CPUtime=102.29 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 36152 0 0 0 9588 641 0 0 20 0 1 0 218704801 12513914880 2571094 33554432000 4194304 5849708 140724277243984 140724277242984 5269628 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3055155 2571094 624 405 0 3052100 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 12220620 KiB
Current children cumulated memory: 10284376 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 15474
/proc/meminfo: memFree=1470168/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12353436 memory=10417200 CPUtime=162.27 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 64142 0 0 0 15007 1220 0 0 20 0 1 0 218704801 12649918464 2604300 33554432000 4194304 5849708 140724277243984 140724277242984 5257152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3088359 2604300 624 405 0 3085304 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 12353436 KiB
Current children cumulated memory: 10417200 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15482
/proc/meminfo: memFree=1446064/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12486248 memory=10550004 CPUtime=222.27 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 93108 0 0 0 20405 1822 0 0 20 0 1 0 218704801 12785917952 2637501 33554432000 4194304 5849708 140724277243984 140724277242984 5260297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3121562 2637501 624 405 0 3118507 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 12486248 KiB
Current children cumulated memory: 10550004 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 15483
/proc/meminfo: memFree=1202380/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12619060 memory=10682816 CPUtime=282.27 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 123320 0 0 0 25790 2437 0 0 20 0 1 0 218704801 12921917440 2670704 33554432000 4194304 5849708 140724277243984 140724277243272 5257152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3154765 2670704 624 405 0 3151710 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 12619060 KiB
Current children cumulated memory: 10682816 KiB

[startup+342.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 15537
/proc/meminfo: memFree=3966808/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12735272 memory=10798076 CPUtime=342.26 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 150896 0 0 0 31247 2979 0 0 20 0 1 0 218704801 13040918528 2699519 33554432000 4194304 5849708 140724277243984 140724277242984 5269609 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3183818 2699519 624 405 0 3180763 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 12735272 KiB
Current children cumulated memory: 10798076 KiB

[startup+402.3 s]
/proc/loadavg: 1.94 2.00 2.03 3/187 15549
/proc/meminfo: memFree=2193872/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12868084 memory=10699628 CPUtime=402.26 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 12593152 563430 0 0 0 36514 3712 0 0 20 0 1 0 218704801 13176918016 2674907 33554432000 4194304 5849708 140724277243984 140724277242984 5269201 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3217021 2674907 624 405 0 3213966 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 12868084 KiB
Current children cumulated memory: 10699628 KiB

[startup+462.3 s]
/proc/loadavg: 1.81 1.95 2.02 3/188 15611
/proc/meminfo: memFree=4812180/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=12984296 memory=11047552 CPUtime=462.25 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 611631 0 0 0 41937 4288 0 0 20 0 1 0 218704801 13295919104 2761888 33554432000 4194304 5849708 140724277243984 140724277242984 5260870 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3246074 2761888 624 405 0 3243019 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 12984296 KiB
Current children cumulated memory: 11047552 KiB


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

Current children cumulated memory: 12558712 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 15696
/proc/meminfo: memFree=8057216/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=14594648 memory=12657652 CPUtime=1302.16 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 993104 0 0 0 117588 12628 0 0 20 0 1 0 218704801 14944919552 3164413 33554432000 4194304 5849708 140724277243984 140724277242984 5257214 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3648662 3164413 624 405 0 3645607 0
Current children cumulated CPU time: 1302.16 s
Current children cumulated vsize: 14594648 KiB
Current children cumulated memory: 12657652 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 15697
/proc/meminfo: memFree=12831668/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=14710860 memory=8861864 CPUtime=1362.16 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1021137 0 0 0 122991 13225 0 0 20 0 1 0 218704801 15063920640 2214954 33554432000 4194304 5849708 140724277243984 140724277242984 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3677715 2214954 624 405 0 3674660 0
Current children cumulated CPU time: 1362.16 s
Current children cumulated vsize: 14710860 KiB
Current children cumulated memory: 8861864 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 15706
/proc/meminfo: memFree=7752648/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=14810460 memory=12874732 CPUtime=1422.16 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1048182 0 0 0 128356 13860 0 0 20 0 1 0 218704801 15165911040 3218683 33554432000 4194304 5849708 140724277243984 140724277242984 5260333 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3702615 3218683 624 405 0 3699560 0
Current children cumulated CPU time: 1422.16 s
Current children cumulated vsize: 14810460 KiB
Current children cumulated memory: 12874732 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 15707
/proc/meminfo: memFree=7664444/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=14910072 memory=12973896 CPUtime=1482.12 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1073505 0 0 0 133783 14429 0 0 20 0 1 0 218704801 15267913728 3243474 33554432000 4194304 5849708 140724277243984 140724277242984 5260529 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3727518 3243474 624 405 0 3724463 0
Current children cumulated CPU time: 1482.12 s
Current children cumulated vsize: 14910072 KiB
Current children cumulated memory: 12973896 KiB

[startup+1542.3 s]
/proc/loadavg: 2.34 2.07 2.05 3/188 15708
/proc/meminfo: memFree=7504640/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=15009684 memory=13075104 CPUtime=1542.12 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1101469 0 0 0 139214 14998 0 0 20 0 1 0 218704801 15369916416 3268776 33554432000 4194304 5849708 140724277243984 140724277242984 5269560 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3752421 3268776 624 405 0 3749366 0
Current children cumulated CPU time: 1542.12 s
Current children cumulated vsize: 15009684 KiB
Current children cumulated memory: 13075104 KiB

[startup+1602.3 s]
/proc/loadavg: 2.31 2.13 2.07 3/188 15709
/proc/meminfo: memFree=7453224/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=9797768 memory=7437864 CPUtime=1602.11 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1128775 0 0 0 144635 15576 0 0 20 0 1 0 218704801 10032914432 1858954 33554432000 4194304 5849708 140724277243984 140724277242984 5257119 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2449442 1859466 624 405 0 2446387 0
Current children cumulated CPU time: 1602.11 s
Current children cumulated vsize: 9797768 KiB
Current children cumulated memory: 7437864 KiB

[startup+1645.61 s]
# the end of solver process 15471 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1486.84 s, system=158.581 s

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

[startup+1612.8 s]
/proc/loadavg: 2.26 2.12 2.07 3/188 15709
/proc/meminfo: memFree=7423312/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=15142496 memory=9399600 CPUtime=1612.61 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1134754 0 0 0 145554 15707 0 0 20 0 1 0 218704801 15505915904 2349900 33554432000 4194304 5849708 140724277243984 140724277242984 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 3785624 2349900 624 405 0 3782569 0
Current children cumulated CPU time: 1612.61 s
Current children cumulated vsize: 15142496 KiB
Current children cumulated memory: 9399600 KiB

[startup+1625.6 s]
/proc/loadavg: 2.20 2.12 2.06 3/188 15709
/proc/meminfo: memFree=13432292/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=7412460 CPUtime=1625.41 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1138223 0 0 0 146734 15807 0 0 20 0 1 0 218704801 11847471104 1853115 33554432000 4194304 5849708 140724277243984 140724277242952 5249616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 1853115 624 405 0 2889394 0
Current children cumulated CPU time: 1625.41 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 7412460 KiB

[startup+1638.4 s]
/proc/loadavg: 2.17 2.11 2.06 3/188 15710
/proc/meminfo: memFree=11029108/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9589492 CPUtime=1638.21 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1140982 0 0 0 147978 15843 0 0 20 0 1 0 218704801 11847471104 2397373 33554432000 4194304 5849708 140724277243984 140724277243304 4556704 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397373 624 405 0 2889394 0
Current children cumulated CPU time: 1638.21 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9589492 KiB

[startup+1641.6 s]
/proc/loadavg: 2.16 2.11 2.06 3/188 15710
/proc/meminfo: memFree=10986504/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9589492 CPUtime=1641.41 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1141015 0 0 0 148298 15843 0 0 20 0 1 0 218704801 11847471104 2397373 33554432000 4194304 5849708 140724277243984 140724277243304 4533201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397373 624 405 0 2889394 0
Current children cumulated CPU time: 1641.41 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9589492 KiB

[startup+1643.2 s]
/proc/loadavg: 2.16 2.11 2.06 3/188 15710
/proc/meminfo: memFree=10999944/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9589492 CPUtime=1643.01 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1141122 0 0 0 148453 15848 0 0 20 0 1 0 218704801 11847471104 2397373 33554432000 4194304 5849708 140724277243984 140724277243304 4548541 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397373 624 405 0 2889394 0
Current children cumulated CPU time: 1643.01 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9589492 KiB

[startup+1644.8 s]
/proc/loadavg: 2.16 2.11 2.06 3/188 15710
/proc/meminfo: memFree=11001992/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9589492 CPUtime=1644.61 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1141243 0 0 0 148608 15853 0 0 20 0 1 0 218704801 11847471104 2397373 33554432000 4194304 5849708 140724277243984 140724277243304 4454219 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397373 624 405 0 2889394 0
Current children cumulated CPU time: 1644.61 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9589492 KiB

[startup+1645.2 s]
/proc/loadavg: 2.15 2.11 2.06 3/188 15710
/proc/meminfo: memFree=10986380/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9589492 CPUtime=1645.01 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1141266 0 0 0 148647 15854 0 0 20 0 1 0 218704801 11847471104 2397373 33554432000 4194304 5849708 140724277243984 140724277243304 4845058 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397373 624 405 0 2889394 0
Current children cumulated CPU time: 1645.01 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9589492 KiB

[startup+1645.4 s]
/proc/loadavg: 2.15 2.11 2.06 3/188 15710
/proc/meminfo: memFree=10986380/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9591540 CPUtime=1645.21 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1141271 0 0 0 148667 15854 0 0 20 0 1 0 218704801 11847471104 2397885 33554432000 4194304 5849708 140724277243984 140724277243304 4505528 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397885 624 405 0 2889394 0
Current children cumulated CPU time: 1645.21 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9591540 KiB

[startup+1645.5 s]
/proc/loadavg: 2.15 2.11 2.06 3/188 15710
/proc/meminfo: memFree=10986380/32770624 swapFree=67108688/67108860
[pid=15471] ppid=15468 vsize=11569796 memory=9591540 CPUtime=1645.31 cores=0,2,4,6
/proc/15471/stat : 15471 (xcsp_picat) R 15468 15471 12810 0 -1 4202496 1141273 0 0 0 148677 15854 0 0 20 0 1 0 218704801 11847471104 2397885 33554432000 4194304 5849708 140724277243984 140724277243304 5257112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 20107264 140724277249206 140724277249284 140724277249284 140724277252042 0
/proc/15471/statm: 2892449 2397885 624 405 0 2889394 0
Current children cumulated CPU time: 1645.31 s
Current children cumulated vsize: 11569796 KiB
Current children cumulated memory: 9591540 KiB

Child status: 1
Real time (s): 1645.61
CPU time (s): 1645.43
CPU user time (s): 1486.84
CPU system time (s): 158.581
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 15142496
Max. memory (cumulated for all children) (KiB): 13208888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1486.84
system time used= 158.581
maximum resident set size= 13208888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1141295
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= 2
involuntary context switches= 1673


# summary of solver processes directly reported to runsolver:
#   pid: 15471
#   total CPU time (s): 1645.43
#   total CPU user time (s): 1486.84
#   total CPU system time (s): 158.581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04764 second user time and 12.4381 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-11 20:16:59
IDJOB=4303004
IDBENCH=141307
IDSOLVER=2778
FILE ID=node106/4303004-1534011419
RUNJOBID= node106-1533989978-12841
PBS_JOBID= 21036938
Free space on /tmp= 39500 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-12-4-rom_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303004-1534011419/watcher-4303004-1534011419 -o /tmp/evaluation-result-4303004-1534011419/solver-4303004-1534011419 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580  xcsp_picat HOME/instance-4303004-1534011419.xml

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

MD5SUM BENCH= 81778793cf44fcc277d17f448f65fa63
RANDOM SEED=444145589

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        12014092 kB
MemAvailable:   29110640 kB
Buffers:          145012 kB
Cached:         17022700 kB
SwapCached:            0 kB
Active:         11422256 kB
Inactive:        8587584 kB
Active(anon):    2787744 kB
Inactive(anon):   107012 kB
Active(file):    8634512 kB
Inactive(file):  8480572 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             65964 kB
Writeback:             0 kB
AnonPages:       2912844 kB
Mapped:            53420 kB
Shmem:             49632 kB
Slab:             437752 kB
SReclaimable:     409924 kB
SUnreclaim:        27828 kB
KernelStack:        3232 kB
PageTables:        10724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4770592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2834432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39592 MiB
End job on node106 at 2018-08-11 20:44:25