Trace number 4294537

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.12? (TO) 2519.91 2520.01

General information on the benchmark

NameMisteryShopper/
MisteryShopper-10b_c18.xml
MD5SUMb0a0fd8e7c9e530f6e7ba3bf5f78e329
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.755893
Satisfiable
(Un)Satisfiability was proved
Number of variables640
Number of constraints417
Number of domains3
Minimum domain size4
Maximum domain size40
Distribution of domain sizes[{"size":4,"count":160},{"size":5,"count":160},{"size":40,"count":320}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":320},{"degree":3,"count":160},{"degree":4,"count":140},{"degree":5,"count":20}]
Minimum constraint arity2
Maximum constraint arity160
Distribution of constraint arities[{"arity":2,"count":320},{"arity":4,"count":80},{"arity":5,"count":4},{"arity":40,"count":8},{"arity":80,"count":4},{"arity":160,"count":1}]
Number of extensional constraints320
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":320},{"type":"allDifferent","count":88},{"type":"ordered","count":4},{"type":"lex","count":1},{"type":"channel","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.00	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294537-1532473275.xml 
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.05	c root propagations     : 806         
0.00/0.05	c restarts enabled, print stats at every restarts
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.05 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 640
0.00/0.05	c |            Domain Sizes: 4..40
0.00/0.05	c |
0.00/0.05	c |             Constraints: 626
0.00/0.05	c |                   Arity: 2..80  -- Binary: 336
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          (X - Y < k): 16
0.00/0.05	c |                          All Different: 88
0.00/0.05	c |                          Element Constant: 160
0.00/0.05	c |                          Extension: 320  (nb tuples: 40..40) -- (shared: 0)
0.00/0.05	c |                          Lex: 42
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.06	c 101            405            18404          11164          143            0              195   269   242
0.00/0.07	c 211            589            37933          43284          143            0              14   46   29   
0.00/0.09	c 332            781            61870          82411          157            0              1   42   20    
0.10/0.11	c 465            989            87412          126831         171            0              1   39   32    
0.10/0.14	c 611            1536           141684         160480         185            0              1   220   120  
0.10/0.16	c 771            1819           178020         199606         185            0              8   57   48    
0.10/0.20	c 947            2301           233386         245237         185            0              1   50   47    
0.20/0.23	c 1140           2935           288021         281297         206            0              1   100   84   
0.20/0.28	c 1352           3487           380073         356974         206            0              1   195   145  
0.20/0.30	c 1585           4090           453616         390161         206            0              3   217   178  
0.30/0.36	c 1841           4747           538053         450440         206            0              1   72   58    
0.30/0.40	c 2122           5198           593670         524461         207            0              1   123   113  
0.40/0.43	c 2431           6048           655768         559871         233            0              1   236   158  
0.40/0.48	c 2770           7262           810127         631558         263            0              1   233   195  
0.50/0.52	c 3142           8146           907365         691609         264            0              1   164   149  
0.50/0.58	c 3551           9283           1026878        759542         264            0              15   183   175 
0.59/0.63	c 4000           10339          1127445        810813         264            0              11   236   200 
0.59/0.69	c 4493           12141          1257986        879683         265            0              1   218   179  
0.69/0.75	c 5035           14020          1394997        937689         265            0              12   240   216 
0.79/0.80	c 5631           16062          1519515        985307         266            0              1   254   217  
0.79/0.84	c 6286           17697          1626386        1035350        267            0              1   205   183  
0.89/0.90	c 7006           19164          1745597        1090972        267            0              10   200   185 
0.89/0.99	c 7798           21373          1959770        1215567        267            0              11   180   158 
0.99/1.06	c 8669           23457          2085498        1280807        268            0              1   171   158  
1.09/1.13	c 9627           25549          2271049        1399425        269            0              1   187   170  
1.19/1.28	c 10680          27948          2575788        1771304        269            0              11   291   185 
1.39/1.41	c 11838          30468          2951385        1972485        269            0              10   315   296 
1.49/1.50	c 13111          33191          3131766        2069178        269            0              10   172   141 
1.59/1.61	c 14511          35735          3388674        2319727        269            0              11   299   282 
1.59/1.65	c 16051          37647          3443678        2337649        269            0              11   175   155 
1.69/1.71	c 17745          40192          3572894        2373743        269            0              10   196   192 
1.79/1.85	c 19608          43736          3912443        2534162        269            0              11   105   97  
1.99/2.05	c 21657          49293          4378225        2798539        270            0              1   107   99   
2.29/2.37	c 23910          56970          5145332        3274452        270            0              11   120   111 
2.79/2.81	c 26388          60784          6076431        4002893        271            0              1   122   111  
2.99/3.06	c 29113          68297          6732634        4282162        271            0              10   252   239 
3.19/3.25	c 32110          73708          7159027        4682221        271            0              10   215   203 
3.39/3.46	c 35406          79182          7615615        5113196        271            0              11   195   183 
3.69/3.75	c 39031          87173          8278580        5352217        271            0              11   159   152 
4.19/4.29	c 43018          91548          9118200        7660561        271            0              11   49   45   
4.69/4.79	c 47403          96383          9906125        9302778        271            0              10   52   49   
5.19/5.22	c 52226          101732         10624396       10672626       273            0              1   58   56    
5.59/5.62	c 57531          113216         11530056       11263927       274            0              1   175   164  
6.29/6.35	c 63366          123995         13070244       12302568       275            0              1   149   139  
6.69/6.71	c 69784          135767         13949016       12693059       275            0              11   124   95  
7.89/7.97	c 76843          152402         16310650       14683323       275            0              10   59   52   
9.09/9.18	c 84607          174531         18822324       17320879       275            0              11   103   96  
9.69/9.74	c 93147          187740         20029244       18185179       275            0              11   106   83  
10.38/10.40	c 102541         217668         21399584       18677264       275            0              11   111   110 
11.18/11.27	c 112874         243894         23559345       19502060       275            0              1   123   105  
12.09/12.15	c 124240         278069         25724896       20160539       275            0              10   129   124 
13.68/13.76	c 136742         308839         28626603       21548333       275            0              15   62   49   
14.68/14.73	c 150494         350486         30993596       22578932       275            0              15   245   237 
15.48/15.52	c 165621         376298         32657963       23198743       275            0              14   139   109 
16.38/16.47	c 182260         402934         34662230       24429574       275            0              15   127   94  
18.09/18.12	c 200562         443575         38400834       26279486       275            0              15   119   111 
20.28/20.32	c 220694         489111         42394205       28222420       275            0              11   63   50   
21.68/21.79	c 242839         534240         46029712       29731334       275            0              1   126   114  
25.88/25.99	c 267198         571621         53174067       35592504       275            0              13   188   179 
27.99/28.09	c 293992         637872         58373867       37774770       276            0              1   136   129  
31.68/31.75	c 323465         703426         66516544       43703735       276            0              15   244   217 
34.38/34.47	c 355885         795357         72749741       46069893       277            0              1   138   122  
38.99/39.03	c 391547         874305         82018891       53965501       277            0              23   263   253 
42.09/42.12	c 430775         936903         86479142       58520232       278            0              1   60   47    
49.28/49.36	c 473925         1241176        102936133      64428621       278            0              17   156   129 
53.58/53.61	c 521390         1437930        115542106      67676393       279            0              1   299   273  
59.28/59.30	c 573601         1642089        128609459      73325525       279            0              19   166   156 
67.58/67.61	c 631033         1838938        148105256      82300933       279            0              15   142   136 
76.09/76.19	c 694208         2187250        168184399      87776487       279            0              12   136   128 
80.78/80.84	c 763700         2383224        180339365      93230392       280            0              1   262   242  
83.99/84.07	c 840141         2511270        188731791      95310834       280            0              10   247   237 
86.28/86.30	c 924226         2611343        192392071      96460921       280            0              9   210   111  
93.88/93.95	c 1016719        2769849        208250109      106690971      280            0              1   208   203  
99.58/99.64	c 1118461        2975276        219807291      112357264      281            0              1   200   173  
107.68/107.77	c 1230377        3160559        234117604      120518133      281            0              11   88   68   
142.78/142.87	c 1353484        3337278        304861259      183353963      281            0              11   127   120 
151.58/151.61	c 1488901        3656521        325279842      189860629      282            0              1   170   149  
166.88/166.90	c 1637859        3950407        362018019      215424679      282            0              14   127   121 
179.09/179.12	c 1801712        4265875        389809448      233263724      283            0              1   196   182  
197.68/197.70	c 1981950        5124931        435158500      248569706      283            0              12   141   137 
210.99/211.10	c 2180211        5460639        466883192      265054927      283            0              1   220   212  
230.98/231.06	c 2398298        6095039        505902188      293797542      283            0              17   238   190 
253.57/253.63	c 2638193        6541999        557579505      312325859      284            0              1   125   109  
282.57/282.60	c 2902077        7219914        626320078      336655886      285            0              1   129   100  
306.57/306.63	c 3192349        7584053        668186003      379619474      285            0              21   35   31   
329.17/329.27	c 3511648        8325431        716009094      398933471      286            0              1   255   53   
377.98/378.08	c 3862876        9253219        835914205      467385580      286            0              15   233   221 
402.77/402.83	c 4249226        9927481        895903302      505285173      286            0              12   178   168 
419.67/419.77	c 4674211        10524253       928287827      519672029      286            0              14   174   123 
433.47/433.54	c 5141694        11433565       951869303      527454808      286            0              14   184   183 
460.67/460.72	c 5655925        12325342       1002060166     579055100      286            0              15   228   221 
526.36/526.46	c 6221579        13374434       1144363067     674375978      286            0              16   127   113 
581.26/581.30	c 6843798        14691159       1280311069     737569167      287            0              1   119   111  
691.86/691.97	c 7528238        19180899       1527166981     829011261      287            0              19   132   126 
763.85/764.00	c 8281122        21245422       1694521079     898976955      288            0              1   137   128  
820.25/820.33	c 9109294        23018870       1790577079     958163300      288            0              23   54   40   
873.85/873.99	c 10020283       24551650       1891259531     997325593      288            0              1   69   64    
940.15/940.24	c 11022370       27503401       2044951053     1064626791     288            0              18   124   115 
1027.34/1027.42	c 12124665       29790515       2222711225     1162874127     288            0              12   223   207 
1139.14/1139.23	c 13337189       32013806       2437688463     1284060286     288            0              12   215   198 
1286.83/1286.99	c 14670965       35734811       2784460059     1462280328     289            0              1   121   114  
1371.04/1371.15	c 16138118       38883036       2994004932     1581199537     289            0              1   146   135  
1515.43/1515.55	c 17751986       42462444       3340903985     1744653192     289            0              17   191   169 
1615.42/1615.51	c 19527240       46129083       3564909456     1869280856     289            0              20   230   212 
1716.42/1716.55	c 21480019       49486410       3677839802     2030233859     289            0              27   115   71  
1944.61/1944.76	c 23628075       55555364       4154993883     2268556147     289            0              27   119   105 
2130.70/2130.80	c 25990936       63097391       4591780098     2478809131     289            0              21   134   123 
2338.29/2338.46	c 28590083       68514141       5042523163     2720615951     290            0              1   218   207  
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 108         
2519.90/2520.00	c conflicts             : 29888972     (11861 /sec)
2519.90/2520.00	c decisions             : 72156883     (28635 /sec)
2519.90/2520.00	c propagations          : 3046170735  (1208845 /sec)
2519.90/2520.00	c root propagations     : 806         
2519.90/2520.00	c filter calls          : 5522558475     (2191577 /sec)
2519.90/2520.00	c useless filter calls  : 4682987740     (84 %)
2519.90/2520.00	c Memory used           : 30.15 MB
2519.90/2520.00	c CPU time              : 2519.9 s
2519.90/2520.00	
2519.90/2520.00	s UNKNOWN

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 (4856 MiB free)
  memory of node 1: 16384 MiB (10846 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294537-1532473275/watcher-4294537-1532473275 -o /tmp/evaluation-result-4294537-1532473275/solver-4294537-1532473275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294537-1532473275.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=22992, runsolver pid=22989
Current StackSize limit: 8192 KiB


[startup+0.100835 s]*
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16076756/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30328 memory=6840 CPUtime=0.1 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 1900 0 0 0 10 0 0 0 20 0 1 0 64890727 31055872 1710 33554432000 4194304 6142532 140731547888032 140731547885432 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7582 1710 854 476 0 904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30328 KiB
Current children cumulated memory: 6840 KiB

[startup+0.209564 s]*
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16076384/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30608 memory=7104 CPUtime=0.2 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 1942 0 0 0 20 0 0 0 20 0 1 0 64890727 31342592 1776 33554432000 4194304 6142532 140731547888032 140731547885432 5058760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7652 1776 855 476 0 974 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30608 KiB
Current children cumulated memory: 7104 KiB

[startup+0.308997 s]*
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16076384/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30608 memory=7104 CPUtime=0.3 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 1950 0 0 0 30 0 0 0 20 0 1 0 64890727 31342592 1776 33554432000 4194304 6142532 140731547888032 140731547885432 5061899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7652 1776 855 476 0 974 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30608 KiB
Current children cumulated memory: 7104 KiB

[startup+0.700274 s]
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16076268/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30608 memory=7104 CPUtime=0.69 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 1961 0 0 0 69 0 0 0 20 0 1 0 64890727 31342592 1776 33554432000 4194304 6142532 140731547888032 140731547885432 5060745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7652 1776 855 476 0 974 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30608 KiB
Current children cumulated memory: 7104 KiB

[startup+1.50028 s]
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16076268/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30740 memory=7368 CPUtime=1.49 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 2005 0 0 0 149 0 0 0 20 0 1 0 64890727 31477760 1842 33554432000 4194304 6142532 140731547888032 140731547885432 5058552 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7685 1842 855 476 0 1007 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30740 KiB
Current children cumulated memory: 7368 KiB

[startup+3.10905 s]
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16076020/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30740 memory=7400 CPUtime=3.09 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 2867 0 0 0 309 0 0 0 20 0 1 0 64890727 31477760 1850 33554432000 4194304 6142532 140731547888032 140731547885432 5170056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7685 1850 855 476 0 1007 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30740 KiB
Current children cumulated memory: 7400 KiB

[startup+6.30027 s]
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16075388/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30740 memory=7400 CPUtime=6.29 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 3717 0 0 0 629 0 0 0 20 0 1 0 64890727 31477760 1850 33554432000 4194304 6142532 140731547888032 140731547885432 5055538 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7685 1850 855 476 0 1007 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 30740 KiB
Current children cumulated memory: 7400 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16075388/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30740 memory=7400 CPUtime=12.68 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 4125 0 0 0 1268 0 0 0 20 0 1 0 64890727 31477760 1850 33554432000 4194304 6142532 140731547888032 140731547885432 5079981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7685 1850 855 476 0 1007 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 30740 KiB
Current children cumulated memory: 7400 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.08 2.00 3/189 22993
/proc/meminfo: memFree=16075512/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30740 memory=7400 CPUtime=25.48 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 4804 0 0 0 2548 0 0 0 20 0 1 0 64890727 31477760 1850 33554432000 4194304 6142532 140731547888032 140731547885432 5061155 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7685 1850 855 476 0 1007 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 30740 KiB
Current children cumulated memory: 7400 KiB

[startup+51.109 s]
/proc/loadavg: 2.01 2.07 2.00 3/189 22993
/proc/meminfo: memFree=16075664/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7400 CPUtime=51.09 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 5359 0 0 0 5109 0 0 0 20 0 1 0 64890727 31612928 1850 33554432000 4194304 6142532 140731547888032 140731547885032 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1850 855 476 0 1040 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7400 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/189 22994
/proc/meminfo: memFree=16076348/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=102.28 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 5771 0 0 0 10228 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5060749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/189 22995
/proc/meminfo: memFree=16076720/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=162.28 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 6183 0 0 0 16228 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/189 22996
/proc/meminfo: memFree=16076920/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=222.28 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 6595 0 0 0 22228 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5170096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/188 22997
/proc/meminfo: memFree=16076540/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=282.27 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 7005 0 0 0 28227 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5061866 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/187 22998
/proc/meminfo: memFree=16076556/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=342.27 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 7417 0 0 0 34227 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5079981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/187 22999
/proc/meminfo: memFree=16076684/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=402.27 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 7829 0 0 0 40227 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5061864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/187 23000
/proc/meminfo: memFree=16076684/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=462.27 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 8241 0 0 0 46227 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB


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

/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 23050
/proc/meminfo: memFree=16075756/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=1782.22 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 16580 0 0 0 178222 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5058664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 23051
/proc/meminfo: memFree=16075632/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=1842.21 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 16906 0 0 0 184221 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5060779 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 23052
/proc/meminfo: memFree=16075540/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=1902.21 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 17231 0 0 0 190221 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5054357 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23053
/proc/meminfo: memFree=16075548/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=1962.21 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 17641 0 0 0 196221 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5054357 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23054
/proc/meminfo: memFree=16075540/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2022.21 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 17910 0 0 0 202221 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5060709 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23055
/proc/meminfo: memFree=16075696/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2082.2 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 18323 0 0 0 208220 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5057941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23056
/proc/meminfo: memFree=16075836/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2142.2 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 18735 0 0 0 214220 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5058568 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23057
/proc/meminfo: memFree=16075712/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2202.2 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 19001 0 0 0 220220 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5058566 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23058
/proc/meminfo: memFree=16075836/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2262.2 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 19264 0 0 0 226220 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5336826 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2322.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 23120
/proc/meminfo: memFree=16074808/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2322.2 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 19527 0 0 0 232220 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 23129
/proc/meminfo: memFree=16075316/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2382.19 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 19940 0 0 0 238219 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5175278 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23130
/proc/meminfo: memFree=16075780/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2442.19 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 20162 0 0 0 244219 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5057941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23131
/proc/meminfo: memFree=16075888/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2502.19 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 20398 0 0 0 250219 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5058000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 23131
/proc/meminfo: memFree=16075888/32770624 swapFree=67108860/67108860
[pid=22992] ppid=22989 vsize=30872 memory=7412 CPUtime=2519.9 cores=1,3,5,7
/proc/22992/stat : 22992 (cosoco) R 22989 22992 22565 0 -1 4202496 20608 0 0 0 251990 0 0 0 20 0 1 0 64890727 31612928 1853 33554432000 4194304 6142532 140731547888032 140731547885432 5060749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 32346112 140731547894918 140731547895048 140731547895048 140731547897806 0
/proc/22992/statm: 7718 1853 855 476 0 1040 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 7412 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 22992 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.9 s, system=0.006999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2519.9
CPU system time (s): 0.006999
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 30872
Max. memory (cumulated for all children) (KiB): 7412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.006999
maximum resident set size= 7476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20657
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= 16
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 22992
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.006999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.74799 second user time and 15.858 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 01:01:15
IDJOB=4294537
IDBENCH=141394
IDSOLVER=2752
FILE ID=node150/4294537-1532473275
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= b0a0fd8e7c9e530f6e7ba3bf5f78e329
RANDOM SEED=69783855

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:        16080668 kB
MemAvailable:   31929132 kB
Buffers:          235520 kB
Cached:         15697456 kB
SwapCached:            0 kB
Active:          1583096 kB
Inactive:       14413440 kB
Active(anon):      21708 kB
Inactive(anon):    61412 kB
Active(file):    1561388 kB
Inactive(file): 14352028 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2808 kB
Writeback:             0 kB
AnonPages:         70444 kB
Mapped:            40820 kB
Shmem:             17032 kB
Slab:             390764 kB
SReclaimable:     363508 kB
SUnreclaim:        27256 kB
KernelStack:        3360 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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 01:43:15