Trace number 4303514

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-02? (TO) 2520 2520.02

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay500_c18.xml
MD5SUMf56a4553a90e1a028ece3fd7f833aea7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3017966
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints500
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree37
Distribution of variable degrees[{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}]
Minimum constraint arity7
Maximum constraint arity42
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":500}]
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 (14748 MiB free)
  memory of node 1: 16384 MiB (12676 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303514-1534000172/watcher-4303514-1534000172 -o /tmp/evaluation-result-4303514-1534000172/solver-4303514-1534000172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10870 --watchdog 2580 xcsp_picat HOME/instance-4303514-1534000172.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
solver pid=11832, runsolver pid=11829
Current StackSize limit: 8192 KiB


[startup+0.100328 s]*
/proc/loadavg: 2.02 2.08 2.07 3/187 11833
/proc/meminfo: memFree=28056592/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025744 memory=30992 CPUtime=0.1 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1291 0 0 0 10 0 0 0 20 0 1 0 217580376 2074361856 7748 33554432000 4194304 5849708 140733197380768 140733197380072 4534162 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506436 7748 623 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30992 KiB

[startup+0.209573 s]*
/proc/loadavg: 2.02 2.08 2.07 3/187 11833
/proc/meminfo: memFree=28037788/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025744 memory=48252 CPUtime=0.21 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1486 0 0 0 21 0 0 0 20 0 1 0 217580376 2074361856 12063 33554432000 4194304 5849708 140733197380768 140733197380072 5472349 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506436 12063 713 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 48252 KiB

[startup+0.309395 s]*
/proc/loadavg: 2.02 2.08 2.07 3/187 11833
/proc/meminfo: memFree=28037788/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025744 memory=48252 CPUtime=0.3 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1498 0 0 0 30 0 0 0 20 0 1 0 217580376 2074361856 12063 33554432000 4194304 5849708 140733197380768 140733197380072 5606203 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506436 12063 713 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 48252 KiB

[startup+0.700227 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 11833
/proc/meminfo: memFree=28037788/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025744 memory=48252 CPUtime=0.69 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1501 0 0 0 69 0 0 0 20 0 1 0 217580376 2074361856 12063 33554432000 4194304 5849708 140733197380768 140733197379864 5606238 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506436 12063 713 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 48252 KiB

[startup+1.50024 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 11833
/proc/meminfo: memFree=28037788/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025880 memory=48252 CPUtime=1.49 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1522 0 0 0 149 0 0 0 20 0 1 0 217580376 2074501120 12063 33554432000 4194304 5849708 140733197380768 140733197379864 5472432 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506470 12063 713 405 0 503415 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 48252 KiB

[startup+3.10896 s]
/proc/loadavg: 1.94 2.06 2.06 3/187 11833
/proc/meminfo: memFree=28037324/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025976 memory=48504 CPUtime=3.09 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1644 0 0 0 309 0 0 0 20 0 1 0 217580376 2074599424 12126 33554432000 4194304 5849708 140733197380768 140733197379864 5521478 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506494 12126 714 405 0 503439 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 48504 KiB

[startup+6.30023 s]
/proc/loadavg: 1.94 2.06 2.06 3/187 11833
/proc/meminfo: memFree=28037232/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025976 memory=48584 CPUtime=6.29 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1777 0 0 0 628 1 0 0 20 0 1 0 217580376 2074599424 12146 33554432000 4194304 5849708 140733197380768 140733197379864 5472211 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506494 12146 714 405 0 503439 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 48584 KiB

[startup+12.7002 s]
/proc/loadavg: 1.95 2.06 2.06 3/187 11833
/proc/meminfo: memFree=27997204/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2025976 memory=48584 CPUtime=12.69 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 1922 0 0 0 1268 1 0 0 20 0 1 0 217580376 2074599424 12146 33554432000 4194304 5849708 140733197380768 140733197379864 5606213 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 506494 12146 714 405 0 503439 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 48584 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.06 2.06 3/187 11894
/proc/meminfo: memFree=29046888/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2061808 memory=88092 CPUtime=25.49 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 22739 0 0 0 2542 7 0 0 20 0 1 0 217580376 2111291392 22023 33554432000 4194304 5849708 140733197380768 140733197379416 4204921 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 515452 22023 747 405 0 512397 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2061808 KiB
Current children cumulated memory: 88092 KiB

[startup+51.1096 s]
/proc/loadavg: 1.97 2.05 2.06 4/189 11903
/proc/meminfo: memFree=29047220/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2056116 memory=83396 CPUtime=51.09 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 31162 0 0 0 5084 25 0 0 20 0 1 0 217580376 2105462784 20849 33554432000 4194304 5849708 140733197380768 140733197379928 5313256 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 514029 20849 747 405 0 510974 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2056116 KiB
Current children cumulated memory: 83396 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/189 11904
/proc/meminfo: memFree=29001008/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2057224 memory=84600 CPUtime=102.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 47875 0 0 0 10165 62 0 0 20 0 1 0 217580376 2106597376 21150 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 514306 21150 747 405 0 511251 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2057224 KiB
Current children cumulated memory: 84600 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 11905
/proc/meminfo: memFree=29030264/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2062436 memory=88528 CPUtime=162.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 55248 0 0 0 16129 98 0 0 20 0 1 0 217580376 2111934464 22132 33554432000 4194304 5849708 140733197380768 140733197379640 5317696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 515609 22132 747 405 0 512554 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2062436 KiB
Current children cumulated memory: 88528 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 11906
/proc/meminfo: memFree=28974268/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2084852 memory=110800 CPUtime=222.26 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 66902 0 0 0 22085 141 0 0 20 0 1 0 217580376 2134888448 27700 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 521213 27700 747 405 0 518158 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2084852 KiB
Current children cumulated memory: 110800 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 11907
/proc/meminfo: memFree=28999020/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2093644 memory=116952 CPUtime=282.26 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 79634 0 0 0 28047 179 0 0 20 0 1 0 217580376 2143891456 29238 33554432000 4194304 5849708 140733197380768 140733197379768 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 523411 29238 747 405 0 520356 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2093644 KiB
Current children cumulated memory: 116952 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11908
/proc/meminfo: memFree=28964152/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2093584 memory=120332 CPUtime=342.25 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 90297 0 0 0 34013 212 0 0 20 0 1 0 217580376 2143830016 30083 33554432000 4194304 5849708 140733197380768 140733197379640 5416635 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 523396 30083 747 405 0 520341 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2093584 KiB
Current children cumulated memory: 120332 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11909
/proc/meminfo: memFree=28898860/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2093536 memory=120284 CPUtime=402.24 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 99281 0 0 0 39976 248 0 0 20 0 1 0 217580376 2143780864 30071 33554432000 4194304 5849708 140733197380768 140733197379768 5385040 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 523384 30071 747 405 0 520329 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2093536 KiB
Current children cumulated memory: 120284 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11910
/proc/meminfo: memFree=28838092/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2153856 memory=181180 CPUtime=462.24 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 122309 0 0 0 45945 279 0 0 20 0 1 0 217580376 2205548544 45295 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 538464 45295 747 405 0 535409 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2153856 KiB
Current children cumulated memory: 181180 KiB


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

/proc/11832/statm: 542337 49157 747 405 0 539282 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2169348 KiB
Current children cumulated memory: 196628 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11950
/proc/meminfo: memFree=28899400/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2183820 memory=211156 CPUtime=1782.26 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 409544 0 0 0 177237 989 0 0 20 0 1 0 217580376 2236231680 52789 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 545955 52789 747 405 0 542900 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2183820 KiB
Current children cumulated memory: 211156 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11959
/proc/meminfo: memFree=28877008/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2174344 memory=201668 CPUtime=1842.26 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 422194 0 0 0 183211 1015 0 0 20 0 1 0 217580376 2226528256 50417 33554432000 4194304 5849708 140733197380768 140733197379928 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 543586 50417 747 405 0 540531 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2174344 KiB
Current children cumulated memory: 201668 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11960
/proc/meminfo: memFree=28815700/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2171000 memory=198400 CPUtime=1902.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 447463 0 0 0 189178 1049 0 0 20 0 1 0 217580376 2223104000 49600 33554432000 4194304 5849708 140733197380768 140733197379928 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 542750 49600 747 405 0 539695 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 2171000 KiB
Current children cumulated memory: 198400 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11961
/proc/meminfo: memFree=28812576/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2174620 memory=202020 CPUtime=1962.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 461088 0 0 0 195143 1084 0 0 20 0 1 0 217580376 2226810880 50505 33554432000 4194304 5849708 140733197380768 140733197379928 5438212 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 543655 50505 747 405 0 540600 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 2174620 KiB
Current children cumulated memory: 202020 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11962
/proc/meminfo: memFree=28778444/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2171968 memory=199368 CPUtime=2022.26 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 481105 0 0 0 201113 1113 0 0 20 0 1 0 217580376 2224095232 49842 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 542992 49842 747 405 0 539937 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2171968 KiB
Current children cumulated memory: 199368 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11963
/proc/meminfo: memFree=28815536/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2170564 memory=197956 CPUtime=2082.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 493679 0 0 0 207082 1145 0 0 20 0 1 0 217580376 2222657536 49489 33554432000 4194304 5849708 140733197380768 140733197379768 5340254 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 542641 49489 747 405 0 539586 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 2170564 KiB
Current children cumulated memory: 197956 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11964
/proc/meminfo: memFree=28716964/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2265140 memory=284524 CPUtime=2142.26 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 529616 0 0 0 213054 1172 0 0 20 0 1 0 217580376 2319503360 71131 33554432000 4194304 5849708 140733197380768 140733197379768 5437837 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 566285 71131 747 405 0 563230 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2265140 KiB
Current children cumulated memory: 284524 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11965
/proc/meminfo: memFree=28827940/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2122668 memory=150140 CPUtime=2202.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 535750 0 0 0 219025 1202 0 0 20 0 1 0 217580376 2173612032 37535 33554432000 4194304 5849708 140733197380768 140733197379768 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 530667 37535 747 405 0 527612 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 2122668 KiB
Current children cumulated memory: 150140 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11966
/proc/meminfo: memFree=28801716/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2147120 memory=174520 CPUtime=2262.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 553241 0 0 0 224996 1231 0 0 20 0 1 0 217580376 2198650880 43630 33554432000 4194304 5849708 140733197380768 140733197379928 5437824 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 536780 43630 747 405 0 533725 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 2147120 KiB
Current children cumulated memory: 174520 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11967
/proc/meminfo: memFree=28767596/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2177412 memory=204728 CPUtime=2322.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 566861 0 0 0 230962 1265 0 0 20 0 1 0 217580376 2229669888 51182 33554432000 4194304 5849708 140733197380768 140733197379768 5438096 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 544353 51182 747 405 0 541298 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 2177412 KiB
Current children cumulated memory: 204728 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11968
/proc/meminfo: memFree=28738180/32770624 swapFree=67030624/67108860
[pid=11832] ppid=11829 vsize=2213776 memory=241304 CPUtime=2382.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 582669 0 0 0 236932 1295 0 0 20 0 1 0 217580376 2266906624 60326 33554432000 4194304 5849708 140733197380768 140733197379768 5437580 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 553444 60326 747 405 0 550389 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 2213776 KiB
Current children cumulated memory: 241304 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11977
/proc/meminfo: memFree=28755012/32770624 swapFree=67030628/67108860
[pid=11832] ppid=11829 vsize=2213888 memory=241416 CPUtime=2442.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 592055 0 0 0 242910 1317 0 0 20 0 1 0 217580376 2267021312 60354 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 553472 60354 747 405 0 550417 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 2213888 KiB
Current children cumulated memory: 241416 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11978
/proc/meminfo: memFree=28695196/32770624 swapFree=67030628/67108860
[pid=11832] ppid=11829 vsize=2255100 memory=282628 CPUtime=2502.27 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 614287 0 0 0 248886 1341 0 0 20 0 1 0 217580376 2309222400 70657 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 563775 70657 747 405 0 560720 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 2255100 KiB
Current children cumulated memory: 282628 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11978
/proc/meminfo: memFree=28766972/32770624 swapFree=67030628/67108860
[pid=11832] ppid=11829 vsize=2183456 memory=210968 CPUtime=2519.98 cores=0,2,4,6
/proc/11832/stat : 11832 (xcsp_picat) R 11829 11832 10838 0 -1 4202496 618719 0 0 0 250649 1349 0 0 20 0 1 0 217580376 2235858944 52742 33554432000 4194304 5849708 140733197380768 140733197379768 140717040938887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47157248 140733197386934 140733197387012 140733197387012 140733197389770 0
/proc/11832/statm: 545864 52742 747 405 0 542809 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 2183456 KiB
Current children cumulated memory: 210968 KiB

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

[startup+2520.02 s]
# the end of solver process 11832 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2506.5 s, system=13.5009 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.02
CPU time (s): 2520
CPU user time (s): 2506.5
CPU system time (s): 13.5009
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 2356756
Max. memory (cumulated for all children) (KiB): 384156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.5
system time used= 13.5009
maximum resident set size= 384156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1727


# summary of solver processes directly reported to runsolver:
#   pid: 11832
#   total CPU time (s): 2520
#   total CPU user time (s): 2506.5
#   total CPU system time (s): 13.5009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87009 second user time and 18.4414 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-11 17:09:32
IDJOB=4303514
IDBENCH=141161
IDSOLVER=2778
FILE ID=node102/4303514-1534000172
RUNJOBID= node102-1533990060-10870
PBS_JOBID= 21036939
Free space on /tmp= 38200 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303514-1534000172/watcher-4303514-1534000172 -o /tmp/evaluation-result-4303514-1534000172/solver-4303514-1534000172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10870 --watchdog 2580  xcsp_picat HOME/instance-4303514-1534000172.xml

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

MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7
RANDOM SEED=1491022939

node102.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.51
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.51
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.51
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.51
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:        28082784 kB
MemAvailable:   30709848 kB
Buffers:           26528 kB
Cached:          2863692 kB
SwapCached:        51280 kB
Active:          2611616 kB
Inactive:        1536612 kB
Active(anon):    1180648 kB
Inactive(anon):   128760 kB
Active(file):    1430968 kB
Inactive(file):  1407852 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67030624 kB
Dirty:              3132 kB
Writeback:             0 kB
AnonPages:       1213764 kB
Mapped:            49860 kB
Shmem:             48948 kB
Slab:             236412 kB
SReclaimable:     208160 kB
SUnreclaim:        28252 kB
KernelStack:        3344 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3380360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    845824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38204 MiB
End job on node102 at 2018-08-11 17:51:32