Trace number 4294699

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 NameAnswerCPU timeWall clock time
cosoco 1.12UNSAT 3.64338 3.64454

General information on the benchmark

NameHaystacks/
Haystacks-ext-05_c18.xml
MD5SUMbdee8744e8abf74466ff50bd2efe3217
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.007679
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints54
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree4
Maximum variable degree5
Distribution of variable degrees[{"degree":4,"count":17},{"degree":5,"count":8}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":54}]
Number of extensional constraints54
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":54}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294699-1532483794.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 25
0.00/0.00	c |            Domain Sizes: 5..5
0.00/0.00	c |
0.00/0.00	c |             Constraints: 54
0.00/0.00	c |                   Arity: 2..2  -- Binary: 54
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 54  (nb tuples: 5..7) -- (shared: 50)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 101            336            3776           1958           0              0              10   23   17   
0.00/0.00	c 211            705            8016           4190           0              0              11   23   14   
0.00/0.00	c 332            1054           12636          6687           0              0              10   14   12   
0.00/0.00	c 465            1518           17771          9343           0              0              10   16   14   
0.00/0.00	c 611            1971           23782          12528          0              0              7   12   10    
0.00/0.00	c 771            2550           29982          15693          0              0              11   17   15   
0.00/0.00	c 947            3143           36730          19250          0              0              11   15   14   
0.00/0.00	c 1140           3797           44144          23113          0              0              11   17   14   
0.00/0.01	c 1352           4530           52314          27430          0              0              10   15   13   
0.00/0.01	c 1585           5341           61295          32079          0              0              10   16   13   
0.00/0.01	c 1841           6204           71105          37200          0              0              10   15   14   
0.00/0.01	c 2122           7128           83245          43581          0              0              8   14   12    
0.00/0.01	c 2431           8164           95603          50143          0              0              9   14   12    
0.00/0.01	c 2770           9334           109549         57485          0              0              10   15   13   
0.00/0.01	c 3142           10664          123789         64938          0              0              9   14   13    
0.00/0.01	c 3551           12086          140304         73503          0              0              9   15   13    
0.00/0.01	c 4000           13592          158193         82944          0              0              8   14   12    
0.00/0.02	c 4493           15204          177855         93327          0              0              10   14   12   
0.00/0.02	c 5035           17093          198912         104363         0              0              8   14   13    
0.00/0.02	c 5631           19056          222899         116990         0              0              10   14   12   
0.00/0.02	c 6286           21295          249155         130783         0              0              8   14   13    
0.00/0.03	c 7006           23772          278154         145821         0              0              8   14   13    
0.00/0.03	c 7798           26516          310411         162774         0              0              8   14   13    
0.00/0.03	c 8669           29448          345732         181222         0              0              7   14   12    
0.00/0.03	c 9627           32718          383018         200852         0              0              7   14   13    
0.00/0.04	c 10680          36421          427096         223664         0              0              7   14   12    
0.00/0.04	c 11838          40406          475018         248801         0              0              8   14   13    
0.00/0.05	c 13111          44757          528082         276656         0              0              7   14   12    
0.00/0.05	c 14511          49715          584251         306235         0              0              9   14   13    
0.00/0.06	c 16051          54933          647521         339519         0              0              7   14   12    
0.00/0.06	c 17745          60844          716668         375746         0              0              7   14   13    
0.00/0.07	c 19608          67354          794481         416481         0              0              7   14   12    
0.00/0.08	c 21657          74551          877530         459812         0              0              7   14   12    
0.00/0.09	c 23910          82435          969258         508027         0              0              6   14   13    
0.00/0.10	c 26388          90917          1070633        560991         0              0              6   14   12    
0.10/0.11	c 29113          100308         1183375        620516         0              0              6   14   12    
0.10/0.12	c 32110          110843         1308257        686209         0              0              6   14   12    
0.10/0.13	c 35406          122595         1441714        756476         0              0              6   14   13    
0.10/0.14	c 39031          135512         1587448        833173         0              0              6   14   13    
0.10/0.16	c 43018          149637         1750708        918264         0              0              6   14   13    
0.10/0.17	c 47403          164514         1929802        1013828        0              0              6   14   13    
0.10/0.19	c 52226          182016         2125493        1116236        0              0              6   14   13    
0.10/0.21	c 57531          201278         2356458        1237897        0              0              6   14   12    
0.21/0.23	c 63366          222188         2591637        1361956        0              0              6   14   13    
0.21/0.26	c 69784          245271         2856566        1501252        0              0              6   14   13    
0.21/0.28	c 76843          270232         3165204        1663840        0              0              6   14   12    
0.31/0.31	c 84607          297856         3492400        1837062        0              0              6   14   13    
0.31/0.34	c 93147          328523         3851509        2025746        0              0              6   14   13    
0.31/0.38	c 102541         361797         4244107        2234267        0              0              5   14   12    
0.41/0.42	c 112874         398344         4688214        2467213        0              0              6   14   12    
0.41/0.46	c 124240         437727         5182810        2728829        0              0              6   14   12    
0.41/0.51	c 136742         482235         5718180        3011764        0              0              5   14   12    
0.51/0.56	c 150494         530863         6305161        3321049        0              0              6   14   12    
0.60/0.62	c 165621         584228         6968209        3669017        0              0              5   14   12    
0.60/0.68	c 182260         642666         7674410        4043871        0              0              4   14   12    
0.69/0.75	c 200562         707462         8455990        4456086        0              0              6   14   12    
0.79/0.83	c 220694         779371         9305361        4902191        0              0              4   14   13    
0.89/0.92	c 242839         856931         10286752       5419858        0              0              5   14   12    
1.00/1.01	c 267198         942214         11358729       5987339        0              0              6   14   12    
1.10/1.12	c 293992         1035513        12552208       6614163        0              0              5   14   12    
1.19/1.23	c 323465         1138674        13853229       7304181        0              0              4   14   12    
1.29/1.36	c 355885         1251700        15292254       8062175        0              0              5   14   12    
1.39/1.50	c 391547         1376821        16840456       8882618        0              0              4   14   12    
1.59/1.65	c 430775         1514683        18571225       9792913        0              0              5   14   12    
1.79/1.82	c 473925         1667476        20469799       10793477       0              0              4   14   12    
1.89/2.00	c 521390         1834961        22493308       11869128       0              0              4   14   12    
2.19/2.20	c 573601         2018455        24791370       13081270       0              0              5   14   12    
2.39/2.43	c 631033         2214799        27339016       14429233       0              0              3   14   12    
2.59/2.67	c 694208         2435333        30095873       15890659       0              0              4   14   12    
2.89/2.94	c 763700         2678107        33133420       17491552       1              0              2   14   12    
3.19/3.25	c 840141         2933899        36647836       19347109       2              0              2   14   12    
3.59/3.60	c 924226         3209425        40660324       21456128       7              0              3   14   12    
3.59/3.64	c restarts              : 72          
3.59/3.64	c conflicts             : 934822       (256877 /sec)
3.59/3.64	c decisions             : 3243310      (891221 /sec)
3.59/3.64	c propagations          : 21706095    (5964561 /sec)
3.59/3.64	c root propagations     : 0           
3.59/3.64	c filter calls          : 41129634       (11301905 /sec)
3.59/3.64	c useless filter calls  : 28214318       (68 %)
3.59/3.64	c Memory used           : 26.53 MB
3.59/3.64	c CPU time              : 3.63913 s
3.59/3.64	
3.59/3.64	s UNSATISFIABLE

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4860 MiB free)
  memory of node 1: 16384 MiB (10849 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294699-1532483794/watcher-4294699-1532483794 -o /tmp/evaluation-result-4294699-1532483794/solver-4294699-1532483794 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294699-1532483794.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24071, runsolver pid=24068
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16086096/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=0.1 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1086 0 0 0 10 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 5335569 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+0.209108 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16086096/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=0.21 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1086 0 0 0 21 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 5336745 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+0.308647 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16086096/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=0.31 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1086 0 0 0 31 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 4995353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+0.700225 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16085740/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=0.69 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1086 0 0 0 69 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 4995385 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16085260/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=1.49 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1086 0 0 0 149 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 140167212067936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+3.10872 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16085260/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=3.1 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1121 0 0 0 310 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 4995661 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+3.6445 s]
# the end of solver process 24071 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.63938 s, system=0.003998 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20023 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16085260/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=3.19 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1121 0 0 0 319 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 4995461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

[startup+3.6002 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24072
/proc/meminfo: memFree=16085260/32770624 swapFree=67108860/67108860
[pid=24071] ppid=24068 vsize=27160 memory=3676 CPUtime=3.59 cores=1,3,5,7
/proc/24071/stat : 24071 (cosoco) R 24068 24071 22565 0 -1 4202496 1121 0 0 0 359 0 0 0 20 0 1 0 65942663 27811840 919 33554432000 4194304 6142532 140732121402672 140732121400072 4995297 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 12115968 140732121408646 140732121408776 140732121408776 140732121411534 0
/proc/24071/statm: 6790 919 823 476 0 112 0
Current children cumulated CPU time: 3.59 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3676 KiB

Child status: 0
Real time (s): 3.64454
CPU time (s): 3.64338
CPU user time (s): 3.63938
CPU system time (s): 0.003998
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 27160
Max. memory (cumulated for all children) (KiB): 3676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.63938
system time used= 0.003998
maximum resident set size= 3788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1159
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= 5


# summary of solver processes directly reported to runsolver:
#   pid: 24071
#   total CPU time (s): 3.64338
#   total CPU user time (s): 3.63938
#   total CPU system time (s): 0.003998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030349 second user time and 0.067203 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 03:56:34
IDJOB=4294699
IDBENCH=141412
IDSOLVER=2752
FILE ID=node150/4294699-1532483794
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-05_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294699-1532483794/watcher-4294699-1532483794 -o /tmp/evaluation-result-4294699-1532483794/solver-4294699-1532483794 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294699-1532483794.xml

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

MD5SUM BENCH= bdee8744e8abf74466ff50bd2efe3217
RANDOM SEED=1001313832

node150.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.76
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.76
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.76
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.76
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:        16086100 kB
MemAvailable:   31939864 kB
Buffers:          237432 kB
Cached:         15700708 kB
SwapCached:            0 kB
Active:          1576600 kB
Inactive:       14415256 kB
Active(anon):      11992 kB
Inactive(anon):    61412 kB
Active(file):    1564608 kB
Inactive(file): 14353844 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:         61568 kB
Mapped:            41256 kB
Shmem:             17032 kB
Slab:             391416 kB
SReclaimable:     363772 kB
SUnreclaim:        27644 kB
KernelStack:        3360 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53100 MiB
End job on node150 at 2018-07-25 03:56:38