Trace number 4409302

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0 parallelSAT 448.59 60.4742

General information on the benchmark

NameMagicSequence/MagicSequence-count-s1/
MagicSequence-1000-co.xml
MD5SUM747b40881cd41efe91eebad5da45ed52
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.7392
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1002
Number of domains1
Minimum domain size1000
Maximum domain size1000
Distribution of domain sizes[{"size":1000,"count":1000}]
Minimum variable degree1002
Maximum variable degree1002
Distribution of variable degrees[{"degree":1002,"count":1000}]
Minimum constraint arity1000
Maximum constraint arity1000
Distribution of constraint arities[{"arity":1000,"count":1002}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problemNO
Type of objective

Solver Data 

7.79/3.54	c root propagations     : 990888      
7.79/3.54	c restarts enabled, print stats at every restarts
7.79/3.54	c
7.79/3.54	c
7.79/3.54	c
7.79/3.54	c This is cosoco 2.00 --  
7.79/3.54	c
7.79/3.54	c command line: cosoco -model -nbcores=8 HOME/instance-4409302-1569822035.xml 
7.79/3.54	c ========================================[ Problem Statistics ]===========================================
7.79/3.54	c |                                                                                                       
7.79/3.54	c |  Parse time        :         2.66 s 
7.79/3.54	c |
7.79/3.54	c |               Variables: 1000
7.79/3.54	c |            Domain Sizes: 1000..1000
7.79/3.54	c |
7.79/3.54	c |             Constraints: 1002
7.79/3.54	c |                   Arity: 999..1000
7.79/3.54	c | 
7.79/3.54	c |                   Types: 
7.79/3.54	c |                          Exactly K variable: 1000
7.79/3.54	c |                          Sum: 2
7.79/3.54	c |                          
7.79/3.54	c =========================================================================================================
7.79/3.54	c Parallel mode: Portfolio
7.79/3.54	c [pFactory][Group N°0] created (threads:8).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
7.79/3.54	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
7.79/3.54	c [pFactory][Group N°0] concurrent mode: enabled.
7.79/3.54	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
7.79/3.54	c [pFactory][Group N°0] task 7 launched on thread 0.
7.79/3.54	c [pFactory][Group N°0] task 6 launched on thread 1.
7.79/3.54	c [pFactory][Group N°0] task 5 launched on thread 2.
7.79/3.54	c [pFactory][Group N°0] task 4 launched on thread 4.
7.79/3.54	c [pFactory][Group N°0] task 3 launched on thread 3.
7.79/3.54	c [pFactory][Group N°0] task 2 launched on thread 5.
7.79/3.54	c [pFactory][Group N°0] task 1 launched on thread 6.
7.79/3.54	c [pFactory][Group N°0] task 0 launched on thread 7.
7.79/3.54	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
7.79/3.57	c root propagations     : 990888      
7.79/3.57	c restarts enabled, print stats at every restarts
7.79/3.57	c
7.79/3.57	c
7.79/3.57	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
7.79/3.57	c root propagations     : 990888      
7.79/3.57	c restarts enabled, print stats at every restarts
7.79/3.57	c
7.79/3.57	c
7.79/3.57	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
7.79/3.58	c root propagations     : 990888      
7.79/3.58	c restarts enabled, print stats at every restarts
7.79/3.58	c
7.79/3.58	c
7.79/3.58	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.48/3.67	c root propagations     : 990888      
8.48/3.67	c restarts enabled, print stats at every restarts
8.48/3.67	c
8.48/3.67	c
8.48/3.67	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.48/3.67	c root propagations     : 990888      
8.48/3.67	c restarts enabled, print stats at every restarts
8.48/3.67	c
8.48/3.67	c
8.48/3.67	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.02/3.73	c root propagations     : 990888      
9.02/3.73	c restarts enabled, print stats at every restarts
9.02/3.73	c
9.02/3.73	c
9.02/3.73	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
9.02/3.76	c root propagations     : 990888      
9.02/3.76	c restarts enabled, print stats at every restarts
9.02/3.76	c
9.02/3.76	c
9.02/3.76	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
10.30/3.97	c 0              1              2032           990889         999            0              0   0   0      
10.79/4.06	c 0              1              2032           990889         999            0              0   0   0      
10.79/4.08	c 0              1              2032           990889         999            0              0   0   0      
11.34/4.16	c 0              2              3034           990899         1000           0              0   0   0      
11.34/4.18	c 0              1              2032           990889         999            0              0   0   0      
11.71/4.24	c 0              2              3034           990899         1000           0              0   0   0      
11.71/4.24	c 0              4              4726           990906         1000           0              0   0   0      
11.71/4.24	c 0              2              3034           990899         1000           0              0   0   0      
11.71/4.25	c 0              3              3034           990900         1000           0              0   0   0      
11.71/4.25	c 0              5              4726           990907         1000           0              0   0   0      
11.71/4.30	c 0              1              3034           990898         1000           0              0   0   0      
12.48/4.33	c 0              1              3034           990898         1000           0              0   0   0      
12.48/4.36	c 0              1              3034           990898         1000           0              0   0   0      
12.48/4.36	c 0              1              3034           990898         1000           0              0   0   0      
13.28/4.44	c 0              5              7078           990912         1000           0              0   0   0      
13.28/4.45	c 0              4              5344           990910         1000           0              0   0   0      
13.28/4.45	c 0              10             10922          990926         1000           0              0   0   0      
13.28/4.46	c 0              4              5959           990906         1000           0              0   0   0      
13.28/4.48	c 0              7              9117           990943         1000           0              0   0   0      
13.28/4.48	c 0              5              7197           990923         1000           0              0   0   0      
13.28/4.48	c 0              11             11924          990933         1000           0              0   0   0      
13.28/4.48	c 0              5              6346           990917         1000           0              0   0   0      
13.28/4.49	c 0              5              6961           990913         1000           0              0   0   0      
13.28/4.49	c 0              6              8848           990919         1000           0              0   0   0      
14.07/4.51	c 0              8              10119          990950         1000           0              0   0   0      
442.63/58.24	c First solution is found
448.51/60.41	c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 0.
448.51/60.41	c [pFactory][Group N°0] Thread N°0 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°1 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°2 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°3 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°4 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°5 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°6 is joined.
448.51/60.41	c [pFactory][Group N°0] Thread N°7 is joined.
448.51/60.41	c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°7)
448.51/60.41	s SATISFIABLE
448.51/60.41	c restarts              : 1           
448.51/60.41	c conflicts             : 4            (0 /sec)
448.51/60.41	c decisions             : 1005         (2 /sec)
448.51/60.41	c propagations          : 1013232     (2267 /sec)
448.51/60.41	c root propagations     : 990888      
448.51/60.41	c filter calls          : 1019088        (2281 /sec)
448.51/60.41	c useless filter calls  : 1018851        (99 %)
448.51/60.41	c Memory used           : 971.15 MB
448.51/60.41	c CPU time              : 446.857 s
448.51/60.41	c real time             : 60.4114 s
448.51/60.41	
448.51/60.41	c solution 1
448.51/60.41	
448.51/60.41	v <instantiation type='solution'>
448.51/60.41	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] </list>
448.51/60.41	v <values>996 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 </values>
448.51/60.41	v </instantiation>
448.51/60.41

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409302-1569822035/watcher-4409302-1569822035 -o /tmp/evaluation-result-4409302-1569822035/solver-4409302-1569822035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409302-1569822035.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100157 s]*
/proc/loadavg: 7.53 8.03 7.88 2/191 24551
/proc/meminfo: memFree=30417516/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=100528 memory=76732 CPUtime=0.1 cores=0-7
/proc/24550/stat : 24550 (cosoco) R 24547 24550 23655 0 -1 4202496 19405 0 0 0 8 2 0 0 20 0 1 0 558117315 102940672 19183 33554432000 4194304 6211132 140727704985904 140727704982440 140238922755045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 25132 19183 837 493 0 18437 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100528 KiB
Current children cumulated memory: 76732 KiB

[startup+0.208794 s]*
/proc/loadavg: 7.53 8.03 7.88 2/191 24551
/proc/meminfo: memFree=30403380/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=114620 memory=91128 CPUtime=0.21 cores=0-7
/proc/24550/stat : 24550 (cosoco) R 24547 24550 23655 0 -1 4202496 22940 0 0 0 18 3 0 0 20 0 1 0 558117315 117370880 22716 33554432000 4194304 6211132 140727704985904 140727704982440 140238922755045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 28655 22782 838 493 0 21960 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 114620 KiB
Current children cumulated memory: 91128 KiB

[startup+0.308616 s]*
/proc/loadavg: 7.53 8.03 7.88 2/191 24551
/proc/meminfo: memFree=30390608/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=127656 memory=104064 CPUtime=0.31 cores=0-7
/proc/24550/stat : 24550 (cosoco) R 24547 24550 23655 0 -1 4202496 26185 0 0 0 28 3 0 0 20 0 1 0 558117315 130719744 26016 33554432000 4194304 6211132 140727704985904 140727704982440 5244724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 31914 26016 838 493 0 25219 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 127656 KiB
Current children cumulated memory: 104064 KiB

[startup+0.700326 s]
/proc/loadavg: 7.53 8.03 7.88 2/191 24551
/proc/meminfo: memFree=30364320/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=177504 memory=153804 CPUtime=0.69 cores=0-7
/proc/24550/stat : 24550 (cosoco) R 24547 24550 23655 0 -1 4202496 38661 0 0 0 64 5 0 0 20 0 1 0 558117315 181764096 38451 33554432000 4194304 6211132 140727704985904 140727704981880 140238922755045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 44376 38451 838 493 0 37681 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 177504 KiB
Current children cumulated memory: 153804 KiB

[startup+1.50033 s]
/proc/loadavg: 7.53 8.03 7.88 2/191 24551
/proc/meminfo: memFree=30300064/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=281672 memory=257972 CPUtime=1.5 cores=0-7
/proc/24550/stat : 24550 (cosoco) R 24547 24550 23655 0 -1 4202496 64705 0 0 0 141 9 0 0 20 0 1 0 558117315 288432128 64493 33554432000 4194304 6211132 140727704985904 140727704981880 140238922755045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 70418 64493 838 493 0 63723 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 281672 KiB
Current children cumulated memory: 257972 KiB

[startup+3.10999 s]
/proc/loadavg: 7.48 8.02 7.88 2/199 24559
/proc/meminfo: memFree=30031440/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1025620 memory=510840 CPUtime=4.76 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 176097 0 0 0 451 25 0 0 20 0 9 0 558117315 1050234880 127710 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 256405 127710 874 493 0 249710 0
[pid=24550/tid=24552] ppid=24547 vsize=1025620 memory=6386 CPUtime=0.23 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) D 24547 24550 23655 0 -1 4202560 3172 0 0 0 22 1 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238915652376 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1025620 memory=2626 CPUtime=0.23 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) D 24547 24550 23655 0 -1 4202560 3637 0 0 0 23 0 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238907259768 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1025620 memory=279508485789773 CPUtime=0.24 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 2594 0 0 0 23 1 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238898866968 140238922755045 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1025620 memory=389940 CPUtime=0.23 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) D 24547 24550 23655 0 -1 4202560 2965 0 0 0 23 0 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238890474264 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1025620 memory=764 CPUtime=0.24 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) D 24547 24550 23655 0 -1 4202560 2578 0 0 0 24 0 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238882081656 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1025620 memory=1692 CPUtime=0.23 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) D 24547 24550 23655 0 -1 4202560 2411 0 0 0 23 0 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238873688952 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1025620 memory=4000 CPUtime=0.21 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) D 24547 24550 23655 0 -1 4202560 3052 0 0 0 21 0 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238865296248 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1025620 memory=0 CPUtime=0.22 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) D 24547 24550 23655 0 -1 4202560 3421 0 0 0 22 0 0 0 20 0 9 0 558117600 1050234880 127710 33554432000 4194304 6211132 140727704985904 140238856903544 140238923230807 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 1025620 KiB
Current children cumulated memory: 510840 KiB

[startup+6.30079 s]
/proc/loadavg: 7.48 8.02 7.88 9/199 24559
/proc/meminfo: memFree=29199900/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1290980 CPUtime=28.44 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 383829 0 0 0 2751 93 0 0 20 0 9 0 558117315 1588797440 322745 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 322745 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=1290980 CPUtime=3.16 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 27495 0 0 0 306 10 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238915652704 5390888 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=159 CPUtime=3.31 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 23488 0 0 0 324 7 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238907260000 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=3616 CPUtime=3.06 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 28143 0 0 0 295 11 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238898867296 5139272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=139758959478399 CPUtime=3.31 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 39067 0 0 0 322 9 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238890474592 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=56 CPUtime=3.13 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 31779 0 0 0 300 13 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238882081888 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=0 CPUtime=3.16 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 23245 0 0 0 308 8 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238873689184 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=3472463651917600245 CPUtime=3.24 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 31097 0 0 0 318 6 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238865296480 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=10408 CPUtime=3.15 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 27248 0 0 0 308 7 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238856903888 5139272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 28.44 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1290980 KiB

[startup+12.7008 s]
/proc/loadavg: 7.52 8.02 7.88 9/201 24569
/proc/meminfo: memFree=29198976/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1290980 CPUtime=79.51 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 628846 0 0 0 7820 131 0 0 20 0 9 0 558117315 1588797440 322745 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 322745 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=0 CPUtime=9.56 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 56576 0 0 0 939 17 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238915652704 5138594 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=671 CPUtime=9.7 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 57154 0 0 0 960 10 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238907260000 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=1290980 CPUtime=9.45 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 60266 0 0 0 927 18 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238898867296 5139272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=33 CPUtime=9.7 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 70841 0 0 0 959 11 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238890474592 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=1290980 CPUtime=9.52 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 60532 0 0 0 933 19 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238882081888 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=6935054825532540783 CPUtime=9.47 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 50411 0 0 0 931 16 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238873689184 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=988 CPUtime=9.63 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 63199 0 0 0 955 8 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238865296480 5138613 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=1290980 CPUtime=9.55 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 57600 0 0 0 946 9 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238856903888 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 79.51 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1290980 KiB

[startup+25.5098 s]
/proc/loadavg: 7.63 8.01 7.88 9/200 24570
/proc/meminfo: memFree=29199104/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1290980 CPUtime=181.77 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 761512 0 0 0 18031 146 0 0 20 0 9 0 558117315 1588797440 322745 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 322745 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=1290980 CPUtime=22.36 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 72949 0 0 0 2217 19 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238915652704 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=1290980 CPUtime=22.51 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 73643 0 0 0 2239 12 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238907260000 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=1290980 CPUtime=22.26 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 78022 0 0 0 2206 20 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238898867296 5139115 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=1290980 CPUtime=22.51 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 87323 0 0 0 2238 13 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238890474592 5139115 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=2214 CPUtime=22.33 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 75893 0 0 0 2212 21 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238882081888 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=1290980 CPUtime=22.09 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 65336 0 0 0 2191 18 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238873689184 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=279509089688116 CPUtime=22.44 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 81502 0 0 0 2234 10 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238865296480 5139115 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=1290980 CPUtime=22.35 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 74577 0 0 0 2225 10 0 0 20 0 9 0 558117600 1588797440 322745 33554432000 4194304 6211132 140727704985904 140238856903888 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 181.77 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1290980 KiB

[startup+51.1108 s]
/proc/loadavg: 7.76 8.01 7.88 9/200 24570
/proc/meminfo: memFree=29199764/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1291976 CPUtime=386.08 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 879523 0 0 0 38447 161 0 0 20 0 9 0 558117315 1588797440 322994 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 322994 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=0 CPUtime=47.72 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 86545 0 0 0 4751 21 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238915652704 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=1291352 CPUtime=48.09 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 88501 0 0 0 4795 14 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238907260000 5138594 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=164 CPUtime=47.84 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 93292 0 0 0 4763 21 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238898867296 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=164 CPUtime=48.1 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 101277 0 0 0 4796 14 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238890474592 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=0 CPUtime=47.91 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 91584 0 0 0 4768 23 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238882081888 5139272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=1291608 CPUtime=47.54 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 79615 0 0 0 4733 21 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238873689184 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=10416 CPUtime=48.03 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 97052 0 0 0 4791 12 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238865296480 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=988 CPUtime=47.94 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 89390 0 0 0 4781 13 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238856903464 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 386.08 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1291976 KiB

[startup+60.4741 s]
# the end of solver process 24550 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=446.857 s, system=1.73284 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2008 s]
/proc/loadavg: 7.76 8.01 7.88 9/200 24570
/proc/meminfo: memFree=29199764/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1291976 CPUtime=386.79 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 879597 0 0 0 38518 161 0 0 20 0 9 0 558117315 1588797440 322994 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 322994 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=1291376 CPUtime=47.81 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 86545 0 0 0 4760 21 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238915652704 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=3616 CPUtime=48.17 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 88509 0 0 0 4803 14 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238907260000 5139115 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=10416 CPUtime=47.93 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 93301 0 0 0 4772 21 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238898867296 5138594 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=1056 CPUtime=48.19 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 101291 0 0 0 4805 14 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238890474592 5138594 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=1096 CPUtime=48 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 91611 0 0 0 4777 23 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238882081888 5139115 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=0 CPUtime=47.63 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 79615 0 0 0 4742 21 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238873689184 5138639 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=0 CPUtime=48.12 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 97060 0 0 0 4800 12 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238865296480 5193740 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=0 CPUtime=48.03 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 89398 0 0 0 4790 13 0 0 20 0 9 0 558117600 1588797440 322994 33554432000 4194304 6211132 140727704985904 140238856903464 5138639 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 386.79 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1291976 KiB

[startup+54.4008 s]
/proc/loadavg: 7.78 8.01 7.88 9/200 24572
/proc/meminfo: memFree=29199300/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1292232 CPUtime=412.34 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 895449 0 0 0 41071 163 0 0 20 0 9 0 558117315 1588797440 323058 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 323058 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=6935054825532540783 CPUtime=50.96 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 89830 0 0 0 5075 21 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238915652704 5138639 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=2648 CPUtime=51.38 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 90797 0 0 0 5123 15 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238907260000 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=884 CPUtime=51.13 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 95134 0 0 0 5091 22 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238898867296 5138594 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=1292132 CPUtime=51.39 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 102886 0 0 0 5125 14 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238890474592 5139248 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=288230596050944315 CPUtime=51.2 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 93485 0 0 0 5097 23 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238882081888 5138639 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=15816698942984824 CPUtime=50.83 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 81033 0 0 0 5062 21 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238873689184 5138594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=4363 CPUtime=51.32 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 98924 0 0 0 5120 12 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238865296480 5138639 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=4411 CPUtime=51.23 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 91093 0 0 0 5110 13 0 0 20 0 9 0 558117600 1588797440 323058 33554432000 4194304 6211132 140727704985904 140238856903464 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 412.34 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1292232 KiB

[startup+57.6008 s]
/proc/loadavg: 7.78 8.01 7.88 9/200 24572
/proc/meminfo: memFree=29198336/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1551560 memory=1292604 CPUtime=437.84 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 901062 0 0 0 43619 165 0 0 20 0 9 0 558117315 1588797440 323151 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 387890 323151 879 493 0 381195 0
[pid=24550/tid=24552] ppid=24547 vsize=1551560 memory=0 CPUtime=54.11 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 90297 0 0 0 5390 21 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238915652704 5138594 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24553] ppid=24547 vsize=1551560 memory=303148748257886234 CPUtime=54.57 cores=0-7
/proc/24550/task/24553/stat : 24553 (cosoco) R 24547 24550 23655 0 -1 4202560 92438 0 0 0 5442 15 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238907260000 5138639 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24554] ppid=24547 vsize=1551560 memory=288230596050944315 CPUtime=54.31 cores=0-7
/proc/24550/task/24554/stat : 24554 (cosoco) R 24547 24550 23655 0 -1 4202560 95728 0 0 0 5409 22 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238898867296 5138639 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1551560 memory=1292468 CPUtime=54.58 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 103502 0 0 0 5444 14 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238890474592 5193742 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24556] ppid=24547 vsize=1551560 memory=2626 CPUtime=54.4 cores=0-7
/proc/24550/task/24556/stat : 24556 (cosoco) R 24547 24550 23655 0 -1 4202560 94151 0 0 0 5416 24 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238882081888 5008918 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1551560 memory=0 CPUtime=54.02 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 81525 0 0 0 5381 21 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238873689184 5193742 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24558] ppid=24547 vsize=1551560 memory=111 CPUtime=54.51 cores=0-7
/proc/24550/task/24558/stat : 24558 (cosoco) R 24547 24550 23655 0 -1 4202560 99480 0 0 0 5439 12 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238865296480 5138599 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24559] ppid=24547 vsize=1551560 memory=3616 CPUtime=54.42 cores=0-7
/proc/24550/task/24559/stat : 24559 (cosoco) R 24547 24550 23655 0 -1 4202560 91681 0 0 0 5429 13 0 0 20 0 9 0 558117600 1588797440 323151 33554432000 4194304 6211132 140727704985904 140238856903464 5008967 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 437.84 s
Current children cumulated vsize: 1551560 KiB
Current children cumulated memory: 1292604 KiB

[startup+59.2005 s]
/proc/loadavg: 7.79 8.01 7.88 4/195 24572
/proc/meminfo: memFree=29478612/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1223860 memory=1012156 CPUtime=446 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 903942 0 0 0 44434 166 0 0 20 0 4 0 558117315 1253232640 253039 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 305965 253039 880 493 0 299270 0
[pid=24550/tid=24552] ppid=24547 vsize=1223860 memory=1564 CPUtime=55.7 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 90660 0 0 0 5548 22 0 0 20 0 4 0 558117600 1253232640 253039 33554432000 4194304 6211132 140727704985904 140238915652704 5139104 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24555] ppid=24547 vsize=1223860 memory=6935054825532540783 CPUtime=56.18 cores=0-7
/proc/24550/task/24555/stat : 24555 (cosoco) R 24547 24550 23655 0 -1 4202560 103915 0 0 0 5604 14 0 0 20 0 4 0 558117600 1253232640 253039 33554432000 4194304 6211132 140727704985904 140238890474592 5138639 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
[pid=24550/tid=24557] ppid=24547 vsize=1223860 memory=7548 CPUtime=55.63 cores=0-7
/proc/24550/task/24557/stat : 24557 (cosoco) R 24547 24550 23655 0 -1 4202560 81887 0 0 0 5541 22 0 0 20 0 4 0 558117600 1253232640 253039 33554432000 4194304 6211132 140727704985904 140238873689184 5138594 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 446 s
Current children cumulated vsize: 1223860 KiB
Current children cumulated memory: 1012156 KiB

[startup+60.0004 s]*
/proc/loadavg: 7.79 8.01 7.88 2/193 24572
/proc/meminfo: memFree=29592996/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1092780 memory=897456 CPUtime=448.12 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 904541 0 0 0 44645 167 0 0 20 0 2 0 558117315 1119006720 224364 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 273195 224364 880 493 0 266500 0
[pid=24550/tid=24552] ppid=24547 vsize=1092780 memory=6225205315031624297 CPUtime=56.51 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 90879 0 0 0 5629 22 0 0 20 0 2 0 558117600 1119006720 224364 33554432000 4194304 6211132 140727704985904 140238915652704 5138608 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 448.12 s
Current children cumulated vsize: 1092780 KiB
Current children cumulated memory: 897456 KiB

[startup+60.4004 s]
/proc/loadavg: 7.79 8.01 7.88 2/193 24572
/proc/meminfo: memFree=29592996/32770624 swapFree=67002424/67108860
[pid=24550] ppid=24547 vsize=1092780 memory=897456 CPUtime=448.51 cores=0-7
/proc/24550/stat : 24550 (cosoco) S 24547 24550 23655 0 -1 1077944320 904652 0 0 0 44684 167 0 0 20 0 2 0 558117315 1119006720 224364 33554432000 4194304 6211132 140727704985904 140727704984160 140238938795767 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
/proc/24550/statm: 273195 224364 880 493 0 266500 0
[pid=24550/tid=24552] ppid=24547 vsize=1092780 memory=954800 CPUtime=56.9 cores=0-7
/proc/24550/task/24552/stat : 24552 (cosoco) R 24547 24550 23655 0 -1 4202560 90990 0 0 0 5668 22 0 0 20 0 2 0 558117600 1119006720 224364 33554432000 4194304 6211132 140727704985904 140238915652704 5139248 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26451968 140727704990737 140727704990829 140727704990829 140727704993742 0
Current children cumulated CPU time: 448.51 s
Current children cumulated vsize: 1092780 KiB
Current children cumulated memory: 897456 KiB

Child status: 0
Real time (s): 60.4742
CPU time (s): 448.59
CPU user time (s): 446.857
CPU system time (s): 1.73284
CPU usage (%): 741.788
Max. virtual memory (cumulated for all children) (KiB): 1551560
Max. memory (cumulated for all children) (KiB): 1292736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 446.857
system time used= 1.73284
maximum resident set size= 1292744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 904704
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= 37411
involuntary context switches= 3891


# summary of solver processes directly reported to runsolver:
#   pid: 24550
#   total CPU time (s): 448.59
#   total CPU user time (s): 446.857
#   total CPU system time (s): 1.73284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.311499 second user time and 0.576139 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-30 07:39:52
IDJOB=4409302
IDBENCH=123239
IDSOLVER=2877
FILE ID=node146/4409302-1569822035
RUNJOBID= node146-1569818084-23682
PBS_JOBID= 21705925
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-co.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409302-1569822035/watcher-4409302-1569822035 -o /tmp/evaluation-result-4409302-1569822035/solver-4409302-1569822035 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409302-1569822035.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 747b40881cd41efe91eebad5da45ed52
RANDOM SEED=2112781338

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30489256 kB
MemAvailable:   31870316 kB
Buffers:          128628 kB
Cached:          1590368 kB
SwapCached:         3676 kB
Active:          1063216 kB
Inactive:         661944 kB
Active(anon):       2712 kB
Inactive(anon):    84432 kB
Active(file):    1060504 kB
Inactive(file):   577512 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       67002424 kB
Dirty:              2948 kB
Writeback:             0 kB
AnonPages:         48140 kB
Mapped:            27020 kB
Shmem:             72200 kB
Slab:             146324 kB
SReclaimable:     117756 kB
SUnreclaim:        28568 kB
KernelStack:        3712 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     540136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 62028 MiB
End job on node146 at 2019-09-30 07:40:53