Trace number 4267926

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.8301 2520

General information on the benchmark

NameBlackhole/Blackhole-m1-s10/
Blackhole-10-3-01.xml
MD5SUM4b3f242d4d7820c1a4b57bc20b9aba43
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.071172997
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints67
Number of domains1
Minimum domain size40
Maximum domain size40
Distribution of domain sizes[{"size":40,"count":80}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":67},{"degree":3,"count":13}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":65},{"arity":80,"count":1}]
Number of extensional constraints39
Number of intensional constraints27
Distribution of constraint types[{"type":"extension","count":39},{"type":"intension","count":27},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.06	c intension y[31]<y[19]  using generic constraint 
0.00/0.06	c intension y[19]<y[1]  using generic constraint 
0.00/0.06	c intension y[37]<y[39]  using generic constraint 
0.00/0.06	c intension y[39]<y[25]  using generic constraint 
0.00/0.06	c intension y[20]<y[26]  using generic constraint 
0.00/0.06	c intension y[26]<y[11]  using generic constraint 
0.00/0.06	c intension y[36]<y[6]  using generic constraint 
0.00/0.06	c intension y[6]<y[8]  using generic constraint 
0.00/0.06	c intension y[15]<y[9]  using generic constraint 
0.00/0.06	c intension y[9]<y[21]  using generic constraint 
0.00/0.06	c intension y[17]<y[2]  using generic constraint 
0.00/0.06	c intension y[2]<y[35]  using generic constraint 
0.00/0.06	c intension y[3]<y[22]  using generic constraint 
0.00/0.06	c intension y[22]<y[13]  using generic constraint 
0.00/0.06	c intension y[23]<y[10]  using generic constraint 
0.00/0.06	c intension y[10]<y[7]  using generic constraint 
0.00/0.06	c intension y[38]<y[29]  using generic constraint 
0.00/0.06	c intension y[29]<y[18]  using generic constraint 
0.00/0.06	c intension y[24]<y[4]  using generic constraint 
0.00/0.06	c intension y[4]<y[14]  using generic constraint 
0.00/0.06	c intension y[33]<y[28]  using generic constraint 
0.00/0.06	c intension y[28]<y[16]  using generic constraint 
0.00/0.06	c intension y[32]<y[30]  using generic constraint 
0.00/0.06	c intension y[30]<y[34]  using generic constraint 
0.00/0.06	c intension y[5]<y[27]  using generic constraint 
0.00/0.06	c intension y[27]<y[12]  using generic constraint 
0.00/0.07	c root propagations     : 234         
0.00/0.07	c restarts enabled, print stats at every restarts
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c This is cosoco 1.12 --  
0.00/0.07	c
0.00/0.07	c command line: cosoco -lc -model -restarts HOME/instance-4267926-1502545681.xml 
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.01 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 80
0.00/0.07	c |            Domain Sizes: 40..40
0.00/0.07	c |
0.00/0.07	c |             Constraints: 106
0.00/0.07	c |                   Arity: 1..41  -- Unary: 1  -- Binary: 65
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          (X - Y < k): 26
0.00/0.07	c |                          Element Constant: 40
0.00/0.07	c |                          Extension: 39  (nb tuples: 320..320) -- (shared: 38)
0.00/0.07	c |                          Intension: 1
0.00/0.07	c |                          
0.00/0.07	c =========================================================================================================
0.00/0.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.07	c 101            236            20831          8139           80             0              44   52   46   
0.00/0.07	c 211            435            38476          23914          80             0              31   35   33   
0.00/0.07	c 332            734            63589          32589          80             0              33   36   35   
0.00/0.08	c 465            934            88221          55739          80             0              32   35   32   
0.00/0.08	c 611            1225           117208         68555          80             0              25   30   27   
0.00/0.08	c 771            1466           151203         102784         80             0              30   34   31   
0.00/0.08	c 947            1783           178754         123402         80             0              32   33   32   
0.00/0.09	c 1140           2043           219313         150778         80             0              26   32   29   
0.00/0.09	c 1352           2349           249438         174699         80             0              30   34   30   
0.03/0.10	c 1585           2667           301449         216653         80             0              26   33   28   
0.03/0.10	c 1841           3088           336174         239967         80             0              31   37   34   
0.03/0.11	c 2122           3485           384616         258826         80             0              25   39   35   
0.03/0.11	c 2431           3996           415270         273655         80             0              33   36   35   
0.03/0.11	c 2770           4449           473208         297395         80             0              23   39   37   
0.03/0.12	c 3142           5054           516252         317056         80             0              33   34   33   
0.03/0.12	c 3551           5718           564298         338584         80             0              34   35   34   
0.03/0.13	c 4000           6288           639422         361330         80             0              32   38   37   
0.03/0.13	c 4493           6915           699445         381481         80             0              30   33   31   
0.03/0.14	c 5035           7703           767413         427284         80             0              33   35   33   
0.03/0.14	c 5631           8752           848103         459855         80             0              28   35   31   
0.03/0.15	c 6286           10023          940000         501659         80             0              31   34   30   
0.03/0.16	c 7006           11051          1000706        539252         80             0              35   37   36   
0.03/0.17	c 7798           12217          1169730        641101         80             0              27   34   29   
0.03/0.18	c 8669           13601          1249822        680545         80             0              35   37   36   
0.03/0.18	c 9627           15021          1325603        733338         80             0              35   36   35   
0.03/0.19	c 10680          16856          1444793        774656         80             0              33   35   34   
0.13/0.20	c 11838          18709          1544840        819348         80             0              34   36   35   
0.13/0.21	c 13111          21397          1746735        868026         80             0              29   40   36   
0.13/0.23	c 14511          23495          1904021        957730         80             0              34   36   34   
0.13/0.25	c 16051          26050          2117409        1070638        80             0              28   36   33   
0.13/0.26	c 17745          28468          2283522        1167604        80             0              34   37   35   
0.13/0.27	c 19608          30577          2478106        1207850        80             0              32   34   33   
0.13/0.29	c 21657          33753          2650979        1294086        80             0              33   36   34   
0.23/0.31	c 23910          38181          2936955        1391327        80             0              33   36   35   
0.23/0.34	c 26388          42312          3314695        1540493        80             0              28   40   32   
0.23/0.37	c 29113          46152          3671094        1891320        80             0              28   33   32   
0.33/0.41	c 32110          51829          4135948        2155411        80             0              33   35   34   
0.33/0.46	c 35406          57581          4634196        2477113        80             0              30   35   33   
0.43/0.51	c 39031          62121          5134754        2964660        80             0              27   31   29   
0.43/0.57	c 43018          71814          5968598        3318609        80             0              29   48   38   
0.53/0.62	c 47403          77772          6605263        3755146        80             0              32   34   33   
0.53/0.69	c 52226          86469          7383661        4245723        80             0              29   36   32   
0.63/0.76	c 57531          93269          8142302        4709658        80             0              33   34   33   
0.73/0.86	c 63366          103028         9248024        5669753        80             0              31   37   34   
0.83/0.93	c 69784          112025         10206709       6368180        80             0              32   35   34   
0.93/1.02	c 76843          123438         11139042       6926165        80             0              34   38   37   
0.93/1.09	c 84607          136868         12071230       7354372        80             0              31   36   33   
1.13/1.21	c 93147          151878         13659001       8005824        80             0              30   45   40   
1.23/1.32	c 102541         166982         14982168       8774080        80             0              30   37   34   
1.33/1.45	c 112874         189666         16669896       9541841        80             0              31   35   33   
1.43/1.56	c 124240         210679         18146265       10192385       80             0              29   35   32   
1.63/1.72	c 136742         237945         20254962       11195488       80             0              31   35   33   
1.73/1.87	c 150494         257565         22040868       12443145       80             0              31   35   33   
1.93/2.06	c 165621         289358         24503339       13644765       80             0              31   35   33   
2.23/2.30	c 182260         331980         27977961       15005104       80             0              28   43   37   
2.33/2.48	c 200562         366466         30457691       15839136       80             0              28   42   34   
2.53/2.64	c 220694         392264         32375803       16956117       80             0              34   35   34   
2.73/2.82	c 242839         422359         34538604       18217865       80             0              35   35   34   
2.93/3.07	c 267198         471524         38098318       19035012       80             0              30   49   38   
3.13/3.29	c 293992         515692         41035349       20244309       80             0              34   38   36   
3.53/3.60	c 323465         577458         45351147       22058979       80             0              32   37   35   
3.73/3.86	c 355885         635974         48995624       23351342       80             0              34   37   36   
4.03/4.13	c 391547         685635         52453050       24988288       80             0              34   36   35   
4.33/4.43	c 430775         738059         57453363       26103367       80             0              25   38   36   
4.63/4.73	c 473925         811203         61420330       27686209       80             0              31   37   34   
5.43/5.52	c 521390         898003         71475328       32468250       80             0              30   38   33   
5.83/5.97	c 573601         986358         77443155       34979170       80             0              31   37   34   
6.53/6.66	c 631033         1095187        86665141       38533452       80             0              33   37   35   
7.13/7.24	c 694208         1202638        94244449       41925950       80             0              32   36   35   
7.83/7.94	c 763700         1303798        102572423      46207840       80             0              33   37   34   
8.63/8.74	c 840141         1438298        112562098      50993024       80             0              31   37   34   
9.33/9.44	c 924226         1559740        121319409      55318215       80             0              32   37   34   
10.23/10.36	c 1016719        1711284        132841372      60570270       80             0              33   37   35   
11.03/11.15	c 1118461        1899589        146130723      63728147       80             0              31   42   40   
11.93/12.05	c 1230377        2064675        157436640      68919455       80             0              32   35   33   
13.42/13.54	c 1353484        2259476        175508515      78692758       80             0              31   36   34   
18.32/18.43	c 1488901        2680517        235573600      104187104      80             0              30   38   37   
19.73/19.87	c 1637859        2911059        254715642      113519450      80             0              31   36   33   
21.02/21.13	c 1801712        3148042        270743128      120985130      80             0              32   35   34   
22.22/22.38	c 1981950        3503656        292681024      125689971      80             0              30   43   41   
24.52/24.62	c 2180211        3877706        321007065      137707675      80             0              33   36   35   
26.52/26.68	c 2398298        4186194        348631941      149854366      80             0              25   34   31   
29.42/29.58	c 2638193        4624479        384150909      165901194      80             0              33   36   34   
32.22/32.37	c 2902077        5148045        427003850      175115399      80             0              33   37   36   
34.42/34.59	c 3192349        5551545        451165079      192003217      80             0              28   36   33   
38.02/38.11	c 3511648        6072146        493928701      213877365      80             0              31   36   34   
41.92/42.05	c 3862876        6819395        559307654      227709951      80             0              37   42   40   
45.62/45.79	c 4249226        7417622        608712434      251636520      80             0              33   35   33   
48.81/48.93	c 4674211        8192377        661699359      265272439      80             0              32   43   40   
53.31/53.46	c 5141694        9138340        724871310      285975504      80             0              33   36   35   
58.11/58.22	c 5655925        9864006        794507604      310078479      80             0              25   34   31   
65.81/65.96	c 6221579        10846886       883198484      355423005      80             0              33   36   34   
72.11/72.24	c 6843798        11726298       953970224      395655761      80             0              34   35   34   
79.71/79.85	c 7528238        13163551       1081265029     421452234      80             0              38   41   40   
87.21/87.39	c 8281122        14314374       1177619731     470959955      80             0              32   36   34   
95.10/95.27	c 9109294        16069621       1306900442     500270496      80             0              36   43   40   
106.00/106.12	c 10020283       17582952       1433744788     570976479      80             0              33   36   34   
115.00/115.18	c 11022370       19177970       1552027976     624819161      80             0              33   36   34   
124.90/125.06	c 12124665       21486932       1716605150     661961769      80             0              36   43   40   
140.00/140.13	c 13337189       23543121       1893683744     758756139      80             0              33   36   34   
151.90/152.00	c 14670965       25655000       2049031507     829049232      80             0              33   36   34   
160.51/160.66	c 16138118       27703164       2194748497     864942814      80             0              32   43   41   
183.20/183.38	c 17751986       30408051       2466062280     984140275      80             0              22   41   32   
200.50/200.67	c 19527240       32862811       2646184992     1131439602     80             0              31   36   33   
214.20/214.36	c 21480019       35760579       2877561334     1182992032     80             0              27   46   40   
235.50/235.70	c 23628075       39389961       3164852411     1271283967     80             0              23   40   30   
253.60/253.76	c 25990936       42742451       3368723089     1425415542     80             0              29   34   33   
291.60/291.78	c 28590083       47515420       3866838626     1659299528     80             0              27   42   34   
315.40/315.57	c 31449144       51904373       4168480976     1861720416     80             0              28   36   33   
353.50/353.68	c 34594111       56363185       4608457515     2262250856     80             0              25   35   30   
379.09/379.28	c 38053574       61962898       5038783945     2372739036     80             0              19   46   39   
427.59/427.78	c 41858983       67554375       5606566554     2822317208     80             0              29   33   31   
494.09/494.28	c 46044932       75010517       6482967068     3268074451     80             0              22   42   35   
600.79/600.96	c 50649475       84265248       7786974389     4175248088     80             0              26   41   30   
656.78/656.97	c 55714472       91710713       8469328591     4580257621     80             0              30   36   33   
716.98/717.16	c 61285968       98714442       9216438537     4999655269     80             0              32   44   36   
824.78/825.00	c 67414613       110068702      10555835970    5584514291     80             0              24   48   39   
894.88/895.01	c 74156122       118010142      11360518097    5948363033     80             0              31   40   34   
991.57/991.75	c 81571781       129191189      12497381875    6620292079     80             0              31   37   34   
1130.37/1130.53	c 89729005       144272731      14086567558    7701758572     80             0              30   35   33   
1276.46/1276.60	c 98701951       157501075      15722591166    8910270503     80             0              28   35   32   
1437.56/1437.73	c 108572191      174340099      17518618460    10214384295    80             0              28   37   32   
1547.95/1548.18	c 119429455      191746216      19104371460    10958648919    80             0              31   44   37   
1749.04/1749.25	c 131372445      209406927      21246958866    12350686029    80             0              30   37   34   
1919.94/1920.19	c 144509734      226745810      23259739127    13298188428    80             0              28   38   35   
2105.23/2105.48	c 158960751      245298172      25184710430    14721493242    80             0              31   35   34   
2246.42/2246.67	c 174856869      263378913      27044818058    15310715129    80             0              31   38   34   
2467.22/2467.44	c 192342598      284871916      29257506080    17004809312    80             0              30   37   32   
2519.81/2520.00	
2519.81/2520.00	c *** INTERRUPTED ***
2519.81/2520.00	c restarts              : 128         
2519.81/2520.00	c conflicts             : 198496323    (78774 /sec)
2519.81/2520.00	c decisions             : 293350848    (116417 /sec)
2519.81/2520.00	c propagations          : 17256909393 (6848472 /sec)
2519.81/2520.00	c root propagations     : 234         
2519.81/2520.00	c filter calls          : 30111838730    (11950000 /sec)
2519.81/2520.00	c useless filter calls  : 18817144960    (62 %)
2519.81/2520.00	c Memory used           : 26.62 MB
2519.81/2520.00	c CPU time              : 2519.82 s
2519.81/2520.00	
2519.81/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267926-1502545681/watcher-4267926-1502545681 -o /tmp/evaluation-result-4267926-1502545681/solver-4267926-1502545681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267926-1502545681.xml 

pid=10454
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 10457
/proc/meminfo: memFree=31352580/32770624 swapFree=0/329144
[pid=10457] ppid=10454 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10457/stat : 10457 (runsolver) D 10454 10457 1785 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 56763532 24240128 108 18446744073709551615 4194304 4338465 140725977923728 140725977921368 139785816429271 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18706432 140725977931970 140725977932361 140725977932361 140725977935818 0
/proc/10457/statm: 5918 108 54 36 0 2156 0

[startup+0.100168 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 10457
/proc/meminfo: memFree=31352580/32770624 swapFree=0/329144
[pid=10457] ppid=10454 vsize=27260 CPUtime=0.03 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1133 0 0 0 3 0 0 0 20 0 1 0 56763532 27914240 964 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4908987 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 964 826 435 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27260

[startup+0.201162 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 10457
/proc/meminfo: memFree=31352580/32770624 swapFree=0/329144
[pid=10457] ppid=10454 vsize=27260 CPUtime=0.13 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1133 0 0 0 13 0 0 0 20 0 1 0 56763532 27914240 964 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5099616 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 964 826 435 0 178 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 27260

[startup+0.301161 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 10457
/proc/meminfo: memFree=31352580/32770624 swapFree=0/329144
[pid=10457] ppid=10454 vsize=27260 CPUtime=0.23 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1133 0 0 0 23 0 0 0 20 0 1 0 56763532 27914240 964 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4909184 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 964 826 435 0 178 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 27260

[startup+0.70016 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 10457
/proc/meminfo: memFree=31352580/32770624 swapFree=0/329144
[pid=10457] ppid=10454 vsize=27260 CPUtime=0.63 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1133 0 0 0 63 0 0 0 20 0 1 0 56763532 27914240 964 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5082336 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 964 826 435 0 178 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 27260

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10458
/proc/meminfo: memFree=31351624/32770624 swapFree=0/329312
[pid=10457] ppid=10454 vsize=27260 CPUtime=1.43 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1133 0 0 0 143 0 0 0 20 0 1 0 56763532 27914240 964 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995479 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 964 826 435 0 178 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 27260

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10458
/proc/meminfo: memFree=31351492/32770624 swapFree=0/329160
[pid=10457] ppid=10454 vsize=27260 CPUtime=3.03 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1212 0 0 0 303 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995572 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 27260

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10459
/proc/meminfo: memFree=31351500/32770624 swapFree=0/329164
[pid=10457] ppid=10454 vsize=27260 CPUtime=6.23 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1291 0 0 0 623 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995525 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 27260

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10459
/proc/meminfo: memFree=31350756/32770624 swapFree=0/329168
[pid=10457] ppid=10454 vsize=27260 CPUtime=12.63 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1370 0 0 0 1263 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5312318 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 27260

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10459
/proc/meminfo: memFree=31351004/32770624 swapFree=0/329176
[pid=10457] ppid=10454 vsize=27260 CPUtime=25.42 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1528 0 0 0 2542 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5099616 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 27260

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10459
/proc/meminfo: memFree=31351252/32770624 swapFree=0/329168
[pid=10457] ppid=10454 vsize=27260 CPUtime=51.01 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1607 0 0 0 5101 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5320973 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 27260

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10461
/proc/meminfo: memFree=31351320/32770624 swapFree=0/329188
[pid=10457] ppid=10454 vsize=27260 CPUtime=102.21 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1686 0 0 0 10221 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995517 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 27260

[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 10463
/proc/meminfo: memFree=31350328/32770624 swapFree=0/329208
[pid=10457] ppid=10454 vsize=27260 CPUtime=162.2 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1765 0 0 0 16220 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5328717 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 27260

[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 10465
/proc/meminfo: memFree=31350576/32770624 swapFree=0/329216
[pid=10457] ppid=10454 vsize=27260 CPUtime=222.21 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1844 0 0 0 22221 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995525 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 27260

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 10467
/proc/meminfo: memFree=31350328/32770624 swapFree=0/329216
[pid=10457] ppid=10454 vsize=27260 CPUtime=282.2 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 1923 0 0 0 28220 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995517 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 27260

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 10470
/proc/meminfo: memFree=31350436/32770624 swapFree=0/329232
[pid=10457] ppid=10454 vsize=27260 CPUtime=342.2 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 2002 0 0 0 34220 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5328528 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27260

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 10486
/proc/meminfo: memFree=31346088/32770624 swapFree=0/329256
[pid=10457] ppid=10454 vsize=27260 CPUtime=402.19 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 2081 0 0 0 40219 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5321113 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27260

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 10488
/proc/meminfo: memFree=31347960/32770624 swapFree=0/329272
[pid=10457] ppid=10454 vsize=27260 CPUtime=462.19 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 2160 0 0 0 46219 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5320310 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 27260

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10490
/proc/meminfo: memFree=31349328/32770624 swapFree=0/329276
[pid=10457] ppid=10454 vsize=27260 CPUtime=522.19 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 2239 0 0 0 52219 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5109313 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 27260

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 10492
/proc/meminfo: memFree=31349368/32770624 swapFree=0/329284
[pid=10457] ppid=10454 vsize=27260 CPUtime=582.19 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 2304 0 0 0 58219 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995525 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 27260


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


[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 10556
/proc/meminfo: memFree=31345964/32770624 swapFree=0/329428
[pid=10457] ppid=10454 vsize=27260 CPUtime=1602.15 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3549 0 0 0 160215 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995482 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 27260

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/184 10582
/proc/meminfo: memFree=31344480/32770624 swapFree=0/329456
[pid=10457] ppid=10454 vsize=27260 CPUtime=1662.15 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3614 0 0 0 166215 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5319908 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 27260

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 10584
/proc/meminfo: memFree=31344244/32770624 swapFree=0/329480
[pid=10457] ppid=10454 vsize=27260 CPUtime=1722.14 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3679 0 0 0 172214 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5320283 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 27260

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 10586
/proc/meminfo: memFree=31348508/32770624 swapFree=0/329492
[pid=10457] ppid=10454 vsize=27260 CPUtime=1782.14 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3758 0 0 0 178214 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 27260

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 10588
/proc/meminfo: memFree=31348384/32770624 swapFree=0/329504
[pid=10457] ppid=10454 vsize=27260 CPUtime=1842.14 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3823 0 0 0 184214 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5338144 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 27260

[startup+1902.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/181 10651
/proc/meminfo: memFree=30794824/32770624 swapFree=0/329520
[pid=10457] ppid=10454 vsize=27260 CPUtime=1902.14 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3888 0 0 0 190214 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5319888 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 27260

[startup+1962.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 10653
/proc/meminfo: memFree=30793772/32770624 swapFree=0/329304
[pid=10457] ppid=10454 vsize=27260 CPUtime=1962.13 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 3967 0 0 0 196213 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995530 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 27260

[startup+2022.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/182 10656
/proc/meminfo: memFree=30793800/32770624 swapFree=0/329312
[pid=10457] ppid=10454 vsize=27260 CPUtime=2022.13 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4032 0 0 0 202213 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5320955 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 27260

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 10658
/proc/meminfo: memFree=30793220/32770624 swapFree=0/329336
[pid=10457] ppid=10454 vsize=27260 CPUtime=2082.13 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4097 0 0 0 208213 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5328685 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 27260

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 10660
/proc/meminfo: memFree=30792628/32770624 swapFree=0/329340
[pid=10457] ppid=10454 vsize=27260 CPUtime=2142.13 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4176 0 0 0 214213 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5321549 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 27260

[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 10699
/proc/meminfo: memFree=30787556/32770624 swapFree=0/329396
[pid=10457] ppid=10454 vsize=27260 CPUtime=2202.13 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4240 0 0 0 220213 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995572 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 27260

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/186 10702
/proc/meminfo: memFree=30784084/32770624 swapFree=0/329392
[pid=10457] ppid=10454 vsize=27260 CPUtime=2262.12 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4319 0 0 0 226212 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995456 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 27260

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10704
/proc/meminfo: memFree=30790732/32770624 swapFree=0/329412
[pid=10457] ppid=10454 vsize=27260 CPUtime=2322.12 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4384 0 0 0 232212 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995479 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 27260

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10706
/proc/meminfo: memFree=30790880/32770624 swapFree=0/329444
[pid=10457] ppid=10454 vsize=27260 CPUtime=2382.12 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4449 0 0 0 238212 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5328628 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 27260

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10708
/proc/meminfo: memFree=30790844/32770624 swapFree=0/329436
[pid=10457] ppid=10454 vsize=27260 CPUtime=2442.12 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4514 0 0 0 244212 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4995479 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2442.12
Current children cumulated vsize (KiB) 27260

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10710
/proc/meminfo: memFree=30790860/32770624 swapFree=0/329432
[pid=10457] ppid=10454 vsize=27260 CPUtime=2502.11 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4593 0 0 0 250211 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 5320827 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2502.11
Current children cumulated vsize (KiB) 27260



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10710
/proc/meminfo: memFree=30790860/32770624 swapFree=0/329432
[pid=10457] ppid=10454 vsize=27260 CPUtime=2519.81 cores=0,2,4,6
/proc/10457/stat : 10457 (cosoco) R 10454 10457 1785 0 -1 4202496 4658 0 0 0 251981 0 0 0 20 0 1 0 56763532 27914240 975 18446744073709551615 4194304 5972588 140730915385728 140730915383032 4913437 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21749760 140730915394030 140730915394125 140730915394125 140730915397582 0
/proc/10457/statm: 6815 975 835 435 0 178 0
Current children cumulated CPU time (s) 2519.81
Current children cumulated vsize (KiB) 27260

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10457 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.83
CPU user time (s): 2519.82
CPU system time (s): 0.005999
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 27260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.005999
maximum resident set size= 3968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4708
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= 10
involuntary context switches= 794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74377 second user time and 8.80489 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 15:34:00
IDJOB=4267926
IDBENCH=134531
IDSOLVER=2658
FILE ID=node126/4267926-1502545681
RUNJOBID= node126-1502500311-1848
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-01.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267926-1502545681/watcher-4267926-1502545681 -o /tmp/evaluation-result-4267926-1502545681/solver-4267926-1502545681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267926-1502545681.xml

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

MD5SUM BENCH= 4b3f242d4d7820c1a4b57bc20b9aba43
RANDOM SEED=1609938316

node126.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.81
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.81
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.81
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.81
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:        31352852 kB
MemAvailable:   31984348 kB
Buffers:          304084 kB
Cached:           599856 kB
SwapCached:          524 kB
Active:           560360 kB
Inactive:         400728 kB
Active(anon):      11396 kB
Inactive(anon):    71324 kB
Active(file):     548964 kB
Inactive(file):   329404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2508 kB
Writeback:             0 kB
AnonPages:         56860 kB
Mapped:            45580 kB
Shmem:             25248 kB
Slab:             163680 kB
SReclaimable:     137928 kB
SUnreclaim:        25752 kB
KernelStack:        3216 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node126 at 2017-08-12 16:16:00