Trace number 4241321

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: Mistral-2.0 2017-06-28SAT (TO)6 2400.0901 2400.3101

General information on the benchmark

NameOpenStacks/OpenStacks-m2c-s1/
OpenStacks-m2c-wbo-10-30-1.xml
MD5SUMcf5c2add0e1079255d589b4f638ee707
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark644.396
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of constraints351
Number of domains3
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":300},{"size":30,"count":50},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":330},{"degree":5,"count":30},{"degree":31,"count":20}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":300},{"arity":5,"count":2},{"arity":6,"count":6},{"arity":7,"count":4},{"arity":8,"count":6},{"arity":9,"count":2},{"arity":11,"count":30},{"arity":30,"count":1}]
Number of extensional constraints300
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":300},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"minimum","count":10},{"type":"maximum","count":10}]
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 

0.00/0.08	c Mistral-2017-06-28
0.11/0.29	o 8
0.11/0.29	o 7
0.31/0.47	o 6
2400.08/2400.30	s SATISFIABLE
2400.08/2400.30	v <instantiation type="solution">
2400.08/2400.30	v   <list> p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list>
2400.08/2400.30	v   <values> 17 9 28 8 11 2 21 12 3 18 1 14 10 5 26 25 20 22 16 0 23 15 29 7 24 13 6 4 19 27 4 7 1 0 5 0 17 20 22 10 21 15 29 23 28 5 26 29 28 19 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 2 3 3 3 4 5 4 5 5 5 6 6 6 6 6 6 5 6 6 6 6 6 6 6 5 5 5 4 4 2 </values>
2400.08/2400.30	v </instantiation>

Verifier Data 

OK	6

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-4241321-1502088253/watcher-4241321-1502088253 -o /tmp/evaluation-result-4241321-1502088253/solver-4241321-1502088253 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 280802282 HOME/instance-4241321-1502088253.xml 

pid=3863
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: 2.02 2.01 2.05 2/184 3866
/proc/meminfo: memFree=31627084/32770624 swapFree=0/362208
[pid=3866] ppid=3863 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3866/stat : 3866 (runsolver) D 3863 3866 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11019036 24240128 108 18446744073709551615 4194304 4338465 140734600134128 140734600131768 139676239618775 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 21196800 140734600138892 140734600139338 140734600139338 140734600142794 0
/proc/3866/statm: 5918 108 54 36 0 2156 0

[startup+0.100157 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 3866
/proc/meminfo: memFree=31627084/32770624 swapFree=0/362208
[pid=3866] ppid=3863 vsize=32840 CPUtime=0.01 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 2091 0 0 0 1 0 0 0 20 0 1 0 11019036 33628160 1910 18446744073709551615 4194304 7402444 140732638968384 140732638965432 140388579141536 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 8258 1910 726 784 0 1272 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 32840

[startup+0.200317 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 3866
/proc/meminfo: memFree=31627084/32770624 swapFree=0/362208
[pid=3866] ppid=3863 vsize=66404 CPUtime=0.11 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 10472 0 0 0 10 1 0 0 20 0 1 0 11019036 67997696 10292 18446744073709551615 4194304 7402444 140732638968384 140732638965432 140388579093477 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 16601 10292 727 784 0 9615 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 66404

[startup+0.300356 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 3866
/proc/meminfo: memFree=31627084/32770624 swapFree=0/362208
[pid=3866] ppid=3863 vsize=90468 CPUtime=0.21 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 16686 0 0 0 19 2 0 0 20 0 1 0 11019036 92639232 16345 18446744073709551615 4194304 7402444 140732638968384 140732638965432 4484555 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22617 16345 775 784 0 15631 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 90468

[startup+0.700316 s]
/proc/loadavg: 2.02 2.01 2.05 2/184 3866
/proc/meminfo: memFree=31627084/32770624 swapFree=0/362208
[pid=3866] ppid=3863 vsize=90600 CPUtime=0.61 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 16746 0 0 0 59 2 0 0 20 0 1 0 11019036 92774400 16411 18446744073709551615 4194304 7402444 140732638968384 140732638965432 4484591 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22650 16411 777 784 0 15664 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 90600

[startup+1.50031 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 3867
/proc/meminfo: memFree=31564460/32770624 swapFree=0/362184
[pid=3866] ppid=3863 vsize=91128 CPUtime=1.41 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 16849 0 0 0 139 2 0 0 20 0 1 0 11019036 93315072 16477 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484450 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22782 16477 777 784 0 15796 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 91128

[startup+3.10032 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 3867
/proc/meminfo: memFree=31563592/32770624 swapFree=0/362208
[pid=3866] ppid=3863 vsize=91260 CPUtime=3.01 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 25193 0 0 0 298 3 0 0 20 0 1 0 11019036 93450240 16564 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484763 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22815 16564 777 784 0 15829 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 91260

[startup+6.30031 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 3867
/proc/meminfo: memFree=31563488/32770624 swapFree=0/362220
[pid=3866] ppid=3863 vsize=91392 CPUtime=6.21 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 33578 0 0 0 618 3 0 0 20 0 1 0 11019036 93585408 16598 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5754048 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22848 16598 777 784 0 15862 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 91392

[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 3867
/proc/meminfo: memFree=31563116/32770624 swapFree=0/362220
[pid=3866] ppid=3863 vsize=91788 CPUtime=12.61 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 42090 0 0 0 1258 3 0 0 20 0 1 0 11019036 93990912 16695 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484558 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22947 16695 777 784 0 15961 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 91788

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 3867
/proc/meminfo: memFree=31562744/32770624 swapFree=0/362220
[pid=3866] ppid=3863 vsize=91788 CPUtime=25.41 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 59068 0 0 0 2537 4 0 0 20 0 1 0 11019036 93990912 16730 18446744073709551615 4194304 7402444 140732638968384 140732638962808 5817928 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 22947 16730 777 784 0 15961 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 91788

[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 2.04 3/185 3867
/proc/meminfo: memFree=31561468/32770624 swapFree=0/362220
[pid=3866] ppid=3863 vsize=92052 CPUtime=51 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 67676 0 0 0 5096 4 0 0 20 0 1 0 11019036 94261248 16763 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23013 16763 777 784 0 16027 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 92052

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 3869
/proc/meminfo: memFree=31565984/32770624 swapFree=0/362288
[pid=3866] ppid=3863 vsize=92184 CPUtime=102.19 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 71008 0 0 0 10214 5 0 0 20 0 1 0 11019036 94396416 16796 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16796 777 784 0 16060 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 92184

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 3871
/proc/meminfo: memFree=31566252/32770624 swapFree=0/362308
[pid=3866] ppid=3863 vsize=92184 CPUtime=162.18 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 71780 0 0 0 16213 5 0 0 20 0 1 0 11019036 94396416 16804 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5754048 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16804 777 784 0 16060 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 92184

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 3873
/proc/meminfo: memFree=31566132/32770624 swapFree=0/362340
[pid=3866] ppid=3863 vsize=92184 CPUtime=222.18 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 72563 0 0 0 22213 5 0 0 20 0 1 0 11019036 94396416 16809 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484558 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16809 777 784 0 16060 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 92184

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 3875
/proc/meminfo: memFree=31566324/32770624 swapFree=0/362368
[pid=3866] ppid=3863 vsize=92184 CPUtime=282.17 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 73343 0 0 0 28212 5 0 0 20 0 1 0 11019036 94396416 16813 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4378480 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16813 777 784 0 16060 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 92184

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3877
/proc/meminfo: memFree=31566104/32770624 swapFree=0/362400
[pid=3866] ppid=3863 vsize=92184 CPUtime=342.17 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 74139 0 0 0 34212 5 0 0 20 0 1 0 11019036 94396416 16813 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5744304 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16813 777 784 0 16060 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 92184

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 3942
/proc/meminfo: memFree=31525820/32770624 swapFree=0/362472
[pid=3866] ppid=3863 vsize=92184 CPUtime=402.17 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 74919 0 0 0 40212 5 0 0 20 0 1 0 11019036 94396416 16822 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16822 777 784 0 16060 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 92184

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 3944
/proc/meminfo: memFree=31524484/32770624 swapFree=0/362500
[pid=3866] ppid=3863 vsize=92184 CPUtime=462.16 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 75704 0 0 0 46211 5 0 0 20 0 1 0 11019036 94396416 16825 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4249088 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16825 777 784 0 16060 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 92184

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/181 3946
/proc/meminfo: memFree=31523688/32770624 swapFree=0/362528
[pid=3866] ppid=3863 vsize=92184 CPUtime=522.16 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 76480 0 0 0 52211 5 0 0 20 0 1 0 11019036 94396416 16826 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484798 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16826 777 784 0 16060 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 92184

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3948
/proc/meminfo: memFree=31523812/32770624 swapFree=0/362556
[pid=3866] ppid=3863 vsize=92184 CPUtime=582.16 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 77298 0 0 0 58211 5 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484558 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 92184


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


[startup+1542.31 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 4137
/proc/meminfo: memFree=31554268/32770624 swapFree=0/363212
[pid=3866] ppid=3863 vsize=92184 CPUtime=1542.13 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 89984 0 0 0 154207 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5753899 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 92184

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 4139
/proc/meminfo: memFree=31554268/32770624 swapFree=0/363240
[pid=3866] ppid=3863 vsize=92184 CPUtime=1602.12 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 90769 0 0 0 160206 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 92184

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 4141
/proc/meminfo: memFree=31554144/32770624 swapFree=0/363268
[pid=3866] ppid=3863 vsize=92184 CPUtime=1662.11 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 91572 0 0 0 166205 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5754011 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 92184

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4144
/proc/meminfo: memFree=31554632/32770624 swapFree=0/363308
[pid=3866] ppid=3863 vsize=92184 CPUtime=1722.11 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 92359 0 0 0 172205 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5753899 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 92184

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4146
/proc/meminfo: memFree=31554508/32770624 swapFree=0/363336
[pid=3866] ppid=3863 vsize=92184 CPUtime=1782.11 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 93159 0 0 0 178205 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484598 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 92184

[startup+1842.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/184 4162
/proc/meminfo: memFree=31550276/32770624 swapFree=0/363412
[pid=3866] ppid=3863 vsize=92184 CPUtime=1842.1 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 93941 0 0 0 184204 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 92184

[startup+1902.3 s]
/proc/loadavg: 2.15 2.08 2.06 3/185 4189
/proc/meminfo: memFree=31549976/32770624 swapFree=0/363492
[pid=3866] ppid=3863 vsize=92184 CPUtime=1902.1 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 94737 0 0 0 190204 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5872796 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 92184

[startup+1962.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/182 4191
/proc/meminfo: memFree=31552960/32770624 swapFree=0/363520
[pid=3866] ppid=3863 vsize=92184 CPUtime=1962.1 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 95515 0 0 0 196204 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5754004 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 92184

[startup+2022.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/182 4193
/proc/meminfo: memFree=31553220/32770624 swapFree=0/363548
[pid=3866] ppid=3863 vsize=92184 CPUtime=2022.1 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 96292 0 0 0 202204 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5758807 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 92184

[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 4195
/proc/meminfo: memFree=31553468/32770624 swapFree=0/363580
[pid=3866] ppid=3863 vsize=92184 CPUtime=2082.1 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 97044 0 0 0 208204 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 92184

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 4197
/proc/meminfo: memFree=31554088/32770624 swapFree=0/363608
[pid=3866] ppid=3863 vsize=92184 CPUtime=2142.09 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 97813 0 0 0 214203 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484377 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 92184

[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 4199
/proc/meminfo: memFree=31554104/32770624 swapFree=0/363636
[pid=3866] ppid=3863 vsize=92184 CPUtime=2202.09 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 98587 0 0 0 220203 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5754000 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 92184

[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 4201
/proc/meminfo: memFree=31553980/32770624 swapFree=0/363668
[pid=3866] ppid=3863 vsize=92184 CPUtime=2262.08 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 99323 0 0 0 226202 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484631 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 92184

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 4203
/proc/meminfo: memFree=31554104/32770624 swapFree=0/363696
[pid=3866] ppid=3863 vsize=92184 CPUtime=2322.08 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 100113 0 0 0 232202 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484555 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 92184

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 4205
/proc/meminfo: memFree=31553980/32770624 swapFree=0/363724
[pid=3866] ppid=3863 vsize=92184 CPUtime=2382.08 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 100900 0 0 0 238202 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 5754048 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 92184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.15 2.06 2.06 3/185 4221
/proc/meminfo: memFree=31550112/32770624 swapFree=0/363752
[pid=3866] ppid=3863 vsize=92184 CPUtime=2400.08 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 101633 0 0 0 240002 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484776 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 92184

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

[startup+2400.31 s]
/proc/loadavg: 2.15 2.06 2.06 3/185 4221
/proc/meminfo: memFree=31550112/32770624 swapFree=0/363752
[pid=3866] ppid=3863 vsize=92184 CPUtime=2400.08 cores=1,3,5,7
/proc/3866/stat : 3866 (MistralXCSP) R 3863 3866 20633 0 -1 4202496 101633 0 0 0 240002 6 0 0 20 0 1 0 11019036 94396416 16829 18446744073709551615 4194304 7402444 140732638968384 140732638962920 4484776 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 27832320 140732638974388 140732638974537 140732638974537 140732638977993 0
/proc/3866/statm: 23046 16829 777 784 0 16060 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 92184

Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.03
CPU system time (s): 0.062997
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 92184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.062997
maximum resident set size= 67340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101673
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= 37
involuntary context switches= 676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.78446 second user time and 8.24794 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-07 08:30:09
IDJOB=4241321
IDBENCH=140521
IDSOLVER=2622
FILE ID=node127/4241321-1502088253
RUNJOBID= node127-1502041295-28343
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-wbo-10-30-1.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241321-1502088253/watcher-4241321-1502088253 -o /tmp/evaluation-result-4241321-1502088253/solver-4241321-1502088253 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 280802282 HOME/instance-4241321-1502088253.xml

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

MD5SUM BENCH= cf5c2add0e1079255d589b4f638ee707
RANDOM SEED=280802282

node127.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.92
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.92
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.92
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.92
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:        31627372 kB
MemAvailable:   31958324 kB
Buffers:          140404 kB
Cached:           479140 kB
SwapCached:            0 kB
Active:           355160 kB
Inactive:         378932 kB
Active(anon):     115268 kB
Inactive(anon):    16724 kB
Active(file):     239892 kB
Inactive(file):   362208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6360 kB
Writeback:             4 kB
AnonPages:        115116 kB
Mapped:            33936 kB
Shmem:             17060 kB
Slab:             113756 kB
SReclaimable:      89376 kB
SUnreclaim:        24380 kB
KernelStack:        3264 kB
PageTables:         5388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     369148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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 node127 at 2017-08-07 09:10:09