Trace number 4294717

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

General information on the benchmark

NameHaystacks/
Haystacks-ext-13_c18.xml
MD5SUMd20946c70cb8756d1a4b7fb63c02a1de
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 benchmark22.866
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints1026
Number of domains1
Minimum domain size13
Maximum domain size13
Distribution of domain sizes[{"size":13,"count":169}]
Minimum variable degree12
Maximum variable degree13
Distribution of variable degrees[{"degree":12,"count":145},{"degree":13,"count":24}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1026}]
Number of extensional constraints1026
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1026}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 0           
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.12 --  
0.00/0.02	c
0.00/0.02	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294717-1532486277.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.02 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 169
0.00/0.02	c |            Domain Sizes: 13..13
0.00/0.02	c |
0.00/0.02	c |             Constraints: 1026
0.00/0.02	c |                   Arity: 2..2  -- Binary: 1026
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          Extension: 1026  (nb tuples: 13..15) -- (shared: 1022)
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            289            16102          2349           0              0              45   47   46   
0.00/0.02	c 211            593            31994          4778           0              0              45   47   46   
0.00/0.02	c 332            935            49588          7470           0              0              57   59   58   
0.00/0.02	c 465            1317           69013          10401          0              0              69   71   70   
0.00/0.02	c 611            1753           91135          13697          0              0              81   83   82   
0.00/0.03	c 771            2252           115774         17397          0              0              93   95   94   
0.00/0.03	c 947            2782           142403         21447          0              0              105   107   106
0.00/0.03	c 1140           3309           224042         35390          0              0              52   58   54   
0.00/0.04	c 1352           3857           251011         39576          0              0              47   66   54   
0.00/0.04	c 1585           4475           280877         44184          0              0              55   71   59   
0.00/0.04	c 1841           5167           314029         49303          0              0              60   76   64   
0.00/0.04	c 2122           5932           351254         54952          0              0              65   81   69   
0.00/0.05	c 2431           6765           392099         61128          0              0              70   86   74   
0.00/0.05	c 2770           7679           434559         67744          0              0              61   64   62   
0.00/0.05	c 3142           8699           482702         75121          0              0              61   63   62   
0.00/0.06	c 3551           9808           536356         83342          0              0              82   91   83   
0.00/0.06	c 4000           11042          593836         92121          0              0              69   71   70   
0.00/0.06	c 4493           12351          655435         101542         0              0              69   71   70   
0.00/0.07	c 5035           13879          725291         112435         0              0              87   96   88   
0.00/0.07	c 5631           15540          802057         124381         0              0              115   119   118
0.00/0.08	c 6286           17343          885460         137374         0              0              89   91   90   
0.00/0.08	c 7006           19338          978582         151859         0              0              128   131   130
0.00/0.09	c 7798           21552          1080021        167600         0              0              140   143   142
0.00/0.10	c 8669           23940          1197019        190417         0              0              77   122   104 
0.10/0.11	c 9627           26485          1312638        208600         0              0              45   134   64  
0.10/0.11	c 10680          29404          1439052        228296         0              0              36   133   57  
0.10/0.12	c 11838          32524          1581510        250727         0              0              109   111   110
0.10/0.13	c 13111          36165          1743124        275581         0              0              121   123   122
0.10/0.14	c 14511          39966          1917107        302923         0              0              119   123   122
0.10/0.16	c 16051          44150          2109434        332847         0              0              120   123   122
0.10/0.17	c 17745          48869          2323517        365663         0              0              74   77   76   
0.10/0.18	c 19608          53963          2556469        401153         0              0              73   76   75   
0.10/0.20	c 21657          59928          2812964        440449         0              0              113   143   117
0.21/0.22	c 23910          66213          3092141        484149         0              0              152   155   154
0.21/0.23	c 26388          73144          3399023        533222         0              0              64   137   135 
0.21/0.25	c 29113          80630          3743619        589758         0              0              64   167   162 
0.21/0.28	c 32110          88990          4118508        653365         0              0              61   134   128 
0.21/0.30	c 35406          98326          4546811        719794         0              0              142   146   145
0.31/0.33	c 39031          108551         5006660        791640         0              0              142   145   144
0.31/0.36	c 43018          119886         5515205        870268         0              0              129   133   132
0.31/0.39	c 47403          132323         6067517        956531         0              0              125   129   128
0.41/0.43	c 52226          145806         6660629        1049352        0              0              116   120   119
0.41/0.47	c 57531          160697         7321452        1153644        0              0              116   120   119
0.51/0.52	c 63366          177320         8050618        1268648        0              0              128   163   132
0.51/0.57	c 69784          195333         8858030        1394341        0              0              132   167   136
0.60/0.62	c 76843          215280         9736990        1532922        0              0              131   135   134
0.60/0.68	c 84607          237164         10713242       1685911        0              0              130   134   133
0.69/0.74	c 93147          261280         11787367       1855897        0              0              149   153   152
0.79/0.81	c 102541         288369         12976961       2039958        0              0              143   147   146
0.79/0.89	c 112874         317985         14286760       2246769        0              0              146   150   149
0.89/0.98	c 124240         350132         15707442       2470387        0              0              146   150   149
1.00/1.07	c 136742         386028         17293311       2718276        0              0              145   149   148
1.10/1.18	c 150494         425178         19039245       2993241        0              0              145   149   148
1.19/1.29	c 165621         468594         20945277       3291638        0              0              144   148   147
1.39/1.41	c 182260         515573         23012255       3618852        0              0              141   145   144
1.49/1.55	c 200562         567468         25344053       3985158        0              0              141   145   144
1.69/1.71	c 220694         625472         27841079       4385609        0              0              140   144   143
1.79/1.88	c 242839         690022         30641735       4830177        0              0              139   144   143
2.00/2.06	c 267198         759808         33697024       5317364        0              0              140   144   143
2.19/2.27	c 293992         837343         37103608       5852044        0              0              140   145   144
2.39/2.49	c 323465         921276         40848185       6448232        0              0              137   142   141
2.69/2.73	c 355885         1013692        44889413       7088030        0              0              136   142   141
3.00/3.01	c 391547         1115961        49437825       7806048        0              0              138   142   141
3.29/3.31	c 430775         1228207        54389033       8584732        0              0              136   142   141
3.59/3.63	c 473925         1352438        59815928       9442652        0              0              138   142   141
3.89/4.00	c 521390         1490966        65918392       10393904       0              0              138   142   141
4.39/4.40	c 573601         1642163        72505092       11437720       0              0              138   142   141
4.79/4.84	c 631033         1808049        79737880       12581188       0              0              136   142   141
5.29/5.32	c 694208         1990922        87810082       13850483       0              0              138   142   141
5.79/5.86	c 763700         2193538        96501496       15234054       0              0              128   133   132
6.39/6.44	c 840141         2412568        106186883      16756468       0              0              137   142   141
7.00/7.08	c 924226         2654262        116898044      18438483       0              0              137   142   141
7.69/7.78	c 1016719        2923259        128658590      20288401       0              0              137   142   141
8.49/8.57	c 1118461        3220073        141726910      22331974       0              0              137   142   141
9.39/9.43	c 1230377        3545643        155760491      24546685       0              0              136   142   141
10.29/10.39	c 1353484        3907249        171477340      27018476       0              0              137   142   141
11.39/11.42	c 1488901        4302849        188798131      29733243       0              0              137   142   141
12.49/12.55	c 1637859        4735674        207614555      32707912       0              0              137   142   141
13.79/13.82	c 1801712        5217426        228692299      36010116       0              0              137   142   141
15.19/15.23	c 1981950        5741309        251824483      39693334       0              0              136   142   141
16.69/16.75	c 2180211        6317440        276946549      43665519       0              0              136   142   141
18.39/18.44	c 2398298        6954561        304588223      48071408       0              0              136   142   141
20.29/20.30	c 2638193        7651699        335039219      52863845       0              0              136   142   141
22.28/22.33	c 2902077        8428115        368642754      58165398       0              0              136   142   141
24.48/24.54	c 3192349        9272381        405510640      63993298       0              0              137   142   141
26.88/27.00	c 3511648        10210349       446122482      70417936       0              0              137   142   141
29.68/29.72	c 3862876        11240758       490651363      77467805       0              0              136   142   141
32.68/32.73	c 4249226        12364304       540051070      85247266       0              0              137   142   141
35.88/36.00	c 4674211        13604771       594703283      93923981       0              0              136   142   141
39.58/39.62	c 5141694        14979386       654484620      103322711      0              0              136   142   141
43.58/43.60	c 5655925        16487069       720295989      113645692      0              0              136   142   141
47.88/48.00	c 6221579        18141915       792167305      125029986      0              0              136   142   141
52.78/52.88	c 6843798        19955710       873259101      137751926      0              0              137   142   141
58.18/58.21	c 7528238        21979648       960160092      151479007      0              0              136   142   141
63.98/64.10	c 8281122        24182220       1057000263     166736559      0              0              135   142   141
70.57/70.61	c 9109294        26629724       1163530728     183381077      0              0              136   142   141
77.57/77.62	c 10020283       29301049       1279903592     201640048      0              0              135   142   141
85.27/85.38	c 11022370       32228284       1407835953     221719690      0              0              136   142   141
93.98/94.01	c 12124665       35481216       1548999945     243738597      0              0              136   142   141
103.47/103.58	c 13337189       39052639       1704757453     268335878      0              0              136   142   141
113.77/113.81	c 14670965       43006889       1875204201     295105916      0              0              136   142   141
125.16/125.22	c 16138118       47325973       2063363058     324740467      0              0              135   142   141
137.66/137.73	c 17751986       52094689       2269991232     357261071      0              0              136   142   141
151.46/151.58	c 19527240       57282877       2497312856     393149207      0              0              136   142   141
166.46/166.59	c 21480019       63021932       2746216807     432552923      0              0              135   142   141
183.26/183.32	c 23628075       69348098       3020449879     475997112      0              0              135   142   141
201.56/201.64	c 25990936       76314588       3320811161     523322654      0              0              135   142   141
221.56/221.69	c 28590083       83960246       3649949629     575465085      0              0              135   142   141
243.25/243.39	c 31449144       92337696       4012743088     632486529      0              0              135   142   141
267.35/267.49	c 34594111       101549582      4411629453     695206024      0              0              135   142   141
294.45/294.52	c 38053574       111728386      4854813946     764451522      0              0              135   142   141
324.15/324.25	c 41858983       122900992      5343175697     840930408      0              0              135   142   141
356.14/356.27	c 46044932       135323490      5878575009     925083774      0              0              136   142   141
391.34/391.48	c 50649475       148843112      6460678865     1016725017     0              0              135   142   141
430.14/430.23	c 55714472       163734810      7104470101     1117753501     0              0              135   142   141
473.23/473.33	c 61285968       180080390      7809979686     1229192063     0              0              135   142   141
520.33/520.43	c 67414613       198110469      8596165099     1352006503     0              0              135   142   141
572.43/572.55	c 74156122       217946959      9452721469     1487369472     0              0              135   142   141
629.93/630.03	c 81571781       239771164      10401448266    1635475260     0              0              135   142   141
693.22/693.35	c 89729005       263693640      11441882261    1798145361     0              0              134   142   141
761.61/761.77	c 98701951       289967570      12583115320    1977287301     0              0              134   142   141
838.40/838.56	c 108572191      319257439      13851070540    2176270452     0              0              135   142   141
923.60/923.71	c 119429455      351429914      15244799536    2394292029     0              0              135   142   141
1016.69/1016.84	c 131372445      386742781      16777248669    2633588262     0              0              135   142   141
1117.78/1117.97	c 144509734      425820218      18462500916    2898566762     0              0              135   142   141
1229.57/1229.75	c 158960751      468301308      20308508146    3188230266     0              0              134   142   141
1351.36/1351.58	c 174856869      514816248      22330080640    3505313594     0              0              134   142   -128
1487.45/1487.61	c 192342598      566304578      24569946928    3856429927     0              0              135   142   -103
1636.23/1636.40	c 211576899      623233334      27042766872    4241511750     0              0              134   142   -81
1800.13/1800.39	c 232734630      685221746      29728400220    4664071853     0              0              134   142   -61
1981.61/1981.89	c 256008134      753925437      32692848077    5128335054     0              0              134   142   -42
2178.81/2179.04	c 281608988      828804019      35920523565    5636345826     0              0              134   142   -25
2393.89/2394.19	c 309769927      911557834      39486375676    6197201153     0              0              134   142   -10
2519.78/2520.00	
2519.78/2520.00	c *** INTERRUPTED ***
2519.78/2520.00	c restarts              : 133         
2519.78/2520.00	c conflicts             : 326018227    (129384 /sec)
2519.78/2520.00	c decisions             : 959571256    (380817 /sec)
2519.78/2520.00	c propagations          : 6522319175  (2588456 /sec)
2519.78/2520.00	c root propagations     : 0           
2519.78/2520.00	c filter calls          : 41563464869    (16494929 /sec)
2519.78/2520.00	c useless filter calls  : 37286295536    (89 %)
2519.78/2520.00	c Memory used           : 27.95 MB
2519.78/2520.00	c CPU time              : 2519.77 s
2519.78/2520.00	
2519.78/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 (4860 MiB free)
  memory of node 1: 16384 MiB (10846 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100104 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082788/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=4992 CPUtime=0.1 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 1446 0 0 0 10 0 0 0 20 0 1 0 66190989 29298688 1248 33554432000 4194304 6142532 140733793782784 140733793779416 4995681 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1248 810 476 0 475 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+0.209319 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082484/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=4992 CPUtime=0.21 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 1450 0 0 0 21 0 0 0 20 0 1 0 66190989 29298688 1248 33554432000 4194304 6142532 140733793782784 140733793779416 5337654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1248 810 476 0 475 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+0.308731 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082484/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=4992 CPUtime=0.31 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 1453 0 0 0 31 0 0 0 20 0 1 0 66190989 29298688 1248 33554432000 4194304 6142532 140733793782784 140733793779416 5336684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1248 810 476 0 475 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+0.700239 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082484/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=4992 CPUtime=0.69 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 1455 0 0 0 69 0 0 0 20 0 1 0 66190989 29298688 1248 33554432000 4194304 6142532 140733793782784 140733793779416 5337480 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1248 810 476 0 475 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082440/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=4992 CPUtime=1.49 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 1456 0 0 0 149 0 0 0 20 0 1 0 66190989 29298688 1248 33554432000 4194304 6142532 140733793782784 140733793780184 5318987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1248 810 476 0 475 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 4992 KiB

[startup+3.10896 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082496/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5200 CPUtime=3.1 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 1860 0 0 0 310 0 0 0 20 0 1 0 66190989 29298688 1300 33554432000 4194304 6142532 140733793782784 140733793780184 5319106 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1300 834 476 0 475 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5200 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082148/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=6.29 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 2264 0 0 0 629 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4991073 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082148/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=12.69 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 2668 0 0 0 1269 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995502 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082272/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=25.48 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 3476 0 0 0 2548 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5347455 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24354
/proc/meminfo: memFree=16082516/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=51.09 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 3880 0 0 0 5109 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5326540 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24355
/proc/meminfo: memFree=16082460/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=102.27 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 4284 0 0 0 10227 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5318912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24364
/proc/meminfo: memFree=16082892/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=162.26 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 4688 0 0 0 16226 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995255 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24365
/proc/meminfo: memFree=16083000/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=222.25 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 5092 0 0 0 22225 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5336753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24366
/proc/meminfo: memFree=16083088/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=282.25 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 5496 0 0 0 28225 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24367
/proc/meminfo: memFree=16082896/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=342.24 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 5900 0 0 0 34224 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5326537 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24368
/proc/meminfo: memFree=16083336/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=402.24 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 6304 0 0 0 40224 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4990607 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24369
/proc/meminfo: memFree=16083188/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=462.23 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 6708 0 0 0 46223 0 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB


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

/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 24430
/proc/meminfo: memFree=16081916/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=1782.13 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 12873 0 0 0 178212 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+1842.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 24431
/proc/meminfo: memFree=16082172/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=1842.13 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 13277 0 0 0 184212 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995700 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 24432
/proc/meminfo: memFree=16082060/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=1902.12 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 13386 0 0 0 190211 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995483 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 24441
/proc/meminfo: memFree=16081836/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=1962.12 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 13495 0 0 0 196211 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24442
/proc/meminfo: memFree=16082440/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2022.11 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 13926 0 0 0 202210 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5326540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24443
/proc/meminfo: memFree=16082176/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2082.11 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 14030 0 0 0 208210 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995701 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24444
/proc/meminfo: memFree=16081928/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2142.1 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 14134 0 0 0 214209 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4991100 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24445
/proc/meminfo: memFree=16082300/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2202.1 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 14560 0 0 0 220209 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995498 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24446
/proc/meminfo: memFree=16082216/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2262.09 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 14661 0 0 0 226208 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5170144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24447
/proc/meminfo: memFree=16082092/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2322.09 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 14762 0 0 0 232208 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995420 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24448
/proc/meminfo: memFree=16082092/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2382.08 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 14897 0 0 0 238207 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995305 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24449
/proc/meminfo: memFree=16082208/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2442.07 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 15267 0 0 0 244206 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24450
/proc/meminfo: memFree=16082152/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2502.07 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 15368 0 0 0 250206 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 5326524 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24451
/proc/meminfo: memFree=16081780/32770624 swapFree=67108860/67108860
[pid=24292] ppid=24289 vsize=28612 memory=5204 CPUtime=2519.78 cores=0,2,4,6
/proc/24292/stat : 24292 (cosoco) R 24289 24292 22565 0 -1 4202496 15468 0 0 0 251977 1 0 0 20 0 1 0 66190989 29298688 1301 33554432000 4194304 6142532 140733793782784 140733793780184 4995502 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16527360 140733793789062 140733793789192 140733793789192 140733793791950 0
/proc/24292/statm: 7153 1301 834 476 0 475 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 5204 KiB

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

[startup+2520.01 s]
# the end of solver process 24292 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.77 s, system=0.011998 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.78
CPU user time (s): 2519.77
CPU system time (s): 0.011998
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 28612
Max. memory (cumulated for all children) (KiB): 5204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.011998
maximum resident set size= 5268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15520
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= 3161


# summary of solver processes directly reported to runsolver:
#   pid: 24292
#   total CPU time (s): 2519.78
#   total CPU user time (s): 2519.77
#   total CPU system time (s): 0.011998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.98315 second user time and 16.7424 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 04:37:57
IDJOB=4294717
IDBENCH=141414
IDSOLVER=2752
FILE ID=node150/4294717-1532486277
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= d20946c70cb8756d1a4b7fb63c02a1de
RANDOM SEED=359174967

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        16084848 kB
MemAvailable:   31939428 kB
Buffers:          237740 kB
Cached:         15701376 kB
SwapCached:            0 kB
Active:          1576980 kB
Inactive:       14415708 kB
Active(anon):      12108 kB
Inactive(anon):    61412 kB
Active(file):    1564872 kB
Inactive(file): 14354296 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2612 kB
Writeback:             0 kB
AnonPages:         71248 kB
Mapped:            40920 kB
Shmem:             17032 kB
Slab:             390984 kB
SReclaimable:     363872 kB
SUnreclaim:        27112 kB
KernelStack:        3568 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53100 MiB
End job on node150 at 2018-07-25 05:19:57