Trace number 4295217

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.05 2520.01

General information on the benchmark

NamePeacableArmies/
PeacableArmies-m1-50_c18.xml
MD5SUM65d9088e6e3c6b500cf18d234bd8e6c7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark2520.37
Satisfiable
(Un)Satisfiability was proved
Number of variables5000
Number of constraints409201
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":5000}]
Minimum variable degree149
Maximum variable degree198
Distribution of variable degrees[{"degree":149,"count":196},{"degree":150,"count":196},{"degree":151,"count":188},{"degree":152,"count":188},{"degree":153,"count":180},{"degree":154,"count":180},{"degree":155,"count":172},{"degree":156,"count":172},{"degree":157,"count":164},{"degree":158,"count":164},{"degree":159,"count":156},{"degree":160,"count":156},{"degree":161,"count":148},{"degree":162,"count":148},{"degree":163,"count":140},{"degree":164,"count":140},{"degree":165,"count":132},{"degree":166,"count":132},{"degree":167,"count":124},{"degree":168,"count":124},{"degree":169,"count":116},{"degree":170,"count":116},{"degree":171,"count":108},{"degree":172,"count":108},{"degree":173,"count":100},{"degree":174,"count":100},{"degree":175,"count":92},{"degree":176,"count":92},{"degree":177,"count":84},{"degree":178,"count":84},{"degree":179,"count":76},{"degree":180,"count":76},{"degree":181,"count":68},{"degree":182,"count":68},{"degree":183,"count":60},{"degree":184,"count":60},{"degree":185,"count":52},{"degree":186,"count":52},{"degree":187,"count":44},{"degree":188,"count":44},{"degree":189,"count":36},{"degree":190,"count":36},{"degree":191,"count":28},{"degree":192,"count":28},{"degree":193,"count":20},{"degree":194,"count":20},{"degree":195,"count":12},{"degree":196,"count":12},{"degree":197,"count":4},{"degree":198,"count":4}]
Minimum constraint arity2
Maximum constraint arity5000
Distribution of constraint arities[{"arity":2,"count":409200},{"arity":5000,"count":1}]
Number of extensional constraints0
Number of intensional constraints409200
Distribution of constraint types[{"type":"intension","count":409200},{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax 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 (4921 MiB free)
  memory of node 1: 16384 MiB (7887 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295217-1532501396/watcher-4295217-1532501396 -o /tmp/evaluation-result-4295217-1532501396/solver-4295217-1532501396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532498874-27091 --watchdog 2580 xcsp_picat HOME/instance-4295217-1532501396.xml 

running on 4 cores: 1,3,5,7

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=27437, runsolver pid=27434

[startup+0.10011 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27438
/proc/meminfo: memFree=13088452/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=111688 memory=23880 CPUtime=0.1 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 1570 0 0 0 10 0 0 0 20 0 1 0 67702806 114368512 5970 33554432000 4194304 5849740 140737008643520 140737008642824 4458418 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 27922 5970 596 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23880 KiB

[startup+0.209618 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27438
/proc/meminfo: memFree=13072068/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=111688 memory=32072 CPUtime=0.21 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 1574 0 0 0 21 0 0 0 20 0 1 0 67702806 114368512 8018 33554432000 4194304 5849740 140737008643520 140737008642824 140159824976896 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 27922 8018 596 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 32072 KiB

[startup+0.30954 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27438
/proc/meminfo: memFree=13061828/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=111688 memory=40264 CPUtime=0.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 1578 0 0 0 31 0 0 0 20 0 1 0 67702806 114368512 10066 33554432000 4194304 5849740 140737008643520 140737008642824 4515518 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 27922 10066 596 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 40264 KiB

[startup+0.700318 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27438
/proc/meminfo: memFree=13023976/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=111688 memory=69144 CPUtime=0.69 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 1592 0 0 0 68 1 0 0 20 0 1 0 67702806 114368512 17286 33554432000 4194304 5849740 140737008643520 140737008642824 140159824976896 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 27922 17286 602 405 0 24866 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 69144 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27438
/proc/meminfo: memFree=12990656/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=182012 memory=89604 CPUtime=1.49 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 2683 0 0 0 148 1 0 0 20 0 1 0 67702806 186380288 22401 33554432000 4194304 5849740 140737008643520 140737008642824 140159824976896 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 45503 22401 606 405 0 42447 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 89604 KiB

[startup+3.10943 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 27438
/proc/meminfo: memFree=12919224/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=182012 memory=108280 CPUtime=3.09 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 3955 0 0 0 308 1 0 0 20 0 1 0 67702806 186380288 27070 33554432000 4194304 5849740 140737008643520 140737008642824 4494133 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 45503 27070 606 405 0 42447 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 108280 KiB

[startup+6.30036 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 27446
/proc/meminfo: memFree=12856044/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=182012 memory=132824 CPUtime=6.29 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 6268 0 0 0 625 4 0 0 20 0 1 0 67702806 186380288 33206 33554432000 4194304 5849740 140737008643520 140737008642824 4517847 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 45503 33206 606 405 0 42447 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 132824 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 27446
/proc/meminfo: memFree=12780208/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=269408 memory=205472 CPUtime=12.69 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 10165 0 0 0 1070 199 0 0 20 0 1 0 67702806 275873792 51368 33554432000 4194304 5849740 140737008643520 140737008642600 140159824998279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 67352 51368 709 405 0 64296 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 269408 KiB
Current children cumulated memory: 205472 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 27446
/proc/meminfo: memFree=12776560/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=298196 memory=231764 CPUtime=25.48 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 15812 0 0 0 2248 300 0 0 20 0 1 0 67702806 305352704 57941 33554432000 4194304 5849740 140737008643520 140737008642520 4213368 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 74549 57941 742 405 0 71493 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 231764 KiB

[startup+51.1096 s]
/proc/loadavg: 1.90 1.98 2.03 3/188 27446
/proc/meminfo: memFree=12768540/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=305216 memory=237912 CPUtime=51.1 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 23446 0 0 0 4796 314 0 0 20 0 1 0 67702806 312541184 59478 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 76304 59478 743 405 0 73248 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 305216 KiB
Current children cumulated memory: 237912 KiB

[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 27447
/proc/meminfo: memFree=12755732/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=313408 memory=248152 CPUtime=102.29 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 32175 0 0 0 9890 339 0 0 20 0 1 0 67702806 320929792 62038 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 78352 62038 743 405 0 75296 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 313408 KiB
Current children cumulated memory: 248152 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 27448
/proc/meminfo: memFree=12698960/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=358588 memory=294628 CPUtime=162.27 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 46206 0 0 0 15860 367 0 0 20 0 1 0 67702806 367194112 73657 33554432000 4194304 5849740 140737008643520 140737008642008 140159824998279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 89647 73657 743 405 0 86591 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 358588 KiB
Current children cumulated memory: 294628 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 27449
/proc/meminfo: memFree=12654160/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=364888 memory=301020 CPUtime=222.26 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 48074 0 0 0 21830 396 0 0 20 0 1 0 67702806 373645312 75255 33554432000 4194304 5849740 140737008643520 140737008642520 5358950 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 91222 75255 743 405 0 88166 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 364888 KiB
Current children cumulated memory: 301020 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 27450
/proc/meminfo: memFree=12596052/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=364888 memory=302500 CPUtime=282.26 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 52331 0 0 0 27802 424 0 0 20 0 1 0 67702806 373645312 75625 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 91222 75625 743 405 0 88166 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 364888 KiB
Current children cumulated memory: 302500 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 27452
/proc/meminfo: memFree=12635304/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=340728 memory=282864 CPUtime=342.25 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 53554 0 0 0 33768 457 0 0 20 0 1 0 67702806 348905472 70716 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 85182 70716 743 405 0 82126 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 340728 KiB
Current children cumulated memory: 282864 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 27453
/proc/meminfo: memFree=12568700/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=373496 memory=315632 CPUtime=402.24 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 58151 0 0 0 39739 485 0 0 20 0 1 0 67702806 382459904 78908 33554432000 4194304 5849740 140737008643520 140737008642520 5413069 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 93374 78908 743 405 0 90318 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 373496 KiB
Current children cumulated memory: 315632 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 27454
/proc/meminfo: memFree=12640624/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=373496 memory=315632 CPUtime=462.23 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 61892 0 0 0 45705 518 0 0 20 0 1 0 67702806 382459904 78908 33554432000 4194304 5849740 140737008643520 140737008642520 5394792 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 93374 78908 743 405 0 90318 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 373496 KiB
Current children cumulated memory: 315632 KiB


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

/proc/27437/statm: 109524 95040 743 405 0 106468 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 438096 KiB
Current children cumulated memory: 380160 KiB

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/187 27515
/proc/meminfo: memFree=12490400/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=438096 memory=380232 CPUtime=1782.29 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 185301 0 0 0 177086 1143 0 0 20 0 1 0 67702806 448610304 95058 33554432000 4194304 5849740 140737008643520 140737008642520 5438086 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 109524 95058 743 405 0 106468 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 438096 KiB
Current children cumulated memory: 380232 KiB

[startup+1842.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/187 27523
/proc/meminfo: memFree=12489588/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=447076 memory=389240 CPUtime=1842.29 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 193060 0 0 0 183062 1167 0 0 20 0 1 0 67702806 457805824 97310 33554432000 4194304 5849740 140737008643520 140737008642392 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 111769 97310 743 405 0 108713 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 447076 KiB
Current children cumulated memory: 389240 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 27524
/proc/meminfo: memFree=12485068/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=447076 memory=389240 CPUtime=1902.29 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 198773 0 0 0 189037 1192 0 0 20 0 1 0 67702806 457805824 97310 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 111769 97310 743 405 0 108713 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 447076 KiB
Current children cumulated memory: 389240 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 27525
/proc/meminfo: memFree=12485548/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=454752 memory=396888 CPUtime=1962.3 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 209158 0 0 0 195016 1214 0 0 20 0 1 0 67702806 465666048 99222 33554432000 4194304 5849740 140737008643520 140737008642392 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 113688 99222 743 405 0 110632 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 454752 KiB
Current children cumulated memory: 396888 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27526
/proc/meminfo: memFree=12481836/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=454752 memory=396888 CPUtime=2022.3 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 213406 0 0 0 200992 1238 0 0 20 0 1 0 67702806 465666048 99222 33554432000 4194304 5849740 140737008643520 140737008642248 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 113688 99222 743 405 0 110632 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 454752 KiB
Current children cumulated memory: 396888 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 27527
/proc/meminfo: memFree=12485740/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=454752 memory=396888 CPUtime=2082.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 214925 0 0 0 206967 1264 0 0 20 0 1 0 67702806 465666048 99222 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 113688 99222 743 405 0 110632 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 454752 KiB
Current children cumulated memory: 396888 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 27529
/proc/meminfo: memFree=12471012/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=466632 memory=408768 CPUtime=2142.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 219504 0 0 0 212932 1299 0 0 20 0 1 0 67702806 477831168 102192 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 116658 102192 743 405 0 113602 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 466632 KiB
Current children cumulated memory: 408768 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 27530
/proc/meminfo: memFree=12459892/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=455080 memory=397076 CPUtime=2202.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 227717 0 0 0 218910 1321 0 0 20 0 1 0 67702806 466001920 99269 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 113770 99269 743 405 0 110714 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 455080 KiB
Current children cumulated memory: 397076 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27531
/proc/meminfo: memFree=12477416/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=454752 memory=396888 CPUtime=2262.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 233625 0 0 0 224887 1344 0 0 20 0 1 0 67702806 465666048 99222 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 113688 99222 743 405 0 110632 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 454752 KiB
Current children cumulated memory: 396888 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27533
/proc/meminfo: memFree=12436496/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=454752 memory=396888 CPUtime=2322.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 234252 0 0 0 230863 1368 0 0 20 0 1 0 67702806 465666048 99222 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 113688 99222 743 405 0 110632 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 454752 KiB
Current children cumulated memory: 396888 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27534
/proc/meminfo: memFree=12539768/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=416956 memory=359220 CPUtime=2382.31 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 237680 0 0 0 236838 1393 0 0 20 0 1 0 67702806 426962944 89805 33554432000 4194304 5849740 140737008643520 140737008642392 5375993 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 104239 89805 743 405 0 101183 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 416956 KiB
Current children cumulated memory: 359220 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27543
/proc/meminfo: memFree=12513332/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=416956 memory=359220 CPUtime=2442.32 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 238258 0 0 0 242811 1421 0 0 20 0 1 0 67702806 426962944 89805 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 104239 89805 743 405 0 101183 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 416956 KiB
Current children cumulated memory: 359220 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27544
/proc/meminfo: memFree=12500312/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=423916 memory=366052 CPUtime=2502.33 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 240188 0 0 0 248787 1446 0 0 20 0 1 0 67702806 434089984 91513 33554432000 4194304 5849740 140737008643520 140737008642520 5307651 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 105979 91513 743 405 0 102923 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 423916 KiB
Current children cumulated memory: 366052 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 27573
/proc/meminfo: memFree=12783724/32770624 swapFree=67108860/67108860
[pid=27437] ppid=27434 vsize=423916 memory=366052 CPUtime=2520.03 cores=1,3,5,7
/proc/27437/stat : 27437 (xcsp_picat) R 27434 27437 27059 0 -1 4202496 240213 0 0 0 250546 1457 0 0 20 0 1 0 67702806 434089984 91513 33554432000 4194304 5849740 140737008643520 140737008642520 140159824998279 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 26451968 140737008645302 140737008645380 140737008645380 140737008648138 0
/proc/27437/statm: 105979 91513 743 405 0 102923 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 423916 KiB
Current children cumulated memory: 366052 KiB

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

[startup+2520.01 s]
# the end of solver process 27437 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2505.47 s, system=14.5783 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.01
CPU time (s): 2520.05
CPU user time (s): 2505.47
CPU system time (s): 14.5783
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 510724
Max. memory (cumulated for all children) (KiB): 452836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.47
system time used= 14.5783
maximum resident set size= 452836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240213
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= 23
involuntary context switches= 1366


# summary of solver processes directly reported to runsolver:
#   pid: 27437
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2505.47
#   total CPU system time (s): 14.5783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0927 second user time and 17.5544 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-25 08:49:56
IDJOB=4295217
IDBENCH=141493
IDSOLVER=2754
FILE ID=node107/4295217-1532501396
RUNJOBID= node107-1532498874-27091
PBS_JOBID= 21021590
Free space on /tmp= 54496 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295217-1532501396/watcher-4295217-1532501396 -o /tmp/evaluation-result-4295217-1532501396/solver-4295217-1532501396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532498874-27091 --watchdog 2580  xcsp_picat HOME/instance-4295217-1532501396.xml

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

MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7
RANDOM SEED=1865946348

node107.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.40
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.40
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.40
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.40
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:        13116484 kB
MemAvailable:   31889104 kB
Buffers:          279680 kB
Cached:         18606944 kB
SwapCached:            0 kB
Active:          4276084 kB
Inactive:       14716096 kB
Active(anon):     108228 kB
Inactive(anon):    16844 kB
Active(file):    4167856 kB
Inactive(file): 14699252 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             31428 kB
Writeback:             0 kB
AnonPages:         92028 kB
Mapped:            41348 kB
Shmem:             17036 kB
Slab:             361032 kB
SReclaimable:     333972 kB
SUnreclaim:        27060 kB
KernelStack:        3568 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     444164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54496 MiB
End job on node107 at 2018-07-25 09:31:56