Trace number 4299445

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) 2520.07 2519.9

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.018123
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.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
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-4299445-1532804444.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.00 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 225
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 150
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 150
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 150  (nb tuples: 4..4) -- (shared: 145)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	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.14	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.19	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.38	c 14511          104629         370768         356351         0              0              47   174   136 
0.41/0.42	c 16051          116467         411429         395936         0              0              132   211   201
0.41/0.47	c 17745          128377         453304         436779         0              0              54   170   122 
0.51/0.52	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.69/0.70	c 26388          192252         677528         654923         0              0              82   171   113 
0.69/0.78	c 29113          215735         757276         733492         0              0              26   221   207 
0.79/0.87	c 32110          239651         841780         816249         0              0              32   210   201 
0.89/0.96	c 35406          265708         933201         905549         0              0              32   171   157 
1.00/1.06	c 39031          292209         1028591        998560         0              0              74   160   145 
1.10/1.18	c 43018          324197         1138942        1106416        0              0              82   115   105 
1.29/1.31	c 47403          359883         1264935        1229163        0              0              21   214   199 
1.39/1.44	c 52226          397916         1399584        1360958        0              0              33   204   198 
1.49/1.59	c 57531          441028         1550233        1508382        0              0              39   205   192 
1.69/1.76	c 63366          487594         1711427        1666463        0              0              37   211   198 
1.89/1.96	c 69784          542439         1905250        1855799        0              0              80   177   169 
2.10/2.15	c 76843          599847         2106953        2052770        0              0              126   209   203
2.29/2.39	c 84607          663789         2330619        2271715        0              0              45   184   154 
2.59/2.64	c 93147          734364         2576375        2512545        0              0              37   190   182 
2.79/2.88	c 102541         802408         2813450        2742970        0              0              127   211   176
3.10/3.13	c 112874         873588         3063982        2987769        0              0              42   210   184 
3.49/3.52	c 124240         982561         3437917        3356886        0              0              50   209   193 
3.89/3.93	c 136742         1089679        3811789        3722396        0              0              80   161   118 
4.29/4.35	c 150494         1209817        4224761        4129129        0              0              38   211   201 
4.79/4.80	c 165621         1339169        4676009        4573230        0              0              47   209   201 
5.29/5.30	c 182260         1484260        5186946        5075822        0              0              106   209   202
5.79/5.89	c 200562         1645396        5753733        5630568        0              0              120   163   155
6.49/6.50	c 220694         1820629        6357947        6225286        0              0              30   209   199 
7.29/7.31	c 242839         2051432        7159290        7014107        0              0              53   207   197 
8.00/8.08	c 267198         2267810        7917355        7760053        0              0              58   206   191 
8.79/8.88	c 293992         2489095        8680980        8512739        0              0              41   206   149 
9.69/9.74	c 323465         2730896        9522385        9338449        0              0              40   208   188 
10.69/10.77	c 355885         3026174        10542737       10343961       0              0              46   206   200 
11.89/11.97	c 391547         3367767        11746761       11529424       0              0              55   206   197 
13.10/13.14	c 430775         3700571        12907402       12668107       0              0              57   206   187 
14.49/14.53	c 473925         4087413        14251046       13992701       0              0              87   208   177 
15.89/15.91	c 521390         4482364        15641200       15357746       0              0              153   206   197
17.49/17.55	c 573601         4928075        17191871       16878612       0              0              38   207   147 
19.19/19.20	c 631033         5399236        18849739       18498783       0              0              42   208   196 
21.19/21.28	c 694208         5994827        20905366       20513598       0              0              30   206   198 
24.00/24.05	c 763700         6691520        23320041       22898819       0              0              39   124   95  
26.49/26.53	c 840141         7397923        25820071       25351160       0              0              148   206   198
28.89/28.99	c 924226         8070796        28173489       27641163       0              0              116   208   160
31.59/31.65	c 1016719        8818015        30806721       30215263       0              0              36   206   180 
35.19/35.21	c 1118461        9732217        34037939       33392992       0              0              60   133   115 
38.69/38.76	c 1230377        10739773       37490369       36806896       0              0              45   208   190 
42.89/42.91	c 1353484        11913931       41610792       40849041       0              0              34   206   188 
47.49/47.51	c 1488901        13134633       45911629       45082181       0              0              88   148   139 
51.69/51.79	c 1637859        14336523       50120191       49202561       0              0              41   208   180 
57.39/57.41	c 1801712        15948885       55678594       54686877       0              0              99   208   199 
62.89/62.95	c 1981950        17523832       61238072       60151816       0              0              139   208   195
69.29/69.35	c 2180211        19347098       67595243       66400912       0              0              38   210   192 
76.10/76.12	c 2398298        21291337       74337388       73024283       0              0              101   207   199
84.10/84.15	c 2638193        23395439       81730782       80262670       0              0              36   136   126 
92.39/92.45	c 2902077        25769993       90046825       88443318       0              0              146   209   198
101.49/101.56	c 3192349        28380365       99205679       97429163       0              0              112   207   200
111.90/111.99	c 3511648        31078552       108777246      106837651      0              0              53   136   118 
124.30/124.33	c 3862876        34594864       121145112      119016276      0              0              22   207   198 
136.01/136.03	c 4249226        37912336       132779005      130432647      0              0              99   200   191 
149.90/149.93	c 4674211        41674230       145905589      143388984      0              0              44   210   148 
164.80/164.84	c 5141694        45922218       160958353      158162219      0              0              144   207   197
180.30/180.31	c 5655925        50314574       176272516      173234182      0              0              35   209   192 
199.11/199.13	c 6221579        55372289       193957279      190567853      0              0              78   197   147 
218.20/218.25	c 6843798        60706227       212779214      208969838      0              0              40   206   181 
241.01/241.01	c 7528238        67105833       235120099      230812980      0              0              44   207   185 
266.31/266.30	c 8281122        73937527       258941917      254292669      0              0              92   208   151 
292.31/292.31	c 9109294        81289368       284582790      279556734      0              0              49   208   191 
325.21/325.24	c 10020283       90278478       315927416      310475333      0              0              57   209   162 
358.71/358.76	c 11022370       99854657       348986520      343122934      0              0              54   207   198 
400.02/400.09	c 12124665       111182745      388128039      381853552      0              0              97   193   166 
440.22/440.26	c 13337189       122520989      427247168      420375153      0              0              45   209   187 
484.52/484.56	c 14670965       135027405      470976935      463551414      0              0              48   206   191 
535.92/536.00	c 16138118       148950595      519787432      511461759      0              0              50   208   155 
586.93/586.90	c 17751986       163304148      570409880      561036308      0              0              46   208   186 
653.14/653.18	c 19527240       181896949      635314699      625006072      0              0              112   206   186
718.84/718.80	c 21480019       200576933      700291242      689258611      0              0              50   208   197 
795.94/795.92	c 23628075       222408598      776336743      764420898      0              0              113   208   192
875.65/875.61	c 25990936       244873741      854155361      841238180      0              0              50   208   186 
978.66/978.67	c 28590083       270922264      944597421      930599627      0              0              24   208   101 
1079.46/1079.40	c 31449144       299431540      1043779610     1028574968     0              0              114   208   191
1177.47/1177.47	c 34594111       327172945      1139652415     1123002650     0              0              110   208   187
1299.88/1299.81	c 38053574       362039294      1259968244     1241727691     0              0              42   208   196 
1453.39/1453.35	c 41858983       405543853      1409677614     1390072861     0              0              45   208   194 
1598.30/1598.20	c 46044932       446384221      1551866730     1529644815     0              0              61   207   188 
1775.91/1775.85	c 50649475       496735653      1727852793     1702911659     0              0              116   207   194
1938.82/1938.71	c 55714472       542423944      1887478843     1860312893     0              0              41   208   179 
2135.14/2135.05	c 61285968       598069490      2081617952     2051802817     0              0              67   209   195 
2350.75/2350.69	c 67414613       658683335      2293607709     2260684136     0              0              49   199   188 
2520.06/2519.90	
2520.06/2519.90	c *** INTERRUPTED ***
2520.06/2519.90	c restarts              : 117         
2520.06/2519.90	c conflicts             : 72046805     (28589 /sec)
2520.06/2519.90	c decisions             : 706737809    (280444 /sec)
2520.06/2519.90	c propagations          : 2424759818  (962181 /sec)
2520.06/2519.90	c root propagations     : 0           
2520.06/2519.90	c filter calls          : 2459568939     (975993 /sec)
2520.06/2519.90	c useless filter calls  : 1415731022     (57 %)
2520.06/2519.90	c Memory used           : 27.43 MB
2520.06/2519.90	c CPU time              : 2520.07 s
2520.06/2519.90	
2520.06/2519.90	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 (8461 MiB free)
  memory of node 1: 16384 MiB (11530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299445-1532804444/watcher-4299445-1532804444 -o /tmp/evaluation-result-4299445-1532804444/solver-4299445-1532804444 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299445-1532804444.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
Current StackSize limit: 8192 KiB

solver pid=14796, runsolver pid=14793

[startup+0.10015 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14797
/proc/meminfo: memFree=20471168/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=27952 memory=4464 CPUtime=0.1 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1288 0 0 0 10 0 0 0 20 0 1 0 98007539 28622848 1116 33554432000 4194304 6142532 140734304967728 140734304964360 5326496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/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.209391 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14797
/proc/meminfo: memFree=20471168/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4464 CPUtime=0.21 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1292 0 0 0 21 0 0 0 20 0 1 0 98007539 28758016 1116 33554432000 4194304 6142532 140734304967728 140734304964360 5329971 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/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.308848 s]*
/proc/loadavg: 2.00 2.01 2.05 4/188 14797
/proc/meminfo: memFree=20471168/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4464 CPUtime=0.31 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1294 0 0 0 31 0 0 0 20 0 1 0 98007539 28758016 1116 33554432000 4194304 6142532 140734304967728 140734304964360 4990723 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/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.700278 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14797
/proc/meminfo: memFree=20471236/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4464 CPUtime=0.69 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1295 0 0 0 69 0 0 0 20 0 1 0 98007539 28758016 1116 33554432000 4194304 6142532 140734304967728 140734304965128 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/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.01 2.05 3/188 14797
/proc/meminfo: memFree=20470808/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4464 CPUtime=1.49 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1296 0 0 0 149 0 0 0 20 0 1 0 98007539 28758016 1116 33554432000 4194304 6142532 140734304967728 140734304965128 5013936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/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.10899 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14797
/proc/meminfo: memFree=20470808/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=3.1 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1542 0 0 0 310 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14797
/proc/meminfo: memFree=20471208/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=6.29 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 1788 0 0 0 629 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5016416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14797
/proc/meminfo: memFree=20471208/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=12.69 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 2034 0 0 0 1269 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14819
/proc/meminfo: memFree=20468908/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=25.49 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 2526 0 0 0 2549 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013944 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14819
/proc/meminfo: memFree=20469528/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=51.1 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 2772 0 0 0 5110 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5333466 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14820
/proc/meminfo: memFree=20470956/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=102.29 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 3018 0 0 0 10229 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013926 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+162.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/188 14821
/proc/meminfo: memFree=20471408/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=162.3 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 3264 0 0 0 16230 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5335943 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+222.3 s]
/proc/loadavg: 2.37 2.15 2.09 3/188 14822
/proc/meminfo: memFree=20471068/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=222.3 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 3510 0 0 0 22230 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+282.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/187 14823
/proc/meminfo: memFree=20471096/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=282.31 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 3510 0 0 0 28231 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5318832 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 14824
/proc/meminfo: memFree=20471100/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=342.31 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 3756 0 0 0 34231 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013902 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 14825
/proc/meminfo: memFree=20470740/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=402.32 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 3756 0 0 0 40232 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 14826
/proc/meminfo: memFree=20470852/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=462.32 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 4002 0 0 0 46232 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB


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

/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14875
/proc/meminfo: memFree=20469240/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=1842.42 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 6679 0 0 0 184242 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14876
/proc/meminfo: memFree=20469860/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=1902.42 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 6894 0 0 0 190242 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14877
/proc/meminfo: memFree=20470596/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=1962.42 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 6925 0 0 0 196242 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14878
/proc/meminfo: memFree=20470544/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2022.43 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7140 0 0 0 202243 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013950 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14879
/proc/meminfo: memFree=20470676/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2082.43 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7140 0 0 0 208243 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2142.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/187 14941
/proc/meminfo: memFree=20469176/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2142.44 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7386 0 0 0 214244 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2202.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/187 14942
/proc/meminfo: memFree=20469796/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2202.44 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7386 0 0 0 220244 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 14943
/proc/meminfo: memFree=20469516/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2262.44 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7593 0 0 0 226244 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013926 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 14944
/proc/meminfo: memFree=20469488/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2322.45 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7593 0 0 0 232245 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5335920 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 14953
/proc/meminfo: memFree=20468720/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2382.45 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7839 0 0 0 238245 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 14954
/proc/meminfo: memFree=20468852/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2442.46 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 7839 0 0 0 244246 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 14976
/proc/meminfo: memFree=20466280/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2502.46 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 8054 0 0 0 250246 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15038
/proc/meminfo: memFree=20468228/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2520.06 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 8054 0 0 0 252006 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

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

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

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15038
/proc/meminfo: memFree=20468228/32770624 swapFree=67108860/67108860
[pid=14796] ppid=14793 vsize=28084 memory=4560 CPUtime=2520.06 cores=1,3,5,7
/proc/14796/stat : 14796 (cosoco) R 14793 14796 11466 0 -1 4202496 8054 0 0 0 252006 0 0 0 20 0 1 0 98007539 28758016 1140 33554432000 4194304 6142532 140734304967728 140734304965128 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38821888 140734304969862 140734304969992 140734304969992 140734304972750 0
/proc/14796/statm: 7021 1140 830 476 0 343 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4560 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.07
CPU system time (s): 0.006
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 28084
Max. memory (cumulated for all children) (KiB): 4560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.006
maximum resident set size= 4624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8103
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= 649


# summary of solver processes directly reported to runsolver:
#   pid: 14796
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2927 second user time and 16.2341 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 21:00:44
IDJOB=4299445
IDBENCH=141400
IDSOLVER=2761
FILE ID=node105/4299445-1532804444
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44620 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-4299445-1532804444/watcher-4299445-1532804444 -o /tmp/evaluation-result-4299445-1532804444/solver-4299445-1532804444 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299445-1532804444.xml

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

MD5SUM BENCH= 8909e39e4e2640ab20c6938b58673ed4
RANDOM SEED=1082110727

node105.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.32
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.32
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.32
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.32
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:        20472128 kB
MemAvailable:   31931320 kB
Buffers:          270680 kB
Cached:         11327796 kB
SwapCached:            0 kB
Active:          2396976 kB
Inactive:        9255064 kB
Active(anon):       8140 kB
Inactive(anon):    73344 kB
Active(file):    2388836 kB
Inactive(file):  9181720 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2340 kB
Writeback:             0 kB
AnonPages:         60440 kB
Mapped:            46140 kB
Shmem:             25228 kB
Slab:             344740 kB
SReclaimable:     317096 kB
SUnreclaim:        27644 kB
KernelStack:        3376 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44620 MiB
End job on node105 at 2018-07-28 21:42:44