Trace number 4242540

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
R1: cosoco-sat 1.1No Cert. 2400.08 2401.6

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-fs/
Pb-fs-50-250-0-45-90-4-1000.xml
MD5SUM3ae127b68cfa611bb704d38a0211b659
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-178
Best CPU time to get the best result obtained on this benchmark248.36501
Satisfiable
(Un)Satisfiability was proved
Number of variables2025
Number of constraints62994
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2025}]
Minimum variable degree10
Maximum variable degree121
Distribution of variable degrees[{"degree":10,"count":5},{"degree":11,"count":8},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":3},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":24,"count":1},{"degree":30,"count":1},{"degree":31,"count":4},{"degree":32,"count":15},{"degree":33,"count":16},{"degree":34,"count":32},{"degree":35,"count":24},{"degree":36,"count":30},{"degree":37,"count":27},{"degree":38,"count":21},{"degree":39,"count":19},{"degree":40,"count":4},{"degree":41,"count":7},{"degree":42,"count":1},"...",{"degree":96,"count":34}, {"degree":97,"count":30}, {"degree":98,"count":49}, {"degree":99,"count":64}, {"degree":100,"count":72}, {"degree":101,"count":96}, {"degree":102,"count":113}, {"degree":103,"count":112}, {"degree":104,"count":133}, {"degree":105,"count":128}, {"degree":106,"count":120}, {"degree":107,"count":126}, {"degree":108,"count":97}, {"degree":109,"count":78}, {"degree":110,"count":77}, {"degree":111,"count":68}, {"degree":112,"count":38}, {"degree":113,"count":29}, {"degree":114,"count":22}, {"degree":115,"count":26}, {"degree":116,"count":13}, {"degree":117,"count":10}, {"degree":118,"count":8}, {"degree":120,"count":2}, {"degree":121,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":1170},{"arity":3,"count":61824}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":62994}]
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 

2.39/2.44	c SAT : Variables: 4050 -- Clauses: 4050
2.39/2.45	c best=?? lower=-327 upper=0 
2.59/2.64	c
2.59/2.64	c This is cosoco 1.0 --  
2.59/2.64	c
2.59/2.64	c enable optimization
2.59/2.64	c ========================================[ Problem Statistics ]===========================================
2.59/2.64	c |                                                                                                       
2.59/2.64	c |  Parse time        :         2.21 s 
2.59/2.64	c |
2.59/2.64	c |               Variables: 2025
2.59/2.64	c |            Domain Sizes: 2..2
2.59/2.64	c |
2.59/2.64	c |             Constraints: 62995
2.59/2.64	c |                   Arity: 2..135  -- Binary: 1170  -- Ternary: 61824
2.59/2.64	c | 
2.59/2.64	c |                   Types: 
2.59/2.64	c |                          Sum: 62995
2.59/2.64	c |                          
2.59/2.64	c =========================================================================================================
2.59/2.64	o 0
2.59/2.64	c    1 calls to solver: best=0 lower=-327 upper=-1 
2.79/2.84	o -1
2.99/3.03	o -4
2.99/3.03	c    3 calls to solver: best=-4 lower=-327 upper=-5 
3.19/3.24	o -5
3.40/3.43	o -7
3.40/3.43	c    5 calls to solver: best=-7 lower=-327 upper=-8 
3.59/3.62	o -8
3.79/3.81	o -9
3.79/3.81	c    7 calls to solver: best=-9 lower=-327 upper=-10 
3.99/4.00	o -11
4.09/4.19	o -13
4.09/4.19	c    9 calls to solver: best=-13 lower=-327 upper=-14 
4.29/4.39	o -14
4.49/4.59	o -15
4.49/4.59	c   11 calls to solver: best=-15 lower=-327 upper=-16 
4.68/4.79	o -16
4.88/4.99	o -17
4.88/4.99	c   13 calls to solver: best=-17 lower=-327 upper=-18 
5.08/5.18	o -19
5.28/5.38	o -20
5.28/5.38	c   15 calls to solver: best=-20 lower=-327 upper=-21 
5.49/5.57	o -22
5.68/5.79	o -23
5.68/5.79	c   17 calls to solver: best=-23 lower=-327 upper=-24 
5.88/5.98	o -24
6.08/6.18	o -25
6.08/6.18	c   19 calls to solver: best=-25 lower=-327 upper=-26 
6.28/6.38	o -26
6.48/6.58	o -27
6.48/6.58	c   21 calls to solver: best=-27 lower=-327 upper=-28 
6.69/6.78	o -28
6.88/6.98	o -29
6.88/6.98	c   23 calls to solver: best=-29 lower=-327 upper=-30 
7.08/7.18	o -30
7.28/7.37	o -31
7.28/7.37	c   25 calls to solver: best=-31 lower=-327 upper=-32 
7.48/7.59	o -32
7.69/7.79	o -33
7.69/7.79	c   27 calls to solver: best=-33 lower=-327 upper=-34 
7.88/7.99	o -35
8.18/8.20	o -37
8.18/8.20	c   29 calls to solver: best=-37 lower=-327 upper=-38 
8.38/8.41	o -38
8.58/8.61	o -39
8.58/8.61	c   31 calls to solver: best=-39 lower=-327 upper=-40 
8.79/8.82	o -40
8.98/9.02	o -41
8.98/9.02	c   33 calls to solver: best=-41 lower=-327 upper=-42 
9.18/9.23	o -43
9.38/9.43	o -45
9.38/9.43	c   35 calls to solver: best=-45 lower=-327 upper=-46 
9.58/9.64	o -46
9.78/9.84	o -47
9.78/9.84	c   37 calls to solver: best=-47 lower=-327 upper=-48 
9.98/10.05	o -48
10.18/10.27	o -49
10.18/10.27	c   39 calls to solver: best=-49 lower=-327 upper=-50 
10.37/10.49	o -50
10.67/10.70	o -51
10.67/10.70	c   41 calls to solver: best=-51 lower=-327 upper=-52 
10.87/10.91	o -52
11.08/11.12	o -53
11.08/11.12	c   43 calls to solver: best=-53 lower=-327 upper=-54 
11.28/11.34	o -54
11.48/11.57	o -55
11.48/11.57	c   45 calls to solver: best=-55 lower=-327 upper=-56 
11.68/11.79	o -56
12.09/12.11	o -57
12.09/12.11	c   47 calls to solver: best=-57 lower=-327 upper=-58 
12.38/12.42	o -58
12.58/12.64	o -59
12.58/12.64	c   49 calls to solver: best=-59 lower=-327 upper=-60 
12.78/12.86	o -60
13.08/13.20	o -61
13.08/13.20	c   51 calls to solver: best=-61 lower=-327 upper=-62 
13.38/13.42	o -62
13.58/13.63	o -63
13.58/13.63	c   53 calls to solver: best=-63 lower=-327 upper=-64 
13.78/13.85	o -64
13.98/14.09	o -65
13.98/14.09	c   55 calls to solver: best=-65 lower=-327 upper=-66 
14.29/14.31	o -66
14.47/14.53	o -67
14.47/14.53	c   57 calls to solver: best=-67 lower=-327 upper=-68 
14.77/14.80	o -69
14.97/15.03	o -70
14.97/15.03	c   59 calls to solver: best=-70 lower=-327 upper=-71 
15.17/15.25	o -71
15.38/15.48	o -72
15.38/15.48	c   61 calls to solver: best=-72 lower=-327 upper=-73 
15.57/15.69	o -73
15.87/15.91	o -74
15.87/15.91	c   63 calls to solver: best=-74 lower=-327 upper=-75 
16.07/16.13	o -75
16.27/16.37	o -76
16.27/16.37	c   65 calls to solver: best=-76 lower=-327 upper=-77 
16.48/16.59	o -77
16.77/16.88	o -78
16.77/16.88	c   67 calls to solver: best=-78 lower=-327 upper=-79 
17.07/17.11	o -79
17.27/17.35	o -80
17.27/17.35	c   69 calls to solver: best=-80 lower=-327 upper=-81 
17.58/17.61	o -81
17.77/17.83	o -82
17.77/17.83	c   71 calls to solver: best=-82 lower=-327 upper=-83 
17.97/18.06	o -83
18.17/18.29	o -84
18.17/18.29	c   73 calls to solver: best=-84 lower=-327 upper=-85 
18.47/18.54	o -85
18.68/18.76	o -86
18.68/18.76	c   75 calls to solver: best=-86 lower=-327 upper=-87 
18.87/18.98	o -87
19.17/19.20	o -88
19.17/19.20	c   77 calls to solver: best=-88 lower=-327 upper=-89 
19.37/19.42	o -89
19.57/19.65	o -90
19.57/19.65	c   79 calls to solver: best=-90 lower=-327 upper=-91 
19.78/19.87	o -91
20.07/20.13	o -92
20.07/20.13	c   81 calls to solver: best=-92 lower=-327 upper=-93 
20.27/20.36	o -93
20.57/20.60	o -94
20.57/20.60	c   83 calls to solver: best=-94 lower=-327 upper=-95 
21.77/21.80	o -95
23.07/23.17	o -96
23.07/23.17	c   85 calls to solver: best=-96 lower=-327 upper=-97 
23.67/23.73	o -97
23.97/24.10	o -98
23.97/24.10	c   87 calls to solver: best=-98 lower=-327 upper=-99 
24.46/24.55	o -99
25.37/25.41	o -100
25.37/25.41	c   89 calls to solver: best=-100 lower=-327 upper=-101 
25.56/25.64	o -101
26.06/26.13	o -102
26.06/26.13	c   91 calls to solver: best=-102 lower=-327 upper=-103 
26.76/26.83	o -103
27.47/27.52	o -104
27.47/27.52	c   93 calls to solver: best=-104 lower=-327 upper=-105 
28.16/28.28	o -105
29.26/29.38	o -106
29.26/29.38	c   95 calls to solver: best=-106 lower=-327 upper=-107 
30.87/30.93	o -107
31.16/31.28	o -108
31.16/31.28	c   97 calls to solver: best=-108 lower=-327 upper=-109 
32.36/32.48	o -109
35.17/35.22	o -110
35.17/35.22	c   99 calls to solver: best=-110 lower=-327 upper=-111 
37.56/37.63	o -111
37.86/37.95	o -112
37.86/37.95	c  101 calls to solver: best=-112 lower=-327 upper=-113 
39.16/39.27	o -113
57.14/57.21	o -114
57.14/57.21	c  103 calls to solver: best=-114 lower=-327 upper=-115 
62.73/62.89	o -115
93.60/93.72	o -116
93.60/93.72	c  105 calls to solver: best=-116 lower=-327 upper=-117 
181.71/181.96	o -117
187.80/188.00	o -118
187.80/188.00	c  107 calls to solver: best=-118 lower=-327 upper=-119 
191.90/192.19	o -119
192.20/192.45	o -120
192.20/192.45	c  109 calls to solver: best=-120 lower=-327 upper=-121 
192.41/192.68	o -121
192.70/192.94	o -122
192.70/192.94	c  111 calls to solver: best=-122 lower=-327 upper=-123 
192.90/193.18	o -123
193.20/193.41	o -124
193.20/193.41	c  113 calls to solver: best=-124 lower=-327 upper=-125 
193.41/193.66	o -125
372.13/372.53	o -126
372.13/372.53	c  115 calls to solver: best=-126 lower=-327 upper=-127 
399.31/399.74	o -127
627.70/628.24	o -128
627.70/628.24	c  117 calls to solver: best=-128 lower=-327 upper=-129 
631.80/632.38	o -129
641.30/641.82	o -130
641.30/641.82	c  119 calls to solver: best=-130 lower=-327 upper=-131 
644.80/645.30	o -131
645.40/645.97	o -132
645.40/645.97	c  121 calls to solver: best=-132 lower=-327 upper=-133 
645.80/646.38	o -133
646.20/646.80	o -134
646.20/646.80	c  123 calls to solver: best=-134 lower=-327 upper=-135 
653.19/653.74	o -135
671.78/672.33	o -136
671.78/672.33	c  125 calls to solver: best=-136 lower=-327 upper=-137 
1010.50/1011.25	o -137
1094.45/1095.23	o -138
1094.45/1095.23	c  127 calls to solver: best=-138 lower=-327 upper=-139 
1201.50/1202.33	o -139
1456.06/1457.02	o -140
1456.06/1457.02	c  129 calls to solver: best=-140 lower=-327 upper=-141 
1631.17/1632.27	o -141
2400.07/2401.60	
2400.07/2401.60	c *** INTERRUPTED ***
2400.07/2401.60	s SATISFIABLE
2400.07/2401.60	c Best value found: -141
2400.07/2401.60	
2400.07/2401.60	
2400.07/2401.60	v <instantiation type='solution' cost='-141'>
2400.07/2401.60	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] </list>
2400.07/2401.60	v <values>0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 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 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Verifier Data 

ERROR: no instantiation found

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-4242540-1500658488/watcher-4242540-1500658488 -o /tmp/evaluation-result-4242540-1500658488/solver-4242540-1500658488 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9862 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242540-1500658488.xml 

pid=11373
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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/242 11376
/proc/meminfo: memFree=32026192/32770624 swapFree=5928/193788
[pid=11376] ppid=11373 vsize=27252 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 1113641 27906048 800 33554432000 4194304 5970956 140736364240832 140736364236104 140537171987429 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 6813 800 698 434 0 177 0

[startup+0.10012 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11376
/proc/meminfo: memFree=32026192/32770624 swapFree=5928/193788
[pid=11376] ppid=11373 vsize=30116 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 1769 0 0 0 9 0 0 0 20 0 1 0 1113641 30838784 1548 33554432000 4194304 5970956 140736364240832 140736364237432 5496067 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 7529 1548 734 434 0 893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30116

[startup+0.200274 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11376
/proc/meminfo: memFree=32026192/32770624 swapFree=5928/193788
[pid=11376] ppid=11373 vsize=30636 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 1889 0 0 0 19 0 0 0 20 0 1 0 1113641 31371264 1674 33554432000 4194304 5970956 140736364240832 140736364237432 5496079 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 7659 1674 735 434 0 1023 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30636

[startup+0.300222 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11376
/proc/meminfo: memFree=32026192/32770624 swapFree=5928/193788
[pid=11376] ppid=11373 vsize=30768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 1977 0 0 0 29 0 0 0 20 0 1 0 1113641 31506432 1739 33554432000 4194304 5970956 140736364240832 140736364237432 140537171987429 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 7692 1739 735 434 0 1056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30768

[startup+0.70018 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11376
/proc/meminfo: memFree=32026192/32770624 swapFree=5928/193788
[pid=11376] ppid=11373 vsize=32712 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 2616 0 0 0 69 0 0 0 20 0 1 0 1113641 33497088 2075 33554432000 4194304 5970956 140736364240832 140736364237432 5670106 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 8178 2075 735 434 0 1542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32712

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11377
/proc/meminfo: memFree=31992656/32770624 swapFree=5928/193788
[pid=11376] ppid=11373 vsize=217068 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 48800 0 0 0 141 8 0 0 20 0 1 0 1113641 222277632 48275 33554432000 4194304 5970956 140736364240832 140736364234696 140537171983166 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 54267 48275 735 434 0 47631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 217068

[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11377
/proc/meminfo: memFree=31562836/32770624 swapFree=5928/193480
[pid=11376] ppid=11373 vsize=578508 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 207448 0 0 0 284 25 0 0 20 0 1 0 1113641 592392192 137629 33554432000 4194304 5970956 140736364240832 140736364228136 4908311 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 144627 137629 785 434 0 137991 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 578508

[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11377
/proc/meminfo: memFree=31475664/32770624 swapFree=5928/193508
[pid=11376] ppid=11373 vsize=581092 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 245198 0 0 0 602 26 0 0 20 0 1 0 1113641 595038208 138267 33554432000 4194304 5970956 140736364240832 140736364228136 140537171991945 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 145273 138267 785 434 0 138637 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 581092

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11377
/proc/meminfo: memFree=31472328/32770624 swapFree=5928/193516
[pid=11376] ppid=11373 vsize=584732 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 319000 0 0 0 1237 31 0 0 20 0 1 0 1113641 598765568 139160 33554432000 4194304 5970956 140736364240832 140736364228136 5044841 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146183 139160 785 434 0 139547 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 584732

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 4/243 11377
/proc/meminfo: memFree=31469444/32770624 swapFree=5928/193540
[pid=11376] ppid=11373 vsize=585964 CPUtime=25.46 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 390529 0 0 0 2512 34 0 0 20 0 1 0 1113641 600027136 139581 33554432000 4194304 5970956 140736364240832 140736364228136 5045004 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146491 139581 785 434 0 139855 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 585964

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11377
/proc/meminfo: memFree=31468296/32770624 swapFree=5928/193568
[pid=11376] ppid=11373 vsize=586372 CPUtime=51.04 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 491047 0 0 0 5065 39 0 0 20 0 1 0 1113641 600444928 139884 33554432000 4194304 5970956 140736364240832 140736364238392 5044841 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146593 139884 785 434 0 139957 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 586372

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11378
/proc/meminfo: memFree=31467484/32770624 swapFree=5928/193620
[pid=11376] ppid=11373 vsize=586504 CPUtime=102.19 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 555394 0 0 0 10177 42 0 0 20 0 1 0 1113641 600580096 139928 33554432000 4194304 5970956 140736364240832 140736364228136 5136570 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 139928 785 434 0 139990 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 586504

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11379
/proc/meminfo: memFree=31467384/32770624 swapFree=5928/193656
[pid=11376] ppid=11373 vsize=586504 CPUtime=162.12 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 601499 0 0 0 16167 45 0 0 20 0 1 0 1113641 600580096 139932 33554432000 4194304 5970956 140736364240832 140736364228136 5045004 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 139932 785 434 0 139990 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 586504

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11380
/proc/meminfo: memFree=31467080/32770624 swapFree=5928/193708
[pid=11376] ppid=11373 vsize=586504 CPUtime=222.07 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 633096 0 0 0 22160 47 0 0 20 0 1 0 1113641 600580096 139953 33554432000 4194304 5970956 140736364240832 140736364238392 5045004 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 139953 785 434 0 139990 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 586504

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11381
/proc/meminfo: memFree=31466984/32770624 swapFree=5928/193744
[pid=11376] ppid=11373 vsize=586504 CPUtime=282.01 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 651237 0 0 0 28153 48 0 0 20 0 1 0 1113641 600580096 139955 33554432000 4194304 5970956 140736364240832 140736364238392 5327993 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 139955 785 434 0 139990 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 586504

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11389
/proc/meminfo: memFree=31465828/32770624 swapFree=5928/193800
[pid=11376] ppid=11373 vsize=586504 CPUtime=341.94 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 653619 0 0 0 34146 48 0 0 20 0 1 0 1113641 600580096 140011 33554432000 4194304 5970956 140736364240832 140736364238392 5044841 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 140011 785 434 0 139990 0
Current children cumulated CPU time (s) 341.94
Current children cumulated vsize (KiB) 586504

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11390
/proc/meminfo: memFree=31465772/32770624 swapFree=5928/193836
[pid=11376] ppid=11373 vsize=586504 CPUtime=401.91 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 654839 0 0 0 40143 48 0 0 20 0 1 0 1113641 600580096 140022 33554432000 4194304 5970956 140736364240832 140736364238392 5136608 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 140022 785 434 0 139990 0
Current children cumulated CPU time (s) 401.91
Current children cumulated vsize (KiB) 586504

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11391
/proc/meminfo: memFree=31466144/32770624 swapFree=5928/193868
[pid=11376] ppid=11373 vsize=586504 CPUtime=461.88 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 655700 0 0 0 46140 48 0 0 20 0 1 0 1113641 600580096 140023 33554432000 4194304 5970956 140736364240832 140736364238392 5337501 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 140023 785 434 0 139990 0
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (KiB) 586504

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11392
/proc/meminfo: memFree=31466128/32770624 swapFree=5928/193904
[pid=11376] ppid=11373 vsize=586504 CPUtime=521.85 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 656789 0 0 0 52137 48 0 0 20 0 1 0 1113641 600580096 140025 33554432000 4194304 5970956 140736364240832 140736364238392 5136803 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 140025 785 434 0 139990 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 586504

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11393
/proc/meminfo: memFree=31466988/32770624 swapFree=5928/193932
[pid=11376] ppid=11373 vsize=586504 CPUtime=581.82 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 657795 0 0 0 58134 48 0 0 20 0 1 0 1113641 600580096 140026 33554432000 4194304 5970956 140736364240832 140736364238392 4908171 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146626 140026 785 434 0 139990 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 586504


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11418
/proc/meminfo: memFree=31467452/32770624 swapFree=5928/194316
[pid=11376] ppid=11373 vsize=586636 CPUtime=1481.35 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 673174 0 0 0 148086 49 0 0 20 0 1 0 1113641 600715264 140048 33554432000 4194304 5970956 140736364240832 140736364228136 5327993 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140048 785 434 0 140023 0
Current children cumulated CPU time (s) 1481.35
Current children cumulated vsize (KiB) 586636

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11427
/proc/meminfo: memFree=31467220/32770624 swapFree=5928/194312
[pid=11376] ppid=11373 vsize=586636 CPUtime=1541.33 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 674162 0 0 0 154084 49 0 0 20 0 1 0 1113641 600715264 140049 33554432000 4194304 5970956 140736364240832 140736364228136 5045728 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140049 785 434 0 140023 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 586636

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11450
/proc/meminfo: memFree=31465144/32770624 swapFree=5928/194344
[pid=11376] ppid=11373 vsize=586636 CPUtime=1601.29 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 675070 0 0 0 160080 49 0 0 20 0 1 0 1113641 600715264 140049 33554432000 4194304 5970956 140736364240832 140736364228136 5136795 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140049 785 434 0 140023 0
Current children cumulated CPU time (s) 1601.29
Current children cumulated vsize (KiB) 586636

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11451
/proc/meminfo: memFree=31465036/32770624 swapFree=5928/194384
[pid=11376] ppid=11373 vsize=586636 CPUtime=1661.26 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 676085 0 0 0 166077 49 0 0 20 0 1 0 1113641 600715264 140050 33554432000 4194304 5970956 140736364240832 140736364238392 5045004 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140050 785 434 0 140023 0
Current children cumulated CPU time (s) 1661.26
Current children cumulated vsize (KiB) 586636

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11452
/proc/meminfo: memFree=31465344/32770624 swapFree=5928/194412
[pid=11376] ppid=11373 vsize=586636 CPUtime=1721.23 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 676936 0 0 0 172074 49 0 0 20 0 1 0 1113641 600715264 140050 33554432000 4194304 5970956 140736364240832 140736364238392 5045304 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140050 785 434 0 140023 0
Current children cumulated CPU time (s) 1721.23
Current children cumulated vsize (KiB) 586636

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11453
/proc/meminfo: memFree=31465928/32770624 swapFree=5928/194440
[pid=11376] ppid=11373 vsize=586636 CPUtime=1781.19 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 677992 0 0 0 178070 49 0 0 20 0 1 0 1113641 600715264 140050 33554432000 4194304 5970956 140736364240832 140736364238392 5045736 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140050 785 434 0 140023 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 586636

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11520
/proc/meminfo: memFree=31360632/32770624 swapFree=5928/194616
[pid=11376] ppid=11373 vsize=586636 CPUtime=1841.16 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 679128 0 0 0 184066 50 0 0 20 0 1 0 1113641 600715264 140051 33554432000 4194304 5970956 140736364240832 140736364238392 5045238 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140051 785 434 0 140023 0
Current children cumulated CPU time (s) 1841.16
Current children cumulated vsize (KiB) 586636

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11521
/proc/meminfo: memFree=31358716/32770624 swapFree=5928/194660
[pid=11376] ppid=11373 vsize=586636 CPUtime=1901.12 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 680036 0 0 0 190062 50 0 0 20 0 1 0 1113641 600715264 140051 33554432000 4194304 5970956 140736364240832 140736364238392 5045004 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140051 785 434 0 140023 0
Current children cumulated CPU time (s) 1901.12
Current children cumulated vsize (KiB) 586636

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11522
/proc/meminfo: memFree=31358644/32770624 swapFree=5928/194700
[pid=11376] ppid=11373 vsize=586636 CPUtime=1961.08 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 680897 0 0 0 196058 50 0 0 20 0 1 0 1113641 600715264 140051 33554432000 4194304 5970956 140736364240832 140736364238392 5045736 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140051 785 434 0 140023 0
Current children cumulated CPU time (s) 1961.08
Current children cumulated vsize (KiB) 586636

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11523
/proc/meminfo: memFree=31357232/32770624 swapFree=5928/194736
[pid=11376] ppid=11373 vsize=586636 CPUtime=2021.04 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 682095 0 0 0 202054 50 0 0 20 0 1 0 1113641 600715264 140053 33554432000 4194304 5970956 140736364240832 140736364238392 5045004 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140053 785 434 0 140023 0
Current children cumulated CPU time (s) 2021.04
Current children cumulated vsize (KiB) 586636

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11524
/proc/meminfo: memFree=31356612/32770624 swapFree=5928/194756
[pid=11376] ppid=11373 vsize=586636 CPUtime=2081.01 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 683046 0 0 0 208051 50 0 0 20 0 1 0 1113641 600715264 140053 33554432000 4194304 5970956 140736364240832 140736364238392 5136795 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140053 785 434 0 140023 0
Current children cumulated CPU time (s) 2081.01
Current children cumulated vsize (KiB) 586636

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11533
/proc/meminfo: memFree=31356088/32770624 swapFree=5928/194800
[pid=11376] ppid=11373 vsize=586636 CPUtime=2140.96 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 683932 0 0 0 214046 50 0 0 20 0 1 0 1113641 600715264 140054 33554432000 4194304 5970956 140736364240832 140736364238392 5045461 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140054 785 434 0 140023 0
Current children cumulated CPU time (s) 2140.96
Current children cumulated vsize (KiB) 586636

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11534
/proc/meminfo: memFree=31354264/32770624 swapFree=5928/194828
[pid=11376] ppid=11373 vsize=586636 CPUtime=2200.93 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 684976 0 0 0 220043 50 0 0 20 0 1 0 1113641 600715264 140054 33554432000 4194304 5970956 140736364240832 140736364238392 5044845 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140054 785 434 0 140023 0
Current children cumulated CPU time (s) 2200.93
Current children cumulated vsize (KiB) 586636

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11535
/proc/meminfo: memFree=31354604/32770624 swapFree=5928/194884
[pid=11376] ppid=11373 vsize=586636 CPUtime=2260.88 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 685879 0 0 0 226038 50 0 0 20 0 1 0 1113641 600715264 140054 33554432000 4194304 5970956 140736364240832 140736364238392 4908554 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140054 785 434 0 140023 0
Current children cumulated CPU time (s) 2260.88
Current children cumulated vsize (KiB) 586636

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11536
/proc/meminfo: memFree=31352404/32770624 swapFree=5928/194876
[pid=11376] ppid=11373 vsize=586636 CPUtime=2320.83 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 686850 0 0 0 232033 50 0 0 20 0 1 0 1113641 600715264 140054 33554432000 4194304 5970956 140736364240832 140736364238392 5045683 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140054 785 434 0 140023 0
Current children cumulated CPU time (s) 2320.83
Current children cumulated vsize (KiB) 586636

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11537
/proc/meminfo: memFree=31352464/32770624 swapFree=5928/194904
[pid=11376] ppid=11373 vsize=586636 CPUtime=2380.78 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 687755 0 0 0 238028 50 0 0 20 0 1 0 1113641 600715264 140055 33554432000 4194304 5970956 140736364240832 140736364238392 5044790 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140055 785 434 0 140023 0
Current children cumulated CPU time (s) 2380.78
Current children cumulated vsize (KiB) 586636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.6 s]
/proc/loadavg: 2.07 2.03 2.05 3/244 11537
/proc/meminfo: memFree=31352464/32770624 swapFree=5928/194912
[pid=11376] ppid=11373 vsize=586636 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/11376/stat : 11376 (cosoco) R 11373 11376 9830 0 -1 4202496 688075 0 0 0 239957 50 0 0 20 0 1 0 1113641 600715264 140055 33554432000 4194304 5970956 140736364240832 140736364238392 5045308 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 21688320 140736364242108 140736364242243 140736364242243 140736364244942 0
/proc/11376/statm: 146659 140055 785 434 0 140023 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 586636

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 11376 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2401.6
CPU time (s): 2400.08
CPU user time (s): 2399.58
CPU system time (s): 0.505707
CPU usage (%): 99.9367
Max. virtual memory (cumulated for all children) (KiB): 586636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.505707
maximum resident set size= 560272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688112
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= 261
involuntary context switches= 123082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24824 second user time and 13.1975 second system time

The end

Launcher Data 

Begin job on node151 at 2017-07-21 19:34:48
IDJOB=4242540
IDBENCH=134650
IDSOLVER=2621
FILE ID=node151/4242540-1500658488
RUNJOBID= node151-1500648172-9862
PBS_JOBID= 20623270
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-fs/Pb-fs-50-250-0-45-90-4-1000.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242540-1500658488/watcher-4242540-1500658488 -o /tmp/evaluation-result-4242540-1500658488/solver-4242540-1500658488 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9862 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242540-1500658488.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3ae127b68cfa611bb704d38a0211b659
RANDOM SEED=1447555516

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32026892 kB
MemAvailable:   32022284 kB
Buffers:           35732 kB
Cached:           269872 kB
SwapCached:            0 kB
Active:           166624 kB
Inactive:         202472 kB
Active(anon):      66264 kB
Inactive(anon):     8684 kB
Active(file):     100360 kB
Inactive(file):   193788 kB
Unevictable:        5928 kB
Mlocked:            5960 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4768 kB
Writeback:             0 kB
AnonPages:         68772 kB
Mapped:            31652 kB
Shmem:              8848 kB
Slab:              65836 kB
SReclaimable:      34156 kB
SUnreclaim:        31680 kB
KernelStack:        4272 kB
PageTables:         5924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62020 MiB
End job on node151 at 2017-07-21 20:14:49