Trace number 4294600

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 631.173 631.279

General information on the benchmark

NameDubois/
Dubois-023_c18.xml
MD5SUMd9fd0a93a95458fcc98ae1d4ddac20a1
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.008084
Satisfiable
(Un)Satisfiability was proved
Number of variables69
Number of constraints46
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":69}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":69}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":46}]
Number of extensional constraints46
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":46}]
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-4294600-1532480604.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: 69
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 46
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 46
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 46  (nb tuples: 4..4) -- (shared: 41)
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            1294           5386           5161           0              0              24   66   48   
0.00/0.01	c 211            1917           7673           7297           0              0              27   68   45   
0.00/0.01	c 332            2839           10955          10459          0              0              39   66   55   
0.00/0.01	c 465            3658           13920          13269          0              0              49   65   60   
0.00/0.01	c 611            4805           17849          17032          0              0              43   67   59   
0.00/0.01	c 771            5932           21817          20804          0              0              36   65   51   
0.00/0.01	c 947            7293           26457          25251          0              0              19   67   56   
0.00/0.02	c 1140           8623           31057          29703          0              0              27   64   47   
0.00/0.02	c 1352           10043          36050          34512          0              0              47   63   60   
0.00/0.02	c 1585           11670          41719          39931          0              0              23   64   52   
0.00/0.02	c 1841           13422          47928          45952          0              0              14   63   54   
0.00/0.03	c 2122           15402          54798          52595          0              0              37   58   51   
0.00/0.03	c 2431           18108          64253          61857          0              0              37   65   58   
0.00/0.03	c 2770           21434          75849          73249          0              0              22   62   53   
0.00/0.04	c 3142           24437          86128          83267          0              0              30   65   56   
0.00/0.04	c 3551           27409          96529          93381          0              0              23   63   52   
0.00/0.05	c 4000           30792          108428         104867         0              0              32   57   51   
0.00/0.05	c 4493           34789          122222         118312         0              0              30   64   57   
0.00/0.06	c 5035           38813          136288         132079         0              0              17   65   50   
0.00/0.06	c 5631           42863          150577         146047         0              0              21   62   42   
0.00/0.07	c 6286           48202          169130         164340         0              0              11   48   37   
0.00/0.08	c 7006           53239          186825         181416         0              0              28   64   58   
0.00/0.09	c 7798           60195          211297         205169         0              0              23   63   55   
0.00/0.10	c 8669           67027          234776         228236         0              0              24   63   54   
0.10/0.11	c 9627           74335          260704         253384         0              0              18   62   55   
0.10/0.12	c 10680          83829          294977         286676         0              0              24   62   54   
0.10/0.14	c 11838          91323          321008         312289         0              0              22   60   51   
0.10/0.15	c 13111          100236         352883         343607         0              0              27   62   51   
0.10/0.16	c 14511          111299         392717         382531         0              0              27   60   55   
0.10/0.18	c 16051          124118         437151         425989         0              0              16   62   51   
0.10/0.20	c 17745          137348         483534         471379         0              0              30   62   55   
0.21/0.22	c 19608          151668         532768         520009         0              0              21   62   52   
0.21/0.25	c 21657          171489         602539         588269         0              0              23   60   55   
0.21/0.27	c 23910          186616         654968         640100         0              0              15   62   49   
0.21/0.30	c 26388          208228         730143         714499         0              0              20   62   51   
0.31/0.34	c 29113          230329         808611         791960         0              0              20   62   52   
0.31/0.37	c 32110          255573         896555         878393         0              0              24   62   55   
0.31/0.41	c 35406          280517         983057         963767         0              0              14   62   49   
0.41/0.45	c 39031          310846         1090930        1069793        0              0              20   62   51   
0.41/0.51	c 43018          345921         1213166        1188724        0              0              17   62   53   
0.51/0.56	c 47403          381128         1337005        1310812        0              0              20   62   52   
0.60/0.62	c 52226          425757         1492749        1461893        0              0              18   62   53   
0.60/0.68	c 57531          468785         1645249        1612376        0              0              15   62   49   
0.69/0.75	c 63366          515190         1808217        1771445        0              0              12   62   54   
0.79/0.83	c 69784          566998         1988429        1948786        0              0              19   62   53   
0.89/0.92	c 76843          627840         2199685        2156673        0              0              16   62   53   
0.89/1.00	c 84607          688531         2408714        2363632        0              0              14   62   52   
1.00/1.10	c 93147          756137         2645061        2597317        0              0              12   62   50   
1.19/1.25	c 102541         854640         2993510        2936894        0              0              16   62   54   
1.29/1.38	c 112874         951001         3330330        3263695        0              0              18   62   52   
1.49/1.53	c 124240         1053479        3692505        3618788        0              0              14   62   53   
1.59/1.69	c 136742         1162036        4071184        3990231        0              0              14   62   54   
1.79/1.85	c 150494         1267734        4439035        4351683        0              0              11   62   49   
2.00/2.05	c 165621         1405910        4912138        4818161        0              0              15   62   53   
2.19/2.26	c 182260         1552399        5424175        5320578        0              0              15   62   54   
2.39/2.49	c 200562         1711795        5981302        5864427        0              0              11   62   52   
2.69/2.74	c 220694         1886426        6589023        6461671        0              0              18   62   54   
3.00/3.04	c 242839         2087338        7289709        7151584        0              0              17   62   53   
3.29/3.37	c 267198         2318839        8088395        7941891        0              0              15   62   52   
3.69/3.72	c 293992         2556063        8905280        8746552        0              0              15   62   52   
4.00/4.10	c 323465         2816313        9844963        9659818        0              0              14   62   53   
4.39/4.49	c 355885         3084645        10782325       10583375       0              0              13   62   51   
4.89/4.90	c 391547         3360668        11740989       11527716       0              0              11   62   47   
5.29/5.39	c 430775         3698910        12930746       12699668       0              0              10   62   53   
5.79/5.86	c 473925         4020355        14066200       13802528       0              0              10   62   49   
6.49/6.50	c 521390         4450947        15600574       15305080       0              0              11   62   53   
7.10/7.14	c 573601         4891572        17145545       16828670       0              0              10   62   51   
7.79/7.88	c 631033         5395308        18930486       18578581       0              0              12   62   51   
8.59/8.65	c 694208         5916669        20771030       20382287       0              0              12   62   52   
9.49/9.50	c 763700         6496735        22802447       22385403       0              0              12   62   49   
10.49/10.50	c 840141         7176208        25215120       24735914       0              0              9   62   53    
11.49/11.55	c 924226         7895348        27750509       27244338       0              0              13   62   52   
12.59/12.62	c 1016719        8623507        30290938       29747706       0              0              10   62   50   
14.00/14.02	c 1118461        9591739        33678979       33062203       0              0              14   62   54   
15.49/15.55	c 1230377        10651417       37384271       36648222       0              0              12   62   55   
17.10/17.11	c 1353484        11710209       41132583       40336235       0              0              10   62   52   
18.79/18.80	c 1488901        12857795       45208713       44350113       0              0              10   62   51   
20.49/20.56	c 1637859        14056706       49432390       48505844       0              0              8   62   51    
22.39/22.47	c 1801712        15362889       53998867       52994046       0              0              8   62   50    
24.59/24.67	c 1981950        16871668       59277036       58173128       0              0              7   62   52    
26.69/26.72	c 2180211        18271734       64224590       63050351       0              0              13   62   48   
29.39/29.40	c 2398298        20085225       70696342       69426871       0              0              9   62   51    
32.10/32.11	c 2638193        21920069       77187870       75844974       0              0              10   62   50   
34.69/34.79	c 2902077        23742933       83589459       82218501       0              0              10   62   48   
38.59/38.62	c 3192349        26373279       92759044       91247328       0              0              12   62   52   
42.59/42.68	c 3511648        29144774       102505629      100802620      0              0              9   62   51    
47.28/47.33	c 3862876        32333043       113522174      111637862      0              0              9   62   51    
51.78/51.81	c 4249226        35377572       124215158      122199646      0              0              11   62   50   
57.38/57.48	c 4674211        39279846       137748289      135520591      0              0              11   62   53   
63.28/63.33	c 5141694        43226307       151968277      149335970      0              0              6   62   51    
69.18/69.25	c 5655925        47242063       166164663      163386507      0              0              8   62   50    
75.78/75.84	c 6221579        51721044       181866158      178826135      0              0              6   62   50    
83.88/83.95	c 6843798        57337181       201429472      197836966      0              0              7   62   53    
91.48/91.53	c 7528238        62466859       219721775      215885108      0              0              8   62   51    
99.58/99.65	c 8281122        67999617       238996308      235089650      0              0              8   62   49    
108.87/108.96	c 9109294        74345989       261359860      257202909      0              0              7   62   50    
120.67/120.77	c 10020283       82410609       289796817      285106361      0              0              6   62   53    
131.87/131.94	c 11022370       90020555       316463440      311561337      0              0              9   62   50    
144.27/144.38	c 12124665       98367244       346629399      341337209      0              0              8   62   51    
158.87/158.95	c 13337189       108282254      381353818      375732570      0              0              7   62   51    
176.16/176.21	c 14670965       120086845      422466915      416383465      0              0              6   62   51    
191.36/191.46	c 16138118       130408001      458843578      452240642      0              0              8   62   47    
212.76/212.88	c 17751986       145078268      510016287      502303955      0              0              8   62   51    
231.55/231.68	c 19527240       157761547      555106077      546701364      0              0              8   62   48    
253.85/253.97	c 21480019       172928658      608233125      598688322      0              0              6   61   48    
281.25/281.31	c 23628075       191519067      674372197      662772609      0              0              6   62   51    
310.05/310.14	c 25990936       211075747      743868400      731068768      0              0              9   62   51    
338.54/338.63	c 28590083       230116760      812558831      798560107      0              0              6   62   48    
370.04/370.11	c 31449144       251230324      889804332      873364345      0              0              8   62   50    
405.73/405.83	c 34594111       275636172      977940681      958181188      0              0              8   62   51    
442.72/442.84	c 38053574       300711300      1067392264     1045937428     0              0              8   62   50    
478.61/478.76	c 41858983       325049339      1153875064     1131144079     0              0              8   62   48    
525.10/525.30	c 46044932       356449893      1266579464     1241848754     0              0              5   62   50    
575.80/575.98	c 50649475       390936048      1386850337     1361093136     1              0              4   62   49    
631.09/631.27	c restarts              : 114         
631.09/631.27	c conflicts             : 55551530     (88013 /sec)
631.09/631.27	c decisions             : 428210774    (678439 /sec)
631.09/631.27	c propagations          : 1491630567  (2363275 /sec)
631.09/631.27	c root propagations     : 0           
631.09/631.27	c filter calls          : 1519421279     (2407305 /sec)
631.09/631.27	c useless filter calls  : 857121180      (56 %)
631.09/631.27	c Memory used           : 26.66 MB
631.09/631.27	c CPU time              : 631.171 s
631.09/631.27	
631.09/631.27	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 (4868 MiB free)
  memory of node 1: 16384 MiB (10842 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 0,2,4,6

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=23699, runsolver pid=23696
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 2.00 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16086980/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3668 CPUtime=0.1 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1107 0 0 0 10 0 0 0 20 0 1 0 65623675 27947008 917 33554432000 4194304 6142532 140722806722432 140722806719064 5326325 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 917 806 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+0.209517 s]*
/proc/loadavg: 2.00 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16086980/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3668 CPUtime=0.21 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1107 0 0 0 21 0 0 0 20 0 1 0 65623675 27947008 917 33554432000 4194304 6142532 140722806722432 140722806719064 5013907 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 917 806 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+0.308954 s]*
/proc/loadavg: 2.00 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16086980/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3668 CPUtime=0.31 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1107 0 0 0 31 0 0 0 20 0 1 0 65623675 27947008 917 33554432000 4194304 6142532 140722806722432 140722806719064 5013840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 917 806 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+0.700274 s]
/proc/loadavg: 2.00 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16086980/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3668 CPUtime=0.69 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1107 0 0 0 69 0 0 0 20 0 1 0 65623675 27947008 917 33554432000 4194304 6142532 140722806722432 140722806719064 5318922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 917 806 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16086976/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3668 CPUtime=1.49 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1107 0 0 0 149 0 0 0 20 0 1 0 65623675 27947008 917 33554432000 4194304 6142532 140722806722432 140722806719832 5345599 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 917 806 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3668 KiB

[startup+3.10901 s]
/proc/loadavg: 2.00 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16086960/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=3.1 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1167 0 0 0 310 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5347481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+6.30026 s]
/proc/loadavg: 2.08 2.10 2.07 3/189 23700
/proc/meminfo: memFree=16086960/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=6.29 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1227 0 0 0 629 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5013856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.09 2.07 3/189 23700
/proc/meminfo: memFree=16087084/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=12.69 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1287 0 0 0 1269 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5013936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+25.5003 s]
/proc/loadavg: 2.06 2.09 2.07 3/189 23700
/proc/meminfo: memFree=16087180/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=25.49 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1407 0 0 0 2549 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5341754 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+51.109 s]
/proc/loadavg: 2.04 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16087304/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=51.09 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1467 0 0 0 5109 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/188 23701
/proc/meminfo: memFree=16087212/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=102.28 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1529 0 0 0 10228 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5329977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 23702
/proc/meminfo: memFree=16086592/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=162.27 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1590 0 0 0 16227 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5347465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 23703
/proc/meminfo: memFree=16085988/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=222.26 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1651 0 0 0 22226 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5017733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 23704
/proc/meminfo: memFree=16086180/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=282.25 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1712 0 0 0 28225 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5319106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23705
/proc/meminfo: memFree=16086128/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=342.24 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1773 0 0 0 34224 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5013936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23711
/proc/meminfo: memFree=16084408/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=402.23 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1834 0 0 0 40223 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5018242 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23712
/proc/meminfo: memFree=16084780/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=462.22 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1895 0 0 0 46222 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23713
/proc/meminfo: memFree=16084284/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=522.21 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 1956 0 0 0 52221 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5017872 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 522.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23714
/proc/meminfo: memFree=16084400/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=582.2 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2017 0 0 0 58220 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5319106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 582.2 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+631.279 s]
# the end of solver process 23699 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=631.171 s, system=0.001637 s

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

[startup+588.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23714
/proc/meminfo: memFree=16084400/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=588.69 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2017 0 0 0 58869 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5018245 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 588.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+614.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=614.29 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 61429 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5335920 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 614.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+620.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=620.69 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 62069 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 4990607 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 620.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+627.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=627.09 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 62709 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5013856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 627.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+628.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=628.69 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 62869 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5335745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 628.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+630.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=630.29 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 63029 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5337654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 630.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+630.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=630.69 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 63069 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5319040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 630.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

[startup+631.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23715
/proc/meminfo: memFree=16084492/32770624 swapFree=67108860/67108860
[pid=23699] ppid=23696 vsize=27292 memory=3804 CPUtime=631.09 cores=0,2,4,6
/proc/23699/stat : 23699 (cosoco) R 23696 23699 22565 0 -1 4202496 2065 0 0 0 63109 0 0 0 20 0 1 0 65623675 27947008 951 33554432000 4194304 6142532 140722806722432 140722806719832 5350752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 36663296 140722806723718 140722806723848 140722806723848 140722806726606 0
/proc/23699/statm: 6823 951 830 476 0 145 0
Current children cumulated CPU time: 631.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3804 KiB

Child status: 0
Real time (s): 631.279
CPU time (s): 631.173
CPU user time (s): 631.171
CPU system time (s): 0.001637
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 631.171
system time used= 0.001637
maximum resident set size= 3872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2114
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= 15
involuntary context switches= 481


# summary of solver processes directly reported to runsolver:
#   pid: 23699
#   total CPU time (s): 631.173
#   total CPU user time (s): 631.171
#   total CPU system time (s): 0.001637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23126 second user time and 4.06197 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 03:03:24
IDJOB=4294600
IDBENCH=141401
IDSOLVER=2752
FILE ID=node150/4294600-1532480604
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= d9fd0a93a95458fcc98ae1d4ddac20a1
RANDOM SEED=1291715702

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:        16087724 kB
MemAvailable:   31939564 kB
Buffers:          236684 kB
Cached:         15699712 kB
SwapCached:            0 kB
Active:          1576108 kB
Inactive:       14414656 kB
Active(anon):      12684 kB
Inactive(anon):    61424 kB
Active(file):    1563424 kB
Inactive(file): 14353232 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2636 kB
Writeback:             0 kB
AnonPages:         61896 kB
Mapped:            40872 kB
Shmem:             17064 kB
Slab:             390644 kB
SReclaimable:     363644 kB
SUnreclaim:        27000 kB
KernelStack:        3328 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     346156 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:13:55