Trace number 4294024

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-15OPT49 1443.27 1443.25

General information on the benchmark

NamePizzaVoucher/
PizzaVoucher-18a_c18.xml
MD5SUM3728d9c98e9ec51874bb5385faf79653
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark1175.91
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints202
Number of domains19
Minimum domain size1
Maximum domain size29
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":35},{"size":3,"count":4},{"size":4,"count":3},{"size":5,"count":1},{"size":7,"count":1},{"size":29,"count":18}]
Minimum variable degree2
Maximum variable degree46
Distribution of variable degrees[{"degree":2,"count":46},{"degree":44,"count":9},{"degree":45,"count":4},{"degree":46,"count":5}]
Minimum constraint arity2
Maximum constraint arity19
Distribution of constraint arities[{"arity":2,"count":174},{"arity":19,"count":28}]
Number of extensional constraints0
Number of intensional constraints174
Distribution of constraint types[{"type":"intension","count":174},{"type":"count","count":28}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1443.20/1443.25	c xcsp_picat version 2.4#4 (June 15, 2018)
1443.20/1443.25	o 70
1443.20/1443.25	o 52
1443.20/1443.25	o 49
1443.20/1443.25	s OPTIMUM FOUND
1443.20/1443.25	v <instantiation>
1443.20/1443.25	v     <list> pp[] nf[] v[] np[]  </list> 
1443.20/1443.25	v     <values> 0 0 6 0 0 0 8 8 10 0 5 0 0 0 0 0 12 0  0 2 2 3 0 1 0 0 0 0 0 0 4 0  4 4 -4 2 13 3 -13 -13 -3 4 -4 13 2 13 3 13 -2 6  0 1 1 2 0 0 0 0 0 0 0 0 2 0   </values> 
1443.20/1443.25	v </instantiation>

Verifier Data 

OK	49

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294024-1532433425/watcher-4294024-1532433425 -o /tmp/evaluation-result-4294024-1532433425/solver-4294024-1532433425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580 xcsp_picat HOME/instance-4294024-1532433425.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
solver pid=16536, runsolver pid=16533
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 1.87 1.76 1.41 3/188 16537
/proc/meminfo: memFree=10908428/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=113528 memory=17476 CPUtime=0.1 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 2089 0 0 0 10 0 0 0 20 0 1 0 60905691 116252672 4369 33554432000 4194304 5849740 140725445163728 140725445163728 5392419 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 28382 4369 709 405 0 25326 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113528 KiB
Current children cumulated memory: 17476 KiB

[startup+0.209788 s]*
/proc/loadavg: 1.87 1.76 1.41 3/188 16537
/proc/meminfo: memFree=10908140/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=113528 memory=17476 CPUtime=0.21 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 2089 0 0 0 21 0 0 0 20 0 1 0 60905691 116252672 4369 33554432000 4194304 5849740 140725445163728 140725445163728 5400165 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 28382 4369 709 405 0 25326 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 113528 KiB
Current children cumulated memory: 17476 KiB

[startup+0.308895 s]*
/proc/loadavg: 1.87 1.76 1.41 3/188 16537
/proc/meminfo: memFree=10908140/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=113528 memory=17476 CPUtime=0.31 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 2089 0 0 0 31 0 0 0 20 0 1 0 60905691 116252672 4369 33554432000 4194304 5849740 140725445163728 140725445163728 5395596 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 28382 4369 709 405 0 25326 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113528 KiB
Current children cumulated memory: 17476 KiB

[startup+0.700279 s]
/proc/loadavg: 1.87 1.76 1.41 3/188 16537
/proc/meminfo: memFree=10907396/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=114716 memory=18556 CPUtime=0.69 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 2448 0 0 0 69 0 0 0 20 0 1 0 60905691 117469184 4639 33554432000 4194304 5849740 140725445163728 140725445163728 5416698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 28679 4639 718 405 0 25623 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114716 KiB
Current children cumulated memory: 18556 KiB

[startup+1.50028 s]
/proc/loadavg: 1.87 1.76 1.41 3/188 16537
/proc/meminfo: memFree=10907356/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=115820 memory=19792 CPUtime=1.49 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 2729 0 0 0 149 0 0 0 20 0 1 0 60905691 118599680 4948 33554432000 4194304 5849740 140725445163728 140725445161544 4211654 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 28955 4948 722 405 0 25899 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 19792 KiB

[startup+3.10938 s]
/proc/loadavg: 1.87 1.76 1.41 3/188 16537
/proc/meminfo: memFree=10889668/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=117336 memory=21304 CPUtime=3.1 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 4464 0 0 0 309 1 0 0 20 0 1 0 60905691 120152064 5326 33554432000 4194304 5849740 140725445163728 140725445161544 4211654 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 29334 5326 737 405 0 26278 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 117336 KiB
Current children cumulated memory: 21304 KiB

[startup+6.30028 s]
/proc/loadavg: 1.96 1.78 1.42 3/188 16537
/proc/meminfo: memFree=10888752/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=117892 memory=21860 CPUtime=6.29 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 6642 0 0 0 625 4 0 0 20 0 1 0 60905691 120721408 5465 33554432000 4194304 5849740 140725445163728 140725445162216 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 29473 5465 737 405 0 26417 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 117892 KiB
Current children cumulated memory: 21860 KiB

[startup+12.7003 s]
/proc/loadavg: 1.97 1.78 1.42 3/188 16537
/proc/meminfo: memFree=10873052/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=115784 memory=19824 CPUtime=12.7 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 12753 0 0 0 1260 10 0 0 20 0 1 0 60905691 118562816 4956 33554432000 4194304 5849740 140725445163728 140725445162216 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 28946 4956 752 405 0 25890 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 115784 KiB
Current children cumulated memory: 19824 KiB

[startup+25.5003 s]
/proc/loadavg: 1.97 1.79 1.43 3/188 16537
/proc/meminfo: memFree=10848852/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=123868 memory=28024 CPUtime=25.5 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 24852 0 0 0 2526 24 0 0 20 0 1 0 60905691 126840832 7006 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 30967 7006 752 405 0 27911 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 123868 KiB
Current children cumulated memory: 28024 KiB

[startup+51.1097 s]
/proc/loadavg: 1.98 1.81 1.45 3/188 16537
/proc/meminfo: memFree=14826072/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=127840 memory=34712 CPUtime=51.1 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 49858 0 0 0 5062 48 0 0 20 0 1 0 60905691 130908160 8678 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 31960 8678 752 405 0 28904 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 127840 KiB
Current children cumulated memory: 34712 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.84 1.47 3/188 16539
/proc/meminfo: memFree=10912652/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=137608 memory=46208 CPUtime=102.29 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 97664 0 0 0 10142 87 0 0 20 0 1 0 60905691 140910592 11552 33554432000 4194304 5849740 140725445163728 140725445162728 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 34402 11552 752 405 0 31346 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 137608 KiB
Current children cumulated memory: 46208 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 1.88 1.51 3/187 16540
/proc/meminfo: memFree=10539484/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=142948 memory=51380 CPUtime=162.29 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 107507 0 0 0 16095 134 0 0 20 0 1 0 60905691 146378752 12845 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 35737 12845 752 405 0 32681 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 142948 KiB
Current children cumulated memory: 51380 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 1.90 1.54 3/187 16548
/proc/meminfo: memFree=10387696/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=178304 memory=86696 CPUtime=222.3 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 118283 0 0 0 22059 171 0 0 20 0 1 0 60905691 182583296 21674 33554432000 4194304 5849740 140725445163728 140725445162728 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 44576 21674 752 405 0 41520 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 178304 KiB
Current children cumulated memory: 86696 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 1.92 1.57 3/187 16571
/proc/meminfo: memFree=10239656/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=212252 memory=120616 CPUtime=282.29 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 136344 0 0 0 28035 194 0 0 20 0 1 0 60905691 217346048 30154 33554432000 4194304 5849740 140725445163728 140725445162728 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 53063 30154 752 405 0 50007 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 212252 KiB
Current children cumulated memory: 120616 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.94 1.60 3/187 16572
/proc/meminfo: memFree=10092400/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=241468 memory=150068 CPUtime=342.3 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 148588 0 0 0 34017 213 0 0 20 0 1 0 60905691 247263232 37517 33554432000 4194304 5849740 140725445163728 140725445162728 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 60367 37517 752 405 0 57311 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 241468 KiB
Current children cumulated memory: 150068 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.62 3/187 16573
/proc/meminfo: memFree=12225892/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=273544 memory=182272 CPUtime=402.3 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 170099 0 0 0 39992 238 0 0 20 0 1 0 60905691 280109056 45568 33554432000 4194304 5849740 140725445163728 140725445161976 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 68386 45568 752 405 0 65330 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 273544 KiB
Current children cumulated memory: 182272 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.65 3/187 16574
/proc/meminfo: memFree=9827728/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=289928 memory=198656 CPUtime=462.3 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 196756 0 0 0 45975 255 0 0 20 0 1 0 60905691 296886272 49664 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 72482 49664 752 405 0 69426 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 289928 KiB
Current children cumulated memory: 198656 KiB


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

Current children cumulated memory: 54840 KiB

[startup+942.3 s]
/proc/loadavg: 2.28 2.18 1.87 3/187 16589
/proc/meminfo: memFree=9092704/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=159276 memory=67772 CPUtime=942.31 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 351608 0 0 0 93809 422 0 0 20 0 1 0 60905691 163098624 16943 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 39819 16943 752 405 0 36763 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 159276 KiB
Current children cumulated memory: 67772 KiB

[startup+1002.3 s]
/proc/loadavg: 2.10 2.15 1.88 3/187 16590
/proc/meminfo: memFree=8981056/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=174184 memory=82828 CPUtime=1002.31 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 352810 0 0 0 99774 457 0 0 20 0 1 0 60905691 178364416 20707 33554432000 4194304 5849740 140725445163728 140725445162728 5437600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 43546 20707 752 405 0 40490 0
Current children cumulated CPU time: 1002.31 s
Current children cumulated vsize: 174184 KiB
Current children cumulated memory: 82828 KiB

[startup+1062.3 s]
/proc/loadavg: 2.04 2.12 1.88 3/187 16591
/proc/meminfo: memFree=8878348/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=176664 memory=85264 CPUtime=1062.32 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 361750 0 0 0 105744 488 0 0 20 0 1 0 60905691 180903936 21316 33554432000 4194304 5849740 140725445163728 140725445162728 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 44166 21316 752 405 0 41110 0
Current children cumulated CPU time: 1062.32 s
Current children cumulated vsize: 176664 KiB
Current children cumulated memory: 85264 KiB

[startup+1122.3 s]
/proc/loadavg: 2.01 2.10 1.89 3/187 16592
/proc/meminfo: memFree=8713908/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=239812 memory=148412 CPUtime=1122.32 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 372620 0 0 0 111719 513 0 0 20 0 1 0 60905691 245567488 37103 33554432000 4194304 5849740 140725445163728 140725445162728 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 59953 37103 752 405 0 56897 0
Current children cumulated CPU time: 1122.32 s
Current children cumulated vsize: 239812 KiB
Current children cumulated memory: 148412 KiB

[startup+1182.3 s]
/proc/loadavg: 2.01 2.08 1.89 3/187 16593
/proc/meminfo: memFree=8566712/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=286752 memory=195352 CPUtime=1182.31 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 382303 0 0 0 117696 535 0 0 20 0 1 0 60905691 293634048 48838 33554432000 4194304 5849740 140725445163728 140725445162728 5360447 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 71688 48838 752 405 0 68632 0
Current children cumulated CPU time: 1182.31 s
Current children cumulated vsize: 286752 KiB
Current children cumulated memory: 195352 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.07 1.90 3/187 16594
/proc/meminfo: memFree=8486540/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=267092 memory=175820 CPUtime=1242.32 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 400801 0 0 0 123677 555 0 0 20 0 1 0 60905691 273502208 43955 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 66773 43955 752 405 0 63717 0
Current children cumulated CPU time: 1242.32 s
Current children cumulated vsize: 267092 KiB
Current children cumulated memory: 175820 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.06 1.91 3/187 16595
/proc/meminfo: memFree=8303084/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=349392 memory=257992 CPUtime=1302.31 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 420291 0 0 0 129653 578 0 0 20 0 1 0 60905691 357777408 64498 33554432000 4194304 5849740 140725445163728 140725445162888 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 87348 64498 752 405 0 84292 0
Current children cumulated CPU time: 1302.31 s
Current children cumulated vsize: 349392 KiB
Current children cumulated memory: 257992 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 1.91 3/187 16657
/proc/meminfo: memFree=22191164/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=311600 memory=219968 CPUtime=1362.32 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 437798 0 0 0 135629 603 0 0 20 0 1 0 60905691 319078400 54992 33554432000 4194304 5849740 140725445163728 140725445162728 5437600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 77900 54992 752 405 0 74844 0
Current children cumulated CPU time: 1362.32 s
Current children cumulated vsize: 311600 KiB
Current children cumulated memory: 219968 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22193500/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=308664 memory=217100 CPUtime=1422.3 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 449771 0 0 0 141612 618 0 0 20 0 1 0 60905691 316071936 54275 33554432000 4194304 5849740 140725445163728 140725445162728 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 77166 54275 752 405 0 74110 0
Current children cumulated CPU time: 1422.3 s
Current children cumulated vsize: 308664 KiB
Current children cumulated memory: 217100 KiB

[startup+1443.25 s]
# the end of solver process 16536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1437 s, system=6.26813 s

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

[startup+1433.6 s]
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22177056/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=325048 memory=233472 CPUtime=1433.61 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 450290 0 0 0 142739 622 0 0 20 0 1 0 60905691 332849152 58368 33554432000 4194304 5849740 140725445163728 140725445162728 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 81262 58368 752 405 0 78206 0
Current children cumulated CPU time: 1433.61 s
Current children cumulated vsize: 325048 KiB
Current children cumulated memory: 233472 KiB

[startup+1440 s]*
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22234264/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=268756 memory=177152 CPUtime=1440.01 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 454127 0 0 0 143377 624 0 0 20 0 1 0 60905691 275206144 44288 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 67189 44288 752 405 0 64133 0
Current children cumulated CPU time: 1440.01 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 177152 KiB

[startup+1441.6 s]
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22234264/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=268756 memory=177152 CPUtime=1441.61 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 454127 0 0 0 143536 625 0 0 20 0 1 0 60905691 275206144 44288 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 67189 44288 752 405 0 64133 0
Current children cumulated CPU time: 1441.61 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 177152 KiB

[startup+1442.4 s]
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22234264/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=268756 memory=177152 CPUtime=1442.4 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 454127 0 0 0 143615 625 0 0 20 0 1 0 60905691 275206144 44288 33554432000 4194304 5849740 140725445163728 140725445162728 5437766 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 67189 44288 752 405 0 64133 0
Current children cumulated CPU time: 1442.4 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 177152 KiB

[startup+1442.8 s]
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22234264/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=268756 memory=177152 CPUtime=1442.81 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 454127 0 0 0 143655 626 0 0 20 0 1 0 60905691 275206144 44288 33554432000 4194304 5849740 140725445163728 140725445162728 140144589594503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 67189 44288 752 405 0 64133 0
Current children cumulated CPU time: 1442.81 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 177152 KiB

[startup+1443.2 s]
/proc/loadavg: 2.00 2.04 1.92 3/188 16666
/proc/meminfo: memFree=22234264/32770624 swapFree=67108860/67108860
[pid=16536] ppid=16533 vsize=268756 memory=177152 CPUtime=1443.2 cores=1,3,5,7
/proc/16536/stat : 16536 (xcsp_picat) R 16533 16536 16152 0 -1 4202496 454127 0 0 0 143694 626 0 0 20 0 1 0 60905691 275206144 44288 33554432000 4194304 5849740 140725445163728 140725445162728 5437728 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 15486976 140725445170358 140725445170436 140725445170436 140725445173194 0
/proc/16536/statm: 67189 44288 752 405 0 64133 0
Current children cumulated CPU time: 1443.2 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 177152 KiB

Child status: 0
Real time (s): 1443.25
CPU time (s): 1443.27
CPU user time (s): 1437
CPU system time (s): 6.26813
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 349876
Max. memory (cumulated for all children) (KiB): 258476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1437
system time used= 6.26813
maximum resident set size= 258476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454166
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= 25
involuntary context switches= 486


# summary of solver processes directly reported to runsolver:
#   pid: 16536
#   total CPU time (s): 1443.27
#   total CPU user time (s): 1437
#   total CPU system time (s): 6.26813

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.14885 second user time and 8.17402 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-24 13:57:05
IDJOB=4294024
IDBENCH=141316
IDSOLVER=2754
FILE ID=node136/4294024-1532433425
RUNJOBID= node136-1532432947-16184
PBS_JOBID= 21021579
Free space on /tmp= 56428 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/PizzaVoucher/PizzaVoucher-18a_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294024-1532433425/watcher-4294024-1532433425 -o /tmp/evaluation-result-4294024-1532433425/solver-4294024-1532433425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580  xcsp_picat HOME/instance-4294024-1532433425.xml

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

MD5SUM BENCH= 3728d9c98e9ec51874bb5385faf79653
RANDOM SEED=531340169

node136.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.50
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.50
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.50
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.50
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:        10923656 kB
MemAvailable:   20534168 kB
Buffers:          203596 kB
Cached:          9635344 kB
SwapCached:            0 kB
Active:         11787912 kB
Inactive:        9497400 kB
Active(anon):    9726936 kB
Inactive(anon):  1738784 kB
Active(file):    2060976 kB
Inactive(file):  7758616 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3144 kB
Writeback:             0 kB
AnonPages:      11397588 kB
Mapped:            39768 kB
Shmem:             17036 kB
Slab:             240916 kB
SReclaimable:     213508 kB
SUnreclaim:        27408 kB
KernelStack:        3312 kB
PageTables:        27528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13741820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11333632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 56512 MiB
End job on node136 at 2018-07-24 14:21:09