Trace number 4294681

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

General information on the benchmark

NameDubois/
Dubois-100_c18.xml
MD5SUM7caa0b5cafbc6020af5c8bc91888bcd3
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.017795
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
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-4294681-1532599324.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 300
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 200
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 200
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 200  (nb tuples: 4..4) -- (shared: 195)
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            3567           20583          20151          0              0              102   297   173
0.00/0.03	c 211            4025           22463          21909          0              0              72   138   94  
0.00/0.03	c 332            4727           25150          24509          0              0              22   58   34   
0.00/0.04	c 465            5730           28489          27730          0              0              19   37   31   
0.00/0.04	c 611            6371           30955          29899          0              0              34   295   188 
0.00/0.04	c 771            7729           36089          34581          0              0              44   297   279 
0.00/0.05	c 947            8982           40536          38835          0              0              45   104   97  
0.00/0.06	c 1140           11046          48294          46175          0              0              45   297   256 
0.00/0.07	c 1352           12508          53427          51011          0              0              128   187   159
0.00/0.07	c 1585           14063          58848          56214          0              0              99   141   122 
0.00/0.08	c 1841           15721          64823          61759          0              0              218   290   247
0.00/0.09	c 2122           16709          69179          65721          0              0              36   200   107 
0.00/0.09	c 2431           18609          75664          71865          0              0              6   162   95   
0.10/0.11	c 2770           21135          84519          80396          0              0              8   149   118  
0.10/0.12	c 3142           23351          92483          87987          0              0              11   109   65  
0.10/0.13	c 3551           26419          104016         98880          0              0              10   291   241 
0.10/0.15	c 4000           30245          118152         112436         0              0              10   295   253 
0.10/0.16	c 4493           33510          129712         123465         0              0              12   272   243 
0.10/0.18	c 5035           37155          142466         135718         0              0              10   192   141 
0.10/0.20	c 5631           40943          155790         148394         0              0              18   297   252 
0.21/0.22	c 6286           45835          172909         164962         0              0              202   245   226
0.21/0.24	c 7006           50429          189266         180518         0              0              37   297   236 
0.21/0.27	c 7798           55212          206085         196587         0              0              40   248   174 
0.21/0.29	c 8669           61023          227248         216869         0              0              39   215   173 
0.31/0.33	c 9627           67776          250935         239872         0              0              73   109   93  
0.31/0.36	c 10680          75543          278049         266123         0              0              192   241   217
0.31/0.40	c 11838          83873          306910         294076         0              0              187   218   208
0.41/0.44	c 13111          90489          330844         317238         0              0              54   193   133 
0.41/0.48	c 14511          100519         365703         350820         0              0              16   218   194 
0.51/0.54	c 16051          110646         402121         385901         0              0              15   166   126 
0.51/0.60	c 17745          124629         450159         432781         0              0              37   167   157 
0.60/0.67	c 19608          137624         495988         477340         0              0              71   159   116 
0.69/0.73	c 21657          150599         541681         521445         0              0              25   297   168 
0.79/0.81	c 23910          167185         599727         577741         0              0              21   297   267 
0.89/0.90	c 26388          186318         667235         643795         0              0              21   170   130 
0.89/0.99	c 29113          204582         730176         704722         0              0              25   299   201 
1.00/1.10	c 32110          226068         806455         779081         0              0              48   129   87  
1.19/1.20	c 35406          244823         874342         845410         0              0              33   88   60   
1.29/1.32	c 39031          271094         965704         934097         0              0              32   283   237 
1.39/1.46	c 43018          303041         1077408        1043496        0              0              38   295   286 
1.49/1.59	c 47403          333239         1184194        1147718        0              0              32   290   269 
1.69/1.75	c 52226          367605         1308007        1268594        0              0              36   228   217 
1.89/1.95	c 57531          407111         1446900        1403470        0              0              51   189   148 
2.10/2.13	c 63366          447975         1592228        1545507        0              0              20   294   255 
2.29/2.39	c 69784          498514         1773376        1723208        0              0              70   161   121 
2.59/2.66	c 76843          551558         1962745        1908316        0              0              41   293   137 
2.89/2.96	c 84607          616531         2186217        2126750        0              0              28   243   221 
3.19/3.24	c 93147          678102         2405666        2339937        0              0              32   285   269 
3.49/3.59	c 102541         755932         2683205        2610802        0              0              37   279   268 
3.89/3.97	c 112874         835341         2969452        2887360        0              0              44   279   174 
4.39/4.49	c 124240         935036         3322769        3234436        0              0              68   156   104 
4.79/4.87	c 136742         1019177        3620665        3526227        0              0              36   280   243 
5.29/5.39	c 150494         1132802        4018346        3915548        0              0              35   278   234 
6.00/6.02	c 165621         1271069        4513889        4399781        0              0              70   244   235 
6.49/6.55	c 182260         1389557        4926837        4804296        0              0              48   280   260 
7.19/7.20	c 200562         1533175        5444658        5308234        0              0              157   274   246
7.89/7.96	c 220694         1693123        6014596        5869768        0              0              65   243   208 
8.79/8.84	c 242839         1891179        6701142        6546076        0              0              30   273   263 
9.69/9.72	c 267198         2075249        7350117        7181889        0              0              36   257   188 
10.69/10.73	c 293992         2301267        8166889        7975530        0              0              189   274   263
11.89/11.94	c 323465         2568574        9125991        8915781        0              0              85   251   242 
13.19/13.23	c 355885         2838404        10083883       9853087        0              0              132   207   198
14.59/14.65	c 391547         3158434        11208847       10957162       0              0              47   273   263 
16.10/16.11	c 430775         3482262        12383212       12103279       0              0              48   273   261 
17.89/17.93	c 473925         3853342        13707978       13390593       0              0              89   169   160 
19.69/19.79	c 521390         4226200        15042487       14700450       0              0              72   169   147 
21.79/21.83	c 573601         4679461        16594871       16230838       0              0              32   273   258 
24.10/24.17	c 631033         5204457        18436440       18035852       0              0              43   272   260 
26.79/26.82	c 694208         5746260        20327401       19885411       0              0              47   178   169 
29.49/29.57	c 763700         6362402        22525253       22037020       0              0              105   272   266
32.69/32.72	c 840141         7038045        24950304       24409326       0              0              151   272   221
36.10/36.16	c 924226         7802935        27626143       27038383       0              0              79   272   252 
39.89/39.90	c 1016719        8578397        30330414       29691412       0              0              64   190   179 
44.19/44.23	c 1118461        9529188        33725534       33014669       0              0              104   250   242
48.39/48.45	c 1230377        10471224       37056708       36293281       0              0              101   272   264
52.89/52.94	c 1353484        11474062       40604373       39765272       0              0              91   276   250 
58.49/58.54	c 1488901        12734074       45056023       44134788       0              0              139   272   264
64.49/64.57	c 1637859        14079314       49778334       48764201       0              0              63   275   257 
70.69/70.70	c 1801712        15440743       54532166       53425770       0              0              43   274   247 
77.69/77.71	c 1981950        16995124       60049716       58833034       0              0              93   272   250 
86.00/86.06	c 2180211        18870252       66790508       65425436       0              0              190   272   264
94.89/95.00	c 2398298        20886376       73833989       72321898       0              0              216   272   264
104.89/104.98	c 2638193        22998914       81324652       79682417       0              0              48   275   202 
117.49/117.53	c 2902077        25545375       90290281       88480856       0              0              70   176   165 
127.39/127.40	c 3192349        27758621       98053010       96076650       0              0              60   274   261 
141.69/141.73	c 3511648        30937311       109400873      107183722      0              0              54   271   252 
158.19/158.26	c 3862876        34261264       121108533      118711520      0              0              101   219   156
172.18/172.22	c 4249226        37346596       131905491      129288345      0              0              43   271   244 
190.68/190.75	c 4674211        41499554       146688290      143734452      0              0              47   270   262 
210.28/210.39	c 5141694        45714261       161593783      158361413      0              0              89   270   220 
232.68/232.77	c 5655925        50103548       177414047      173809420      0              0              69   265   130 
255.68/255.79	c 6221579        55209725       195215584      191292942      0              0              41   271   250 
281.68/281.70	c 6843798        61004305       215905537      211516694      0              0              33   270   259 
309.58/309.61	c 7528238        67093720       237594055      232802772      0              0              126   269   233
343.88/343.91	c 8281122        73986709       262046399      256861067      0              0              90   226   154 
378.18/378.26	c 9109294        81590352       289076966      283352572      0              0              53   269   255 
419.98/420.02	c 10020283       90857969       322086003      315809892      0              0              94   269   256 
464.08/464.18	c 11022370       100086138      354226972      347536988      0              0              58   271   192 
512.17/512.29	c 12124665       110794744      391741767      384395622      0              0              192   269   255
564.87/564.96	c 13337189       122532362      433108756      425079630      0              0              63   272   251 
628.56/628.63	c 14670965       135731868      479239604      470484834      0              0              122   265   185
695.26/695.35	c 16138118       150613921      531108984      521544234      0              0              62   271   257 
764.16/764.29	c 17751986       165848197      585164459      574592371      0              0              38   269   247 
840.15/840.26	c 19527240       182284694      643095881      631524672      0              0              162   272   229
929.15/929.20	c 21480019       202069568      713334992      700780337      0              0              82   269   257 
1025.25/1025.37	c 23628075       221812652      783559335      769696825      0              0              98   230   176 
1118.74/1118.88	c 25990936       242047571      855062722      839505422      0              0              47   272   228 
1226.14/1226.27	c 28590083       265037686      936924666      919742350      0              0              47   263   217 
1359.83/1359.90	c 31449144       292244377      1032956699     1013912852     0              0              64   263   170 
1495.93/1496.01	c 34594111       322435941      1138474338     1117341299     0              0              55   272   253 
1647.22/1647.31	c 38053574       355924266      1257144281     1234196224     0              0              71   270   252 
1831.02/1831.13	c 41858983       394982990      1394160794     1369510947     0              0              134   270   212
2046.29/2046.40	c 46044932       442201294      1559770808     1532819210     0              0              59   271   247 
2229.89/2230.09	c 50649475       481735742      1701221052     1671631546     0              0              96   272   226 
2453.98/2454.12	c 55714472       530620643      1874167648     1841868238     0              0              59   269   240 
2519.88/2520.00	
2519.88/2520.00	c *** INTERRUPTED ***
2519.88/2520.00	c restarts              : 115         
2519.88/2520.00	c conflicts             : 57306215     (22742 /sec)
2519.88/2520.00	c decisions             : 545192712    (216356 /sec)
2519.88/2520.00	c propagations          : 1891905908  (750791 /sec)
2519.88/2520.00	c root propagations     : 0           
2519.88/2520.00	c filter calls          : 1925664013     (764188 /sec)
2519.88/2520.00	c useless filter calls  : 1097923391     (57 %)
2519.88/2520.00	c Memory used           : 27.95 MB
2519.88/2520.00	c CPU time              : 2519.88 s
2519.88/2520.00	
2519.88/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 (12514 MiB free)
  memory of node 1: 16384 MiB (10340 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294681-1532599324/watcher-4294681-1532599324 -o /tmp/evaluation-result-4294681-1532599324/solver-4294681-1532599324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8246 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294681-1532599324.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8703, runsolver pid=8700

[startup+0.100188 s]*
/proc/loadavg: 1.92 2.00 2.04 3/184 8726
/proc/meminfo: memFree=23401504/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28484 memory=4992 CPUtime=0.1 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 1422 0 0 0 10 0 0 0 20 0 1 0 77495569 29167616 1248 33554432000 4194304 6142532 140721208828064 140721208824952 5341742 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7121 1248 831 476 0 443 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28484 KiB
Current children cumulated memory: 4992 KiB

[startup+0.209596 s]*
/proc/loadavg: 1.92 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23400152/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=4992 CPUtime=0.21 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 1430 0 0 0 21 0 0 0 20 0 1 0 77495569 29302784 1248 33554432000 4194304 6142532 140721208828064 140721208824952 5018475 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+0.309218 s]*
/proc/loadavg: 1.92 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23400152/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=4992 CPUtime=0.31 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 1433 0 0 0 31 0 0 0 20 0 1 0 77495569 29302784 1248 33554432000 4194304 6142532 140721208828064 140721208824952 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+0.700271 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23400152/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=4992 CPUtime=0.69 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 1433 0 0 0 69 0 0 0 20 0 1 0 77495569 29302784 1248 33554432000 4194304 6142532 140721208828064 140721208825464 5013840 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23400152/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=4992 CPUtime=1.49 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 1435 0 0 0 149 0 0 0 20 0 1 0 77495569 29302784 1248 33554432000 4194304 6142532 140721208828064 140721208825464 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1248 831 476 0 476 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 4992 KiB

[startup+3.10915 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23399576/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5116 CPUtime=3.1 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 1816 0 0 0 310 0 0 0 20 0 1 0 77495569 29302784 1279 33554432000 4194304 6142532 140721208828064 140721208825464 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1279 831 476 0 476 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5116 KiB

[startup+6.30026 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23399736/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5124 CPUtime=6.29 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 2201 0 0 0 629 0 0 0 20 0 1 0 77495569 29302784 1281 33554432000 4194304 6142532 140721208828064 140721208825464 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23399860/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5124 CPUtime=12.69 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 2584 0 0 0 1269 0 0 0 20 0 1 0 77495569 29302784 1281 33554432000 4194304 6142532 140721208828064 140721208825464 5013840 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23399860/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5124 CPUtime=25.49 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 3350 0 0 0 2549 0 0 0 20 0 1 0 77495569 29302784 1281 33554432000 4194304 6142532 140721208828064 140721208825464 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+51.1092 s]
/proc/loadavg: 1.97 2.00 2.04 3/190 8736
/proc/meminfo: memFree=23400416/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5124 CPUtime=51.1 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 3734 0 0 0 5110 0 0 0 20 0 1 0 77495569 29302784 1281 33554432000 4194304 6142532 140721208828064 140721208825464 5335920 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1281 831 476 0 476 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5124 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 8737
/proc/meminfo: memFree=23400828/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=102.29 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 4118 0 0 0 10229 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5018087 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 8738
/proc/meminfo: memFree=23400892/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=162.29 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 4502 0 0 0 16229 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5017895 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8739
/proc/meminfo: memFree=23400932/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=222.28 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 4886 0 0 0 22228 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8740
/proc/meminfo: memFree=23401140/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=282.28 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 5270 0 0 0 28228 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5337611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8741
/proc/meminfo: memFree=23401192/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=342.28 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 5652 0 0 0 34228 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013946 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8742
/proc/meminfo: memFree=23401264/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=402.28 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 6038 0 0 0 40228 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5319043 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8743
/proc/meminfo: memFree=23401212/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=462.27 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 6422 0 0 0 46227 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5318922 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB


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

/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8790
/proc/meminfo: memFree=23398828/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=1782.21 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 14401 0 0 0 178221 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8791
/proc/meminfo: memFree=23398948/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=1842.21 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 14785 0 0 0 184221 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8792
/proc/meminfo: memFree=23398984/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=1902.2 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 15112 0 0 0 190220 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5335920 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8793
/proc/meminfo: memFree=23399016/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=1962.2 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 15434 0 0 0 196220 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013946 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8794
/proc/meminfo: memFree=23398876/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2022.2 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 15756 0 0 0 202220 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8795
/proc/meminfo: memFree=23398984/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2082.19 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 16141 0 0 0 208219 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013887 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8796
/proc/meminfo: memFree=23398936/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2142.19 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 16473 0 0 0 214219 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8797
/proc/meminfo: memFree=23398768/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2202.18 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 16804 0 0 0 220218 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5319096 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8798
/proc/meminfo: memFree=23398840/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2262.18 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 17188 0 0 0 226218 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5014000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8807
/proc/meminfo: memFree=23398436/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2322.18 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 17516 0 0 0 232218 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013946 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8808
/proc/meminfo: memFree=23398624/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2382.17 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 17843 0 0 0 238217 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5017506 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8809
/proc/meminfo: memFree=23398916/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2442.17 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 18170 0 0 0 244217 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8810
/proc/meminfo: memFree=23398920/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2502.17 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 18594 0 0 0 250217 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 8810
/proc/meminfo: memFree=23399044/32770624 swapFree=67108860/67108860
[pid=8703] ppid=8700 vsize=28616 memory=5128 CPUtime=2519.88 cores=0,2,4,6
/proc/8703/stat : 8703 (cosoco) R 8700 8703 8215 0 -1 4202496 18925 0 0 0 251988 0 0 0 20 0 1 0 77495569 29302784 1282 33554432000 4194304 6142532 140721208828064 140721208825464 5013961 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40214528 140721208833158 140721208833288 140721208833288 140721208836046 0
/proc/8703/statm: 7154 1282 831 476 0 476 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 5128 KiB

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

[startup+2520.01 s]
# the end of solver process 8703 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.88 s, system=0.007999 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.89
CPU user time (s): 2519.88
CPU system time (s): 0.007999
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 28616
Max. memory (cumulated for all children) (KiB): 5128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.88
system time used= 0.007999
maximum resident set size= 5192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18974
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= 3153


# summary of solver processes directly reported to runsolver:
#   pid: 8703
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2519.88
#   total CPU system time (s): 0.007999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.61773 second user time and 16.4453 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-26 12:02:04
IDJOB=4294681
IDBENCH=141410
IDSOLVER=2752
FILE ID=node151/4294681-1532599324
RUNJOBID= node151-1532594282-8246
PBS_JOBID= 21021971
Free space on /tmp= 54924 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Dubois/Dubois-100_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294681-1532599324/watcher-4294681-1532599324 -o /tmp/evaluation-result-4294681-1532599324/solver-4294681-1532599324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8246 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294681-1532599324.xml

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

MD5SUM BENCH= 7caa0b5cafbc6020af5c8bc91888bcd3
RANDOM SEED=857130667

node151.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.87
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.87
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.87
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.87
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:        23403360 kB
MemAvailable:   31942068 kB
Buffers:          200476 kB
Cached:          8582748 kB
SwapCached:            0 kB
Active:          1379180 kB
Inactive:        7458764 kB
Active(anon):       5408 kB
Inactive(anon):    77488 kB
Active(file):    1373772 kB
Inactive(file):  7381276 kB
Unevictable:        7824 kB
Mlocked:            7824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:         62768 kB
Mapped:            40204 kB
Shmem:             25224 kB
Slab:             226460 kB
SReclaimable:     198992 kB
SUnreclaim:        27468 kB
KernelStack:        3408 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54924 MiB
End job on node151 at 2018-07-26 12:44:04