Trace number 4303175

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-02OPT2 2264.21 2264.27

General information on the benchmark

NameTemplateDesign/
TemplateDesign-m1s-herbs_c18.xml
MD5SUMf93f81431bc4a45d4c2655bc4c8b27b0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark163.517
Satisfiable
(Un)Satisfiability was proved
Number of variables1860
Number of constraints990
Number of domains11
Minimum domain size2
Maximum domain size308
Distribution of domain sizes[{"size":2,"count":30},{"size":43,"count":900},{"size":66,"count":60},{"size":77,"count":210},{"size":88,"count":120},{"size":99,"count":180},{"size":110,"count":120},{"size":165,"count":30},{"size":253,"count":120},{"size":281,"count":30},{"size":308,"count":60}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":1830},{"degree":31,"count":30}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":30},{"arity":3,"count":900},{"arity":30,"count":60}]
Number of extensional constraints30
Number of intensional constraints900
Distribution of constraint types[{"type":"extension","count":30},{"type":"intension","count":900},{"type":"sum","count":60}]
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 

2264.13/2264.26	c xcsp_picat version 2.4#6 (8/1/2018)
2264.13/2264.26	o 14
2264.13/2264.26	o 6
2264.13/2264.26	o 2
2264.13/2264.26	s OPTIMUM FOUND
2264.13/2264.26	v <instantiation>
2264.13/2264.26	v     <list> u[] nptv[][] d[][] npt[]  </list> 
2264.13/2264.26	v     <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 300 300 225 225 225 225 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 75 0 0 0 0 24 0 24 12 84 24 24 24 24 12 12 12 12 24 24 12 12 12 12 0 0 0 0 0 0 0 60 60 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  3 2 1 3 8 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 5 1 1 0 3 0 0 8 3 8 2 12 9 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 4 0 0 0 1 0 0 0 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 2 4 3 0 4 0 2 3 15 1 1 0 2 0 0 0 0 0 8 8 0 0 0 0 0 1 4 12 0 1 0 0 0 0 4 0 0 0 1 0 3 4 24 1 0 0 0 0 0 0 3 0 3 0 0 1 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 0 0 0 0 0 0 0 9 2 5 0 10 2 0 0 4 1 3 0 0 0 0 1 0 0 0 0 1 3 0 1 0 1 0 1 10 12 0 4 7 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 2 0 1 9 8 0 0 0 0 0 0 3 0 1 0 0 1 0 0 0 0 1 12 4 0 0 0 0 0 0 1 1 0 0 0 0 0 0 17 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 3 1 3 0 0 14 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 39 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 7 7 0 0 13 3 0 0 0 0 0 8 3 1 0 11 2 0 4 2 0 7 0 0 0 0 0 0 0 0 0 0 0 0 6 5 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 12 4 0 0 0 0 0 0 0 0 7 0 1 0 0 0 1 0 15 1 0 0 0 0 0 0 0 1 0 0 1 0 4 28 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 10 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 13 0 16 0 0 0 0 0 0 5 8 2 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 9 2 8 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 8 0 2 3 4 4 9 2 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 12 8 4 8 0 0 0 0 1 0 0 0 8 0 0 0 0 0 1 0 0 0 15 1 0 1 1 1 1 1 0 0 1 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 32 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 16 0 0 0 0 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 6 0 12 9 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 3 15 8 0 1 0 0 0 0 3 2 0 3 0 0 0 1 0 0 0 3 2 0 0 0 0 0 0 1 3 0 4 4 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 2 0 2 1 7 2 2 2 2 1 1 1 1 2 2 1 1 1 1 0 0 0 0 0 0 0 5 5 0 1 11 5 0 0 0 0 9 0 1 7 0 0 0 0 3 3 0 2 0 0 0 0 0 0 0 0 0 0 11 1 0 20 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 4 0 0 0 0 0 2 2 0 0 0 0 1 1 0 1 3 5 17 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 12 0 3 2 12 4 0 0 0 2 1 2 0 0 0 1 0 0  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 75 12 0 0 0 0   </values> 
2264.13/2264.26	v </instantiation>

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303175-1534013422/watcher-4303175-1534013422 -o /tmp/evaluation-result-4303175-1534013422/solver-4303175-1534013422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303175-1534013422.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=28436, runsolver pid=28433

[startup+0.100202 s]*
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18274576/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2027200 memory=26524 CPUtime=0.1 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 1743 0 0 0 10 0 0 0 20 0 1 0 218905454 2075852800 6631 33554432000 4194304 5849708 140728405814256 140728405814256 5606224 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 506800 6631 710 405 0 503745 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027200 KiB
Current children cumulated memory: 26524 KiB

[startup+0.209908 s]*
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18269740/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2032196 memory=31584 CPUtime=0.21 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 2994 0 0 0 21 0 0 0 20 0 1 0 218905454 2080968704 7896 33554432000 4194304 5849708 140728405814256 140728405814256 5431933 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 508049 7896 712 405 0 504994 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2032196 KiB
Current children cumulated memory: 31584 KiB

[startup+0.309968 s]*
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18253864/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2047244 memory=46500 CPUtime=0.31 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 5702 0 0 0 30 1 0 0 20 0 1 0 218905454 2096377856 11625 33554432000 4194304 5849708 140728405814256 140728405814256 5432341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 511811 11625 712 405 0 508756 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2047244 KiB
Current children cumulated memory: 46500 KiB

[startup+0.700379 s]
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18216080/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2081212 memory=80744 CPUtime=0.69 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 8423 0 0 0 67 2 0 0 20 0 1 0 218905454 2131161088 20186 33554432000 4194304 5849708 140728405814256 140728405814256 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 520303 20186 713 405 0 517248 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2081212 KiB
Current children cumulated memory: 80744 KiB

[startup+1.50043 s]
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18212976/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2088324 memory=87636 CPUtime=1.49 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 13569 0 0 0 147 2 0 0 20 0 1 0 218905454 2138443776 21909 33554432000 4194304 5849708 140728405814256 140728405812904 5378850 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 522081 21909 728 405 0 519026 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2088324 KiB
Current children cumulated memory: 87636 KiB

[startup+3.11 s]
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18210484/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2089252 memory=88812 CPUtime=3.1 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 23748 0 0 0 307 3 0 0 20 0 1 0 218905454 2139394048 22203 33554432000 4194304 5849708 140728405814256 140728405813128 5335522 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 522313 22203 736 405 0 519258 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2089252 KiB
Current children cumulated memory: 88812 KiB

[startup+6.30042 s]
/proc/loadavg: 2.06 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18210176/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2089248 memory=88844 CPUtime=6.29 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 31261 0 0 0 626 3 0 0 20 0 1 0 218905454 2139389952 22211 33554432000 4194304 5849708 140728405814256 140728405813256 5307610 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 522312 22211 744 405 0 519257 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2089248 KiB
Current children cumulated memory: 88844 KiB

[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 28437
/proc/meminfo: memFree=18207560/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2092784 memory=92380 CPUtime=12.69 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 41547 0 0 0 1264 5 0 0 20 0 1 0 218905454 2143010816 23095 33554432000 4194304 5849708 140728405814256 140728405812504 5312900 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 523196 23095 744 405 0 520141 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2092784 KiB
Current children cumulated memory: 92380 KiB

[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 2.05 3/192 28437
/proc/meminfo: memFree=18174340/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2098168 memory=93656 CPUtime=25.49 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 59819 0 0 0 2538 11 0 0 20 0 1 0 218905454 2148524032 23414 33554432000 4194304 5849708 140728405814256 140728405813256 139758829227911 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524542 23414 744 405 0 521487 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2098168 KiB
Current children cumulated memory: 93656 KiB

[startup+51.1098 s]
/proc/loadavg: 2.08 2.04 2.05 3/192 28437
/proc/meminfo: memFree=18168708/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2097312 memory=96896 CPUtime=51.1 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 72218 0 0 0 5090 20 0 0 20 0 1 0 218905454 2147647488 24224 33554432000 4194304 5849708 140728405814256 140728405813128 5359598 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524328 24224 744 405 0 521273 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2097312 KiB
Current children cumulated memory: 96896 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 28438
/proc/meminfo: memFree=18167272/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2094132 memory=93716 CPUtime=102.28 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 88352 0 0 0 10183 45 0 0 20 0 1 0 218905454 2144391168 23429 33554432000 4194304 5849708 140728405814256 140728405813256 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 523533 23429 744 405 0 520478 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2094132 KiB
Current children cumulated memory: 93716 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 28439
/proc/meminfo: memFree=18151764/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2099560 memory=99144 CPUtime=162.29 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 98736 0 0 0 16151 78 0 0 20 0 1 0 218905454 2149949440 24786 33554432000 4194304 5849708 140728405814256 140728405813416 5307573 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524890 24786 744 405 0 521835 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2099560 KiB
Current children cumulated memory: 99144 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 28440
/proc/meminfo: memFree=18123488/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2099344 memory=98928 CPUtime=222.29 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 108440 0 0 0 22119 110 0 0 20 0 1 0 218905454 2149728256 24732 33554432000 4194304 5849708 140728405814256 140728405813256 139758829227911 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524836 24732 744 405 0 521781 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2099344 KiB
Current children cumulated memory: 98928 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 28442
/proc/meminfo: memFree=18163072/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2101224 memory=100872 CPUtime=282.28 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 118092 0 0 0 28082 146 0 0 20 0 1 0 218905454 2151653376 25218 33554432000 4194304 5849708 140728405814256 140728405813256 5437645 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525306 25218 744 405 0 522251 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2101224 KiB
Current children cumulated memory: 100872 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 28443
/proc/meminfo: memFree=18155120/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2101224 memory=100872 CPUtime=342.28 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 126520 0 0 0 34050 178 0 0 20 0 1 0 218905454 2151653376 25218 33554432000 4194304 5849708 140728405814256 140728405813256 5437920 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525306 25218 744 405 0 522251 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2101224 KiB
Current children cumulated memory: 100872 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 28444
/proc/meminfo: memFree=18155404/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2101236 memory=100884 CPUtime=402.28 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 136142 0 0 0 40023 205 0 0 20 0 1 0 218905454 2151665664 25221 33554432000 4194304 5849708 140728405814256 140728405813128 5437623 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525309 25221 744 405 0 522254 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2101236 KiB
Current children cumulated memory: 100884 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28447
/proc/meminfo: memFree=18099024/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2133708 memory=133356 CPUtime=462.28 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 150158 0 0 0 45988 240 0 0 20 0 1 0 218905454 2184916992 33339 33554432000 4194304 5849708 140728405814256 140728405812904 5355898 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 533427 33339 744 405 0 530372 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2133708 KiB
Current children cumulated memory: 133356 KiB


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

Current children cumulated memory: 137520 KiB

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 28508
/proc/meminfo: memFree=17980340/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2165640 memory=170420 CPUtime=1662.24 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 272131 0 0 0 165358 866 0 0 20 0 1 0 218905454 2217615360 42605 33554432000 4194304 5849708 140728405814256 140728405813256 139758829227911 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 541410 42605 744 405 0 538355 0
Current children cumulated CPU time: 1662.24 s
Current children cumulated vsize: 2165640 KiB
Current children cumulated memory: 170420 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28509
/proc/meminfo: memFree=17980344/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2165492 memory=170272 CPUtime=1722.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 275039 0 0 0 171328 895 0 0 20 0 1 0 218905454 2217463808 42568 33554432000 4194304 5849708 140728405814256 140728405813416 5353829 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 541373 42568 744 405 0 538318 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2165492 KiB
Current children cumulated memory: 170272 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28518
/proc/meminfo: memFree=18027540/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2097060 memory=96860 CPUtime=1782.24 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 283283 0 0 0 177309 915 0 0 20 0 1 0 218905454 2147389440 24215 33554432000 4194304 5849708 140728405814256 140728405813256 5437580 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524265 24215 753 405 0 521210 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2097060 KiB
Current children cumulated memory: 96860 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28519
/proc/meminfo: memFree=18026752/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2095048 memory=98692 CPUtime=1842.24 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 288368 0 0 0 183294 930 0 0 20 0 1 0 218905454 2145329152 24673 33554432000 4194304 5849708 140728405814256 140728405813416 5437828 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 523762 24673 753 405 0 520707 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2095048 KiB
Current children cumulated memory: 98692 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28520
/proc/meminfo: memFree=18023216/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2099396 memory=102976 CPUtime=1902.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 291503 0 0 0 189274 949 0 0 20 0 1 0 218905454 2149781504 25744 33554432000 4194304 5849708 140728405814256 140728405813256 139758829227911 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524849 25744 753 405 0 521794 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2099396 KiB
Current children cumulated memory: 102976 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28521
/proc/meminfo: memFree=18028796/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2092808 memory=96452 CPUtime=1962.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 298351 0 0 0 195250 973 0 0 20 0 1 0 218905454 2143035392 24113 33554432000 4194304 5849708 140728405814256 140728405813256 5353870 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 523202 24113 753 405 0 520147 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2092808 KiB
Current children cumulated memory: 96452 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28523
/proc/meminfo: memFree=18029104/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2092808 memory=96452 CPUtime=2022.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 306605 0 0 0 201225 998 0 0 20 0 1 0 218905454 2143035392 24113 33554432000 4194304 5849708 140728405814256 140728405812904 5355922 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 523202 24113 753 405 0 520147 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2092808 KiB
Current children cumulated memory: 96452 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28525
/proc/meminfo: memFree=18025280/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2096944 memory=99712 CPUtime=2082.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 313910 0 0 0 207204 1019 0 0 20 0 1 0 218905454 2147270656 24928 33554432000 4194304 5849708 140728405814256 140728405813256 5307613 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524236 24928 753 405 0 521181 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2096944 KiB
Current children cumulated memory: 99712 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28526
/proc/meminfo: memFree=18022784/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2098424 memory=103240 CPUtime=2142.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 331485 0 0 0 213186 1037 0 0 20 0 1 0 218905454 2148786176 25810 33554432000 4194304 5849708 140728405814256 140728405813256 5438096 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 524606 25810 753 405 0 521551 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2098424 KiB
Current children cumulated memory: 103240 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=18216208/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2103524 memory=108288 CPUtime=2202.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 336525 0 0 0 219178 1045 0 0 20 0 1 0 218905454 2154008576 27072 33554432000 4194304 5849708 140728405814256 140728405812904 5394893 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525881 27072 753 405 0 522826 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2103524 KiB
Current children cumulated memory: 108288 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 28845
/proc/meminfo: memFree=18156484/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2105268 memory=110084 CPUtime=2262.23 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 352957 0 0 0 225166 1057 0 0 20 0 1 0 218905454 2155794432 27521 33554432000 4194304 5849708 140728405814256 140728405813256 5437476 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 526317 27521 753 405 0 523262 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2105268 KiB
Current children cumulated memory: 110084 KiB

[startup+2264.27 s]
# the end of solver process 28436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2253.63 s, system=10.5808 s

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

[startup+2262.4 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 28845
/proc/meminfo: memFree=18156484/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2105268 memory=110084 CPUtime=2262.33 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 352964 0 0 0 225176 1057 0 0 20 0 1 0 218905454 2155794432 27521 33554432000 4194304 5849708 140728405814256 140728405813256 139758829227911 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 526317 27521 753 405 0 523262 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2105268 KiB
Current children cumulated memory: 110084 KiB

[startup+2263.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 28845
/proc/meminfo: memFree=18152636/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2100308 memory=105124 CPUtime=2263.13 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 356558 0 0 0 225256 1057 0 0 20 0 1 0 218905454 2150715392 26281 33554432000 4194304 5849708 140728405814256 140728405813256 5413402 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525077 26281 753 405 0 522022 0
Current children cumulated CPU time: 2263.13 s
Current children cumulated vsize: 2100308 KiB
Current children cumulated memory: 105124 KiB

[startup+2264 s]*
/proc/loadavg: 2.06 2.04 2.05 3/191 28845
/proc/meminfo: memFree=18157496/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2100308 memory=105124 CPUtime=2263.94 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 356754 0 0 0 225337 1057 0 0 20 0 1 0 218905454 2150715392 26281 33554432000 4194304 5849708 140728405814256 140728405813256 5437861 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525077 26281 753 405 0 522022 0
Current children cumulated CPU time: 2263.94 s
Current children cumulated vsize: 2100308 KiB
Current children cumulated memory: 105124 KiB

[startup+2264.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 28845
/proc/meminfo: memFree=18157496/32770624 swapFree=67108688/67108860
[pid=28436] ppid=28433 vsize=2100308 memory=105124 CPUtime=2264.13 cores=0,2,4,6
/proc/28436/stat : 28436 (xcsp_picat) R 28433 28436 25480 0 -1 4202496 356754 0 0 0 225356 1057 0 0 20 0 1 0 218905454 2150715392 26281 33554432000 4194304 5849708 140728405814256 140728405813256 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28856320 140728405820598 140728405820676 140728405820676 140728405823434 0
/proc/28436/statm: 525077 26281 753 405 0 522022 0
Current children cumulated CPU time: 2264.13 s
Current children cumulated vsize: 2100308 KiB
Current children cumulated memory: 105124 KiB

Child status: 0
Real time (s): 2264.27
CPU time (s): 2264.21
CPU user time (s): 2253.63
CPU system time (s): 10.5808
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 2165704
Max. memory (cumulated for all children) (KiB): 170484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2253.63
system time used= 10.5808
maximum resident set size= 170484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356802
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= 27
involuntary context switches= 1000


# summary of solver processes directly reported to runsolver:
#   pid: 28436
#   total CPU time (s): 2264.21
#   total CPU user time (s): 2253.63
#   total CPU system time (s): 10.5808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48477 second user time and 16.1765 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-11 20:50:22
IDJOB=4303175
IDBENCH=141363
IDSOLVER=2778
FILE ID=node134/4303175-1534013422
RUNJOBID= node134-1533991241-25512
PBS_JOBID= 21036944
Free space on /tmp= 42312 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-herbs_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303175-1534013422/watcher-4303175-1534013422 -o /tmp/evaluation-result-4303175-1534013422/solver-4303175-1534013422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580  xcsp_picat HOME/instance-4303175-1534013422.xml

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

MD5SUM BENCH= f93f81431bc4a45d4c2655bc4c8b27b0
RANDOM SEED=1012662360

node134.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.68
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.68
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.68
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.68
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:        18297828 kB
MemAvailable:   31832324 kB
Buffers:          172716 kB
Cached:         13509644 kB
SwapCached:           52 kB
Active:          4496116 kB
Inactive:        9313980 kB
Active(anon):      76752 kB
Inactive(anon):   103156 kB
Active(file):    4419364 kB
Inactive(file):  9210824 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              3292 kB
Writeback:             0 kB
AnonPages:        135700 kB
Mapped:            56148 kB
Shmem:             49652 kB
Slab:             361344 kB
SReclaimable:     332768 kB
SUnreclaim:        28576 kB
KernelStack:        3440 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2460364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 42308 MiB
End job on node134 at 2018-08-11 21:28:07