Trace number 4309325

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-14OPT7 1856.54 1856.76

General information on the benchmark

NameGraphColoring/
GraphColoring-3-fullins-5_c18.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1856.54
Satisfiable
(Un)Satisfiability was proved
Number of variables2030
Number of constraints33751
Number of domains1
Minimum domain size2030
Maximum domain size2030
Distribution of domain sizes[{"size":2030,"count":2030}]
Minimum variable degree9
Maximum variable degree410
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":33751}]
Number of extensional constraints0
Number of intensional constraints33751
Distribution of constraint types[{"type":"intension","count":33751}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

1856.47/1856.75	c xcsp_picat version 2.4#7 (8/14/2018)
1856.47/1856.75	o 957
1856.47/1856.75	o 462
1856.47/1856.75	o 225
1856.47/1856.75	o 89
1856.47/1856.75	o 44
1856.47/1856.75	o 20
1856.47/1856.75	o 9
1856.47/1856.75	o 7
1856.47/1856.75	s OPTIMUM FOUND
1856.47/1856.75	v <instantiation>
1856.47/1856.75	v     <list> x[]  </list> 
1856.47/1856.75	v     <values> 7 0 5 6 7 7 2 0 4 7 2 0 4 7 6 2 3 3 3 7 7 2 3 3 3 3 3 3 3 3 5 6 4 6 4 0 4 0 4 4 0 4 4 4 4 3 7 3 7 3 3 7 5 7 5 0 7 5 3 7 6 6 4 6 0 4 6 0 6 4 6 6 6 3 6 5 0 3 4 7 2 0 5 6 5 6 0 5 5 5 5 0 5 5 6 2 6 3 6 3 3 2 3 5 3 3 3 5 3 6 0 4 2 0 6 6 6 5 6 6 6 6 4 6 6 3 0 3 2 5 3 6 2 5 5 5 2 5 5 5 4 2 4 4 0 0 2 0 2 2 2 4 2 4 2 2 0 3 2 2 4 7 4 7 4 4 1 4 4 7 7 7 7 7 7 7 7 7 4 7 7 7 7 3 7 3 7 3 7 3 4 6 4 4 4 4 4 4 4 0 7 4 4 4 4 6 3 3 3 3 0 3 7 4 7 3 3 7 7 3 4 7 7 4 4 4 4 4 4 4 0 0 4 4 4 6 4 7 4 6 2 0 6 3 0 6 6 6 6 6 6 6 6 6 6 3 2 3 6 2 6 6 6 3 6 6 3 2 6 6 5 2 5 2 6 6 3 2 5 5 6 6 6 6 6 3 3 2 6 6 6 7 7 3 6 7 6 6 6 6 2 2 5 7 2 2 2 5 2 2 2 2 2 2 2 3 0 3 2 3 5 5 5 4 4 7 4 4 4 7 7 7 5 4 4 5 4 7 7 5 7 4 7 5 4 4 4 5 7 4 4 4 5 4 4 0 0 0 5 5 5 4 5 4 4 5 4 4 7 4 7 4 7 7 4 4 4 5 7 4 5 7 4 5 0 0 5 5 0 5 5 4 5 4 0 4 5 7 4 4 3 7 5 4 6 2 0 1 1 2 6 2 1 4 1 1 0 1 1 1 1 1 3 3 2 3 3 1 3 3 3 1 3 3 3 1 4 4 4 4 4 0 0 1 4 0 4 1 4 4 3 3 1 1 1 3 1 1 1 5 1 1 1 1 1 3 4 4 0 0 0 6 0 4 1 6 1 6 3 4 5 0 1 1 1 2 6 6 6 1 6 0 6 5 0 1 1 1 5 1 1 6 2 2 3 3 6 3 5 3 1 1 3 3 3 0 0 6 5 6 6 4 0 6 1 0 1 6 6 6 3 3 3 3 1 0 6 1 5 3 1 5 1 5 1 2 1 4 4 1 0 1 1 1 1 2 2 1 2 2 5 0 1 2 1 4 4 1 1 0 1 1 4 2 1 4 1 1 1 4 1 1 1 3 1 1 4 1 3 2 3 1 2 1 1 4 4 4 0 0 4 0 4 4 4 4 0 0 0 0 1 3 1 3 3 1 1 3 4 4 1 1 1 1 0 1 4 4 4 1 4 4 1 1 4 0 0 4 1 4 1 4 1 4 1 2 6 6 0 0 2 3 6 0 6 6 1 2 6 6 2 1 1 6 3 3 6 3 3 2 1 2 2 3 2 1 2 1 2 2 6 2 0 0 1 0 6 6 6 1 3 3 1 3 6 1 1 2 3 3 3 2 1 3 3 0 1 1 1 2 1 3 5 5 1 2 2 1 1 0 2 2 3 1 1 4 1 4 5 4 5 1 5 5 5 4 4 1 5 5 4 4 4 1 1 1 1 1 1 1 4 1 2 1 4 0 0 1 0 5 0 2 0 5 2 0 5 0 5 0 1 0 4 4 0 4 0 1 0 4 1 4 4 0 4 4 4 2 4 5 5 4 2 1 4 5 0 4 2 4 1 1 4 5 1 1 1 2 1 2 7 7 5 7 4 7 4 7 7 5 7 7 4 7 7 3 7 3 7 3 5 7 7 7 7 7 2 7 7 2 5 4 4 6 6 0 2 4 6 7 6 7 4 4 6 6 5 7 7 7 3 7 7 7 7 7 7 7 5 7 4 4 4 7 7 4 4 7 7 7 7 7 4 7 7 7 4 7 7 7 7 5 5 5 6 7 5 5 5 6 7 7 5 7 7 7 7 7 3 6 6 2 7 7 6 7 7 5 6 7 5 7 6 6 7 5 6 6 7 6 7 7 6 5 7 7 7 7 7 5 7 7 5 5 7 7 5 7 5 5 6 7 6 4 7 4 2 7 7 7 7 7 6 7 7 7 6 7 7 7 5 5 5 5 7 4 4 7 5 5 7 7 7 7 7 7 7 5 7 7 7 4 7 3 7 3 7 7 5 3 5 7 7 4 7 7 4 0 0 5 4 7 7 7 7 3 7 7 4 7 5 4 7 7 7 7 7 7 7 4 7 0 7 0 7 7 7 4 7 7 0 7 7 4 7 7 7 7 4 7 7 6 2 6 6 5 3 6 7 7 6 6 7 6 6 7 5 6 3 7 6 6 3 3 6 6 6 3 6 3 7 7 7 5 5 7 5 7 7 7 7 7 7 7 5 7 7 3 3 7 7 3 7 3 3 3 3 3 3 3 2 5 5 7 2 5 7 2 2 6 5 2 5 5 7 3 6 3 5 7 7 4 0 4 5 5 0 7 7 4 4 7 5 7 4 5 0 7 7 5 7 5 7 5 4 7 5 7 4 5 5 5 5 4 7 7 7 5 7 4 7 4 4 5 7 4 7 4 5 4 4 4 4 7 7 7 7 7 4 3 7 5 4 5 7 3 5 5 7 7 7 4 7 4 7 7 4 3 7 7 3 7 7 7 3 6 6 1 0 2 1 3 2 0 6 0 1 0 6 3 3 3 2 3 1 7 3 2 3 3 3 2 2 0 2 0 0 0 1 0 6 1 0 1 1 3 0 1 0 4 3 2 2 2 3 0 2 3 1 0 3 3 2 0 2 2 3 2 3 1 2 0 2 6 2 6 6 0 2 0 0 0 3 2 0 6 4 0 0 2 6 3 1 6 1 6 6 0 1 6 2 0 1 0 2 3 6 2 2 3 2 2 1 3 1 6 0 1 0 2 2 6 1 1 6 0 1 1 6 4 3 6 3 3 2 3 2 2 2 1 2 2 3 3 3 3 2 0 0 0 6 0 3 6 3 6 0 6 3 0 3 0 1 2 6 4 0 3 0 0 0 2 2 0 0 2 0 0 0 2 3 1 3 3 2 1 3 3 3 1 2 1 2 1 1 6 2 0 0 4 4 0 0 4 4 2 2 2 4 2 1 0 6 3 0 0 2 6 3 0 3 2 6 3 3 2 4 1 2 2 4 0 6 0 2 4 6 0 2 2 0 0 1 2 0 2 6 3 3 0 3 6 2 0 6 6 1 6 6 0 2 3 3 6 2 1 2 3 2 6 3 2 2 3 2 2 2 2 2 0 2 0 2 1 6 0 6 0 0 2 6 2 2 2 1 0 1 3 6 6 2 2 1 6 6 0 0 0 2 2 2 3 0 0 0 0 2 2 0 2 6 6 3 2 6 0 0 7 4 4 4 2 4 0 0 4 4 2 4 2 2 0 1 2 1 0 1 2 2 1 4 1 1 1 1 6 4 0 0 6 2 4 0 4 4 7 7 2 4 7 1 6 1 1 6 6 2 6 0 2 1 4 4 6 4 1 1 1 4 6 1 4 4 6 6 4 6 4 6 6 4 0 2 2 4 6 0 6 4 2 7 5 5 5 4 7 5 7 5 4 4 7 5 5 5 7 2 5 7 4 7 5 4 7 7 2 5 7 7 5 5 4 5 5 4 7 4 7 5 4 5 7 4 5 7 7 5 5 4 5 5 5 4 7 5 7 7 7 7 5 7 4 1 1 1 5 7 7 1 7 7 5 5 7 7 4 4 7 7 4 2 5 4 7 5 5 5 4 7 7 7 5 5 7 5 4 2 7 5 5 5 2 5 7 5 7 7 5 7 5 7 7 5 7 7 4 2 7 4 5 4 4 4 4 4 7 7 5 7 5 5 5 5 7 7 7 7 7 5 7 4 7 4 4 4 7 5 4 4 7 4 5 4 4 5 7 4 7 4 5 5 7 5 5 5 4 2 7 5 5 7 5 7 5 5 1 5 7 7 5 5 7 4 5 7 5 5 7 7 2 7 7 5 7 4 5 2 4 7 4 7 4 4 5 0 5 5 7 7 5 5 7 5 5 7 5 5 7 5 7 7 4 7 4 5 7 4 7 0 7 4 7 5 4 7 7 7 7 7 5 7 5 7 7 5 5 2 7 7 7 5 5 5 7 7 5 2 5 5 5 5 7 7 1 1 1 1 1 1 5 5 7 7 5 5 5 7 5 0 7 7 0 7 0 7 7 7 0 0 7 7 5 5 5 5 5 5 0 1 1 2 2 7 7 7 7 7 5 7 5 1 2 5 7 7 5 7 1 7 7 5 7 7 5 7 5 0 7 5 5 4 7 5 7 5 0 5 7 7 1 7 4 7 7 1 4 5 4 5 4 5 7 4 5 7 7 4 7 7 5 4 7 4 5 4 5 1 7 7 7 4 7 7 7 1 4 4 7 4 5 7 7 5 0 5 7 7 0 7 0 5 7 4 0 5 7 0 7 4 7 5 7 7 7 5 3 7 1 5 6   </values> 
1856.47/1856.75	v </instantiation>

Verifier Data 

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309325-1534295971/watcher-4309325-1534295971 -o /tmp/evaluation-result-4309325-1534295971/solver-4309325-1534295971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15169 --watchdog 2580 xcsp_picat HOME/instance-4309325-1534295971.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=15728, runsolver pid=15725

[startup+0.100135 s]*
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24704076/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2025744 memory=24080 CPUtime=0.1 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 1089 0 0 0 10 0 0 0 20 0 1 0 247160264 2074361856 6020 33554432000 4194304 5849940 140734056094160 140734056093464 140609020955648 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 506436 6020 590 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24080 KiB

[startup+0.209941 s]*
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24693464/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2025744 memory=32272 CPUtime=0.21 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 1093 0 0 0 21 0 0 0 20 0 1 0 247160264 2074361856 8068 33554432000 4194304 5849940 140734056094160 140734056093464 140609020955648 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 506436 8068 590 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32272 KiB

[startup+0.309991 s]*
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24685272/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2025744 memory=40672 CPUtime=0.3 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 1117 0 0 0 30 0 0 0 20 0 1 0 247160264 2074361856 10168 33554432000 4194304 5849940 140734056094160 140734056093464 4473232 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 506436 10168 612 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 40672 KiB

[startup+0.700318 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24656056/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2081652 memory=109016 CPUtime=0.69 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 9125 0 0 0 67 2 0 0 20 0 1 0 247160264 2131611648 27254 33554432000 4194304 5849940 140734056094160 140734056093464 5307511 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 520413 27254 649 405 0 517357 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2081652 KiB
Current children cumulated memory: 109016 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24560760/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2149452 memory=167852 CPUtime=1.49 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 16145 0 0 0 145 4 0 0 20 0 1 0 247160264 2201038848 41963 33554432000 4194304 5849940 140734056094160 140734056092408 5310688 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 537363 41963 658 405 0 534307 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2149452 KiB
Current children cumulated memory: 167852 KiB

[startup+3.11001 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24563872/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2180196 memory=203896 CPUtime=3.09 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 33743 0 0 0 303 6 0 0 20 0 1 0 247160264 2232520704 50974 33554432000 4194304 5849940 140734056094160 140734056092408 4217777 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 545049 50974 672 405 0 541993 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2180196 KiB
Current children cumulated memory: 203896 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24544084/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2153812 memory=181288 CPUtime=6.29 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 42561 0 0 0 622 7 0 0 20 0 1 0 247160264 2205503488 45322 33554432000 4194304 5849940 140734056094160 140734056092648 4205059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 538453 45322 676 405 0 535397 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2153812 KiB
Current children cumulated memory: 181288 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24540260/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2158148 memory=185624 CPUtime=12.69 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 44817 0 0 0 1262 7 0 0 20 0 1 0 247160264 2209943552 46406 33554432000 4194304 5849940 140734056094160 140734056091704 4205055 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 539537 46406 676 405 0 536481 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2158148 KiB
Current children cumulated memory: 185624 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15729
/proc/meminfo: memFree=24539992/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2158148 memory=185624 CPUtime=25.49 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 52732 0 0 0 2541 8 0 0 20 0 1 0 247160264 2209943552 46406 33554432000 4194304 5849940 140734056094160 140734056091704 4205041 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 539537 46406 676 405 0 536481 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2158148 KiB
Current children cumulated memory: 185624 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15736
/proc/meminfo: memFree=24509212/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2185436 memory=212924 CPUtime=51.08 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 77655 0 0 0 5099 9 0 0 20 0 1 0 247160264 2237886464 53231 33554432000 4194304 5849940 140734056094160 140734056093160 5307755 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 546359 53231 679 405 0 543303 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2185436 KiB
Current children cumulated memory: 212924 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 15737
/proc/meminfo: memFree=24508576/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2185436 memory=212932 CPUtime=102.27 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 103784 0 0 0 10216 11 0 0 20 0 1 0 247160264 2237886464 53233 33554432000 4194304 5849940 140734056094160 140734056093160 5440092 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 546359 53233 681 405 0 543303 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2185436 KiB
Current children cumulated memory: 212932 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15738
/proc/meminfo: memFree=24502044/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2190952 memory=218872 CPUtime=162.27 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 124072 0 0 0 16208 19 0 0 20 0 1 0 247160264 2243534848 54718 33554432000 4194304 5849940 140734056094160 140734056093160 5307746 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 547738 54718 692 405 0 544682 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2190952 KiB
Current children cumulated memory: 218872 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15739
/proc/meminfo: memFree=24520128/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2166088 memory=193780 CPUtime=222.26 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 136016 0 0 0 22202 24 0 0 20 0 1 0 247160264 2218074112 48445 33554432000 4194304 5849940 140734056094160 140734056092648 4205068 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 541522 48445 692 405 0 538466 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2166088 KiB
Current children cumulated memory: 193780 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15740
/proc/meminfo: memFree=24506476/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2179844 memory=207764 CPUtime=282.25 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 143885 0 0 0 28199 26 0 0 20 0 1 0 247160264 2232160256 51941 33554432000 4194304 5849940 140734056094160 140734056093160 5307765 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 544961 51941 692 405 0 541905 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2179844 KiB
Current children cumulated memory: 207764 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15742
/proc/meminfo: memFree=24521808/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2164312 memory=191976 CPUtime=342.24 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 152970 0 0 0 34194 30 0 0 20 0 1 0 247160264 2216255488 47994 33554432000 4194304 5849940 140734056094160 140734056091160 4205059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 541078 47994 692 405 0 538022 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2164312 KiB
Current children cumulated memory: 191976 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15743
/proc/meminfo: memFree=24541584/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2143500 memory=171420 CPUtime=402.24 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 161631 0 0 0 40192 32 0 0 20 0 1 0 247160264 2194944000 42855 33554432000 4194304 5849940 140734056094160 140734056093320 5307504 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 535875 42855 692 405 0 532819 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2143500 KiB
Current children cumulated memory: 171420 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15744
/proc/meminfo: memFree=24535396/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2149272 memory=177124 CPUtime=462.23 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 168192 0 0 0 46189 34 0 0 20 0 1 0 247160264 2200854528 44281 33554432000 4194304 5849940 140734056094160 140734056092648 4205068 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 537318 44281 692 405 0 534262 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2149272 KiB
Current children cumulated memory: 177124 KiB


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

Current children cumulated memory: 205764 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15779
/proc/meminfo: memFree=24418188/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2205320 memory=238532 CPUtime=1482.11 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 270092 0 0 0 147951 260 0 0 20 0 1 0 247160264 2258247680 59633 33554432000 4194304 5849940 140734056094160 140734056093160 5438465 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 551330 59633 692 405 0 548274 0
Current children cumulated CPU time: 1482.11 s
Current children cumulated vsize: 2205320 KiB
Current children cumulated memory: 238532 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15780
/proc/meminfo: memFree=24381836/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2241516 memory=274728 CPUtime=1542.1 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 271013 0 0 0 153940 270 0 0 20 0 1 0 247160264 2295312384 68682 33554432000 4194304 5849940 140734056094160 140734056093160 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 560379 68682 692 405 0 557323 0
Current children cumulated CPU time: 1542.1 s
Current children cumulated vsize: 2241516 KiB
Current children cumulated memory: 274728 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15781
/proc/meminfo: memFree=24349416/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2241516 memory=274728 CPUtime=1602.09 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 272063 0 0 0 159929 280 0 0 20 0 1 0 247160264 2295312384 68682 33554432000 4194304 5849940 140734056094160 140734056093160 5438047 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 560379 68682 692 405 0 557323 0
Current children cumulated CPU time: 1602.09 s
Current children cumulated vsize: 2241516 KiB
Current children cumulated memory: 274728 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15782
/proc/meminfo: memFree=24381804/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2241516 memory=274728 CPUtime=1662.09 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 273332 0 0 0 165921 288 0 0 20 0 1 0 247160264 2295312384 68682 33554432000 4194304 5849940 140734056094160 140734056093320 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 560379 68682 692 405 0 557323 0
Current children cumulated CPU time: 1662.09 s
Current children cumulated vsize: 2241516 KiB
Current children cumulated memory: 274728 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15783
/proc/meminfo: memFree=24267776/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2323024 memory=356236 CPUtime=1722.08 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 281843 0 0 0 171912 296 0 0 20 0 1 0 247160264 2378776576 89059 33554432000 4194304 5849940 140734056094160 140734056093160 5437799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 580756 89059 692 405 0 577700 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 2323024 KiB
Current children cumulated memory: 356236 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15785
/proc/meminfo: memFree=24360684/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2289556 memory=322768 CPUtime=1782.08 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 299088 0 0 0 177898 310 0 0 20 0 1 0 247160264 2344505344 80692 33554432000 4194304 5849940 140734056094160 140734056093160 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 572389 80692 692 405 0 569333 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 2289556 KiB
Current children cumulated memory: 322768 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24374256/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2271572 memory=304680 CPUtime=1842.07 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 309385 0 0 0 183872 335 0 0 20 0 1 0 247160264 2326089728 76170 33554432000 4194304 5849940 140734056094160 140734056092808 140609020977031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 567893 76170 692 405 0 564837 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 2271572 KiB
Current children cumulated memory: 304680 KiB

[startup+1856.76 s]
# the end of solver process 15728 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1853.14 s, system=3.39461 s

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

[startup+1843.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24501972/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2150348 memory=181348 CPUtime=1842.97 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 311869 0 0 0 183960 337 0 0 20 0 1 0 247160264 2201956352 45337 33554432000 4194304 5849940 140734056094160 140734056092856 5311015 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 537587 45337 692 405 0 534531 0
Current children cumulated CPU time: 1842.97 s
Current children cumulated vsize: 2150348 KiB
Current children cumulated memory: 181348 KiB

[startup+1849.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24526052/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2135680 memory=156772 CPUtime=1849.37 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314108 0 0 0 184600 337 0 0 20 0 1 0 247160264 2186936320 39193 33554432000 4194304 5849940 140734056094160 140734056093160 5307765 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 533920 39193 692 405 0 530864 0
Current children cumulated CPU time: 1849.37 s
Current children cumulated vsize: 2135680 KiB
Current children cumulated memory: 156772 KiB

[startup+1852.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24542300/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2119296 memory=140388 CPUtime=1852.57 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314268 0 0 0 184919 338 0 0 20 0 1 0 247160264 2170159104 35097 33554432000 4194304 5849940 140734056094160 140734056093160 140609020977031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 529824 35097 692 405 0 526768 0
Current children cumulated CPU time: 1852.57 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 140388 KiB

[startup+1854.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24510220/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2119296 memory=140388 CPUtime=1854.16 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314268 0 0 0 185078 338 0 0 20 0 1 0 247160264 2170159104 35097 33554432000 4194304 5849940 140734056094160 140734056093160 140609020977031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 529824 35097 692 405 0 526768 0
Current children cumulated CPU time: 1854.16 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 140388 KiB

[startup+1856 s]*
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24510224/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2119296 memory=140388 CPUtime=1855.78 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314410 0 0 0 185239 339 0 0 20 0 1 0 247160264 2170159104 35097 33554432000 4194304 5849940 140734056094160 140734056093160 140609020977031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 529824 35097 692 405 0 526768 0
Current children cumulated CPU time: 1855.78 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 140388 KiB

[startup+1856.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24510224/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2119296 memory=140388 CPUtime=1856.17 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314410 0 0 0 185278 339 0 0 20 0 1 0 247160264 2170159104 35097 33554432000 4194304 5849940 140734056094160 140734056093160 5307864 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 529824 35097 692 405 0 526768 0
Current children cumulated CPU time: 1856.17 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 140388 KiB

[startup+1856.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24510224/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2119296 memory=140388 CPUtime=1856.37 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314410 0 0 0 185298 339 0 0 20 0 1 0 247160264 2170159104 35097 33554432000 4194304 5849940 140734056094160 140734056093160 5438117 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 529824 35097 692 405 0 526768 0
Current children cumulated CPU time: 1856.37 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 140388 KiB

[startup+1856.7 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24510224/32770624 swapFree=67108840/67108860
[pid=15728] ppid=15725 vsize=2119296 memory=140388 CPUtime=1856.47 cores=0,2,4,6
/proc/15728/stat : 15728 (xcsp_picat) R 15725 15728 15138 0 -1 4202496 314410 0 0 0 185308 339 0 0 20 0 1 0 247160264 2170159104 35097 33554432000 4194304 5849940 140734056094160 140734056093160 5307424 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 19222528 140734056101046 140734056101124 140734056101124 140734056103882 0
/proc/15728/statm: 529824 35097 692 405 0 526768 0
Current children cumulated CPU time: 1856.47 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 140388 KiB

Child status: 0
Real time (s): 1856.76
CPU time (s): 1856.54
CPU user time (s): 1853.14
CPU system time (s): 3.39461
CPU usage (%): 99.9879
Max. virtual memory (cumulated for all children) (KiB): 2329452
Max. memory (cumulated for all children) (KiB): 362664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1853.14
system time used= 3.39461
maximum resident set size= 362664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314456
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= 19
involuntary context switches= 1601


# summary of solver processes directly reported to runsolver:
#   pid: 15728
#   total CPU time (s): 1856.54
#   total CPU user time (s): 1853.14
#   total CPU system time (s): 3.39461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45226 second user time and 13.1166 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 03:19:31
IDJOB=4309325
IDBENCH=141138
IDSOLVER=2794
FILE ID=node135/4309325-1534295971
RUNJOBID= node135-1534293063-15169
PBS_JOBID= 21038137
Free space on /tmp= 47272 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-3-fullins-5_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309325-1534295971/watcher-4309325-1534295971 -o /tmp/evaluation-result-4309325-1534295971/solver-4309325-1534295971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15169 --watchdog 2580  xcsp_picat HOME/instance-4309325-1534295971.xml

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

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=1877273116

node135.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:        24724176 kB
MemAvailable:   31773292 kB
Buffers:          149884 kB
Cached:          7124816 kB
SwapCached:           20 kB
Active:          4020956 kB
Inactive:        3440784 kB
Active(anon):     136096 kB
Inactive(anon):   103280 kB
Active(file):    3884860 kB
Inactive(file):  3337504 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:              3992 kB
Writeback:             0 kB
AnonPages:        184056 kB
Mapped:            59840 kB
Shmem:             49804 kB
Slab:             283664 kB
SReclaimable:     255212 kB
SUnreclaim:        28452 kB
KernelStack:        3424 kB
PageTables:         5564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2452216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47268 MiB
End job on node135 at 2018-08-15 03:50:28