Trace number 4241191

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-sat 1.1? (TO) 2400.51 2402.11

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-28-a4.xml
MD5SUM67703e3ced133509b42bcbc9f355bd8f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark920
Best CPU time to get the best result obtained on this benchmark2520.1001
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints67979
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":28}]
Minimum variable degree9478
Maximum variable degree9479
Distribution of variable degrees[{"degree":9478,"count":26},{"degree":9479,"count":2}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":6552},{"arity":4,"count":61425},{"arity":28,"count":1}]
Number of extensional constraints0
Number of intensional constraints67978
Distribution of constraint types[{"type":"intension","count":67978},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

76.45/76.52	c SAT : Variables: 28028 -- Clauses: 14014028
76.45/76.53	c best=?? lower=0 upper=1000

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-4241191-1500648174/watcher-4241191-1500648174 -o /tmp/evaluation-result-4241191-1500648174/solver-4241191-1500648174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241191-1500648174.xml 

pid=9876
running on 8 cores: 1,3,5,7,9,11,13,15

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: 0.00 0.05 0.07 3/245 9882
/proc/meminfo: memFree=32081204/32770624 swapFree=5952/169360
[pid=9882] ppid=9876 vsize=5512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) D 9876 9882 9818 0 -1 1077936128 161 0 2 0 0 0 0 0 20 0 1 0 83781 5644288 36 33554432000 4194304 5970956 140723322630208 140723322627400 140387609982663 0 0 4096 0 18446744072101617188 0 0 17 13 0 0 0 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 1378 36 27 434 0 40 0

[startup+0.100098 s]
/proc/loadavg: 0.00 0.05 0.07 3/245 9882
/proc/meminfo: memFree=32081204/32770624 swapFree=5952/169360
[pid=9882] ppid=9876 vsize=27400 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 1061 0 3 0 7 0 0 0 20 0 1 0 83781 28057600 893 33554432000 4194304 5970956 140723322630208 140723322626808 5349479 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 6850 893 710 434 0 214 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27400

[startup+0.200268 s]
/proc/loadavg: 0.00 0.05 0.07 3/245 9882
/proc/meminfo: memFree=32081204/32770624 swapFree=5952/169360
[pid=9882] ppid=9876 vsize=27728 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 1132 0 3 0 16 0 0 0 20 0 1 0 83781 28393472 959 33554432000 4194304 5970956 140723322630208 140723322626808 5673435 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 6932 959 710 434 0 296 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 27728

[startup+0.300196 s]
/proc/loadavg: 0.00 0.05 0.07 3/245 9882
/proc/meminfo: memFree=32081204/32770624 swapFree=5952/169360
[pid=9882] ppid=9876 vsize=28184 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 1289 0 3 0 26 0 0 0 20 0 1 0 83781 28860416 1062 33554432000 4194304 5970956 140723322630208 140723322626808 5410373 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 7046 1062 710 434 0 410 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 28184

[startup+0.700154 s]
/proc/loadavg: 0.00 0.05 0.07 3/245 9882
/proc/meminfo: memFree=32081204/32770624 swapFree=5952/169360
[pid=9882] ppid=9876 vsize=30524 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 2021 0 3 0 66 0 0 0 20 0 1 0 83781 31256576 1494 33554432000 4194304 5970956 140723322630208 140723322626808 5670641 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 7631 1494 710 434 0 995 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 30524

[startup+1.50017 s]
/proc/loadavg: 0.00 0.05 0.07 4/247 9884
/proc/meminfo: memFree=32048628/32770624 swapFree=5952/170888
[pid=9882] ppid=9876 vsize=52052 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 7441 0 3 0 145 1 0 0 20 0 1 0 83781 53301248 7012 33554432000 4194304 5970956 140723322630208 140723322621816 4966541 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 13013 7012 782 434 0 6377 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 52052

[startup+3.10019 s]
/proc/loadavg: 0.00 0.05 0.07 4/247 9884
/proc/meminfo: memFree=31954400/32770624 swapFree=5952/170888
[pid=9882] ppid=9876 vsize=144848 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 30731 0 3 0 302 4 0 0 20 0 1 0 83781 148324352 30221 33554432000 4194304 5970956 140723322630208 140723322621816 140387593876274 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 36212 30221 782 434 0 29576 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 144848

[startup+6.3002 s]
/proc/loadavg: 0.16 0.08 0.08 4/247 9884
/proc/meminfo: memFree=31665924/32770624 swapFree=5952/171024
[pid=9882] ppid=9876 vsize=330476 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 77256 0 3 0 615 11 0 0 20 0 1 0 83781 338407424 76621 33554432000 4194304 5970956 140723322630208 140723322623800 140387594711637 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 82619 76621 782 434 0 75983 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 330476

[startup+12.7002 s]
/proc/loadavg: 0.31 0.11 0.09 4/247 9884
/proc/meminfo: memFree=31091704/32770624 swapFree=5952/171032
[pid=9882] ppid=9876 vsize=701124 CPUtime=12.67 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 170062 0 3 0 1244 23 0 0 20 0 1 0 83781 717950976 169277 33554432000 4194304 5970956 140723322630208 140723322623800 4884736 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 175281 169277 782 434 0 168645 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 701124

[startup+25.5003 s]
/proc/loadavg: 0.68 0.20 0.12 4/247 9884
/proc/meminfo: memFree=29925616/32770624 swapFree=5952/171040
[pid=9882] ppid=9876 vsize=1442692 CPUtime=25.46 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 355791 0 3 0 2501 45 0 0 20 0 1 0 83781 1477316608 354678 33554432000 4194304 5970956 140723322630208 140723322623800 140387593878501 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 360673 354678 782 434 0 354037 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1442692

[startup+51.1003 s]
/proc/loadavg: 1.13 0.35 0.17 4/247 9884
/proc/meminfo: memFree=28449860/32770624 swapFree=5952/171048
[pid=9882] ppid=9876 vsize=2920452 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 725549 0 3 0 5013 93 0 0 20 0 1 0 83781 2990542848 724137 33554432000 4194304 5970956 140723322630208 140723322623800 5511632 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 730113 724137 782 434 0 723477 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 2920452

[startup+102.3 s]
/proc/loadavg: 1.62 0.60 0.27 4/246 9885
/proc/meminfo: memFree=24522312/32770624 swapFree=5952/171100
[pid=9882] ppid=9876 vsize=6855620 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 2013799 0 3 0 9998 227 0 0 20 0 1 0 83781 7020154880 1675288 33554432000 4194304 5970956 140723322630208 140723322627176 4964363 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 1713905 1675288 839 434 0 1707269 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 6855620

[startup+162.3 s]
/proc/loadavg: 1.90 0.87 0.38 4/246 9889
/proc/meminfo: memFree=23687656/32770624 swapFree=5952/176056
[pid=9882] ppid=9876 vsize=7660556 CPUtime=162.22 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 2625819 0 3 0 15956 266 0 0 20 0 1 0 83781 7844409344 1876516 33554432000 4194304 5970956 140723322630208 140723322627176 5052085 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 1915139 1876516 839 434 0 1908503 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 7660556

[startup+222.308 s]
/proc/loadavg: 1.96 1.08 0.48 4/246 9890
/proc/meminfo: memFree=23312724/32770624 swapFree=5952/176084
[pid=9882] ppid=9876 vsize=8021312 CPUtime=222.2 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 3328297 0 3 0 21915 305 0 0 20 0 1 0 83781 8213823488 1966705 33554432000 4194304 5970956 140723322630208 140723322627176 4968264 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2005328 1966705 839 434 0 1998692 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 8021312

[startup+282.3 s]
/proc/loadavg: 2.04 1.26 0.58 4/246 9891
/proc/meminfo: memFree=22671848/32770624 swapFree=5952/176108
[pid=9882] ppid=9876 vsize=8658344 CPUtime=282.16 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 4563514 0 3 0 27841 375 0 0 20 0 1 0 83781 8866144256 2125961 33554432000 4194304 5970956 140723322630208 140723322627176 4908963 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2164586 2125961 839 434 0 2157950 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 8658344

[startup+342.3 s]
/proc/loadavg: 2.02 1.39 0.67 4/244 9892
/proc/meminfo: memFree=22639816/32770624 swapFree=5952/176136
[pid=9882] ppid=9876 vsize=8683292 CPUtime=342.13 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 5502950 0 3 0 33792 421 0 0 20 0 1 0 83781 8891691008 2132199 33554432000 4194304 5970956 140723322630208 140723322627176 5070108 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2170823 2132199 839 434 0 2164187 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 8683292

[startup+402.3 s]
/proc/loadavg: 2.01 1.50 0.75 4/244 9893
/proc/meminfo: memFree=22464228/32770624 swapFree=5952/176160
[pid=9882] ppid=9876 vsize=8857400 CPUtime=402.11 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 6574973 0 3 0 39741 470 0 0 20 0 1 0 83781 9069977600 2175712 33554432000 4194304 5970956 140723322630208 140723322627176 4964629 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2214350 2175712 839 434 0 2207714 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 8857400

[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.83 4/244 9902
/proc/meminfo: memFree=22462448/32770624 swapFree=5952/176168
[pid=9882] ppid=9876 vsize=8858324 CPUtime=462.08 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 7499624 0 3 0 45693 515 0 0 20 0 1 0 83781 9070923776 2175933 33554432000 4194304 5970956 140723322630208 140723322627176 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2214581 2175933 839 434 0 2207945 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 8858324

[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.90 4/244 9903
/proc/meminfo: memFree=22456988/32770624 swapFree=5952/176188
[pid=9882] ppid=9876 vsize=8860568 CPUtime=522.06 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 8289331 0 3 0 51656 550 0 0 20 0 1 0 83781 9073221632 2176509 33554432000 4194304 5970956 140723322630208 140723322627176 4964440 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2215142 2176509 839 434 0 2208506 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 8860568

[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.97 4/244 9904
/proc/meminfo: memFree=22453608/32770624 swapFree=5952/176216
[pid=9882] ppid=9876 vsize=8862680 CPUtime=582.02 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 9073248 0 3 0 57617 585 0 0 20 0 1 0 83781 9075384320 2177043 33554432000 4194304 5970956 140723322630208 140723322627176 4964705 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2215670 2177043 839 434 0 2209034 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 8862680


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.67 4/243 9952
/proc/meminfo: memFree=21810004/32770624 swapFree=5952/176708
[pid=9882] ppid=9876 vsize=9496016 CPUtime=1601.23 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 21122881 0 3 0 158986 1137 0 0 20 0 1 0 83781 9723920384 2335367 33554432000 4194304 5970956 140723322630208 140723322627176 4964386 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2374004 2335367 839 434 0 2367368 0
Current children cumulated CPU time (s) 1601.23
Current children cumulated vsize (KiB) 9496016

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.69 4/243 9960
/proc/meminfo: memFree=21753384/32770624 swapFree=5952/176748
[pid=9882] ppid=9876 vsize=9547628 CPUtime=1661.18 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 21698339 0 3 0 164954 1164 0 0 20 0 1 0 83781 9776771072 2348290 33554432000 4194304 5970956 140723322630208 140723322627176 5052080 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2386907 2348290 839 434 0 2380271 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 9547628

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 4/243 9961
/proc/meminfo: memFree=21733888/32770624 swapFree=5952/176772
[pid=9882] ppid=9876 vsize=9567032 CPUtime=1721.13 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 22209699 0 3 0 170926 1187 0 0 20 0 1 0 83781 9796640768 2353125 33554432000 4194304 5970956 140723322630208 140723322627176 4964386 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2391758 2353125 839 434 0 2385122 0
Current children cumulated CPU time (s) 1721.13
Current children cumulated vsize (KiB) 9567032

[startup+1782.3 s]
/proc/loadavg: 2.14 2.03 1.73 4/243 9962
/proc/meminfo: memFree=21731304/32770624 swapFree=5952/176804
[pid=9882] ppid=9876 vsize=9569540 CPUtime=1781.1 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 22678752 0 3 0 176902 1208 0 0 20 0 1 0 83781 9799208960 2353759 33554432000 4194304 5970956 140723322630208 140723322627176 4964576 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2392385 2353759 839 434 0 2385749 0
Current children cumulated CPU time (s) 1781.1
Current children cumulated vsize (KiB) 9569540

[startup+1842.3 s]
/proc/loadavg: 2.05 2.02 1.75 4/243 9963
/proc/meminfo: memFree=21730308/32770624 swapFree=5952/176824
[pid=9882] ppid=9876 vsize=9570596 CPUtime=1841.07 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 23103839 0 3 0 182875 1232 0 0 20 0 1 0 83781 9800290304 2354013 33554432000 4194304 5970956 140723322630208 140723322627176 4964386 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2392649 2354013 839 434 0 2386013 0
Current children cumulated CPU time (s) 1841.07
Current children cumulated vsize (KiB) 9570596

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.77 4/243 9964
/proc/meminfo: memFree=21687988/32770624 swapFree=5952/176848
[pid=9882] ppid=9876 vsize=9612968 CPUtime=1901.02 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 23572903 0 3 0 188846 1256 0 0 20 0 1 0 83781 9843679232 2364613 33554432000 4194304 5970956 140723322630208 140723322627176 140387593878501 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2403242 2364613 839 434 0 2396606 0
Current children cumulated CPU time (s) 1901.02
Current children cumulated vsize (KiB) 9612968

[startup+1962.3 s]
/proc/loadavg: 2.01 2.01 1.78 4/243 9965
/proc/meminfo: memFree=21672880/32770624 swapFree=5952/176884
[pid=9882] ppid=9876 vsize=9628148 CPUtime=1960.98 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 23982192 0 3 0 194824 1274 0 0 20 0 1 0 83781 9859223552 2368404 33554432000 4194304 5970956 140723322630208 140723322627176 4964386 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2407037 2368404 839 434 0 2400401 0
Current children cumulated CPU time (s) 1960.98
Current children cumulated vsize (KiB) 9628148

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 4/243 9966
/proc/meminfo: memFree=21672492/32770624 swapFree=5952/176908
[pid=9882] ppid=9876 vsize=9628940 CPUtime=2020.95 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 24412782 0 3 0 200799 1296 0 0 20 0 1 0 83781 9860034560 2368588 33554432000 4194304 5970956 140723322630208 140723322627176 4968224 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2407235 2368588 839 434 0 2400599 0
Current children cumulated CPU time (s) 2020.95
Current children cumulated vsize (KiB) 9628940

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 4/243 9967
/proc/meminfo: memFree=21670908/32770624 swapFree=5952/176936
[pid=9882] ppid=9876 vsize=9630260 CPUtime=2080.91 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 24800800 0 3 0 206776 1315 0 0 20 0 1 0 83781 9861386240 2368930 33554432000 4194304 5970956 140723322630208 140723322627176 4961405 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2407565 2368930 839 434 0 2400929 0
Current children cumulated CPU time (s) 2080.91
Current children cumulated vsize (KiB) 9630260

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 4/243 9968
/proc/meminfo: memFree=21669796/32770624 swapFree=5952/176964
[pid=9882] ppid=9876 vsize=9631316 CPUtime=2140.86 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 25184846 0 3 0 212751 1335 0 0 20 0 1 0 83781 9862467584 2369183 33554432000 4194304 5970956 140723322630208 140723322627176 4961405 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2407829 2369183 839 434 0 2401193 0
Current children cumulated CPU time (s) 2140.86
Current children cumulated vsize (KiB) 9631316

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.83 4/243 9969
/proc/meminfo: memFree=21669452/32770624 swapFree=5952/176984
[pid=9882] ppid=9876 vsize=9631316 CPUtime=2200.83 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 25621768 0 3 0 218727 1356 0 0 20 0 1 0 83781 9862467584 2369202 33554432000 4194304 5970956 140723322630208 140723322627176 4964784 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2407829 2369202 839 434 0 2401193 0
Current children cumulated CPU time (s) 2200.83
Current children cumulated vsize (KiB) 9631316

[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 1.85 4/244 9978
/proc/meminfo: memFree=21668068/32770624 swapFree=5952/177028
[pid=9882] ppid=9876 vsize=9631316 CPUtime=2260.78 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 25970153 0 3 0 224706 1372 0 0 20 0 1 0 83781 9862467584 2369213 33554432000 4194304 5970956 140723322630208 140723322627176 4964784 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2407829 2369213 839 434 0 2401193 0
Current children cumulated CPU time (s) 2260.78
Current children cumulated vsize (KiB) 9631316

[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 1.86 4/244 9979
/proc/meminfo: memFree=21653580/32770624 swapFree=5952/177052
[pid=9882] ppid=9876 vsize=9643856 CPUtime=2320.74 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 26329827 0 3 0 230682 1392 0 0 20 0 1 0 83781 9875308544 2372324 33554432000 4194304 5970956 140723322630208 140723322627176 4964386 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2410964 2372324 839 434 0 2404328 0
Current children cumulated CPU time (s) 2320.74
Current children cumulated vsize (KiB) 9643856

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.87 4/244 9980
/proc/meminfo: memFree=21650844/32770624 swapFree=5952/177092
[pid=9882] ppid=9876 vsize=9645044 CPUtime=2380.7 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 26646744 0 3 0 236663 1407 0 0 20 0 1 0 83781 9876525056 2372644 33554432000 4194304 5970956 140723322630208 140723322627176 4968224 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2411261 2372644 839 434 0 2404625 0
Current children cumulated CPU time (s) 2380.7
Current children cumulated vsize (KiB) 9645044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.7 s]
/proc/loadavg: 2.01 2.02 1.87 4/244 9980
/proc/meminfo: memFree=21650452/32770624 swapFree=5952/177096
[pid=9882] ppid=9876 vsize=9646100 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202496 26867949 0 3 0 238593 1416 0 0 20 0 1 0 83781 9877606400 2372882 33554432000 4194304 5970956 140723322630208 140723322627176 4964777 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 31981568 140723322631356 140723322631491 140723322631491 140723322634190 0
/proc/9882/statm: 2411525 2372882 839 434 0 2404889 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 9646100

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 9882 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2402 s]
/proc/loadavg: 2.01 2.02 1.87 4/244 9980
/proc/meminfo: memFree=21650452/32770624 swapFree=5952/177096
[pid=9882] ppid=9876 vsize=0 CPUtime=2400.39 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202500 26867976 0 3 0 238593 1446 0 0 20 0 1 0 83781 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 13 0 0 1 0 0 0 0 0 0 0 0 0 0
/proc/9882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.39
Current children cumulated vsize (KiB) 0

[startup+2402.1 s]
/proc/loadavg: 2.01 2.02 1.87 4/244 9980
/proc/meminfo: memFree=21650452/32770624 swapFree=5952/177096
[pid=9882] ppid=9876 vsize=0 CPUtime=2400.48 cores=1,3,5,7,9,11,13,15
/proc/9882/stat : 9882 (cosoco) R 9876 9882 9818 0 -1 4202500 26867976 0 3 0 238593 1455 0 0 20 0 1 0 83781 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 13 0 0 1 0 0 0 0 0 0 0 0 0 0
/proc/9882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.48
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2402.11
CPU time (s): 2400.51
CPU user time (s): 2385.93
CPU system time (s): 14.5754
CPU usage (%): 99.9331
Max. virtual memory (cumulated for all children) (KiB): 9646100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.93
system time used= 14.5754
maximum resident set size= 9491568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26867976
page faults= 3
swaps= 0
block input operations= 1712
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 673
involuntary context switches= 121835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9458 second user time and 11.6248 second system time

The end

Launcher Data 

Begin job on node140 at 2017-07-21 16:42:54
IDJOB=4241191
IDBENCH=126237
IDSOLVER=2621
FILE ID=node140/4241191-1500648174
RUNJOBID= node140-1500648173-9851
PBS_JOBID= 20623280
Free space on /tmp= 61852 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-28-a4.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241191-1500648174/watcher-4241191-1500648174 -o /tmp/evaluation-result-4241191-1500648174/solver-4241191-1500648174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9851 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241191-1500648174.xml

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

MD5SUM BENCH= 67703e3ced133509b42bcbc9f355bd8f
RANDOM SEED=506569091

node140.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.36
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.36
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		: 1600.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.36
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.36
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.36
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		: 1600.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.36
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		: 1733.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.36
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		: 1600.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.36
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		: 1733.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:        32083888 kB
MemAvailable:   32028764 kB
Buffers:           28540 kB
Cached:           227636 kB
SwapCached:            0 kB
Active:           131720 kB
Inactive:         176008 kB
Active(anon):      54888 kB
Inactive(anon):     8548 kB
Active(file):      76832 kB
Inactive(file):   167460 kB
Unevictable:        5952 kB
Mlocked:            5952 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8284 kB
Writeback:             0 kB
AnonPages:         57720 kB
Mapped:            29172 kB
Shmem:              8852 kB
Slab:              63772 kB
SReclaimable:      32836 kB
SUnreclaim:        30936 kB
KernelStack:        4144 kB
PageTables:         4916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61852 MiB
End job on node140 at 2017-07-21 17:22:56