Trace number 4293570

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 NameAnswerobjective functionCPU timeWall clock time
cosoco 1.12SAT (TO)27304 2520.05 2520.01

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
MD5SUM8413fdc9a9128e0623052c10493da036
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14479
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2554
Number of constraints2355
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}]
Minimum constraint arity2
Maximum constraint arity118
Distribution of constraint arities[{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}]
Number of extensional constraints0
Number of intensional constraints2354
Distribution of constraint types[{"type":"intension","count":2354},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.69/1.71	c best=?? lower=0 upper=518574 
2.49/2.59	c
2.49/2.59	c This is cosoco 1.12 --  
2.49/2.59	c
2.49/2.59	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293570-1532318842.xml 
2.49/2.59	c enable optimization
2.49/2.59	c ========================================[ Problem Statistics ]===========================================
2.49/2.59	c |                                                                                                       
2.49/2.59	c |  Parse time        :         1.66 s 
2.49/2.59	c |
2.49/2.59	c |               Variables: 2554
2.49/2.59	c |            Domain Sizes: 2..44
2.49/2.59	c |
2.49/2.59	c |             Constraints: 2473
2.49/2.59	c |                   Arity: 1..2154  -- Unary: 118  -- Binary: 384  -- Ternary: 1970
2.49/2.59	c | 
2.49/2.59	c |                   Types: 
2.49/2.59	c |                          Intension: 2354
2.49/2.59	c |                          Sum: 1
2.49/2.59	c |                          Unary: 118
2.49/2.59	c |                          
2.49/2.59	c |               Objective: Minimize Sum
2.49/2.59	
2.49/2.59	c =========================================================================================================
2.49/2.59	o 63619
2.49/2.59	c    1 calls to solver: best=63619 lower=0 upper=63618 
4.29/4.38	o 53851
5.10/5.16	o 51609
5.10/5.16	c    3 calls to solver: best=51609 lower=0 upper=51608 
5.99/6.06	o 49770
6.78/6.84	o 47587
6.78/6.84	c    5 calls to solver: best=47587 lower=0 upper=47586 
7.59/7.62	o 47529
8.39/8.40	o 40868
8.39/8.40	c    7 calls to solver: best=40868 lower=0 upper=40867 
9.29/9.37	o 40834
15.88/15.92	o 40787
15.88/15.92	c    9 calls to solver: best=40787 lower=0 upper=40786 
22.79/22.81	o 34880
416.38/416.42	o 34872
416.38/416.42	c   11 calls to solver: best=34872 lower=0 upper=34871 
417.09/417.14	o 34703
417.79/417.85	o 34524
417.79/417.85	c   13 calls to solver: best=34524 lower=0 upper=34523 
418.49/418.54	o 34514
419.19/419.27	o 34441
419.19/419.27	c   15 calls to solver: best=34441 lower=0 upper=34440 
424.59/424.62	o 33783
425.29/425.35	o 33752
425.29/425.35	c   17 calls to solver: best=33752 lower=0 upper=33751 
425.99/426.05	o 33553
426.69/426.77	o 33543
426.69/426.77	c   19 calls to solver: best=33543 lower=0 upper=33542 
427.39/427.47	o 33534
428.19/428.22	o 33533
428.19/428.22	c   21 calls to solver: best=33533 lower=0 upper=33532 
428.99/429.02	o 33462
429.69/429.72	o 33453
429.69/429.72	c   23 calls to solver: best=33453 lower=0 upper=33452 
430.39/430.44	o 33374
431.09/431.17	o 33365
431.09/431.17	c   25 calls to solver: best=33365 lower=0 upper=33364 
432.39/432.42	o 33314
433.09/433.13	o 33304
433.09/433.13	c   27 calls to solver: best=33304 lower=0 upper=33303 
472.10/472.17	o 32974
472.89/472.95	o 32843
472.89/472.95	c   29 calls to solver: best=32843 lower=0 upper=32842 
473.59/473.67	o 32842
474.29/474.39	o 32533
474.29/474.39	c   31 calls to solver: best=32533 lower=0 upper=32532 
475.10/475.11	o 32167
475.79/475.82	o 32066
475.79/475.82	c   33 calls to solver: best=32066 lower=0 upper=32065 
476.49/476.53	o 31965
477.19/477.25	o 31513
477.19/477.25	c   35 calls to solver: best=31513 lower=0 upper=31512 
477.89/477.97	o 31512
478.59/478.68	o 31452
478.59/478.68	c   37 calls to solver: best=31452 lower=0 upper=31451 
479.39/479.40	o 31441
480.10/480.19	o 31401
480.10/480.19	c   39 calls to solver: best=31401 lower=0 upper=31400 
481.19/481.25	o 31342
482.99/483.03	o 31341
482.99/483.03	c   41 calls to solver: best=31341 lower=0 upper=31340 
484.89/484.98	o 31332
487.29/487.33	o 31252
487.29/487.33	c   43 calls to solver: best=31252 lower=0 upper=31251 
488.10/488.18	o 31234
488.89/488.92	o 30464
488.89/488.92	c   45 calls to solver: best=30464 lower=0 upper=30463 
489.59/489.65	o 30451
490.29/490.38	o 30363
490.29/490.38	c   47 calls to solver: best=30363 lower=0 upper=30362 
491.39/491.49	o 30333
492.29/492.30	o 30232
492.29/492.30	c   49 calls to solver: best=30232 lower=0 upper=30231 
493.00/493.02	o 30160
493.79/493.83	o 29473
493.79/493.83	c   51 calls to solver: best=29473 lower=0 upper=29472 
494.49/494.55	o 29432
495.19/495.26	o 29372
495.19/495.26	c   53 calls to solver: best=29372 lower=0 upper=29371 
496.10/496.17	o 29344
496.79/496.87	o 29343
496.79/496.87	c   55 calls to solver: best=29343 lower=0 upper=29342 
497.69/497.78	o 28632
498.39/498.49	o 28349
498.39/498.49	c   57 calls to solver: best=28349 lower=0 upper=28348 
499.10/499.19	o 28261
499.89/499.90	o 28160
499.89/499.90	c   59 calls to solver: best=28160 lower=0 upper=28159 
500.59/500.64	o 28151
509.79/509.89	o 27347
509.79/509.89	c   61 calls to solver: best=27347 lower=0 upper=27346 
513.69/513.73	o 27336
612.69/612.79	o 27304
612.69/612.79	c   63 calls to solver: best=27304 lower=0 upper=27303 
2520.04/2520.01	
2520.04/2520.01	c *** INTERRUPTED ***
2520.04/2520.01	c restarts              : 51          
2520.04/2520.01	c conflicts             : 125307       (50 /sec)
2520.04/2520.01	c decisions             : 2809477      (1115 /sec)
2520.04/2520.01	c propagations          : 302007812   (119848 /sec)
2520.04/2520.01	c root propagations     : 2380        
2520.04/2520.01	c filter calls          : 102813126      (40800 /sec)
2520.04/2520.01	c useless filter calls  : 65105978       (63 %)
2520.04/2520.01	c Memory used           : 155.25 MB
2520.04/2520.01	c CPU time              : 2519.93 s
2520.04/2520.01	
2520.04/2520.01	c nb Solutions = 63
2520.04/2520.01	s SATISFIABLE
2520.04/2520.01	c Best value found: 27304
2520.04/2520.01	
2520.04/2520.01	
2520.04/2520.01	v <instantiation type='solution' cost='27304'>
2520.04/2520.01	v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] za1[0] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[10] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[11] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[12] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[13] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[14] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[15] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[16] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[17] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[18] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[19] za1[1] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[20] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[21] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[22] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[23] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[24] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[25] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[26] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[27] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[28] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[29] za1[2] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[30] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[31] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[32] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[33] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[34] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[35] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[36] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[37] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[38] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[39] za1[3] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[40] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[4] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[5] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[6] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[7] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[8] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[9] za2[0] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[10] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[11] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[12] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[13] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[14] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[15] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[16] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[17] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[18] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[19] za2[1] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[20] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[21] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[22] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[23] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[24] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[25] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[26] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[27] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[28] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[29] za2[2] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[30] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[31] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[32] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[33] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[34] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[35] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[36] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[37] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[38] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[39] za2[3] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[40] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[41] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[42] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[43] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[44] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[45] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[46] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[47] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[48] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[49] za2[4] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[50] za2[510] za2[511] za2[512] za2[513] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[5] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[6] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[7] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[8] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[9] za3[0] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[10] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[11] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[12] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[13] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[14] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[15] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[16] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[17] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[18] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[19] za3[1] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[20] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[21] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[22] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[23] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[24] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[25] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[26] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[27] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[28] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[29] za3[2] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[30] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[31] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[32] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[33] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[34] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[35] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[36] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[37] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[38] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[39] za3[3] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[40] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[41] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[42] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[43] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[44] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[45] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[46] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[47] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[48] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[49] za3[4] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[5] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[6] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[7] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[8] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[9] za4[0] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[10] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[11] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[12] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[13] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[14] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[15] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[16] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[17] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[18] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[19] za4[1] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[20] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[21] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[22] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[23] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[24] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[25] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[26] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[27] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[28] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[29] za4[2] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[30] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[31] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[32] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[33] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[34] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[35] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[36] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[37] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[38] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[39] za4[3] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[40] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[41] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[42] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[43] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[44] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[45] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[46] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[47] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[48] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[49] za4[4] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[50] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[51] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[52] za4[530] za4[531] za4[532] za4[533] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[5] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[6] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[7] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[8] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[9] zb1[0] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[1] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[2] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[3] zb1[40] zb1[41] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb2[0] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[1] zb2[20] zb2[21] zb2[22] zb2[23] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb3[0] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[10] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[1] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[2] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[3] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[4] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[5] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[6] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[7] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[8] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[9] </list>
2520.04/2520.01	v <values>72 58 296 142 380 30 268 44 282 764 526 156 240 478 456 694 750 512 680 442 792 554 394 778 540 114 352 652 414 652 414 100 338 254 722 484 722 484 72 310 708 470 16 254 16 652 414 666 428 708 470 240 478 44 282 30 44 282 778 540 58 296 128 366 708 470 268 694 456 16 254 708 470 100 338 170 408 736 170 408 694 456 792 554 128 366 708 470 498 240 478 352 114 652 414 44 282 708 470 694 792 554 240 478 86 324 526 764 72 310 456 310 750 512 792 554 694 456 100 338 792 554 680 680 442 694 456 114 352 142 380 240 478 442 792 554 764 526 44 282 778 540 652 414 30 722 484 16 254 86 324 16 254 142 380 268 694 456 254 16 128 366 170 408 708 470 792 44 282 240 478 58 296 652 414 554 792 554 680 442 792 554 86 324 16 254 100 338 792 764 526 170 408 778 540 100 338 100 338 554 16 254 240 478 666 428 750 512 254 16 30 792 554 680 442 526 764 722 484 792 554 268 666 16 254 366 128 114 352 750 512 792 554 16 100 338 30 268 282 44 352 114 736 498 254 16 254 128 366 708 470 30 268 128 366 750 666 428 128 366 778 540 694 456 58 296 512 58 296 128 366 680 442 16 254 652 414 666 694 456 792 554 694 456 778 540 170 408 428 16 254 114 352 792 554 792 554 764 526 792 764 526 708 470 30 268 554 792 778 540 554 86 324 16 254 240 478 16 254 708 470 16 142 380 170 408 114 352 708 470 680 442 254 428 156 394 58 296 170 408 666 428 16 254 778 240 478 16 254 666 428 722 484 30 268 540 240 478 736 498 16 254 778 540 764 526 58 792 554 764 526 16 254 128 366 526 764 296 792 554 114 352 484 722 680 442 722 484 16 128 366 268 30 30 268 680 442 16 254 254 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 0 10 10 10 </values>
2520.04/2520.01	v </instantiation>
2520.04/2520.01

Verifier Data 

OK	27304

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 (10327 MiB free)
  memory of node 1: 16384 MiB (10891 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293570-1532318842/watcher-4293570-1532318842 -o /tmp/evaluation-result-4293570-1532318842/solver-4293570-1532318842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293570-1532318842.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100162 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21716528/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=39272 memory=15624 CPUtime=0.1 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 4078 0 0 0 10 0 0 0 20 0 1 0 49447357 40214528 3906 33554432000 4194304 6142532 140730134335280 140730134331912 139946822724581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 9818 3906 805 476 0 3140 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39272 KiB
Current children cumulated memory: 15624 KiB

[startup+0.209829 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21710500/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=45080 memory=21428 CPUtime=0.21 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 5533 0 0 0 21 0 0 0 20 0 1 0 49447357 46161920 5357 33554432000 4194304 6142532 140730134335280 140730134325880 139946822724581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 11270 5357 805 476 0 4592 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45080 KiB
Current children cumulated memory: 21428 KiB

[startup+0.309511 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21704920/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=50860 memory=27212 CPUtime=0.3 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 6959 0 0 0 30 0 0 0 20 0 1 0 49447357 52080640 6803 33554432000 4194304 6142532 140730134335280 140730134325880 139946823185388 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 12715 6803 805 476 0 6037 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50860 KiB
Current children cumulated memory: 27212 KiB

[startup+0.700302 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21693388/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=72784 memory=49136 CPUtime=0.68 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 12441 0 0 0 67 1 0 0 20 0 1 0 49447357 74530816 12284 33554432000 4194304 6142532 140730134335280 140730134325880 139946822724581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 18196 12284 805 476 0 11518 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72784 KiB
Current children cumulated memory: 49136 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21665116/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=118576 memory=94924 CPUtime=1.49 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 23899 0 0 0 146 3 0 0 20 0 1 0 49447357 121421824 23731 33554432000 4194304 6142532 140730134335280 140730134326296 139946822724581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 29644 23731 805 476 0 22966 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118576 KiB
Current children cumulated memory: 94924 KiB

[startup+3.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21603420/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=151532 memory=128108 CPUtime=3.1 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 51130 0 0 0 304 6 0 0 20 0 1 0 49447357 155168768 32027 33554432000 4194304 6142532 140730134335280 140730134332152 5215821 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 37883 32027 852 476 0 31205 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 151532 KiB
Current children cumulated memory: 128108 KiB

[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21599576/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=155896 memory=132380 CPUtime=6.29 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 74726 0 0 0 622 7 0 0 20 0 1 0 49447357 159637504 33095 33554432000 4194304 6142532 140730134335280 140730134332808 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 38974 33095 852 476 0 32296 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 155896 KiB
Current children cumulated memory: 132380 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21598956/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=156032 memory=132548 CPUtime=12.69 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 97908 0 0 0 1261 8 0 0 20 0 1 0 49447357 159776768 33137 33554432000 4194304 6142532 140730134335280 140730134332808 5139732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39008 33137 852 476 0 32330 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 156032 KiB
Current children cumulated memory: 132548 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21597708/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=157660 memory=134172 CPUtime=25.48 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 142181 0 0 0 2538 10 0 0 20 0 1 0 49447357 161443840 33543 33554432000 4194304 6142532 140730134335280 140730134332808 5051895 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39415 33543 852 476 0 32737 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 157660 KiB
Current children cumulated memory: 134172 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=21596800/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158196 memory=134748 CPUtime=51.09 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 161010 0 0 0 5098 11 0 0 20 0 1 0 49447357 161992704 33687 33554432000 4194304 6142532 140730134335280 140730134332136 5396934 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39549 33687 852 476 0 32871 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 158196 KiB
Current children cumulated memory: 134748 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10887
/proc/meminfo: memFree=21596552/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158328 memory=134900 CPUtime=102.27 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 172121 0 0 0 10216 11 0 0 20 0 1 0 49447357 162127872 33725 33554432000 4194304 6142532 140730134335280 140730134332024 5047845 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39582 33725 852 476 0 32904 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 134900 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10896
/proc/meminfo: memFree=21595592/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158328 memory=134900 CPUtime=162.27 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 172602 0 0 0 16216 11 0 0 20 0 1 0 49447357 162127872 33725 33554432000 4194304 6142532 140730134335280 140730134332024 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39582 33725 852 476 0 32904 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 134900 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10897
/proc/meminfo: memFree=21596236/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158328 memory=134900 CPUtime=222.27 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 173056 0 0 0 22216 11 0 0 20 0 1 0 49447357 162127872 33725 33554432000 4194304 6142532 140730134335280 140730134332024 5396937 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39582 33725 852 476 0 32904 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 134900 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10959
/proc/meminfo: memFree=21255260/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158328 memory=134900 CPUtime=282.27 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 173508 0 0 0 28216 11 0 0 20 0 1 0 49447357 162127872 33725 33554432000 4194304 6142532 140730134335280 140730134332024 5138167 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39582 33725 852 476 0 32904 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 134900 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10960
/proc/meminfo: memFree=21243852/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158328 memory=134908 CPUtime=342.27 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 173945 0 0 0 34216 11 0 0 20 0 1 0 49447357 162127872 33727 33554432000 4194304 6142532 140730134335280 140730134332024 5366791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39582 33727 852 476 0 32904 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 134908 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10961
/proc/meminfo: memFree=21238608/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158328 memory=134920 CPUtime=402.28 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 174390 0 0 0 40217 11 0 0 20 0 1 0 49447357 162127872 33730 33554432000 4194304 6142532 140730134335280 140730134332024 5371860 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39582 33730 852 476 0 32904 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 134920 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10962
/proc/meminfo: memFree=21238240/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158464 memory=135080 CPUtime=462.29 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 174955 0 0 0 46217 12 0 0 20 0 1 0 49447357 162267136 33770 33554432000 4194304 6142532 140730134335280 140730134322552 5138432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39616 33770 852 476 0 32938 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 158464 KiB
Current children cumulated memory: 135080 KiB


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

/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11024
/proc/meminfo: memFree=21233652/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=1782.31 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 182389 0 0 0 178219 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11025
/proc/meminfo: memFree=21233280/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=1842.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 182663 0 0 0 184220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5363675 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11026
/proc/meminfo: memFree=21233396/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=1902.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 182937 0 0 0 190220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5146759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11035
/proc/meminfo: memFree=21232548/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=1962.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 183211 0 0 0 196220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5175088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11036
/proc/meminfo: memFree=21233312/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2022.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 183485 0 0 0 202220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5215601 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11037
/proc/meminfo: memFree=21233164/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2082.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 183759 0 0 0 208220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5361433 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11038
/proc/meminfo: memFree=21232924/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2142.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 184030 0 0 0 214220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5374088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11039
/proc/meminfo: memFree=21232800/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2202.32 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 184301 0 0 0 220220 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5137872 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11040
/proc/meminfo: memFree=21232924/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2262.33 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 184573 0 0 0 226221 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 139946832669521 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11041
/proc/meminfo: memFree=21232740/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2322.33 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 184847 0 0 0 232221 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5044812 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11042
/proc/meminfo: memFree=21233112/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2382.33 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 185119 0 0 0 238221 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5372476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11043
/proc/meminfo: memFree=21233096/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2442.33 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 185393 0 0 0 244221 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5215635 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11044
/proc/meminfo: memFree=21233204/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2502.33 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 185667 0 0 0 250221 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5371868 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11044
/proc/meminfo: memFree=21233204/32770624 swapFree=67108860/67108860
[pid=10885] ppid=10882 vsize=158976 memory=135636 CPUtime=2520.04 cores=1,3,5,7
/proc/10885/stat : 10885 (cosoco) R 10882 10885 7732 0 -1 4202496 185940 0 0 0 251992 12 0 0 20 0 1 0 49447357 162791424 33909 33554432000 4194304 6142532 140730134335280 140730134322552 5399762 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24207360 140730134336646 140730134336776 140730134336776 140730134339534 0
/proc/10885/statm: 39744 33909 852 476 0 33066 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 158976 KiB
Current children cumulated memory: 135636 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.125003
maximum resident set size= 135704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185989
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= 46
involuntary context switches= 696


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.19642 second user time and 17.4234 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-23 06:07:22
IDJOB=4293570
IDBENCH=141193
IDSOLVER=2752
FILE ID=node137/4293570-1532318842
RUNJOBID= node137-1532296151-7764
PBS_JOBID= 21018986
Free space on /tmp= 56892 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-07-opt_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293570-1532318842/watcher-4293570-1532318842 -o /tmp/evaluation-result-4293570-1532318842/solver-4293570-1532318842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293570-1532318842.xml

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=1471542956

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21728696 kB
MemAvailable:   31934504 kB
Buffers:          250880 kB
Cached:         10152368 kB
SwapCached:            0 kB
Active:          1752180 kB
Inactive:        8709924 kB
Active(anon):      61636 kB
Inactive(anon):    16944 kB
Active(file):    1690544 kB
Inactive(file):  8692980 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:         65776 kB
Mapped:            38204 kB
Shmem:             17036 kB
Slab:             277864 kB
SReclaimable:     250744 kB
SUnreclaim:        27120 kB
KernelStack:        3360 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345112 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56888 MiB
End job on node137 at 2018-07-23 06:49:22