Trace number 4293044

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-06-15? (TO) 2520.09 2520.07

General information on the benchmark

NameTal/
Tal-06_c18.xml
MD5SUM2ce24c19fa9a568edbc0ac2d9fbdd3a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark94
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables664
Number of constraints451
Number of domains12
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":108},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":62},{"size":7,"count":9},{"size":8,"count":10},{"size":9,"count":11},{"size":10,"count":45},{"size":42,"count":98}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":299},{"degree":1,"count":108},{"degree":2,"count":70},{"degree":3,"count":10},{"degree":4,"count":11},{"degree":5,"count":40},{"degree":6,"count":21},{"degree":7,"count":14},{"degree":8,"count":14},{"degree":9,"count":21},{"degree":10,"count":20},{"degree":11,"count":19},{"degree":12,"count":8},{"degree":13,"count":5},{"degree":14,"count":3},{"degree":15,"count":1}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":132},{"arity":2,"count":143},{"arity":3,"count":47},{"arity":4,"count":12},{"arity":5,"count":20},{"arity":6,"count":19},{"arity":7,"count":18},{"arity":8,"count":17},{"arity":9,"count":16},{"arity":10,"count":14},{"arity":11,"count":11},{"arity":12,"count":2}]
Number of extensional constraints81
Number of intensional constraints354
Distribution of constraint types[{"type":"extension","count":81},{"type":"intension","count":354},{"type":"count","count":16}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293044-1532304672/watcher-4293044-1532304672 -o /tmp/evaluation-result-4293044-1532304672/solver-4293044-1532304672 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30441 --watchdog 2580 xcsp_picat HOME/instance-4293044-1532304672.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=31867, runsolver pid=31864

[startup+0.100161 s]*
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=15601992/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=111688 memory=32312 CPUtime=0.09 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 1609 0 0 0 9 0 0 0 20 0 1 0 48030420 114368512 8078 33554432000 4194304 5849740 140726660672224 140726660672224 4484921 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 27922 8078 622 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 32312 KiB

[startup+0.210035 s]*
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=15582940/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=111688 memory=51496 CPUtime=0.21 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 1818 0 0 0 20 1 0 0 20 0 1 0 48030420 114368512 12874 33554432000 4194304 5849740 140726660672224 140726660672224 4488915 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 27922 12874 622 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 51496 KiB

[startup+0.309604 s]*
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=15561964/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=116712 memory=74048 CPUtime=0.31 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2328 0 0 0 30 1 0 0 20 0 1 0 48030420 119513088 18512 33554432000 4194304 5849740 140726660672224 140726660672224 5257111 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 29178 18512 626 405 0 26122 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116712 KiB
Current children cumulated memory: 74048 KiB

[startup+0.70034 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=15536088/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=180128 memory=111384 CPUtime=0.69 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 3824 0 0 0 67 2 0 0 20 0 1 0 48030420 184451072 27846 33554432000 4194304 5849740 140726660672224 140726660672224 5249600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 45032 27846 630 405 0 41976 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 180128 KiB
Current children cumulated memory: 111384 KiB

[startup+1.50032 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=15505184/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=242628 memory=184704 CPUtime=1.49 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 4370 0 0 0 145 4 0 0 20 0 1 0 48030420 248451072 46176 33554432000 4194304 5849740 140726660672224 140726660671512 4509293 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 60657 46176 631 405 0 57601 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 242628 KiB
Current children cumulated memory: 184704 KiB

[startup+3.10964 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=15037976/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=647904 memory=348552 CPUtime=3.1 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 6866 0 0 0 298 12 0 0 20 0 1 0 48030420 663453696 87138 33554432000 4194304 5849740 140726660672224 140726660671528 4486576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 161976 87138 631 405 0 158920 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 647904 KiB
Current children cumulated memory: 348552 KiB

[startup+6.30031 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 31868
/proc/meminfo: memFree=14492092/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=1202588 memory=663764 CPUtime=6.29 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 9107 0 0 0 604 25 0 0 20 0 1 0 48030420 1231450112 165941 33554432000 4194304 5849740 140726660672224 140726660671224 4488915 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 300647 165941 644 405 0 297591 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1202588 KiB
Current children cumulated memory: 663764 KiB

[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 31868
/proc/meminfo: memFree=13901180/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=1879908 memory=1347224 CPUtime=12.69 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 18314 0 0 0 1216 53 0 0 20 0 1 0 48030420 1925025792 336806 33554432000 4194304 5849740 140726660672224 140726660671192 5251112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 469977 336806 658 405 0 466921 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1879908 KiB
Current children cumulated memory: 1347224 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 31868
/proc/meminfo: memFree=12358136/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=4070444 memory=3392640 CPUtime=25.5 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 25440 0 0 0 2424 126 0 0 20 0 1 0 48030420 4168134656 848160 33554432000 4194304 5849740 140726660672224 140726660671448 5251112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 1017611 848160 658 405 0 1014555 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 4070444 KiB
Current children cumulated memory: 3392640 KiB

[startup+51.1097 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31868
/proc/meminfo: memFree=7518084/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=8451516 memory=8137748 CPUtime=51.1 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 32762 0 0 0 4838 272 0 0 20 0 1 0 48030420 8654352384 2034437 33554432000 4194304 5849740 140726660672224 140726660671448 5251173 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2112879 2034437 658 405 0 2109823 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 8451516 KiB
Current children cumulated memory: 8137748 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 31870
/proc/meminfo: memFree=7739000/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=8550252 memory=8026832 CPUtime=102.3 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 202160 0 0 0 9640 590 0 0 20 0 1 0 48030420 8755458048 2006708 33554432000 4194304 5849740 140726660672224 140726660671192 5251173 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2137563 2006708 659 405 0 2134507 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 8550252 KiB
Current children cumulated memory: 8026832 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 31871
/proc/meminfo: memFree=3252552/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=12622520 memory=12468192 CPUtime=162.3 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 414323 0 0 0 15248 982 0 0 20 0 1 0 48030420 12925460480 3117048 33554432000 4194304 5849740 140726660672224 140726660671224 5260526 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 3155630 3117048 659 405 0 3152574 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 12622520 KiB
Current children cumulated memory: 12468192 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 31997
/proc/meminfo: memFree=3525124/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=8625444 memory=8276636 CPUtime=222.3 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 445333 0 0 0 20968 1262 0 0 20 0 1 0 48030420 8832454656 2069159 33554432000 4194304 5849740 140726660672224 140726660671224 5257103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2156361 2069159 659 405 0 2153305 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 8625444 KiB
Current children cumulated memory: 8276636 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 31998
/proc/meminfo: memFree=8478360/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=8666464 memory=7678888 CPUtime=282.31 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 505615 0 0 0 26642 1589 0 0 20 0 1 0 48030420 8874459136 1919722 33554432000 4194304 5849740 140726660672224 140726660671192 5251112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2166616 1919722 659 405 0 2163560 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 8666464 KiB
Current children cumulated memory: 7678888 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 31999
/proc/meminfo: memFree=3434164/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=12793420 memory=12638460 CPUtime=342.31 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 584407 0 0 0 32281 1950 0 0 20 0 1 0 48030420 13100462080 3159615 33554432000 4194304 5849740 140726660672224 140726660671224 5260488 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 3198355 3159615 659 405 0 3195299 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 12793420 KiB
Current children cumulated memory: 12638460 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 32000
/proc/meminfo: memFree=3359916/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=12842244 memory=12689144 CPUtime=402.31 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 664786 0 0 0 38012 2219 0 0 20 0 1 0 48030420 13150457856 3172286 33554432000 4194304 5849740 140726660672224 140726660671224 5260488 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 3210561 3172286 659 405 0 3207505 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 12842244 KiB
Current children cumulated memory: 12689144 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32001
/proc/meminfo: memFree=9586140/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=8782676 memory=6590336 CPUtime=462.29 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 760310 0 0 0 43690 2539 0 0 20 0 1 0 48030420 8993460224 1647584 33554432000 4194304 5849740 140726660672224 140726660671192 5249577 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2195669 1647584 659 405 0 2192613 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 8782676 KiB
Current children cumulated memory: 6590336 KiB


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

/proc/31867/statm: 2382436 1779935 659 405 0 2379380 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 9529744 KiB
Current children cumulated memory: 7119740 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/188 32049
/proc/meminfo: memFree=8570220/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9562948 memory=7578692 CPUtime=1782.27 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2363235 0 0 0 167282 10945 0 0 20 0 1 0 48030420 9792458752 1894673 33554432000 4194304 5849740 140726660672224 140726660671192 5249535 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2390737 1894673 659 405 0 2387681 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 9562948 KiB
Current children cumulated memory: 7578692 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/188 32050
/proc/meminfo: memFree=8189912/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9596152 memory=7953692 CPUtime=1842.28 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2447775 0 0 0 172883 11345 0 0 20 0 1 0 48030420 9826459648 1988423 33554432000 4194304 5849740 140726660672224 140726660671192 5249679 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2399038 1988423 659 405 0 2395982 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 9596152 KiB
Current children cumulated memory: 7953692 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/188 32051
/proc/meminfo: memFree=7902628/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9629356 memory=8238572 CPUtime=1902.28 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2512552 0 0 0 178496 11732 0 0 20 0 1 0 48030420 9860460544 2059643 33554432000 4194304 5849740 140726660672224 140726660671192 5251173 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2407339 2059643 659 405 0 2404283 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 9629356 KiB
Current children cumulated memory: 8238572 KiB

[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 32052
/proc/meminfo: memFree=7710868/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9662556 memory=8427188 CPUtime=1962.28 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2572072 0 0 0 184099 12129 0 0 20 0 1 0 48030420 9894457344 2106797 33554432000 4194304 5849740 140726660672224 140726660671192 5249600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2415639 2106797 659 405 0 2412583 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 9662556 KiB
Current children cumulated memory: 8427188 KiB

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 32053
/proc/meminfo: memFree=7551060/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9695756 memory=8572792 CPUtime=2022.29 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2632466 0 0 0 189708 12521 0 0 20 0 1 0 48030420 9928454144 2143198 33554432000 4194304 5849740 140726660672224 140726660671192 5251112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2423939 2143198 659 405 0 2420883 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 9695756 KiB
Current children cumulated memory: 8572792 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 32054
/proc/meminfo: memFree=7420948/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9728964 memory=8591444 CPUtime=2082.29 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2695067 0 0 0 195297 12932 0 0 20 0 1 0 48030420 9962459136 2147861 33554432000 4194304 5849740 140726660672224 140726660671192 5251173 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2432241 2147861 659 405 0 2429185 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 9728964 KiB
Current children cumulated memory: 8591444 KiB

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 32055
/proc/meminfo: memFree=7418224/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9762168 memory=8595748 CPUtime=2142.3 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2756236 0 0 0 200899 13331 0 0 20 0 1 0 48030420 9996460032 2148937 33554432000 4194304 5849740 140726660672224 140726660671192 5251112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2440542 2148937 659 405 0 2437486 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 9762168 KiB
Current children cumulated memory: 8595748 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 32056
/proc/meminfo: memFree=7676036/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9795368 memory=8528364 CPUtime=2202.3 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2822134 0 0 0 206501 13729 0 0 20 0 1 0 48030420 10030456832 2132091 33554432000 4194304 5849740 140726660672224 140726660671192 5249591 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2448842 2132091 659 405 0 2445786 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 9795368 KiB
Current children cumulated memory: 8528364 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 32057
/proc/meminfo: memFree=7820432/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9828572 memory=8381108 CPUtime=2262.3 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2880511 0 0 0 212112 14118 0 0 20 0 1 0 48030420 10064457728 2095277 33554432000 4194304 5849740 140726660672224 140726660671192 5251173 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2457143 2095277 659 405 0 2454087 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 9828572 KiB
Current children cumulated memory: 8381108 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32058
/proc/meminfo: memFree=7963180/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9861780 memory=8192916 CPUtime=2322.31 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2942137 0 0 0 217717 14514 0 0 20 0 1 0 48030420 10098462720 2048229 33554432000 4194304 5849740 140726660672224 140726660671192 5251112 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2465445 2048229 659 405 0 2462389 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 9861780 KiB
Current children cumulated memory: 8192916 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32067
/proc/meminfo: memFree=8263116/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9894980 memory=7873628 CPUtime=2382.31 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 2999378 0 0 0 223313 14918 0 0 20 0 1 0 48030420 10132459520 1968407 33554432000 4194304 5849740 140726660672224 140726660671192 5251215 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2473745 1968407 659 405 0 2470689 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 9894980 KiB
Current children cumulated memory: 7873628 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32068
/proc/meminfo: memFree=8574652/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9928180 memory=7533860 CPUtime=2442.32 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 3062565 0 0 0 228916 15316 0 0 20 0 1 0 48030420 10166456320 1883465 33554432000 4194304 5849740 140726660672224 140726660671192 5249553 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2482045 1883465 659 405 0 2478989 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 9928180 KiB
Current children cumulated memory: 7533860 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32069
/proc/meminfo: memFree=8968132/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=9961380 memory=7151076 CPUtime=2502.32 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 3134675 0 0 0 234519 15713 0 0 20 0 1 0 48030420 10200453120 1787769 33554432000 4194304 5849740 140726660672224 140726660671192 5249577 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 2490345 1787769 659 405 0 2487289 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 9961380 KiB
Current children cumulated memory: 7151076 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 32069
/proc/meminfo: memFree=1514772/32770624 swapFree=67108860/67108860
[pid=31867] ppid=31864 vsize=14648884 memory=14499520 CPUtime=2520.02 cores=0,2,4,6
/proc/31867/stat : 31867 (xcsp_picat) R 31864 31867 30410 0 -1 4202496 3152068 0 0 0 236159 15843 0 0 20 0 1 0 48030420 15000457216 3624880 33554432000 4194304 5849740 140726660672224 140726660671224 5260281 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 44724224 140726660674742 140726660674820 140726660674820 140726660677578 0
/proc/31867/statm: 3662221 3624880 659 405 0 3659165 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14648884 KiB
Current children cumulated memory: 14499520 KiB

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

[startup+2520.07 s]
# the end of solver process 31867 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2361.6 s, system=158.494 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.07
CPU time (s): 2520.09
CPU user time (s): 2361.6
CPU system time (s): 158.494
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 14648884
Max. memory (cumulated for all children) (KiB): 14499520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2361.6
system time used= 158.494
maximum resident set size= 14499520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3152069
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= 4
involuntary context switches= 3260


# summary of solver processes directly reported to runsolver:
#   pid: 31867
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2361.6
#   total CPU system time (s): 158.494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6419 second user time and 18.4496 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 02:11:13
IDJOB=4293044
IDBENCH=141105
IDSOLVER=2754
FILE ID=node105/4293044-1532304672
RUNJOBID= node105-1532296553-30441
PBS_JOBID= 21018989
Free space on /tmp= 44848 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/Tal/Tal-06_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293044-1532304672/watcher-4293044-1532304672 -o /tmp/evaluation-result-4293044-1532304672/solver-4293044-1532304672 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30441 --watchdog 2580  xcsp_picat HOME/instance-4293044-1532304672.xml

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

MD5SUM BENCH= 2ce24c19fa9a568edbc0ac2d9fbdd3a2
RANDOM SEED=1029646212

node105.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.32
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.32
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.32
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.32
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:        15630080 kB
MemAvailable:   31630884 kB
Buffers:          181744 kB
Cached:         15784296 kB
SwapCached:            0 kB
Active:          1685600 kB
Inactive:       14642036 kB
Active(anon):     315796 kB
Inactive(anon):    65104 kB
Active(file):    1369804 kB
Inactive(file): 14576932 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2980 kB
Writeback:             0 kB
AnonPages:        378168 kB
Mapped:            38456 kB
Shmem:             17036 kB
Slab:             509848 kB
SReclaimable:     482528 kB
SUnreclaim:        27320 kB
KernelStack:        3568 kB
PageTables:         6428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     774144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44848 MiB
End job on node105 at 2018-07-23 02:53:13