Trace number 4242808

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)0 2400.1 2401.42

General information on the benchmark

NameBinPacking/BinPacking-mdd-sw120/
BinPacking-mdd-sw120-30.xml
MD5SUM1730b431530ce221acf4898e37ce65f9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size45
Distribution of domain sizes[{"size":23,"count":1},{"size":45,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c Mistral-2017-06-28
1841.47/1842.55	o 0
2400.08/2401.40	s SATISFIABLE
2400.08/2401.40	v <instantiation type="solution">
2400.08/2401.40	v   <list> x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] </list>
2400.08/2401.40	v   <values> 0 200 200 198 194 181 0 199 199 194 180 172 0 198 198 186 185 180 0 196 185 155 155 155 154 195 193 193 189 181 0 195 185 182 173 171 0 194 190 189 181 168 0 194 183 157 156 155 155 193 190 190 184 170 0 193 187 186 183 171 0 193 174 150 150 150 0 190 174 166 160 157 153 189 175 160 155 155 0 188 177 162 161 161 151 188 175 168 153 151 0 184 177 160 160 150 150 184 175 171 154 154 154 180 180 159 159 159 158 180 175 163 162 162 158 180 164 164 164 162 162 177 176 176 176 172 0 169 167 167 167 167 163 </values>
2400.08/2401.40	v </instantiation>

Verifier Data 

OK	0

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-4242808-1500662596/watcher-4242808-1500662596 -o /tmp/evaluation-result-4242808-1500662596/solver-4242808-1500662596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500648173-9862 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2029947784 HOME/instance-4242808-1500662596.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.02 2.04 2/242 11349
/proc/meminfo: memFree=31855224/32770624 swapFree=5936/192240
[pid=11349] ppid=11346 vsize=29068 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 1526316 29765632 868 33554432000 4194304 7402444 140729977451536 140729977448584 140066085670405 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 7267 868 631 784 0 281 0

[startup+0.100121 s]
/proc/loadavg: 1.98 2.02 2.04 2/242 11349
/proc/meminfo: memFree=31855224/32770624 swapFree=5936/192240
[pid=11349] ppid=11346 vsize=30204 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1593 0 0 0 9 0 0 0 20 0 1 0 1526316 30928896 1108 33554432000 4194304 7402444 140729977451536 140729977444776 140066085670405 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 7551 1108 633 784 0 565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30204

[startup+0.200315 s]
/proc/loadavg: 1.98 2.02 2.04 2/242 11349
/proc/meminfo: memFree=31855224/32770624 swapFree=5936/192240
[pid=11349] ppid=11346 vsize=38264 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 2887 0 0 0 19 0 0 0 20 0 1 0 1526316 39182336 2619 33554432000 4194304 7402444 140729977451536 140729977444776 140066085670405 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 9566 2619 633 784 0 2580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38264

[startup+0.300332 s]
/proc/loadavg: 1.98 2.02 2.04 2/242 11349
/proc/meminfo: memFree=31855224/32770624 swapFree=5936/192240
[pid=11349] ppid=11346 vsize=44052 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 4702 0 0 0 29 0 0 0 20 0 1 0 1526316 45109248 3810 33554432000 4194304 7402444 140729977451536 140729977441992 140066078886885 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 11013 3810 663 784 0 4027 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44052

[startup+0.700284 s]
/proc/loadavg: 1.98 2.02 2.04 2/242 11349
/proc/meminfo: memFree=31855224/32770624 swapFree=5936/192240
[pid=11349] ppid=11346 vsize=75328 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 12524 0 0 0 68 1 0 0 20 0 1 0 1526316 77135872 11598 33554432000 4194304 7402444 140729977451536 140729977441992 140066078886885 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 18832 11598 663 784 0 11846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75328

[startup+1.50033 s]
/proc/loadavg: 1.98 2.02 2.04 3/243 11350
/proc/meminfo: memFree=31056340/32770624 swapFree=5936/191896
[pid=11349] ppid=11346 vsize=149592 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 31089 0 0 0 145 4 0 0 20 0 1 0 1526316 153182208 30207 33554432000 4194304 7402444 140729977451536 140729977442296 4731639 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 37398 30207 684 784 0 30412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149592

[startup+3.10034 s]
/proc/loadavg: 1.98 2.02 2.04 3/243 11350
/proc/meminfo: memFree=30268372/32770624 swapFree=5936/191896
[pid=11349] ppid=11346 vsize=174392 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 57076 0 0 0 303 6 0 0 20 0 1 0 1526316 178577408 36939 33554432000 4194304 7402444 140729977451536 140729977446072 4680309 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 43598 36939 770 784 0 36612 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174392

[startup+6.30034 s]
/proc/loadavg: 1.99 2.02 2.04 3/243 11350
/proc/meminfo: memFree=28084584/32770624 swapFree=5936/191896
[pid=11349] ppid=11346 vsize=175052 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 81217 0 0 0 622 7 0 0 20 0 1 0 1526316 179253248 37164 33554432000 4194304 7402444 140729977451536 140729977446072 4299894 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 43763 37164 770 784 0 36777 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175052

[startup+12.7003 s]
/proc/loadavg: 1.99 2.02 2.04 3/243 11350
/proc/meminfo: memFree=25501792/32770624 swapFree=5936/192104
[pid=11349] ppid=11346 vsize=179288 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 106390 0 0 0 1260 8 0 0 20 0 1 0 1526316 183590912 38226 33554432000 4194304 7402444 140729977451536 140729977446072 5818328 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 44822 38226 770 784 0 37836 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 179288

[startup+25.5005 s]
/proc/loadavg: 1.99 2.02 2.04 3/243 11350
/proc/meminfo: memFree=25379884/32770624 swapFree=5936/192104
[pid=11349] ppid=11346 vsize=179552 CPUtime=25.47 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 156400 0 0 0 2536 11 0 0 20 0 1 0 1526316 183861248 38300 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 44888 38300 770 784 0 37902 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 179552

[startup+51.1004 s]
/proc/loadavg: 1.99 2.02 2.04 3/243 11350
/proc/meminfo: memFree=25276824/32770624 swapFree=5936/192124
[pid=11349] ppid=11346 vsize=181268 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 182330 0 0 0 5093 13 0 0 20 0 1 0 1526316 185618432 38718 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 45317 38718 770 784 0 38331 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 181268

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11351
/proc/meminfo: memFree=25257180/32770624 swapFree=5936/192160
[pid=11349] ppid=11346 vsize=183512 CPUtime=102.24 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 208770 0 0 0 10210 14 0 0 20 0 1 0 1526316 187916288 39251 33554432000 4194304 7402444 140729977451536 140729977446072 4484776 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 45878 39251 770 784 0 38892 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 183512

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 11352
/proc/meminfo: memFree=25257268/32770624 swapFree=5936/192184
[pid=11349] ppid=11346 vsize=183908 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 234922 0 0 0 16205 15 0 0 20 0 1 0 1526316 188321792 39342 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 45977 39342 770 784 0 38991 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 183908

[startup+222.308 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 11353
/proc/meminfo: memFree=25256872/32770624 swapFree=5936/192216
[pid=11349] ppid=11346 vsize=184700 CPUtime=222.18 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 261272 0 0 0 22201 17 0 0 20 0 1 0 1526316 189132800 39546 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46175 39546 770 784 0 39189 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 184700

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11354
/proc/meminfo: memFree=25255400/32770624 swapFree=5936/192244
[pid=11349] ppid=11346 vsize=185228 CPUtime=282.13 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 287590 0 0 0 28196 17 0 0 20 0 1 0 1526316 189673472 39668 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46307 39668 770 784 0 39321 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 185228

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 11355
/proc/meminfo: memFree=25255064/32770624 swapFree=5936/192276
[pid=11349] ppid=11346 vsize=185360 CPUtime=342.1 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 313946 0 0 0 34191 19 0 0 20 0 1 0 1526316 189808640 39713 33554432000 4194304 7402444 140729977451536 140729977446072 4712952 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46340 39713 770 784 0 39354 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 185360

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11356
/proc/meminfo: memFree=25254564/32770624 swapFree=5936/192308
[pid=11349] ppid=11346 vsize=185492 CPUtime=402.07 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 340299 0 0 0 40186 21 0 0 20 0 1 0 1526316 189943808 39781 33554432000 4194304 7402444 140729977451536 140729977446072 5746100 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46373 39781 770 784 0 39387 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 185492

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 11366
/proc/meminfo: memFree=25253992/32770624 swapFree=5936/192328
[pid=11349] ppid=11346 vsize=185624 CPUtime=462.03 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 366696 0 0 0 46181 22 0 0 20 0 1 0 1526316 190078976 39822 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46406 39822 770 784 0 39420 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 185624

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 11367
/proc/meminfo: memFree=25254108/32770624 swapFree=5936/192356
[pid=11349] ppid=11346 vsize=185624 CPUtime=521.99 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 393084 0 0 0 52176 23 0 0 20 0 1 0 1526316 190078976 39822 33554432000 4194304 7402444 140729977451536 140729977446072 5750725 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46406 39822 770 784 0 39420 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 185624

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 11368
/proc/meminfo: memFree=25253660/32770624 swapFree=5936/192388
[pid=11349] ppid=11346 vsize=186020 CPUtime=581.97 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 419568 0 0 0 58172 25 0 0 20 0 1 0 1526316 190484480 39901 33554432000 4194304 7402444 140729977451536 140729977446072 5877690 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46505 39901 770 784 0 39519 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 186020


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11414
/proc/meminfo: memFree=25253176/32770624 swapFree=5936/192820
[pid=11349] ppid=11346 vsize=186548 CPUtime=1481.46 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 809980 0 0 0 148104 42 0 0 20 0 1 0 1526316 191025152 40038 33554432000 4194304 7402444 140729977451536 140729977446072 4248926 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46637 40038 770 784 0 39651 0
Current children cumulated CPU time (s) 1481.46
Current children cumulated vsize (KiB) 186548

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11415
/proc/meminfo: memFree=25253264/32770624 swapFree=5936/192844
[pid=11349] ppid=11346 vsize=186548 CPUtime=1541.44 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 836598 0 0 0 154101 43 0 0 20 0 1 0 1526316 191025152 40039 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46637 40039 770 784 0 39651 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 186548

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11416
/proc/meminfo: memFree=25252572/32770624 swapFree=5936/192876
[pid=11349] ppid=11346 vsize=187208 CPUtime=1601.4 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 863532 0 0 0 160096 44 0 0 20 0 1 0 1526316 191700992 40208 33554432000 4194304 7402444 140729977451536 140729977446072 5750455 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46802 40208 770 784 0 39816 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 187208

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11424
/proc/meminfo: memFree=25251932/32770624 swapFree=5936/192912
[pid=11349] ppid=11346 vsize=187208 CPUtime=1661.36 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 890333 0 0 0 166091 45 0 0 20 0 1 0 1526316 191700992 40208 33554432000 4194304 7402444 140729977451536 140729977446072 5754032 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46802 40208 770 784 0 39816 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 187208

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11425
/proc/meminfo: memFree=25252108/32770624 swapFree=5936/192936
[pid=11349] ppid=11346 vsize=187208 CPUtime=1721.32 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 917110 0 0 0 172086 46 0 0 20 0 1 0 1526316 191700992 40213 33554432000 4194304 7402444 140729977451536 140729977446072 4484555 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46802 40213 770 784 0 39816 0
Current children cumulated CPU time (s) 1721.32
Current children cumulated vsize (KiB) 187208

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11426
/proc/meminfo: memFree=25251656/32770624 swapFree=5936/192964
[pid=11349] ppid=11346 vsize=187208 CPUtime=1781.29 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 943891 0 0 0 178082 47 0 0 20 0 1 0 1526316 191700992 40217 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46802 40217 770 784 0 39816 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 187208

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11427
/proc/meminfo: memFree=25252296/32770624 swapFree=5936/192988
[pid=11349] ppid=11346 vsize=187208 CPUtime=1841.26 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 970682 0 0 0 184077 49 0 0 20 0 1 0 1526316 191700992 40218 33554432000 4194304 7402444 140729977451536 140729977446072 5753888 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46802 40218 770 784 0 39816 0
Current children cumulated CPU time (s) 1841.26
Current children cumulated vsize (KiB) 187208

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11428
/proc/meminfo: memFree=25252120/32770624 swapFree=5936/193016
[pid=11349] ppid=11346 vsize=187384 CPUtime=1901.23 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 997509 0 0 0 190073 50 0 0 20 0 1 0 1526316 191881216 40221 33554432000 4194304 7402444 140729977451536 140729977446168 5746100 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46846 40221 772 784 0 39860 0
Current children cumulated CPU time (s) 1901.23
Current children cumulated vsize (KiB) 187384

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11429
/proc/meminfo: memFree=25251844/32770624 swapFree=5936/193044
[pid=11349] ppid=11346 vsize=187384 CPUtime=1961.2 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1023395 0 0 0 196069 51 0 0 20 0 1 0 1526316 191881216 40234 33554432000 4194304 7402444 140729977451536 140729977446168 4708119 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46846 40234 772 784 0 39860 0
Current children cumulated CPU time (s) 1961.2
Current children cumulated vsize (KiB) 187384

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11430
/proc/meminfo: memFree=25252240/32770624 swapFree=5936/193072
[pid=11349] ppid=11346 vsize=187384 CPUtime=2021.17 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1049268 0 0 0 202065 52 0 0 20 0 1 0 1526316 191881216 40235 33554432000 4194304 7402444 140729977451536 140729977446168 5750500 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46846 40235 772 784 0 39860 0
Current children cumulated CPU time (s) 2021.17
Current children cumulated vsize (KiB) 187384

[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11431
/proc/meminfo: memFree=25252192/32770624 swapFree=5936/193096
[pid=11349] ppid=11346 vsize=187516 CPUtime=2081.14 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1075191 0 0 0 208062 52 0 0 20 0 1 0 1526316 192016384 40237 33554432000 4194304 7402444 140729977451536 140729977446072 5696137 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46879 40237 772 784 0 39893 0
Current children cumulated CPU time (s) 2081.14
Current children cumulated vsize (KiB) 187516

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11432
/proc/meminfo: memFree=25251988/32770624 swapFree=5936/193124
[pid=11349] ppid=11346 vsize=187648 CPUtime=2141.11 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1100983 0 0 0 214057 54 0 0 20 0 1 0 1526316 192151552 40298 33554432000 4194304 7402444 140729977451536 140729977446072 5818000 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46912 40298 772 784 0 39926 0
Current children cumulated CPU time (s) 2141.11
Current children cumulated vsize (KiB) 187648

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11433
/proc/meminfo: memFree=25251364/32770624 swapFree=5936/193152
[pid=11349] ppid=11346 vsize=187648 CPUtime=2201.09 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1127066 0 0 0 220054 55 0 0 20 0 1 0 1526316 192151552 40302 33554432000 4194304 7402444 140729977451536 140729977446072 4484555 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46912 40302 772 784 0 39926 0
Current children cumulated CPU time (s) 2201.09
Current children cumulated vsize (KiB) 187648

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11441
/proc/meminfo: memFree=25251560/32770624 swapFree=5936/193196
[pid=11349] ppid=11346 vsize=187648 CPUtime=2261.05 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1153005 0 0 0 226049 56 0 0 20 0 1 0 1526316 192151552 40302 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46912 40302 772 784 0 39926 0
Current children cumulated CPU time (s) 2261.05
Current children cumulated vsize (KiB) 187648

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11442
/proc/meminfo: memFree=25251928/32770624 swapFree=5936/193216
[pid=11349] ppid=11346 vsize=187648 CPUtime=2321.01 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1178934 0 0 0 232044 57 0 0 20 0 1 0 1526316 192151552 40303 33554432000 4194304 7402444 140729977451536 140729977446072 4484776 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46912 40303 772 784 0 39926 0
Current children cumulated CPU time (s) 2321.01
Current children cumulated vsize (KiB) 187648

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11443
/proc/meminfo: memFree=25251112/32770624 swapFree=5936/193244
[pid=11349] ppid=11346 vsize=187648 CPUtime=2380.98 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1204884 0 0 0 238039 59 0 0 20 0 1 0 1526316 192151552 40303 33554432000 4194304 7402444 140729977451536 140729977446072 4484555 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46912 40303 772 784 0 39926 0
Current children cumulated CPU time (s) 2380.98
Current children cumulated vsize (KiB) 187648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.41 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11509
/proc/meminfo: memFree=31865092/32770624 swapFree=5936/192924
[pid=11349] ppid=11346 vsize=187648 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/11349/stat : 11349 (MistralXCSP) R 11346 11349 9830 0 -1 4202496 1230702 0 0 0 239948 60 0 0 20 0 1 0 1526316 192151552 40303 33554432000 4194304 7402444 140729977451536 140729977446072 4484558 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35483648 140729977455784 140729977455934 140729977455934 140729977458633 0
/proc/11349/statm: 46912 40303 772 784 0 39926 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 187648

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

Child status: 0
Real time (s): 2401.42
CPU time (s): 2400.1
CPU user time (s): 2399.49
CPU system time (s): 0.615662
CPU usage (%): 99.9452
Max. virtual memory (cumulated for all children) (KiB): 187648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.49
system time used= 0.615662
maximum resident set size= 161216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1231028
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= 6
involuntary context switches= 120674

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.36487 second user time and 12.6151 second system time

The end

Launcher Data 

Begin job on node139 at 2017-07-21 20:43:16
IDJOB=4242808
IDBENCH=137104
IDSOLVER=2622
FILE ID=node139/4242808-1500662596
RUNJOBID= node139-1500648173-9862
PBS_JOBID= 20623281
Free space on /tmp= 61980 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-sw120/BinPacking-mdd-sw120-30.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-4242808-1500662596/watcher-4242808-1500662596 -o /tmp/evaluation-result-4242808-1500662596/solver-4242808-1500662596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500648173-9862 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2029947784 HOME/instance-4242808-1500662596.xml

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

MD5SUM BENCH= 1730b431530ce221acf4898e37ce65f9
RANDOM SEED=2029947784

node139.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	: 5334.08
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		: 1867.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		: 2000.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	: 5334.08
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	: 5334.08
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	: 5334.08
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		: 2133.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	: 5334.08
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		: 2000.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		: 2668.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	: 5334.08
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		: 2668.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		: 1600.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	: 5334.08
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		: 2133.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	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31872344 kB
MemAvailable:   31877032 kB
Buffers:           34160 kB
Cached:           280456 kB
SwapCached:            0 kB
Active:           323724 kB
Inactive:         200808 kB
Active(anon):     212740 kB
Inactive(anon):     8568 kB
Active(file):     110984 kB
Inactive(file):   192240 kB
Unevictable:        5936 kB
Mlocked:            5936 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             14084 kB
Writeback:             0 kB
AnonPages:        315712 kB
Mapped:            31284 kB
Shmem:              8852 kB
Slab:              66544 kB
SReclaimable:      34596 kB
SUnreclaim:        31948 kB
KernelStack:        4512 kB
PageTables:         5944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     483288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61976 MiB
End job on node139 at 2017-07-21 21:23:17