Trace number 4243189

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
R1: cosoco 1.1? (TO) 2400.06 2400.22

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-04-04-fair.xml
MD5SUM005af5eedf24bd8f858adc721c64a56d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7.3145099
Satisfiable
(Un)Satisfiability was proved
Number of variables4347
Number of constraints4102
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":614},{"size":201,"count":25},{"size":20001,"count":3708}]
Minimum variable degree2
Maximum variable degree49
Distribution of variable degrees[{"degree":2,"count":3807},{"degree":3,"count":96},{"degree":4,"count":16},{"degree":5,"count":65},{"degree":6,"count":59},{"degree":7,"count":88},{"degree":8,"count":101},{"degree":9,"count":66},{"degree":10,"count":11},{"degree":13,"count":16},{"degree":14,"count":5},{"degree":22,"count":5},{"degree":24,"count":2},{"degree":28,"count":1},{"degree":31,"count":4},{"degree":37,"count":1},{"degree":48,"count":2},{"degree":49,"count":2}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":710},{"arity":3,"count":3390}]
Number of extensional constraints0
Number of intensional constraints4102
Distribution of constraint types[{"type":"intension","count":4102}]
Optimization problemNO
Type of objective

Solver Data 

0.39/0.41	c intension z[221]=x[1]  using generic constraint 
0.39/0.42	c intension z[222]=x[2]  using generic constraint 
0.39/0.42	c intension z[231]=x[11]  using generic constraint 
0.39/0.42	c intension z[331]=x[111]  using generic constraint 
0.39/0.42	c intension z[332]=x[112]  using generic constraint 
0.39/0.42	c intension z[334]=x[114]  using generic constraint 
0.39/0.42	c intension z[335]=x[115]  using generic constraint 
0.39/0.42	c intension z[337]=x[117]  using generic constraint 
0.39/0.42	c intension z[338]=x[118]  using generic constraint 
0.39/0.42	c intension z[340]=x[120]  using generic constraint 
0.39/0.43	c intension z[341]=x[121]  using generic constraint 
0.39/0.43	c intension z[343]=x[123]  using generic constraint 
0.39/0.43	c intension z[344]=x[124]  using generic constraint 
0.39/0.43	c intension z[232]=x[12]  using generic constraint 
0.39/0.43	c intension z[346]=x[126]  using generic constraint 
0.39/0.43	c intension z[347]=x[127]  using generic constraint 
0.39/0.43	c intension z[349]=x[129]  using generic constraint 
0.39/0.43	c intension z[350]=x[130]  using generic constraint 
0.39/0.43	c intension z[352]=x[132]  using generic constraint 
0.39/0.44	c intension z[353]=x[133]  using generic constraint 
0.39/0.44	c intension z[355]=x[135]  using generic constraint 
0.39/0.44	c intension z[356]=x[136]  using generic constraint 
0.39/0.44	c intension z[358]=x[138]  using generic constraint 
0.39/0.44	c intension z[359]=x[139]  using generic constraint 
0.39/0.44	c intension z[233]=x[13]  using generic constraint 
0.39/0.44	c intension z[377]=x[173]  using generic constraint 
0.39/0.44	c intension z[378]=x[174]  using generic constraint 
0.39/0.44	c intension z[361]=x[142]  using generic constraint 
0.39/0.45	c intension z[379]=x[175]  using generic constraint 
0.39/0.45	c intension z[380]=x[176]  using generic constraint 
0.39/0.45	c intension z[382]=x[178]  using generic constraint 
0.39/0.45	c intension z[383]=x[179]  using generic constraint 
0.39/0.45	c intension z[384]=x[180]  using generic constraint 
0.39/0.45	c intension z[362]=x[144]  using generic constraint 
0.39/0.45	c intension z[385]=x[181]  using generic constraint 
0.39/0.45	c intension z[234]=x[14]  using generic constraint 
0.39/0.45	c intension z[386]=x[182]  using generic constraint 
0.39/0.45	c intension z[388]=x[184]  using generic constraint 
0.39/0.46	c intension z[389]=x[185]  using generic constraint 
0.39/0.46	c intension z[390]=x[186]  using generic constraint 
0.39/0.46	c intension z[363]=x[146]  using generic constraint 
0.39/0.46	c intension z[391]=x[187]  using generic constraint 
0.39/0.46	c intension z[392]=x[188]  using generic constraint 
0.39/0.46	c intension z[394]=x[190]  using generic constraint 
0.39/0.46	c intension z[395]=x[191]  using generic constraint 
0.39/0.46	c intension z[396]=x[192]  using generic constraint 
0.39/0.46	c intension z[235]=x[15]  using generic constraint 
0.39/0.47	c intension z[364]=x[148]  using generic constraint 
0.39/0.47	c intension z[397]=x[193]  using generic constraint 
0.39/0.47	c intension z[398]=x[194]  using generic constraint 
0.39/0.47	c intension z[400]=x[196]  using generic constraint 
0.39/0.47	c intension z[401]=x[197]  using generic constraint 
0.39/0.47	c intension z[402]=x[198]  using generic constraint 
0.39/0.47	c intension z[403]=x[199]  using generic constraint 
0.39/0.47	c intension z[404]=x[200]  using generic constraint 
0.39/0.47	c intension z[405]=x[201]  using generic constraint 
0.39/0.47	c intension z[406]=x[202]  using generic constraint 
0.39/0.48	c intension z[236]=x[16]  using generic constraint 
0.39/0.48	c intension z[365]=x[150]  using generic constraint 
0.39/0.48	c intension z[407]=x[203]  using generic constraint 
0.39/0.48	c intension z[408]=x[204]  using generic constraint 
0.39/0.48	c intension z[410]=x[206]  using generic constraint 
0.39/0.48	c intension z[411]=x[207]  using generic constraint 
0.39/0.48	c intension z[412]=x[208]  using generic constraint 
0.39/0.48	c intension z[366]=x[152]  using generic constraint 
0.39/0.48	c intension z[413]=x[209]  using generic constraint 
0.39/0.49	c intension z[414]=x[210]  using generic constraint 
0.39/0.49	c intension z[416]=x[212]  using generic constraint 
0.39/0.49	c intension z[237]=x[17]  using generic constraint 
0.39/0.49	c intension z[417]=x[213]  using generic constraint 
0.39/0.49	c intension z[418]=x[214]  using generic constraint 
0.39/0.49	c intension z[367]=x[154]  using generic constraint 
0.39/0.49	c intension z[419]=x[215]  using generic constraint 
0.39/0.49	c intension z[420]=x[216]  using generic constraint 
0.39/0.49	c intension z[422]=x[218]  using generic constraint 
0.49/0.50	c intension z[423]=x[219]  using generic constraint 
0.49/0.50	c intension z[424]=x[220]  using generic constraint 
0.49/0.50	c intension z[368]=x[156]  using generic constraint 
0.49/0.50	c intension z[425]=x[221]  using generic constraint 
0.49/0.50	c intension z[238]=x[18]  using generic constraint 
0.49/0.50	c intension z[426]=x[222]  using generic constraint 
0.49/0.50	c intension z[428]=x[224]  using generic constraint 
0.49/0.50	c intension z[429]=x[225]  using generic constraint 
0.49/0.51	c intension z[430]=x[226]  using generic constraint 
0.49/0.51	c intension z[369]=x[158]  using generic constraint 
0.49/0.51	c intension z[431]=x[227]  using generic constraint 
0.49/0.51	c intension z[432]=x[228]  using generic constraint 
0.49/0.51	c intension z[434]=x[230]  using generic constraint 
0.49/0.51	c intension z[435]=x[231]  using generic constraint 
0.49/0.51	c intension z[436]=x[232]  using generic constraint 
0.49/0.51	c intension z[239]=x[19]  using generic constraint 
0.49/0.51	c intension z[370]=x[160]  using generic constraint 
0.49/0.52	c intension z[437]=x[233]  using generic constraint 
0.49/0.52	c intension z[438]=x[234]  using generic constraint 
0.49/0.52	c intension z[440]=x[236]  using generic constraint 
0.49/0.52	c intension z[441]=x[237]  using generic constraint 
0.49/0.52	c intension z[442]=x[238]  using generic constraint 
0.49/0.52	c intension z[371]=x[162]  using generic constraint 
0.49/0.52	c intension z[443]=x[239]  using generic constraint 
0.49/0.52	c intension z[444]=x[240]  using generic constraint 
0.49/0.52	c intension z[446]=x[242]  using generic constraint 
0.49/0.53	c intension z[240]=x[20]  using generic constraint 
0.49/0.53	c intension z[447]=x[243]  using generic constraint 
0.49/0.53	c intension z[448]=x[244]  using generic constraint 
0.49/0.53	c intension z[372]=x[164]  using generic constraint 
0.49/0.53	c intension z[449]=x[245]  using generic constraint 
0.49/0.53	c intension z[450]=x[246]  using generic constraint 
0.49/0.53	c intension z[452]=x[248]  using generic constraint 
0.49/0.53	c intension z[453]=x[249]  using generic constraint 
0.49/0.53	c intension z[454]=x[250]  using generic constraint 
0.49/0.53	c intension z[373]=x[166]  using generic constraint 
0.49/0.54	c intension z[455]=x[251]  using generic constraint 
0.49/0.54	c intension z[223]=x[3]  using generic constraint 
0.49/0.54	c intension z[241]=x[21]  using generic constraint 
0.49/0.54	c intension z[456]=x[252]  using generic constraint 
0.49/0.54	c intension z[458]=x[254]  using generic constraint 
0.49/0.54	c intension z[459]=x[255]  using generic constraint 
0.49/0.54	c intension z[460]=x[256]  using generic constraint 
0.49/0.54	c intension z[374]=x[168]  using generic constraint 
0.49/0.54	c intension z[461]=x[257]  using generic constraint 
0.49/0.55	c intension z[462]=x[258]  using generic constraint 
0.49/0.55	c intension z[464]=x[260]  using generic constraint 
0.49/0.55	c intension z[465]=x[261]  using generic constraint 
0.49/0.55	c intension z[466]=x[262]  using generic constraint 
0.49/0.55	c intension z[242]=x[22]  using generic constraint 
0.49/0.55	c intension z[375]=x[170]  using generic constraint 
0.49/0.55	c intension z[467]=x[263]  using generic constraint 
0.49/0.55	c intension z[468]=x[264]  using generic constraint 
0.49/0.55	c intension z[470]=x[266]  using generic constraint 
0.49/0.56	c intension z[471]=x[267]  using generic constraint 
0.49/0.56	c intension z[472]=x[268]  using generic constraint 
0.49/0.56	c intension z[376]=x[172]  using generic constraint 
0.49/0.56	c intension z[473]=x[269]  using generic constraint 
0.49/0.56	c intension z[474]=x[270]  using generic constraint 
0.49/0.56	c intension z[476]=x[272]  using generic constraint 
0.49/0.56	c intension z[243]=x[23]  using generic constraint 
0.49/0.56	c intension z[477]=x[273]  using generic constraint 
0.49/0.56	c intension z[381]=x[177]  using generic constraint 
0.49/0.56	c intension z[479]=x[275]  using generic constraint 
0.49/0.57	c intension z[387]=x[183]  using generic constraint 
0.49/0.57	c intension z[481]=x[277]  using generic constraint 
0.49/0.57	c intension z[393]=x[189]  using generic constraint 
0.49/0.57	c intension z[483]=x[279]  using generic constraint 
0.49/0.57	c intension z[399]=x[195]  using generic constraint 
0.49/0.57	c intension z[485]=x[281]  using generic constraint 
0.49/0.57	c intension z[409]=x[205]  using generic constraint 
0.49/0.57	c intension z[244]=x[24]  using generic constraint 
0.49/0.57	c intension z[487]=x[283]  using generic constraint 
0.49/0.58	c intension z[415]=x[211]  using generic constraint 
0.49/0.58	c intension z[489]=x[285]  using generic constraint 
0.49/0.58	c intension z[421]=x[217]  using generic constraint 
0.49/0.58	c intension z[491]=x[287]  using generic constraint 
0.49/0.58	c intension z[427]=x[223]  using generic constraint 
0.49/0.58	c intension z[493]=x[289]  using generic constraint 
0.49/0.58	c intension z[433]=x[229]  using generic constraint 
0.49/0.58	c intension z[495]=x[291]  using generic constraint 
0.49/0.58	c intension z[439]=x[235]  using generic constraint 
0.49/0.59	c intension z[245]=x[25]  using generic constraint 
0.49/0.59	c intension z[497]=x[293]  using generic constraint 
0.49/0.59	c intension z[445]=x[241]  using generic constraint 
0.49/0.59	c intension z[499]=x[295]  using generic constraint 
0.49/0.59	c intension z[451]=x[247]  using generic constraint 
0.49/0.59	c intension z[501]=x[297]  using generic constraint 
0.49/0.59	c intension z[457]=x[253]  using generic constraint 
0.49/0.59	c intension z[503]=x[299]  using generic constraint 
0.49/0.59	c intension z[463]=x[259]  using generic constraint 
0.49/0.60	c intension z[505]=x[301]  using generic constraint 
0.59/0.60	c intension z[469]=x[265]  using generic constraint 
0.59/0.60	c intension z[246]=x[26]  using generic constraint 
0.59/0.60	c intension z[507]=x[303]  using generic constraint 
0.59/0.60	c intension z[475]=x[271]  using generic constraint 
0.59/0.60	c intension z[509]=x[305]  using generic constraint 
0.59/0.60	c intension z[478]=x[274]  using generic constraint 
0.59/0.60	c intension z[512]=x[308]  using generic constraint 
0.59/0.60	c intension z[480]=x[276]  using generic constraint 
0.59/0.61	c intension z[515]=x[311]  using generic constraint 
0.59/0.61	c intension z[482]=x[278]  using generic constraint 
0.59/0.61	c intension z[518]=x[314]  using generic constraint 
0.59/0.61	c intension z[484]=x[280]  using generic constraint 
0.59/0.61	c intension z[247]=x[27]  using generic constraint 
0.59/0.61	c intension z[486]=x[282]  using generic constraint 
0.59/0.61	c intension z[511]=x[307]  using generic constraint 
0.59/0.61	c intension z[488]=x[284]  using generic constraint 
0.59/0.61	c intension z[514]=x[310]  using generic constraint 
0.59/0.62	c intension z[490]=x[286]  using generic constraint 
0.59/0.62	c intension z[517]=x[313]  using generic constraint 
0.59/0.62	c intension z[492]=x[288]  using generic constraint 
0.59/0.62	c intension z[520]=x[316]  using generic constraint 
0.59/0.62	c intension z[494]=x[290]  using generic constraint 
0.59/0.62	c intension z[496]=x[292]  using generic constraint 
0.59/0.62	c intension z[248]=x[28]  using generic constraint 
0.59/0.62	c intension z[498]=x[294]  using generic constraint 
0.59/0.62	c intension z[500]=x[296]  using generic constraint 
0.59/0.62	c intension z[502]=x[298]  using generic constraint 
0.59/0.63	c intension z[504]=x[300]  using generic constraint 
0.59/0.63	c intension z[506]=x[302]  using generic constraint 
0.59/0.63	c intension z[508]=x[304]  using generic constraint 
0.59/0.63	c intension z[521]=x[317]  using generic constraint 
0.59/0.63	c intension z[523]=x[319]  using generic constraint 
0.59/0.63	c intension z[525]=x[321]  using generic constraint 
0.59/0.63	c intension z[527]=x[323]  using generic constraint 
0.59/0.63	c intension z[249]=x[29]  using generic constraint 
0.59/0.63	c intension z[529]=x[325]  using generic constraint 
0.59/0.64	c intension z[531]=x[327]  using generic constraint 
0.59/0.64	c intension z[533]=x[329]  using generic constraint 
0.59/0.64	c intension z[535]=x[331]  using generic constraint 
0.59/0.64	c intension z[537]=x[333]  using generic constraint 
0.59/0.64	c intension z[539]=x[335]  using generic constraint 
0.59/0.64	c intension z[541]=x[337]  using generic constraint 
0.59/0.64	c intension z[543]=x[339]  using generic constraint 
0.59/0.64	c intension z[545]=x[341]  using generic constraint 
0.59/0.64	c intension z[547]=x[343]  using generic constraint 
0.59/0.65	c intension z[250]=x[30]  using generic constraint 
0.59/0.65	c intension z[549]=x[345]  using generic constraint 
0.59/0.65	c intension z[551]=x[347]  using generic constraint 
0.59/0.65	c intension z[510]=x[306]  using generic constraint 
0.59/0.65	c intension z[513]=x[309]  using generic constraint 
0.59/0.65	c intension z[516]=x[312]  using generic constraint 
0.59/0.65	c intension z[519]=x[315]  using generic constraint 
0.59/0.65	c intension z[522]=x[318]  using generic constraint 
0.59/0.65	c intension z[553]=x[349]  using generic constraint 
0.59/0.65	c intension z[306]=x[86]  using generic constraint 
0.59/0.66	c intension z[303]=x[83]  using generic constraint 
0.59/0.66	c intension z[224]=x[4]  using generic constraint 
0.59/0.66	c intension z[251]=x[31]  using generic constraint 
0.59/0.66	c intension z[561]=x[357]  using generic constraint 
0.59/0.66	c intension z[554]=x[350]  using generic constraint 
0.59/0.66	c intension z[524]=x[320]  using generic constraint 
0.59/0.66	c intension z[555]=x[351]  using generic constraint 
0.59/0.66	c intension z[309]=x[89]  using generic constraint 
0.59/0.66	c intension z[563]=x[359]  using generic constraint 
0.59/0.67	c intension z[562]=x[358]  using generic constraint 
0.59/0.67	c intension z[556]=x[352]  using generic constraint 
0.59/0.67	c intension z[526]=x[322]  using generic constraint 
0.59/0.67	c intension z[557]=x[353]  using generic constraint 
0.59/0.67	c intension z[252]=x[32]  using generic constraint 
0.59/0.67	c intension z[312]=x[92]  using generic constraint 
0.59/0.67	c intension z[565]=x[361]  using generic constraint 
0.59/0.67	c intension z[564]=x[360]  using generic constraint 
0.59/0.67	c intension z[558]=x[354]  using generic constraint 
0.59/0.68	c intension z[528]=x[324]  using generic constraint 
0.59/0.68	c intension z[559]=x[355]  using generic constraint 
0.59/0.68	c intension z[315]=x[95]  using generic constraint 
0.59/0.68	c intension z[567]=x[363]  using generic constraint 
0.59/0.68	c intension z[566]=x[362]  using generic constraint 
0.59/0.68	c intension z[560]=x[356]  using generic constraint 
0.59/0.68	c intension z[253]=x[33]  using generic constraint 
0.59/0.68	c intension z[530]=x[326]  using generic constraint 
0.59/0.68	c intension z[321]=x[101]  using generic constraint 
0.59/0.69	c intension z[318]=x[98]  using generic constraint 
0.59/0.69	c intension z[568]=x[364]  using generic constraint 
0.59/0.69	c intension z[532]=x[328]  using generic constraint 
0.59/0.69	c intension z[324]=x[104]  using generic constraint 
0.59/0.69	c intension z[570]=x[366]  using generic constraint 
0.59/0.69	c intension z[569]=x[365]  using generic constraint 
0.59/0.69	c intension z[534]=x[330]  using generic constraint 
0.59/0.69	c intension z[327]=x[107]  using generic constraint 
0.59/0.69	c intension z[254]=x[34]  using generic constraint 
0.59/0.70	c intension z[572]=x[368]  using generic constraint 
0.69/0.70	c intension z[571]=x[367]  using generic constraint 
0.69/0.70	c intension z[536]=x[332]  using generic constraint 
0.69/0.70	c intension z[330]=x[110]  using generic constraint 
0.69/0.70	c intension z[574]=x[370]  using generic constraint 
0.69/0.70	c intension z[573]=x[369]  using generic constraint 
0.69/0.70	c intension z[538]=x[334]  using generic constraint 
0.69/0.70	c intension z[336]=x[116]  using generic constraint 
0.69/0.70	c intension z[333]=x[113]  using generic constraint 
0.69/0.71	c intension z[575]=x[371]  using generic constraint 
0.69/0.71	c intension z[255]=x[35]  using generic constraint 
0.69/0.71	c intension z[540]=x[336]  using generic constraint 
0.69/0.71	c intension z[339]=x[119]  using generic constraint 
0.69/0.71	c intension z[577]=x[373]  using generic constraint 
0.69/0.71	c intension z[576]=x[372]  using generic constraint 
0.69/0.71	c intension z[542]=x[338]  using generic constraint 
0.69/0.71	c intension z[342]=x[122]  using generic constraint 
0.69/0.71	c intension z[579]=x[375]  using generic constraint 
0.69/0.72	c intension z[578]=x[374]  using generic constraint 
0.69/0.72	c intension z[544]=x[340]  using generic constraint 
0.69/0.72	c intension z[345]=x[125]  using generic constraint 
0.69/0.72	c intension z[256]=x[36]  using generic constraint 
0.69/0.72	c intension z[581]=x[377]  using generic constraint 
0.69/0.72	c intension z[580]=x[376]  using generic constraint 
0.69/0.72	c intension z[546]=x[342]  using generic constraint 
0.69/0.72	c intension z[351]=x[131]  using generic constraint 
0.69/0.72	c intension z[348]=x[128]  using generic constraint 
0.69/0.72	c intension z[582]=x[378]  using generic constraint 
0.69/0.73	c intension z[548]=x[344]  using generic constraint 
0.69/0.73	c intension z[354]=x[134]  using generic constraint 
0.69/0.73	c intension z[584]=x[380]  using generic constraint 
0.69/0.73	c intension z[583]=x[379]  using generic constraint 
0.69/0.73	c intension z[257]=x[37]  using generic constraint 
0.69/0.73	c intension z[550]=x[346]  using generic constraint 
0.69/0.73	c intension z[357]=x[137]  using generic constraint 
0.69/0.73	c intension z[586]=x[382]  using generic constraint 
0.69/0.73	c intension z[585]=x[381]  using generic constraint 
0.69/0.74	c intension z[552]=x[348]  using generic constraint 
0.69/0.74	c intension z[360]=x[140]  using generic constraint 
0.69/0.74	c intension z[588]=x[384]  using generic constraint 
0.69/0.74	c intension z[587]=x[383]  using generic constraint 
0.69/0.74	c intension z[589]=x[385]  using generic constraint 
0.69/0.74	c intension z[590]=x[386]  using generic constraint 
0.69/0.74	c intension z[258]=x[38]  using generic constraint 
0.69/0.74	c intension z[591]=x[387]  using generic constraint 
0.69/0.74	c intension z[592]=x[388]  using generic constraint 
0.69/0.75	c intension z[593]=x[389]  using generic constraint 
0.69/0.75	c intension z[594]=x[390]  using generic constraint 
0.69/0.75	c intension z[595]=x[391]  using generic constraint 
0.69/0.75	c intension z[596]=x[392]  using generic constraint 
0.69/0.75	c intension z[597]=x[393]  using generic constraint 
0.69/0.75	c intension z[598]=x[394]  using generic constraint 
0.69/0.75	c intension z[599]=x[395]  using generic constraint 
0.69/0.75	c intension z[600]=x[396]  using generic constraint 
0.69/0.75	c intension z[259]=x[39]  using generic constraint 
0.69/0.75	c intension z[601]=x[397]  using generic constraint 
0.69/0.76	c intension z[602]=x[398]  using generic constraint 
0.69/0.76	c intension z[603]=x[399]  using generic constraint 
0.69/0.76	c intension z[604]=x[400]  using generic constraint 
0.69/0.76	c intension z[605]=x[401]  using generic constraint 
0.69/0.76	c intension z[606]=x[402]  using generic constraint 
0.69/0.76	c intension z[607]=x[403]  using generic constraint 
0.69/0.76	c intension z[608]=x[404]  using generic constraint 
0.69/0.76	c intension z[609]=x[405]  using generic constraint 
0.69/0.76	c intension z[610]=x[406]  using generic constraint 
0.69/0.77	c intension z[260]=x[40]  using generic constraint 
0.69/0.77	c intension z[611]=x[407]  using generic constraint 
0.69/0.77	c intension z[612]=x[408]  using generic constraint 
0.69/0.77	c intension z[613]=x[409]  using generic constraint 
0.69/0.77	c intension z[225]=x[5]  using generic constraint 
0.69/0.77	c intension z[261]=x[41]  using generic constraint 
0.69/0.77	c intension z[262]=x[42]  using generic constraint 
0.69/0.77	c intension z[263]=x[43]  using generic constraint 
0.69/0.77	c intension z[264]=x[44]  using generic constraint 
0.69/0.78	c intension z[265]=x[45]  using generic constraint 
0.69/0.78	c intension z[266]=x[46]  using generic constraint 
0.69/0.78	c intension z[267]=x[47]  using generic constraint 
0.69/0.78	c intension z[268]=x[48]  using generic constraint 
0.69/0.78	c intension z[269]=x[49]  using generic constraint 
0.69/0.78	c intension z[270]=x[50]  using generic constraint 
0.69/0.78	c intension z[226]=x[6]  using generic constraint 
0.69/0.78	c intension z[271]=x[51]  using generic constraint 
0.69/0.78	c intension z[272]=x[52]  using generic constraint 
0.69/0.79	c intension z[273]=x[53]  using generic constraint 
0.69/0.79	c intension z[274]=x[54]  using generic constraint 
0.69/0.79	c intension z[275]=x[55]  using generic constraint 
0.69/0.79	c intension z[276]=x[56]  using generic constraint 
0.69/0.79	c intension z[277]=x[57]  using generic constraint 
0.69/0.79	c intension z[278]=x[58]  using generic constraint 
0.69/0.79	c intension z[279]=x[59]  using generic constraint 
0.69/0.79	c intension z[280]=x[60]  using generic constraint 
0.69/0.79	c intension z[227]=x[7]  using generic constraint 
0.69/0.80	c intension z[281]=x[61]  using generic constraint 
0.79/0.80	c intension z[282]=x[62]  using generic constraint 
0.79/0.80	c intension z[283]=x[63]  using generic constraint 
0.79/0.80	c intension z[284]=x[64]  using generic constraint 
0.79/0.80	c intension z[285]=x[65]  using generic constraint 
0.79/0.80	c intension z[286]=x[66]  using generic constraint 
0.79/0.80	c intension z[287]=x[67]  using generic constraint 
0.79/0.80	c intension z[288]=x[68]  using generic constraint 
0.79/0.80	c intension z[289]=x[69]  using generic constraint 
0.79/0.81	c intension z[290]=x[70]  using generic constraint 
0.79/0.81	c intension z[228]=x[8]  using generic constraint 
0.79/0.81	c intension z[291]=x[71]  using generic constraint 
0.79/0.81	c intension z[292]=x[72]  using generic constraint 
0.79/0.81	c intension z[293]=x[73]  using generic constraint 
0.79/0.81	c intension z[294]=x[74]  using generic constraint 
0.79/0.81	c intension z[295]=x[75]  using generic constraint 
0.79/0.81	c intension z[296]=x[76]  using generic constraint 
0.79/0.81	c intension z[297]=x[77]  using generic constraint 
0.79/0.82	c intension z[298]=x[78]  using generic constraint 
0.79/0.82	c intension z[299]=x[79]  using generic constraint 
0.79/0.82	c intension z[300]=x[80]  using generic constraint 
0.79/0.82	c intension z[229]=x[9]  using generic constraint 
0.79/0.82	c intension z[301]=x[81]  using generic constraint 
0.79/0.82	c intension z[302]=x[82]  using generic constraint 
0.79/0.82	c intension z[304]=x[84]  using generic constraint 
0.79/0.82	c intension z[305]=x[85]  using generic constraint 
0.79/0.82	c intension z[307]=x[87]  using generic constraint 
0.79/0.83	c intension z[308]=x[88]  using generic constraint 
0.79/0.83	c intension z[310]=x[90]  using generic constraint 
0.79/0.83	c intension z[311]=x[91]  using generic constraint 
0.79/0.83	c intension z[313]=x[93]  using generic constraint 
0.79/0.83	c intension z[314]=x[94]  using generic constraint 
0.79/0.83	c intension z[230]=x[10]  using generic constraint 
0.79/0.83	c intension z[316]=x[96]  using generic constraint 
0.79/0.83	c intension z[317]=x[97]  using generic constraint 
0.79/0.83	c intension z[319]=x[99]  using generic constraint 
0.79/0.83	c intension z[320]=x[100]  using generic constraint 
0.79/0.84	c intension z[322]=x[102]  using generic constraint 
0.79/0.84	c intension z[323]=x[103]  using generic constraint 
0.79/0.84	c intension z[325]=x[105]  using generic constraint 
0.79/0.84	c intension z[326]=x[106]  using generic constraint 
0.79/0.84	c intension z[328]=x[108]  using generic constraint 
0.79/0.84	c intension z[329]=x[109]  using generic constraint 
5.99/6.08	c root propagations     : 0           
5.99/6.08	c restarts enabled, print stats at every restarts
5.99/6.08	c
5.99/6.08	c
5.99/6.08	c
5.99/6.08	c This is cosoco 1.0 --  
5.99/6.08	c
5.99/6.08	c ========================================[ Problem Statistics ]===========================================
5.99/6.08	c |                                                                                                       
5.99/6.08	c |  Parse time        :         4.99 s 
5.99/6.08	c |
5.99/6.08	c |               Variables: 4347
5.99/6.08	c |            Domain Sizes: 2..20001
5.99/6.08	c |
5.99/6.08	c |             Constraints: 4102
5.99/6.08	c |                   Arity: 1..3  -- Unary: 2  -- Binary: 710  -- Ternary: 3390
5.99/6.08	c | 
5.99/6.08	c |                   Types: 
5.99/6.08	c |                          (X = Y): 393
5.99/6.08	c |                          Intension: 3709
5.99/6.08	c |                          
5.99/6.08	c =========================================================================================================
5.99/6.08	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.08/6.15	c 101            1015           11013          1943           0              0              293   915   725
6.18/6.22	c 211            2016           17868          3871           0              0              216   892   679
6.18/6.28	c 332            3038           24860          5857           0              0              116   902   678
6.29/6.35	c 465            4091           32174          7924           0              0              171   921   682
6.39/6.42	c 611            5174           39777          10077          0              0              109   938   692
6.39/6.49	c 771            6289           47747          12323          0              0              110   956   699
6.49/6.56	c 947            7464           56041          14708          0              0              111   1000   716
6.60/6.64	c 1140           8664           64974          22197          0              0              112   1008   704
6.70/6.72	c 1352           9887           74969          41395          0              0              113   1012   724
6.79/6.81	c 1585           11131          85736          90673          0              0              98   1012   737
6.79/6.89	c 1841           12421          97213          100830         0              0              27   1033   758
6.79/6.89	c 2122           12702          107891         101673         1              0              1   1   0      
6.89/6.90	c 2431           13011          119633         102600         1              0              1   1   0      
6.89/6.90	c 2770           13350          132515         103617         1              0              1   1   0      
6.89/6.91	c 3142           13722          146651         104733         1              0              1   1   0      
6.89/6.91	c 3551           14131          162193         105960         1              0              1   1   0      
6.89/6.92	c 4000           14580          179255         107307         1              0              1   1   0      
6.89/6.92	c 4493           15073          197989         108786         1              0              1   1   0      
6.89/6.93	c 5035           15615          218585         110412         1              0              1   1   0      
6.89/6.93	c 5631           16211          241233         112200         1              0              1   1   0      
6.89/6.94	c 6286           16866          266123         114165         1              0              1   1   0      
6.89/6.95	c 7006           17586          293483         116325         1              0              1   1   0      
6.89/6.95	c 7798           18378          323579         118701         1              0              1   1   0      
6.89/6.96	c 8669           19249          356677         121314         1              0              1   1   0      
6.89/6.97	c 9627           20207          393081         124188         1              0              1   1   0      
6.89/6.98	c 10680          21260          433095         127347         1              0              1   1   0      
6.89/6.99	c 11838          22418          477099         130821         1              0              1   1   0      
7.59/7.62	c 13111          24745          680644         389537         1              0              1   1010   955 
7.70/7.72	c 14511          27179          693827         401884         1              0              29   1035   983
7.70/7.74	c 16051          28719          698447         406504         2              0              1   1   0      
7.70/7.75	c 17745          30413          703529         411586         2              0              1   1   0      
7.70/7.77	c 19608          32276          709118         417175         2              0              1   1   0      
7.70/7.79	c 21657          34325          715265         423322         2              0              1   1   0      
7.80/7.81	c 23910          36578          722024         430081         2              0              1   1   0      
7.89/7.91	c 26388          40092          738651         443901         2              0              1   1037   752 
7.89/7.94	c 29113          42817          746826         452076         3              0              1   1   0      
7.89/7.97	c 32110          45814          755817         461067         3              0              1   1   0      
7.99/8.00	c 35406          49110          765705         470955         3              0              1   1   0      
8.09/8.11	c 39031          53773          785848         490816         3              0              1   1039   735 
8.09/8.16	c 43018          57760          797809         502777         4              0              1   1   0      
8.19/8.21	c 47403          62145          810964         515932         4              0              1   1   0      
8.29/8.33	c 52226          68008          834713         538385         4              0              1   1041   673 
8.39/8.40	c 57531          73313          850628         554300         5              0              1   1   0      
8.49/8.54	c 63366          80191          877286         579510         5              0              1   1044   191 
8.59/8.62	c 69784          86609          902958         598764         6              0              1   1   0      
8.69/8.78	c 76843          94702          936780         625937         6              0              1   1035   499 
12.39/12.46	c 84607          124236         1091805        707655         6              0              119   274   269
12.58/12.60	c 93147          133131         1120171        736796         6              0              123   356   355
15.18/15.29	c 102541         142866         1161633        784586         6              0              124   243   238
15.39/15.49	c 112874         153400         1288772        826619         6              0              12   12   11   
15.69/15.72	c 124240         165811         1332002        867903         6              0              125   1046   359
15.89/15.94	c 136742         178585         1372170        908651         7              0              1   273   55   
21.09/21.13	c 150494         206314         1943523        1165586        7              0              127   220   217
21.38/21.46	c 165621         222488         1998210        1218174        7              0              128   1048   524
21.68/21.77	c 182260         239387         2050713        1271528        8              0              1   261   104  
28.38/28.43	c 200562         284865         2305333        1413588        8              0              130   192   174
28.78/28.88	c 220694         306046         2375101        1482376        8              0              131   1050   634
29.38/29.40	c 242839         329242         2450874        1557206        9              0              1   1052   198 
29.88/29.99	c 267198         354654         2533299        1638681        10             0              1   1054   274 
31.58/31.69	c 293992         382568         2826361        3796979        11             0              1   1056   266 
32.38/32.47	c 323465         413099         2924657        3894047        12             0              1   1058   413 
33.28/33.37	c 355885         446581         3031815        4000158        13             0              1   1062   473 
34.38/34.40	c 391547         483307         3148685        4116186        14             0              1   1064   344 
35.58/35.60	c 430775         523601         3276251        4242913        15             0              1   1066   410 
36.98/37.01	c 473925         567821         3415600        4381613        16             0              1   1070   451 
38.59/38.64	c 521390         616358         3567895        4533458        17             0              1   1072   370 
40.48/40.55	c 573601         669646         3734492        4700149        18             0              1   1076   416 
45.68/45.78	c 631033         727504         3935695        5047196        19             0              1   422   247  
48.27/48.39	c 694208         791761         4135133        5246171        20             0              1   1082   527 
51.37/51.49	c 763700         862338         4353602        5464714        21             0              1   1084   392 
55.57/55.63	c 840141         939889         4706704        6677956        22             0              1   1088   438 
59.88/59.99	c 924226         1025065        4968424        6936491        23             0              1   1092   414 
65.07/65.16	c 1016719        1118653        5255391        7220255        24             0              1   1096   404 
71.27/71.30	c 1118461        1221494        5570124        7531769        25             0              1   1100   393 
78.58/78.62	c 1230377        1334513        5915387        7873809        26             0              1   1104   382 
87.28/87.34	c 1353484        1458727        6294250        8249627        27             0              1   1108   393 
97.67/97.76	c 1488901        1595255        6710055        8662379        28             0              1   1112   396 
110.18/110.22	c 1637859        1745328        7166509        9115770        29             0              1   1116   416 
125.27/125.31	c 1801712        1910313        7727901        10183795       30             0              1   1122   429 
143.08/143.15	c 1981950        2091677        8278606        10731844       31             0              1   1126   414 
164.47/164.57	c 2180211        2291070        8883361        11333953       32             0              1   1132   446 
190.17/190.29	c 2398298        2510296        9547655        11996149       33             0              1   1138   434 
221.07/221.13	c 2638193        2751336        10277427       12724982       34             0              1   1144   435 
258.27/258.33	c 2902077        3016386        11138979       14034337       35             0              1   1152   441 
302.86/302.93	c 3192349        3307818        12019820       14912516       36             0              1   1160   432 
356.25/356.32	c 3511648        3628281        12987349       15905600       37             0              1   1163   430 
419.35/419.43	c 3862876        3980639        14165623       17972560       37             0              20   1100   478
494.64/494.71	c 4249226        4368163        15354629       19214471       38             0              1   1167   503 
582.33/582.49	c 4674211        4794262        16649495       20611067       38             0              18   1103   552
686.73/686.81	c 5141694        5262929        18091842       22157731       39             0              1   1171   585 
807.13/807.20	c 5655925        5778284        19664451       23891335       39             0              15   1106   622
949.51/949.61	c 6221579        6345134        21411260       25810914       40             0              1   1175   660 
1112.40/1112.57	c 6843798        6968489        23317873       27956703       40             0              12   1109   685
1305.79/1305.99	c 7528238        7654148        25591050       30321622       41             0              1   1189   733 
1527.68/1527.85	c 8281122        8408181        27909182       32957681       41             0              12   1113   731
1783.46/1783.66	c 9109294        9237568        30483559       35888197       41             0              12   1191   790
1815.56/1815.75	c 10020283       10149049       33495180       41852754       41             0              12   316   294 
2140.55/2140.72	c 11022370       11151795       36577010       45472255       41             0              13   600   503 
2165.75/2165.92	c 12124665       12254276       39885256       49872151       42             0              1   78   77    
2183.34/2183.51	c 13337189       13469270       44845671       77059431       42             0              14   79   76   
2200.55/2200.77	c 14670965       14803267       48849820       82395172       42             0              14   73   72   
2254.04/2254.28	c 16138118       16318574       56863368       547943329      42             0              14   79   76   
2275.04/2275.21	c 17751986       17932696       61708167       554399531      42             0              14   74   73   
2330.34/2330.52	c 19527240       19753271       70832630       994519787      42             0              14   79   76   
2355.64/2355.88	c 21480019       21706317       76694433       1002331673     42             0              14   72   71

Verifier Data 

One s line expected

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-4243189-1500671075/watcher-4243189-1500671075 -o /tmp/evaluation-result-4243189-1500671075/solver-4243189-1500671075 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500648174-2481 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243189-1500671075.xml 

pid=5416
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.02 2.05 2.05 3/243 5419
/proc/meminfo: memFree=32024216/32770624 swapFree=5796/223212
[pid=5419] ppid=5416 vsize=27248 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 1017 0 0 0 1 0 0 0 20 0 1 0 2375263 27901952 834 33554432000 4194304 5970956 140736334592016 140736334587288 139864607476709 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 6812 834 698 434 0 176 0

[startup+0.100135 s]
/proc/loadavg: 2.02 2.05 2.05 3/243 5419
/proc/meminfo: memFree=32024216/32770624 swapFree=5796/223212
[pid=5419] ppid=5416 vsize=115944 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 23178 0 0 0 6 3 0 0 20 0 1 0 2375263 118726656 22975 33554432000 4194304 5970956 140736334592016 140736334587304 5125629 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 28986 22975 703 434 0 22350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 115944

[startup+0.20036 s]
/proc/loadavg: 2.02 2.05 2.05 3/243 5419
/proc/meminfo: memFree=32024216/32770624 swapFree=5796/223212
[pid=5419] ppid=5416 vsize=264548 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 60307 0 0 0 12 7 0 0 20 0 1 0 2375263 270897152 60133 33554432000 4194304 5970956 140736334592016 140736334587304 5125549 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 66137 60133 703 434 0 59501 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 264548

[startup+0.300305 s]
/proc/loadavg: 2.02 2.05 2.05 3/243 5419
/proc/meminfo: memFree=32024216/32770624 swapFree=5796/223212
[pid=5419] ppid=5416 vsize=429588 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 101565 0 0 0 17 12 0 0 20 0 1 0 2375263 439898112 101383 33554432000 4194304 5970956 140736334592016 140736334587304 5125549 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 107397 101383 703 434 0 100761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 429588

[startup+0.700205 s]
/proc/loadavg: 2.02 2.05 2.05 3/243 5419
/proc/meminfo: memFree=32024216/32770624 swapFree=5796/223212
[pid=5419] ppid=5416 vsize=613700 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 147702 0 0 0 51 18 0 0 20 0 1 0 2375263 628428800 147517 33554432000 4194304 5970956 140736334592016 140736334575768 139864616822022 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 153425 147517 786 434 0 146789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 613700

[startup+1.50022 s]
/proc/loadavg: 2.02 2.05 2.05 3/244 5420
/proc/meminfo: memFree=31362508/32770624 swapFree=5796/223276
[pid=5419] ppid=5416 vsize=814964 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 198018 0 0 0 124 25 0 0 20 0 1 0 2375263 834523136 197856 33554432000 4194304 5970956 140736334592016 140736334585608 4966541 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 203741 197856 786 434 0 197105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 814964

[startup+3.10022 s]
/proc/loadavg: 2.02 2.05 2.05 3/244 5420
/proc/meminfo: memFree=31001792/32770624 swapFree=5796/223276
[pid=5419] ppid=5416 vsize=1370016 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 338480 0 0 0 267 42 0 0 20 0 1 0 2375263 1402896384 336600 33554432000 4194304 5970956 140736334592016 140736334585608 139864608400722 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 342504 336600 786 434 0 335868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1370016

[startup+6.3002 s]
/proc/loadavg: 2.02 2.05 2.05 3/244 5420
/proc/meminfo: memFree=29340456/32770624 swapFree=5796/223276
[pid=5419] ppid=5416 vsize=2982100 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 750617 0 0 0 536 93 0 0 20 0 1 0 2375263 3053670400 739672 33554432000 4194304 5970956 140736334592016 140736334589352 5337487 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 745525 739672 824 434 0 738889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2982100

[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.05 3/244 5420
/proc/meminfo: memFree=29060216/32770624 swapFree=5796/223292
[pid=5419] ppid=5416 vsize=2983596 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 758688 0 0 0 1175 93 0 0 20 0 1 0 2375263 3055202304 740075 33554432000 4194304 5970956 140736334592016 140736334589352 5136620 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 745899 740075 824 434 0 739263 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2983596

[startup+25.5002 s]
/proc/loadavg: 2.01 2.04 2.05 3/244 5420
/proc/meminfo: memFree=29059968/32770624 swapFree=5796/223300
[pid=5419] ppid=5416 vsize=2984168 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 767026 0 0 0 2454 94 0 0 20 0 1 0 2375263 3055788032 740194 33554432000 4194304 5970956 140736334592016 140736334589352 5098944 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 746042 740194 824 434 0 739406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2984168

[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.05 3/244 5420
/proc/meminfo: memFree=29056884/32770624 swapFree=5796/223332
[pid=5419] ppid=5416 vsize=2984944 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 781661 0 0 0 5011 96 0 0 20 0 1 0 2375263 3056582656 740372 33554432000 4194304 5970956 140736334592016 140736334589352 5311648 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 746236 740372 824 434 0 739600 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2984944

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 5421
/proc/meminfo: memFree=29056920/32770624 swapFree=5796/223408
[pid=5419] ppid=5416 vsize=2986012 CPUtime=102.29 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 800439 0 0 0 10130 99 0 0 20 0 1 0 2375263 3057676288 740581 33554432000 4194304 5970956 140736334592016 140736334589352 5311648 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 746503 740581 824 434 0 739867 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2986012

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 5422
/proc/meminfo: memFree=29056760/32770624 swapFree=5796/223460
[pid=5419] ppid=5416 vsize=2986864 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 815281 0 0 0 16127 100 0 0 20 0 1 0 2375263 3058548736 740711 33554432000 4194304 5970956 140736334592016 140736334589592 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 746716 740711 824 434 0 740080 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2986864

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5423
/proc/meminfo: memFree=29057132/32770624 swapFree=5796/223508
[pid=5419] ppid=5416 vsize=2986996 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 830944 0 0 0 22125 102 0 0 20 0 1 0 2375263 3058683904 740857 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 746749 740857 824 434 0 740113 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2986996

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/242 5424
/proc/meminfo: memFree=29057424/32770624 swapFree=5796/223552
[pid=5419] ppid=5416 vsize=2987128 CPUtime=282.26 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 844706 0 0 0 28123 103 0 0 20 0 1 0 2375263 3058819072 740928 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 746782 740928 824 434 0 740146 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 2987128

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 5433
/proc/meminfo: memFree=29054656/32770624 swapFree=5796/223600
[pid=5419] ppid=5416 vsize=2988344 CPUtime=342.26 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 858734 0 0 0 34121 105 0 0 20 0 1 0 2375263 3060064256 740999 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747086 740999 824 434 0 740450 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 2988344

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 5434
/proc/meminfo: memFree=29053676/32770624 swapFree=5796/223648
[pid=5419] ppid=5416 vsize=2988344 CPUtime=402.25 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 867573 0 0 0 40119 106 0 0 20 0 1 0 2375263 3060064256 741032 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747086 741032 824 434 0 740450 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 2988344

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 5435
/proc/meminfo: memFree=29053812/32770624 swapFree=5796/223696
[pid=5419] ppid=5416 vsize=2988344 CPUtime=462.24 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 872252 0 0 0 46117 107 0 0 20 0 1 0 2375263 3060064256 741034 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747086 741034 824 434 0 740450 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 2988344

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5436
/proc/meminfo: memFree=29054564/32770624 swapFree=5796/223744
[pid=5419] ppid=5416 vsize=2988344 CPUtime=522.24 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 875922 0 0 0 52116 108 0 0 20 0 1 0 2375263 3060064256 741079 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747086 741079 824 434 0 740450 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 2988344

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5437
/proc/meminfo: memFree=29054472/32770624 swapFree=5796/223784
[pid=5419] ppid=5416 vsize=2988476 CPUtime=582.23 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 878270 0 0 0 58115 108 0 0 20 0 1 0 2375263 3060199424 741087 33554432000 4194304 5970956 140736334592016 140736334588984 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747119 741087 824 434 0 740483 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 2988476


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5461
/proc/meminfo: memFree=29053480/32770624 swapFree=5796/224400
[pid=5419] ppid=5416 vsize=2988608 CPUtime=1482.18 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 920579 0 0 0 148104 114 0 0 20 0 1 0 2375263 3060334592 741276 33554432000 4194304 5970956 140736334592016 140736334589352 5311648 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747152 741276 824 434 0 740516 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 2988608

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5471
/proc/meminfo: memFree=29053664/32770624 swapFree=5796/224464
[pid=5419] ppid=5416 vsize=2988608 CPUtime=1542.18 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 922745 0 0 0 154104 114 0 0 20 0 1 0 2375263 3060334592 741276 33554432000 4194304 5970956 140736334592016 140736334589352 5311648 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747152 741276 824 434 0 740516 0
Current children cumulated CPU time (s) 1542.18
Current children cumulated vsize (KiB) 2988608

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5472
/proc/meminfo: memFree=29054236/32770624 swapFree=5796/224496
[pid=5419] ppid=5416 vsize=2988608 CPUtime=1602.17 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 925051 0 0 0 160103 114 0 0 20 0 1 0 2375263 3060334592 741276 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747152 741276 824 434 0 740516 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 2988608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5473
/proc/meminfo: memFree=29053780/32770624 swapFree=5796/224528
[pid=5419] ppid=5416 vsize=2988740 CPUtime=1662.17 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 926789 0 0 0 166103 114 0 0 20 0 1 0 2375263 3060469760 741310 33554432000 4194304 5970956 140736334592016 140736334589144 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741310 824 434 0 740549 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 2988740

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5474
/proc/meminfo: memFree=29054828/32770624 swapFree=5796/224564
[pid=5419] ppid=5416 vsize=2988740 CPUtime=1722.16 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 928449 0 0 0 172102 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589144 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 2988740

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5475
/proc/meminfo: memFree=29054012/32770624 swapFree=5796/224604
[pid=5419] ppid=5416 vsize=2988740 CPUtime=1782.16 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 931163 0 0 0 178102 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589144 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 2988740

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/244 5476
/proc/meminfo: memFree=29051424/32770624 swapFree=5796/224640
[pid=5419] ppid=5416 vsize=2988740 CPUtime=1842.16 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 933047 0 0 0 184102 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 2988740

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5477
/proc/meminfo: memFree=29053304/32770624 swapFree=5796/224672
[pid=5419] ppid=5416 vsize=2988740 CPUtime=1902.15 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 936251 0 0 0 190101 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 2988740

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5478
/proc/meminfo: memFree=29053924/32770624 swapFree=5796/224724
[pid=5419] ppid=5416 vsize=2988740 CPUtime=1962.15 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 937643 0 0 0 196101 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 2988740

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5479
/proc/meminfo: memFree=29054752/32770624 swapFree=5796/224756
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2022.15 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 940768 0 0 0 202101 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 2988740

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5480
/proc/meminfo: memFree=29054908/32770624 swapFree=5796/224780
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2082.15 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 942957 0 0 0 208101 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 2988740

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/238 5541
/proc/meminfo: memFree=29065844/32770624 swapFree=5796/224832
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2142.14 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 945782 0 0 0 214100 114 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5336121 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 2988740

[startup+2202.31 s]
/proc/loadavg: 1.37 1.83 1.98 2/238 5542
/proc/meminfo: memFree=29066156/32770624 swapFree=5796/224860
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2202.15 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 946730 0 0 0 220100 115 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5319744 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 2988740

[startup+2262.3 s]
/proc/loadavg: 1.14 1.68 1.92 2/238 5543
/proc/meminfo: memFree=29066752/32770624 swapFree=5796/224932
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2262.14 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 947818 0 0 0 226099 115 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5336088 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 2988740

[startup+2322.3 s]
/proc/loadavg: 1.05 1.56 1.86 2/238 5544
/proc/meminfo: memFree=29067324/32770624 swapFree=5796/224944
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2322.14 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 948689 0 0 0 232099 115 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5336113 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 2988740

[startup+2382.3 s]
/proc/loadavg: 1.02 1.45 1.81 2/238 5545
/proc/meminfo: memFree=29067580/32770624 swapFree=5796/224980
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2382.14 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 949781 0 0 0 238099 115 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5108526 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 2988740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 1.01 1.42 1.79 2/238 5545
/proc/meminfo: memFree=29067552/32770624 swapFree=5796/225016
[pid=5419] ppid=5416 vsize=2988740 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/5419/stat : 5419 (cosoco) R 5416 5419 2448 0 -1 4202496 949973 0 0 0 239890 115 0 0 20 0 1 0 2375263 3060469760 741311 33554432000 4194304 5970956 140736334592016 140736334589352 5311659 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 40443904 140736334595265 140736334595395 140736334595395 140736334598094 0
/proc/5419/statm: 747185 741311 824 434 0 740549 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 2988740

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

Child status: 1
Real time (s): 2400.22
CPU time (s): 2400.06
CPU user time (s): 2398.9
CPU system time (s): 1.16193
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 2988740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.9
system time used= 1.16193
maximum resident set size= 2965292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 950002
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= 39
involuntary context switches= 120706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25473 second user time and 10.8466 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-21 23:04:35
IDJOB=4243189
IDBENCH=139269
IDSOLVER=2620
FILE ID=node124/4243189-1500671075
RUNJOBID= node124-1500648174-2481
PBS_JOBID= 20623296
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-04-04-fair.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243189-1500671075/watcher-4243189-1500671075 -o /tmp/evaluation-result-4243189-1500671075/solver-4243189-1500671075 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500648174-2481 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4243189-1500671075.xml

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

MD5SUM BENCH= 005af5eedf24bd8f858adc721c64a56d
RANDOM SEED=123358782

node124.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.16
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	: 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		: 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.16
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	: 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		: 1867.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.16
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	: 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		: 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.16
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	: 5332.55
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		: 1600.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.16
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	: 5332.55
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		: 2000.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.16
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	: 5332.55
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		: 1600.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.16
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	: 5332.55
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.16
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32024280 kB
MemAvailable:   32023360 kB
Buffers:           38656 kB
Cached:           272652 kB
SwapCached:            0 kB
Active:           143128 kB
Inactive:         231916 kB
Active(anon):      66632 kB
Inactive(anon):     8704 kB
Active(file):      76496 kB
Inactive(file):   223212 kB
Unevictable:        5796 kB
Mlocked:            5796 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2560 kB
Writeback:             0 kB
AnonPages:         69152 kB
Mapped:            30084 kB
Shmem:              8840 kB
Slab:              62240 kB
SReclaimable:      30416 kB
SUnreclaim:        31824 kB
KernelStack:        4272 kB
PageTables:         5548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333952 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:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62008 MiB
End job on node124 at 2017-07-21 23:44:35