Trace number 4242728

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.1No Cert. 2400.1599 2400.1399

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-25-25.xml
MD5SUM34b1e445d9836684eb66aaeb2aca3537
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark2520.25
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints90001
Number of domains1
Minimum domain size625
Maximum domain size625
Distribution of domain sizes[{"size":625,"count":625}]
Minimum variable degree578
Maximum variable degree578
Distribution of variable degrees[{"degree":578,"count":625}]
Minimum constraint arity4
Maximum constraint arity625
Distribution of constraint arities[{"arity":4,"count":90000},{"arity":625,"count":1}]
Number of extensional constraints0
Number of intensional constraints90000
Distribution of constraint types[{"type":"intension","count":90000},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

104.98/105.19	c best=?? lower=0 upper=624 
128.17/128.35	c
128.17/128.35	c This is cosoco 1.0 --  
128.17/128.35	c
128.17/128.35	c enable optimization
128.17/128.35	c ========================================[ Problem Statistics ]===========================================
128.17/128.35	c |                                                                                                       
128.17/128.35	c |  Parse time        :       103.67 s 
128.17/128.35	c |
128.17/128.35	c |               Variables: 625
128.17/128.35	c |            Domain Sizes: 625..625
128.17/128.35	c |
128.17/128.35	c |             Constraints: 90049
128.17/128.35	c |                   Arity: 4..625
128.17/128.35	c | 
128.17/128.35	c |                   Types: 
128.17/128.35	c |                          Intension: 90000
128.17/128.35	c |                          Lex: 48
128.17/128.35	c |                          Max constant: 1
128.17/128.35	c |                          
128.17/128.35	c =========================================================================================================
128.17/128.35	o 12
128.17/128.35	c    1 calls to solver: best=12 lower=0 upper=11 
137.08/137.29	o 9
209.58/209.78	o 8
209.58/209.78	c    3 calls to solver: best=8 lower=0 upper=7 
697.71/697.82	o 7
1664.38/1664.46	o 6
1664.38/1664.46	c    5 calls to solver: best=6 lower=0 upper=5 
2400.02/2400.00	
2400.02/2400.00	c *** INTERRUPTED ***
2400.02/2400.00	s SATISFIABLE
2400.02/2400.00	c Best value found: 6
2400.02/2400.00	
2400.02/2400.00	
2400.02/2400.00	v <instantiation type='solution' cost='6'>
2400.02/2400.00	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17

Verifier Data 

ERROR: no instantiation found

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-4242728-1502045819/watcher-4242728-1502045819 -o /tmp/evaluation-result-4242728-1502045819/solver-4242728-1502045819 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242728-1502045819.xml 

pid=16941
running on 4 cores: 1,3,5,7

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: 1.93 2.03 2.00 2/181 16944
/proc/meminfo: memFree=31730704/32770624 swapFree=0/374216
[pid=16944] ppid=16941 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16944/stat : 16944 (runsolver) D 16941 16944 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6802931 24240128 108 18446744073709551615 4194304 4338465 140726921408224 140726921405864 140238560678615 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 21032960 140726921412767 140726921413194 140726921413194 140726921416650 0
/proc/16944/statm: 5918 108 54 36 0 2156 0

[startup+0.100157 s]
/proc/loadavg: 1.93 2.03 2.00 2/181 16944
/proc/meminfo: memFree=31730704/32770624 swapFree=0/374216
[pid=16944] ppid=16941 vsize=30424 CPUtime=0.03 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 1816 0 0 0 3 0 0 0 20 0 1 0 6802931 31154176 1624 18446744073709551615 4194304 5970956 140733782115184 140733782111832 5395984 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 7606 1624 702 434 0 970 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30424

[startup+0.200304 s]
/proc/loadavg: 1.93 2.03 2.00 2/181 16944
/proc/meminfo: memFree=31730704/32770624 swapFree=0/374216
[pid=16944] ppid=16941 vsize=30884 CPUtime=0.13 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 1897 0 0 0 13 0 0 0 20 0 1 0 6802931 31625216 1690 18446744073709551615 4194304 5970956 140733782115184 140733782111832 139712091816823 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 7721 1690 710 434 0 1085 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 30884

[startup+0.300244 s]
/proc/loadavg: 1.93 2.03 2.00 2/181 16944
/proc/meminfo: memFree=31730704/32770624 swapFree=0/374216
[pid=16944] ppid=16941 vsize=31208 CPUtime=0.23 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 2026 0 0 0 23 0 0 0 20 0 1 0 6802931 31956992 1782 18446744073709551615 4194304 5970956 140733782115184 140733782111832 5410504 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 7802 1782 710 434 0 1166 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 31208

[startup+0.700178 s]
/proc/loadavg: 1.93 2.03 2.00 2/181 16944
/proc/meminfo: memFree=31730704/32770624 swapFree=0/374216
[pid=16944] ppid=16941 vsize=32516 CPUtime=0.63 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 2454 0 0 0 63 0 0 0 20 0 1 0 6802931 33296384 2123 18446744073709551615 4194304 5970956 140733782115184 140733782111784 139712091806693 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 8129 2123 710 434 0 1493 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 32516

[startup+1.50018 s]
/proc/loadavg: 1.93 2.03 2.00 3/182 16945
/proc/meminfo: memFree=31713188/32770624 swapFree=0/374348
[pid=16944] ppid=16941 vsize=36536 CPUtime=1.42 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 3685 0 0 0 142 0 0 0 20 0 1 0 6802931 37412864 2790 18446744073709551615 4194304 5970956 140733782115184 140733782111784 139712091806693 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 9134 2790 710 434 0 2498 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 36536

[startup+3.10019 s]
/proc/loadavg: 1.93 2.03 2.00 3/182 16945
/proc/meminfo: memFree=31672200/32770624 swapFree=0/374100
[pid=16944] ppid=16941 vsize=82228 CPUtime=3.03 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 15430 0 0 0 301 2 0 0 20 0 1 0 6802931 84201472 14433 18446744073709551615 4194304 5970956 140733782115184 140733782108776 139712091806693 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 20557 14433 782 434 0 13921 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 82228

[startup+6.30018 s]
/proc/loadavg: 1.94 2.03 2.00 3/182 16945
/proc/meminfo: memFree=31444216/32770624 swapFree=0/374112
[pid=16944] ppid=16941 vsize=211872 CPUtime=6.22 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 48031 0 0 0 616 6 0 0 20 0 1 0 6802931 216956928 46849 18446744073709551615 4194304 5970956 140733782115184 140733782108776 4966541 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 52968 46849 782 434 0 46332 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 211872

[startup+12.7002 s]
/proc/loadavg: 1.94 2.02 2.00 3/182 16945
/proc/meminfo: memFree=31001288/32770624 swapFree=0/374120
[pid=16944] ppid=16941 vsize=471192 CPUtime=12.62 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 112957 0 0 0 1247 15 0 0 20 0 1 0 6802931 482500608 111604 18446744073709551615 4194304 5970956 140733782115184 140733782108776 4966541 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 117798 111604 782 434 0 111162 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 471192

[startup+25.5056 s]
/proc/loadavg: 1.96 2.02 2.00 3/182 16945
/proc/meminfo: memFree=30117036/32770624 swapFree=0/374128
[pid=16944] ppid=16941 vsize=989228 CPUtime=25.41 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 242586 0 0 0 2510 31 0 0 20 0 1 0 6802931 1012969472 241182 18446744073709551615 4194304 5970956 140733782115184 140733782108776 139712091806693 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 247307 241182 782 434 0 240671 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 989228

[startup+51.1002 s]
/proc/loadavg: 1.91 2.01 1.99 3/182 16946
/proc/meminfo: memFree=28151740/32770624 swapFree=0/374144
[pid=16944] ppid=16941 vsize=2025544 CPUtime=51 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 501893 0 0 0 5037 63 0 0 20 0 1 0 6802931 2074157056 500181 18446744073709551615 4194304 5970956 140733782115184 140733782108776 139712091815901 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 506386 500181 782 434 0 499750 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 2025544

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 16947
/proc/meminfo: memFree=26093736/32770624 swapFree=0/374184
[pid=16944] ppid=16941 vsize=4099160 CPUtime=102.19 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 1020772 0 0 0 10087 132 0 0 20 0 1 0 6802931 4197539840 1018571 18446744073709551615 4194304 5970956 140733782115184 140733782108776 139712092553980 0 0 1 0 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1024790 1018571 782 434 0 1018154 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 4099160

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16950
/proc/meminfo: memFree=23938508/32770624 swapFree=0/374212
[pid=16944] ppid=16941 vsize=6208824 CPUtime=162.18 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 2496090 0 0 0 15979 239 0 0 20 0 1 0 6802931 6357835776 1546314 18446744073709551615 4194304 5970956 140733782115184 140733782111896 4908922 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552206 1546314 833 434 0 1545570 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 6208824

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16952
/proc/meminfo: memFree=23938272/32770624 swapFree=0/374256
[pid=16944] ppid=16941 vsize=6209088 CPUtime=222.19 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 2878892 0 0 0 21960 259 0 0 20 0 1 0 6802931 6358106112 1546384 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964389 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552272 1546384 833 434 0 1545636 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 6209088

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16953
/proc/meminfo: memFree=23938368/32770624 swapFree=0/374280
[pid=16944] ppid=16941 vsize=6209088 CPUtime=282.19 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 3412844 0 0 0 27939 280 0 0 20 0 1 0 6802931 6358106112 1546386 18446744073709551615 4194304 5970956 140733782115184 140733782102488 5327993 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552272 1546386 833 434 0 1545636 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 6209088

[startup+342.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16956
/proc/meminfo: memFree=23937528/32770624 swapFree=0/374296
[pid=16944] ppid=16941 vsize=6209220 CPUtime=342.19 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 3987498 0 0 0 33911 308 0 0 20 0 1 0 6802931 6358241280 1546399 18446744073709551615 4194304 5970956 140733782115184 140733782111896 5098928 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552305 1546399 833 434 0 1545669 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 6209220

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 16957
/proc/meminfo: memFree=23937780/32770624 swapFree=0/374320
[pid=16944] ppid=16941 vsize=6209220 CPUtime=402.2 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 4515887 0 0 0 39886 334 0 0 20 0 1 0 6802931 6358241280 1546421 18446744073709551615 4194304 5970956 140733782115184 140733782111896 4964389 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552305 1546421 833 434 0 1545669 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 6209220

[startup+462.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 16973
/proc/meminfo: memFree=23933280/32770624 swapFree=0/374384
[pid=16944] ppid=16941 vsize=6209220 CPUtime=462.19 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 4948137 0 0 0 45868 351 0 0 20 0 1 0 6802931 6358241280 1546425 18446744073709551615 4194304 5970956 140733782115184 140733782111896 5070331 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552305 1546425 833 434 0 1545669 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 6209220

[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/184 16975
/proc/meminfo: memFree=23933672/32770624 swapFree=0/374404
[pid=16944] ppid=16941 vsize=6209352 CPUtime=522.2 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 5548753 0 0 0 51841 379 0 0 20 0 1 0 6802931 6358376448 1546428 18446744073709551615 4194304 5970956 140733782115184 140733782111896 5069728 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552338 1546428 833 434 0 1545702 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 6209352

[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.02 3/181 16977
/proc/meminfo: memFree=23937112/32770624 swapFree=0/374424
[pid=16944] ppid=16941 vsize=6209352 CPUtime=582.2 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 6044968 0 0 0 57815 405 0 0 20 0 1 0 6802931 6358376448 1546437 18446744073709551615 4194304 5970956 140733782115184 140733782111896 4908952 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552338 1546437 833 434 0 1545702 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 6209352


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


[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 17050
/proc/meminfo: memFree=23935680/32770624 swapFree=0/374880
[pid=16944] ppid=16941 vsize=6209352 CPUtime=1542.27 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 11396858 0 0 0 153574 653 0 0 20 0 1 0 6802931 6358376448 1546453 18446744073709551615 4194304 5970956 140733782115184 140733782112744 4908985 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552338 1546453 833 434 0 1545702 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 6209352

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 17052
/proc/meminfo: memFree=23935460/32770624 swapFree=0/374900
[pid=16944] ppid=16941 vsize=6209352 CPUtime=1602.27 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 11692643 0 0 0 159560 667 0 0 20 0 1 0 6802931 6358376448 1546453 18446744073709551615 4194304 5970956 140733782115184 140733782112744 5070333 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552338 1546453 833 434 0 1545702 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 6209352

[startup+1662.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 17068
/proc/meminfo: memFree=23931160/32770624 swapFree=0/374964
[pid=16944] ppid=16941 vsize=6209352 CPUtime=1662.28 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 12010984 0 0 0 165547 681 0 0 20 0 1 0 6802931 6358376448 1546464 18446744073709551615 4194304 5970956 140733782115184 140733782112744 4964452 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552338 1546464 833 434 0 1545702 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 6209352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 17070
/proc/meminfo: memFree=23930816/32770624 swapFree=0/374988
[pid=16944] ppid=16941 vsize=6209484 CPUtime=1722.27 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 12214243 0 0 0 171536 691 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964366 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 6209484

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 17072
/proc/meminfo: memFree=23934188/32770624 swapFree=0/375016
[pid=16944] ppid=16941 vsize=6209484 CPUtime=1782.27 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 12355481 0 0 0 177529 698 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 5070979 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 6209484

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/180 17074
/proc/meminfo: memFree=23934856/32770624 swapFree=0/375032
[pid=16944] ppid=16941 vsize=6209484 CPUtime=1842.29 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 12633423 0 0 0 183515 714 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964366 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 6209484

[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/181 17077
/proc/meminfo: memFree=23934868/32770624 swapFree=0/375056
[pid=16944] ppid=16941 vsize=6209484 CPUtime=1902.28 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 12847762 0 0 0 189505 723 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964366 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 6209484

[startup+1962.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 17079
/proc/meminfo: memFree=23934644/32770624 swapFree=0/375072
[pid=16944] ppid=16941 vsize=6209484 CPUtime=1962.29 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13079708 0 0 0 195494 735 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4908486 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 6209484

[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 17081
/proc/meminfo: memFree=23934920/32770624 swapFree=0/375096
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2022.29 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13247635 0 0 0 201487 742 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964366 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 6209484

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 17083
/proc/meminfo: memFree=23934328/32770624 swapFree=0/375116
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2082.3 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13375804 0 0 0 207481 749 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964389 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 6209484

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 17085
/proc/meminfo: memFree=23934852/32770624 swapFree=0/375140
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2142.3 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13493690 0 0 0 213476 754 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 5071000 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 6209484

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 17087
/proc/meminfo: memFree=23934632/32770624 swapFree=0/375160
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2202.31 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13646889 0 0 0 219470 761 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 5052121 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 6209484

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 17103
/proc/meminfo: memFree=23931288/32770624 swapFree=0/375208
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2262.31 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13688087 0 0 0 225467 764 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964821 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 6209484

[startup+2322.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 17105
/proc/meminfo: memFree=23930448/32770624 swapFree=0/375236
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2322.32 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13712770 0 0 0 231467 765 0 0 20 0 1 0 6802931 6358511616 1546474 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4961194 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546474 833 434 0 1545735 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 6209484

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17107
/proc/meminfo: memFree=23934124/32770624 swapFree=0/375260
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2382.32 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13893355 0 0 0 237459 773 0 0 20 0 1 0 6802931 6358511616 1546537 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4967728 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546537 833 434 0 1545735 0
Current children cumulated CPU time (s) 2382.32
Current children cumulated vsize (KiB) 6209484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 17108
/proc/meminfo: memFree=23934216/32770624 swapFree=0/375264
[pid=16944] ppid=16941 vsize=6209484 CPUtime=2400.02 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202496 13914550 0 0 0 239227 775 0 0 20 0 1 0 6802931 6358511616 1546537 18446744073709551615 4194304 5970956 140733782115184 140733782102488 4964705 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 12238848 140733782122956 140733782123086 140733782123086 140733782126542 0
/proc/16944/statm: 1552371 1546537 833 434 0 1545735 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 6209484

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

[startup+2400.1 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 17108
/proc/meminfo: memFree=23934216/32770624 swapFree=0/375264
[pid=16944] ppid=16941 vsize=0 CPUtime=2400.12 cores=1,3,5,7
/proc/16944/stat : 16944 (cosoco) R 16941 16944 9955 0 -1 4202500 13914587 0 0 0 239227 785 0 0 20 0 1 0 6802931 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 3 0 0 6 0 0 0 0 0 0 0 0 0 0
/proc/16944/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.12
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2400.14
CPU time (s): 2400.16
CPU user time (s): 2392.28
CPU system time (s): 7.88572
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 6209484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.28
system time used= 7.88572
maximum resident set size= 6186188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13914587
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= 243
involuntary context switches= 764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38435 second user time and 10.086 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-06 20:42:57
IDJOB=4242728
IDBENCH=139736
IDSOLVER=2620
FILE ID=node125/4242728-1502045819
RUNJOBID= node125-1502042574-16653
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-25-25.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242728-1502045819/watcher-4242728-1502045819 -o /tmp/evaluation-result-4242728-1502045819/solver-4242728-1502045819 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242728-1502045819.xml

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

MD5SUM BENCH= 34b1e445d9836684eb66aaeb2aca3537
RANDOM SEED=1529263701

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31730704 kB
MemAvailable:   32028368 kB
Buffers:          120564 kB
Cached:           457696 kB
SwapCached:            0 kB
Active:           248920 kB
Inactive:         382748 kB
Active(anon):      53496 kB
Inactive(anon):     8532 kB
Active(file):     195424 kB
Inactive(file):   374216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11692 kB
Writeback:             0 kB
AnonPages:         53240 kB
Mapped:            30516 kB
Shmem:              8868 kB
Slab:             111796 kB
SReclaimable:      87720 kB
SUnreclaim:        24076 kB
KernelStack:        3136 kB
PageTables:         5004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308764 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:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-08-06 21:22:57