Trace number 4294591

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.93 2520.01

General information on the benchmark

NameDubois/
Dubois-075_c18.xml
MD5SUM8909e39e4e2640ab20c6938b58673ed4
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.014417
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints150
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":225}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":225}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":150}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150}]
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-4294591-1532478753.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: 225
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 150
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 150
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 150  (nb tuples: 4..4) -- (shared: 145)
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.02	c 101            3291           15791          15410          0              0              76   222   143 
0.00/0.02	c 211            4100           18965          18297          0              0              108   222   191
0.00/0.02	c 332            4812           21700          20730          0              0              12   197   165 
0.00/0.03	c 465            5758           25208          24000          0              0              121   172   144
0.00/0.03	c 611            6681           28465          27082          0              0              35   102   78  
0.00/0.03	c 771            7564           31706          30140          0              0              39   137   92  
0.00/0.04	c 947            8725           35807          33898          0              0              61   201   178 
0.00/0.04	c 1140           9890           40066          37804          0              0              67   199   166 
0.00/0.05	c 1352           11456          45426          42883          0              0              180   203   194
0.00/0.05	c 1585           12662          49891          47109          0              0              52   179   105 
0.00/0.06	c 1841           14478          56097          53044          0              0              53   153   145 
0.00/0.06	c 2122           16375          62802          59471          0              0              58   107   74  
0.00/0.07	c 2431           18393          69942          66251          0              0              92   159   115 
0.00/0.08	c 2770           20519          77325          73383          0              0              16   108   77  
0.00/0.09	c 3142           23240          86722          82444          0              0              51   157   145 
0.00/0.10	c 3551           25853          95438          90735          0              0              100   153   125
0.10/0.11	c 4000           29374          107700         102567         0              0              3   148   117  
0.10/0.12	c 4493           32191          117835         112268         0              0              48   121   86  
0.10/0.13	c 5035           35807          130699         124547         0              0              107   224   203
0.10/0.15	c 5631           40410          146449         139709         0              0              116   221   216
0.10/0.17	c 6286           45347          163306         156052         0              0              134   212   195
0.10/0.18	c 7006           50785          182292         174414         0              0              197   220   215
0.10/0.20	c 7798           56621          202800         194147         0              0              195   217   212
0.21/0.23	c 8669           63367          225693         216437         0              0              22   222   119 
0.21/0.25	c 9627           69815          248154         238039         0              0              27   218   198 
0.21/0.28	c 10680          77164          273412         262379         0              0              52   162   151 
0.21/0.31	c 11838          85978          304041         292164         0              0              54   218   189 
0.31/0.34	c 13111          95025          335829         322818         0              0              55   216   167 
0.31/0.37	c 14511          104629         370768         356351         0              0              47   174   136 
0.41/0.41	c 16051          116467         411429         395936         0              0              132   211   201
0.41/0.46	c 17745          128377         453304         436779         0              0              54   170   122 
0.51/0.51	c 19608          142456         503162         485446         0              0              97   126   119 
0.51/0.57	c 21657          157960         556770         537526         0              0              175   211   205
0.60/0.63	c 23910          174245         614010         593192         0              0              70   173   149 
0.60/0.69	c 26388          192252         677528         654923         0              0              82   171   113 
0.69/0.77	c 29113          215735         757276         733492         0              0              26   221   207 
0.79/0.86	c 32110          239651         841780         816249         0              0              32   210   201 
0.89/0.95	c 35406          265708         933201         905549         0              0              32   171   157 
1.00/1.05	c 39031          292209         1028591        998560         0              0              74   160   145 
1.10/1.17	c 43018          324197         1138942        1106416        0              0              82   115   105 
1.19/1.30	c 47403          359883         1264935        1229163        0              0              21   214   199 
1.39/1.43	c 52226          397916         1399584        1360958        0              0              33   204   198 
1.49/1.58	c 57531          441028         1550233        1508382        0              0              39   205   192 
1.69/1.74	c 63366          487594         1711427        1666463        0              0              37   211   198 
1.89/1.93	c 69784          542439         1905250        1855799        0              0              80   177   169 
2.10/2.13	c 76843          599847         2106953        2052770        0              0              126   209   203
2.29/2.36	c 84607          663789         2330619        2271715        0              0              45   184   154 
2.59/2.61	c 93147          734364         2576375        2512545        0              0              37   190   182 
2.79/2.85	c 102541         802408         2813450        2742970        0              0              127   211   176
3.00/3.10	c 112874         873588         3063982        2987769        0              0              42   210   184 
3.39/3.48	c 124240         982561         3437917        3356886        0              0              50   209   193 
3.79/3.89	c 136742         1089679        3811789        3722396        0              0              80   161   118 
4.29/4.30	c 150494         1209817        4224761        4129129        0              0              38   211   201 
4.69/4.75	c 165621         1339169        4676009        4573230        0              0              47   209   201 
5.19/5.24	c 182260         1484260        5186946        5075822        0              0              106   209   202
5.79/5.83	c 200562         1645396        5753733        5630568        0              0              120   163   155
6.39/6.44	c 220694         1820629        6357947        6225286        0              0              30   209   199 
7.19/7.23	c 242839         2051432        7159290        7014107        0              0              53   207   197 
7.89/7.99	c 267198         2267810        7917355        7760053        0              0              58   206   191 
8.69/8.79	c 293992         2489095        8680980        8512739        0              0              41   206   149 
9.59/9.63	c 323465         2730896        9522385        9338449        0              0              40   208   188 
10.59/10.65	c 355885         3026174        10542737       10343961       0              0              46   206   200 
11.79/11.84	c 391547         3367767        11746761       11529424       0              0              55   206   197 
12.89/13.00	c 430775         3700571        12907402       12668107       0              0              57   206   187 
14.29/14.37	c 473925         4087413        14251046       13992701       0              0              87   208   177 
15.69/15.74	c 521390         4482364        15641200       15357746       0              0              153   206   197
17.29/17.36	c 573601         4928075        17191871       16878612       0              0              38   207   147 
18.89/19.00	c 631033         5399236        18849739       18498783       0              0              42   208   196 
21.00/21.05	c 694208         5994827        20905366       20513598       0              0              30   206   198 
23.79/23.80	c 763700         6691520        23320041       22898819       0              0              39   124   95  
26.19/26.25	c 840141         7397923        25820071       25351160       0              0              148   206   198
28.59/28.68	c 924226         8070796        28173489       27641163       0              0              116   208   160
31.29/31.31	c 1016719        8818015        30806721       30215263       0              0              36   206   180 
34.79/34.83	c 1118461        9732217        34037939       33392992       0              0              60   133   115 
38.29/38.34	c 1230377        10739773       37490369       36806896       0              0              45   208   190 
42.39/42.45	c 1353484        11913931       41610792       40849041       0              0              34   206   188 
46.89/46.99	c 1488901        13134633       45911629       45082181       0              0              88   148   139 
51.19/51.24	c 1637859        14336523       50120191       49202561       0              0              41   208   180 
56.69/56.79	c 1801712        15948885       55678594       54686877       0              0              99   208   199 
62.19/62.26	c 1981950        17523832       61238072       60151816       0              0              139   208   195
68.59/68.60	c 2180211        19347098       67595243       66400912       0              0              38   210   192 
75.19/75.29	c 2398298        21291337       74337388       73024283       0              0              101   207   199
83.19/83.27	c 2638193        23395439       81730782       80262670       0              0              36   136   126 
91.39/91.46	c 2902077        25769993       90046825       88443318       0              0              146   209   198
100.39/100.46	c 3192349        28380365       99205679       97429163       0              0              112   207   200
110.79/110.82	c 3511648        31078552       108777246      106837651      0              0              53   136   118 
123.00/123.01	c 3862876        34594864       121145112      119016276      0              0              22   207   198 
134.49/134.56	c 4249226        37912336       132779005      130432647      0              0              99   200   191 
148.29/148.33	c 4674211        41674230       145905589      143388984      0              0              44   210   148 
163.00/163.05	c 5141694        45922218       160958353      158162219      0              0              144   207   197
178.29/178.32	c 5655925        50314574       176272516      173234182      0              0              35   209   192 
196.89/196.94	c 6221579        55372289       193957279      190567853      0              0              78   197   147 
215.79/215.88	c 6843798        60706227       212779214      208969838      0              0              40   206   181 
238.28/238.38	c 7528238        67105833       235120099      230812980      0              0              44   207   185 
263.28/263.39	c 8281122        73937527       258941917      254292669      0              0              92   208   151 
289.09/289.16	c 9109294        81289368       284582790      279556734      0              0              49   208   191 
321.68/321.71	c 10020283       90278478       315927416      310475333      0              0              57   209   162 
354.78/354.88	c 11022370       99854657       348986520      343122934      0              0              54   207   198 
395.68/395.74	c 12124665       111182745      388128039      381853552      0              0              97   193   166 
435.48/435.55	c 13337189       122520989      427247168      420375153      0              0              45   209   187 
479.28/479.36	c 14670965       135027405      470976935      463551414      0              0              48   206   191 
530.18/530.25	c 16138118       148950595      519787432      511461759      0              0              50   208   155 
580.57/580.68	c 17751986       163304148      570409880      561036308      0              0              46   208   186 
646.08/646.14	c 19527240       181896949      635314699      625006072      0              0              112   206   186
711.08/711.15	c 21480019       200576933      700291242      689258611      0              0              50   208   197 
787.27/787.38	c 23628075       222408598      776336743      764420898      0              0              113   208   192
866.27/866.30	c 25990936       244873741      854155361      841238180      0              0              50   208   186 
968.46/968.50	c 28590083       270922264      944597421      930599627      0              0              24   208   101 
1067.97/1068.04	c 31449144       299431540      1043779610     1028574968     0              0              114   208   191
1164.86/1164.94	c 34594111       327172945      1139652415     1123002650     0              0              110   208   187
1286.06/1286.17	c 38053574       362039294      1259968244     1241727691     0              0              42   208   196 
1437.75/1437.84	c 41858983       405543853      1409677614     1390072861     0              0              45   208   194 
1581.25/1581.36	c 46044932       446384221      1551866730     1529644815     0              0              61   207   188 
1756.74/1756.85	c 50649475       496735653      1727852793     1702911659     0              0              116   207   194
1918.14/1918.29	c 55714472       542423944      1887478843     1860312893     0              0              41   208   179 
2112.33/2112.47	c 61285968       598069490      2081617952     2051802817     0              0              67   209   195 
2326.12/2326.22	c 67414613       658683335      2293607709     2260684136     0              0              49   199   188 
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 117         
2519.92/2520.00	c conflicts             : 72778761     (28881 /sec)
2519.92/2520.00	c decisions             : 714335024    (283474 /sec)
2519.92/2520.00	c propagations          : 2450795474  (972565 /sec)
2519.92/2520.00	c root propagations     : 0           
2519.92/2520.00	c filter calls          : 2485910850     (986500 /sec)
2519.92/2520.00	c useless filter calls  : 1430896959     (57 %)
2519.92/2520.00	c Memory used           : 27.43 MB
2519.92/2520.00	c CPU time              : 2519.93 s
2519.92/2520.00	
2519.92/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 (4867 MiB free)
  memory of node 1: 16384 MiB (10845 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100139 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23560
/proc/meminfo: memFree=16088532/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=27952 memory=4464 CPUtime=0.1 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1289 0 0 0 10 0 0 0 20 0 1 0 65438542 28622848 1116 33554432000 4194304 6142532 140726648328848 140726648325480 5018464 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 6988 1116 828 476 0 310 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+0.209383 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23560
/proc/meminfo: memFree=16088532/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4464 CPUtime=0.21 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1293 0 0 0 21 0 0 0 20 0 1 0 65438542 28758016 1116 33554432000 4194304 6142532 140726648328848 140726648325480 5013910 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1116 828 476 0 343 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.308769 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23560
/proc/meminfo: memFree=16088204/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4464 CPUtime=0.31 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1295 0 0 0 31 0 0 0 20 0 1 0 65438542 28758016 1116 33554432000 4194304 6142532 140726648328848 140726648326248 5013968 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1116 828 476 0 343 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.700277 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23560
/proc/meminfo: memFree=16088204/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4464 CPUtime=0.69 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1296 0 0 0 69 0 0 0 20 0 1 0 65438542 28758016 1116 33554432000 4194304 6142532 140726648328848 140726648326248 5013936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1116 828 476 0 343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23560
/proc/meminfo: memFree=16088204/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4464 CPUtime=1.49 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1297 0 0 0 149 0 0 0 20 0 1 0 65438542 28758016 1116 33554432000 4194304 6142532 140726648328848 140726648326248 5013887 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1116 828 476 0 343 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+3.10891 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23560
/proc/meminfo: memFree=16088276/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=3.1 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1542 0 0 0 310 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5329952 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23560
/proc/meminfo: memFree=16088276/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=6.29 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 1787 0 0 0 629 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5329971 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23560
/proc/meminfo: memFree=16088400/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=12.69 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 2032 0 0 0 1269 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013887 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23560
/proc/meminfo: memFree=16088724/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=25.49 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 2522 0 0 0 2549 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5329952 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23560
/proc/meminfo: memFree=16088724/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=51.1 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 2767 0 0 0 5110 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 23561
/proc/meminfo: memFree=16089524/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=102.29 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 3012 0 0 0 10229 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23563
/proc/meminfo: memFree=16088564/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=162.29 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 3257 0 0 0 16229 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23564
/proc/meminfo: memFree=16088316/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=222.29 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 3502 0 0 0 22229 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23565
/proc/meminfo: memFree=16088568/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=282.28 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 3747 0 0 0 28228 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23566
/proc/meminfo: memFree=16088412/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=342.28 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 3992 0 0 0 34228 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23567
/proc/meminfo: memFree=16088244/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=402.28 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 4237 0 0 0 40228 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5017553 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23576
/proc/meminfo: memFree=16086704/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=462.28 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 4482 0 0 0 46228 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB


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

/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+1782.3 s]
/proc/loadavg: 2.27 2.12 2.08 3/189 23638
/proc/meminfo: memFree=16085472/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=1782.24 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 9629 0 0 0 178224 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+1842.3 s]
/proc/loadavg: 2.10 2.10 2.08 3/189 23639
/proc/meminfo: memFree=16085960/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=1842.24 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 9862 0 0 0 184224 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+1902.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/189 23700
/proc/meminfo: memFree=16087304/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=1902.24 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 10077 0 0 0 190224 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 23701
/proc/meminfo: memFree=16087212/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=1962.24 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 10324 0 0 0 196224 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 23702
/proc/meminfo: memFree=16086716/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2022.23 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 10539 0 0 0 202223 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5318922 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 23703
/proc/meminfo: memFree=16086236/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2082.23 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 10754 0 0 0 208223 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 23704
/proc/meminfo: memFree=16086180/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2142.23 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 10999 0 0 0 214223 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013961 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23705
/proc/meminfo: memFree=16086128/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2202.23 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 11206 0 0 0 220223 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23711
/proc/meminfo: memFree=16084532/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2262.22 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 11413 0 0 0 226222 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23712
/proc/meminfo: memFree=16084780/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2322.22 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 11620 0 0 0 232222 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5018047 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23713
/proc/meminfo: memFree=16084284/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2382.22 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 11873 0 0 0 238222 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23714
/proc/meminfo: memFree=16084400/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2442.22 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 12088 0 0 0 244222 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084072/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2502.22 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 12303 0 0 0 250222 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5326496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23776
/proc/meminfo: memFree=16084452/32770624 swapFree=67108860/67108860
[pid=23559] ppid=23556 vsize=28084 memory=4564 CPUtime=2519.92 cores=1,3,5,7
/proc/23559/stat : 23559 (cosoco) R 23556 23559 22565 0 -1 4202496 12518 0 0 0 251992 0 0 0 20 0 1 0 65438542 28758016 1141 33554432000 4194304 6142532 140726648328848 140726648326248 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16637952 140726648337542 140726648337672 140726648337672 140726648340430 0
/proc/23559/statm: 7021 1141 830 476 0 343 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4564 KiB

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

[startup+2520.01 s]
# the end of solver process 23559 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.93 s, system=0.003999 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.93
CPU user time (s): 2519.93
CPU system time (s): 0.003999
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 28084
Max. memory (cumulated for all children) (KiB): 4564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.003999
maximum resident set size= 4628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12567
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= 642


# summary of solver processes directly reported to runsolver:
#   pid: 23559
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2519.93
#   total CPU system time (s): 0.003999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.832 second user time and 16.7651 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 02:32:33
IDJOB=4294591
IDBENCH=141400
IDSOLVER=2752
FILE ID=node150/4294591-1532478753
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= 8909e39e4e2640ab20c6938b58673ed4
RANDOM SEED=359174967

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:        16090156 kB
MemAvailable:   31941176 kB
Buffers:          236392 kB
Cached:         15699000 kB
SwapCached:            0 kB
Active:          1574924 kB
Inactive:       14414276 kB
Active(anon):      11968 kB
Inactive(anon):    61412 kB
Active(file):    1562956 kB
Inactive(file): 14352864 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         67688 kB
Mapped:            40964 kB
Shmem:             17032 kB
Slab:             390800 kB
SReclaimable:     363660 kB
SUnreclaim:        27140 kB
KernelStack:        3360 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345036 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 03:14:33