Trace number 4241860

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
R1: cosoco 1.1? (TO) 2400.07 2400.7

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-20.xml
MD5SUMf43327d25c90fcea6a9e7ed354db6bef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables479
Number of constraints478
Number of domains2
Minimum domain size2
Maximum domain size400
Distribution of domain sizes[{"size":2,"count":78},{"size":400,"count":401}]
Minimum variable degree2
Maximum variable degree78
Distribution of variable degrees[{"degree":2,"count":80},{"degree":3,"count":320},{"degree":4,"count":78},{"degree":78,"count":1}]
Minimum constraint arity2
Maximum constraint arity400
Distribution of constraint arities[{"arity":2,"count":399},{"arity":3,"count":78},{"arity":400,"count":1}]
Number of extensional constraints0
Number of intensional constraints477
Distribution of constraint types[{"type":"intension","count":477},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.59/0.60	c best=?? lower=0 upper=78

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241860-1500655380/watcher-4241860-1500655380 -o /tmp/evaluation-result-4241860-1500655380/solver-4241860-1500655380 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500648173-9854 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241860-1500655380.xml 

pid=10552
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.04 2.01 3/243 10555
/proc/meminfo: memFree=32037440/32770624 swapFree=5908/188716
[pid=10555] ppid=10552 vsize=28576 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 1353 0 0 0 1 0 0 0 20 0 1 0 804870 29261824 1162 33554432000 4194304 5970956 140720851789600 140720851786248 5670606 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 7144 1162 703 434 0 508 0

[startup+0.100123 s]
/proc/loadavg: 2.05 2.04 2.01 3/243 10555
/proc/meminfo: memFree=32037440/32770624 swapFree=5908/188716
[pid=10555] ppid=10552 vsize=29460 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 1655 0 0 0 9 0 0 0 20 0 1 0 804870 30167040 1478 33554432000 4194304 5970956 140720851789600 140720851781208 139663486075984 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 7365 1478 788 434 0 729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29460

[startup+0.20027 s]
/proc/loadavg: 2.05 2.04 2.01 3/243 10555
/proc/meminfo: memFree=32037440/32770624 swapFree=5908/188716
[pid=10555] ppid=10552 vsize=30988 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 2030 0 0 0 19 0 0 0 20 0 1 0 804870 31731712 1827 33554432000 4194304 5970956 140720851789600 140720851783192 139663476718565 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 7747 1827 788 434 0 1111 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30988

[startup+0.300255 s]
/proc/loadavg: 2.05 2.04 2.01 3/243 10555
/proc/meminfo: memFree=32037440/32770624 swapFree=5908/188716
[pid=10555] ppid=10552 vsize=32728 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 2470 0 0 0 29 0 0 0 20 0 1 0 804870 33513472 2297 33554432000 4194304 5970956 140720851789600 140720851783432 139663476718565 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 8182 2297 788 434 0 1546 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32728

[startup+0.700239 s]
/proc/loadavg: 2.05 2.04 2.01 3/243 10555
/proc/meminfo: memFree=32037440/32770624 swapFree=5908/188716
[pid=10555] ppid=10552 vsize=38344 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 3925 0 0 0 69 0 0 0 20 0 1 0 804870 39264256 3739 33554432000 4194304 5970956 140720851789600 140720851786312 5070880 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 9586 3739 840 434 0 2950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38344

[startup+1.50024 s]
/proc/loadavg: 2.05 2.04 2.01 3/244 10556
/proc/meminfo: memFree=32024128/32770624 swapFree=5908/188716
[pid=10555] ppid=10552 vsize=40740 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 4513 0 0 0 149 0 0 0 20 0 1 0 804870 41717760 4333 33554432000 4194304 5970956 140720851789600 140720851786568 4977104 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 10185 4333 840 434 0 3549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40740

[startup+3.10024 s]
/proc/loadavg: 2.05 2.04 2.01 3/244 10556
/proc/meminfo: memFree=32021392/32770624 swapFree=5908/188728
[pid=10555] ppid=10552 vsize=42324 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 8366 0 0 0 308 0 0 0 20 0 1 0 804870 43339776 4751 33554432000 4194304 5970956 140720851789600 140720851786568 5069968 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 10581 4751 840 434 0 3945 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42324

[startup+6.30028 s]
/proc/loadavg: 2.05 2.04 2.01 3/244 10556
/proc/meminfo: memFree=32019632/32770624 swapFree=5908/188728
[pid=10555] ppid=10552 vsize=43644 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 12562 0 0 0 628 1 0 0 20 0 1 0 804870 44691456 5067 33554432000 4194304 5970956 140720851789600 140720851786568 5070056 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 10911 5067 840 434 0 4275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43644

[startup+12.7003 s]
/proc/loadavg: 2.04 2.04 2.01 3/244 10556
/proc/meminfo: memFree=32017936/32770624 swapFree=5908/188728
[pid=10555] ppid=10552 vsize=44964 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 17132 0 0 0 1268 1 0 0 20 0 1 0 804870 46043136 5376 33554432000 4194304 5970956 140720851789600 140720851786568 4978135 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11241 5376 840 434 0 4605 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44964

[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.01 3/244 10556
/proc/meminfo: memFree=32016696/32770624 swapFree=5908/188728
[pid=10555] ppid=10552 vsize=45624 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 26431 0 0 0 2547 1 0 0 20 0 1 0 804870 46718976 5592 33554432000 4194304 5970956 140720851789600 140720851786568 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11406 5592 840 434 0 4770 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45624

[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.01 3/244 10556
/proc/meminfo: memFree=32016324/32770624 swapFree=5908/188728
[pid=10555] ppid=10552 vsize=46284 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 31401 0 0 0 5106 2 0 0 20 0 1 0 804870 47394816 5757 33554432000 4194304 5970956 140720851789600 140720851786568 5069977 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11571 5757 840 434 0 4935 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46284

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/244 10557
/proc/meminfo: memFree=32014504/32770624 swapFree=5908/188744
[pid=10555] ppid=10552 vsize=46680 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 31809 0 0 0 10225 2 0 0 20 0 1 0 804870 47800320 5811 33554432000 4194304 5970956 140720851789600 140720851786568 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11670 5811 840 434 0 5034 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46680

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/243 10558
/proc/meminfo: memFree=32014376/32770624 swapFree=5908/188744
[pid=10555] ppid=10552 vsize=46812 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 32202 0 0 0 16223 2 0 0 20 0 1 0 804870 47935488 5883 33554432000 4194304 5970956 140720851789600 140720851786568 5070809 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11703 5883 840 434 0 5067 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46812

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.01 3/243 10559
/proc/meminfo: memFree=32013736/32770624 swapFree=5908/188744
[pid=10555] ppid=10552 vsize=46944 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 32611 0 0 0 22222 2 0 0 20 0 1 0 804870 48070656 5915 33554432000 4194304 5970956 140720851789600 140720851786568 4974816 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11736 5915 840 434 0 5100 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46944

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10560
/proc/meminfo: memFree=32013672/32770624 swapFree=5908/188744
[pid=10555] ppid=10552 vsize=47076 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 33039 0 0 0 28220 2 0 0 20 0 1 0 804870 48205824 5925 33554432000 4194304 5970956 140720851789600 140720851786568 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11769 5925 840 434 0 5133 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 47076

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10561
/proc/meminfo: memFree=32013164/32770624 swapFree=5908/188744
[pid=10555] ppid=10552 vsize=47076 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 33481 0 0 0 34218 2 0 0 20 0 1 0 804870 48205824 5953 33554432000 4194304 5970956 140720851789600 140720851786568 4977754 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11769 5953 840 434 0 5133 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 47076

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 10562
/proc/meminfo: memFree=32013520/32770624 swapFree=5908/188896
[pid=10555] ppid=10552 vsize=47208 CPUtime=402.18 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 33942 0 0 0 40216 2 0 0 20 0 1 0 804870 48340992 5967 33554432000 4194304 5970956 140720851789600 140720851786568 5070104 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11802 5967 840 434 0 5166 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 47208

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/244 10571
/proc/meminfo: memFree=32012244/32770624 swapFree=5908/188896
[pid=10555] ppid=10552 vsize=47208 CPUtime=462.17 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 34410 0 0 0 46215 2 0 0 20 0 1 0 804870 48340992 5982 33554432000 4194304 5970956 140720851789600 140720851786568 5070844 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11802 5982 840 434 0 5166 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 47208

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/244 10572
/proc/meminfo: memFree=32012496/32770624 swapFree=5908/188896
[pid=10555] ppid=10552 vsize=47208 CPUtime=522.15 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 34886 0 0 0 52213 2 0 0 20 0 1 0 804870 48340992 5989 33554432000 4194304 5970956 140720851789600 140720851786568 5071028 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11802 5989 840 434 0 5166 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 47208

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/244 10573
/proc/meminfo: memFree=32013096/32770624 swapFree=5908/188896
[pid=10555] ppid=10552 vsize=47208 CPUtime=582.14 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 35364 0 0 0 58212 2 0 0 20 0 1 0 804870 48340992 5992 33554432000 4194304 5970956 140720851789600 140720851786568 5070008 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11802 5992 840 434 0 5166 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 47208


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


[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.04 3/243 10621
/proc/meminfo: memFree=32009632/32770624 swapFree=5908/189344
[pid=10555] ppid=10552 vsize=47340 CPUtime=1541.89 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 42086 0 0 0 154187 2 0 0 20 0 1 0 804870 48476160 6032 33554432000 4194304 5970956 140720851789600 140720851786568 5070976 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11835 6032 840 434 0 5199 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 47340

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/243 10622
/proc/meminfo: memFree=32011108/32770624 swapFree=5908/189480
[pid=10555] ppid=10552 vsize=47472 CPUtime=1601.87 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 42616 0 0 0 160185 2 0 0 20 0 1 0 804870 48611328 6038 33554432000 4194304 5970956 140720851789600 140720851786568 5070008 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6038 840 434 0 5232 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 47472

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/244 10631
/proc/meminfo: memFree=32010580/32770624 swapFree=5908/189480
[pid=10555] ppid=10552 vsize=47472 CPUtime=1661.85 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 42886 0 0 0 166183 2 0 0 20 0 1 0 804870 48611328 6038 33554432000 4194304 5970956 140720851789600 140720851786568 4971778 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6038 840 434 0 5232 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 47472

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/244 10632
/proc/meminfo: memFree=32010412/32770624 swapFree=5908/189480
[pid=10555] ppid=10552 vsize=47472 CPUtime=1721.84 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 43408 0 0 0 172182 2 0 0 20 0 1 0 804870 48611328 6038 33554432000 4194304 5970956 140720851789600 140720851786568 5070102 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6038 840 434 0 5232 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 47472

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/244 10633
/proc/meminfo: memFree=32008736/32770624 swapFree=5908/189480
[pid=10555] ppid=10552 vsize=47472 CPUtime=1781.82 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 43683 0 0 0 178180 2 0 0 20 0 1 0 804870 48611328 6039 33554432000 4194304 5970956 140720851789600 140720851786568 4977130 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6039 840 434 0 5232 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 47472

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 10634
/proc/meminfo: memFree=32009984/32770624 swapFree=5908/189480
[pid=10555] ppid=10552 vsize=47472 CPUtime=1841.81 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 43974 0 0 0 184179 2 0 0 20 0 1 0 804870 48611328 6039 33554432000 4194304 5970956 140720851789600 140720851786568 4976751 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6039 840 434 0 5232 0
Current children cumulated CPU time (s) 1841.81
Current children cumulated vsize (KiB) 47472

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 10635
/proc/meminfo: memFree=32009952/32770624 swapFree=5908/189628
[pid=10555] ppid=10552 vsize=47472 CPUtime=1901.79 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 44492 0 0 0 190177 2 0 0 20 0 1 0 804870 48611328 6043 33554432000 4194304 5970956 140720851789600 140720851786568 5071054 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6043 840 434 0 5232 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 47472

[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/243 10636
/proc/meminfo: memFree=32010488/32770624 swapFree=5908/189628
[pid=10555] ppid=10552 vsize=47472 CPUtime=1961.78 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 44772 0 0 0 196176 2 0 0 20 0 1 0 804870 48611328 6043 33554432000 4194304 5970956 140720851789600 140720851786568 4978194 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6043 840 434 0 5232 0
Current children cumulated CPU time (s) 1961.78
Current children cumulated vsize (KiB) 47472

[startup+2022.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 10637
/proc/meminfo: memFree=32010072/32770624 swapFree=5908/189628
[pid=10555] ppid=10552 vsize=47472 CPUtime=2021.76 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 45046 0 0 0 202174 2 0 0 20 0 1 0 804870 48611328 6043 33554432000 4194304 5970956 140720851789600 140720851786568 4977120 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6043 840 434 0 5232 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 47472

[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 10638
/proc/meminfo: memFree=32009092/32770624 swapFree=5908/189628
[pid=10555] ppid=10552 vsize=47472 CPUtime=2081.75 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 45589 0 0 0 208173 2 0 0 20 0 1 0 804870 48611328 6043 33554432000 4194304 5970956 140720851789600 140720851786568 5070008 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6043 840 434 0 5232 0
Current children cumulated CPU time (s) 2081.75
Current children cumulated vsize (KiB) 47472

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 10639
/proc/meminfo: memFree=32009216/32770624 swapFree=5908/189628
[pid=10555] ppid=10552 vsize=47472 CPUtime=2141.73 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 45885 0 0 0 214171 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 4970584 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2141.73
Current children cumulated vsize (KiB) 47472

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 10640
/proc/meminfo: memFree=32010368/32770624 swapFree=5908/189760
[pid=10555] ppid=10552 vsize=47472 CPUtime=2201.72 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 46414 0 0 0 220170 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 5070776 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2201.72
Current children cumulated vsize (KiB) 47472

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 10649
/proc/meminfo: memFree=32010960/32770624 swapFree=5908/189760
[pid=10555] ppid=10552 vsize=47472 CPUtime=2261.7 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 46686 0 0 0 226168 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 4908967 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2261.7
Current children cumulated vsize (KiB) 47472

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10650
/proc/meminfo: memFree=32010064/32770624 swapFree=5908/189760
[pid=10555] ppid=10552 vsize=47472 CPUtime=2321.68 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 46964 0 0 0 232166 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 4970584 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2321.68
Current children cumulated vsize (KiB) 47472

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10651
/proc/meminfo: memFree=32010924/32770624 swapFree=5908/189760
[pid=10555] ppid=10552 vsize=47472 CPUtime=2381.67 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 47243 0 0 0 238165 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 5069986 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 47472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10717
/proc/meminfo: memFree=32014496/32770624 swapFree=5908/189760
[pid=10555] ppid=10552 vsize=47472 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 47514 0 0 0 240004 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 5071049 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 47472

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10555 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 10717
/proc/meminfo: memFree=32014496/32770624 swapFree=5908/189760
[pid=10555] ppid=10552 vsize=47472 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/10555/stat : 10555 (cosoco) R 10552 10555 9822 0 -1 4202496 47514 0 0 0 240004 2 0 0 20 0 1 0 804870 48611328 6044 33554432000 4194304 5970956 140720851789600 140720851786568 5071049 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13742080 140720851797185 140720851797315 140720851797315 140720851800014 0
/proc/10555/statm: 11868 6044 840 434 0 5232 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 47472

Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.024993
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 47472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.024993
maximum resident set size= 24220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47542
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= 12
involuntary context switches= 121854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13111 second user time and 10.9388 second system time

The end

Launcher Data 

Begin job on node138 at 2017-07-21 18:43:00
IDJOB=4241860
IDBENCH=130617
IDSOLVER=2620
FILE ID=node138/4241860-1500655380
RUNJOBID= node138-1500648173-9854
PBS_JOBID= 20623282
Free space on /tmp= 61992 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-20.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241860-1500655380/watcher-4241860-1500655380 -o /tmp/evaluation-result-4241860-1500655380/solver-4241860-1500655380 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500648173-9854 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241860-1500655380.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= f43327d25c90fcea6a9e7ed354db6bef
RANDOM SEED=1388823462

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32038008 kB
MemAvailable:   32023512 kB
Buffers:           32128 kB
Cached:           263356 kB
SwapCached:            0 kB
Active:           156700 kB
Inactive:         197308 kB
Active(anon):      61032 kB
Inactive(anon):     8592 kB
Active(file):      95668 kB
Inactive(file):   188716 kB
Unevictable:        5908 kB
Mlocked:            5908 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4964 kB
Writeback:             0 kB
AnonPages:         68048 kB
Mapped:            31552 kB
Shmem:              8852 kB
Slab:              66160 kB
SReclaimable:      33912 kB
SUnreclaim:        32248 kB
KernelStack:        4560 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     330796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61988 MiB
End job on node138 at 2017-07-21 19:23:01