Trace number 4303092

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-02OPT53 1183.23 1183.35

General information on the benchmark

NamePseudoBoolean-opt/
Pb-garden-15x15_c18.xml
MD5SUM3febb05d57a4106fdf30b8e2d6c3cfc0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1136.33
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints225
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":225}]
Minimum variable degree4
Maximum variable degree6
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":52},{"degree":6,"count":169}]
Minimum constraint arity3
Maximum constraint arity5
Distribution of constraint arities[{"arity":3,"count":4},{"arity":4,"count":52},{"arity":5,"count":169}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":225}]
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 

1183.18/1183.34	c xcsp_picat version 2.4#6 (8/1/2018)
1183.18/1183.34	o 93
1183.18/1183.34	o 68
1183.18/1183.34	o 57
1183.18/1183.34	o 54
1183.18/1183.34	o 53
1183.18/1183.34	s OPTIMUM FOUND
1183.18/1183.34	v <instantiation>
1183.18/1183.34	v     <list> x[]  </list> 
1183.18/1183.34	v     <values> 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0   </values> 
1183.18/1183.34	v </instantiation>

Verifier Data 

OK	53

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303092-1533996000/watcher-4303092-1533996000 -o /tmp/evaluation-result-4303092-1533996000/solver-4303092-1533996000 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303092-1533996000.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10409, runsolver pid=10406

[startup+0.100108 s]*
/proc/loadavg: 2.87 2.27 2.03 3/189 10410
/proc/meminfo: memFree=1037580/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2026292 memory=13464 CPUtime=0.1 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 1585 0 0 0 10 0 0 0 20 0 1 0 217163160 2074923008 3366 33554432000 4194304 5849708 140729094983440 140729094982088 5359140 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 506573 3366 693 405 0 503518 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026292 KiB
Current children cumulated memory: 13464 KiB

[startup+0.209546 s]*
/proc/loadavg: 2.87 2.27 2.03 3/189 10410
/proc/meminfo: memFree=1036452/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2026808 memory=14252 CPUtime=0.21 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 1738 0 0 0 21 0 0 0 20 0 1 0 217163160 2075451392 3563 33554432000 4194304 5849708 140729094983440 140729094982312 5373040 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 506702 3563 696 405 0 503647 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026808 KiB
Current children cumulated memory: 14252 KiB

[startup+0.308843 s]*
/proc/loadavg: 2.87 2.27 2.03 3/189 10410
/proc/meminfo: memFree=1036452/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2026808 memory=14252 CPUtime=0.3 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 1743 0 0 0 30 0 0 0 20 0 1 0 217163160 2075451392 3563 33554432000 4194304 5849708 140729094983440 140729094982312 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 506702 3563 696 405 0 503647 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026808 KiB
Current children cumulated memory: 14252 KiB

[startup+0.700227 s]
/proc/loadavg: 2.87 2.27 2.03 3/189 10410
/proc/meminfo: memFree=1030500/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2027692 memory=15088 CPUtime=0.69 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 2066 0 0 0 67 2 0 0 20 0 1 0 217163160 2076356608 3772 33554432000 4194304 5849708 140729094983440 140729094982440 4207895 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 506923 3772 696 405 0 503868 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027692 KiB
Current children cumulated memory: 15088 KiB

[startup+1.50024 s]
/proc/loadavg: 2.87 2.27 2.03 3/189 10410
/proc/meminfo: memFree=1023740/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2028544 memory=15928 CPUtime=1.49 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 2892 0 0 0 146 3 0 0 20 0 1 0 217163160 2077229056 3982 33554432000 4194304 5849708 140729094983440 140729094982440 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 507136 3982 696 405 0 504081 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028544 KiB
Current children cumulated memory: 15928 KiB

[startup+3.10924 s]
/proc/loadavg: 2.72 2.25 2.03 3/189 10417
/proc/meminfo: memFree=1013288/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2031188 memory=18396 CPUtime=3.1 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 6270 0 0 0 303 7 0 0 20 0 1 0 217163160 2079936512 4599 33554432000 4194304 5849708 140729094983440 140729094982440 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 507797 4599 696 405 0 504742 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031188 KiB
Current children cumulated memory: 18396 KiB

[startup+6.30027 s]
/proc/loadavg: 2.72 2.25 2.03 3/189 10417
/proc/meminfo: memFree=992720/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2034168 memory=21424 CPUtime=6.29 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 12876 0 0 0 617 12 0 0 20 0 1 0 217163160 2082988032 5356 33554432000 4194304 5849708 140729094983440 140729094982440 5437636 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 508542 5356 696 405 0 505487 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034168 KiB
Current children cumulated memory: 21424 KiB

[startup+12.7002 s]
/proc/loadavg: 2.66 2.24 2.03 3/189 10417
/proc/meminfo: memFree=1009164/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2032044 memory=19296 CPUtime=12.69 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 19219 0 0 0 1245 24 0 0 20 0 1 0 217163160 2080813056 4824 33554432000 4194304 5849708 140729094983440 140729094982440 5335520 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 508011 4824 696 405 0 504956 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2032044 KiB
Current children cumulated memory: 19296 KiB

[startup+25.5003 s]
/proc/loadavg: 2.52 2.23 2.03 3/189 10417
/proc/meminfo: memFree=985480/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2047696 memory=34892 CPUtime=25.49 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 26802 0 0 0 2502 47 0 0 20 0 1 0 217163160 2096840704 8723 33554432000 4194304 5849708 140729094983440 140729094982600 5413402 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 511924 8723 696 405 0 508869 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2047696 KiB
Current children cumulated memory: 34892 KiB

[startup+51.1095 s]
/proc/loadavg: 2.34 2.21 2.03 3/189 10417
/proc/meminfo: memFree=929640/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2077616 memory=65008 CPUtime=51.09 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 46995 0 0 0 5040 69 0 0 20 0 1 0 217163160 2127478784 16252 33554432000 4194304 5849708 140729094983440 140729094982440 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 519404 16252 696 405 0 516349 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2077616 KiB
Current children cumulated memory: 65008 KiB

[startup+102.3 s]
/proc/loadavg: 2.15 2.18 2.03 3/189 10440
/proc/meminfo: memFree=892296/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2075304 memory=62616 CPUtime=102.28 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 76394 0 0 0 10127 101 0 0 20 0 1 0 217163160 2125111296 15654 33554432000 4194304 5849708 140729094983440 140729094982440 5335545 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 518826 15654 696 405 0 515771 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2075304 KiB
Current children cumulated memory: 62616 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.15 2.03 4/189 10441
/proc/meminfo: memFree=827636/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2139860 memory=127020 CPUtime=162.27 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 93672 0 0 0 16103 124 0 0 20 0 1 0 217163160 2191216640 31755 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 534965 31755 696 405 0 531910 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2139860 KiB
Current children cumulated memory: 127020 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.12 2.03 3/189 10442
/proc/meminfo: memFree=830284/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2120784 memory=107956 CPUtime=222.27 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 118527 0 0 0 22080 147 0 0 20 0 1 0 217163160 2171682816 26989 33554432000 4194304 5849708 140729094983440 140729094982440 5335601 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 530196 26989 696 405 0 527141 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2120784 KiB
Current children cumulated memory: 107956 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.10 2.03 3/189 10443
/proc/meminfo: memFree=816988/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2137168 memory=124328 CPUtime=282.27 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 119570 0 0 0 28063 164 0 0 20 0 1 0 217163160 2188460032 31082 33554432000 4194304 5849708 140729094983440 140729094982440 5437592 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 534292 31082 696 405 0 531237 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2137168 KiB
Current children cumulated memory: 124328 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.10 2.03 3/187 10444
/proc/meminfo: memFree=745508/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2163468 memory=150860 CPUtime=342.26 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 135197 0 0 0 34049 177 0 0 20 0 1 0 217163160 2215391232 37715 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 540867 37715 696 405 0 537812 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2163468 KiB
Current children cumulated memory: 150860 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/187 10445
/proc/meminfo: memFree=808764/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2108764 memory=96020 CPUtime=402.25 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 146095 0 0 0 39986 239 0 0 20 0 1 0 217163160 2159374336 24005 33554432000 4194304 5849708 140729094983440 140729094982440 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 527191 24005 696 405 0 524136 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2108764 KiB
Current children cumulated memory: 96020 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/187 10446
/proc/meminfo: memFree=795224/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2121892 memory=109064 CPUtime=462.25 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 152518 0 0 0 45956 269 0 0 20 0 1 0 217163160 2172817408 27266 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 530473 27266 696 405 0 527418 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2121892 KiB
Current children cumulated memory: 109064 KiB


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

Current children cumulated memory: 166220 KiB

[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/187 10448
/proc/meminfo: memFree=788076/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2215444 memory=202836 CPUtime=582.23 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 171737 0 0 0 57906 317 0 0 20 0 1 0 217163160 2268614656 50709 33554432000 4194304 5849708 140729094983440 140729094982440 5335582 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 553861 50709 696 405 0 550806 0
Current children cumulated CPU time: 582.23 s
Current children cumulated vsize: 2215444 KiB
Current children cumulated memory: 202836 KiB

[startup+642.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/187 10456
/proc/meminfo: memFree=752652/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2215444 memory=202836 CPUtime=642.23 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 171742 0 0 0 63887 336 0 0 20 0 1 0 217163160 2268614656 50709 33554432000 4194304 5849708 140729094983440 140729094982440 5437627 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 553861 50709 696 405 0 550806 0
Current children cumulated CPU time: 642.23 s
Current children cumulated vsize: 2215444 KiB
Current children cumulated memory: 202836 KiB

[startup+702.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/187 10457
/proc/meminfo: memFree=752592/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2216248 memory=203492 CPUtime=702.22 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 184228 0 0 0 69867 355 0 0 20 0 1 0 217163160 2269437952 50873 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 554062 50873 696 405 0 551007 0
Current children cumulated CPU time: 702.22 s
Current children cumulated vsize: 2216248 KiB
Current children cumulated memory: 203492 KiB

[startup+762.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/187 10458
/proc/meminfo: memFree=749180/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2216248 memory=203640 CPUtime=762.22 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 184764 0 0 0 75853 369 0 0 20 0 1 0 217163160 2269437952 50910 33554432000 4194304 5849708 140729094983440 140729094982440 5335584 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 554062 50910 696 405 0 551007 0
Current children cumulated CPU time: 762.22 s
Current children cumulated vsize: 2216248 KiB
Current children cumulated memory: 203640 KiB

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/187 10459
/proc/meminfo: memFree=726220/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2238916 memory=226308 CPUtime=822.21 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 193329 0 0 0 81839 382 0 0 20 0 1 0 217163160 2292649984 56577 33554432000 4194304 5849708 140729094983440 140729094982440 5437787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 559729 56577 696 405 0 556674 0
Current children cumulated CPU time: 822.21 s
Current children cumulated vsize: 2238916 KiB
Current children cumulated memory: 226308 KiB

[startup+882.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/187 10460
/proc/meminfo: memFree=592724/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2303728 memory=290996 CPUtime=882.21 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 197932 0 0 0 87828 393 0 0 20 0 1 0 217163160 2359017472 72749 33554432000 4194304 5849708 140729094983440 140729094982312 5392231 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 575932 72749 696 405 0 572877 0
Current children cumulated CPU time: 882.21 s
Current children cumulated vsize: 2303728 KiB
Current children cumulated memory: 290996 KiB

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 10461
/proc/meminfo: memFree=664512/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2311320 memory=298712 CPUtime=942.2 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 220083 0 0 0 93811 409 0 0 20 0 1 0 217163160 2366791680 74678 33554432000 4194304 5849708 140729094983440 140729094982440 5437748 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 577830 74678 696 405 0 574775 0
Current children cumulated CPU time: 942.2 s
Current children cumulated vsize: 2311320 KiB
Current children cumulated memory: 298712 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 10462
/proc/meminfo: memFree=656012/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2311320 memory=298712 CPUtime=1002.2 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 220212 0 0 0 99801 419 0 0 20 0 1 0 217163160 2366791680 74678 33554432000 4194304 5849708 140729094983440 140729094982440 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 577830 74678 696 405 0 574775 0
Current children cumulated CPU time: 1002.2 s
Current children cumulated vsize: 2311320 KiB
Current children cumulated memory: 298712 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10463
/proc/meminfo: memFree=650800/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2311320 memory=298712 CPUtime=1062.19 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 239968 0 0 0 105791 428 0 0 20 0 1 0 217163160 2366791680 74678 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 577830 74678 696 405 0 574775 0
Current children cumulated CPU time: 1062.19 s
Current children cumulated vsize: 2311320 KiB
Current children cumulated memory: 298712 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10464
/proc/meminfo: memFree=931416/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2043364 memory=30696 CPUtime=1122.18 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 261510 0 0 0 111761 457 0 0 20 0 1 0 217163160 2092404736 7674 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 510841 7674 696 405 0 507786 0
Current children cumulated CPU time: 1122.18 s
Current children cumulated vsize: 2043364 KiB
Current children cumulated memory: 30696 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10465
/proc/meminfo: memFree=843912/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2126376 memory=113768 CPUtime=1182.18 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 275648 0 0 0 117720 498 0 0 20 0 1 0 217163160 2177409024 28442 33554432000 4194304 5849708 140729094983440 140729094982440 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 531594 28442 696 405 0 528539 0
Current children cumulated CPU time: 1182.18 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 113768 KiB

[startup+1183.35 s]
# the end of solver process 10409 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1178.24 s, system=4.99553 s

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

[startup+1182.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10465
/proc/meminfo: memFree=843912/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2126376 memory=113768 CPUtime=1182.28 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 275648 0 0 0 117730 498 0 0 20 0 1 0 217163160 2177409024 28442 33554432000 4194304 5849708 140729094983440 140729094982440 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 531594 28442 696 405 0 528539 0
Current children cumulated CPU time: 1182.28 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 113768 KiB

[startup+1182.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10465
/proc/meminfo: memFree=843912/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2126376 memory=113768 CPUtime=1182.68 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 275650 0 0 0 117770 498 0 0 20 0 1 0 217163160 2177409024 28442 33554432000 4194304 5849708 140729094983440 140729094982440 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 531594 28442 696 405 0 528539 0
Current children cumulated CPU time: 1182.68 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 113768 KiB

[startup+1183.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10465
/proc/meminfo: memFree=843912/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2126376 memory=113768 CPUtime=1183.08 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 275650 0 0 0 117809 499 0 0 20 0 1 0 217163160 2177409024 28442 33554432000 4194304 5849708 140729094983440 140729094982440 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 531594 28442 696 405 0 528539 0
Current children cumulated CPU time: 1183.08 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 113768 KiB

[startup+1183.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 10465
/proc/meminfo: memFree=843912/32770624 swapFree=67108496/67108860
[pid=10409] ppid=10406 vsize=2126376 memory=113768 CPUtime=1183.18 cores=0,2,4,6
/proc/10409/stat : 10409 (xcsp_picat) R 10406 10409 10084 0 -1 4202496 275650 0 0 0 117819 499 0 0 20 0 1 0 217163160 2177409024 28442 33554432000 4194304 5849708 140729094983440 140729094982440 139688253353863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37003264 140729094988982 140729094989060 140729094989060 140729094991818 0
/proc/10409/statm: 531594 28442 696 405 0 528539 0
Current children cumulated CPU time: 1183.18 s
Current children cumulated vsize: 2126376 KiB
Current children cumulated memory: 113768 KiB

Child status: 0
Real time (s): 1183.35
CPU time (s): 1183.23
CPU user time (s): 1178.24
CPU system time (s): 4.99553
CPU usage (%): 99.9905
Max. virtual memory (cumulated for all children) (KiB): 2311320
Max. memory (cumulated for all children) (KiB): 298712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1178.24
system time used= 4.99553
maximum resident set size= 298712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275782
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= 1053


# summary of solver processes directly reported to runsolver:
#   pid: 10409
#   total CPU time (s): 1183.23
#   total CPU user time (s): 1178.24
#   total CPU system time (s): 4.99553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33174 second user time and 8.91231 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-11 16:00:00
IDJOB=4303092
IDBENCH=141115
IDSOLVER=2778
FILE ID=node149/4303092-1533996000
RUNJOBID= node149-1533993477-10115
PBS_JOBID= 21036951
Free space on /tmp= 38800 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-garden-15x15_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303092-1533996000/watcher-4303092-1533996000 -o /tmp/evaluation-result-4303092-1533996000/solver-4303092-1533996000 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580  xcsp_picat HOME/instance-4303092-1533996000.xml

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

MD5SUM BENCH= 3febb05d57a4106fdf30b8e2d6c3cfc0
RANDOM SEED=1863809076

node149.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.60
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.60
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.60
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.60
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:         1048780 kB
MemAvailable:   31827564 kB
Buffers:          168188 kB
Cached:         30415284 kB
SwapCached:           28 kB
Active:          8419172 kB
Inactive:       22296864 kB
Active(anon):      81268 kB
Inactive(anon):   103152 kB
Active(file):    8337904 kB
Inactive(file): 22193712 kB
Unevictable:        7604 kB
Mlocked:            7604 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:              7144 kB
Writeback:             0 kB
AnonPages:         82052 kB
Mapped:            55332 kB
Shmem:             49616 kB
Slab:             703576 kB
SReclaimable:     675628 kB
SUnreclaim:        27948 kB
KernelStack:        3392 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2394568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38796 MiB
End job on node149 at 2018-08-11 16:19:43