Trace number 4309354

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-14? (TO) 2519.92 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 (8558 MiB free)
  memory of node 1: 16384 MiB (9975 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309354-1534310162/watcher-4309354-1534310162 -o /tmp/evaluation-result-4309354-1534310162/solver-4309354-1534310162 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16589 --watchdog 2580 xcsp_picat HOME/instance-4309354-1534310162.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=18500, runsolver pid=18497

[startup+0.100157 s]*
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18958200/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2025744 memory=22360 CPUtime=0.1 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 1680 0 0 0 10 0 0 0 20 0 1 0 248579368 2074361856 5590 33554432000 4194304 5849940 140735757580912 140735757580912 140599010061312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 506436 5590 602 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 22360 KiB

[startup+0.209702 s]*
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18950008/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2025744 memory=30552 CPUtime=0.21 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 1684 0 0 0 21 0 0 0 20 0 1 0 248579368 2074361856 7638 33554432000 4194304 5849940 140735757580912 140735757580912 140599010061312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 506436 7638 602 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30552 KiB

[startup+0.309598 s]*
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18941592/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2025744 memory=38744 CPUtime=0.31 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 1688 0 0 0 31 0 0 0 20 0 1 0 248579368 2074361856 9686 33554432000 4194304 5849940 140735757580912 140735757580216 140599010061312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 506436 9686 602 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 38744 KiB

[startup+0.700391 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18925208/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2025744 memory=69464 CPUtime=0.69 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 1703 0 0 0 68 1 0 0 20 0 1 0 248579368 2074361856 17366 33554432000 4194304 5849940 140735757580912 140735757580216 140599010061312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 506436 17366 602 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 69464 KiB

[startup+1.50035 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18888220/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2025744 memory=133076 CPUtime=1.49 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 1734 0 0 0 147 2 0 0 20 0 1 0 248579368 2074361856 33269 33554432000 4194304 5849940 140735757580912 140735757580216 4488911 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 506436 33269 602 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 133076 KiB

[startup+3.10953 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18726180/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2025744 memory=264148 CPUtime=3.1 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 1944 0 0 0 307 3 0 0 20 0 1 0 248579368 2074361856 66037 33554432000 4194304 5849940 140735757580912 140735757580216 140599010061312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 506436 66037 602 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 264148 KiB

[startup+6.30027 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 18501
/proc/meminfo: memFree=18496060/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2033224 memory=483268 CPUtime=6.29 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 5064 0 0 0 604 25 0 0 20 0 1 0 248579368 2082021376 120817 33554432000 4194304 5849940 140735757580912 140735757579992 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 508306 120817 671 405 0 505250 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033224 KiB
Current children cumulated memory: 483268 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 2.09 2.08 3/187 18501
/proc/meminfo: memFree=18491924/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2037320 memory=487424 CPUtime=12.69 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 5646 0 0 0 1005 264 0 0 20 0 1 0 248579368 2086215680 121856 33554432000 4194304 5849940 140735757580912 140735757579992 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 509330 121856 686 405 0 506274 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037320 KiB
Current children cumulated memory: 487424 KiB

[startup+25.5003 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 18501
/proc/meminfo: memFree=18480944/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2049544 memory=498524 CPUtime=25.49 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 23755 0 0 0 2238 311 0 0 20 0 1 0 248579368 2098733056 124631 33554432000 4194304 5849940 140735757580912 140735757579912 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 512386 124631 719 405 0 509330 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2049544 KiB
Current children cumulated memory: 498524 KiB

[startup+51.1094 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 18501
/proc/meminfo: memFree=18462764/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2067536 memory=517144 CPUtime=51.09 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 37007 0 0 0 4783 326 0 0 20 0 1 0 248579368 2117156864 129286 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 516884 129286 719 405 0 513828 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2067536 KiB
Current children cumulated memory: 517144 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 18502
/proc/meminfo: memFree=18451720/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2079120 memory=527032 CPUtime=102.29 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 62273 0 0 0 9872 357 0 0 20 0 1 0 248579368 2129018880 131758 33554432000 4194304 5849940 140735757580912 140735757579912 5307765 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 519780 131758 719 405 0 516724 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2079120 KiB
Current children cumulated memory: 527032 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 18503
/proc/meminfo: memFree=18430228/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2098528 memory=548640 CPUtime=162.28 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 83090 0 0 0 15841 387 0 0 20 0 1 0 248579368 2148892672 137160 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 524632 137160 719 405 0 521576 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2098528 KiB
Current children cumulated memory: 548640 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/186 18504
/proc/meminfo: memFree=18394732/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2138540 memory=585144 CPUtime=222.28 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 111472 0 0 0 21809 419 0 0 20 0 1 0 248579368 2189864960 146286 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 534635 146286 719 405 0 531579 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2138540 KiB
Current children cumulated memory: 585144 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/188 18514
/proc/meminfo: memFree=18414464/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2114252 memory=564132 CPUtime=282.28 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 126404 0 0 0 27780 448 0 0 20 0 1 0 248579368 2164994048 141033 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 528563 141033 719 405 0 525507 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2114252 KiB
Current children cumulated memory: 564132 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 18515
/proc/meminfo: memFree=18477172/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2127756 memory=577868 CPUtime=342.27 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 152704 0 0 0 33755 472 0 0 20 0 1 0 248579368 2178822144 144467 33554432000 4194304 5849940 140735757580912 140735757579912 5437913 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 531939 144467 719 405 0 528883 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2127756 KiB
Current children cumulated memory: 577868 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 18516
/proc/meminfo: memFree=18444140/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2160696 memory=610808 CPUtime=402.28 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 168987 0 0 0 39727 501 0 0 20 0 1 0 248579368 2212552704 152702 33554432000 4194304 5849940 140735757580912 140735757579912 5416723 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 540174 152702 719 405 0 537118 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2160696 KiB
Current children cumulated memory: 610808 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 18517
/proc/meminfo: memFree=18477076/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2127928 memory=578040 CPUtime=462.27 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 193061 0 0 0 45700 527 0 0 20 0 1 0 248579368 2178998272 144510 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 531982 144510 719 405 0 528926 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2127928 KiB
Current children cumulated memory: 578040 KiB


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

/proc/18500/statm: 547515 160805 719 405 0 544459 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2190060 KiB
Current children cumulated memory: 643220 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18702
/proc/meminfo: memFree=18537032/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2190060 memory=643284 CPUtime=1782.22 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 337028 0 0 0 177162 1060 0 0 20 0 1 0 248579368 2242621440 160821 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 547515 160821 719 405 0 544459 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2190060 KiB
Current children cumulated memory: 643284 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18703
/proc/meminfo: memFree=18524088/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2201420 memory=654644 CPUtime=1842.22 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 341910 0 0 0 183141 1081 0 0 20 0 1 0 248579368 2254254080 163661 33554432000 4194304 5849940 140735757580912 140735757579912 5359310 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 550355 163661 719 405 0 547299 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2201420 KiB
Current children cumulated memory: 654644 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18704
/proc/meminfo: memFree=18513376/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2193588 memory=646752 CPUtime=1902.22 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 352081 0 0 0 189118 1104 0 0 20 0 1 0 248579368 2246234112 161688 33554432000 4194304 5849940 140735757580912 140735757579912 5399737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 548397 161688 719 405 0 545341 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2193588 KiB
Current children cumulated memory: 646752 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18705
/proc/meminfo: memFree=18544344/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2149040 memory=602152 CPUtime=1962.21 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 359339 0 0 0 195099 1122 0 0 20 0 1 0 248579368 2200616960 150538 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 537260 150538 719 405 0 534204 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2149040 KiB
Current children cumulated memory: 602152 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18706
/proc/meminfo: memFree=18510244/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2181332 memory=634476 CPUtime=2022.21 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 367904 0 0 0 201074 1147 0 0 20 0 1 0 248579368 2233683968 158619 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 545333 158619 719 405 0 542277 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2181332 KiB
Current children cumulated memory: 634476 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18714
/proc/meminfo: memFree=18525064/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2170724 memory=623896 CPUtime=2082.21 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 373047 0 0 0 207053 1168 0 0 20 0 1 0 248579368 2222821376 155974 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 542681 155974 719 405 0 539625 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2170724 KiB
Current children cumulated memory: 623896 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18715
/proc/meminfo: memFree=18517336/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2182648 memory=635728 CPUtime=2142.21 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 383406 0 0 0 213034 1187 0 0 20 0 1 0 248579368 2235031552 158932 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 545662 158932 719 405 0 542606 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2182648 KiB
Current children cumulated memory: 635728 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18716
/proc/meminfo: memFree=18471448/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2190468 memory=643612 CPUtime=2202.21 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 389873 0 0 0 219012 1209 0 0 20 0 1 0 248579368 2243039232 160903 33554432000 4194304 5849940 140735757580912 140735757579784 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 547617 160903 719 405 0 544561 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2190468 KiB
Current children cumulated memory: 643612 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18717
/proc/meminfo: memFree=18466176/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2200320 memory=653544 CPUtime=2262.2 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 402101 0 0 0 224988 1232 0 0 20 0 1 0 248579368 2253127680 163386 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 550080 163386 719 405 0 547024 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2200320 KiB
Current children cumulated memory: 653544 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18718
/proc/meminfo: memFree=18466508/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2197896 memory=650996 CPUtime=2322.2 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 409598 0 0 0 230965 1255 0 0 20 0 1 0 248579368 2250645504 162749 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 549474 162749 719 405 0 546418 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2197896 KiB
Current children cumulated memory: 650996 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18720
/proc/meminfo: memFree=18495260/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2194260 memory=647484 CPUtime=2382.19 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 423106 0 0 0 236945 1274 0 0 20 0 1 0 248579368 2246922240 161871 33554432000 4194304 5849940 140735757580912 140735757579400 4211874 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 548565 161871 719 405 0 545509 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2194260 KiB
Current children cumulated memory: 647484 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18721
/proc/meminfo: memFree=18467688/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2194992 memory=648108 CPUtime=2442.19 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 429299 0 0 0 242925 1294 0 0 20 0 1 0 248579368 2247671808 162027 33554432000 4194304 5849940 140735757580912 140735757579912 5437817 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 548748 162027 719 405 0 545692 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2194992 KiB
Current children cumulated memory: 648108 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18722
/proc/meminfo: memFree=18478264/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2181832 memory=634988 CPUtime=2502.2 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 441061 0 0 0 248902 1318 0 0 20 0 1 0 248579368 2234195968 158747 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 545458 158747 719 405 0 542402 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 2181832 KiB
Current children cumulated memory: 634988 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18723
/proc/meminfo: memFree=18476792/32770624 swapFree=67108860/67108860
[pid=18500] ppid=18497 vsize=2185368 memory=638332 CPUtime=2519.9 cores=1,3,5,7
/proc/18500/stat : 18500 (xcsp_picat) R 18497 18500 16557 0 -1 4202496 441968 0 0 0 250666 1324 0 0 20 0 1 0 248579368 2237816832 159583 33554432000 4194304 5849940 140735757580912 140735757579912 140599010082695 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 34729984 140735757587638 140735757587716 140735757587716 140735757590474 0
/proc/18500/statm: 546342 159583 719 405 0 543286 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2185368 KiB
Current children cumulated memory: 638332 KiB

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

[startup+2520.01 s]
# the end of solver process 18500 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2506.67 s, system=13.2465 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): 2519.92
CPU user time (s): 2506.67
CPU system time (s): 13.2465
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 2294656
Max. memory (cumulated for all children) (KiB): 747880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.67
system time used= 13.2465
maximum resident set size= 747880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441968
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= 15
involuntary context switches= 997


# summary of solver processes directly reported to runsolver:
#   pid: 18500
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2506.67
#   total CPU system time (s): 13.2465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.72937 second user time and 18.6014 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 07:16:02
IDJOB=4309354
IDBENCH=141493
IDSOLVER=2794
FILE ID=node139/4309354-1534310162
RUNJOBID= node139-1534293040-16589
PBS_JOBID= 21038134
Free space on /tmp= 35076 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309354-1534310162/watcher-4309354-1534310162 -o /tmp/evaluation-result-4309354-1534310162/solver-4309354-1534310162 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16589 --watchdog 2580  xcsp_picat HOME/instance-4309354-1534310162.xml

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

MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7
RANDOM SEED=1096810087

node139.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.80
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.80
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.80
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.80
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:        18978704 kB
MemAvailable:   31566716 kB
Buffers:          267300 kB
Cached:         12420620 kB
SwapCached:            0 kB
Active:          6387900 kB
Inactive:        6684468 kB
Active(anon):     338640 kB
Inactive(anon):   106808 kB
Active(file):    6049260 kB
Inactive(file):  6577660 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             19796 kB
Writeback:             0 kB
AnonPages:        338540 kB
Mapped:            68152 kB
Shmem:             57996 kB
Slab:             417408 kB
SReclaimable:     389552 kB
SUnreclaim:        27856 kB
KernelStack:        3360 kB
PageTables:         5960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2714428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 35072 MiB
End job on node139 at 2018-08-15 07:58:02